Trace number 3494554

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Haifa-MUC 2011-04-07UNSAT 10.4254 10.4357

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E03N15.cnf
MD5SUM5e437ee939aa66499926385ad9d3b182
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.38218
Satisfiable
(Un)Satisfiability was proved
Number of variables4740
Number of clauses34881
Sum of the clauses size145246
Maximum clause length45
Minimum clause length1
Number of clauses of size 125
Number of clauses of size 212236
Number of clauses of size 38946
Number of clauses of size 42865
Number of clauses of size 52265
Number of clauses of size over 58544

Solver Data 

1.78/1.88	c WARNING: for repeatability, setting FPU to use double precision
1.78/1.88	c iter 1 time 0.329949 not-muc 32605 unknown 2276 muc 0
1.78/1.88	c iter 2 time 0.368943 not-muc 32725 unknown 2156 muc 0
1.78/1.88	c iter 3 time 0.397939 not-muc 32754 unknown 2127 muc 0
1.78/1.88	c iter 4 time 0.415936 not-muc 32781 unknown 2100 muc 0
1.78/1.88	c iter 5 time 0.430934 not-muc 32793 unknown 2088 muc 0
1.78/1.88	c iter 6 time 0.443932 not-muc 32810 unknown 2071 muc 0
1.78/1.88	c iter 7 time 0.45793 not-muc 32845 unknown 2036 muc 0
1.78/1.88	c iter 8 time 0.464929 not-muc 32849 unknown 2032 muc 0
1.78/1.88	c iter 9 time 0.474927 not-muc 32858 unknown 2023 muc 0
1.78/1.88	c iter 10 time 0.480926 not-muc 32859 unknown 2022 muc 0
1.78/1.88	c iter 11 time 0.491925 not-muc 32866 unknown 2015 muc 0
1.78/1.88	c iter 12 time 0.508922 not-muc 32870 unknown 2011 muc 0
1.78/1.88	c iter 13 time 0.538918 not-muc 32906 unknown 1975 muc 0
1.78/1.88	c iter 14 time 0.558915 not-muc 32930 unknown 1951 muc 0
1.78/1.88	c iter 15 time 0.574912 not-muc 32937 unknown 1944 muc 0
1.78/1.88	c iter 16 time 0.58591 not-muc 32940 unknown 1941 muc 0
1.78/1.88	c iter 17 time 0.595909 not-muc 32948 unknown 1933 muc 0
1.78/1.88	c iter 18 time 0.602908 not-muc 32950 unknown 1931 muc 0
1.78/1.88	c iter 19 time 0.611906 not-muc 32951 unknown 1930 muc 0
1.78/1.88	c iter 20 time 0.618905 not-muc 32952 unknown 1929 muc 0
1.78/1.88	c iter 21 time 0.627904 not-muc 32962 unknown 1919 muc 0
1.78/1.88	c iter 22 time 0.630904 not-muc 32964 unknown 1917 muc 0
1.78/1.88	c iter 23 time 0.639902 not-muc 32965 unknown 1916 muc 0
1.78/1.88	c iter 24 time 0.647901 not-muc 33017 unknown 1864 muc 0
1.78/1.88	c iter 25 time 0.6559 not-muc 33021 unknown 1860 muc 0
1.78/1.88	c iter 26 time 0.672897 not-muc 33024 unknown 1857 muc 0
1.78/1.88	c iter 27 time 0.737887 not-muc 33055 unknown 1826 muc 0
1.78/1.88	c iter 28 time 0.807877 not-muc 33067 unknown 1814 muc 0
1.78/1.88	c iter 29 time 0.890864 not-muc 33104 unknown 1777 muc 0
1.78/1.88	c iter 30 time 0.956854 not-muc 33127 unknown 1754 muc 0
1.78/1.88	c iter 31 time 1.00385 not-muc 33133 unknown 1748 muc 0
1.78/1.88	c iter 32 time 1.07184 not-muc 33138 unknown 1743 muc 0
1.78/1.88	c iter 33 time 1.10483 not-muc 33145 unknown 1736 muc 0
1.78/1.88	c iter 34 time 1.13283 not-muc 33165 unknown 1716 muc 0
1.78/1.88	c iter 35 time 1.16682 not-muc 33175 unknown 1706 muc 0
1.78/1.88	c iter 36 time 1.20382 not-muc 33191 unknown 1690 muc 0
1.78/1.88	c iter 37 time 1.23181 not-muc 33198 unknown 1683 muc 0
1.78/1.88	c iter 38 time 1.27181 not-muc 33201 unknown 1680 muc 0
1.78/1.88	c iter 39 time 1.3238 not-muc 33239 unknown 1642 muc 0
1.78/1.88	c iter 40 time 1.35479 not-muc 33242 unknown 1639 muc 0
1.78/1.88	c iter 41 time 1.38479 not-muc 33248 unknown 1633 muc 0
1.78/1.88	c iter 42 time 1.44578 not-muc 33278 unknown 1603 muc 0
1.78/1.88	c iter 43 time 1.50577 not-muc 33334 unknown 1547 muc 0
1.78/1.88	c iter 44 time 1.55376 not-muc 33356 unknown 1525 muc 0
1.78/1.88	c iter 45 time 1.60875 not-muc 33422 unknown 1459 muc 0
1.78/1.88	c iter 46 time 1.63475 not-muc 33467 unknown 1414 muc 0
1.78/1.88	c iter 47 time 1.66075 not-muc 33482 unknown 1399 muc 0
1.78/1.88	c iter 48 time 1.66675 not-muc 33482 unknown 1398 muc 1
1.78/1.88	c iter 49 time 1.67375 not-muc 33482 unknown 1397 muc 2
1.78/1.88	c iter 50 time 1.67974 not-muc 33482 unknown 1396 muc 3
1.78/1.88	c iter 51 time 1.68074 not-muc 33482 unknown 1395 muc 4
1.78/1.88	c iter 52 time 1.68374 not-muc 33482 unknown 1394 muc 5
1.78/1.88	c iter 53 time 1.68574 not-muc 33482 unknown 1393 muc 6
1.78/1.88	c iter 54 time 1.68674 not-muc 33482 unknown 1392 muc 7
1.78/1.88	c iter 55 time 1.68774 not-muc 33482 unknown 1391 muc 8
1.78/1.88	c iter 56 time 1.70674 not-muc 33482 unknown 1390 muc 9
1.78/1.88	c iter 57 time 1.70974 not-muc 33482 unknown 1389 muc 10
1.78/1.88	c iter 58 time 1.71074 not-muc 33482 unknown 1388 muc 11
1.78/1.88	c iter 59 time 1.71174 not-muc 33482 unknown 1387 muc 12
1.78/1.88	c iter 60 time 1.71274 not-muc 33482 unknown 1386 muc 13
1.78/1.88	c iter 61 time 1.73974 not-muc 33504 unknown 1364 muc 13
1.78/1.88	c iter 62 time 1.74873 not-muc 33507 unknown 1361 muc 13
1.78/1.88	c iter 63 time 1.76373 not-muc 33509 unknown 1359 muc 13
1.78/1.88	c iter 64 time 1.78273 not-muc 33510 unknown 1358 muc 13
1.78/1.88	c iter 65 time 1.79573 not-muc 33514 unknown 1354 muc 13
1.78/1.88	c iter 66 time 1.80573 not-muc 33518 unknown 1350 muc 13
1.78/1.88	c iter 67 time 1.81972 not-muc 33520 unknown 1348 muc 13
1.78/1.88	c iter 68 time 1.83672 not-muc 33522 unknown 1346 muc 13
1.78/1.88	c iter 69 time 1.83972 not-muc 33524 unknown 1344 muc 13
1.78/1.88	c iter 70 time 1.83972 not-muc 33524 unknown 1343 muc 14
1.78/1.88	c iter 71 time 1.85772 not-muc 33545 unknown 1322 muc 14
1.78/1.88	c iter 72 time 1.86172 not-muc 33545 unknown 1321 muc 15
3.68/3.77	c iter 73 time 1.88571 not-muc 33549 unknown 1317 muc 15
3.68/3.77	c iter 74 time 1.88871 not-muc 33549 unknown 1316 muc 16
3.68/3.77	c iter 75 time 1.89371 not-muc 33549 unknown 1315 muc 17
3.68/3.77	c iter 76 time 1.89471 not-muc 33549 unknown 1314 muc 18
3.68/3.77	c iter 77 time 1.89471 not-muc 33549 unknown 1313 muc 19
3.68/3.77	c iter 78 time 1.90071 not-muc 33549 unknown 1312 muc 20
3.68/3.77	c iter 79 time 1.92871 not-muc 33551 unknown 1310 muc 20
3.68/3.77	c iter 80 time 1.9567 not-muc 33553 unknown 1308 muc 20
3.68/3.77	c iter 81 time 2.03169 not-muc 33580 unknown 1281 muc 20
3.68/3.77	c iter 82 time 2.03569 not-muc 33580 unknown 1280 muc 21
3.68/3.77	c iter 83 time 2.03969 not-muc 33580 unknown 1279 muc 22
3.68/3.77	c iter 84 time 2.13368 not-muc 33584 unknown 1275 muc 22
3.68/3.77	c iter 85 time 2.13767 not-muc 33584 unknown 1274 muc 23
3.68/3.77	c iter 86 time 2.25466 not-muc 33586 unknown 1272 muc 23
3.68/3.77	c iter 87 time 2.25966 not-muc 33586 unknown 1271 muc 24
3.68/3.77	c iter 88 time 2.31065 not-muc 33588 unknown 1269 muc 24
3.68/3.77	c iter 89 time 2.32365 not-muc 33588 unknown 1268 muc 25
3.68/3.77	c iter 90 time 2.43763 not-muc 33590 unknown 1266 muc 25
3.68/3.77	c iter 91 time 2.44263 not-muc 33590 unknown 1265 muc 26
3.68/3.77	c iter 92 time 2.50662 not-muc 33592 unknown 1263 muc 26
3.68/3.77	c iter 93 time 2.51662 not-muc 33592 unknown 1262 muc 27
3.68/3.77	c iter 94 time 2.51862 not-muc 33592 unknown 1261 muc 28
3.68/3.77	c iter 95 time 2.52062 not-muc 33592 unknown 1260 muc 29
3.68/3.77	c iter 96 time 2.52262 not-muc 33592 unknown 1259 muc 30
3.68/3.77	c iter 97 time 2.52861 not-muc 33592 unknown 1258 muc 31
3.68/3.77	c iter 98 time 2.58261 not-muc 33597 unknown 1253 muc 31
3.68/3.77	c iter 99 time 2.58761 not-muc 33597 unknown 1252 muc 32
3.68/3.77	c iter 100 time 2.6396 not-muc 33599 unknown 1250 muc 32
3.68/3.77	c iter 101 time 2.6436 not-muc 33599 unknown 1249 muc 33
3.68/3.77	c iter 102 time 2.69659 not-muc 33603 unknown 1245 muc 33
3.68/3.77	c iter 103 time 2.70059 not-muc 33603 unknown 1244 muc 34
3.68/3.77	c iter 104 time 2.70259 not-muc 33603 unknown 1243 muc 35
3.68/3.77	c iter 105 time 2.78858 not-muc 33607 unknown 1239 muc 35
3.68/3.77	c iter 106 time 2.79157 not-muc 33607 unknown 1238 muc 36
3.68/3.77	c iter 107 time 2.85157 not-muc 33610 unknown 1235 muc 36
3.68/3.77	c iter 108 time 2.85857 not-muc 33610 unknown 1234 muc 37
3.68/3.77	c iter 109 time 2.92656 not-muc 33625 unknown 1219 muc 37
3.68/3.77	c iter 110 time 2.93055 not-muc 33625 unknown 1218 muc 38
3.68/3.77	c iter 111 time 2.93155 not-muc 33625 unknown 1217 muc 39
3.68/3.77	c iter 112 time 2.93255 not-muc 33625 unknown 1216 muc 40
3.68/3.77	c iter 113 time 2.97755 not-muc 33627 unknown 1214 muc 40
3.68/3.77	c iter 114 time 3.03354 not-muc 33633 unknown 1208 muc 40
3.68/3.77	c iter 115 time 3.05454 not-muc 33633 unknown 1207 muc 41
3.68/3.77	c iter 116 time 3.05854 not-muc 33633 unknown 1206 muc 42
3.68/3.77	c iter 117 time 3.05854 not-muc 33633 unknown 1205 muc 43
3.68/3.77	c iter 118 time 3.06053 not-muc 33633 unknown 1204 muc 44
3.68/3.77	c iter 119 time 3.06353 not-muc 33633 unknown 1203 muc 45
3.68/3.77	c iter 120 time 3.06553 not-muc 33633 unknown 1202 muc 46
3.68/3.77	c iter 121 time 3.07353 not-muc 33633 unknown 1201 muc 47
3.68/3.77	c iter 122 time 3.07553 not-muc 33633 unknown 1200 muc 48
3.68/3.77	c iter 123 time 3.09753 not-muc 33634 unknown 1199 muc 48
3.68/3.77	c iter 124 time 3.10153 not-muc 33634 unknown 1198 muc 49
3.68/3.77	c iter 125 time 3.12952 not-muc 33636 unknown 1196 muc 49
3.68/3.77	c iter 126 time 3.13452 not-muc 33636 unknown 1195 muc 50
3.68/3.77	c iter 127 time 3.16352 not-muc 33636 unknown 1194 muc 51
3.68/3.77	c iter 128 time 3.17152 not-muc 33636 unknown 1193 muc 52
3.68/3.77	c iter 129 time 3.17352 not-muc 33636 unknown 1192 muc 53
3.68/3.77	c iter 130 time 3.17652 not-muc 33636 unknown 1191 muc 54
3.68/3.77	c iter 131 time 3.18152 not-muc 33636 unknown 1190 muc 55
3.68/3.77	c iter 132 time 3.2675 not-muc 33640 unknown 1186 muc 55
3.68/3.77	c iter 133 time 3.2995 not-muc 33642 unknown 1184 muc 55
3.68/3.77	c iter 134 time 3.37549 not-muc 33646 unknown 1180 muc 55
3.68/3.77	c iter 135 time 3.42848 not-muc 33648 unknown 1178 muc 55
3.68/3.77	c iter 136 time 3.48947 not-muc 33652 unknown 1174 muc 55
3.68/3.77	c iter 137 time 3.58146 not-muc 33655 unknown 1171 muc 55
3.68/3.77	c iter 138 time 3.68444 not-muc 33658 unknown 1168 muc 55
3.68/3.77	c iter 139 time 3.72143 not-muc 33660 unknown 1166 muc 55
3.68/3.77	c iter 140 time 3.72843 not-muc 33660 unknown 1165 muc 56
3.68/3.77	c iter 141 time 3.73143 not-muc 33660 unknown 1164 muc 57
3.68/3.77	c iter 142 time 3.73543 not-muc 33660 unknown 1163 muc 58
3.68/3.77	c iter 143 time 3.73743 not-muc 33660 unknown 1162 muc 59
4.08/4.18	c iter 144 time 3.73943 not-muc 33660 unknown 1161 muc 60
4.08/4.18	c iter 145 time 3.74443 not-muc 33660 unknown 1160 muc 61
4.08/4.18	c iter 146 time 3.75143 not-muc 33660 unknown 1159 muc 62
4.08/4.18	c iter 147 time 3.75443 not-muc 33660 unknown 1158 muc 63
4.08/4.18	c iter 148 time 3.81442 not-muc 33662 unknown 1156 muc 63
4.08/4.18	c iter 149 time 3.82242 not-muc 33662 unknown 1155 muc 64
4.08/4.18	c iter 150 time 3.82742 not-muc 33662 unknown 1154 muc 65
4.08/4.18	c iter 151 time 3.83642 not-muc 33662 unknown 1153 muc 66
4.08/4.18	c iter 152 time 3.84442 not-muc 33662 unknown 1152 muc 67
4.08/4.18	c iter 153 time 3.84741 not-muc 33662 unknown 1151 muc 68
4.08/4.18	c iter 154 time 3.90241 not-muc 33662 unknown 1150 muc 69
4.08/4.18	c iter 155 time 3.90641 not-muc 33662 unknown 1149 muc 70
4.08/4.18	c iter 156 time 3.90941 not-muc 33662 unknown 1148 muc 71
4.08/4.18	c iter 157 time 3.91141 not-muc 33662 unknown 1147 muc 72
4.08/4.18	c iter 158 time 3.9204 not-muc 33662 unknown 1146 muc 73
4.08/4.18	c iter 159 time 3.9244 not-muc 33662 unknown 1145 muc 74
4.08/4.18	c iter 160 time 3.9294 not-muc 33662 unknown 1144 muc 75
4.08/4.18	c iter 161 time 3.9464 not-muc 33662 unknown 1143 muc 76
4.08/4.18	c iter 162 time 3.9494 not-muc 33662 unknown 1142 muc 77
4.08/4.18	c iter 163 time 3.9514 not-muc 33662 unknown 1141 muc 78
4.08/4.18	c iter 164 time 3.9524 not-muc 33662 unknown 1140 muc 79
4.08/4.18	c iter 165 time 3.9544 not-muc 33662 unknown 1139 muc 80
4.08/4.18	c iter 166 time 3.9564 not-muc 33662 unknown 1138 muc 81
4.08/4.18	c iter 167 time 3.9584 not-muc 33662 unknown 1137 muc 82
4.08/4.18	c iter 168 time 3.9594 not-muc 33662 unknown 1136 muc 83
4.08/4.18	c iter 169 time 3.9614 not-muc 33662 unknown 1135 muc 84
4.08/4.18	c iter 170 time 3.9634 not-muc 33662 unknown 1134 muc 85
4.08/4.18	c iter 171 time 3.9654 not-muc 33662 unknown 1133 muc 86
4.08/4.18	c iter 172 time 3.99439 not-muc 33662 unknown 1132 muc 87
4.08/4.18	c iter 173 time 3.99739 not-muc 33662 unknown 1131 muc 88
4.08/4.18	c iter 174 time 3.99839 not-muc 33662 unknown 1130 muc 89
4.08/4.18	c iter 175 time 4.00539 not-muc 33662 unknown 1129 muc 90
4.08/4.18	c iter 176 time 4.00739 not-muc 33662 unknown 1128 muc 91
4.08/4.18	c iter 177 time 4.00839 not-muc 33662 unknown 1127 muc 92
4.08/4.18	c iter 178 time 4.01639 not-muc 33662 unknown 1126 muc 93
4.08/4.18	c iter 179 time 4.02039 not-muc 33662 unknown 1125 muc 94
4.08/4.18	c iter 180 time 4.02239 not-muc 33662 unknown 1124 muc 95
4.08/4.18	c iter 181 time 4.02639 not-muc 33662 unknown 1123 muc 96
4.08/4.18	c iter 182 time 4.02839 not-muc 33662 unknown 1122 muc 97
4.08/4.18	c iter 183 time 4.03039 not-muc 33662 unknown 1121 muc 98
4.08/4.18	c iter 184 time 4.04038 not-muc 33662 unknown 1120 muc 99
4.08/4.18	c iter 185 time 4.04338 not-muc 33662 unknown 1119 muc 100
4.08/4.18	c iter 186 time 4.05738 not-muc 33662 unknown 1118 muc 101
4.08/4.18	c iter 187 time 4.05938 not-muc 33662 unknown 1117 muc 102
4.08/4.18	c iter 188 time 4.06138 not-muc 33662 unknown 1116 muc 103
4.08/4.18	c iter 189 time 4.06338 not-muc 33662 unknown 1115 muc 104
4.08/4.18	c iter 190 time 4.06638 not-muc 33662 unknown 1114 muc 105
4.08/4.18	c iter 191 time 4.07038 not-muc 33662 unknown 1113 muc 106
4.08/4.18	c iter 192 time 4.07338 not-muc 33662 unknown 1112 muc 107
4.08/4.18	c iter 193 time 4.07638 not-muc 33662 unknown 1111 muc 108
4.08/4.18	c iter 194 time 4.07838 not-muc 33662 unknown 1110 muc 109
4.08/4.18	c iter 195 time 4.09938 not-muc 33662 unknown 1109 muc 110
4.08/4.18	c iter 196 time 4.11038 not-muc 33662 unknown 1108 muc 111
4.08/4.18	c iter 197 time 4.11137 not-muc 33662 unknown 1107 muc 112
4.08/4.18	c iter 198 time 4.11337 not-muc 33662 unknown 1106 muc 113
4.08/4.18	c iter 199 time 4.11437 not-muc 33662 unknown 1105 muc 114
4.08/4.18	c iter 200 time 4.12337 not-muc 33662 unknown 1104 muc 115
4.08/4.18	c iter 201 time 4.12437 not-muc 33662 unknown 1103 muc 116
4.08/4.18	c iter 202 time 4.12937 not-muc 33662 unknown 1102 muc 117
4.08/4.18	c iter 203 time 4.13137 not-muc 33662 unknown 1101 muc 118
4.08/4.18	c iter 204 time 4.13237 not-muc 33662 unknown 1100 muc 119
4.08/4.18	c iter 205 time 4.13437 not-muc 33662 unknown 1099 muc 120
4.08/4.18	c iter 206 time 4.13537 not-muc 33662 unknown 1098 muc 121
4.08/4.18	c iter 207 time 4.13737 not-muc 33662 unknown 1097 muc 122
4.08/4.18	c iter 208 time 4.13937 not-muc 33662 unknown 1096 muc 123
4.08/4.18	c iter 209 time 4.14037 not-muc 33662 unknown 1095 muc 124
4.08/4.18	c iter 210 time 4.14237 not-muc 33662 unknown 1094 muc 125
4.08/4.18	c iter 211 time 4.14337 not-muc 33662 unknown 1093 muc 126
4.08/4.18	c iter 212 time 4.14537 not-muc 33662 unknown 1092 muc 127
4.08/4.18	c iter 213 time 4.14637 not-muc 33662 unknown 1091 muc 128
4.49/4.59	c iter 214 time 4.14737 not-muc 33662 unknown 1090 muc 129
4.49/4.59	c iter 215 time 4.17537 not-muc 33662 unknown 1089 muc 130
4.49/4.59	c iter 216 time 4.17736 not-muc 33662 unknown 1088 muc 131
4.49/4.59	c iter 217 time 4.20636 not-muc 33662 unknown 1087 muc 132
4.49/4.59	c iter 218 time 4.22036 not-muc 33662 unknown 1086 muc 133
4.49/4.59	c iter 219 time 4.22336 not-muc 33662 unknown 1085 muc 134
4.49/4.59	c iter 220 time 4.22636 not-muc 33662 unknown 1084 muc 135
4.49/4.59	c iter 221 time 4.25135 not-muc 33662 unknown 1083 muc 136
4.49/4.59	c iter 222 time 4.25535 not-muc 33662 unknown 1082 muc 137
4.49/4.59	c iter 223 time 4.25635 not-muc 33662 unknown 1081 muc 138
4.49/4.59	c iter 224 time 4.26035 not-muc 33662 unknown 1080 muc 139
4.49/4.59	c iter 225 time 4.26335 not-muc 33662 unknown 1079 muc 140
4.49/4.59	c iter 226 time 4.26635 not-muc 33662 unknown 1078 muc 141
4.49/4.59	c iter 227 time 4.27235 not-muc 33662 unknown 1077 muc 142
4.49/4.59	c iter 228 time 4.29735 not-muc 33662 unknown 1076 muc 143
4.49/4.59	c iter 229 time 4.30035 not-muc 33662 unknown 1075 muc 144
4.49/4.59	c iter 230 time 4.32234 not-muc 33662 unknown 1074 muc 145
4.49/4.59	c iter 231 time 4.33634 not-muc 33662 unknown 1073 muc 146
4.49/4.59	c iter 232 time 4.34134 not-muc 33662 unknown 1072 muc 147
4.49/4.59	c iter 233 time 4.34334 not-muc 33662 unknown 1071 muc 148
4.49/4.59	c iter 234 time 4.34634 not-muc 33662 unknown 1070 muc 149
4.49/4.59	c iter 235 time 4.34834 not-muc 33662 unknown 1069 muc 150
4.49/4.59	c iter 236 time 4.35934 not-muc 33662 unknown 1068 muc 151
4.49/4.59	c iter 237 time 4.36134 not-muc 33662 unknown 1067 muc 152
4.49/4.59	c iter 238 time 4.36534 not-muc 33662 unknown 1066 muc 153
4.49/4.59	c iter 239 time 4.36734 not-muc 33662 unknown 1065 muc 154
4.49/4.59	c iter 240 time 4.37134 not-muc 33662 unknown 1064 muc 155
4.49/4.59	c iter 241 time 4.37333 not-muc 33662 unknown 1063 muc 156
4.49/4.59	c iter 242 time 4.39633 not-muc 33662 unknown 1062 muc 157
4.49/4.59	c iter 243 time 4.40233 not-muc 33662 unknown 1061 muc 158
4.49/4.59	c iter 244 time 4.40633 not-muc 33662 unknown 1060 muc 159
4.49/4.59	c iter 245 time 4.41033 not-muc 33662 unknown 1059 muc 160
4.49/4.59	c iter 246 time 4.41433 not-muc 33662 unknown 1058 muc 161
4.49/4.59	c iter 247 time 4.42233 not-muc 33662 unknown 1057 muc 162
4.49/4.59	c iter 248 time 4.44032 not-muc 33662 unknown 1056 muc 163
4.49/4.59	c iter 249 time 4.44332 not-muc 33662 unknown 1055 muc 164
4.49/4.59	c iter 250 time 4.44632 not-muc 33662 unknown 1054 muc 165
4.49/4.59	c iter 251 time 4.44932 not-muc 33662 unknown 1053 muc 166
4.49/4.59	c iter 252 time 4.45132 not-muc 33662 unknown 1052 muc 167
4.49/4.59	c iter 253 time 4.45432 not-muc 33662 unknown 1051 muc 168
4.49/4.59	c iter 254 time 4.45732 not-muc 33662 unknown 1050 muc 169
4.49/4.59	c iter 255 time 4.45932 not-muc 33662 unknown 1049 muc 170
4.49/4.59	c iter 256 time 4.46232 not-muc 33662 unknown 1048 muc 171
4.49/4.59	c iter 257 time 4.46532 not-muc 33662 unknown 1047 muc 172
4.49/4.59	c iter 258 time 4.46732 not-muc 33662 unknown 1046 muc 173
4.49/4.59	c iter 259 time 4.47032 not-muc 33662 unknown 1045 muc 174
4.49/4.59	c iter 260 time 4.47432 not-muc 33662 unknown 1044 muc 175
4.49/4.59	c iter 261 time 4.47732 not-muc 33662 unknown 1043 muc 176
4.49/4.59	c iter 262 time 4.48232 not-muc 33662 unknown 1042 muc 177
4.49/4.59	c iter 263 time 4.48832 not-muc 33662 unknown 1041 muc 178
4.49/4.59	c iter 264 time 4.49132 not-muc 33662 unknown 1040 muc 179
4.49/4.59	c iter 265 time 4.49532 not-muc 33662 unknown 1039 muc 180
4.49/4.59	c iter 266 time 4.49732 not-muc 33662 unknown 1038 muc 181
4.49/4.59	c iter 267 time 4.50031 not-muc 33662 unknown 1037 muc 182
4.49/4.59	c iter 268 time 4.50331 not-muc 33662 unknown 1036 muc 183
4.49/4.59	c iter 269 time 4.50631 not-muc 33662 unknown 1035 muc 184
4.49/4.59	c iter 270 time 4.51531 not-muc 33662 unknown 1034 muc 185
4.49/4.59	c iter 271 time 4.51831 not-muc 33662 unknown 1033 muc 186
4.49/4.59	c iter 272 time 4.52131 not-muc 33662 unknown 1032 muc 187
4.49/4.59	c iter 273 time 4.52931 not-muc 33662 unknown 1031 muc 188
4.49/4.59	c iter 274 time 4.53231 not-muc 33662 unknown 1030 muc 189
4.49/4.59	c iter 275 time 4.53531 not-muc 33662 unknown 1029 muc 190
4.49/4.59	c iter 276 time 4.54031 not-muc 33662 unknown 1028 muc 191
4.49/4.59	c iter 277 time 4.54331 not-muc 33662 unknown 1027 muc 192
4.49/4.59	c iter 278 time 4.54631 not-muc 33662 unknown 1026 muc 193
4.49/4.59	c iter 279 time 4.54931 not-muc 33662 unknown 1025 muc 194
4.49/4.59	c iter 280 time 4.55231 not-muc 33662 unknown 1024 muc 195
4.49/4.59	c iter 281 time 4.55531 not-muc 33662 unknown 1023 muc 196
4.49/4.59	c iter 282 time 4.55831 not-muc 33662 unknown 1022 muc 197
4.49/4.59	c iter 283 time 4.56031 not-muc 33662 unknown 1021 muc 198
5.18/5.21	c iter 284 time 4.56431 not-muc 33662 unknown 1020 muc 199
5.18/5.21	c iter 285 time 4.5663 not-muc 33662 unknown 1019 muc 200
5.18/5.21	c iter 286 time 4.5713 not-muc 33662 unknown 1018 muc 201
5.18/5.21	c iter 287 time 4.5733 not-muc 33662 unknown 1017 muc 202
5.18/5.21	c iter 288 time 4.5763 not-muc 33662 unknown 1016 muc 203
5.18/5.21	c iter 289 time 4.5793 not-muc 33662 unknown 1015 muc 204
5.18/5.21	c iter 290 time 4.5823 not-muc 33662 unknown 1014 muc 205
5.18/5.21	c iter 291 time 4.5843 not-muc 33662 unknown 1013 muc 206
5.18/5.21	c iter 292 time 4.5873 not-muc 33662 unknown 1012 muc 207
5.18/5.21	c iter 293 time 4.5893 not-muc 33662 unknown 1011 muc 208
5.18/5.21	c iter 294 time 4.5923 not-muc 33662 unknown 1010 muc 209
5.18/5.21	c iter 295 time 4.5953 not-muc 33662 unknown 1009 muc 210
5.18/5.21	c iter 296 time 4.5983 not-muc 33662 unknown 1008 muc 211
5.18/5.21	c iter 297 time 4.6023 not-muc 33662 unknown 1007 muc 212
5.18/5.21	c iter 298 time 4.6053 not-muc 33662 unknown 1006 muc 213
5.18/5.21	c iter 299 time 4.6083 not-muc 33662 unknown 1005 muc 214
5.18/5.21	c iter 300 time 4.6113 not-muc 33662 unknown 1004 muc 215
5.18/5.21	c iter 301 time 4.6193 not-muc 33662 unknown 1003 muc 216
5.18/5.21	c iter 302 time 4.6223 not-muc 33662 unknown 1002 muc 217
5.18/5.21	c iter 303 time 4.6263 not-muc 33662 unknown 1001 muc 218
5.18/5.21	c iter 304 time 4.6293 not-muc 33662 unknown 1000 muc 219
5.18/5.21	c iter 305 time 4.64729 not-muc 33662 unknown 999 muc 220
5.18/5.21	c iter 306 time 4.64929 not-muc 33662 unknown 998 muc 221
5.18/5.21	c iter 307 time 4.65229 not-muc 33662 unknown 997 muc 222
5.18/5.21	c iter 308 time 4.65429 not-muc 33662 unknown 996 muc 223
5.18/5.21	c iter 309 time 4.67229 not-muc 33662 unknown 995 muc 224
5.18/5.21	c iter 310 time 4.67529 not-muc 33662 unknown 994 muc 225
5.18/5.21	c iter 311 time 4.67729 not-muc 33662 unknown 993 muc 226
5.18/5.21	c iter 312 time 4.67929 not-muc 33662 unknown 992 muc 227
5.18/5.21	c iter 313 time 4.68229 not-muc 33662 unknown 991 muc 228
5.18/5.21	c iter 314 time 4.69129 not-muc 33662 unknown 990 muc 229
5.18/5.21	c iter 315 time 4.69429 not-muc 33662 unknown 989 muc 230
5.18/5.21	c iter 316 time 4.70228 not-muc 33662 unknown 988 muc 231
5.18/5.21	c iter 317 time 4.70628 not-muc 33662 unknown 987 muc 232
5.18/5.21	c iter 318 time 4.70928 not-muc 33662 unknown 986 muc 233
5.18/5.21	c iter 319 time 4.71128 not-muc 33662 unknown 985 muc 234
5.18/5.21	c iter 320 time 4.71928 not-muc 33662 unknown 984 muc 235
5.18/5.21	c iter 321 time 4.73028 not-muc 33662 unknown 983 muc 236
5.18/5.21	c iter 322 time 4.73528 not-muc 33662 unknown 982 muc 237
5.18/5.21	c iter 323 time 4.73728 not-muc 33662 unknown 981 muc 238
5.18/5.21	c iter 324 time 4.74028 not-muc 33662 unknown 980 muc 239
5.18/5.21	c iter 325 time 4.75328 not-muc 33662 unknown 979 muc 240
5.18/5.21	c iter 326 time 4.75628 not-muc 33662 unknown 978 muc 241
5.18/5.21	c iter 327 time 4.75928 not-muc 33662 unknown 977 muc 242
5.18/5.21	c iter 328 time 4.76128 not-muc 33662 unknown 976 muc 243
5.18/5.21	c iter 329 time 4.76328 not-muc 33662 unknown 975 muc 244
5.18/5.21	c iter 330 time 4.76628 not-muc 33662 unknown 974 muc 245
5.18/5.21	c iter 331 time 4.76828 not-muc 33662 unknown 973 muc 246
5.18/5.21	c iter 332 time 4.77027 not-muc 33662 unknown 972 muc 247
5.18/5.21	c iter 333 time 4.81127 not-muc 33662 unknown 971 muc 248
5.18/5.21	c iter 334 time 4.81827 not-muc 33662 unknown 970 muc 249
5.18/5.21	c iter 335 time 4.82227 not-muc 33662 unknown 969 muc 250
5.18/5.21	c iter 336 time 4.82527 not-muc 33662 unknown 968 muc 251
5.18/5.21	c iter 337 time 4.82927 not-muc 33662 unknown 967 muc 252
5.18/5.21	c iter 338 time 4.83326 not-muc 33662 unknown 966 muc 253
5.18/5.21	c iter 339 time 4.92025 not-muc 33663 unknown 965 muc 253
5.18/5.21	c iter 340 time 4.92725 not-muc 33663 unknown 964 muc 254
5.18/5.21	c iter 341 time 4.93025 not-muc 33663 unknown 963 muc 255
5.18/5.21	c iter 342 time 4.93325 not-muc 33663 unknown 962 muc 256
5.18/5.21	c iter 343 time 4.93625 not-muc 33663 unknown 961 muc 257
5.18/5.21	c iter 344 time 4.94325 not-muc 33663 unknown 960 muc 258
5.18/5.21	c iter 345 time 4.94725 not-muc 33663 unknown 959 muc 259
5.18/5.21	c iter 346 time 5.03923 not-muc 33665 unknown 957 muc 259
5.18/5.21	c iter 347 time 5.04523 not-muc 33665 unknown 956 muc 260
5.18/5.21	c iter 348 time 5.04923 not-muc 33665 unknown 955 muc 261
5.18/5.21	c iter 349 time 5.15122 not-muc 33666 unknown 954 muc 261
5.18/5.21	c iter 350 time 5.15721 not-muc 33666 unknown 953 muc 262
5.18/5.21	c iter 351 time 5.16021 not-muc 33666 unknown 952 muc 263
5.18/5.21	c iter 352 time 5.16621 not-muc 33666 unknown 951 muc 264
5.18/5.21	c iter 353 time 5.17021 not-muc 33666 unknown 950 muc 265
5.78/5.87	c iter 354 time 5.18121 not-muc 33666 unknown 949 muc 266
5.78/5.87	c iter 355 time 5.18421 not-muc 33666 unknown 948 muc 267
5.78/5.87	c iter 356 time 5.18721 not-muc 33666 unknown 947 muc 268
5.78/5.87	c iter 357 time 5.19221 not-muc 33666 unknown 946 muc 269
5.78/5.87	c iter 358 time 5.19621 not-muc 33666 unknown 945 muc 270
5.78/5.87	c iter 359 time 5.20021 not-muc 33666 unknown 944 muc 271
5.78/5.87	c iter 360 time 5.20421 not-muc 33666 unknown 943 muc 272
5.78/5.87	c iter 361 time 5.30619 not-muc 33667 unknown 942 muc 272
5.78/5.87	c iter 362 time 5.31319 not-muc 33667 unknown 941 muc 273
5.78/5.87	c iter 363 time 5.31719 not-muc 33667 unknown 940 muc 274
5.78/5.87	c iter 364 time 5.32019 not-muc 33667 unknown 939 muc 275
5.78/5.87	c iter 365 time 5.32419 not-muc 33667 unknown 938 muc 276
5.78/5.87	c iter 366 time 5.32819 not-muc 33667 unknown 937 muc 277
5.78/5.87	c iter 367 time 5.33119 not-muc 33667 unknown 936 muc 278
5.78/5.87	c iter 368 time 5.33719 not-muc 33667 unknown 935 muc 279
5.78/5.87	c iter 369 time 5.34119 not-muc 33667 unknown 934 muc 280
5.78/5.87	c iter 370 time 5.41118 not-muc 33668 unknown 933 muc 280
5.78/5.87	c iter 371 time 5.42218 not-muc 33668 unknown 932 muc 281
5.78/5.87	c iter 372 time 5.42717 not-muc 33668 unknown 931 muc 282
5.78/5.87	c iter 373 time 5.43117 not-muc 33668 unknown 930 muc 283
5.78/5.87	c iter 374 time 5.43617 not-muc 33668 unknown 929 muc 284
5.78/5.87	c iter 375 time 5.44017 not-muc 33668 unknown 928 muc 285
5.78/5.87	c iter 376 time 5.44517 not-muc 33668 unknown 927 muc 286
5.78/5.87	c iter 377 time 5.45017 not-muc 33668 unknown 926 muc 287
5.78/5.87	c iter 378 time 5.45417 not-muc 33668 unknown 925 muc 288
5.78/5.87	c iter 379 time 5.51816 not-muc 33669 unknown 924 muc 288
5.78/5.87	c iter 380 time 5.52516 not-muc 33669 unknown 923 muc 289
5.78/5.87	c iter 381 time 5.52916 not-muc 33669 unknown 922 muc 290
5.78/5.87	c iter 382 time 5.53316 not-muc 33669 unknown 921 muc 291
5.78/5.87	c iter 383 time 5.53616 not-muc 33669 unknown 920 muc 292
5.78/5.87	c iter 384 time 5.53916 not-muc 33669 unknown 919 muc 293
5.78/5.87	c iter 385 time 5.54216 not-muc 33669 unknown 918 muc 294
5.78/5.87	c iter 386 time 5.54616 not-muc 33669 unknown 917 muc 295
5.78/5.87	c iter 387 time 5.55016 not-muc 33669 unknown 916 muc 296
5.78/5.87	c iter 388 time 5.55316 not-muc 33669 unknown 915 muc 297
5.78/5.87	c iter 389 time 5.55616 not-muc 33669 unknown 914 muc 298
5.78/5.87	c iter 390 time 5.61115 not-muc 33678 unknown 905 muc 298
5.78/5.87	c iter 391 time 5.61615 not-muc 33678 unknown 904 muc 299
5.78/5.87	c iter 392 time 5.62014 not-muc 33678 unknown 903 muc 300
5.78/5.87	c iter 393 time 5.66714 not-muc 33679 unknown 902 muc 300
5.78/5.87	c iter 394 time 5.67314 not-muc 33679 unknown 901 muc 301
5.78/5.87	c iter 395 time 5.67614 not-muc 33679 unknown 900 muc 302
5.78/5.87	c iter 396 time 5.72113 not-muc 33680 unknown 899 muc 302
5.78/5.87	c iter 397 time 5.72613 not-muc 33680 unknown 898 muc 303
5.78/5.87	c iter 398 time 5.72813 not-muc 33680 unknown 897 muc 304
5.78/5.87	c iter 399 time 5.73113 not-muc 33680 unknown 896 muc 305
5.78/5.87	c iter 400 time 5.73413 not-muc 33680 unknown 895 muc 306
5.78/5.87	c iter 401 time 5.73913 not-muc 33680 unknown 894 muc 307
5.78/5.87	c iter 402 time 5.74113 not-muc 33680 unknown 893 muc 308
5.78/5.87	c iter 403 time 5.75012 not-muc 33680 unknown 892 muc 309
5.78/5.87	c iter 404 time 5.75512 not-muc 33680 unknown 891 muc 310
5.78/5.87	c iter 405 time 5.75812 not-muc 33680 unknown 890 muc 311
5.78/5.87	c iter 406 time 5.76212 not-muc 33680 unknown 889 muc 312
5.78/5.87	c iter 407 time 5.76512 not-muc 33680 unknown 888 muc 313
5.78/5.87	c iter 408 time 5.76812 not-muc 33680 unknown 887 muc 314
5.78/5.87	c iter 409 time 5.77112 not-muc 33680 unknown 886 muc 315
5.78/5.87	c iter 410 time 5.77312 not-muc 33680 unknown 885 muc 316
5.78/5.87	c iter 411 time 5.77612 not-muc 33680 unknown 884 muc 317
5.78/5.87	c iter 412 time 5.77912 not-muc 33680 unknown 883 muc 318
5.78/5.87	c iter 413 time 5.78212 not-muc 33680 unknown 882 muc 319
5.78/5.87	c iter 414 time 5.79612 not-muc 33680 unknown 881 muc 320
5.78/5.87	c iter 415 time 5.80112 not-muc 33680 unknown 880 muc 321
5.78/5.87	c iter 416 time 5.80412 not-muc 33680 unknown 879 muc 322
5.78/5.87	c iter 417 time 5.80812 not-muc 33680 unknown 878 muc 323
5.78/5.87	c iter 418 time 5.81112 not-muc 33680 unknown 877 muc 324
5.78/5.87	c iter 419 time 5.81512 not-muc 33680 unknown 876 muc 325
5.78/5.87	c iter 420 time 5.81811 not-muc 33680 unknown 875 muc 326
5.78/5.87	c iter 421 time 5.82111 not-muc 33680 unknown 874 muc 327
5.78/5.87	c iter 422 time 5.82311 not-muc 33680 unknown 873 muc 328
5.78/5.87	c iter 423 time 5.82711 not-muc 33680 unknown 872 muc 329
5.78/5.87	c iter 424 time 5.83011 not-muc 33680 unknown 871 muc 330
6.08/6.18	c iter 425 time 5.83411 not-muc 33680 unknown 870 muc 331
6.08/6.18	c iter 426 time 5.83711 not-muc 33680 unknown 869 muc 332
6.08/6.18	c iter 427 time 5.83911 not-muc 33680 unknown 868 muc 333
6.08/6.18	c iter 428 time 5.84211 not-muc 33680 unknown 867 muc 334
6.08/6.18	c iter 429 time 5.84411 not-muc 33680 unknown 866 muc 335
6.08/6.18	c iter 430 time 5.84611 not-muc 33680 unknown 865 muc 336
6.08/6.18	c iter 431 time 5.84811 not-muc 33680 unknown 864 muc 337
6.08/6.18	c iter 432 time 5.85111 not-muc 33680 unknown 863 muc 338
6.08/6.18	c iter 433 time 5.85411 not-muc 33680 unknown 862 muc 339
6.08/6.18	c iter 434 time 5.85711 not-muc 33680 unknown 861 muc 340
6.08/6.18	c iter 435 time 5.85911 not-muc 33680 unknown 860 muc 341
6.08/6.18	c iter 436 time 5.87011 not-muc 33680 unknown 859 muc 342
6.08/6.18	c iter 437 time 5.87511 not-muc 33680 unknown 858 muc 343
6.08/6.18	c iter 438 time 5.87811 not-muc 33680 unknown 857 muc 344
6.08/6.18	c iter 439 time 5.8911 not-muc 33680 unknown 856 muc 345
6.08/6.18	c iter 440 time 5.8931 not-muc 33680 unknown 855 muc 346
6.08/6.18	c iter 441 time 5.8951 not-muc 33680 unknown 854 muc 347
6.08/6.18	c iter 442 time 5.8981 not-muc 33680 unknown 853 muc 348
6.08/6.18	c iter 443 time 5.9001 not-muc 33680 unknown 852 muc 349
6.08/6.18	c iter 444 time 5.9021 not-muc 33680 unknown 851 muc 350
6.08/6.18	c iter 445 time 5.9041 not-muc 33680 unknown 850 muc 351
6.08/6.18	c iter 446 time 5.9071 not-muc 33680 unknown 849 muc 352
6.08/6.18	c iter 447 time 5.9091 not-muc 33680 unknown 848 muc 353
6.08/6.18	c iter 448 time 5.9451 not-muc 33680 unknown 847 muc 354
6.08/6.18	c iter 449 time 5.9481 not-muc 33680 unknown 846 muc 355
6.08/6.18	c iter 450 time 5.96009 not-muc 33680 unknown 845 muc 356
6.08/6.18	c iter 451 time 5.96309 not-muc 33680 unknown 844 muc 357
6.08/6.18	c iter 452 time 5.96609 not-muc 33680 unknown 843 muc 358
6.08/6.18	c iter 453 time 5.96809 not-muc 33680 unknown 842 muc 359
6.08/6.18	c iter 454 time 5.97109 not-muc 33680 unknown 841 muc 360
6.08/6.18	c iter 455 time 5.97309 not-muc 33680 unknown 840 muc 361
6.08/6.18	c iter 456 time 5.97709 not-muc 33680 unknown 839 muc 362
6.08/6.18	c iter 457 time 5.97909 not-muc 33680 unknown 838 muc 363
6.08/6.18	c iter 458 time 5.98209 not-muc 33680 unknown 837 muc 364
6.08/6.18	c iter 459 time 5.98409 not-muc 33680 unknown 836 muc 365
6.08/6.18	c iter 460 time 5.98809 not-muc 33680 unknown 835 muc 366
6.08/6.18	c iter 461 time 5.99109 not-muc 33680 unknown 834 muc 367
6.08/6.18	c iter 462 time 5.99309 not-muc 33680 unknown 833 muc 368
6.08/6.18	c iter 463 time 5.99609 not-muc 33680 unknown 832 muc 369
6.08/6.18	c iter 464 time 5.99809 not-muc 33680 unknown 831 muc 370
6.08/6.18	c iter 465 time 6.00509 not-muc 33680 unknown 830 muc 371
6.08/6.18	c iter 466 time 6.00809 not-muc 33680 unknown 829 muc 372
6.08/6.18	c iter 467 time 6.01009 not-muc 33680 unknown 828 muc 373
6.08/6.18	c iter 468 time 6.01209 not-muc 33680 unknown 827 muc 374
6.08/6.18	c iter 469 time 6.01509 not-muc 33680 unknown 826 muc 375
6.08/6.18	c iter 470 time 6.01708 not-muc 33680 unknown 825 muc 376
6.08/6.18	c iter 471 time 6.01908 not-muc 33680 unknown 824 muc 377
6.08/6.18	c iter 472 time 6.02108 not-muc 33680 unknown 823 muc 378
6.08/6.18	c iter 473 time 6.02308 not-muc 33680 unknown 822 muc 379
6.08/6.18	c iter 474 time 6.02608 not-muc 33680 unknown 821 muc 380
6.08/6.18	c iter 475 time 6.02808 not-muc 33680 unknown 820 muc 381
6.08/6.18	c iter 476 time 6.03108 not-muc 33680 unknown 819 muc 382
6.08/6.18	c iter 477 time 6.03508 not-muc 33680 unknown 818 muc 383
6.08/6.18	c iter 478 time 6.04408 not-muc 33680 unknown 817 muc 384
6.08/6.18	c iter 479 time 6.05808 not-muc 33680 unknown 816 muc 385
6.08/6.18	c iter 480 time 6.06108 not-muc 33680 unknown 815 muc 386
6.08/6.18	c iter 481 time 6.06508 not-muc 33680 unknown 814 muc 387
6.08/6.18	c iter 482 time 6.07008 not-muc 33680 unknown 813 muc 388
6.08/6.18	c iter 483 time 6.07508 not-muc 33680 unknown 812 muc 389
6.08/6.18	c iter 484 time 6.07708 not-muc 33680 unknown 811 muc 390
6.08/6.18	c iter 485 time 6.09107 not-muc 33680 unknown 810 muc 391
6.08/6.18	c iter 486 time 6.09507 not-muc 33680 unknown 809 muc 392
6.08/6.18	c iter 487 time 6.10107 not-muc 33680 unknown 808 muc 393
6.08/6.18	c iter 488 time 6.10407 not-muc 33680 unknown 807 muc 394
6.08/6.18	c iter 489 time 6.10607 not-muc 33680 unknown 806 muc 395
6.08/6.18	c iter 490 time 6.11207 not-muc 33680 unknown 805 muc 396
6.08/6.18	c iter 491 time 6.11907 not-muc 33680 unknown 804 muc 397
6.08/6.18	c iter 492 time 6.12207 not-muc 33680 unknown 803 muc 398
6.08/6.18	c iter 493 time 6.12607 not-muc 33680 unknown 802 muc 399
6.08/6.18	c iter 494 time 6.13007 not-muc 33680 unknown 801 muc 400
6.08/6.18	c iter 495 time 6.13307 not-muc 33680 unknown 800 muc 401
6.68/6.76	c iter 496 time 6.13707 not-muc 33680 unknown 799 muc 402
6.68/6.76	c iter 497 time 6.14007 not-muc 33680 unknown 798 muc 403
6.68/6.76	c iter 498 time 6.14407 not-muc 33680 unknown 797 muc 404
6.68/6.76	c iter 499 time 6.14806 not-muc 33680 unknown 796 muc 405
6.68/6.76	c iter 500 time 6.15106 not-muc 33680 unknown 795 muc 406
6.68/6.76	c iter 501 time 6.15506 not-muc 33680 unknown 794 muc 407
6.68/6.76	c iter 502 time 6.15906 not-muc 33680 unknown 793 muc 408
6.68/6.76	c iter 503 time 6.16206 not-muc 33680 unknown 792 muc 409
6.68/6.76	c iter 504 time 6.16606 not-muc 33680 unknown 791 muc 410
6.68/6.76	c iter 505 time 6.16906 not-muc 33680 unknown 790 muc 411
6.68/6.76	c iter 506 time 6.17306 not-muc 33680 unknown 789 muc 412
6.68/6.76	c iter 507 time 6.17606 not-muc 33680 unknown 788 muc 413
6.68/6.76	c iter 508 time 6.18006 not-muc 33680 unknown 787 muc 414
6.68/6.76	c iter 509 time 6.18306 not-muc 33680 unknown 786 muc 415
6.68/6.76	c iter 510 time 6.18706 not-muc 33680 unknown 785 muc 416
6.68/6.76	c iter 511 time 6.19006 not-muc 33680 unknown 784 muc 417
6.68/6.76	c iter 512 time 6.27604 not-muc 33681 unknown 783 muc 417
6.68/6.76	c iter 513 time 6.28504 not-muc 33681 unknown 782 muc 418
6.68/6.76	c iter 514 time 6.29104 not-muc 33681 unknown 781 muc 419
6.68/6.76	c iter 515 time 6.29604 not-muc 33681 unknown 780 muc 420
6.68/6.76	c iter 516 time 6.30204 not-muc 33681 unknown 779 muc 421
6.68/6.76	c iter 517 time 6.36403 not-muc 33682 unknown 778 muc 421
6.68/6.76	c iter 518 time 6.37903 not-muc 33682 unknown 777 muc 422
6.68/6.76	c iter 519 time 6.38203 not-muc 33682 unknown 776 muc 423
6.68/6.76	c iter 520 time 6.43202 not-muc 33683 unknown 775 muc 423
6.68/6.76	c iter 521 time 6.43802 not-muc 33683 unknown 774 muc 424
6.68/6.76	c iter 522 time 6.44102 not-muc 33683 unknown 773 muc 425
6.68/6.76	c iter 523 time 6.44302 not-muc 33683 unknown 772 muc 426
6.68/6.76	c iter 524 time 6.44702 not-muc 33683 unknown 771 muc 427
6.68/6.76	c iter 525 time 6.45302 not-muc 33683 unknown 770 muc 428
6.68/6.76	c iter 526 time 6.45702 not-muc 33683 unknown 769 muc 429
6.68/6.76	c iter 527 time 6.45902 not-muc 33683 unknown 768 muc 430
6.68/6.76	c iter 528 time 6.46202 not-muc 33683 unknown 767 muc 431
6.68/6.76	c iter 529 time 6.46402 not-muc 33683 unknown 766 muc 432
6.68/6.76	c iter 530 time 6.46602 not-muc 33683 unknown 765 muc 433
6.68/6.76	c iter 531 time 6.46902 not-muc 33683 unknown 764 muc 434
6.68/6.76	c iter 532 time 6.47202 not-muc 33683 unknown 763 muc 435
6.68/6.76	c iter 533 time 6.47602 not-muc 33683 unknown 762 muc 436
6.68/6.76	c iter 534 time 6.47902 not-muc 33683 unknown 761 muc 437
6.68/6.76	c iter 535 time 6.49301 not-muc 33683 unknown 760 muc 438
6.68/6.76	c iter 536 time 6.49701 not-muc 33683 unknown 759 muc 439
6.68/6.76	c iter 537 time 6.50101 not-muc 33683 unknown 758 muc 440
6.68/6.76	c iter 538 time 6.50601 not-muc 33683 unknown 757 muc 441
6.68/6.76	c iter 539 time 6.50901 not-muc 33683 unknown 756 muc 442
6.68/6.76	c iter 540 time 6.51201 not-muc 33683 unknown 755 muc 443
6.68/6.76	c iter 541 time 6.51501 not-muc 33683 unknown 754 muc 444
6.68/6.76	c iter 542 time 6.51701 not-muc 33683 unknown 753 muc 445
6.68/6.76	c iter 543 time 6.52001 not-muc 33683 unknown 752 muc 446
6.68/6.76	c iter 544 time 6.52501 not-muc 33683 unknown 751 muc 447
6.68/6.76	c iter 545 time 6.53001 not-muc 33683 unknown 750 muc 448
6.68/6.76	c iter 546 time 6.53401 not-muc 33683 unknown 749 muc 449
6.68/6.76	c iter 547 time 6.539 not-muc 33683 unknown 748 muc 450
6.68/6.76	c iter 548 time 6.543 not-muc 33683 unknown 747 muc 451
6.68/6.76	c iter 549 time 6.549 not-muc 33683 unknown 746 muc 452
6.68/6.76	c iter 550 time 6.554 not-muc 33683 unknown 745 muc 453
6.68/6.76	c iter 551 time 6.559 not-muc 33683 unknown 744 muc 454
6.68/6.76	c iter 552 time 6.574 not-muc 33683 unknown 743 muc 455
6.68/6.76	c iter 553 time 6.582 not-muc 33683 unknown 742 muc 456
6.68/6.76	c iter 554 time 6.586 not-muc 33683 unknown 741 muc 457
6.68/6.76	c iter 555 time 6.599 not-muc 33683 unknown 740 muc 458
6.68/6.76	c iter 556 time 6.609 not-muc 33683 unknown 739 muc 459
6.68/6.76	c iter 557 time 6.61899 not-muc 33683 unknown 738 muc 460
6.68/6.76	c iter 558 time 6.62699 not-muc 33683 unknown 737 muc 461
6.68/6.76	c iter 559 time 6.63499 not-muc 33683 unknown 736 muc 462
6.68/6.76	c iter 560 time 6.63899 not-muc 33683 unknown 735 muc 463
6.68/6.76	c iter 561 time 6.65099 not-muc 33683 unknown 734 muc 464
6.68/6.76	c iter 562 time 6.65499 not-muc 33683 unknown 733 muc 465
6.68/6.76	c iter 563 time 6.65699 not-muc 33683 unknown 732 muc 466
6.68/6.76	c iter 564 time 6.69498 not-muc 33683 unknown 731 muc 467
6.68/6.76	c iter 565 time 6.70698 not-muc 33683 unknown 730 muc 468
6.68/6.76	c iter 566 time 6.71498 not-muc 33683 unknown 729 muc 469
7.18/7.28	c iter 567 time 6.76397 not-muc 33684 unknown 728 muc 469
7.18/7.28	c iter 568 time 6.76997 not-muc 33684 unknown 727 muc 470
7.18/7.28	c iter 569 time 6.77797 not-muc 33684 unknown 726 muc 471
7.18/7.28	c iter 570 time 6.78097 not-muc 33684 unknown 725 muc 472
7.18/7.28	c iter 571 time 6.78697 not-muc 33684 unknown 724 muc 473
7.18/7.28	c iter 572 time 6.79397 not-muc 33684 unknown 723 muc 474
7.18/7.28	c iter 573 time 6.79497 not-muc 33684 unknown 722 muc 475
7.18/7.28	c iter 574 time 6.79797 not-muc 33684 unknown 721 muc 476
7.18/7.28	c iter 575 time 6.79897 not-muc 33684 unknown 720 muc 477
7.18/7.28	c iter 576 time 6.80297 not-muc 33684 unknown 719 muc 478
7.18/7.28	c iter 577 time 6.80696 not-muc 33684 unknown 718 muc 479
7.18/7.28	c iter 578 time 6.81296 not-muc 33684 unknown 717 muc 480
7.18/7.28	c iter 579 time 6.82196 not-muc 33684 unknown 716 muc 481
7.18/7.28	c iter 580 time 6.82896 not-muc 33684 unknown 715 muc 482
7.18/7.28	c iter 581 time 6.83796 not-muc 33684 unknown 714 muc 483
7.18/7.28	c iter 582 time 6.84596 not-muc 33684 unknown 713 muc 484
7.18/7.28	c iter 583 time 6.85796 not-muc 33684 unknown 712 muc 485
7.18/7.28	c iter 584 time 6.86895 not-muc 33684 unknown 711 muc 486
7.18/7.28	c iter 585 time 6.87695 not-muc 33684 unknown 710 muc 487
7.18/7.28	c iter 586 time 6.88395 not-muc 33684 unknown 709 muc 488
7.18/7.28	c iter 587 time 6.89095 not-muc 33684 unknown 708 muc 489
7.18/7.28	c iter 588 time 6.90295 not-muc 33684 unknown 707 muc 490
7.18/7.28	c iter 589 time 6.91195 not-muc 33684 unknown 706 muc 491
7.18/7.28	c iter 590 time 6.91595 not-muc 33684 unknown 705 muc 492
7.18/7.28	c iter 591 time 6.92195 not-muc 33684 unknown 704 muc 493
7.18/7.28	c iter 592 time 6.92595 not-muc 33684 unknown 703 muc 494
7.18/7.28	c iter 593 time 6.92895 not-muc 33684 unknown 702 muc 495
7.18/7.28	c iter 594 time 6.93595 not-muc 33684 unknown 701 muc 496
7.18/7.28	c iter 595 time 6.94194 not-muc 33684 unknown 700 muc 497
7.18/7.28	c iter 596 time 6.94394 not-muc 33684 unknown 699 muc 498
7.18/7.28	c iter 597 time 6.95094 not-muc 33684 unknown 698 muc 499
7.18/7.28	c iter 598 time 6.95694 not-muc 33684 unknown 697 muc 500
7.18/7.28	c iter 599 time 6.96794 not-muc 33684 unknown 696 muc 501
7.18/7.28	c iter 600 time 6.97494 not-muc 33684 unknown 695 muc 502
7.18/7.28	c iter 601 time 6.97894 not-muc 33684 unknown 694 muc 503
7.18/7.28	c iter 602 time 6.97994 not-muc 33684 unknown 693 muc 504
7.18/7.28	c iter 603 time 6.98294 not-muc 33684 unknown 692 muc 505
7.18/7.28	c iter 604 time 6.98594 not-muc 33684 unknown 691 muc 506
7.18/7.28	c iter 605 time 6.98894 not-muc 33684 unknown 690 muc 507
7.18/7.28	c iter 606 time 6.99194 not-muc 33684 unknown 689 muc 508
7.18/7.28	c iter 607 time 7.00293 not-muc 33684 unknown 688 muc 509
7.18/7.28	c iter 608 time 7.01193 not-muc 33684 unknown 687 muc 510
7.18/7.28	c iter 609 time 7.02393 not-muc 33684 unknown 686 muc 511
7.18/7.28	c iter 610 time 7.03493 not-muc 33684 unknown 685 muc 512
7.18/7.28	c iter 611 time 7.03793 not-muc 33684 unknown 684 muc 513
7.18/7.28	c iter 612 time 7.04593 not-muc 33684 unknown 683 muc 514
7.18/7.28	c iter 613 time 7.05393 not-muc 33684 unknown 682 muc 515
7.18/7.28	c iter 614 time 7.06093 not-muc 33684 unknown 681 muc 516
7.18/7.28	c iter 615 time 7.06393 not-muc 33684 unknown 680 muc 517
7.18/7.28	c iter 616 time 7.07292 not-muc 33684 unknown 679 muc 518
7.18/7.28	c iter 617 time 7.08392 not-muc 33684 unknown 678 muc 519
7.18/7.28	c iter 618 time 7.09092 not-muc 33684 unknown 677 muc 520
7.18/7.28	c iter 619 time 7.09792 not-muc 33684 unknown 676 muc 521
7.18/7.28	c iter 620 time 7.10192 not-muc 33684 unknown 675 muc 522
7.18/7.28	c iter 621 time 7.10492 not-muc 33684 unknown 674 muc 523
7.18/7.28	c iter 622 time 7.10892 not-muc 33684 unknown 673 muc 524
7.18/7.28	c iter 623 time 7.11292 not-muc 33684 unknown 672 muc 525
7.18/7.28	c iter 624 time 7.11592 not-muc 33684 unknown 671 muc 526
7.18/7.28	c iter 625 time 7.12092 not-muc 33684 unknown 670 muc 527
7.18/7.28	c iter 626 time 7.13192 not-muc 33684 unknown 669 muc 528
7.18/7.28	c iter 627 time 7.14391 not-muc 33684 unknown 668 muc 529
7.18/7.28	c iter 628 time 7.15291 not-muc 33684 unknown 667 muc 530
7.18/7.28	c iter 629 time 7.15991 not-muc 33684 unknown 666 muc 531
7.18/7.28	c iter 630 time 7.16791 not-muc 33684 unknown 665 muc 532
7.18/7.28	c iter 631 time 7.17991 not-muc 33684 unknown 664 muc 533
7.18/7.28	c iter 632 time 7.19091 not-muc 33684 unknown 663 muc 534
7.18/7.28	c iter 633 time 7.2009 not-muc 33684 unknown 662 muc 535
7.18/7.28	c iter 634 time 7.2129 not-muc 33684 unknown 661 muc 536
7.18/7.28	c iter 635 time 7.2209 not-muc 33684 unknown 660 muc 537
7.18/7.28	c iter 636 time 7.2329 not-muc 33684 unknown 659 muc 538
7.18/7.28	c iter 637 time 7.2379 not-muc 33684 unknown 658 muc 539
7.48/7.53	c iter 638 time 7.2469 not-muc 33684 unknown 657 muc 540
7.48/7.53	c iter 639 time 7.2509 not-muc 33684 unknown 656 muc 541
7.48/7.53	c iter 640 time 7.2619 not-muc 33684 unknown 655 muc 542
7.48/7.53	c iter 641 time 7.27289 not-muc 33684 unknown 654 muc 543
7.48/7.53	c iter 642 time 7.28389 not-muc 33684 unknown 653 muc 544
7.48/7.53	c iter 643 time 7.29089 not-muc 33684 unknown 652 muc 545
7.48/7.53	c iter 644 time 7.29889 not-muc 33684 unknown 651 muc 546
7.48/7.53	c iter 645 time 7.30289 not-muc 33684 unknown 650 muc 547
7.48/7.53	c iter 646 time 7.31789 not-muc 33684 unknown 649 muc 548
7.48/7.53	c iter 647 time 7.34088 not-muc 33684 unknown 648 muc 549
7.48/7.53	c iter 648 time 7.34688 not-muc 33684 unknown 647 muc 550
7.48/7.53	c iter 649 time 7.34888 not-muc 33684 unknown 646 muc 551
7.48/7.53	c iter 650 time 7.36188 not-muc 33684 unknown 645 muc 552
7.48/7.53	c iter 651 time 7.36588 not-muc 33684 unknown 644 muc 553
7.48/7.53	c iter 652 time 7.36788 not-muc 33684 unknown 643 muc 554
7.48/7.53	c iter 653 time 7.36988 not-muc 33684 unknown 642 muc 555
7.48/7.53	c iter 654 time 7.37188 not-muc 33684 unknown 641 muc 556
7.48/7.53	c iter 655 time 7.37388 not-muc 33684 unknown 640 muc 557
7.48/7.53	c iter 656 time 7.37588 not-muc 33684 unknown 639 muc 558
7.48/7.53	c iter 657 time 7.37788 not-muc 33684 unknown 638 muc 559
7.48/7.53	c iter 658 time 7.37988 not-muc 33684 unknown 637 muc 560
7.48/7.53	c iter 659 time 7.38188 not-muc 33684 unknown 636 muc 561
7.48/7.53	c iter 660 time 7.38288 not-muc 33684 unknown 635 muc 562
7.48/7.53	c iter 661 time 7.38488 not-muc 33684 unknown 634 muc 563
7.48/7.53	c iter 662 time 7.38688 not-muc 33684 unknown 633 muc 564
7.48/7.53	c iter 663 time 7.38888 not-muc 33684 unknown 632 muc 565
7.48/7.53	c iter 664 time 7.39088 not-muc 33684 unknown 631 muc 566
7.48/7.53	c iter 665 time 7.39288 not-muc 33684 unknown 630 muc 567
7.48/7.53	c iter 666 time 7.39387 not-muc 33684 unknown 629 muc 568
7.48/7.53	c iter 667 time 7.39588 not-muc 33684 unknown 628 muc 569
7.48/7.53	c iter 668 time 7.39787 not-muc 33684 unknown 627 muc 570
7.48/7.53	c iter 669 time 7.39987 not-muc 33684 unknown 626 muc 571
7.48/7.53	c iter 670 time 7.40187 not-muc 33684 unknown 625 muc 572
7.48/7.53	c iter 671 time 7.40387 not-muc 33684 unknown 624 muc 573
7.48/7.53	c iter 672 time 7.40587 not-muc 33684 unknown 623 muc 574
7.48/7.53	c iter 673 time 7.40687 not-muc 33684 unknown 622 muc 575
7.48/7.53	c iter 674 time 7.40887 not-muc 33684 unknown 621 muc 576
7.48/7.53	c iter 675 time 7.41087 not-muc 33684 unknown 620 muc 577
7.48/7.53	c iter 676 time 7.41287 not-muc 33684 unknown 619 muc 578
7.48/7.53	c iter 677 time 7.41487 not-muc 33684 unknown 618 muc 579
7.48/7.53	c iter 678 time 7.41687 not-muc 33684 unknown 617 muc 580
7.48/7.53	c iter 679 time 7.41887 not-muc 33684 unknown 616 muc 581
7.48/7.53	c iter 680 time 7.42087 not-muc 33684 unknown 615 muc 582
7.48/7.53	c iter 681 time 7.42287 not-muc 33684 unknown 614 muc 583
7.48/7.53	c iter 682 time 7.42487 not-muc 33684 unknown 613 muc 584
7.48/7.53	c iter 683 time 7.42687 not-muc 33684 unknown 612 muc 585
7.48/7.53	c iter 684 time 7.42887 not-muc 33684 unknown 611 muc 586
7.48/7.53	c iter 685 time 7.43087 not-muc 33684 unknown 610 muc 587
7.48/7.53	c iter 686 time 7.43287 not-muc 33684 unknown 609 muc 588
7.48/7.53	c iter 687 time 7.43487 not-muc 33684 unknown 608 muc 589
7.48/7.53	c iter 688 time 7.43687 not-muc 33684 unknown 607 muc 590
7.48/7.53	c iter 689 time 7.43887 not-muc 33684 unknown 606 muc 591
7.48/7.53	c iter 690 time 7.44087 not-muc 33684 unknown 605 muc 592
7.48/7.53	c iter 691 time 7.44387 not-muc 33684 unknown 604 muc 593
7.48/7.53	c iter 692 time 7.44687 not-muc 33684 unknown 603 muc 594
7.48/7.53	c iter 693 time 7.44887 not-muc 33684 unknown 602 muc 595
7.48/7.53	c iter 694 time 7.45087 not-muc 33684 unknown 601 muc 596
7.48/7.53	c iter 695 time 7.45287 not-muc 33684 unknown 600 muc 597
7.48/7.53	c iter 696 time 7.46087 not-muc 33684 unknown 599 muc 598
7.48/7.53	c iter 697 time 7.46387 not-muc 33684 unknown 598 muc 599
7.48/7.53	c iter 698 time 7.46586 not-muc 33684 unknown 597 muc 600
7.48/7.53	c iter 699 time 7.46786 not-muc 33684 unknown 596 muc 601
7.48/7.53	c iter 700 time 7.46986 not-muc 33684 unknown 595 muc 602
7.48/7.53	c iter 701 time 7.47086 not-muc 33684 unknown 594 muc 603
7.48/7.53	c iter 702 time 7.47286 not-muc 33684 unknown 593 muc 604
7.48/7.53	c iter 703 time 7.47486 not-muc 33684 unknown 592 muc 605
7.48/7.53	c iter 704 time 7.47686 not-muc 33684 unknown 591 muc 606
7.48/7.53	c iter 705 time 7.47886 not-muc 33684 unknown 590 muc 607
7.48/7.53	c iter 706 time 7.48086 not-muc 33684 unknown 589 muc 608
7.48/7.53	c iter 707 time 7.48286 not-muc 33684 unknown 588 muc 609
7.58/7.67	c iter 708 time 7.48486 not-muc 33684 unknown 587 muc 610
7.58/7.67	c iter 709 time 7.48686 not-muc 33684 unknown 586 muc 611
7.58/7.67	c iter 710 time 7.48886 not-muc 33684 unknown 585 muc 612
7.58/7.67	c iter 711 time 7.48986 not-muc 33684 unknown 584 muc 613
7.58/7.67	c iter 712 time 7.49186 not-muc 33684 unknown 583 muc 614
7.58/7.67	c iter 713 time 7.49486 not-muc 33684 unknown 582 muc 615
7.58/7.67	c iter 714 time 7.49686 not-muc 33684 unknown 581 muc 616
7.58/7.67	c iter 715 time 7.49886 not-muc 33684 unknown 580 muc 617
7.58/7.67	c iter 716 time 7.49986 not-muc 33684 unknown 579 muc 618
7.58/7.67	c iter 717 time 7.50186 not-muc 33684 unknown 578 muc 619
7.58/7.67	c iter 718 time 7.50386 not-muc 33684 unknown 577 muc 620
7.58/7.67	c iter 719 time 7.50586 not-muc 33684 unknown 576 muc 621
7.58/7.67	c iter 720 time 7.50686 not-muc 33684 unknown 575 muc 622
7.58/7.67	c iter 721 time 7.50886 not-muc 33684 unknown 574 muc 623
7.58/7.67	c iter 722 time 7.51086 not-muc 33684 unknown 573 muc 624
7.58/7.67	c iter 723 time 7.51186 not-muc 33684 unknown 572 muc 625
7.58/7.67	c iter 724 time 7.51786 not-muc 33684 unknown 571 muc 626
7.58/7.67	c iter 725 time 7.51986 not-muc 33684 unknown 570 muc 627
7.58/7.67	c iter 726 time 7.52286 not-muc 33684 unknown 569 muc 628
7.58/7.67	c iter 727 time 7.52486 not-muc 33684 unknown 568 muc 629
7.58/7.67	c iter 728 time 7.52585 not-muc 33684 unknown 567 muc 630
7.58/7.67	c iter 729 time 7.52785 not-muc 33684 unknown 566 muc 631
7.58/7.67	c iter 730 time 7.52985 not-muc 33684 unknown 565 muc 632
7.58/7.67	c iter 731 time 7.53085 not-muc 33684 unknown 564 muc 633
7.58/7.67	c iter 732 time 7.53285 not-muc 33684 unknown 563 muc 634
7.58/7.67	c iter 733 time 7.53385 not-muc 33684 unknown 562 muc 635
7.58/7.67	c iter 734 time 7.53585 not-muc 33684 unknown 561 muc 636
7.58/7.67	c iter 735 time 7.53785 not-muc 33684 unknown 560 muc 637
7.58/7.67	c iter 736 time 7.53885 not-muc 33684 unknown 559 muc 638
7.58/7.67	c iter 737 time 7.54085 not-muc 33684 unknown 558 muc 639
7.58/7.67	c iter 738 time 7.54185 not-muc 33684 unknown 557 muc 640
7.58/7.67	c iter 739 time 7.54285 not-muc 33684 unknown 556 muc 641
7.58/7.67	c iter 740 time 7.54485 not-muc 33684 unknown 555 muc 642
7.58/7.67	c iter 741 time 7.54585 not-muc 33684 unknown 554 muc 643
7.58/7.67	c iter 742 time 7.54785 not-muc 33684 unknown 553 muc 644
7.58/7.67	c iter 743 time 7.54885 not-muc 33684 unknown 552 muc 645
7.58/7.67	c iter 744 time 7.54985 not-muc 33684 unknown 551 muc 646
7.58/7.67	c iter 745 time 7.55085 not-muc 33684 unknown 550 muc 647
7.58/7.67	c iter 746 time 7.55285 not-muc 33684 unknown 549 muc 648
7.58/7.67	c iter 747 time 7.55385 not-muc 33684 unknown 548 muc 649
7.58/7.67	c iter 748 time 7.55485 not-muc 33684 unknown 547 muc 650
7.58/7.67	c iter 749 time 7.55585 not-muc 33684 unknown 546 muc 651
7.58/7.67	c iter 750 time 7.55785 not-muc 33684 unknown 545 muc 652
7.58/7.67	c iter 751 time 7.55885 not-muc 33684 unknown 544 muc 653
7.58/7.67	c iter 752 time 7.55985 not-muc 33684 unknown 543 muc 654
7.58/7.67	c iter 753 time 7.56085 not-muc 33684 unknown 542 muc 655
7.58/7.67	c iter 754 time 7.56185 not-muc 33684 unknown 541 muc 656
7.58/7.67	c iter 755 time 7.56385 not-muc 33684 unknown 540 muc 657
7.58/7.67	c iter 756 time 7.58185 not-muc 33685 unknown 539 muc 657
7.58/7.67	c iter 757 time 7.58485 not-muc 33685 unknown 538 muc 658
7.58/7.67	c iter 758 time 7.58585 not-muc 33685 unknown 537 muc 659
7.58/7.67	c iter 759 time 7.58685 not-muc 33685 unknown 536 muc 660
7.58/7.67	c iter 760 time 7.58785 not-muc 33685 unknown 535 muc 661
7.58/7.67	c iter 761 time 7.58885 not-muc 33685 unknown 534 muc 662
7.58/7.67	c iter 762 time 7.58985 not-muc 33685 unknown 533 muc 663
7.58/7.67	c iter 763 time 7.59185 not-muc 33685 unknown 532 muc 664
7.58/7.67	c iter 764 time 7.59284 not-muc 33685 unknown 531 muc 665
7.58/7.67	c iter 765 time 7.59384 not-muc 33685 unknown 530 muc 666
7.58/7.67	c iter 766 time 7.59485 not-muc 33685 unknown 529 muc 667
7.58/7.67	c iter 767 time 7.59584 not-muc 33685 unknown 528 muc 668
7.58/7.67	c iter 768 time 7.59685 not-muc 33685 unknown 527 muc 669
7.58/7.67	c iter 769 time 7.59884 not-muc 33685 unknown 526 muc 670
7.58/7.67	c iter 770 time 7.59984 not-muc 33685 unknown 525 muc 671
7.58/7.67	c iter 771 time 7.61784 not-muc 33686 unknown 524 muc 671
7.58/7.67	c iter 772 time 7.62084 not-muc 33686 unknown 523 muc 672
7.58/7.67	c iter 773 time 7.62284 not-muc 33686 unknown 522 muc 673
7.58/7.67	c iter 774 time 7.62484 not-muc 33686 unknown 521 muc 674
7.58/7.67	c iter 775 time 7.62684 not-muc 33686 unknown 520 muc 675
7.58/7.67	c iter 776 time 7.62884 not-muc 33686 unknown 519 muc 676
7.58/7.67	c iter 777 time 7.63084 not-muc 33686 unknown 518 muc 677
7.58/7.67	c iter 778 time 7.63184 not-muc 33686 unknown 517 muc 678
7.88/7.94	c iter 779 time 7.63384 not-muc 33686 unknown 516 muc 679
7.88/7.94	c iter 780 time 7.63584 not-muc 33686 unknown 515 muc 680
7.88/7.94	c iter 781 time 7.63784 not-muc 33686 unknown 514 muc 681
7.88/7.94	c iter 782 time 7.63984 not-muc 33686 unknown 513 muc 682
7.88/7.94	c iter 783 time 7.64184 not-muc 33686 unknown 512 muc 683
7.88/7.94	c iter 784 time 7.64384 not-muc 33686 unknown 511 muc 684
7.88/7.94	c iter 785 time 7.64584 not-muc 33686 unknown 510 muc 685
7.88/7.94	c iter 786 time 7.64684 not-muc 33686 unknown 509 muc 686
7.88/7.94	c iter 787 time 7.64884 not-muc 33686 unknown 508 muc 687
7.88/7.94	c iter 788 time 7.65084 not-muc 33686 unknown 507 muc 688
7.88/7.94	c iter 789 time 7.65284 not-muc 33686 unknown 506 muc 689
7.88/7.94	c iter 790 time 7.65484 not-muc 33686 unknown 505 muc 690
7.88/7.94	c iter 791 time 7.65684 not-muc 33686 unknown 504 muc 691
7.88/7.94	c iter 792 time 7.65883 not-muc 33686 unknown 503 muc 692
7.88/7.94	c iter 793 time 7.66083 not-muc 33686 unknown 502 muc 693
7.88/7.94	c iter 794 time 7.66284 not-muc 33686 unknown 501 muc 694
7.88/7.94	c iter 795 time 7.66483 not-muc 33686 unknown 500 muc 695
7.88/7.94	c iter 796 time 7.66583 not-muc 33686 unknown 499 muc 696
7.88/7.94	c iter 797 time 7.66783 not-muc 33686 unknown 498 muc 697
7.88/7.94	c iter 798 time 7.66983 not-muc 33686 unknown 497 muc 698
7.88/7.94	c iter 799 time 7.67083 not-muc 33686 unknown 496 muc 699
7.88/7.94	c iter 800 time 7.67283 not-muc 33686 unknown 495 muc 700
7.88/7.94	c iter 801 time 7.67483 not-muc 33686 unknown 494 muc 701
7.88/7.94	c iter 802 time 7.67683 not-muc 33686 unknown 493 muc 702
7.88/7.94	c iter 803 time 7.67883 not-muc 33686 unknown 492 muc 703
7.88/7.94	c iter 804 time 7.67983 not-muc 33686 unknown 491 muc 704
7.88/7.94	c iter 805 time 7.68183 not-muc 33686 unknown 490 muc 705
7.88/7.94	c iter 806 time 7.68383 not-muc 33686 unknown 489 muc 706
7.88/7.94	c iter 807 time 7.68583 not-muc 33686 unknown 488 muc 707
7.88/7.94	c iter 808 time 7.68783 not-muc 33686 unknown 487 muc 708
7.88/7.94	c iter 809 time 7.68883 not-muc 33686 unknown 486 muc 709
7.88/7.94	c iter 810 time 7.69083 not-muc 33686 unknown 485 muc 710
7.88/7.94	c iter 811 time 7.69283 not-muc 33686 unknown 484 muc 711
7.88/7.94	c iter 812 time 7.69483 not-muc 33686 unknown 483 muc 712
7.88/7.94	c iter 813 time 7.69583 not-muc 33686 unknown 482 muc 713
7.88/7.94	c iter 814 time 7.69783 not-muc 33686 unknown 481 muc 714
7.88/7.94	c iter 815 time 7.69883 not-muc 33686 unknown 480 muc 715
7.88/7.94	c iter 816 time 7.70083 not-muc 33686 unknown 479 muc 716
7.88/7.94	c iter 817 time 7.70283 not-muc 33686 unknown 478 muc 717
7.88/7.94	c iter 818 time 7.70383 not-muc 33686 unknown 477 muc 718
7.88/7.94	c iter 819 time 7.70583 not-muc 33686 unknown 476 muc 719
7.88/7.94	c iter 820 time 7.70783 not-muc 33686 unknown 475 muc 720
7.88/7.94	c iter 821 time 7.70883 not-muc 33686 unknown 474 muc 721
7.88/7.94	c iter 822 time 7.71083 not-muc 33686 unknown 473 muc 722
7.88/7.94	c iter 823 time 7.71283 not-muc 33686 unknown 472 muc 723
7.88/7.94	c iter 824 time 7.71383 not-muc 33686 unknown 471 muc 724
7.88/7.94	c iter 825 time 7.71883 not-muc 33686 unknown 470 muc 725
7.88/7.94	c iter 826 time 7.72183 not-muc 33686 unknown 469 muc 726
7.88/7.94	c iter 827 time 7.8618 not-muc 33687 unknown 468 muc 726
7.88/7.94	c iter 828 time 7.8678 not-muc 33687 unknown 467 muc 727
7.88/7.94	c iter 829 time 7.8708 not-muc 33687 unknown 466 muc 728
7.88/7.94	c iter 830 time 7.8718 not-muc 33687 unknown 465 muc 729
7.88/7.94	c iter 831 time 7.8728 not-muc 33687 unknown 464 muc 730
7.88/7.94	c iter 832 time 7.8738 not-muc 33687 unknown 463 muc 731
7.88/7.94	c iter 833 time 7.8748 not-muc 33687 unknown 462 muc 732
7.88/7.94	c iter 834 time 7.8758 not-muc 33687 unknown 461 muc 733
7.88/7.94	c iter 835 time 7.8768 not-muc 33687 unknown 460 muc 734
7.88/7.94	c iter 836 time 7.8778 not-muc 33687 unknown 459 muc 735
7.88/7.94	c iter 837 time 7.8818 not-muc 33687 unknown 458 muc 736
7.88/7.94	c iter 838 time 7.8828 not-muc 33687 unknown 457 muc 737
7.88/7.94	c iter 839 time 7.8838 not-muc 33687 unknown 456 muc 738
7.88/7.94	c iter 840 time 7.8848 not-muc 33687 unknown 455 muc 739
7.88/7.94	c iter 841 time 7.8858 not-muc 33687 unknown 454 muc 740
7.88/7.94	c iter 842 time 7.8868 not-muc 33687 unknown 453 muc 741
7.88/7.94	c iter 843 time 7.8888 not-muc 33687 unknown 452 muc 742
7.88/7.94	c iter 844 time 7.8908 not-muc 33687 unknown 451 muc 743
7.88/7.94	c iter 845 time 7.8918 not-muc 33687 unknown 450 muc 744
7.88/7.94	c iter 846 time 7.8928 not-muc 33687 unknown 449 muc 745
7.88/7.94	c iter 847 time 7.8938 not-muc 33687 unknown 448 muc 746
7.88/7.94	c iter 848 time 7.8948 not-muc 33687 unknown 447 muc 747
7.88/7.94	c iter 849 time 7.8958 not-muc 33687 unknown 446 muc 748
8.18/8.22	c iter 850 time 7.8968 not-muc 33687 unknown 445 muc 749
8.18/8.22	c iter 851 time 7.8978 not-muc 33687 unknown 444 muc 750
8.18/8.22	c iter 852 time 7.8988 not-muc 33687 unknown 443 muc 751
8.18/8.22	c iter 853 time 7.8998 not-muc 33687 unknown 442 muc 752
8.18/8.22	c iter 854 time 7.9008 not-muc 33687 unknown 441 muc 753
8.18/8.22	c iter 855 time 7.9018 not-muc 33687 unknown 440 muc 754
8.18/8.22	c iter 856 time 7.9028 not-muc 33687 unknown 439 muc 755
8.18/8.22	c iter 857 time 7.9038 not-muc 33687 unknown 438 muc 756
8.18/8.22	c iter 858 time 7.9058 not-muc 33687 unknown 437 muc 757
8.18/8.22	c iter 859 time 7.9068 not-muc 33687 unknown 436 muc 758
8.18/8.22	c iter 860 time 7.9078 not-muc 33687 unknown 435 muc 759
8.18/8.22	c iter 861 time 7.9088 not-muc 33687 unknown 434 muc 760
8.18/8.22	c iter 862 time 7.9098 not-muc 33687 unknown 433 muc 761
8.18/8.22	c iter 863 time 7.9108 not-muc 33687 unknown 432 muc 762
8.18/8.22	c iter 864 time 7.9108 not-muc 33687 unknown 431 muc 763
8.18/8.22	c iter 865 time 7.9118 not-muc 33687 unknown 430 muc 764
8.18/8.22	c iter 866 time 7.99978 not-muc 33688 unknown 429 muc 764
8.18/8.22	c iter 867 time 8.00678 not-muc 33688 unknown 428 muc 765
8.18/8.22	c iter 868 time 8.01078 not-muc 33688 unknown 427 muc 766
8.18/8.22	c iter 869 time 8.01278 not-muc 33688 unknown 426 muc 767
8.18/8.22	c iter 870 time 8.01378 not-muc 33688 unknown 425 muc 768
8.18/8.22	c iter 871 time 8.01478 not-muc 33688 unknown 424 muc 769
8.18/8.22	c iter 872 time 8.01778 not-muc 33688 unknown 423 muc 770
8.18/8.22	c iter 873 time 8.01978 not-muc 33688 unknown 422 muc 771
8.18/8.22	c iter 874 time 8.02078 not-muc 33688 unknown 421 muc 772
8.18/8.22	c iter 875 time 8.07877 not-muc 33689 unknown 420 muc 772
8.18/8.22	c iter 876 time 8.08277 not-muc 33689 unknown 419 muc 773
8.18/8.22	c iter 877 time 8.08577 not-muc 33689 unknown 418 muc 774
8.18/8.22	c iter 878 time 8.08677 not-muc 33689 unknown 417 muc 775
8.18/8.22	c iter 879 time 8.08877 not-muc 33689 unknown 416 muc 776
8.18/8.22	c iter 880 time 8.08977 not-muc 33689 unknown 415 muc 777
8.18/8.22	c iter 881 time 8.09177 not-muc 33689 unknown 414 muc 778
8.18/8.22	c iter 882 time 8.09277 not-muc 33689 unknown 413 muc 779
8.18/8.22	c iter 883 time 8.09377 not-muc 33689 unknown 412 muc 780
8.18/8.22	c iter 884 time 8.09477 not-muc 33689 unknown 411 muc 781
8.18/8.23	c iter 885 time 8.09577 not-muc 33689 unknown 410 muc 782
8.18/8.23	c iter 886 time 8.09677 not-muc 33689 unknown 409 muc 783
8.18/8.23	c iter 887 time 8.09877 not-muc 33689 unknown 408 muc 784
8.18/8.23	c iter 888 time 8.10077 not-muc 33689 unknown 407 muc 785
8.18/8.23	c iter 889 time 8.10177 not-muc 33689 unknown 406 muc 786
8.18/8.23	c iter 890 time 8.10277 not-muc 33689 unknown 405 muc 787
8.18/8.23	c iter 891 time 8.10477 not-muc 33689 unknown 404 muc 788
8.18/8.23	c iter 892 time 8.10577 not-muc 33689 unknown 403 muc 789
8.18/8.23	c iter 893 time 8.10677 not-muc 33689 unknown 402 muc 790
8.18/8.23	c iter 894 time 8.10877 not-muc 33689 unknown 401 muc 791
8.18/8.23	c iter 895 time 8.10977 not-muc 33689 unknown 400 muc 792
8.18/8.23	c iter 896 time 8.11077 not-muc 33689 unknown 399 muc 793
8.18/8.23	c iter 897 time 8.11177 not-muc 33689 unknown 398 muc 794
8.18/8.23	c iter 898 time 8.11377 not-muc 33689 unknown 397 muc 795
8.18/8.23	c iter 899 time 8.11477 not-muc 33689 unknown 396 muc 796
8.18/8.23	c iter 900 time 8.11577 not-muc 33689 unknown 395 muc 797
8.18/8.23	c iter 901 time 8.11777 not-muc 33689 unknown 394 muc 798
8.18/8.23	c iter 902 time 8.11876 not-muc 33689 unknown 393 muc 799
8.18/8.23	c iter 903 time 8.12077 not-muc 33689 unknown 392 muc 800
8.18/8.23	c iter 904 time 8.12176 not-muc 33689 unknown 391 muc 801
8.18/8.23	c iter 905 time 8.12276 not-muc 33689 unknown 390 muc 802
8.18/8.23	c iter 906 time 8.12377 not-muc 33689 unknown 389 muc 803
8.18/8.23	c iter 907 time 8.12476 not-muc 33689 unknown 388 muc 804
8.18/8.23	c iter 908 time 8.12576 not-muc 33689 unknown 387 muc 805
8.18/8.23	c iter 909 time 8.12776 not-muc 33689 unknown 386 muc 806
8.18/8.23	c iter 910 time 8.12876 not-muc 33689 unknown 385 muc 807
8.18/8.23	c iter 911 time 8.13476 not-muc 33689 unknown 384 muc 808
8.18/8.23	c iter 912 time 8.13976 not-muc 33689 unknown 383 muc 809
8.18/8.23	c iter 913 time 8.15376 not-muc 33689 unknown 382 muc 810
8.18/8.23	c iter 914 time 8.15976 not-muc 33689 unknown 381 muc 811
8.18/8.23	c iter 915 time 8.16276 not-muc 33689 unknown 380 muc 812
8.18/8.23	c iter 916 time 8.16676 not-muc 33689 unknown 379 muc 813
8.18/8.23	c iter 917 time 8.17076 not-muc 33689 unknown 378 muc 814
8.18/8.23	c iter 918 time 8.17476 not-muc 33689 unknown 377 muc 815
8.18/8.23	c iter 919 time 8.17776 not-muc 33689 unknown 376 muc 816
8.18/8.23	c iter 920 time 8.18276 not-muc 33689 unknown 375 muc 817
8.48/8.53	c iter 921 time 8.18576 not-muc 33689 unknown 374 muc 818
8.48/8.53	c iter 922 time 8.18876 not-muc 33689 unknown 373 muc 819
8.48/8.53	c iter 923 time 8.19275 not-muc 33689 unknown 372 muc 820
8.48/8.53	c iter 924 time 8.19675 not-muc 33689 unknown 371 muc 821
8.48/8.53	c iter 925 time 8.20175 not-muc 33689 unknown 370 muc 822
8.48/8.53	c iter 926 time 8.20575 not-muc 33689 unknown 369 muc 823
8.48/8.53	c iter 927 time 8.20875 not-muc 33689 unknown 368 muc 824
8.48/8.53	c iter 928 time 8.21275 not-muc 33689 unknown 367 muc 825
8.48/8.53	c iter 929 time 8.21575 not-muc 33689 unknown 366 muc 826
8.48/8.53	c iter 930 time 8.26174 not-muc 33690 unknown 365 muc 826
8.48/8.53	c iter 931 time 8.26974 not-muc 33690 unknown 364 muc 827
8.48/8.53	c iter 932 time 8.27374 not-muc 33690 unknown 363 muc 828
8.48/8.53	c iter 933 time 8.27674 not-muc 33690 unknown 362 muc 829
8.48/8.53	c iter 934 time 8.28074 not-muc 33690 unknown 361 muc 830
8.48/8.53	c iter 935 time 8.28474 not-muc 33690 unknown 360 muc 831
8.48/8.53	c iter 936 time 8.28974 not-muc 33690 unknown 359 muc 832
8.48/8.53	c iter 937 time 8.29274 not-muc 33690 unknown 358 muc 833
8.48/8.53	c iter 938 time 8.30474 not-muc 33690 unknown 357 muc 834
8.48/8.53	c iter 939 time 8.30774 not-muc 33690 unknown 356 muc 835
8.48/8.53	c iter 940 time 8.31074 not-muc 33690 unknown 355 muc 836
8.48/8.53	c iter 941 time 8.31474 not-muc 33690 unknown 354 muc 837
8.48/8.53	c iter 942 time 8.31774 not-muc 33690 unknown 353 muc 838
8.48/8.53	c iter 943 time 8.32173 not-muc 33690 unknown 352 muc 839
8.48/8.53	c iter 944 time 8.32573 not-muc 33690 unknown 351 muc 840
8.48/8.53	c iter 945 time 8.32973 not-muc 33690 unknown 350 muc 841
8.48/8.53	c iter 946 time 8.33273 not-muc 33690 unknown 349 muc 842
8.48/8.53	c iter 947 time 8.33573 not-muc 33690 unknown 348 muc 843
8.48/8.53	c iter 948 time 8.33873 not-muc 33690 unknown 347 muc 844
8.48/8.53	c iter 949 time 8.34173 not-muc 33690 unknown 346 muc 845
8.48/8.53	c iter 950 time 8.34473 not-muc 33690 unknown 345 muc 846
8.48/8.53	c iter 951 time 8.34773 not-muc 33690 unknown 344 muc 847
8.48/8.53	c iter 952 time 8.35273 not-muc 33690 unknown 343 muc 848
8.48/8.53	c iter 953 time 8.35573 not-muc 33690 unknown 342 muc 849
8.48/8.53	c iter 954 time 8.35973 not-muc 33690 unknown 341 muc 850
8.48/8.53	c iter 955 time 8.36273 not-muc 33690 unknown 340 muc 851
8.48/8.53	c iter 956 time 8.36573 not-muc 33690 unknown 339 muc 852
8.48/8.53	c iter 957 time 8.36873 not-muc 33690 unknown 338 muc 853
8.48/8.53	c iter 958 time 8.37173 not-muc 33690 unknown 337 muc 854
8.48/8.53	c iter 959 time 8.37473 not-muc 33690 unknown 336 muc 855
8.48/8.53	c iter 960 time 8.37873 not-muc 33690 unknown 335 muc 856
8.48/8.53	c iter 961 time 8.38172 not-muc 33690 unknown 334 muc 857
8.48/8.53	c iter 962 time 8.38472 not-muc 33690 unknown 333 muc 858
8.48/8.53	c iter 963 time 8.38772 not-muc 33690 unknown 332 muc 859
8.48/8.53	c iter 964 time 8.39272 not-muc 33690 unknown 331 muc 860
8.48/8.53	c iter 965 time 8.39672 not-muc 33690 unknown 330 muc 861
8.48/8.53	c iter 966 time 8.39972 not-muc 33690 unknown 329 muc 862
8.48/8.53	c iter 967 time 8.40372 not-muc 33690 unknown 328 muc 863
8.48/8.53	c iter 968 time 8.40772 not-muc 33690 unknown 327 muc 864
8.48/8.53	c iter 969 time 8.41172 not-muc 33690 unknown 326 muc 865
8.48/8.53	c iter 970 time 8.41472 not-muc 33690 unknown 325 muc 866
8.48/8.53	c iter 971 time 8.41872 not-muc 33690 unknown 324 muc 867
8.48/8.53	c iter 972 time 8.42172 not-muc 33690 unknown 323 muc 868
8.48/8.53	c iter 973 time 8.42572 not-muc 33690 unknown 322 muc 869
8.48/8.53	c iter 974 time 8.43072 not-muc 33690 unknown 321 muc 870
8.48/8.53	c iter 975 time 8.43572 not-muc 33690 unknown 320 muc 871
8.48/8.53	c iter 976 time 8.43872 not-muc 33690 unknown 319 muc 872
8.48/8.53	c iter 977 time 8.44272 not-muc 33690 unknown 318 muc 873
8.48/8.53	c iter 978 time 8.44671 not-muc 33690 unknown 317 muc 874
8.48/8.53	c iter 979 time 8.44971 not-muc 33690 unknown 316 muc 875
8.48/8.53	c iter 980 time 8.45371 not-muc 33690 unknown 315 muc 876
8.48/8.53	c iter 981 time 8.45671 not-muc 33690 unknown 314 muc 877
8.48/8.53	c iter 982 time 8.46071 not-muc 33690 unknown 313 muc 878
8.48/8.53	c iter 983 time 8.46471 not-muc 33690 unknown 312 muc 879
8.48/8.53	c iter 984 time 8.46971 not-muc 33690 unknown 311 muc 880
8.48/8.53	c iter 985 time 8.47371 not-muc 33690 unknown 310 muc 881
8.48/8.53	c iter 986 time 8.47671 not-muc 33690 unknown 309 muc 882
8.48/8.53	c iter 987 time 8.48171 not-muc 33690 unknown 308 muc 883
8.48/8.53	c iter 988 time 8.48471 not-muc 33690 unknown 307 muc 884
8.48/8.53	c iter 989 time 8.48771 not-muc 33690 unknown 306 muc 885
8.48/8.53	c iter 990 time 8.49171 not-muc 33690 unknown 305 muc 886
8.78/8.86	c iter 991 time 8.49471 not-muc 33690 unknown 304 muc 887
8.78/8.86	c iter 992 time 8.49771 not-muc 33690 unknown 303 muc 888
8.78/8.86	c iter 993 time 8.50171 not-muc 33690 unknown 302 muc 889
8.78/8.86	c iter 994 time 8.50471 not-muc 33690 unknown 301 muc 890
8.78/8.86	c iter 995 time 8.50771 not-muc 33690 unknown 300 muc 891
8.78/8.86	c iter 996 time 8.51171 not-muc 33690 unknown 299 muc 892
8.78/8.86	c iter 997 time 8.5147 not-muc 33690 unknown 298 muc 893
8.78/8.86	c iter 998 time 8.5177 not-muc 33690 unknown 297 muc 894
8.78/8.86	c iter 999 time 8.5217 not-muc 33690 unknown 296 muc 895
8.78/8.86	c iter 1000 time 8.5227 not-muc 33690 unknown 295 muc 896
8.78/8.86	c iter 1001 time 8.5237 not-muc 33690 unknown 294 muc 897
8.78/8.86	c iter 1002 time 8.5247 not-muc 33690 unknown 293 muc 898
8.78/8.86	c iter 1003 time 8.5257 not-muc 33690 unknown 292 muc 899
8.78/8.86	c iter 1004 time 8.5267 not-muc 33690 unknown 291 muc 900
8.78/8.86	c iter 1005 time 8.5277 not-muc 33690 unknown 290 muc 901
8.78/8.86	c iter 1006 time 8.5287 not-muc 33690 unknown 289 muc 902
8.78/8.86	c iter 1007 time 8.5297 not-muc 33690 unknown 288 muc 903
8.78/8.86	c iter 1008 time 8.5307 not-muc 33690 unknown 287 muc 904
8.78/8.86	c iter 1009 time 8.5317 not-muc 33690 unknown 286 muc 905
8.78/8.86	c iter 1010 time 8.5317 not-muc 33690 unknown 285 muc 906
8.78/8.86	c iter 1011 time 8.5327 not-muc 33690 unknown 284 muc 907
8.78/8.86	c iter 1012 time 8.5337 not-muc 33690 unknown 283 muc 908
8.78/8.86	c iter 1013 time 8.5347 not-muc 33690 unknown 282 muc 909
8.78/8.86	c iter 1014 time 8.5357 not-muc 33690 unknown 281 muc 910
8.78/8.86	c iter 1015 time 8.5367 not-muc 33690 unknown 280 muc 911
8.78/8.86	c iter 1016 time 8.5377 not-muc 33690 unknown 279 muc 912
8.78/8.86	c iter 1017 time 8.5387 not-muc 33690 unknown 278 muc 913
8.78/8.86	c iter 1018 time 8.5397 not-muc 33690 unknown 277 muc 914
8.78/8.86	c iter 1019 time 8.5407 not-muc 33690 unknown 276 muc 915
8.78/8.86	c iter 1020 time 8.5417 not-muc 33690 unknown 275 muc 916
8.78/8.86	c iter 1021 time 8.5427 not-muc 33690 unknown 274 muc 917
8.78/8.86	c iter 1022 time 8.5467 not-muc 33690 unknown 273 muc 918
8.78/8.86	c iter 1023 time 8.59969 not-muc 33691 unknown 272 muc 918
8.78/8.86	c iter 1024 time 8.60469 not-muc 33691 unknown 271 muc 919
8.78/8.86	c iter 1025 time 8.60569 not-muc 33691 unknown 270 muc 920
8.78/8.86	c iter 1026 time 8.60769 not-muc 33691 unknown 269 muc 921
8.78/8.86	c iter 1027 time 8.60869 not-muc 33691 unknown 268 muc 922
8.78/8.86	c iter 1028 time 8.64569 not-muc 33692 unknown 267 muc 922
8.78/8.86	c iter 1029 time 8.64968 not-muc 33692 unknown 266 muc 923
8.78/8.86	c iter 1030 time 8.65168 not-muc 33692 unknown 265 muc 924
8.78/8.86	c iter 1031 time 8.65368 not-muc 33692 unknown 264 muc 925
8.78/8.86	c iter 1032 time 8.65668 not-muc 33692 unknown 263 muc 926
8.78/8.86	c iter 1033 time 8.65768 not-muc 33692 unknown 262 muc 927
8.78/8.86	c iter 1034 time 8.65968 not-muc 33692 unknown 261 muc 928
8.78/8.86	c iter 1035 time 8.66168 not-muc 33692 unknown 260 muc 929
8.78/8.86	c iter 1036 time 8.66368 not-muc 33692 unknown 259 muc 930
8.78/8.86	c iter 1037 time 8.71068 not-muc 33693 unknown 258 muc 930
8.78/8.86	c iter 1038 time 8.71567 not-muc 33693 unknown 257 muc 931
8.78/8.86	c iter 1039 time 8.71767 not-muc 33693 unknown 256 muc 932
8.78/8.86	c iter 1040 time 8.71967 not-muc 33693 unknown 255 muc 933
8.78/8.86	c iter 1041 time 8.72167 not-muc 33693 unknown 254 muc 934
8.78/8.86	c iter 1042 time 8.72367 not-muc 33693 unknown 253 muc 935
8.78/8.86	c iter 1043 time 8.72767 not-muc 33693 unknown 252 muc 936
8.78/8.86	c iter 1044 time 8.73067 not-muc 33693 unknown 251 muc 937
8.78/8.86	c iter 1045 time 8.73267 not-muc 33693 unknown 250 muc 938
8.78/8.86	c iter 1046 time 8.73467 not-muc 33693 unknown 249 muc 939
8.78/8.86	c iter 1047 time 8.73567 not-muc 33693 unknown 248 muc 940
8.78/8.86	c iter 1048 time 8.73967 not-muc 33693 unknown 247 muc 941
8.78/8.86	c iter 1049 time 8.74067 not-muc 33693 unknown 246 muc 942
8.78/8.86	c iter 1050 time 8.80166 not-muc 33694 unknown 245 muc 942
8.78/8.86	c iter 1051 time 8.80566 not-muc 33694 unknown 244 muc 943
8.78/8.86	c iter 1052 time 8.80766 not-muc 33694 unknown 243 muc 944
8.78/8.86	c iter 1053 time 8.80866 not-muc 33694 unknown 242 muc 945
8.78/8.86	c iter 1054 time 8.81066 not-muc 33694 unknown 241 muc 946
8.78/8.86	c iter 1055 time 8.81266 not-muc 33694 unknown 240 muc 947
8.78/8.86	c iter 1056 time 8.81466 not-muc 33694 unknown 239 muc 948
8.78/8.86	c iter 1057 time 8.81566 not-muc 33694 unknown 238 muc 949
8.78/8.86	c iter 1058 time 8.81766 not-muc 33694 unknown 237 muc 950
8.78/8.86	c iter 1059 time 8.81866 not-muc 33694 unknown 236 muc 951
8.78/8.86	c iter 1060 time 8.82066 not-muc 33694 unknown 235 muc 952
9.18/9.21	c iter 1061 time 8.82166 not-muc 33694 unknown 234 muc 953
9.18/9.21	c iter 1062 time 8.82366 not-muc 33694 unknown 233 muc 954
9.18/9.21	c iter 1063 time 8.82566 not-muc 33694 unknown 232 muc 955
9.18/9.21	c iter 1064 time 8.82666 not-muc 33694 unknown 231 muc 956
9.18/9.21	c iter 1065 time 8.82866 not-muc 33694 unknown 230 muc 957
9.18/9.21	c iter 1066 time 8.82966 not-muc 33694 unknown 229 muc 958
9.18/9.21	c iter 1067 time 8.83166 not-muc 33694 unknown 228 muc 959
9.18/9.21	c iter 1068 time 8.83266 not-muc 33694 unknown 227 muc 960
9.18/9.21	c iter 1069 time 8.83466 not-muc 33694 unknown 226 muc 961
9.18/9.21	c iter 1070 time 8.83566 not-muc 33694 unknown 225 muc 962
9.18/9.21	c iter 1071 time 8.83766 not-muc 33694 unknown 224 muc 963
9.18/9.21	c iter 1072 time 8.83966 not-muc 33694 unknown 223 muc 964
9.18/9.21	c iter 1073 time 8.84066 not-muc 33694 unknown 222 muc 965
9.18/9.21	c iter 1074 time 8.84266 not-muc 33694 unknown 221 muc 966
9.18/9.21	c iter 1075 time 8.84465 not-muc 33694 unknown 220 muc 967
9.18/9.21	c iter 1076 time 8.86565 not-muc 33695 unknown 219 muc 967
9.18/9.21	c iter 1077 time 8.86765 not-muc 33695 unknown 218 muc 968
9.18/9.21	c iter 1078 time 8.86965 not-muc 33695 unknown 217 muc 969
9.18/9.21	c iter 1079 time 8.87165 not-muc 33695 unknown 216 muc 970
9.18/9.21	c iter 1080 time 8.87265 not-muc 33695 unknown 215 muc 971
9.18/9.21	c iter 1081 time 8.87465 not-muc 33695 unknown 214 muc 972
9.18/9.21	c iter 1082 time 8.87665 not-muc 33695 unknown 213 muc 973
9.18/9.21	c iter 1083 time 8.87865 not-muc 33695 unknown 212 muc 974
9.18/9.21	c iter 1084 time 8.87965 not-muc 33695 unknown 211 muc 975
9.18/9.21	c iter 1085 time 8.88165 not-muc 33695 unknown 210 muc 976
9.18/9.21	c iter 1086 time 8.88365 not-muc 33695 unknown 209 muc 977
9.18/9.21	c iter 1087 time 8.91864 not-muc 33696 unknown 208 muc 977
9.18/9.21	c iter 1088 time 8.92164 not-muc 33696 unknown 207 muc 978
9.18/9.21	c iter 1089 time 8.92364 not-muc 33696 unknown 206 muc 979
9.18/9.21	c iter 1090 time 8.92564 not-muc 33696 unknown 205 muc 980
9.18/9.21	c iter 1091 time 8.92664 not-muc 33696 unknown 204 muc 981
9.18/9.21	c iter 1092 time 8.92864 not-muc 33696 unknown 203 muc 982
9.18/9.21	c iter 1093 time 8.93064 not-muc 33696 unknown 202 muc 983
9.18/9.21	c iter 1094 time 8.93264 not-muc 33696 unknown 201 muc 984
9.18/9.21	c iter 1095 time 8.93464 not-muc 33696 unknown 200 muc 985
9.18/9.21	c iter 1096 time 8.93664 not-muc 33696 unknown 199 muc 986
9.18/9.21	c iter 1097 time 8.93864 not-muc 33696 unknown 198 muc 987
9.18/9.21	c iter 1098 time 8.93964 not-muc 33696 unknown 197 muc 988
9.18/9.21	c iter 1099 time 8.97663 not-muc 33697 unknown 196 muc 988
9.18/9.21	c iter 1100 time 8.98063 not-muc 33697 unknown 195 muc 989
9.18/9.21	c iter 1101 time 8.98263 not-muc 33697 unknown 194 muc 990
9.18/9.21	c iter 1102 time 8.98363 not-muc 33697 unknown 193 muc 991
9.18/9.21	c iter 1103 time 8.98563 not-muc 33697 unknown 192 muc 992
9.18/9.21	c iter 1104 time 8.98763 not-muc 33697 unknown 191 muc 993
9.18/9.21	c iter 1105 time 8.98863 not-muc 33697 unknown 190 muc 994
9.18/9.21	c iter 1106 time 8.99063 not-muc 33697 unknown 189 muc 995
9.18/9.21	c iter 1107 time 8.99163 not-muc 33697 unknown 188 muc 996
9.18/9.21	c iter 1108 time 8.99363 not-muc 33697 unknown 187 muc 997
9.18/9.21	c iter 1109 time 8.99463 not-muc 33697 unknown 186 muc 998
9.18/9.21	c iter 1110 time 8.99663 not-muc 33697 unknown 185 muc 999
9.18/9.21	c iter 1111 time 8.99763 not-muc 33697 unknown 184 muc 1000
9.18/9.21	c iter 1112 time 9.03063 not-muc 33698 unknown 183 muc 1000
9.18/9.21	c iter 1113 time 9.03363 not-muc 33698 unknown 182 muc 1001
9.18/9.21	c iter 1114 time 9.03563 not-muc 33698 unknown 181 muc 1002
9.18/9.21	c iter 1115 time 9.03763 not-muc 33698 unknown 180 muc 1003
9.18/9.21	c iter 1116 time 9.03862 not-muc 33698 unknown 179 muc 1004
9.18/9.21	c iter 1117 time 9.08562 not-muc 33699 unknown 178 muc 1004
9.18/9.21	c iter 1118 time 9.08962 not-muc 33699 unknown 177 muc 1005
9.18/9.21	c iter 1119 time 9.09162 not-muc 33699 unknown 176 muc 1006
9.18/9.21	c iter 1120 time 9.09462 not-muc 33699 unknown 175 muc 1007
9.18/9.21	c iter 1121 time 9.09662 not-muc 33699 unknown 174 muc 1008
9.18/9.21	c iter 1122 time 9.09862 not-muc 33699 unknown 173 muc 1009
9.18/9.21	c iter 1123 time 9.10062 not-muc 33699 unknown 172 muc 1010
9.18/9.21	c iter 1124 time 9.10262 not-muc 33699 unknown 171 muc 1011
9.18/9.21	c iter 1125 time 9.10462 not-muc 33699 unknown 170 muc 1012
9.18/9.21	c iter 1126 time 9.15961 not-muc 33700 unknown 169 muc 1012
9.18/9.21	c iter 1127 time 9.16461 not-muc 33700 unknown 168 muc 1013
9.18/9.21	c iter 1128 time 9.16661 not-muc 33700 unknown 167 muc 1014
9.18/9.21	c iter 1129 time 9.16861 not-muc 33700 unknown 166 muc 1015
9.18/9.21	c iter 1130 time 9.17061 not-muc 33700 unknown 165 muc 1016
9.28/9.36	c iter 1131 time 9.17361 not-muc 33700 unknown 164 muc 1017
9.28/9.36	c iter 1132 time 9.17561 not-muc 33700 unknown 163 muc 1018
9.28/9.36	c iter 1133 time 9.1776 not-muc 33700 unknown 162 muc 1019
9.28/9.36	c iter 1134 time 9.1796 not-muc 33700 unknown 161 muc 1020
9.28/9.36	c iter 1135 time 9.1816 not-muc 33700 unknown 160 muc 1021
9.28/9.36	c iter 1136 time 9.1836 not-muc 33700 unknown 159 muc 1022
9.28/9.36	c iter 1137 time 9.1856 not-muc 33700 unknown 158 muc 1023
9.28/9.36	c iter 1138 time 9.1876 not-muc 33700 unknown 157 muc 1024
9.28/9.36	c iter 1139 time 9.1906 not-muc 33700 unknown 156 muc 1025
9.28/9.36	c iter 1140 time 9.1926 not-muc 33700 unknown 155 muc 1026
9.28/9.36	c iter 1141 time 9.1946 not-muc 33700 unknown 154 muc 1027
9.28/9.36	c iter 1142 time 9.1976 not-muc 33700 unknown 153 muc 1028
9.28/9.36	c iter 1143 time 9.1996 not-muc 33700 unknown 152 muc 1029
9.28/9.36	c iter 1144 time 9.2016 not-muc 33700 unknown 151 muc 1030
9.28/9.36	c iter 1145 time 9.2046 not-muc 33700 unknown 150 muc 1031
9.28/9.36	c iter 1146 time 9.2066 not-muc 33700 unknown 149 muc 1032
9.28/9.36	c iter 1147 time 9.2086 not-muc 33700 unknown 148 muc 1033
9.28/9.36	c iter 1148 time 9.2106 not-muc 33700 unknown 147 muc 1034
9.28/9.36	c iter 1149 time 9.2126 not-muc 33700 unknown 146 muc 1035
9.28/9.36	c iter 1150 time 9.2146 not-muc 33700 unknown 145 muc 1036
9.28/9.36	c iter 1151 time 9.2166 not-muc 33700 unknown 144 muc 1037
9.28/9.36	c iter 1152 time 9.2186 not-muc 33700 unknown 143 muc 1038
9.28/9.36	c iter 1153 time 9.2206 not-muc 33700 unknown 142 muc 1039
9.28/9.36	c iter 1154 time 9.2226 not-muc 33700 unknown 141 muc 1040
9.28/9.36	c iter 1155 time 9.2256 not-muc 33700 unknown 140 muc 1041
9.28/9.36	c iter 1156 time 9.2276 not-muc 33700 unknown 139 muc 1042
9.28/9.36	c iter 1157 time 9.2296 not-muc 33700 unknown 138 muc 1043
9.28/9.36	c iter 1158 time 9.2316 not-muc 33700 unknown 137 muc 1044
9.28/9.36	c iter 1159 time 9.2336 not-muc 33700 unknown 136 muc 1045
9.28/9.36	c iter 1160 time 9.23559 not-muc 33700 unknown 135 muc 1046
9.28/9.36	c iter 1161 time 9.2376 not-muc 33700 unknown 134 muc 1047
9.28/9.36	c iter 1162 time 9.2406 not-muc 33700 unknown 133 muc 1048
9.28/9.36	c iter 1163 time 9.24259 not-muc 33700 unknown 132 muc 1049
9.28/9.36	c iter 1164 time 9.24459 not-muc 33700 unknown 131 muc 1050
9.28/9.36	c iter 1165 time 9.24659 not-muc 33700 unknown 130 muc 1051
9.28/9.36	c iter 1166 time 9.24859 not-muc 33700 unknown 129 muc 1052
9.28/9.36	c iter 1167 time 9.25059 not-muc 33700 unknown 128 muc 1053
9.28/9.36	c iter 1168 time 9.25159 not-muc 33700 unknown 127 muc 1054
9.28/9.36	c iter 1169 time 9.25359 not-muc 33700 unknown 126 muc 1055
9.28/9.36	c iter 1170 time 9.25559 not-muc 33700 unknown 125 muc 1056
9.28/9.36	c iter 1171 time 9.25959 not-muc 33700 unknown 124 muc 1057
9.28/9.36	c iter 1172 time 9.26159 not-muc 33700 unknown 123 muc 1058
9.28/9.36	c iter 1173 time 9.26259 not-muc 33700 unknown 122 muc 1059
9.28/9.36	c iter 1174 time 9.26459 not-muc 33700 unknown 121 muc 1060
9.28/9.36	c iter 1175 time 9.26659 not-muc 33700 unknown 120 muc 1061
9.28/9.36	c iter 1176 time 9.26859 not-muc 33700 unknown 119 muc 1062
9.28/9.36	c iter 1177 time 9.27059 not-muc 33700 unknown 118 muc 1063
9.28/9.36	c iter 1178 time 9.27259 not-muc 33700 unknown 117 muc 1064
9.28/9.36	c iter 1179 time 9.27459 not-muc 33700 unknown 116 muc 1065
9.28/9.36	c iter 1180 time 9.27659 not-muc 33700 unknown 115 muc 1066
9.28/9.36	c iter 1181 time 9.27859 not-muc 33700 unknown 114 muc 1067
9.28/9.36	c iter 1182 time 9.28259 not-muc 33700 unknown 113 muc 1068
9.28/9.36	c iter 1183 time 9.28459 not-muc 33700 unknown 112 muc 1069
9.28/9.36	c iter 1184 time 9.28659 not-muc 33700 unknown 111 muc 1070
9.28/9.36	c iter 1185 time 9.28859 not-muc 33700 unknown 110 muc 1071
9.28/9.36	c iter 1186 time 9.29059 not-muc 33700 unknown 109 muc 1072
9.28/9.36	c iter 1187 time 9.29259 not-muc 33700 unknown 108 muc 1073
9.28/9.36	c iter 1188 time 9.29459 not-muc 33700 unknown 107 muc 1074
9.28/9.36	c iter 1189 time 9.29759 not-muc 33700 unknown 106 muc 1075
9.28/9.36	c iter 1190 time 9.29959 not-muc 33700 unknown 105 muc 1076
9.28/9.36	c iter 1191 time 9.30158 not-muc 33700 unknown 104 muc 1077
9.28/9.36	c iter 1192 time 9.30259 not-muc 33700 unknown 103 muc 1078
9.28/9.36	c iter 1193 time 9.30458 not-muc 33700 unknown 102 muc 1079
9.28/9.36	c iter 1194 time 9.30758 not-muc 33700 unknown 101 muc 1080
9.28/9.36	c iter 1195 time 9.30958 not-muc 33700 unknown 100 muc 1081
9.28/9.36	c iter 1196 time 9.31158 not-muc 33700 unknown 99 muc 1082
9.28/9.36	c iter 1197 time 9.31258 not-muc 33700 unknown 98 muc 1083
9.28/9.36	c iter 1198 time 9.31458 not-muc 33700 unknown 97 muc 1084
10.28/10.33	c iter 1199 time 9.31658 not-muc 33700 unknown 96 muc 1085
10.28/10.33	c iter 1200 time 9.31858 not-muc 33700 unknown 95 muc 1086
10.28/10.33	c iter 1201 time 9.32158 not-muc 33700 unknown 94 muc 1087
10.28/10.33	c iter 1202 time 9.32658 not-muc 33700 unknown 93 muc 1088
10.28/10.33	c iter 1203 time 9.33258 not-muc 33700 unknown 92 muc 1089
10.28/10.33	c iter 1204 time 9.33658 not-muc 33700 unknown 91 muc 1090
10.28/10.33	c iter 1205 time 9.33858 not-muc 33700 unknown 90 muc 1091
10.28/10.33	c iter 1206 time 9.39557 not-muc 33701 unknown 89 muc 1091
10.28/10.33	c iter 1207 time 9.43956 not-muc 33702 unknown 88 muc 1091
10.28/10.33	c iter 1208 time 9.44256 not-muc 33702 unknown 87 muc 1092
10.28/10.33	c iter 1209 time 9.46556 not-muc 33703 unknown 86 muc 1092
10.28/10.33	c iter 1210 time 9.49156 not-muc 33704 unknown 85 muc 1092
10.28/10.33	c iter 1211 time 9.49556 not-muc 33704 unknown 84 muc 1093
10.28/10.33	c iter 1212 time 9.49756 not-muc 33704 unknown 83 muc 1094
10.28/10.33	c iter 1213 time 9.53155 not-muc 33705 unknown 82 muc 1094
10.28/10.33	c iter 1214 time 9.56255 not-muc 33706 unknown 81 muc 1094
10.28/10.33	c iter 1215 time 9.61354 not-muc 33707 unknown 80 muc 1094
10.28/10.33	c iter 1216 time 9.64553 not-muc 33708 unknown 79 muc 1094
10.28/10.33	c iter 1217 time 9.65053 not-muc 33708 unknown 78 muc 1095
10.28/10.33	c iter 1218 time 9.65153 not-muc 33708 unknown 77 muc 1096
10.28/10.33	c iter 1219 time 9.65353 not-muc 33708 unknown 76 muc 1097
10.28/10.33	c iter 1220 time 9.67653 not-muc 33709 unknown 75 muc 1097
10.28/10.33	c iter 1221 time 9.69553 not-muc 33710 unknown 74 muc 1097
10.28/10.33	c iter 1222 time 9.71452 not-muc 33712 unknown 72 muc 1097
10.28/10.33	c iter 1223 time 9.74652 not-muc 33713 unknown 71 muc 1097
10.28/10.33	c iter 1224 time 9.78151 not-muc 33715 unknown 69 muc 1097
10.28/10.33	c iter 1225 time 9.78451 not-muc 33715 unknown 68 muc 1098
10.28/10.33	c iter 1226 time 9.80251 not-muc 33716 unknown 67 muc 1098
10.28/10.33	c iter 1227 time 9.82051 not-muc 33717 unknown 66 muc 1098
10.28/10.33	c iter 1228 time 9.8615 not-muc 33718 unknown 65 muc 1098
10.28/10.33	c iter 1229 time 9.8815 not-muc 33719 unknown 64 muc 1098
10.28/10.33	c iter 1230 time 9.90149 not-muc 33720 unknown 63 muc 1098
10.28/10.33	c iter 1231 time 9.92049 not-muc 33721 unknown 62 muc 1098
10.28/10.33	c iter 1232 time 9.92449 not-muc 33721 unknown 61 muc 1099
10.28/10.33	c iter 1233 time 9.92449 not-muc 33721 unknown 60 muc 1100
10.28/10.33	c iter 1234 time 9.94849 not-muc 33722 unknown 59 muc 1100
10.28/10.33	c iter 1235 time 9.97548 not-muc 33723 unknown 58 muc 1100
10.28/10.33	c iter 1236 time 9.99448 not-muc 33724 unknown 57 muc 1100
10.28/10.33	c iter 1237 time 10.0105 not-muc 33725 unknown 56 muc 1100
10.28/10.33	c iter 1238 time 10.0195 not-muc 33726 unknown 55 muc 1100
10.28/10.33	c iter 1239 time 10.0325 not-muc 33727 unknown 54 muc 1100
10.28/10.33	c iter 1240 time 10.0395 not-muc 33728 unknown 53 muc 1100
10.28/10.33	c iter 1241 time 10.0535 not-muc 33729 unknown 52 muc 1100
10.28/10.33	c iter 1242 time 10.0625 not-muc 33730 unknown 51 muc 1100
10.28/10.33	c iter 1243 time 10.0645 not-muc 33730 unknown 50 muc 1101
10.28/10.33	c iter 1244 time 10.0755 not-muc 33731 unknown 49 muc 1101
10.28/10.33	c iter 1245 time 10.0845 not-muc 33732 unknown 48 muc 1101
10.28/10.33	c iter 1246 time 10.0965 not-muc 33735 unknown 45 muc 1101
10.28/10.33	c iter 1247 time 10.1095 not-muc 33738 unknown 42 muc 1101
10.28/10.33	c iter 1248 time 10.1185 not-muc 33739 unknown 41 muc 1101
10.28/10.33	c iter 1249 time 10.1275 not-muc 33742 unknown 38 muc 1101
10.28/10.33	c iter 1250 time 10.1365 not-muc 33745 unknown 35 muc 1101
10.28/10.34	c iter 1251 time 10.1455 not-muc 33746 unknown 34 muc 1101
10.28/10.34	c iter 1252 time 10.1505 not-muc 33747 unknown 33 muc 1101
10.28/10.34	c iter 1253 time 10.1585 not-muc 33748 unknown 32 muc 1101
10.28/10.34	c iter 1254 time 10.1605 not-muc 33748 unknown 31 muc 1102
10.28/10.34	c iter 1255 time 10.2124 not-muc 33750 unknown 29 muc 1102
10.28/10.34	c iter 1256 time 10.2194 not-muc 33751 unknown 28 muc 1102
10.28/10.34	c iter 1257 time 10.2304 not-muc 33752 unknown 27 muc 1102
10.28/10.34	c iter 1258 time 10.2364 not-muc 33753 unknown 26 muc 1102
10.28/10.34	c iter 1259 time 10.2424 not-muc 33754 unknown 25 muc 1102
10.28/10.34	c iter 1260 time 10.2504 not-muc 33755 unknown 24 muc 1102
10.28/10.34	c iter 1261 time 10.2554 not-muc 33756 unknown 23 muc 1102
10.28/10.34	c iter 1262 time 10.2604 not-muc 33757 unknown 22 muc 1102
10.28/10.34	c iter 1263 time 10.2644 not-muc 33758 unknown 21 muc 1102
10.28/10.34	c iter 1264 time 10.2694 not-muc 33759 unknown 20 muc 1102
10.28/10.34	c iter 1265 time 10.2754 not-muc 33760 unknown 19 muc 1102
10.28/10.34	c iter 1266 time 10.2774 not-muc 33760 unknown 18 muc 1103
10.28/10.34	c iter 1267 time 10.2824 not-muc 33761 unknown 17 muc 1103
10.28/10.34	c iter 1268 time 10.2894 not-muc 33762 unknown 16 muc 1103
10.38/10.43	c iter 1269 time 10.2944 not-muc 33763 unknown 15 muc 1103
10.38/10.43	c iter 1270 time 10.2964 not-muc 33763 unknown 14 muc 1104
10.38/10.43	c iter 1271 time 10.2994 not-muc 33763 unknown 13 muc 1105
10.38/10.43	c iter 1272 time 10.3014 not-muc 33763 unknown 12 muc 1106
10.38/10.43	c iter 1273 time 10.3044 not-muc 33763 unknown 11 muc 1107
10.38/10.43	c iter 1274 time 10.3064 not-muc 33763 unknown 10 muc 1108
10.38/10.43	c iter 1275 time 10.3094 not-muc 33763 unknown 9 muc 1109
10.38/10.43	c iter 1276 time 10.3114 not-muc 33763 unknown 8 muc 1110
10.38/10.43	c iter 1277 time 10.3144 not-muc 33763 unknown 7 muc 1111
10.38/10.43	c iter 1278 time 10.3164 not-muc 33763 unknown 6 muc 1112
10.38/10.43	c iter 1279 time 10.3184 not-muc 33763 unknown 5 muc 1113
10.38/10.43	c iter 1280 time 10.3214 not-muc 33763 unknown 4 muc 1114
10.38/10.43	c iter 1281 time 10.3234 not-muc 33763 unknown 3 muc 1115
10.38/10.43	c iter 1282 time 10.3264 not-muc 33763 unknown 2 muc 1116
10.38/10.43	c iter 1283 time 10.3784 not-muc 33764 unknown 1 muc 1116
10.38/10.43	c final iter 1284 time 10.3824 not-muc 33764 unknown 0 muc 1117
10.38/10.43	v 2 6 8 10 12 14 16 18 20 22 24 26 28 30 56 80 102 122 140 156 170 172 182 192 194 200 206 208 233 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1683 1684 1685 1686 1687 1688 1689 1690 1692 1693 1694 1695 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1734 1735 1736 1737 1738 1739 1740 1741 1742 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1774 1775 1776 1777 1778 1779 1780 1781 1783 1784 1785 1786 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2190 2191 2192 2193 2194 2195 2196 2197 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2229 2230 2231 2232 2234 2235 2236 2237 2238 2239 2241 2242 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2416 2417 2418 2419 2420 2421 2423 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2971 2973 2974 2975 2976 2977 2978 2979 2980 2986 2987 2988 2989 2990 2991 2992 2993 3011 3012 3013 3014 3015 3021 3022 3023 3024 3025 3026 3031 3032 3033 3034 3035 3040 3041 3042 3043 3048 3049 3050 3055 3056 3061 3127 3329 3412 3456 3522 3523 3524 3594 3675 3680 3681 3685 3698 3699 3700 3702 3703 3745 3761 3762 3781 3782 3783 3784 3804 3828 3842 3845 3909 3912 3916 3919 3948 3951 3954 3958 3961 3975 3994 3997 4000 4003 4004 4021 4022 4035 4038 4041 4042 4044 4045 4046 4050 4053 4054 4055 4057 4058 4059 4060 8791 8794 8797 8800 8803 8806 8809 8812 8815 8818 8824 8827 8830 8878 8881 8884 8887 8890 8920 8966 8967 8969 8970 8972 8973 8975 8976 8978 8979 8981 8982 8984 8985 8987 8988 8990 8991 8993 8994 8996 8997 8999 9000 9002 9003 9005 9006 9008 9009 9011 9012 9014 9015 9017 9018 9020 9021 9023 9024 9026 9027 9029 9030 9032 9033 9035 9036 9038 9039 9041 9042 9044 9045 9047 9048 9050 9051 9053 9054 9056 9059 9060 9062 9063 9065 9066 9068 9069 9071 9072 9074 9075 9077 9078 9080 9081 9083 9084 9086 9087 9089 9090 9092 9093 9095 9096 9098 9099 9101 9102 9104 9105 9107 9108 9110 9111 9113 9114 9116 9117 9119 9120 9122 9123 9125 9126 9128 9129 9131 9132 9134 9135 9137 9138 9140 9141 9143 9144 9146 9147 9149 9150 9152 9153 9155 9156 9158 9159 9161 9162 9164 9165 9167 9168 9170 9171 9173 9174 9176 9177 9179 9180 9182 9183 9185 9186 9188 9189 9551 9552 9554 9555 9557 9558 9560 9561 9563 9564 9566 9567 9568 9569 9570 9572 9573 9575 9576 9578 9579 9581 9582 9584 9585 9587 9588 9590 9591 9593 9594 9596 9599 9602 9605 9608 9611 9614 9615 9617 9618 9620 9621 9623 9624 9626 9627 9629 9630 9632 9633 9635 9636 9638 9639 9686 9687 9689 9690 9692 9693 9695 9696 9698 9699 9701 9702 9704 9705 9707 9708 9710 9711 9713 9714 9716 9717 9719 9720 9722 9723 9725 9726 9728 9729 9732 9734 9735 9737 9738 9740 9741 9743 9744 9746 9747 9749 9750 9752 9753 9755 9756 9758 9759 9761 9762 9764 9765 9767 9768 9770 9771 9773 9774 10586 10587 10589 10590 10592 10593 10595 10596 10598 10599 10601 10602 10604 10605 10607 10608 10610 10611 10613 10614 10616 10617 10619 10620 10622 10623 10625 10626 10628 10629 10631 10632 10634 10635 10637 10638 10641 10644 10647 10650 10653 10656 10659 10662 10665 10668 10671 10673 10674 11491 11497 11536 11539 11542 11578 11584 11590 11593 11599 11605 11611 11614 11617 11620 11626 11632 11638 11644 11650 11656 11662 12001 12007 12010 12013 12016 12022 12253 12298 12301 12304 12307 12310 12313 12316 12319 12322 12325 12328 12331 12334 15192 15193 15194 15195 15196 15197 15198 15199 15200 15201 15203 15204 15205 15223 15224 15225 15226 15227 15237 15270 15286 15302 15318 15334 15468 15478 15494 15526 15542 15846 15862 16152 16154 16168 16169 16170 16183 16185 16187 16188 16190 16192 16194 16195 16196 16197 16200 16202 16204 16206 16208 16210 16212 16333 16335 16336 16337 16338 16340 16423 16439 16440 16441 16442 16443 16444 16445 16446 16447 16448 16449 16450 16451 0
10.38/10.43	s UNSATISFIABLE

Verifier Data 

OK	1117

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.03 3.80 2.76 5/184 15880
/proc/meminfo: memFree=21601208/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=23868 CPUtime=0 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 424 0 0 0 0 0 0 0 25 0 1 0 891960999 24440832 365 33554432000 4194304 4337479 140734882829680 18446744073709551615 210646807237 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 5967 365 218 35 0 2590 0

[startup+0.104929 s]
/proc/loadavg: 4.03 3.80 2.76 5/184 15880
/proc/meminfo: memFree=21601208/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=23684 CPUtime=0.09 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 1918 0 0 0 9 0 0 0 25 0 1 0 891960999 24252416 1478 33554432000 4194304 4337479 140734882829680 18446744073709551615 4303471 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 5921 1478 244 35 0 2544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23684

[startup+0.200922 s]
/proc/loadavg: 4.03 3.80 2.76 5/184 15880
/proc/meminfo: memFree=21601208/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=23684 CPUtime=0.19 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 1920 0 0 0 19 0 0 0 25 0 1 0 891960999 24252416 1480 33554432000 4194304 4337479 140734882829680 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 5921 1480 244 35 0 2544 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23684

[startup+0.300846 s]
/proc/loadavg: 4.03 3.80 2.76 5/184 15880
/proc/meminfo: memFree=21601208/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=23684 CPUtime=0.28 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 1927 0 0 0 28 0 0 0 25 0 1 0 891960999 24252416 1487 33554432000 4194304 4337479 140734882829680 18446744073709551615 4303471 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/15880/statm: 5921 1487 244 35 0 2544 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23684

[startup+0.700768 s]
/proc/loadavg: 4.03 3.80 2.76 5/184 15880
/proc/meminfo: memFree=21601208/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=27196 CPUtime=0.68 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 3684 0 0 0 68 0 0 0 25 0 1 0 891960999 27848704 3233 33554432000 4194304 4337479 140734882829680 18446744073709551615 4303340 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/15880/statm: 6799 3233 264 35 0 3422 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27196

[startup+1.50067 s]
/proc/loadavg: 4.10 3.82 2.77 5/185 15881
/proc/meminfo: memFree=21568240/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=32328 CPUtime=1.48 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 5119 0 0 0 147 1 0 0 25 0 1 0 891960999 33103872 4625 33554432000 4194304 4337479 140734882829680 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 8082 4625 265 35 0 4705 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32328

[startup+3.10042 s]
/proc/loadavg: 4.10 3.82 2.77 5/185 15881
/proc/meminfo: memFree=21554600/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=47560 CPUtime=3.08 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 8751 0 0 0 306 2 0 0 25 0 1 0 891960999 48701440 8212 33554432000 4194304 4337479 140734882829680 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 11890 8212 265 35 0 8513 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47560

[startup+6.30089 s]
/proc/loadavg: 4.18 3.84 2.78 5/185 15881
/proc/meminfo: memFree=21519608/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=63192 CPUtime=6.28 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 12544 0 0 0 625 3 0 0 25 0 1 0 891960999 64708608 12001 33554432000 4194304 4337479 140734882829680 18446744073709551615 4288711 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 15798 12001 265 35 0 12421 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63192

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

[startup+6.40087 s]
/proc/loadavg: 4.18 3.84 2.78 5/185 15881
/proc/meminfo: memFree=21519608/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=63528 CPUtime=6.38 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 12640 0 0 0 635 3 0 0 25 0 1 0 891960999 65052672 12097 33554432000 4194304 4337479 140734882829680 18446744073709551615 210646806443 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 15882 12098 265 35 0 12505 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 63528

[startup+8.00057 s]
/proc/loadavg: 4.18 3.84 2.78 5/185 15881
/proc/meminfo: memFree=21510688/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=67628 CPUtime=7.98 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 13249 0 0 0 795 3 0 0 25 0 1 0 891960999 69251072 12706 33554432000 4194304 4337479 140734882829680 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 16907 12706 265 35 0 13530 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 67628

[startup+9.60033 s]
/proc/loadavg: 4.18 3.84 2.78 5/185 15881
/proc/meminfo: memFree=21510192/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=67628 CPUtime=9.58 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 13386 0 0 0 955 3 0 0 25 0 1 0 891960999 69251072 12843 33554432000 4194304 4337479 140734882829680 18446744073709551615 4303471 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 16907 12843 266 35 0 13530 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 67628

[startup+10.0073 s]
/proc/loadavg: 4.18 3.84 2.78 5/185 15881
/proc/meminfo: memFree=21506108/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=67628 CPUtime=9.98 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 13436 0 0 0 995 3 0 0 25 0 1 0 891960999 69251072 12893 33554432000 4194304 4337479 140734882829680 18446744073709551615 4303143 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 16907 12893 266 35 0 13530 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (KiB) 67628

[startup+10.4012 s]
/proc/loadavg: 4.18 3.84 2.78 5/185 15881
/proc/meminfo: memFree=21506108/32951132 swapFree=67061148/67111528
[pid=15880] ppid=15878 vsize=67628 CPUtime=10.38 cores=4,6
/proc/15880/stat : 15880 (hmuc) R 15878 15880 831 0 -1 4202496 13474 0 0 0 1035 3 0 0 25 0 1 0 891960999 69251072 12931 33554432000 4194304 4337479 140734882829680 18446744073709551615 4280564 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/15880/statm: 16907 12931 266 35 0 13530 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 67628

Child status: 20
Real time (s): 10.4357
CPU time (s): 10.4254
CPU user time (s): 10.3824
CPU system time (s): 0.042993
CPU usage (%): 99.901
Max. virtual memory (cumulated for all children) (KiB): 67628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3824
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 30

runsolver used 0.021996 second user time and 0.042993 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-11 16:46:54
IDJOB=3494554
IDBENCH=83452
IDSOLVER=1985
FILE ID=node129/3494554-1307803614
RUNJOBID= node129-1307802853-15574
PBS_JOBID= 13551019
Free space on /tmp= 74056 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E03N15.cnf
COMMAND LINE= HOME/hmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494554-1307803614/watcher-3494554-1307803614 -o /tmp/evaluation-result-3494554-1307803614/solver-3494554-1307803614 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494554-1307803614.cnf

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

MD5SUM BENCH= 5e437ee939aa66499926385ad9d3b182
RANDOM SEED=1212899865

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      21601884 kB
Buffers:        424652 kB
Cached:        3199320 kB
SwapCached:      13132 kB
Active:        8532572 kB
Inactive:      2542724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      21601884 kB
SwapTotal:    67111528 kB
SwapFree:     67061148 kB
Dirty:            1588 kB
Writeback:           0 kB
AnonPages:     7448000 kB
Mapped:           9656 kB
Slab:           195424 kB
PageTables:      19900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  8159576 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74052 MiB
End job on node129 at 2011-06-11 16:47:04