Trace number 3494116

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Haifa-MUC-A 2011-04-07? (TO) 1800.09 1800.11

General information on the benchmark

Namemus/marques-silva/fpga-routing/
alu2_gr_rcs_w7.shuffled.cnf
MD5SUMd42b5e34cfb164a6f58db1ec2594faf2
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.3361
Satisfiable
(Un)Satisfiability was proved
Number of variables3570
Number of clauses73478
Sum of the clauses size149506
Maximum clause length7
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 272968
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5510

Solver Data 

26.09/26.14	c WARNING: for repeatability, setting FPU to use double precision
26.09/26.14	c iter 1 time 3.77143 not-muc 67972 unknown 5506 muc 0
26.09/26.14	c iter 2 time 4.63129 not-muc 68013 unknown 5465 muc 0
26.09/26.14	c iter 3 time 5.82111 not-muc 68088 unknown 5390 muc 0
26.09/26.14	c iter 4 time 6.79097 not-muc 68129 unknown 5349 muc 0
26.09/26.14	c iter 5 time 7.45887 not-muc 68146 unknown 5332 muc 0
26.09/26.14	c iter 6 time 7.71883 not-muc 68147 unknown 5331 muc 0
26.09/26.14	c iter 7 time 8.48071 not-muc 68225 unknown 5253 muc 0
26.09/26.14	c iter 8 time 9.1946 not-muc 68242 unknown 5236 muc 0
26.09/26.14	c iter 9 time 9.99548 not-muc 68274 unknown 5204 muc 0
26.09/26.14	c iter 10 time 10.2914 not-muc 68278 unknown 5200 muc 0
26.09/26.14	c iter 11 time 10.5404 not-muc 68280 unknown 5198 muc 0
26.09/26.14	c iter 12 time 10.7434 not-muc 68302 unknown 5176 muc 0
26.09/26.14	c iter 13 time 11.0883 not-muc 68303 unknown 5175 muc 0
26.09/26.14	c iter 14 time 11.7002 not-muc 68345 unknown 5133 muc 0
26.09/26.14	c iter 15 time 12.0242 not-muc 68359 unknown 5119 muc 0
26.09/26.14	c iter 16 time 13.04 not-muc 68398 unknown 5080 muc 0
26.09/26.14	c iter 17 time 13.426 not-muc 68401 unknown 5077 muc 0
26.09/26.14	c iter 18 time 13.8479 not-muc 68403 unknown 5075 muc 0
26.09/26.14	c iter 19 time 13.9669 not-muc 68404 unknown 5074 muc 0
26.09/26.14	c iter 20 time 14.1608 not-muc 68405 unknown 5073 muc 0
26.09/26.14	c iter 21 time 14.2958 not-muc 68406 unknown 5072 muc 0
26.09/26.14	c iter 22 time 14.9357 not-muc 68416 unknown 5062 muc 0
26.09/26.14	c iter 23 time 15.2447 not-muc 68420 unknown 5058 muc 0
26.09/26.14	c iter 24 time 15.6426 not-muc 68421 unknown 5057 muc 0
26.09/26.14	c iter 25 time 16.7105 not-muc 68448 unknown 5030 muc 0
26.09/26.14	c iter 26 time 16.9694 not-muc 68451 unknown 5027 muc 0
26.09/26.14	c iter 27 time 17.0254 not-muc 68454 unknown 5024 muc 0
26.09/26.14	c iter 28 time 17.2454 not-muc 68465 unknown 5013 muc 0
26.09/26.14	c iter 29 time 17.5293 not-muc 68469 unknown 5009 muc 0
26.09/26.14	c iter 30 time 18.2742 not-muc 68504 unknown 4974 muc 0
26.09/26.14	c iter 31 time 18.5422 not-muc 68505 unknown 4973 muc 0
26.09/26.14	c iter 32 time 18.6182 not-muc 68506 unknown 4972 muc 0
26.09/26.14	c iter 33 time 18.9471 not-muc 68511 unknown 4967 muc 0
26.09/26.14	c iter 34 time 19.415 not-muc 68517 unknown 4961 muc 0
26.09/26.14	c iter 35 time 19.512 not-muc 68518 unknown 4960 muc 0
26.09/26.14	c iter 36 time 19.579 not-muc 68519 unknown 4959 muc 0
26.09/26.14	c iter 37 time 19.668 not-muc 68531 unknown 4947 muc 0
26.09/26.14	c iter 38 time 20.0959 not-muc 68536 unknown 4942 muc 0
26.09/26.14	c iter 39 time 20.1579 not-muc 68537 unknown 4941 muc 0
26.09/26.14	c iter 40 time 20.4129 not-muc 68550 unknown 4928 muc 0
26.09/26.14	c iter 41 time 20.5199 not-muc 68554 unknown 4924 muc 0
26.09/26.14	c iter 42 time 20.9758 not-muc 68594 unknown 4884 muc 0
26.09/26.14	c iter 43 time 21.0248 not-muc 68607 unknown 4871 muc 0
26.09/26.14	c iter 44 time 21.0348 not-muc 68607 unknown 4870 muc 1
26.09/26.14	c iter 45 time 21.1518 not-muc 68613 unknown 4864 muc 1
26.09/26.14	c iter 46 time 21.3118 not-muc 68616 unknown 4861 muc 1
26.09/26.14	c iter 47 time 22.0426 not-muc 68624 unknown 4853 muc 1
26.09/26.14	c iter 48 time 22.2646 not-muc 68633 unknown 4844 muc 1
26.09/26.14	c iter 49 time 22.4706 not-muc 68634 unknown 4843 muc 1
26.09/26.14	c iter 50 time 22.6466 not-muc 68638 unknown 4839 muc 1
26.09/26.14	c iter 51 time 22.7275 not-muc 68638 unknown 4838 muc 2
26.09/26.14	c iter 52 time 23.0855 not-muc 68644 unknown 4832 muc 2
26.09/26.14	c iter 53 time 23.1775 not-muc 68645 unknown 4831 muc 2
26.09/26.14	c iter 54 time 23.2165 not-muc 68649 unknown 4827 muc 2
26.09/26.14	c iter 55 time 23.4294 not-muc 68650 unknown 4826 muc 2
26.09/26.14	c iter 56 time 23.5334 not-muc 68651 unknown 4825 muc 2
26.09/26.14	c iter 57 time 23.7304 not-muc 68653 unknown 4823 muc 2
26.09/26.14	c iter 58 time 23.8384 not-muc 68657 unknown 4819 muc 2
26.09/26.14	c iter 59 time 23.9894 not-muc 68661 unknown 4815 muc 2
26.09/26.14	c iter 60 time 24.2143 not-muc 68666 unknown 4810 muc 2
26.09/26.14	c iter 61 time 24.2613 not-muc 68667 unknown 4809 muc 2
26.09/26.14	c iter 62 time 24.8202 not-muc 68677 unknown 4799 muc 2
26.09/26.14	c iter 63 time 24.8842 not-muc 68679 unknown 4797 muc 2
26.09/26.14	c iter 64 time 25.0342 not-muc 68684 unknown 4792 muc 2
26.09/26.14	c iter 65 time 25.1462 not-muc 68686 unknown 4790 muc 2
26.09/26.14	c iter 66 time 25.1802 not-muc 68690 unknown 4786 muc 2
26.09/26.14	c iter 67 time 25.3281 not-muc 68692 unknown 4784 muc 2
26.09/26.14	c iter 68 time 25.3791 not-muc 68694 unknown 4782 muc 2
26.09/26.14	c iter 69 time 25.4781 not-muc 68696 unknown 4780 muc 2
26.09/26.14	c iter 70 time 25.5681 not-muc 68697 unknown 4779 muc 2
26.09/26.14	c iter 71 time 25.6141 not-muc 68702 unknown 4774 muc 2
26.09/26.14	c iter 72 time 25.8371 not-muc 68722 unknown 4754 muc 2
26.09/26.14	c iter 73 time 25.9311 not-muc 68724 unknown 4752 muc 2
42.59/42.68	c iter 74 time 26.09 not-muc 68726 unknown 4750 muc 2
42.59/42.68	c iter 75 time 26.18 not-muc 68734 unknown 4742 muc 2
42.59/42.68	c iter 76 time 26.238 not-muc 68735 unknown 4741 muc 2
42.59/42.68	c iter 77 time 26.39 not-muc 68742 unknown 4734 muc 2
42.59/42.68	c iter 78 time 26.6849 not-muc 68748 unknown 4728 muc 2
42.59/42.68	c iter 79 time 27.8608 not-muc 68771 unknown 4705 muc 2
42.59/42.68	c iter 80 time 28.2247 not-muc 68774 unknown 4702 muc 2
42.59/42.68	c iter 81 time 28.2637 not-muc 68775 unknown 4701 muc 2
42.59/42.68	c iter 82 time 28.4157 not-muc 68776 unknown 4700 muc 2
42.59/42.68	c iter 83 time 28.4937 not-muc 68777 unknown 4699 muc 2
42.59/42.68	c iter 84 time 28.5007 not-muc 68777 unknown 4698 muc 3
42.59/42.68	c iter 85 time 29.1206 not-muc 68787 unknown 4688 muc 3
42.59/42.68	c iter 86 time 29.4965 not-muc 68801 unknown 4674 muc 3
42.59/42.68	c iter 87 time 29.5445 not-muc 68802 unknown 4673 muc 3
42.59/42.68	c iter 88 time 29.6165 not-muc 68803 unknown 4672 muc 3
42.59/42.68	c iter 89 time 29.6515 not-muc 68812 unknown 4663 muc 3
42.59/42.68	c iter 90 time 29.8005 not-muc 68813 unknown 4662 muc 3
42.59/42.68	c iter 91 time 29.8605 not-muc 68814 unknown 4661 muc 3
42.59/42.68	c iter 92 time 29.8885 not-muc 68815 unknown 4660 muc 3
42.59/42.68	c iter 93 time 30.2044 not-muc 68817 unknown 4658 muc 3
42.59/42.68	c iter 94 time 30.4334 not-muc 68818 unknown 4657 muc 3
42.59/42.68	c iter 95 time 30.4684 not-muc 68819 unknown 4656 muc 3
42.59/42.68	c iter 96 time 30.5494 not-muc 68820 unknown 4655 muc 3
42.59/42.68	c iter 97 time 30.6793 not-muc 68822 unknown 4653 muc 3
42.59/42.68	c iter 98 time 30.7053 not-muc 68839 unknown 4636 muc 3
42.59/42.68	c iter 99 time 30.8573 not-muc 68840 unknown 4635 muc 3
42.59/42.68	c iter 100 time 30.8963 not-muc 68841 unknown 4634 muc 3
42.59/42.68	c iter 101 time 30.9483 not-muc 68847 unknown 4628 muc 3
42.59/42.68	c iter 102 time 30.9753 not-muc 68849 unknown 4626 muc 3
42.59/42.68	c iter 103 time 31.0543 not-muc 68850 unknown 4625 muc 3
42.59/42.68	c iter 104 time 31.1943 not-muc 68864 unknown 4611 muc 3
42.59/42.68	c iter 105 time 31.5182 not-muc 68866 unknown 4609 muc 3
42.59/42.68	c iter 106 time 31.7632 not-muc 68867 unknown 4608 muc 3
42.59/42.68	c iter 107 time 31.9031 not-muc 68868 unknown 4607 muc 3
42.59/42.68	c iter 108 time 31.9781 not-muc 68868 unknown 4606 muc 4
42.59/42.68	c iter 109 time 32.1201 not-muc 68869 unknown 4605 muc 4
42.59/42.68	c iter 110 time 32.2491 not-muc 68871 unknown 4603 muc 4
42.59/42.68	c iter 111 time 32.3701 not-muc 68873 unknown 4601 muc 4
42.59/42.68	c iter 112 time 32.4971 not-muc 68874 unknown 4600 muc 4
42.59/42.68	c iter 113 time 32.606 not-muc 68875 unknown 4599 muc 4
42.59/42.68	c iter 114 time 32.645 not-muc 68885 unknown 4589 muc 4
42.59/42.68	c iter 115 time 33.096 not-muc 68896 unknown 4578 muc 4
42.59/42.68	c iter 116 time 33.3319 not-muc 68915 unknown 4559 muc 4
42.59/42.68	c iter 117 time 33.4809 not-muc 68920 unknown 4554 muc 4
42.59/42.68	c iter 118 time 33.5729 not-muc 68921 unknown 4553 muc 4
42.59/42.68	c iter 119 time 33.7319 not-muc 68922 unknown 4552 muc 4
42.59/42.68	c iter 120 time 34.0678 not-muc 68925 unknown 4549 muc 4
42.59/42.68	c iter 121 time 34.0738 not-muc 68925 unknown 4548 muc 5
42.59/42.68	c iter 122 time 34.1568 not-muc 68926 unknown 4547 muc 5
42.59/42.68	c iter 123 time 34.1918 not-muc 68927 unknown 4546 muc 5
42.59/42.68	c iter 124 time 34.2138 not-muc 68936 unknown 4537 muc 5
42.59/42.68	c iter 125 time 34.3048 not-muc 68937 unknown 4536 muc 5
42.59/42.68	c iter 126 time 34.3768 not-muc 68939 unknown 4534 muc 5
42.59/42.68	c iter 127 time 34.5258 not-muc 68940 unknown 4533 muc 5
42.59/42.68	c iter 128 time 34.8547 not-muc 68942 unknown 4531 muc 5
42.59/42.68	c iter 129 time 35.0667 not-muc 68944 unknown 4529 muc 5
42.59/42.68	c iter 130 time 35.5806 not-muc 68968 unknown 4505 muc 5
42.59/42.68	c iter 131 time 35.7076 not-muc 68974 unknown 4499 muc 5
42.59/42.68	c iter 132 time 36.1195 not-muc 68979 unknown 4494 muc 5
42.59/42.68	c iter 133 time 36.2685 not-muc 68981 unknown 4492 muc 5
42.59/42.68	c iter 134 time 37.9902 not-muc 69015 unknown 4458 muc 5
42.59/42.68	c iter 135 time 38.4232 not-muc 69018 unknown 4455 muc 5
42.59/42.68	c iter 136 time 38.6741 not-muc 69019 unknown 4454 muc 5
42.59/42.68	c iter 137 time 38.9191 not-muc 69020 unknown 4453 muc 5
42.59/42.68	c iter 138 time 39.0591 not-muc 69023 unknown 4450 muc 5
42.59/42.68	c iter 139 time 39.219 not-muc 69024 unknown 4449 muc 5
42.59/42.68	c iter 140 time 40.2979 not-muc 69045 unknown 4428 muc 5
42.59/42.68	c iter 141 time 40.8938 not-muc 69051 unknown 4422 muc 5
42.59/42.68	c iter 142 time 41.4157 not-muc 69056 unknown 4417 muc 5
42.59/42.68	c iter 143 time 41.6677 not-muc 69057 unknown 4416 muc 5
42.59/42.68	c iter 144 time 41.7397 not-muc 69058 unknown 4415 muc 5
42.59/42.68	c iter 145 time 42.3416 not-muc 69072 unknown 4401 muc 5
79.48/79.52	c iter 146 time 43.4964 not-muc 69098 unknown 4375 muc 5
79.48/79.52	c iter 147 time 44.0113 not-muc 69101 unknown 4372 muc 5
79.48/79.52	c iter 148 time 44.4362 not-muc 69103 unknown 4370 muc 5
79.48/79.52	c iter 149 time 44.8332 not-muc 69112 unknown 4361 muc 5
79.48/79.52	c iter 150 time 45.0731 not-muc 69114 unknown 4359 muc 5
79.48/79.52	c iter 151 time 45.3251 not-muc 69115 unknown 4358 muc 5
79.48/79.52	c iter 152 time 45.5321 not-muc 69117 unknown 4356 muc 5
79.48/79.52	c iter 153 time 45.5501 not-muc 69118 unknown 4355 muc 5
79.48/79.52	c iter 154 time 46.188 not-muc 69126 unknown 4347 muc 5
79.48/79.52	c iter 155 time 46.303 not-muc 69127 unknown 4346 muc 5
79.48/79.52	c iter 156 time 46.314 not-muc 69127 unknown 4345 muc 6
79.48/79.52	c iter 157 time 46.344 not-muc 69128 unknown 4344 muc 6
79.48/79.52	c iter 158 time 46.4379 not-muc 69129 unknown 4343 muc 6
79.48/79.52	c iter 159 time 48.4306 not-muc 69177 unknown 4295 muc 6
79.48/79.52	c iter 160 time 49.3895 not-muc 69181 unknown 4291 muc 6
79.48/79.52	c iter 161 time 49.7034 not-muc 69181 unknown 4290 muc 7
79.48/79.52	c iter 162 time 50.2974 not-muc 69184 unknown 4287 muc 7
79.48/79.52	c iter 163 time 50.4463 not-muc 69185 unknown 4286 muc 7
79.48/79.52	c iter 164 time 50.9363 not-muc 69186 unknown 4285 muc 7
79.48/79.52	c iter 165 time 51.2322 not-muc 69189 unknown 4282 muc 7
79.48/79.52	c iter 166 time 51.2982 not-muc 69197 unknown 4274 muc 7
79.48/79.52	c iter 167 time 51.3992 not-muc 69207 unknown 4264 muc 7
79.48/79.52	c iter 168 time 52.308 not-muc 69210 unknown 4261 muc 7
79.48/79.52	c iter 169 time 52.662 not-muc 69223 unknown 4248 muc 7
79.48/79.52	c iter 170 time 53.1739 not-muc 69227 unknown 4244 muc 7
79.48/79.52	c iter 171 time 53.3589 not-muc 69231 unknown 4240 muc 7
79.48/79.52	c iter 172 time 53.5549 not-muc 69232 unknown 4239 muc 7
79.48/79.52	c iter 173 time 53.6458 not-muc 69233 unknown 4238 muc 7
79.48/79.52	c iter 174 time 54.2468 not-muc 69236 unknown 4235 muc 7
79.48/79.52	c iter 175 time 54.2528 not-muc 69236 unknown 4234 muc 8
79.48/79.52	c iter 176 time 54.6547 not-muc 69248 unknown 4222 muc 8
79.48/79.52	c iter 177 time 56.8304 not-muc 69372 unknown 4098 muc 8
79.48/79.52	c iter 178 time 56.9613 not-muc 69372 unknown 4097 muc 9
79.48/79.52	c iter 179 time 58.1632 not-muc 69376 unknown 4093 muc 9
79.48/79.52	c iter 180 time 58.7801 not-muc 69377 unknown 4092 muc 9
79.48/79.52	c iter 181 time 59.5749 not-muc 69385 unknown 4084 muc 9
79.48/79.52	c iter 182 time 59.8349 not-muc 69393 unknown 4076 muc 9
79.48/79.52	c iter 183 time 60.4678 not-muc 69395 unknown 4074 muc 9
79.48/79.52	c iter 184 time 61.2797 not-muc 69397 unknown 4072 muc 9
79.48/79.52	c iter 185 time 61.5716 not-muc 69398 unknown 4071 muc 9
79.48/79.52	c iter 186 time 61.8926 not-muc 69399 unknown 4070 muc 9
79.48/79.52	c iter 187 time 62.1466 not-muc 69409 unknown 4060 muc 9
79.48/79.52	c iter 188 time 62.3765 not-muc 69411 unknown 4058 muc 9
79.48/79.52	c iter 189 time 62.5215 not-muc 69417 unknown 4052 muc 9
79.48/79.52	c iter 190 time 62.7335 not-muc 69423 unknown 4046 muc 9
79.48/79.52	c iter 191 time 62.8105 not-muc 69424 unknown 4045 muc 9
79.48/79.52	c iter 192 time 63.0364 not-muc 69428 unknown 4041 muc 9
79.48/79.52	c iter 193 time 63.1884 not-muc 69430 unknown 4039 muc 9
79.48/79.52	c iter 194 time 63.2034 not-muc 69430 unknown 4038 muc 10
79.48/79.52	c iter 195 time 63.5813 not-muc 69431 unknown 4037 muc 10
79.48/79.52	c iter 196 time 63.7013 not-muc 69435 unknown 4033 muc 10
79.48/79.52	c iter 197 time 64.1243 not-muc 69436 unknown 4032 muc 10
79.48/79.52	c iter 198 time 64.3442 not-muc 69438 unknown 4030 muc 10
79.48/79.52	c iter 199 time 64.4872 not-muc 69439 unknown 4029 muc 10
79.48/79.52	c iter 200 time 65.4211 not-muc 69443 unknown 4025 muc 10
79.48/79.52	c iter 201 time 65.83 not-muc 69445 unknown 4023 muc 10
79.48/79.52	c iter 202 time 66.1549 not-muc 69452 unknown 4016 muc 10
79.48/79.52	c iter 203 time 66.6389 not-muc 69461 unknown 4007 muc 10
79.48/79.52	c iter 204 time 66.7369 not-muc 69463 unknown 4005 muc 10
79.48/79.52	c iter 205 time 68.7935 not-muc 69501 unknown 3967 muc 10
79.48/79.52	c iter 206 time 68.8305 not-muc 69502 unknown 3966 muc 10
79.48/79.52	c iter 207 time 69.4424 not-muc 69502 unknown 3965 muc 11
79.48/79.52	c iter 208 time 70.1973 not-muc 69503 unknown 3964 muc 11
79.48/79.52	c iter 209 time 70.6023 not-muc 69504 unknown 3963 muc 11
79.48/79.52	c iter 210 time 70.9312 not-muc 69508 unknown 3959 muc 11
79.48/79.52	c iter 211 time 71.0762 not-muc 69509 unknown 3958 muc 11
79.48/79.52	c iter 212 time 71.4321 not-muc 69510 unknown 3957 muc 11
79.48/79.52	c iter 213 time 72.8579 not-muc 69537 unknown 3930 muc 11
79.48/79.52	c iter 214 time 73.4078 not-muc 69539 unknown 3928 muc 11
79.48/79.52	c iter 215 time 74.3307 not-muc 69543 unknown 3924 muc 11
79.48/79.52	c iter 216 time 77.7212 not-muc 69895 unknown 3572 muc 11
79.48/79.52	c iter 217 time 78.956 not-muc 69904 unknown 3563 muc 11
135.09/135.19	c iter 218 time 79.4869 not-muc 69906 unknown 3561 muc 11
135.09/135.19	c iter 219 time 80.4308 not-muc 69906 unknown 3560 muc 12
135.09/135.19	c iter 220 time 80.7227 not-muc 69907 unknown 3559 muc 12
135.09/135.19	c iter 221 time 81.4276 not-muc 69924 unknown 3542 muc 12
135.09/135.19	c iter 222 time 81.4576 not-muc 69936 unknown 3530 muc 12
135.09/135.19	c iter 223 time 81.9645 not-muc 69947 unknown 3519 muc 12
135.09/135.19	c iter 224 time 82.7774 not-muc 69950 unknown 3516 muc 12
135.09/135.19	c iter 225 time 83.5643 not-muc 69953 unknown 3513 muc 12
135.09/135.19	c iter 226 time 84.7931 not-muc 69972 unknown 3494 muc 12
135.09/135.19	c iter 227 time 85.194 not-muc 69973 unknown 3493 muc 12
135.09/135.19	c iter 228 time 88.3226 not-muc 70041 unknown 3425 muc 12
135.09/135.19	c iter 229 time 88.5845 not-muc 70041 unknown 3424 muc 13
135.09/135.19	c iter 230 time 90.0893 not-muc 70046 unknown 3419 muc 13
135.09/135.19	c iter 231 time 90.8772 not-muc 70047 unknown 3418 muc 13
135.09/135.19	c iter 232 time 91.5951 not-muc 70048 unknown 3417 muc 13
135.09/135.19	c iter 233 time 91.7551 not-muc 70054 unknown 3411 muc 13
135.09/135.19	c iter 234 time 91.843 not-muc 70060 unknown 3405 muc 13
135.09/135.19	c iter 235 time 91.891 not-muc 70060 unknown 3404 muc 14
135.09/135.19	c iter 236 time 92.111 not-muc 70061 unknown 3403 muc 14
135.09/135.19	c iter 237 time 92.5899 not-muc 70074 unknown 3390 muc 14
135.09/135.19	c iter 238 time 92.9409 not-muc 70076 unknown 3388 muc 14
135.09/135.19	c iter 239 time 93.4138 not-muc 70077 unknown 3387 muc 14
135.09/135.19	c iter 240 time 93.7447 not-muc 70086 unknown 3378 muc 14
135.09/135.19	c iter 241 time 94.3547 not-muc 70089 unknown 3375 muc 14
135.09/135.19	c iter 242 time 94.3587 not-muc 70089 unknown 3374 muc 15
135.09/135.19	c iter 243 time 94.9766 not-muc 70091 unknown 3372 muc 15
135.09/135.19	c iter 244 time 97.6112 not-muc 70249 unknown 3214 muc 15
135.09/135.19	c iter 245 time 99.4779 not-muc 70255 unknown 3208 muc 15
135.09/135.19	c iter 246 time 100.583 not-muc 70257 unknown 3206 muc 15
135.09/135.19	c iter 247 time 100.953 not-muc 70261 unknown 3202 muc 15
135.09/135.19	c iter 248 time 101.675 not-muc 70262 unknown 3201 muc 15
135.09/135.19	c iter 249 time 101.98 not-muc 70285 unknown 3178 muc 15
135.09/135.19	c iter 250 time 102.853 not-muc 70286 unknown 3177 muc 15
135.09/135.19	c iter 251 time 106.271 not-muc 70369 unknown 3094 muc 15
135.09/135.19	c iter 252 time 107.5 not-muc 70411 unknown 3052 muc 15
135.09/135.19	c iter 253 time 107.567 not-muc 70411 unknown 3051 muc 16
135.09/135.19	c iter 254 time 108.869 not-muc 70443 unknown 3019 muc 16
135.09/135.19	c iter 255 time 110.049 not-muc 70445 unknown 3017 muc 16
135.09/135.19	c iter 256 time 110.711 not-muc 70446 unknown 3016 muc 16
135.09/135.19	c iter 257 time 111.095 not-muc 70448 unknown 3014 muc 16
135.09/135.19	c iter 258 time 111.585 not-muc 70449 unknown 3013 muc 16
135.09/135.19	c iter 259 time 112.719 not-muc 70450 unknown 3012 muc 16
135.09/135.19	c iter 260 time 113.463 not-muc 70451 unknown 3011 muc 16
135.09/135.19	c iter 261 time 114.51 not-muc 70453 unknown 3009 muc 16
135.09/135.19	c iter 262 time 114.605 not-muc 70453 unknown 3008 muc 17
135.09/135.19	c iter 263 time 114.621 not-muc 70453 unknown 3007 muc 18
135.09/135.19	c iter 264 time 115.204 not-muc 70456 unknown 3004 muc 18
135.09/135.19	c iter 265 time 115.657 not-muc 70456 unknown 3003 muc 19
135.09/135.19	c iter 266 time 115.823 not-muc 70484 unknown 2975 muc 19
135.09/135.19	c iter 267 time 116.085 not-muc 70485 unknown 2974 muc 19
135.09/135.19	c iter 268 time 116.546 not-muc 70485 unknown 2973 muc 20
135.09/135.19	c iter 269 time 119.717 not-muc 70519 unknown 2939 muc 20
135.09/135.19	c iter 270 time 121.218 not-muc 70520 unknown 2938 muc 20
135.09/135.19	c iter 271 time 122.68 not-muc 70521 unknown 2937 muc 20
135.09/135.19	c iter 272 time 124.675 not-muc 70525 unknown 2933 muc 20
135.09/135.19	c iter 273 time 124.689 not-muc 70525 unknown 2932 muc 21
135.09/135.19	c iter 274 time 125.463 not-muc 70526 unknown 2931 muc 21
135.09/135.19	c iter 275 time 125.815 not-muc 70527 unknown 2930 muc 21
135.09/135.19	c iter 276 time 128.165 not-muc 70531 unknown 2926 muc 21
135.09/135.19	c iter 277 time 129.355 not-muc 70534 unknown 2923 muc 21
135.09/135.19	c iter 278 time 130.544 not-muc 70535 unknown 2922 muc 21
135.09/135.19	c iter 279 time 131.547 not-muc 70536 unknown 2921 muc 21
135.09/135.19	c iter 280 time 131.6 not-muc 70536 unknown 2920 muc 22
135.09/135.19	c iter 281 time 132.253 not-muc 70537 unknown 2919 muc 22
135.09/135.19	c iter 282 time 132.259 not-muc 70537 unknown 2918 muc 23
135.09/135.19	c iter 283 time 132.688 not-muc 70538 unknown 2917 muc 23
135.09/135.19	c iter 284 time 132.915 not-muc 70539 unknown 2916 muc 23
135.09/135.19	c iter 285 time 133.431 not-muc 70540 unknown 2915 muc 23
135.09/135.19	c iter 286 time 133.44 not-muc 70540 unknown 2914 muc 24
135.09/135.19	c iter 287 time 133.907 not-muc 70541 unknown 2913 muc 24
135.09/135.19	c iter 288 time 134.246 not-muc 70543 unknown 2911 muc 24
211.19/211.25	c iter 289 time 137.22 not-muc 70549 unknown 2905 muc 24
211.19/211.25	c iter 290 time 139.539 not-muc 70551 unknown 2903 muc 24
211.19/211.25	c iter 291 time 139.549 not-muc 70551 unknown 2902 muc 25
211.19/211.25	c iter 292 time 140.544 not-muc 70552 unknown 2901 muc 25
211.19/211.25	c iter 293 time 141.5 not-muc 70553 unknown 2900 muc 25
211.19/211.25	c iter 294 time 142.729 not-muc 70555 unknown 2898 muc 25
211.19/211.25	c iter 295 time 143.687 not-muc 70557 unknown 2896 muc 25
211.19/211.25	c iter 296 time 146.902 not-muc 70564 unknown 2889 muc 25
211.19/211.25	c iter 297 time 148.782 not-muc 70565 unknown 2888 muc 25
211.19/211.25	c iter 298 time 149.824 not-muc 70566 unknown 2887 muc 25
211.19/211.25	c iter 299 time 149.889 not-muc 70574 unknown 2879 muc 25
211.19/211.25	c iter 300 time 149.894 not-muc 70574 unknown 2878 muc 26
211.19/211.25	c iter 301 time 150.849 not-muc 70575 unknown 2877 muc 26
211.19/211.25	c iter 302 time 151.082 not-muc 70576 unknown 2876 muc 26
211.19/211.25	c iter 303 time 151.17 not-muc 70576 unknown 2875 muc 27
211.19/211.25	c iter 304 time 152.316 not-muc 70577 unknown 2874 muc 27
211.19/211.25	c iter 305 time 155.169 not-muc 70584 unknown 2867 muc 27
211.19/211.25	c iter 306 time 156.866 not-muc 70615 unknown 2836 muc 27
211.19/211.25	c iter 307 time 157.985 not-muc 70616 unknown 2835 muc 27
211.19/211.25	c iter 308 time 158.368 not-muc 70617 unknown 2834 muc 27
211.19/211.25	c iter 309 time 158.952 not-muc 70618 unknown 2833 muc 27
211.19/211.25	c iter 310 time 159.014 not-muc 70618 unknown 2832 muc 28
211.19/211.25	c iter 311 time 159.897 not-muc 70619 unknown 2831 muc 28
211.19/211.25	c iter 312 time 160.74 not-muc 70620 unknown 2830 muc 28
211.19/211.25	c iter 313 time 163.472 not-muc 70630 unknown 2820 muc 28
211.19/211.25	c iter 314 time 164.226 not-muc 70630 unknown 2819 muc 29
211.19/211.25	c iter 315 time 165.606 not-muc 70631 unknown 2818 muc 29
211.19/211.25	c iter 316 time 166.213 not-muc 70632 unknown 2817 muc 29
211.19/211.25	c iter 317 time 166.973 not-muc 70634 unknown 2815 muc 29
211.19/211.25	c iter 318 time 168.507 not-muc 70636 unknown 2813 muc 29
211.19/211.25	c iter 319 time 169.11 not-muc 70637 unknown 2812 muc 29
211.19/211.25	c iter 320 time 171.9 not-muc 70639 unknown 2810 muc 29
211.19/211.25	c iter 321 time 173.25 not-muc 70641 unknown 2808 muc 29
211.19/211.25	c iter 322 time 174.8 not-muc 70642 unknown 2807 muc 29
211.19/211.25	c iter 323 time 175.627 not-muc 70643 unknown 2806 muc 29
211.19/211.25	c iter 324 time 175.631 not-muc 70643 unknown 2805 muc 30
211.19/211.25	c iter 325 time 176.216 not-muc 70644 unknown 2804 muc 30
211.19/211.25	c iter 326 time 176.877 not-muc 70645 unknown 2803 muc 30
211.19/211.25	c iter 327 time 179.81 not-muc 70650 unknown 2798 muc 30
211.19/211.25	c iter 328 time 181.058 not-muc 70652 unknown 2796 muc 30
211.19/211.25	c iter 329 time 182.213 not-muc 70654 unknown 2794 muc 30
211.19/211.25	c iter 330 time 182.761 not-muc 70655 unknown 2793 muc 30
211.19/211.25	c iter 331 time 183.233 not-muc 70656 unknown 2792 muc 30
211.19/211.25	c iter 332 time 183.881 not-muc 70658 unknown 2790 muc 30
211.19/211.25	c iter 333 time 184.488 not-muc 70659 unknown 2789 muc 30
211.19/211.25	c iter 334 time 185.307 not-muc 70660 unknown 2788 muc 30
211.19/211.25	c iter 335 time 187.605 not-muc 70668 unknown 2780 muc 30
211.19/211.25	c iter 336 time 188.939 not-muc 70671 unknown 2777 muc 30
211.19/211.25	c iter 337 time 190.072 not-muc 70673 unknown 2775 muc 30
211.19/211.25	c iter 338 time 190.372 not-muc 70675 unknown 2773 muc 30
211.19/211.25	c iter 339 time 190.833 not-muc 70676 unknown 2772 muc 30
211.19/211.25	c iter 340 time 190.947 not-muc 70676 unknown 2771 muc 31
211.19/211.25	c iter 341 time 191.149 not-muc 70676 unknown 2770 muc 32
211.19/211.25	c iter 342 time 191.517 not-muc 70677 unknown 2769 muc 32
211.19/211.25	c iter 343 time 192.24 not-muc 70679 unknown 2767 muc 32
211.19/211.25	c iter 344 time 192.645 not-muc 70679 unknown 2766 muc 33
211.19/211.25	c iter 345 time 192.749 not-muc 70679 unknown 2765 muc 34
211.19/211.25	c iter 346 time 193.251 not-muc 70680 unknown 2764 muc 34
211.19/211.25	c iter 347 time 193.27 not-muc 70680 unknown 2763 muc 35
211.19/211.25	c iter 348 time 193.537 not-muc 70681 unknown 2762 muc 35
211.19/211.25	c iter 349 time 197.531 not-muc 70684 unknown 2759 muc 35
211.19/211.25	c iter 350 time 199.147 not-muc 70685 unknown 2758 muc 35
211.19/211.25	c iter 351 time 199.74 not-muc 70686 unknown 2757 muc 35
211.19/211.25	c iter 352 time 200.508 not-muc 70686 unknown 2756 muc 36
211.19/211.25	c iter 353 time 200.633 not-muc 70686 unknown 2755 muc 37
211.19/211.25	c iter 354 time 201.617 not-muc 70687 unknown 2754 muc 37
211.19/211.25	c iter 355 time 205.804 not-muc 70694 unknown 2747 muc 37
211.19/211.25	c iter 356 time 207.158 not-muc 70695 unknown 2746 muc 37
211.19/211.25	c iter 357 time 207.594 not-muc 70697 unknown 2744 muc 37
211.19/211.25	c iter 358 time 208.875 not-muc 70698 unknown 2743 muc 37
211.19/211.25	c iter 359 time 209.814 not-muc 70701 unknown 2740 muc 37
297.78/297.85	c iter 360 time 210.589 not-muc 70702 unknown 2739 muc 37
297.78/297.85	c iter 361 time 210.96 not-muc 70703 unknown 2738 muc 37
297.78/297.85	c iter 362 time 215.241 not-muc 70704 unknown 2737 muc 37
297.78/297.85	c iter 363 time 215.385 not-muc 70704 unknown 2736 muc 38
297.78/297.85	c iter 364 time 215.396 not-muc 70704 unknown 2735 muc 39
297.78/297.85	c iter 365 time 215.403 not-muc 70704 unknown 2734 muc 40
297.78/297.85	c iter 366 time 217.557 not-muc 70707 unknown 2731 muc 40
297.78/297.85	c iter 367 time 219.069 not-muc 70709 unknown 2729 muc 40
297.78/297.85	c iter 368 time 219.91 not-muc 70710 unknown 2728 muc 40
297.78/297.85	c iter 369 time 222.988 not-muc 70710 unknown 2727 muc 41
297.78/297.85	c iter 370 time 225.18 not-muc 70714 unknown 2723 muc 41
297.78/297.85	c iter 371 time 225.271 not-muc 70714 unknown 2722 muc 42
297.78/297.85	c iter 372 time 226.302 not-muc 70716 unknown 2720 muc 42
297.78/297.85	c iter 373 time 227.42 not-muc 70717 unknown 2719 muc 42
297.78/297.85	c iter 374 time 228.764 not-muc 70718 unknown 2718 muc 42
297.78/297.85	c iter 375 time 229.517 not-muc 70719 unknown 2717 muc 42
297.78/297.85	c iter 376 time 232.594 not-muc 70722 unknown 2714 muc 42
297.78/297.85	c iter 377 time 234.461 not-muc 70724 unknown 2712 muc 42
297.78/297.85	c iter 378 time 236.778 not-muc 70726 unknown 2710 muc 42
297.78/297.85	c iter 379 time 240.357 not-muc 70730 unknown 2706 muc 42
297.78/297.85	c iter 380 time 240.623 not-muc 70730 unknown 2705 muc 43
297.78/297.85	c iter 381 time 240.686 not-muc 70730 unknown 2704 muc 44
297.78/297.85	c iter 382 time 242.248 not-muc 70731 unknown 2703 muc 44
297.78/297.85	c iter 383 time 243.034 not-muc 70732 unknown 2702 muc 44
297.78/297.85	c iter 384 time 244.715 not-muc 70733 unknown 2701 muc 44
297.78/297.85	c iter 385 time 247.854 not-muc 70738 unknown 2696 muc 44
297.78/297.85	c iter 386 time 249.342 not-muc 70739 unknown 2695 muc 44
297.78/297.85	c iter 387 time 250.432 not-muc 70740 unknown 2694 muc 44
297.78/297.85	c iter 388 time 250.898 not-muc 70741 unknown 2693 muc 44
297.78/297.85	c iter 389 time 250.911 not-muc 70741 unknown 2692 muc 45
297.78/297.85	c iter 390 time 251.914 not-muc 70742 unknown 2691 muc 45
297.78/297.85	c iter 391 time 253 not-muc 70743 unknown 2690 muc 45
297.78/297.85	c iter 392 time 256.118 not-muc 70748 unknown 2685 muc 45
297.78/297.85	c iter 393 time 256.182 not-muc 70748 unknown 2684 muc 46
297.78/297.85	c iter 394 time 258.03 not-muc 70749 unknown 2683 muc 46
297.78/297.85	c iter 395 time 258.962 not-muc 70750 unknown 2682 muc 46
297.78/297.85	c iter 396 time 259.489 not-muc 70751 unknown 2681 muc 46
297.78/297.85	c iter 397 time 260.51 not-muc 70752 unknown 2680 muc 46
297.78/297.85	c iter 398 time 264.152 not-muc 70754 unknown 2678 muc 46
297.78/297.85	c iter 399 time 265.816 not-muc 70755 unknown 2677 muc 46
297.78/297.85	c iter 400 time 266.946 not-muc 70756 unknown 2676 muc 46
297.78/297.85	c iter 401 time 267.786 not-muc 70757 unknown 2675 muc 46
297.78/297.85	c iter 402 time 267.893 not-muc 70758 unknown 2674 muc 46
297.78/297.85	c iter 403 time 268.308 not-muc 70759 unknown 2673 muc 46
297.78/297.85	c iter 404 time 269.04 not-muc 70760 unknown 2672 muc 46
297.78/297.85	c iter 405 time 269.479 not-muc 70760 unknown 2671 muc 47
297.78/297.85	c iter 406 time 272.052 not-muc 70761 unknown 2670 muc 47
297.78/297.85	c iter 407 time 273.582 not-muc 70763 unknown 2668 muc 47
297.78/297.85	c iter 408 time 275.037 not-muc 70764 unknown 2667 muc 47
297.78/297.85	c iter 409 time 275.995 not-muc 70765 unknown 2666 muc 47
297.78/297.85	c iter 410 time 276.881 not-muc 70767 unknown 2664 muc 47
297.78/297.85	c iter 411 time 276.927 not-muc 70767 unknown 2663 muc 48
297.78/297.85	c iter 412 time 277.437 not-muc 70767 unknown 2662 muc 49
297.78/297.85	c iter 413 time 279.634 not-muc 70767 unknown 2661 muc 50
297.78/297.85	c iter 414 time 282.094 not-muc 70770 unknown 2658 muc 50
297.78/297.85	c iter 415 time 282.265 not-muc 70770 unknown 2657 muc 51
297.78/297.85	c iter 416 time 282.978 not-muc 70771 unknown 2656 muc 51
297.78/297.85	c iter 417 time 283.819 not-muc 70772 unknown 2655 muc 51
297.78/297.85	c iter 418 time 283.971 not-muc 70773 unknown 2654 muc 51
297.78/297.85	c iter 419 time 284.244 not-muc 70773 unknown 2653 muc 52
297.78/297.85	c iter 420 time 287.844 not-muc 70779 unknown 2647 muc 52
297.78/297.85	c iter 421 time 289.653 not-muc 70783 unknown 2643 muc 52
297.78/297.85	c iter 422 time 290.469 not-muc 70784 unknown 2642 muc 52
297.78/297.85	c iter 423 time 290.576 not-muc 70784 unknown 2641 muc 53
297.78/297.85	c iter 424 time 291.577 not-muc 70785 unknown 2640 muc 53
297.78/297.85	c iter 425 time 291.994 not-muc 70786 unknown 2639 muc 53
297.78/297.85	c iter 426 time 292.449 not-muc 70787 unknown 2638 muc 53
297.78/297.85	c iter 427 time 295.808 not-muc 70798 unknown 2627 muc 53
297.78/297.85	c iter 428 time 295.813 not-muc 70798 unknown 2626 muc 54
297.78/297.85	c iter 429 time 295.841 not-muc 70798 unknown 2625 muc 55
398.58/398.67	c iter 430 time 296.142 not-muc 70798 unknown 2624 muc 56
398.58/398.67	c iter 431 time 298.464 not-muc 70872 unknown 2550 muc 56
398.58/398.67	c iter 432 time 299.419 not-muc 70873 unknown 2549 muc 56
398.58/398.67	c iter 433 time 300.257 not-muc 70874 unknown 2548 muc 56
398.58/398.67	c iter 434 time 304.135 not-muc 70876 unknown 2546 muc 56
398.58/398.67	c iter 435 time 306.128 not-muc 70878 unknown 2544 muc 56
398.58/398.67	c iter 436 time 307.922 not-muc 70879 unknown 2543 muc 56
398.58/398.67	c iter 437 time 312.04 not-muc 70883 unknown 2539 muc 56
398.58/398.67	c iter 438 time 314.185 not-muc 70885 unknown 2537 muc 56
398.58/398.67	c iter 439 time 315.819 not-muc 70886 unknown 2536 muc 56
398.58/398.67	c iter 440 time 316.749 not-muc 70887 unknown 2535 muc 56
398.58/398.67	c iter 441 time 319.851 not-muc 70890 unknown 2532 muc 56
398.58/398.67	c iter 442 time 321.348 not-muc 70891 unknown 2531 muc 56
398.58/398.67	c iter 443 time 322.425 not-muc 70892 unknown 2530 muc 56
398.58/398.67	c iter 444 time 322.434 not-muc 70892 unknown 2529 muc 57
398.58/398.67	c iter 445 time 324.178 not-muc 70893 unknown 2528 muc 57
398.58/398.67	c iter 446 time 327.617 not-muc 70894 unknown 2527 muc 57
398.58/398.67	c iter 447 time 329.399 not-muc 70897 unknown 2524 muc 57
398.58/398.67	c iter 448 time 330.945 not-muc 70898 unknown 2523 muc 57
398.58/398.67	c iter 449 time 332.089 not-muc 70899 unknown 2522 muc 57
398.58/398.67	c iter 450 time 332.114 not-muc 70899 unknown 2521 muc 58
398.58/398.67	c iter 451 time 335.74 not-muc 70901 unknown 2519 muc 58
398.58/398.67	c iter 452 time 337.644 not-muc 70903 unknown 2517 muc 58
398.58/398.67	c iter 453 time 337.717 not-muc 70903 unknown 2516 muc 59
398.58/398.67	c iter 454 time 337.924 not-muc 70903 unknown 2515 muc 60
398.58/398.67	c iter 455 time 339.021 not-muc 70904 unknown 2514 muc 60
398.58/398.67	c iter 456 time 339.109 not-muc 70904 unknown 2513 muc 61
398.58/398.67	c iter 457 time 339.896 not-muc 70905 unknown 2512 muc 61
398.58/398.67	c iter 458 time 343.638 not-muc 70906 unknown 2511 muc 61
398.58/398.67	c iter 459 time 345.929 not-muc 70907 unknown 2510 muc 61
398.58/398.67	c iter 460 time 345.973 not-muc 70907 unknown 2509 muc 62
398.58/398.67	c iter 461 time 347.464 not-muc 70908 unknown 2508 muc 62
398.58/398.67	c iter 462 time 348.704 not-muc 70909 unknown 2507 muc 62
398.58/398.67	c iter 463 time 352.124 not-muc 70912 unknown 2504 muc 62
398.58/398.67	c iter 464 time 353.126 not-muc 70912 unknown 2503 muc 63
398.58/398.67	c iter 465 time 353.561 not-muc 70914 unknown 2501 muc 63
398.58/398.67	c iter 466 time 353.655 not-muc 70914 unknown 2500 muc 64
398.58/398.67	c iter 467 time 354.947 not-muc 70915 unknown 2499 muc 64
398.58/398.67	c iter 468 time 356.269 not-muc 70916 unknown 2498 muc 64
398.58/398.67	c iter 469 time 357.439 not-muc 70917 unknown 2497 muc 64
398.58/398.67	c iter 470 time 360.932 not-muc 70918 unknown 2496 muc 64
398.58/398.67	c iter 471 time 362.945 not-muc 70919 unknown 2495 muc 64
398.58/398.67	c iter 472 time 364.088 not-muc 70920 unknown 2494 muc 64
398.58/398.67	c iter 473 time 365.055 not-muc 70921 unknown 2493 muc 64
398.58/398.67	c iter 474 time 368.664 not-muc 70922 unknown 2492 muc 64
398.58/398.67	c iter 475 time 370.371 not-muc 70923 unknown 2491 muc 64
398.58/398.67	c iter 476 time 371.465 not-muc 70924 unknown 2490 muc 64
398.58/398.67	c iter 477 time 371.474 not-muc 70924 unknown 2489 muc 65
398.58/398.67	c iter 478 time 371.689 not-muc 70924 unknown 2488 muc 66
398.58/398.67	c iter 479 time 371.705 not-muc 70924 unknown 2487 muc 67
398.58/398.67	c iter 480 time 371.77 not-muc 70924 unknown 2486 muc 68
398.58/398.67	c iter 481 time 372.693 not-muc 70926 unknown 2484 muc 68
398.58/398.67	c iter 482 time 376.453 not-muc 70927 unknown 2483 muc 68
398.58/398.67	c iter 483 time 376.508 not-muc 70927 unknown 2482 muc 69
398.58/398.67	c iter 484 time 377.31 not-muc 70927 unknown 2481 muc 70
398.58/398.67	c iter 485 time 378.76 not-muc 70928 unknown 2480 muc 70
398.58/398.67	c iter 486 time 380.278 not-muc 70929 unknown 2479 muc 70
398.58/398.67	c iter 487 time 380.974 not-muc 70930 unknown 2478 muc 70
398.58/398.67	c iter 488 time 381.022 not-muc 70930 unknown 2477 muc 71
398.58/398.67	c iter 489 time 381.458 not-muc 70931 unknown 2476 muc 71
398.58/398.67	c iter 490 time 384.371 not-muc 70932 unknown 2475 muc 71
398.58/398.67	c iter 491 time 384.38 not-muc 70932 unknown 2474 muc 72
398.58/398.67	c iter 492 time 386.382 not-muc 70934 unknown 2472 muc 72
398.58/398.67	c iter 493 time 387.619 not-muc 70935 unknown 2471 muc 72
398.58/398.67	c iter 494 time 388.179 not-muc 70936 unknown 2470 muc 72
398.58/398.67	c iter 495 time 388.799 not-muc 70937 unknown 2469 muc 72
398.58/398.67	c iter 496 time 389.532 not-muc 70938 unknown 2468 muc 72
398.58/398.67	c iter 497 time 389.686 not-muc 70938 unknown 2467 muc 73
398.58/398.67	c iter 498 time 392.438 not-muc 70939 unknown 2466 muc 73
398.58/398.67	c iter 499 time 394.843 not-muc 70941 unknown 2464 muc 73
398.58/398.67	c iter 500 time 395.999 not-muc 70942 unknown 2463 muc 73
510.68/510.77	c iter 501 time 396.144 not-muc 70942 unknown 2462 muc 74
510.68/510.77	c iter 502 time 396.152 not-muc 70942 unknown 2461 muc 75
510.68/510.77	c iter 503 time 399.582 not-muc 70943 unknown 2460 muc 75
510.68/510.77	c iter 504 time 401.494 not-muc 70945 unknown 2458 muc 75
510.68/510.77	c iter 505 time 402.664 not-muc 70946 unknown 2457 muc 75
510.68/510.77	c iter 506 time 403.761 not-muc 70947 unknown 2456 muc 75
510.68/510.77	c iter 507 time 404.201 not-muc 70947 unknown 2455 muc 76
510.68/510.77	c iter 508 time 405.124 not-muc 70948 unknown 2454 muc 76
510.68/510.77	c iter 509 time 405.218 not-muc 70948 unknown 2453 muc 77
510.68/510.77	c iter 510 time 407.286 not-muc 70948 unknown 2452 muc 78
510.68/510.77	c iter 511 time 408.354 not-muc 70948 unknown 2451 muc 79
510.68/510.77	c iter 512 time 409.089 not-muc 70948 unknown 2450 muc 80
510.68/510.77	c iter 513 time 409.094 not-muc 70948 unknown 2449 muc 81
510.68/510.77	c iter 514 time 410.702 not-muc 70951 unknown 2446 muc 81
510.68/510.77	c iter 515 time 412.293 not-muc 70952 unknown 2445 muc 81
510.68/510.77	c iter 516 time 412.316 not-muc 70952 unknown 2444 muc 82
510.68/510.77	c iter 517 time 416.361 not-muc 70954 unknown 2442 muc 82
510.68/510.77	c iter 518 time 418.499 not-muc 70955 unknown 2441 muc 82
510.68/510.77	c iter 519 time 419.024 not-muc 70955 unknown 2440 muc 83
510.68/510.77	c iter 520 time 419.758 not-muc 70955 unknown 2439 muc 84
510.68/510.77	c iter 521 time 420.651 not-muc 70956 unknown 2438 muc 84
510.68/510.77	c iter 522 time 422.38 not-muc 70956 unknown 2437 muc 85
510.68/510.77	c iter 523 time 424.699 not-muc 70958 unknown 2435 muc 85
510.68/510.77	c iter 524 time 426.039 not-muc 70959 unknown 2434 muc 85
510.68/510.77	c iter 525 time 427.247 not-muc 70960 unknown 2433 muc 85
510.68/510.77	c iter 526 time 431.207 not-muc 70961 unknown 2432 muc 85
510.68/510.77	c iter 527 time 433.283 not-muc 70962 unknown 2431 muc 85
510.68/510.77	c iter 528 time 438.177 not-muc 70965 unknown 2428 muc 85
510.68/510.77	c iter 529 time 439.858 not-muc 70966 unknown 2427 muc 85
510.68/510.77	c iter 530 time 441.13 not-muc 70967 unknown 2426 muc 85
510.68/510.77	c iter 531 time 442.59 not-muc 70968 unknown 2425 muc 85
510.68/510.77	c iter 532 time 442.822 not-muc 70968 unknown 2424 muc 86
510.68/510.77	c iter 533 time 445.579 not-muc 70970 unknown 2422 muc 86
510.68/510.77	c iter 534 time 447.848 not-muc 70971 unknown 2421 muc 86
510.68/510.77	c iter 535 time 448.13 not-muc 70972 unknown 2420 muc 86
510.68/510.77	c iter 536 time 452.973 not-muc 70975 unknown 2417 muc 86
510.68/510.77	c iter 537 time 453.044 not-muc 70975 unknown 2416 muc 87
510.68/510.77	c iter 538 time 453.055 not-muc 70975 unknown 2415 muc 88
510.68/510.77	c iter 539 time 455.366 not-muc 70977 unknown 2413 muc 88
510.68/510.77	c iter 540 time 455.389 not-muc 70977 unknown 2412 muc 89
510.68/510.77	c iter 541 time 455.395 not-muc 70977 unknown 2411 muc 90
510.68/510.77	c iter 542 time 455.592 not-muc 70977 unknown 2410 muc 91
510.68/510.77	c iter 543 time 457.44 not-muc 70979 unknown 2408 muc 91
510.68/510.77	c iter 544 time 458.665 not-muc 70980 unknown 2407 muc 91
510.68/510.77	c iter 545 time 458.677 not-muc 70980 unknown 2406 muc 92
510.68/510.77	c iter 546 time 459.212 not-muc 70980 unknown 2405 muc 93
510.68/510.77	c iter 547 time 462.636 not-muc 70981 unknown 2404 muc 93
510.68/510.77	c iter 548 time 464.34 not-muc 70982 unknown 2403 muc 93
510.68/510.77	c iter 549 time 465.041 not-muc 70983 unknown 2402 muc 93
510.68/510.77	c iter 550 time 466.955 not-muc 70984 unknown 2401 muc 93
510.68/510.77	c iter 551 time 466.993 not-muc 70984 unknown 2400 muc 94
510.68/510.77	c iter 552 time 471.108 not-muc 70987 unknown 2397 muc 94
510.68/510.77	c iter 553 time 472.567 not-muc 70987 unknown 2396 muc 95
510.68/510.77	c iter 554 time 474.672 not-muc 70988 unknown 2395 muc 95
510.68/510.77	c iter 555 time 474.767 not-muc 70988 unknown 2394 muc 96
510.68/510.77	c iter 556 time 477.87 not-muc 70989 unknown 2393 muc 96
510.68/510.77	c iter 557 time 480.439 not-muc 70990 unknown 2392 muc 96
510.68/510.77	c iter 558 time 482.188 not-muc 70990 unknown 2391 muc 97
510.68/510.77	c iter 559 time 485.39 not-muc 70991 unknown 2390 muc 97
510.68/510.77	c iter 560 time 487.476 not-muc 70992 unknown 2389 muc 97
510.68/510.77	c iter 561 time 487.984 not-muc 70993 unknown 2388 muc 97
510.68/510.77	c iter 562 time 488.268 not-muc 70993 unknown 2387 muc 98
510.68/510.77	c iter 563 time 488.8 not-muc 70993 unknown 2386 muc 99
510.68/510.77	c iter 564 time 492.372 not-muc 70995 unknown 2384 muc 99
510.68/510.77	c iter 565 time 494.797 not-muc 70996 unknown 2383 muc 99
510.68/510.77	c iter 566 time 495.607 not-muc 70996 unknown 2382 muc 100
510.68/510.77	c iter 567 time 495.706 not-muc 70996 unknown 2381 muc 101
510.68/510.77	c iter 568 time 500.28 not-muc 70998 unknown 2379 muc 101
510.68/510.77	c iter 569 time 502.388 not-muc 70999 unknown 2378 muc 101
510.68/510.77	c iter 570 time 503.862 not-muc 71000 unknown 2377 muc 101
510.68/510.77	c iter 571 time 507.358 not-muc 71001 unknown 2376 muc 101
634.88/634.99	c iter 572 time 508.752 not-muc 71002 unknown 2375 muc 101
634.88/634.99	c iter 573 time 508.766 not-muc 71002 unknown 2374 muc 102
634.88/634.99	c iter 574 time 511.129 not-muc 71004 unknown 2372 muc 102
634.88/634.99	c iter 575 time 512.119 not-muc 71005 unknown 2371 muc 102
634.88/634.99	c iter 576 time 515.291 not-muc 71006 unknown 2370 muc 102
634.88/634.99	c iter 577 time 516.562 not-muc 71007 unknown 2369 muc 102
634.88/634.99	c iter 578 time 516.62 not-muc 71007 unknown 2368 muc 103
634.88/634.99	c iter 579 time 518.672 not-muc 71008 unknown 2367 muc 103
634.88/634.99	c iter 580 time 521.615 not-muc 71008 unknown 2366 muc 104
634.88/634.99	c iter 581 time 521.89 not-muc 71008 unknown 2365 muc 105
634.88/634.99	c iter 582 time 522.222 not-muc 71008 unknown 2364 muc 106
634.88/634.99	c iter 583 time 524.382 not-muc 71011 unknown 2361 muc 106
634.88/634.99	c iter 584 time 526.741 not-muc 71012 unknown 2360 muc 106
634.88/634.99	c iter 585 time 526.781 not-muc 71012 unknown 2359 muc 107
634.88/634.99	c iter 586 time 529.979 not-muc 71014 unknown 2357 muc 107
634.88/634.99	c iter 587 time 529.985 not-muc 71014 unknown 2356 muc 108
634.88/634.99	c iter 588 time 530 not-muc 71014 unknown 2355 muc 109
634.88/634.99	c iter 589 time 531.409 not-muc 71016 unknown 2353 muc 109
634.88/634.99	c iter 590 time 533.386 not-muc 71016 unknown 2352 muc 110
634.88/634.99	c iter 591 time 537.384 not-muc 71017 unknown 2351 muc 110
634.88/634.99	c iter 592 time 537.392 not-muc 71017 unknown 2350 muc 111
634.88/634.99	c iter 593 time 539.076 not-muc 71019 unknown 2348 muc 111
634.88/634.99	c iter 594 time 540.048 not-muc 71023 unknown 2344 muc 111
634.88/634.99	c iter 595 time 541.207 not-muc 71024 unknown 2343 muc 111
634.88/634.99	c iter 596 time 545.448 not-muc 71029 unknown 2338 muc 111
634.88/634.99	c iter 597 time 547.826 not-muc 71030 unknown 2337 muc 111
634.88/634.99	c iter 598 time 553.335 not-muc 71033 unknown 2334 muc 111
634.88/634.99	c iter 599 time 556.296 not-muc 71037 unknown 2330 muc 111
634.88/634.99	c iter 600 time 556.326 not-muc 71037 unknown 2329 muc 112
634.88/634.99	c iter 601 time 560.29 not-muc 71038 unknown 2328 muc 112
634.88/634.99	c iter 602 time 561.205 not-muc 71040 unknown 2326 muc 112
634.88/634.99	c iter 603 time 562.034 not-muc 71041 unknown 2325 muc 112
634.88/634.99	c iter 604 time 562.172 not-muc 71041 unknown 2324 muc 113
634.88/634.99	c iter 605 time 562.65 not-muc 71041 unknown 2323 muc 114
634.88/634.99	c iter 606 time 567.849 not-muc 71043 unknown 2321 muc 114
634.88/634.99	c iter 607 time 567.991 not-muc 71043 unknown 2320 muc 115
634.88/634.99	c iter 608 time 568.342 not-muc 71043 unknown 2319 muc 116
634.88/634.99	c iter 609 time 571.401 not-muc 71044 unknown 2318 muc 116
634.88/634.99	c iter 610 time 571.406 not-muc 71044 unknown 2317 muc 117
634.88/634.99	c iter 611 time 574.684 not-muc 71045 unknown 2316 muc 117
634.88/634.99	c iter 612 time 576.907 not-muc 71046 unknown 2315 muc 117
634.88/634.99	c iter 613 time 581.842 not-muc 71051 unknown 2310 muc 117
634.88/634.99	c iter 614 time 584.053 not-muc 71052 unknown 2309 muc 117
634.88/634.99	c iter 615 time 588.844 not-muc 71061 unknown 2300 muc 117
634.88/634.99	c iter 616 time 590.683 not-muc 71061 unknown 2299 muc 118
634.88/634.99	c iter 617 time 595.567 not-muc 71062 unknown 2298 muc 118
634.88/634.99	c iter 618 time 597.751 not-muc 71064 unknown 2296 muc 118
634.88/634.99	c iter 619 time 597.811 not-muc 71064 unknown 2295 muc 119
634.88/634.99	c iter 620 time 598.513 not-muc 71064 unknown 2294 muc 120
634.88/634.99	c iter 621 time 598.74 not-muc 71064 unknown 2293 muc 121
634.88/634.99	c iter 622 time 602.507 not-muc 71067 unknown 2290 muc 121
634.88/634.99	c iter 623 time 602.801 not-muc 71067 unknown 2289 muc 122
634.88/634.99	c iter 624 time 602.942 not-muc 71067 unknown 2288 muc 123
634.88/634.99	c iter 625 time 605.699 not-muc 71068 unknown 2287 muc 123
634.88/634.99	c iter 626 time 606.113 not-muc 71068 unknown 2286 muc 124
634.88/634.99	c iter 627 time 609.625 not-muc 71070 unknown 2284 muc 124
634.88/634.99	c iter 628 time 612.27 not-muc 71072 unknown 2282 muc 124
634.88/634.99	c iter 629 time 612.455 not-muc 71072 unknown 2281 muc 125
634.88/634.99	c iter 630 time 615.943 not-muc 71074 unknown 2279 muc 125
634.88/634.99	c iter 631 time 618.367 not-muc 71075 unknown 2278 muc 125
634.88/634.99	c iter 632 time 618.527 not-muc 71075 unknown 2277 muc 126
634.88/634.99	c iter 633 time 618.993 not-muc 71075 unknown 2276 muc 127
634.88/634.99	c iter 634 time 619.379 not-muc 71075 unknown 2275 muc 128
634.88/634.99	c iter 635 time 623.775 not-muc 71076 unknown 2274 muc 128
634.88/634.99	c iter 636 time 623.802 not-muc 71076 unknown 2273 muc 129
634.88/634.99	c iter 637 time 624.854 not-muc 71076 unknown 2272 muc 130
634.88/634.99	c iter 638 time 626.1 not-muc 71077 unknown 2271 muc 130
634.88/634.99	c iter 639 time 627.936 not-muc 71077 unknown 2270 muc 131
634.88/634.99	c iter 640 time 630.761 not-muc 71083 unknown 2264 muc 131
816.97/817.04	c iter 641 time 633.172 not-muc 71085 unknown 2262 muc 131
816.97/817.04	c iter 642 time 637.565 not-muc 71096 unknown 2251 muc 131
816.97/817.04	c iter 643 time 639.577 not-muc 71097 unknown 2250 muc 131
816.97/817.04	c iter 644 time 645.277 not-muc 71100 unknown 2247 muc 131
816.97/817.04	c iter 645 time 647.992 not-muc 71101 unknown 2246 muc 131
816.97/817.04	c iter 646 time 652.117 not-muc 71105 unknown 2242 muc 131
816.97/817.04	c iter 647 time 653.85 not-muc 71106 unknown 2241 muc 131
816.97/817.04	c iter 648 time 659.565 not-muc 71107 unknown 2240 muc 131
816.97/817.04	c iter 649 time 659.584 not-muc 71107 unknown 2239 muc 132
816.97/817.04	c iter 650 time 661.359 not-muc 71107 unknown 2238 muc 133
816.97/817.04	c iter 651 time 662.967 not-muc 71108 unknown 2237 muc 133
816.97/817.04	c iter 652 time 666.445 not-muc 71109 unknown 2236 muc 133
816.97/817.04	c iter 653 time 668.714 not-muc 71110 unknown 2235 muc 133
816.97/817.04	c iter 654 time 668.727 not-muc 71110 unknown 2234 muc 134
816.97/817.04	c iter 655 time 673.627 not-muc 71113 unknown 2231 muc 134
816.97/817.04	c iter 656 time 673.829 not-muc 71113 unknown 2230 muc 135
816.97/817.04	c iter 657 time 676.264 not-muc 71114 unknown 2229 muc 135
816.97/817.04	c iter 658 time 680.318 not-muc 71115 unknown 2228 muc 135
816.97/817.04	c iter 659 time 683.017 not-muc 71116 unknown 2227 muc 135
816.97/817.04	c iter 660 time 683.27 not-muc 71116 unknown 2226 muc 136
816.97/817.04	c iter 661 time 686.706 not-muc 71118 unknown 2224 muc 136
816.97/817.04	c iter 662 time 687.125 not-muc 71118 unknown 2223 muc 137
816.97/817.04	c iter 663 time 688.777 not-muc 71118 unknown 2222 muc 138
816.97/817.04	c iter 664 time 689.924 not-muc 71119 unknown 2221 muc 138
816.97/817.04	c iter 665 time 694.094 not-muc 71122 unknown 2218 muc 138
816.97/817.04	c iter 666 time 694.338 not-muc 71122 unknown 2217 muc 139
816.97/817.04	c iter 667 time 695.925 not-muc 71123 unknown 2216 muc 139
816.97/817.04	c iter 668 time 701.325 not-muc 71124 unknown 2215 muc 139
816.97/817.04	c iter 669 time 703.263 not-muc 71125 unknown 2214 muc 139
816.97/817.04	c iter 670 time 708.357 not-muc 71140 unknown 2199 muc 139
816.97/817.04	c iter 671 time 710.621 not-muc 71141 unknown 2198 muc 139
816.97/817.04	c iter 672 time 711.254 not-muc 71141 unknown 2197 muc 140
816.97/817.04	c iter 673 time 713.659 not-muc 71141 unknown 2196 muc 141
816.97/817.04	c iter 674 time 716.393 not-muc 71142 unknown 2195 muc 141
816.97/817.04	c iter 675 time 716.772 not-muc 71142 unknown 2194 muc 142
816.97/817.04	c iter 676 time 717.801 not-muc 71142 unknown 2193 muc 143
816.97/817.04	c iter 677 time 717.898 not-muc 71142 unknown 2192 muc 144
816.97/817.04	c iter 678 time 721.803 not-muc 71143 unknown 2191 muc 144
816.97/817.04	c iter 679 time 723.417 not-muc 71144 unknown 2190 muc 144
816.97/817.04	c iter 680 time 725.199 not-muc 71145 unknown 2189 muc 144
816.97/817.04	c iter 681 time 729.057 not-muc 71146 unknown 2188 muc 144
816.97/817.04	c iter 682 time 731.15 not-muc 71147 unknown 2187 muc 144
816.97/817.04	c iter 683 time 736.269 not-muc 71156 unknown 2178 muc 144
816.97/817.04	c iter 684 time 738.725 not-muc 71156 unknown 2177 muc 145
816.97/817.04	c iter 685 time 743.161 not-muc 71157 unknown 2176 muc 145
816.97/817.04	c iter 686 time 745.3 not-muc 71158 unknown 2175 muc 145
816.97/817.04	c iter 687 time 749.783 not-muc 71160 unknown 2173 muc 145
816.97/817.04	c iter 688 time 750.308 not-muc 71160 unknown 2172 muc 146
816.97/817.04	c iter 689 time 752.909 not-muc 71161 unknown 2171 muc 146
816.97/817.04	c iter 690 time 757.316 not-muc 71162 unknown 2170 muc 146
816.97/817.04	c iter 691 time 759.759 not-muc 71163 unknown 2169 muc 146
816.97/817.04	c iter 692 time 764.052 not-muc 71164 unknown 2168 muc 146
816.97/817.04	c iter 693 time 765.171 not-muc 71164 unknown 2167 muc 147
816.97/817.04	c iter 694 time 770.503 not-muc 71166 unknown 2165 muc 147
816.97/817.04	c iter 695 time 772.059 not-muc 71167 unknown 2164 muc 147
816.97/817.04	c iter 696 time 777.399 not-muc 71168 unknown 2163 muc 147
816.97/817.04	c iter 697 time 779.152 not-muc 71169 unknown 2162 muc 147
816.97/817.04	c iter 698 time 783.906 not-muc 71170 unknown 2161 muc 147
816.97/817.04	c iter 699 time 786.312 not-muc 71171 unknown 2160 muc 147
816.97/817.04	c iter 700 time 790.395 not-muc 71172 unknown 2159 muc 147
816.97/817.04	c iter 701 time 792.406 not-muc 71173 unknown 2158 muc 147
816.97/817.04	c iter 702 time 792.524 not-muc 71173 unknown 2157 muc 148
816.97/817.04	c iter 703 time 792.871 not-muc 71173 unknown 2156 muc 149
816.97/817.04	c iter 704 time 794.033 not-muc 71174 unknown 2155 muc 149
816.97/817.04	c iter 705 time 797.538 not-muc 71175 unknown 2154 muc 149
816.97/817.04	c iter 706 time 800.159 not-muc 71176 unknown 2153 muc 149
816.97/817.04	c iter 707 time 805.18 not-muc 71178 unknown 2151 muc 149
816.97/817.04	c iter 708 time 807.862 not-muc 71180 unknown 2149 muc 149
816.97/817.04	c iter 709 time 811.287 not-muc 71184 unknown 2145 muc 149
816.97/817.04	c iter 710 time 811.666 not-muc 71184 unknown 2144 muc 150
935.17/935.28	c iter 711 time 813.953 not-muc 71187 unknown 2141 muc 150
935.17/935.28	c iter 712 time 814.283 not-muc 71187 unknown 2140 muc 151
935.17/935.28	c iter 713 time 818.802 not-muc 71188 unknown 2139 muc 151
935.17/935.28	c iter 714 time 821.525 not-muc 71189 unknown 2138 muc 151
935.17/935.28	c iter 715 time 821.714 not-muc 71189 unknown 2137 muc 152
935.17/935.28	c iter 716 time 821.717 not-muc 71189 unknown 2136 muc 153
935.17/935.28	c iter 717 time 822.963 not-muc 71189 unknown 2135 muc 154
935.17/935.28	c iter 718 time 826.243 not-muc 71190 unknown 2134 muc 154
935.17/935.28	c iter 719 time 828.921 not-muc 71191 unknown 2133 muc 154
935.17/935.28	c iter 720 time 828.966 not-muc 71191 unknown 2132 muc 155
935.17/935.28	c iter 721 time 829.322 not-muc 71191 unknown 2131 muc 156
935.17/935.28	c iter 722 time 830.101 not-muc 71191 unknown 2130 muc 157
935.17/935.28	c iter 723 time 830.367 not-muc 71191 unknown 2129 muc 158
935.17/935.28	c iter 724 time 832.988 not-muc 71192 unknown 2128 muc 158
935.17/935.28	c iter 725 time 839.173 not-muc 71193 unknown 2127 muc 158
935.17/935.28	c iter 726 time 839.429 not-muc 71193 unknown 2126 muc 159
935.17/935.28	c iter 727 time 839.72 not-muc 71193 unknown 2125 muc 160
935.17/935.28	c iter 728 time 840.815 not-muc 71193 unknown 2124 muc 161
935.17/935.28	c iter 729 time 840.92 not-muc 71193 unknown 2123 muc 162
935.17/935.28	c iter 730 time 846.062 not-muc 71194 unknown 2122 muc 162
935.17/935.28	c iter 731 time 846.076 not-muc 71194 unknown 2121 muc 163
935.17/935.28	c iter 732 time 848.7 not-muc 71194 unknown 2120 muc 164
935.17/935.28	c iter 733 time 852.605 not-muc 71195 unknown 2119 muc 164
935.17/935.28	c iter 734 time 855.298 not-muc 71196 unknown 2118 muc 164
935.17/935.28	c iter 735 time 855.714 not-muc 71196 unknown 2117 muc 165
935.17/935.28	c iter 736 time 855.721 not-muc 71196 unknown 2116 muc 166
935.17/935.28	c iter 737 time 858.784 not-muc 71197 unknown 2115 muc 166
935.17/935.28	c iter 738 time 860.39 not-muc 71197 unknown 2114 muc 167
935.17/935.28	c iter 739 time 860.631 not-muc 71197 unknown 2113 muc 168
935.17/935.28	c iter 740 time 865.306 not-muc 71200 unknown 2110 muc 168
935.17/935.28	c iter 741 time 865.549 not-muc 71201 unknown 2109 muc 168
935.17/935.28	c iter 742 time 865.794 not-muc 71201 unknown 2108 muc 169
935.17/935.28	c iter 743 time 866.254 not-muc 71201 unknown 2107 muc 170
935.17/935.28	c iter 744 time 866.278 not-muc 71201 unknown 2106 muc 171
935.17/935.28	c iter 745 time 868.433 not-muc 71203 unknown 2104 muc 171
935.17/935.28	c iter 746 time 869.045 not-muc 71203 unknown 2103 muc 172
935.17/935.28	c iter 747 time 869.148 not-muc 71203 unknown 2102 muc 173
935.17/935.28	c iter 748 time 872.179 not-muc 71206 unknown 2099 muc 173
935.17/935.28	c iter 749 time 872.651 not-muc 71206 unknown 2098 muc 174
935.17/935.28	c iter 750 time 875.056 not-muc 71207 unknown 2097 muc 174
935.17/935.28	c iter 751 time 879.538 not-muc 71211 unknown 2093 muc 174
935.17/935.28	c iter 752 time 879.553 not-muc 71211 unknown 2092 muc 175
935.17/935.28	c iter 753 time 879.557 not-muc 71211 unknown 2091 muc 176
935.17/935.28	c iter 754 time 880.159 not-muc 71211 unknown 2090 muc 177
935.17/935.28	c iter 755 time 886.458 not-muc 71213 unknown 2088 muc 177
935.17/935.28	c iter 756 time 887.293 not-muc 71213 unknown 2087 muc 178
935.17/935.28	c iter 757 time 887.324 not-muc 71213 unknown 2086 muc 179
935.17/935.28	c iter 758 time 887.72 not-muc 71213 unknown 2085 muc 180
935.17/935.28	c iter 759 time 888.719 not-muc 71213 unknown 2084 muc 181
935.17/935.28	c iter 760 time 892.809 not-muc 71217 unknown 2080 muc 181
935.17/935.28	c iter 761 time 893.945 not-muc 71217 unknown 2079 muc 182
935.17/935.28	c iter 762 time 895.68 not-muc 71217 unknown 2078 muc 183
935.17/935.28	c iter 763 time 896.264 not-muc 71217 unknown 2077 muc 184
935.17/935.28	c iter 764 time 896.409 not-muc 71217 unknown 2076 muc 185
935.17/935.28	c iter 765 time 899.532 not-muc 71218 unknown 2075 muc 185
935.17/935.28	c iter 766 time 901.189 not-muc 71219 unknown 2074 muc 185
935.17/935.28	c iter 767 time 902.062 not-muc 71219 unknown 2073 muc 186
935.17/935.28	c iter 768 time 907.127 not-muc 71220 unknown 2072 muc 186
935.17/935.28	c iter 769 time 913.643 not-muc 71221 unknown 2071 muc 186
935.17/935.28	c iter 770 time 913.667 not-muc 71221 unknown 2070 muc 187
935.17/935.28	c iter 771 time 913.673 not-muc 71221 unknown 2069 muc 188
935.17/935.28	c iter 772 time 915.836 not-muc 71222 unknown 2068 muc 188
935.17/935.28	c iter 773 time 916.927 not-muc 71223 unknown 2067 muc 188
935.17/935.28	c iter 774 time 916.995 not-muc 71223 unknown 2066 muc 189
935.17/935.28	c iter 775 time 920.305 not-muc 71224 unknown 2065 muc 189
935.17/935.28	c iter 776 time 921.636 not-muc 71225 unknown 2064 muc 189
935.17/935.28	c iter 777 time 923.139 not-muc 71226 unknown 2063 muc 189
935.17/935.28	c iter 778 time 926.118 not-muc 71226 unknown 2062 muc 190
935.17/935.28	c iter 779 time 926.31 not-muc 71226 unknown 2061 muc 191
935.17/935.28	c iter 780 time 929.187 not-muc 71227 unknown 2060 muc 191
1047.96/1048.06	c iter 781 time 934.062 not-muc 71228 unknown 2059 muc 191
1047.96/1048.06	c iter 782 time 935.857 not-muc 71229 unknown 2058 muc 191
1047.96/1048.06	c iter 783 time 935.892 not-muc 71229 unknown 2057 muc 192
1047.96/1048.06	c iter 784 time 935.903 not-muc 71229 unknown 2056 muc 193
1047.96/1048.06	c iter 785 time 935.967 not-muc 71229 unknown 2055 muc 194
1047.96/1048.06	c iter 786 time 937.082 not-muc 71230 unknown 2054 muc 194
1047.96/1048.06	c iter 787 time 937.134 not-muc 71230 unknown 2053 muc 195
1047.96/1048.06	c iter 788 time 937.218 not-muc 71230 unknown 2052 muc 196
1047.96/1048.06	c iter 789 time 938.966 not-muc 71230 unknown 2051 muc 197
1047.96/1048.06	c iter 790 time 941.373 not-muc 71231 unknown 2050 muc 197
1047.96/1048.06	c iter 791 time 943.386 not-muc 71232 unknown 2049 muc 197
1047.96/1048.06	c iter 792 time 944.38 not-muc 71232 unknown 2048 muc 198
1047.96/1048.06	c iter 793 time 947.421 not-muc 71233 unknown 2047 muc 198
1047.96/1048.06	c iter 794 time 949.272 not-muc 71234 unknown 2046 muc 198
1047.96/1048.06	c iter 795 time 949.502 not-muc 71234 unknown 2045 muc 199
1047.96/1048.06	c iter 796 time 953.478 not-muc 71237 unknown 2042 muc 199
1047.96/1048.06	c iter 797 time 953.565 not-muc 71237 unknown 2041 muc 200
1047.96/1048.06	c iter 798 time 954.438 not-muc 71237 unknown 2040 muc 201
1047.96/1048.06	c iter 799 time 955.136 not-muc 71237 unknown 2039 muc 202
1047.96/1048.06	c iter 800 time 956.4 not-muc 71238 unknown 2038 muc 202
1047.96/1048.06	c iter 801 time 956.481 not-muc 71238 unknown 2037 muc 203
1047.96/1048.06	c iter 802 time 960.588 not-muc 71241 unknown 2034 muc 203
1047.96/1048.06	c iter 803 time 962.364 not-muc 71241 unknown 2033 muc 204
1047.96/1048.06	c iter 804 time 967.101 not-muc 71242 unknown 2032 muc 204
1047.96/1048.06	c iter 805 time 968.828 not-muc 71243 unknown 2031 muc 204
1047.96/1048.06	c iter 806 time 968.834 not-muc 71243 unknown 2030 muc 205
1047.96/1048.06	c iter 807 time 969.2 not-muc 71243 unknown 2029 muc 206
1047.96/1048.06	c iter 808 time 969.459 not-muc 71243 unknown 2028 muc 207
1047.96/1048.06	c iter 809 time 970.198 not-muc 71243 unknown 2027 muc 208
1047.96/1048.06	c iter 810 time 973.866 not-muc 71244 unknown 2026 muc 208
1047.96/1048.06	c iter 811 time 976.628 not-muc 71246 unknown 2024 muc 208
1047.96/1048.06	c iter 812 time 980.802 not-muc 71248 unknown 2022 muc 208
1047.96/1048.06	c iter 813 time 982.554 not-muc 71250 unknown 2020 muc 208
1047.96/1048.06	c iter 814 time 982.996 not-muc 71250 unknown 2019 muc 209
1047.96/1048.06	c iter 815 time 983.036 not-muc 71250 unknown 2018 muc 210
1047.96/1048.06	c iter 816 time 987.831 not-muc 71251 unknown 2017 muc 210
1047.96/1048.06	c iter 817 time 988.128 not-muc 71251 unknown 2016 muc 211
1047.96/1048.06	c iter 818 time 990.332 not-muc 71252 unknown 2015 muc 211
1047.96/1048.06	c iter 819 time 994.119 not-muc 71254 unknown 2013 muc 211
1047.96/1048.06	c iter 820 time 994.214 not-muc 71254 unknown 2012 muc 212
1047.96/1048.06	c iter 821 time 994.235 not-muc 71254 unknown 2011 muc 213
1047.96/1048.06	c iter 822 time 994.364 not-muc 71254 unknown 2010 muc 214
1047.96/1048.06	c iter 823 time 996.698 not-muc 71255 unknown 2009 muc 214
1047.96/1048.06	c iter 824 time 1001.22 not-muc 71256 unknown 2008 muc 214
1047.96/1048.06	c iter 825 time 1003.83 not-muc 71257 unknown 2007 muc 214
1047.96/1048.06	c iter 826 time 1006.46 not-muc 71257 unknown 2006 muc 215
1047.96/1048.06	c iter 827 time 1006.49 not-muc 71257 unknown 2005 muc 216
1047.96/1048.06	c iter 828 time 1007.07 not-muc 71257 unknown 2004 muc 217
1047.96/1048.06	c iter 829 time 1007.7 not-muc 71257 unknown 2003 muc 218
1047.96/1048.06	c iter 830 time 1009.48 not-muc 71258 unknown 2002 muc 218
1047.96/1048.06	c iter 831 time 1009.5 not-muc 71258 unknown 2001 muc 219
1047.96/1048.06	c iter 832 time 1009.52 not-muc 71258 unknown 2000 muc 220
1047.96/1048.06	c iter 833 time 1013.57 not-muc 71259 unknown 1999 muc 220
1047.96/1048.06	c iter 834 time 1014.02 not-muc 71259 unknown 1998 muc 221
1047.96/1048.06	c iter 835 time 1014.18 not-muc 71259 unknown 1997 muc 222
1047.96/1048.06	c iter 836 time 1014.48 not-muc 71259 unknown 1996 muc 223
1047.96/1048.06	c iter 837 time 1020.11 not-muc 71261 unknown 1994 muc 223
1047.96/1048.06	c iter 838 time 1020.3 not-muc 71261 unknown 1993 muc 224
1047.96/1048.06	c iter 839 time 1022.68 not-muc 71262 unknown 1992 muc 224
1047.96/1048.06	c iter 840 time 1026.7 not-muc 71263 unknown 1991 muc 224
1047.96/1048.06	c iter 841 time 1026.92 not-muc 71263 unknown 1990 muc 225
1047.96/1048.06	c iter 842 time 1029.4 not-muc 71264 unknown 1989 muc 225
1047.96/1048.06	c iter 843 time 1029.78 not-muc 71264 unknown 1988 muc 226
1047.96/1048.06	c iter 844 time 1033.65 not-muc 71265 unknown 1987 muc 226
1047.96/1048.06	c iter 845 time 1035.91 not-muc 71266 unknown 1986 muc 226
1047.96/1048.06	c iter 846 time 1035.96 not-muc 71266 unknown 1985 muc 227
1047.96/1048.06	c iter 847 time 1039.72 not-muc 71267 unknown 1984 muc 227
1047.96/1048.06	c iter 848 time 1040.31 not-muc 71267 unknown 1983 muc 228
1047.96/1048.06	c iter 849 time 1041.31 not-muc 71267 unknown 1982 muc 229
1191.67/1191.77	c iter 850 time 1041.9 not-muc 71267 unknown 1981 muc 230
1191.67/1191.77	c iter 851 time 1046.06 not-muc 71268 unknown 1980 muc 230
1191.67/1191.77	c iter 852 time 1046.11 not-muc 71268 unknown 1979 muc 231
1191.67/1191.77	c iter 853 time 1048.38 not-muc 71269 unknown 1978 muc 231
1191.67/1191.77	c iter 854 time 1053 not-muc 71270 unknown 1977 muc 231
1191.67/1191.77	c iter 855 time 1053.9 not-muc 71270 unknown 1976 muc 232
1191.67/1191.77	c iter 856 time 1054.64 not-muc 71270 unknown 1975 muc 233
1191.67/1191.77	c iter 857 time 1054.99 not-muc 71270 unknown 1974 muc 234
1191.67/1191.77	c iter 858 time 1055.14 not-muc 71270 unknown 1973 muc 235
1191.67/1191.77	c iter 859 time 1059.21 not-muc 71271 unknown 1972 muc 235
1191.67/1191.77	c iter 860 time 1060.96 not-muc 71272 unknown 1971 muc 235
1191.67/1191.77	c iter 861 time 1061.04 not-muc 71272 unknown 1970 muc 236
1191.67/1191.77	c iter 862 time 1062.25 not-muc 71273 unknown 1969 muc 236
1191.67/1191.77	c iter 863 time 1065.52 not-muc 71274 unknown 1968 muc 236
1191.67/1191.77	c iter 864 time 1067.56 not-muc 71275 unknown 1967 muc 236
1191.67/1191.77	c iter 865 time 1067.73 not-muc 71275 unknown 1966 muc 237
1191.67/1191.77	c iter 866 time 1067.73 not-muc 71275 unknown 1965 muc 238
1191.67/1191.77	c iter 867 time 1067.88 not-muc 71275 unknown 1964 muc 239
1191.67/1191.77	c iter 868 time 1068.96 not-muc 71275 unknown 1963 muc 240
1191.67/1191.77	c iter 869 time 1069 not-muc 71275 unknown 1962 muc 241
1191.67/1191.77	c iter 870 time 1069.1 not-muc 71275 unknown 1961 muc 242
1191.67/1191.77	c iter 871 time 1072.87 not-muc 71277 unknown 1959 muc 242
1191.67/1191.77	c iter 872 time 1075.57 not-muc 71278 unknown 1958 muc 242
1191.67/1191.77	c iter 873 time 1075.63 not-muc 71278 unknown 1957 muc 243
1191.67/1191.77	c iter 874 time 1076.47 not-muc 71278 unknown 1956 muc 244
1191.67/1191.77	c iter 875 time 1079.71 not-muc 71279 unknown 1955 muc 244
1191.67/1191.77	c iter 876 time 1081.25 not-muc 71280 unknown 1954 muc 244
1191.67/1191.77	c iter 877 time 1086.21 not-muc 71281 unknown 1953 muc 244
1191.67/1191.77	c iter 878 time 1092.35 not-muc 71283 unknown 1951 muc 244
1191.67/1191.77	c iter 879 time 1094.2 not-muc 71283 unknown 1950 muc 245
1191.67/1191.77	c iter 880 time 1094.26 not-muc 71283 unknown 1949 muc 246
1191.67/1191.77	c iter 881 time 1095.35 not-muc 71284 unknown 1948 muc 246
1191.67/1191.77	c iter 882 time 1099.38 not-muc 71285 unknown 1947 muc 246
1191.67/1191.77	c iter 883 time 1099.4 not-muc 71285 unknown 1946 muc 247
1191.67/1191.77	c iter 884 time 1099.43 not-muc 71285 unknown 1945 muc 248
1191.67/1191.77	c iter 885 time 1099.53 not-muc 71285 unknown 1944 muc 249
1191.67/1191.77	c iter 886 time 1099.86 not-muc 71285 unknown 1943 muc 250
1191.67/1191.77	c iter 887 time 1106.54 not-muc 71286 unknown 1942 muc 250
1191.67/1191.77	c iter 888 time 1112.44 not-muc 71287 unknown 1941 muc 250
1191.67/1191.77	c iter 889 time 1119.19 not-muc 71288 unknown 1940 muc 250
1191.67/1191.77	c iter 890 time 1120.96 not-muc 71288 unknown 1939 muc 251
1191.67/1191.77	c iter 891 time 1122.58 not-muc 71288 unknown 1938 muc 252
1191.67/1191.77	c iter 892 time 1125.49 not-muc 71289 unknown 1937 muc 252
1191.67/1191.77	c iter 893 time 1128.26 not-muc 71289 unknown 1936 muc 253
1191.67/1191.77	c iter 894 time 1128.41 not-muc 71289 unknown 1935 muc 254
1191.67/1191.77	c iter 895 time 1128.77 not-muc 71289 unknown 1934 muc 255
1191.67/1191.77	c iter 896 time 1128.97 not-muc 71289 unknown 1933 muc 256
1191.67/1191.77	c iter 897 time 1129.88 not-muc 71289 unknown 1932 muc 257
1191.67/1191.77	c iter 898 time 1133.28 not-muc 71290 unknown 1931 muc 257
1191.67/1191.77	c iter 899 time 1137.53 not-muc 71291 unknown 1930 muc 257
1191.67/1191.77	c iter 900 time 1139.99 not-muc 71292 unknown 1929 muc 257
1191.67/1191.77	c iter 901 time 1143.39 not-muc 71293 unknown 1928 muc 257
1191.67/1191.77	c iter 902 time 1144.29 not-muc 71293 unknown 1927 muc 258
1191.67/1191.77	c iter 903 time 1146.32 not-muc 71294 unknown 1926 muc 258
1191.67/1191.77	c iter 904 time 1147.09 not-muc 71294 unknown 1925 muc 259
1191.67/1191.77	c iter 905 time 1147.32 not-muc 71294 unknown 1924 muc 260
1191.67/1191.77	c iter 906 time 1151.02 not-muc 71295 unknown 1923 muc 260
1191.67/1191.77	c iter 907 time 1155.18 not-muc 71296 unknown 1922 muc 260
1191.67/1191.77	c iter 908 time 1155.83 not-muc 71296 unknown 1921 muc 261
1191.67/1191.77	c iter 909 time 1159.03 not-muc 71298 unknown 1919 muc 261
1191.67/1191.77	c iter 910 time 1163.85 not-muc 71300 unknown 1917 muc 261
1191.67/1191.77	c iter 911 time 1169.98 not-muc 71302 unknown 1915 muc 261
1191.67/1191.77	c iter 912 time 1170.28 not-muc 71302 unknown 1914 muc 262
1191.67/1191.77	c iter 913 time 1171.26 not-muc 71302 unknown 1913 muc 263
1191.67/1191.77	c iter 914 time 1176 not-muc 71303 unknown 1912 muc 263
1191.67/1191.77	c iter 915 time 1176.93 not-muc 71303 unknown 1911 muc 264
1191.67/1191.77	c iter 916 time 1176.97 not-muc 71303 unknown 1910 muc 265
1191.67/1191.77	c iter 917 time 1177.09 not-muc 71303 unknown 1909 muc 266
1191.67/1191.77	c iter 918 time 1182.07 not-muc 71305 unknown 1907 muc 266
1191.67/1191.77	c iter 919 time 1184.19 not-muc 71306 unknown 1906 muc 266
1344.86/1344.92	c iter 920 time 1186.09 not-muc 71306 unknown 1905 muc 267
1344.86/1344.92	c iter 921 time 1189.16 not-muc 71306 unknown 1904 muc 268
1344.86/1344.92	c iter 922 time 1193.97 not-muc 71307 unknown 1903 muc 268
1344.86/1344.92	c iter 923 time 1195.25 not-muc 71307 unknown 1902 muc 269
1344.86/1344.92	c iter 924 time 1195.26 not-muc 71307 unknown 1901 muc 270
1344.86/1344.92	c iter 925 time 1196.97 not-muc 71307 unknown 1900 muc 271
1344.86/1344.92	c iter 926 time 1201.01 not-muc 71309 unknown 1898 muc 271
1344.86/1344.92	c iter 927 time 1204.94 not-muc 71310 unknown 1897 muc 271
1344.86/1344.92	c iter 928 time 1205.3 not-muc 71310 unknown 1896 muc 272
1344.86/1344.92	c iter 929 time 1205.83 not-muc 71310 unknown 1895 muc 273
1344.86/1344.92	c iter 930 time 1209.04 not-muc 71311 unknown 1894 muc 273
1344.86/1344.92	c iter 931 time 1213.07 not-muc 71312 unknown 1893 muc 273
1344.86/1344.92	c iter 932 time 1219.13 not-muc 71313 unknown 1892 muc 273
1344.86/1344.92	c iter 933 time 1219.24 not-muc 71313 unknown 1891 muc 274
1344.86/1344.92	c iter 934 time 1225.83 not-muc 71314 unknown 1890 muc 274
1344.86/1344.92	c iter 935 time 1230.4 not-muc 71315 unknown 1889 muc 274
1344.86/1344.92	c iter 936 time 1230.86 not-muc 71315 unknown 1888 muc 275
1344.86/1344.92	c iter 937 time 1238.38 not-muc 71316 unknown 1887 muc 275
1344.86/1344.92	c iter 938 time 1238.5 not-muc 71316 unknown 1886 muc 276
1344.86/1344.92	c iter 939 time 1238.99 not-muc 71316 unknown 1885 muc 277
1344.86/1344.92	c iter 940 time 1239.02 not-muc 71316 unknown 1884 muc 278
1344.86/1344.92	c iter 941 time 1239.45 not-muc 71316 unknown 1883 muc 279
1344.86/1344.92	c iter 942 time 1239.47 not-muc 71316 unknown 1882 muc 280
1344.86/1344.92	c iter 943 time 1244.63 not-muc 71317 unknown 1881 muc 280
1344.86/1344.92	c iter 944 time 1244.66 not-muc 71317 unknown 1880 muc 281
1344.86/1344.92	c iter 945 time 1247.65 not-muc 71318 unknown 1879 muc 281
1344.86/1344.92	c iter 946 time 1251.63 not-muc 71319 unknown 1878 muc 281
1344.86/1344.92	c iter 947 time 1252.14 not-muc 71319 unknown 1877 muc 282
1344.86/1344.92	c iter 948 time 1257.35 not-muc 71320 unknown 1876 muc 282
1344.86/1344.92	c iter 949 time 1257.36 not-muc 71320 unknown 1875 muc 283
1344.86/1344.92	c iter 950 time 1261.44 not-muc 71321 unknown 1874 muc 283
1344.86/1344.92	c iter 951 time 1265.23 not-muc 71322 unknown 1873 muc 283
1344.86/1344.92	c iter 952 time 1269.57 not-muc 71323 unknown 1872 muc 283
1344.86/1344.92	c iter 953 time 1269.58 not-muc 71323 unknown 1871 muc 284
1344.86/1344.92	c iter 954 time 1275.27 not-muc 71324 unknown 1870 muc 284
1344.86/1344.92	c iter 955 time 1277.51 not-muc 71325 unknown 1869 muc 284
1344.86/1344.92	c iter 956 time 1282.04 not-muc 71326 unknown 1868 muc 284
1344.86/1344.92	c iter 957 time 1287.8 not-muc 71327 unknown 1867 muc 284
1344.86/1344.92	c iter 958 time 1288.15 not-muc 71327 unknown 1866 muc 285
1344.86/1344.92	c iter 959 time 1288.19 not-muc 71327 unknown 1865 muc 286
1344.86/1344.92	c iter 960 time 1288.21 not-muc 71327 unknown 1864 muc 287
1344.86/1344.92	c iter 961 time 1292.86 not-muc 71328 unknown 1863 muc 287
1344.86/1344.92	c iter 962 time 1292.87 not-muc 71328 unknown 1862 muc 288
1344.86/1344.92	c iter 963 time 1294.82 not-muc 71329 unknown 1861 muc 288
1344.86/1344.92	c iter 964 time 1298.59 not-muc 71330 unknown 1860 muc 288
1344.86/1344.92	c iter 965 time 1299.75 not-muc 71330 unknown 1859 muc 289
1344.86/1344.92	c iter 966 time 1304.76 not-muc 71331 unknown 1858 muc 289
1344.86/1344.92	c iter 967 time 1305.38 not-muc 71331 unknown 1857 muc 290
1344.86/1344.92	c iter 968 time 1307.33 not-muc 71332 unknown 1856 muc 290
1344.86/1344.92	c iter 969 time 1307.86 not-muc 71332 unknown 1855 muc 291
1344.86/1344.92	c iter 970 time 1311.45 not-muc 71333 unknown 1854 muc 291
1344.86/1344.92	c iter 971 time 1311.46 not-muc 71333 unknown 1853 muc 292
1344.86/1344.92	c iter 972 time 1317.11 not-muc 71334 unknown 1852 muc 292
1344.86/1344.92	c iter 973 time 1317.14 not-muc 71334 unknown 1851 muc 293
1344.86/1344.92	c iter 974 time 1317.65 not-muc 71334 unknown 1850 muc 294
1344.86/1344.92	c iter 975 time 1317.66 not-muc 71334 unknown 1849 muc 295
1344.86/1344.92	c iter 976 time 1317.85 not-muc 71334 unknown 1848 muc 296
1344.86/1344.92	c iter 977 time 1322.63 not-muc 71335 unknown 1847 muc 296
1344.86/1344.92	c iter 978 time 1322.72 not-muc 71335 unknown 1846 muc 297
1344.86/1344.92	c iter 979 time 1323.13 not-muc 71335 unknown 1845 muc 298
1344.86/1344.92	c iter 980 time 1323.3 not-muc 71335 unknown 1844 muc 299
1344.86/1344.92	c iter 981 time 1323.35 not-muc 71335 unknown 1843 muc 300
1344.86/1344.92	c iter 982 time 1324.42 not-muc 71335 unknown 1842 muc 301
1344.86/1344.92	c iter 983 time 1328.97 not-muc 71336 unknown 1841 muc 301
1344.86/1344.92	c iter 984 time 1334.97 not-muc 71337 unknown 1840 muc 301
1344.86/1344.92	c iter 985 time 1336.5 not-muc 71337 unknown 1839 muc 302
1344.86/1344.92	c iter 986 time 1336.51 not-muc 71337 unknown 1838 muc 303
1344.86/1344.92	c iter 987 time 1336.51 not-muc 71337 unknown 1837 muc 304
1344.86/1344.92	c iter 988 time 1336.53 not-muc 71337 unknown 1836 muc 305
1468.76/1468.86	c iter 989 time 1340.65 not-muc 71338 unknown 1835 muc 305
1468.76/1468.86	c iter 990 time 1342.01 not-muc 71338 unknown 1834 muc 306
1468.76/1468.86	c iter 991 time 1346.63 not-muc 71339 unknown 1833 muc 306
1468.76/1468.86	c iter 992 time 1348.96 not-muc 71340 unknown 1832 muc 306
1468.76/1468.86	c iter 993 time 1349.08 not-muc 71340 unknown 1831 muc 307
1468.76/1468.86	c iter 994 time 1352.52 not-muc 71341 unknown 1830 muc 307
1468.76/1468.86	c iter 995 time 1358.06 not-muc 71342 unknown 1829 muc 307
1468.76/1468.86	c iter 996 time 1364.44 not-muc 71342 unknown 1828 muc 308
1468.76/1468.86	c iter 997 time 1364.46 not-muc 71342 unknown 1827 muc 309
1468.76/1468.86	c iter 998 time 1364.98 not-muc 71342 unknown 1826 muc 310
1468.76/1468.86	c iter 999 time 1365 not-muc 71342 unknown 1825 muc 311
1468.76/1468.86	c iter 1000 time 1366.69 not-muc 71343 unknown 1824 muc 311
1468.76/1468.86	c iter 1001 time 1366.83 not-muc 71343 unknown 1823 muc 312
1468.76/1468.86	c iter 1002 time 1367.22 not-muc 71343 unknown 1822 muc 313
1468.76/1468.86	c iter 1003 time 1370.71 not-muc 71344 unknown 1821 muc 313
1468.76/1468.86	c iter 1004 time 1370.73 not-muc 71344 unknown 1820 muc 314
1468.76/1468.86	c iter 1005 time 1376.26 not-muc 71345 unknown 1819 muc 314
1468.76/1468.86	c iter 1006 time 1378.55 not-muc 71346 unknown 1818 muc 314
1468.76/1468.86	c iter 1007 time 1378.95 not-muc 71346 unknown 1817 muc 315
1468.76/1468.86	c iter 1008 time 1379.16 not-muc 71346 unknown 1816 muc 316
1468.76/1468.86	c iter 1009 time 1379.71 not-muc 71346 unknown 1815 muc 317
1468.76/1468.86	c iter 1010 time 1380.11 not-muc 71346 unknown 1814 muc 318
1468.76/1468.86	c iter 1011 time 1380.6 not-muc 71346 unknown 1813 muc 319
1468.76/1468.86	c iter 1012 time 1380.68 not-muc 71346 unknown 1812 muc 320
1468.76/1468.86	c iter 1013 time 1383.14 not-muc 71347 unknown 1811 muc 320
1468.76/1468.86	c iter 1014 time 1384.4 not-muc 71347 unknown 1810 muc 321
1468.76/1468.86	c iter 1015 time 1388.15 not-muc 71348 unknown 1809 muc 321
1468.76/1468.86	c iter 1016 time 1388.64 not-muc 71348 unknown 1808 muc 322
1468.76/1468.86	c iter 1017 time 1389.17 not-muc 71348 unknown 1807 muc 323
1468.76/1468.86	c iter 1018 time 1390.26 not-muc 71349 unknown 1806 muc 323
1468.76/1468.86	c iter 1019 time 1390.6 not-muc 71349 unknown 1805 muc 324
1468.76/1468.86	c iter 1020 time 1394.46 not-muc 71350 unknown 1804 muc 324
1468.76/1468.86	c iter 1021 time 1400.1 not-muc 71351 unknown 1803 muc 324
1468.76/1468.86	c iter 1022 time 1405.73 not-muc 71352 unknown 1802 muc 324
1468.76/1468.86	c iter 1023 time 1407.95 not-muc 71353 unknown 1801 muc 324
1468.76/1468.86	c iter 1024 time 1412.07 not-muc 71354 unknown 1800 muc 324
1468.76/1468.86	c iter 1025 time 1412.29 not-muc 71354 unknown 1799 muc 325
1468.76/1468.86	c iter 1026 time 1417.48 not-muc 71355 unknown 1798 muc 325
1468.76/1468.86	c iter 1027 time 1417.62 not-muc 71355 unknown 1797 muc 326
1468.76/1468.86	c iter 1028 time 1418.18 not-muc 71355 unknown 1796 muc 327
1468.76/1468.86	c iter 1029 time 1418.23 not-muc 71355 unknown 1795 muc 328
1468.76/1468.86	c iter 1030 time 1422.97 not-muc 71356 unknown 1794 muc 328
1468.76/1468.86	c iter 1031 time 1423.57 not-muc 71356 unknown 1793 muc 329
1468.76/1468.86	c iter 1032 time 1423.59 not-muc 71356 unknown 1792 muc 330
1468.76/1468.86	c iter 1033 time 1425.09 not-muc 71357 unknown 1791 muc 330
1468.76/1468.86	c iter 1034 time 1429.42 not-muc 71358 unknown 1790 muc 330
1468.76/1468.86	c iter 1035 time 1430.15 not-muc 71358 unknown 1789 muc 331
1468.76/1468.86	c iter 1036 time 1430.22 not-muc 71358 unknown 1788 muc 332
1468.76/1468.86	c iter 1037 time 1432.44 not-muc 71358 unknown 1787 muc 333
1468.76/1468.86	c iter 1038 time 1436.29 not-muc 71359 unknown 1786 muc 333
1468.76/1468.86	c iter 1039 time 1439.71 not-muc 71359 unknown 1785 muc 334
1468.76/1468.86	c iter 1040 time 1439.75 not-muc 71359 unknown 1784 muc 335
1468.76/1468.86	c iter 1041 time 1439.76 not-muc 71359 unknown 1783 muc 336
1468.76/1468.86	c iter 1042 time 1439.77 not-muc 71359 unknown 1782 muc 337
1468.76/1468.86	c iter 1043 time 1440 not-muc 71359 unknown 1781 muc 338
1468.76/1468.86	c iter 1044 time 1440.03 not-muc 71359 unknown 1780 muc 339
1468.76/1468.86	c iter 1045 time 1447.73 not-muc 71360 unknown 1779 muc 339
1468.76/1468.86	c iter 1046 time 1448.34 not-muc 71360 unknown 1778 muc 340
1468.76/1468.86	c iter 1047 time 1448.49 not-muc 71360 unknown 1777 muc 341
1468.76/1468.86	c iter 1048 time 1448.49 not-muc 71360 unknown 1776 muc 342
1468.76/1468.86	c iter 1049 time 1451.48 not-muc 71360 unknown 1775 muc 343
1468.76/1468.86	c iter 1050 time 1452.27 not-muc 71360 unknown 1774 muc 344
1468.76/1468.86	c iter 1051 time 1452.29 not-muc 71360 unknown 1773 muc 345
1468.76/1468.86	c iter 1052 time 1452.54 not-muc 71360 unknown 1772 muc 346
1468.76/1468.86	c iter 1053 time 1452.57 not-muc 71360 unknown 1771 muc 347
1468.76/1468.86	c iter 1054 time 1452.74 not-muc 71360 unknown 1770 muc 348
1468.76/1468.86	c iter 1055 time 1453.4 not-muc 71360 unknown 1769 muc 349
1468.76/1468.86	c iter 1056 time 1458.62 not-muc 71362 unknown 1767 muc 349
1468.76/1468.86	c iter 1057 time 1459.75 not-muc 71362 unknown 1766 muc 350
1618.07/1618.10	c iter 1058 time 1464.62 not-muc 71363 unknown 1765 muc 350
1618.07/1618.10	c iter 1059 time 1464.72 not-muc 71363 unknown 1764 muc 351
1618.07/1618.10	c iter 1060 time 1464.86 not-muc 71363 unknown 1763 muc 352
1618.07/1618.10	c iter 1061 time 1470.2 not-muc 71364 unknown 1762 muc 352
1618.07/1618.10	c iter 1062 time 1475.52 not-muc 71365 unknown 1761 muc 352
1618.07/1618.10	c iter 1063 time 1475.57 not-muc 71365 unknown 1760 muc 353
1618.07/1618.10	c iter 1064 time 1477.5 not-muc 71366 unknown 1759 muc 353
1618.07/1618.10	c iter 1065 time 1477.61 not-muc 71366 unknown 1758 muc 354
1618.07/1618.10	c iter 1066 time 1480.14 not-muc 71366 unknown 1757 muc 355
1618.07/1618.10	c iter 1067 time 1481.99 not-muc 71366 unknown 1756 muc 356
1618.07/1618.10	c iter 1068 time 1482.49 not-muc 71366 unknown 1755 muc 357
1618.07/1618.10	c iter 1069 time 1482.97 not-muc 71366 unknown 1754 muc 358
1618.07/1618.10	c iter 1070 time 1485.86 not-muc 71366 unknown 1753 muc 359
1618.07/1618.10	c iter 1071 time 1486.89 not-muc 71366 unknown 1752 muc 360
1618.07/1618.10	c iter 1072 time 1488.88 not-muc 71367 unknown 1751 muc 360
1618.07/1618.10	c iter 1073 time 1488.94 not-muc 71367 unknown 1750 muc 361
1618.07/1618.10	c iter 1074 time 1489.56 not-muc 71367 unknown 1749 muc 362
1618.07/1618.10	c iter 1075 time 1493.21 not-muc 71368 unknown 1748 muc 362
1618.07/1618.10	c iter 1076 time 1498.12 not-muc 71369 unknown 1747 muc 362
1618.07/1618.10	c iter 1077 time 1500.33 not-muc 71370 unknown 1746 muc 362
1618.07/1618.10	c iter 1078 time 1500.71 not-muc 71370 unknown 1745 muc 363
1618.07/1618.10	c iter 1079 time 1504.31 not-muc 71371 unknown 1744 muc 363
1618.07/1618.10	c iter 1080 time 1504.32 not-muc 71371 unknown 1743 muc 364
1618.07/1618.10	c iter 1081 time 1506.49 not-muc 71372 unknown 1742 muc 364
1618.07/1618.10	c iter 1082 time 1507.22 not-muc 71372 unknown 1741 muc 365
1618.07/1618.10	c iter 1083 time 1511.13 not-muc 71373 unknown 1740 muc 365
1618.07/1618.10	c iter 1084 time 1511.2 not-muc 71373 unknown 1739 muc 366
1618.07/1618.10	c iter 1085 time 1511.46 not-muc 71373 unknown 1738 muc 367
1618.07/1618.10	c iter 1086 time 1511.47 not-muc 71373 unknown 1737 muc 368
1618.07/1618.10	c iter 1087 time 1511.52 not-muc 71373 unknown 1736 muc 369
1618.07/1618.10	c iter 1088 time 1516.24 not-muc 71374 unknown 1735 muc 369
1618.07/1618.10	c iter 1089 time 1516.91 not-muc 71374 unknown 1734 muc 370
1618.07/1618.10	c iter 1090 time 1517.36 not-muc 71374 unknown 1733 muc 371
1618.07/1618.10	c iter 1091 time 1517.37 not-muc 71374 unknown 1732 muc 372
1618.07/1618.10	c iter 1092 time 1517.38 not-muc 71374 unknown 1731 muc 373
1618.07/1618.10	c iter 1093 time 1522.49 not-muc 71375 unknown 1730 muc 373
1618.07/1618.10	c iter 1094 time 1524.14 not-muc 71376 unknown 1729 muc 373
1618.07/1618.10	c iter 1095 time 1528.31 not-muc 71377 unknown 1728 muc 373
1618.07/1618.10	c iter 1096 time 1528.35 not-muc 71377 unknown 1727 muc 374
1618.07/1618.10	c iter 1097 time 1529.76 not-muc 71378 unknown 1726 muc 374
1618.07/1618.10	c iter 1098 time 1534.94 not-muc 71380 unknown 1724 muc 374
1618.07/1618.10	c iter 1099 time 1535.75 not-muc 71381 unknown 1723 muc 374
1618.07/1618.10	c iter 1100 time 1541.12 not-muc 71382 unknown 1722 muc 374
1618.07/1618.10	c iter 1101 time 1541.18 not-muc 71382 unknown 1721 muc 375
1618.07/1618.10	c iter 1102 time 1541.2 not-muc 71382 unknown 1720 muc 376
1618.07/1618.10	c iter 1103 time 1547.01 not-muc 71383 unknown 1719 muc 376
1618.07/1618.10	c iter 1104 time 1547.17 not-muc 71383 unknown 1718 muc 377
1618.07/1618.10	c iter 1105 time 1548.55 not-muc 71383 unknown 1717 muc 378
1618.07/1618.10	c iter 1106 time 1548.7 not-muc 71383 unknown 1716 muc 379
1618.07/1618.10	c iter 1107 time 1550.29 not-muc 71383 unknown 1715 muc 380
1618.07/1618.10	c iter 1108 time 1553.33 not-muc 71384 unknown 1714 muc 380
1618.07/1618.10	c iter 1109 time 1553.83 not-muc 71384 unknown 1713 muc 381
1618.07/1618.10	c iter 1110 time 1558.93 not-muc 71385 unknown 1712 muc 381
1618.07/1618.10	c iter 1111 time 1558.96 not-muc 71385 unknown 1711 muc 382
1618.07/1618.10	c iter 1112 time 1564.67 not-muc 71386 unknown 1710 muc 382
1618.07/1618.10	c iter 1113 time 1564.94 not-muc 71386 unknown 1709 muc 383
1618.07/1618.10	c iter 1114 time 1565 not-muc 71386 unknown 1708 muc 384
1618.07/1618.10	c iter 1115 time 1571.46 not-muc 71387 unknown 1707 muc 384
1618.07/1618.10	c iter 1116 time 1576.95 not-muc 71388 unknown 1706 muc 384
1618.07/1618.10	c iter 1117 time 1583.7 not-muc 71389 unknown 1705 muc 384
1618.07/1618.10	c iter 1118 time 1586.47 not-muc 71389 unknown 1704 muc 385
1618.07/1618.10	c iter 1119 time 1586.83 not-muc 71389 unknown 1703 muc 386
1618.07/1618.10	c iter 1120 time 1590.17 not-muc 71390 unknown 1702 muc 386
1618.07/1618.10	c iter 1121 time 1594.86 not-muc 71391 unknown 1701 muc 386
1618.07/1618.10	c iter 1122 time 1600.88 not-muc 71392 unknown 1700 muc 386
1618.07/1618.10	c iter 1123 time 1607.27 not-muc 71393 unknown 1699 muc 386
1618.07/1618.10	c iter 1124 time 1607.4 not-muc 71393 unknown 1698 muc 387
1618.07/1618.10	c iter 1125 time 1608.1 not-muc 71393 unknown 1697 muc 388
1733.97/1734.06	c iter 1126 time 1608.13 not-muc 71393 unknown 1696 muc 389
1733.97/1734.06	c iter 1127 time 1608.27 not-muc 71393 unknown 1695 muc 390
1733.97/1734.06	c iter 1128 time 1608.33 not-muc 71393 unknown 1694 muc 391
1733.97/1734.06	c iter 1129 time 1609.94 not-muc 71393 unknown 1693 muc 392
1733.97/1734.06	c iter 1130 time 1613.66 not-muc 71394 unknown 1692 muc 392
1733.97/1734.06	c iter 1131 time 1613.68 not-muc 71394 unknown 1691 muc 393
1733.97/1734.06	c iter 1132 time 1613.72 not-muc 71394 unknown 1690 muc 394
1733.97/1734.06	c iter 1133 time 1613.75 not-muc 71394 unknown 1689 muc 395
1733.97/1734.06	c iter 1134 time 1613.77 not-muc 71394 unknown 1688 muc 396
1733.97/1734.06	c iter 1135 time 1618.13 not-muc 71395 unknown 1687 muc 396
1733.97/1734.06	c iter 1136 time 1621.05 not-muc 71396 unknown 1686 muc 396
1733.97/1734.06	c iter 1137 time 1621.36 not-muc 71396 unknown 1685 muc 397
1733.97/1734.06	c iter 1138 time 1621.37 not-muc 71396 unknown 1684 muc 398
1733.97/1734.06	c iter 1139 time 1621.94 not-muc 71396 unknown 1683 muc 399
1733.97/1734.06	c iter 1140 time 1625.35 not-muc 71397 unknown 1682 muc 399
1733.97/1734.06	c iter 1141 time 1625.36 not-muc 71397 unknown 1681 muc 400
1733.97/1734.06	c iter 1142 time 1625.47 not-muc 71397 unknown 1680 muc 401
1733.97/1734.06	c iter 1143 time 1625.56 not-muc 71397 unknown 1679 muc 402
1733.97/1734.06	c iter 1144 time 1630.26 not-muc 71398 unknown 1678 muc 402
1733.97/1734.06	c iter 1145 time 1632.23 not-muc 71398 unknown 1677 muc 403
1733.97/1734.06	c iter 1146 time 1633.77 not-muc 71398 unknown 1676 muc 404
1733.97/1734.06	c iter 1147 time 1634.1 not-muc 71398 unknown 1675 muc 405
1733.97/1734.06	c iter 1148 time 1638.04 not-muc 71399 unknown 1674 muc 405
1733.97/1734.06	c iter 1149 time 1638.39 not-muc 71399 unknown 1673 muc 406
1733.97/1734.06	c iter 1150 time 1638.41 not-muc 71399 unknown 1672 muc 407
1733.97/1734.06	c iter 1151 time 1638.46 not-muc 71399 unknown 1671 muc 408
1733.97/1734.06	c iter 1152 time 1642.14 not-muc 71400 unknown 1670 muc 408
1733.97/1734.06	c iter 1153 time 1642.84 not-muc 71400 unknown 1669 muc 409
1733.97/1734.06	c iter 1154 time 1642.85 not-muc 71400 unknown 1668 muc 410
1733.97/1734.06	c iter 1155 time 1643.19 not-muc 71400 unknown 1667 muc 411
1733.97/1734.06	c iter 1156 time 1643.7 not-muc 71403 unknown 1664 muc 411
1733.97/1734.06	c iter 1157 time 1643.87 not-muc 71403 unknown 1663 muc 412
1733.97/1734.06	c iter 1158 time 1646.89 not-muc 71403 unknown 1662 muc 413
1733.97/1734.06	c iter 1159 time 1652.88 not-muc 71404 unknown 1661 muc 413
1733.97/1734.06	c iter 1160 time 1654.39 not-muc 71405 unknown 1660 muc 413
1733.97/1734.06	c iter 1161 time 1654.89 not-muc 71405 unknown 1659 muc 414
1733.97/1734.06	c iter 1162 time 1659.24 not-muc 71406 unknown 1658 muc 414
1733.97/1734.06	c iter 1163 time 1659.26 not-muc 71406 unknown 1657 muc 415
1733.97/1734.06	c iter 1164 time 1664.86 not-muc 71407 unknown 1656 muc 415
1733.97/1734.06	c iter 1165 time 1666.26 not-muc 71408 unknown 1655 muc 415
1733.97/1734.06	c iter 1166 time 1670.75 not-muc 71409 unknown 1654 muc 415
1733.97/1734.06	c iter 1167 time 1676.35 not-muc 71410 unknown 1653 muc 415
1733.97/1734.06	c iter 1168 time 1676.36 not-muc 71410 unknown 1652 muc 416
1733.97/1734.06	c iter 1169 time 1681.81 not-muc 71411 unknown 1651 muc 416
1733.97/1734.06	c iter 1170 time 1682.24 not-muc 71411 unknown 1650 muc 417
1733.97/1734.06	c iter 1171 time 1687.4 not-muc 71412 unknown 1649 muc 417
1733.97/1734.06	c iter 1172 time 1692.98 not-muc 71414 unknown 1647 muc 417
1733.97/1734.06	c iter 1173 time 1693.09 not-muc 71414 unknown 1646 muc 418
1733.97/1734.06	c iter 1174 time 1699.2 not-muc 71415 unknown 1645 muc 418
1733.97/1734.06	c iter 1175 time 1703.88 not-muc 71416 unknown 1644 muc 418
1733.97/1734.06	c iter 1176 time 1703.9 not-muc 71416 unknown 1643 muc 419
1733.97/1734.06	c iter 1177 time 1709.41 not-muc 71417 unknown 1642 muc 419
1733.97/1734.06	c iter 1178 time 1709.5 not-muc 71417 unknown 1641 muc 420
1733.97/1734.06	c iter 1179 time 1709.51 not-muc 71417 unknown 1640 muc 421
1733.97/1734.06	c iter 1180 time 1709.67 not-muc 71417 unknown 1639 muc 422
1733.97/1734.06	c iter 1181 time 1710.23 not-muc 71417 unknown 1638 muc 423
1733.97/1734.06	c iter 1182 time 1710.5 not-muc 71417 unknown 1637 muc 424
1733.97/1734.06	c iter 1183 time 1710.55 not-muc 71417 unknown 1636 muc 425
1733.97/1734.06	c iter 1184 time 1711.23 not-muc 71417 unknown 1635 muc 426
1733.97/1734.06	c iter 1185 time 1711.31 not-muc 71417 unknown 1634 muc 427
1733.97/1734.06	c iter 1186 time 1713.32 not-muc 71417 unknown 1633 muc 428
1733.97/1734.06	c iter 1187 time 1713.79 not-muc 71417 unknown 1632 muc 429
1733.97/1734.06	c iter 1188 time 1716.52 not-muc 71419 unknown 1630 muc 429
1733.97/1734.06	c iter 1189 time 1716.52 not-muc 71419 unknown 1629 muc 430
1733.97/1734.06	c iter 1190 time 1716.69 not-muc 71419 unknown 1628 muc 431
1733.97/1734.06	c iter 1191 time 1716.7 not-muc 71419 unknown 1627 muc 432
1733.97/1734.06	c iter 1192 time 1722.14 not-muc 71420 unknown 1626 muc 432
1733.97/1734.06	c iter 1193 time 1722.29 not-muc 71420 unknown 1625 muc 433
1733.97/1734.06	c iter 1194 time 172

Verifier Data 

ERROR: Unexpected answer ! (UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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

running on 2 cores: 5,7

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: 1.00 1.18 2.04 4/189 2300
/proc/meminfo: memFree=31549416/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=21416 CPUtime=0 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 864 0 0 0 0 0 0 0 25 0 1 0 892539014 21929984 782 33554432000 4194304 4311632 140737445659952 18446744073709551615 270613136490 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 5385 782 216 29 0 2014 0

[startup+0.0731831 s]
/proc/loadavg: 1.00 1.18 2.04 4/189 2300
/proc/meminfo: memFree=31549416/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=33628 CPUtime=0.06 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 4559 0 0 0 6 0 0 0 25 0 1 0 892539014 34435072 4290 33554432000 4194304 4311632 140737445659952 18446744073709551615 270612771525 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 8407 4290 225 29 0 5036 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 33628

[startup+0.101169 s]
/proc/loadavg: 1.00 1.18 2.04 4/189 2300
/proc/meminfo: memFree=31549416/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=34516 CPUtime=0.09 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 4911 0 0 0 9 0 0 0 25 0 1 0 892539014 35344384 4631 33554432000 4194304 4311632 140737445659952 18446744073709551615 4232256 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 8629 4631 225 29 0 5258 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34516

[startup+0.300131 s]
/proc/loadavg: 1.00 1.18 2.04 4/189 2300
/proc/meminfo: memFree=31549416/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=31196 CPUtime=0.29 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 5980 0 0 0 29 0 0 0 25 0 1 0 892539014 31944704 4331 33554432000 4194304 4311632 140737445659952 18446744073709551615 270616547760 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 7799 4331 245 29 0 4428 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31196

[startup+0.701066 s]
/proc/loadavg: 1.00 1.18 2.04 4/189 2300
/proc/meminfo: memFree=31549416/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=40012 CPUtime=0.69 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 7606 0 0 0 68 1 0 0 25 0 1 0 892539014 40972288 5957 33554432000 4194304 4311632 140737445659952 18446744073709551615 4271832 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 10003 5960 245 29 0 6632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40012

[startup+1.50093 s]
/proc/loadavg: 1.00 1.18 2.04 4/184 2365
/proc/meminfo: memFree=31520324/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=47192 CPUtime=1.49 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 9756 0 0 0 148 1 0 0 25 0 1 0 892539014 48324608 8106 33554432000 4194304 4311632 140737445659952 18446744073709551615 4286219 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 11798 8106 246 29 0 8427 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47192

[startup+3.10065 s]
/proc/loadavg: 1.00 1.18 2.04 4/178 2390
/proc/meminfo: memFree=31505668/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=77836 CPUtime=3.09 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 17732 0 0 0 308 1 0 0 25 0 1 0 892539014 79704064 16079 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264419 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 19459 16079 246 29 0 16088 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77836

[startup+6.30108 s]
/proc/loadavg: 1.08 1.19 2.04 3/178 2390
/proc/meminfo: memFree=31369144/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=240628 CPUtime=6.28 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 39625 0 0 0 624 4 0 0 25 0 1 0 892539014 246403072 37960 33554432000 4194304 4311632 140737445659952 18446744073709551615 4271824 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 60157 37960 263 29 0 56786 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 240628

[startup+12.7009 s]
/proc/loadavg: 1.15 1.20 2.04 3/178 2390
/proc/meminfo: memFree=31093088/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=373980 CPUtime=12.69 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 75411 0 0 0 1259 10 0 0 25 0 1 0 892539014 382955520 73717 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 93495 73717 264 29 0 90124 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 373980

[startup+25.5007 s]
/proc/loadavg: 1.34 1.24 2.03 3/178 2390
/proc/meminfo: memFree=30967988/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=242712 CPUtime=25.49 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 138757 0 0 0 2528 21 0 0 25 0 1 0 892539014 248537088 42237 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264281 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 60678 42237 264 29 0 57307 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 242712

[startup+51.1011 s]
/proc/loadavg: 1.56 1.30 2.03 3/178 2391
/proc/meminfo: memFree=31432164/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=112600 CPUtime=51.08 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 244911 0 0 0 5070 38 0 0 25 0 1 0 892539014 115302400 22576 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 28150 22576 264 29 0 24779 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 112600

[startup+102.307 s]
/proc/loadavg: 1.81 1.41 2.03 3/178 2393
/proc/meminfo: memFree=31313968/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=165348 CPUtime=102.3 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 457714 0 0 0 10158 72 0 0 25 0 1 0 892539014 169316352 33526 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 41337 33526 264 29 0 37966 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 165348

[startup+162.3 s]
/proc/loadavg: 1.93 1.51 2.02 3/178 2394
/proc/meminfo: memFree=31264060/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=44140 CPUtime=162.28 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 681329 0 0 0 16116 112 0 0 25 0 1 0 892539014 45199360 7145 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264430 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 11035 7145 264 29 0 7664 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 44140

[startup+222.301 s]
/proc/loadavg: 2.05 1.61 2.02 3/178 2396
/proc/meminfo: memFree=31341756/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=250064 CPUtime=222.29 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 899408 0 0 0 22078 151 0 0 25 0 1 0 892539014 256065536 42220 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264702 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 62516 42220 264 29 0 59145 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 250064

[startup+282.3 s]
/proc/loadavg: 2.02 1.68 2.01 3/178 2397
/proc/meminfo: memFree=31475396/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=124124 CPUtime=282.28 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 1119957 0 0 0 28037 191 0 0 25 0 1 0 892539014 127102976 20084 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 31031 20084 264 29 0 27660 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 124124

[startup+342.301 s]
/proc/loadavg: 2.00 1.74 2.01 3/178 2399
/proc/meminfo: memFree=31312520/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=175088 CPUtime=342.28 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 1333523 0 0 0 33999 229 0 0 25 0 1 0 892539014 179290112 35459 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264702 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 43772 35460 264 29 0 40401 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 175088

[startup+402.301 s]
/proc/loadavg: 2.00 1.78 2.00 3/178 2401
/proc/meminfo: memFree=31478776/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=95592 CPUtime=402.28 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 1548524 0 0 0 39959 269 0 0 25 0 1 0 892539014 97886208 17545 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264352 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 23898 17545 264 29 0 20527 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 95592

[startup+462.3 s]
/proc/loadavg: 2.00 1.82 2.00 3/178 2402
/proc/meminfo: memFree=31212244/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=54548 CPUtime=462.27 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 1772037 0 0 0 45917 310 0 0 25 0 1 0 892539014 55857152 9924 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 13637 9924 264 29 0 10266 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 54548

[startup+522.301 s]
/proc/loadavg: 2.00 1.85 2.00 3/178 2404
/proc/meminfo: memFree=31302468/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=178580 CPUtime=522.28 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 1990374 0 0 0 51880 348 0 0 25 0 1 0 892539014 182865920 31065 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 44645 31065 264 29 0 41274 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 178580

[startup+582.301 s]
/proc/loadavg: 2.00 1.87 2.00 3/178 2405
/proc/meminfo: memFree=31343704/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=60884 CPUtime=582.28 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 2204622 0 0 0 57840 388 0 0 25 0 1 0 892539014 62345216 10698 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 15221 10698 264 29 0 11850 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 60884

[startup+642.301 s]

################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 2.00 1.94 2.00 3/178 2413
/proc/meminfo: memFree=31416040/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=84620 CPUtime=882.27 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 3231948 0 0 0 87654 573 0 0 25 0 1 0 892539014 86650880 15510 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 21155 15510 264 29 0 17784 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 84620

[startup+942.3 s]
/proc/loadavg: 2.00 1.95 2.00 3/178 2415
/proc/meminfo: memFree=31421476/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=135516 CPUtime=942.27 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 3432074 0 0 0 93617 610 0 0 25 0 1 0 892539014 138768384 26976 33554432000 4194304 4311632 140737445659952 18446744073709551615 4259588 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 33879 26976 264 29 0 30508 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 135516

[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 2.00 3/178 2417
/proc/meminfo: memFree=31245720/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=136620 CPUtime=1002.27 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 3632481 0 0 0 99581 646 0 0 25 0 1 0 892539014 139898880 27861 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264632 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 34155 27861 264 29 0 30784 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 136620

[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 2.00 3/178 2418
/proc/meminfo: memFree=31254852/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=187912 CPUtime=1062.27 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 3825100 0 0 0 105547 680 0 0 25 0 1 0 892539014 192421888 31074 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 46978 31074 264 29 0 43607 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 187912

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2420
/proc/meminfo: memFree=31253548/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=58540 CPUtime=1122.26 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 4020120 0 0 0 111511 715 0 0 25 0 1 0 892539014 59944960 11109 33554432000 4194304 4311632 140737445659952 18446744073709551615 4271553 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 14635 11109 264 29 0 11264 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 58540

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2421
/proc/meminfo: memFree=31329768/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=108544 CPUtime=1182.27 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 4208795 0 0 0 117476 751 0 0 25 0 1 0 892539014 111149056 19412 33554432000 4194304 4311632 140737445659952 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 27136 19412 264 29 0 23765 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 108544

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2423
/proc/meminfo: memFree=31231872/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=67328 CPUtime=1242.26 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 4396222 0 0 0 123443 783 0 0 25 0 1 0 892539014 68943872 12754 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264624 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 16832 12754 264 29 0 13461 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 67328

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2425
/proc/meminfo: memFree=31306116/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=110432 CPUtime=1302.27 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 4584494 0 0 0 129412 815 0 0 25 0 1 0 892539014 113082368 23391 33554432000 4194304 4311632 140737445659952 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 27608 23391 264 29 0 24237 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 110432

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2426
/proc/meminfo: memFree=31336952/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=141956 CPUtime=1362.25 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 4766424 0 0 0 135380 845 0 0 25 0 1 0 892539014 145362944 25782 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 35489 25782 264 29 0 32118 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 141956

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2428
/proc/meminfo: memFree=31298308/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=142748 CPUtime=1422.26 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 4950578 0 0 0 141345 881 0 0 25 0 1 0 892539014 146173952 29012 33554432000 4194304 4311632 140737445659952 18446744073709551615 4272534 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 35687 29012 264 29 0 32316 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 142748

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2429
/proc/meminfo: memFree=31393876/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=82224 CPUtime=1482.27 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 5133063 0 0 0 147309 918 0 0 25 0 1 0 892539014 84197376 15880 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 20556 15880 264 29 0 17185 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 82224

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2431
/proc/meminfo: memFree=31373256/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=94732 CPUtime=1542.26 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 5322915 0 0 0 153272 954 0 0 25 0 1 0 892539014 97005568 18841 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264246 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 23683 18841 264 29 0 20312 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 94732

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2433
/proc/meminfo: memFree=31367884/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=83956 CPUtime=1602.26 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 5505382 0 0 0 159237 989 0 0 25 0 1 0 892539014 85970944 17256 33554432000 4194304 4311632 140737445659952 18446744073709551615 4272464 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 20989 17256 264 29 0 17618 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 83956

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2434
/proc/meminfo: memFree=31342396/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=96432 CPUtime=1662.26 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 5685952 0 0 0 165205 1021 0 0 25 0 1 0 892539014 98746368 18618 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264608 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 24108 18618 264 29 0 20737 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 96432

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2436
/proc/meminfo: memFree=31318424/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=78428 CPUtime=1722.27 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 5861132 0 0 0 171172 1055 0 0 25 0 1 0 892539014 80310272 15143 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 19607 15143 264 29 0 16236 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 78428

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2437
/proc/meminfo: memFree=31304980/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=117224 CPUtime=1782.26 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 6039862 0 0 0 177137 1089 0 0 25 0 1 0 892539014 120037376 24351 33554432000 4194304 4311632 140737445659952 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 29306 24352 264 29 0 25935 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 117224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2438
/proc/meminfo: memFree=31286112/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=148196 CPUtime=1800.07 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 6092285 0 0 0 178907 1100 0 0 25 0 1 0 892539014 151752704 26046 33554432000 4194304 4311632 140737445659952 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 37049 26046 264 29 0 33678 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 148196

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.1 s]
/proc/loadavg: 2.00 1.97 2.00 3/178 2438
/proc/meminfo: memFree=31286112/32951124 swapFree=67052292/67111528
[pid=2300] ppid=2298 vsize=148196 CPUtime=1800.07 cores=5,7
/proc/2300/stat : 2300 (hmuc-a) R 2298 2300 608 0 -1 4202496 6092285 0 0 0 178907 1100 0 0 25 0 1 0 892539014 151752704 26046 33554432000 4194304 4311632 140737445659952 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2300/statm: 37049 26046 264 29 0 33678 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 148196

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.11
CPU time (s): 1800.09
CPU user time (s): 1789.08
CPU system time (s): 11.0063
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 589556

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

runsolver used 2.72159 second user time and 6.51101 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-11 18:23:01
IDJOB=3494116
IDBENCH=89620
IDSOLVER=1983
FILE ID=node108/3494116-1307809381
RUNJOBID= node108-1307809379-2084
PBS_JOBID= 13551068
Free space on /tmp= 74096 MiB

SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/alu2_gr_rcs_w7.shuffled.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494116-1307809381/watcher-3494116-1307809381 -o /tmp/evaluation-result-3494116-1307809381/solver-3494116-1307809381 -C 1800 -W 1850 -M 7680  HOME/hmuc-a HOME/instance-3494116-1307809381.cnf

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

MD5SUM BENCH= d42b5e34cfb164a6f58db1ec2594faf2
RANDOM SEED=1371072974

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31549836 kB
Buffers:        298692 kB
Cached:         822852 kB
SwapCached:      25932 kB
Active:         567868 kB
Inactive:       618832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31549836 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:            5512 kB
Writeback:           0 kB
AnonPages:       60404 kB
Mapped:           9380 kB
Slab:           150700 kB
PageTables:       5016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   287704 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74096 MiB
End job on node108 at 2011-06-11 18:53:03