Trace number 3494231

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Haifa-MUC 2011-04-07? (MO) 619.509 619.495

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-10-5p0.cnf
MD5SUMb0f091d476e617a8697e9f8acfd1538f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables123925
Number of clauses539763
Sum of the clauses size1252804
Maximum clause length10
Minimum clause length1
Number of clauses of size 15498
Number of clauses of size 2437089
Number of clauses of size 369976
Number of clauses of size 43020
Number of clauses of size 512080
Number of clauses of size over 512100

Solver Data 

149.00/149.05	c WARNING: for repeatability, setting FPU to use double precision
149.00/149.05	c iter 1 time 100.16 not-muc 429257 unknown 110506 muc 0
149.00/149.05	c iter 2 time 110.492 not-muc 441237 unknown 98526 muc 0
149.00/149.05	c iter 3 time 115.697 not-muc 445718 unknown 94045 muc 0
149.00/149.05	c iter 4 time 116.424 not-muc 445718 unknown 94044 muc 1
149.00/149.05	c iter 5 time 118.812 not-muc 445718 unknown 94043 muc 2
149.00/149.05	c iter 6 time 118.877 not-muc 445718 unknown 94042 muc 3
149.00/149.05	c iter 7 time 119.537 not-muc 445718 unknown 94041 muc 4
149.00/149.05	c iter 8 time 119.902 not-muc 445718 unknown 94040 muc 5
149.00/149.05	c iter 9 time 119.95 not-muc 445718 unknown 94039 muc 6
149.00/149.05	c iter 10 time 121.095 not-muc 445718 unknown 94038 muc 7
149.00/149.05	c iter 11 time 121.258 not-muc 445718 unknown 94037 muc 8
149.00/149.05	c iter 12 time 121.86 not-muc 445718 unknown 94036 muc 9
149.00/149.05	c iter 13 time 123.259 not-muc 446259 unknown 93495 muc 9
149.00/149.05	c iter 14 time 123.764 not-muc 446259 unknown 93494 muc 10
149.00/149.05	c iter 15 time 126.589 not-muc 446259 unknown 93493 muc 11
149.00/149.05	c iter 16 time 127.343 not-muc 446259 unknown 93492 muc 12
149.00/149.05	c iter 17 time 127.391 not-muc 446259 unknown 93491 muc 13
149.00/149.05	c iter 18 time 127.595 not-muc 446259 unknown 93490 muc 14
149.00/149.05	c iter 19 time 127.653 not-muc 446259 unknown 93489 muc 15
149.00/149.05	c iter 20 time 131.26 not-muc 448180 unknown 91568 muc 15
149.00/149.05	c iter 21 time 131.872 not-muc 448180 unknown 91567 muc 16
149.00/149.05	c iter 22 time 132.095 not-muc 448180 unknown 91566 muc 17
149.00/149.05	c iter 23 time 133.047 not-muc 448298 unknown 91448 muc 17
149.00/149.05	c iter 24 time 135.147 not-muc 448298 unknown 91447 muc 18
149.00/149.05	c iter 25 time 135.275 not-muc 448298 unknown 91446 muc 19
149.00/149.05	c iter 26 time 135.364 not-muc 448298 unknown 91445 muc 20
149.00/149.05	c iter 27 time 136.386 not-muc 448298 unknown 91444 muc 21
149.00/149.05	c iter 28 time 136.448 not-muc 448298 unknown 91443 muc 22
149.00/149.05	c iter 29 time 136.855 not-muc 448298 unknown 91442 muc 23
149.00/149.05	c iter 30 time 137.955 not-muc 448298 unknown 91441 muc 24
149.00/149.05	c iter 31 time 137.996 not-muc 448298 unknown 91440 muc 25
149.00/149.05	c iter 32 time 138.29 not-muc 448298 unknown 91439 muc 26
149.00/149.05	c iter 33 time 138.326 not-muc 448298 unknown 91438 muc 27
149.00/149.05	c iter 34 time 138.362 not-muc 448298 unknown 91437 muc 28
149.00/149.05	c iter 35 time 138.4 not-muc 448298 unknown 91436 muc 29
149.00/149.05	c iter 36 time 138.436 not-muc 448298 unknown 91435 muc 30
149.00/149.05	c iter 37 time 138.474 not-muc 448298 unknown 91434 muc 31
149.00/149.05	c iter 38 time 138.514 not-muc 448298 unknown 91433 muc 32
149.00/149.05	c iter 39 time 139.051 not-muc 448734 unknown 90997 muc 32
149.00/149.05	c iter 40 time 139.132 not-muc 448734 unknown 90996 muc 33
149.00/149.05	c iter 41 time 139.17 not-muc 448734 unknown 90995 muc 34
149.00/149.05	c iter 42 time 139.209 not-muc 448734 unknown 90994 muc 35
149.00/149.05	c iter 43 time 139.249 not-muc 448734 unknown 90993 muc 36
149.00/149.05	c iter 44 time 139.473 not-muc 448734 unknown 90992 muc 37
149.00/149.05	c iter 45 time 139.552 not-muc 448734 unknown 90991 muc 38
149.00/149.05	c iter 46 time 140.676 not-muc 450233 unknown 89492 muc 38
149.00/149.05	c iter 47 time 141.501 not-muc 450276 unknown 89449 muc 38
149.00/149.05	c iter 48 time 141.738 not-muc 450276 unknown 89448 muc 39
149.00/149.05	c iter 49 time 142.836 not-muc 451192 unknown 88532 muc 39
149.00/149.05	c iter 50 time 143.078 not-muc 451192 unknown 88531 muc 40
149.00/149.05	c iter 51 time 143.114 not-muc 451192 unknown 88530 muc 41
149.00/149.05	c iter 52 time 143.788 not-muc 451277 unknown 88445 muc 41
149.00/149.05	c iter 53 time 143.908 not-muc 451277 unknown 88444 muc 42
149.00/149.05	c iter 54 time 144.689 not-muc 451302 unknown 88419 muc 42
149.00/149.05	c iter 55 time 144.78 not-muc 451302 unknown 88418 muc 43
149.00/149.05	c iter 56 time 145.172 not-muc 451302 unknown 88417 muc 44
149.00/149.05	c iter 57 time 145.351 not-muc 451302 unknown 88416 muc 45
149.00/149.05	c iter 58 time 145.392 not-muc 451302 unknown 88415 muc 46
149.00/149.05	c iter 59 time 145.524 not-muc 451302 unknown 88414 muc 47
149.00/149.05	c iter 60 time 146.389 not-muc 451607 unknown 88109 muc 47
149.00/149.05	c iter 61 time 146.647 not-muc 451607 unknown 88108 muc 48
149.00/149.05	c iter 62 time 146.69 not-muc 451607 unknown 88107 muc 49
149.00/149.05	c iter 63 time 146.808 not-muc 451607 unknown 88106 muc 50
149.00/149.05	c iter 64 time 146.913 not-muc 451607 unknown 88105 muc 51
149.00/149.05	c iter 65 time 146.948 not-muc 451607 unknown 88104 muc 52
149.00/149.05	c iter 66 time 147.736 not-muc 451675 unknown 88036 muc 52
149.00/149.05	c iter 67 time 147.801 not-muc 451675 unknown 88035 muc 53
149.00/149.05	c iter 68 time 147.838 not-muc 451675 unknown 88034 muc 54
149.00/149.05	c iter 69 time 148.483 not-muc 451679 unknown 88030 muc 54
170.60/170.67	c iter 70 time 148.605 not-muc 451679 unknown 88029 muc 55
170.60/170.67	c iter 71 time 148.651 not-muc 451679 unknown 88028 muc 56
170.60/170.67	c iter 72 time 149.14 not-muc 451680 unknown 88027 muc 56
170.60/170.67	c iter 73 time 149.402 not-muc 451680 unknown 88026 muc 57
170.60/170.67	c iter 74 time 149.437 not-muc 451680 unknown 88025 muc 58
170.60/170.67	c iter 75 time 149.918 not-muc 451681 unknown 88024 muc 58
170.60/170.67	c iter 76 time 149.986 not-muc 451681 unknown 88023 muc 59
170.60/170.67	c iter 77 time 150.022 not-muc 451681 unknown 88022 muc 60
170.60/170.67	c iter 78 time 150.391 not-muc 451689 unknown 88014 muc 60
170.60/170.67	c iter 79 time 150.503 not-muc 451689 unknown 88013 muc 61
170.60/170.67	c iter 80 time 150.557 not-muc 451689 unknown 88012 muc 62
170.60/170.67	c iter 81 time 150.715 not-muc 451689 unknown 88011 muc 63
170.60/170.67	c iter 82 time 150.771 not-muc 451689 unknown 88010 muc 64
170.60/170.67	c iter 83 time 150.806 not-muc 451689 unknown 88009 muc 65
170.60/170.67	c iter 84 time 151.168 not-muc 451689 unknown 88008 muc 66
170.60/170.67	c iter 85 time 151.404 not-muc 451689 unknown 88007 muc 67
170.60/170.67	c iter 86 time 151.437 not-muc 451689 unknown 88006 muc 68
170.60/170.67	c iter 87 time 151.6 not-muc 451689 unknown 88005 muc 69
170.60/170.67	c iter 88 time 152.481 not-muc 451872 unknown 87822 muc 69
170.60/170.67	c iter 89 time 153.141 not-muc 452021 unknown 87673 muc 69
170.60/170.67	c iter 90 time 153.215 not-muc 452021 unknown 87672 muc 70
170.60/170.67	c iter 91 time 153.544 not-muc 452024 unknown 87669 muc 70
170.60/170.67	c iter 92 time 154.983 not-muc 452024 unknown 87668 muc 71
170.60/170.67	c iter 93 time 155.454 not-muc 452024 unknown 87667 muc 72
170.60/170.67	c iter 94 time 155.961 not-muc 452028 unknown 87663 muc 72
170.60/170.67	c iter 95 time 156.15 not-muc 452028 unknown 87662 muc 73
170.60/170.67	c iter 96 time 156.183 not-muc 452028 unknown 87661 muc 74
170.60/170.67	c iter 97 time 156.64 not-muc 452028 unknown 87660 muc 75
170.60/170.67	c iter 98 time 157.137 not-muc 452028 unknown 87659 muc 76
170.60/170.67	c iter 99 time 157.633 not-muc 452029 unknown 87658 muc 76
170.60/170.67	c iter 100 time 157.951 not-muc 452029 unknown 87657 muc 77
170.60/170.67	c iter 101 time 158.416 not-muc 452033 unknown 87653 muc 77
170.60/170.67	c iter 102 time 158.58 not-muc 452033 unknown 87652 muc 78
170.60/170.67	c iter 103 time 158.788 not-muc 452033 unknown 87651 muc 79
170.60/170.67	c iter 104 time 159.414 not-muc 452047 unknown 87637 muc 79
170.60/170.67	c iter 105 time 159.572 not-muc 452047 unknown 87636 muc 80
170.60/170.67	c iter 106 time 160.78 not-muc 452097 unknown 87586 muc 80
170.60/170.67	c iter 107 time 160.86 not-muc 452097 unknown 87585 muc 81
170.60/170.67	c iter 108 time 161.555 not-muc 452123 unknown 87559 muc 81
170.60/170.67	c iter 109 time 162.139 not-muc 452799 unknown 86883 muc 81
170.60/170.67	c iter 110 time 162.207 not-muc 452799 unknown 86882 muc 82
170.60/170.67	c iter 111 time 163.369 not-muc 452799 unknown 86881 muc 83
170.60/170.67	c iter 112 time 164.032 not-muc 452799 unknown 86880 muc 84
170.60/170.67	c iter 113 time 164.459 not-muc 452851 unknown 86828 muc 84
170.60/170.67	c iter 114 time 164.708 not-muc 452851 unknown 86827 muc 85
170.60/170.67	c iter 115 time 164.741 not-muc 452851 unknown 86826 muc 86
170.60/170.67	c iter 116 time 164.775 not-muc 452851 unknown 86825 muc 87
170.60/170.67	c iter 117 time 165.144 not-muc 452855 unknown 86821 muc 87
170.60/170.67	c iter 118 time 165.241 not-muc 452855 unknown 86820 muc 88
170.60/170.67	c iter 119 time 165.275 not-muc 452855 unknown 86819 muc 89
170.60/170.67	c iter 120 time 165.31 not-muc 452855 unknown 86818 muc 90
170.60/170.67	c iter 121 time 165.346 not-muc 452855 unknown 86817 muc 91
170.60/170.67	c iter 122 time 165.802 not-muc 452857 unknown 86815 muc 91
170.60/170.67	c iter 123 time 166.046 not-muc 452857 unknown 86814 muc 92
170.60/170.67	c iter 124 time 166.285 not-muc 452857 unknown 86813 muc 93
170.60/170.67	c iter 125 time 166.842 not-muc 452871 unknown 86799 muc 93
170.60/170.67	c iter 126 time 166.914 not-muc 452871 unknown 86798 muc 94
170.60/170.67	c iter 127 time 167.343 not-muc 452873 unknown 86796 muc 94
170.60/170.67	c iter 128 time 167.681 not-muc 452873 unknown 86795 muc 95
170.60/170.67	c iter 129 time 167.718 not-muc 452873 unknown 86794 muc 96
170.60/170.67	c iter 130 time 168.151 not-muc 452882 unknown 86785 muc 96
170.60/170.67	c iter 131 time 168.235 not-muc 452882 unknown 86784 muc 97
170.60/170.67	c iter 132 time 168.369 not-muc 452882 unknown 86783 muc 98
170.60/170.67	c iter 133 time 168.69 not-muc 452884 unknown 86781 muc 98
170.60/170.67	c iter 134 time 168.771 not-muc 452884 unknown 86780 muc 99
170.60/170.67	c iter 135 time 169.276 not-muc 452884 unknown 86779 muc 100
170.60/170.67	c iter 136 time 169.488 not-muc 452884 unknown 86778 muc 101
170.60/170.67	c iter 137 time 169.947 not-muc 452892 unknown 86770 muc 101
170.60/170.67	c iter 138 time 170.009 not-muc 452892 unknown 86769 muc 102
193.61/193.67	c iter 139 time 170.446 not-muc 452895 unknown 86766 muc 102
193.61/193.67	c iter 140 time 170.883 not-muc 452897 unknown 86764 muc 102
193.61/193.67	c iter 141 time 170.931 not-muc 452897 unknown 86763 muc 103
193.61/193.67	c iter 142 time 171.083 not-muc 452897 unknown 86762 muc 104
193.61/193.67	c iter 143 time 171.481 not-muc 452900 unknown 86759 muc 104
193.61/193.67	c iter 144 time 171.758 not-muc 452900 unknown 86758 muc 105
193.61/193.67	c iter 145 time 171.802 not-muc 452900 unknown 86757 muc 106
193.61/193.67	c iter 146 time 172.204 not-muc 452901 unknown 86756 muc 106
193.61/193.67	c iter 147 time 172.256 not-muc 452901 unknown 86755 muc 107
193.61/193.67	c iter 148 time 172.64 not-muc 452902 unknown 86754 muc 107
193.61/193.67	c iter 149 time 172.763 not-muc 452902 unknown 86753 muc 108
193.61/193.67	c iter 150 time 173.383 not-muc 452921 unknown 86734 muc 108
193.61/193.67	c iter 151 time 173.441 not-muc 452921 unknown 86733 muc 109
193.61/193.67	c iter 152 time 174.261 not-muc 452921 unknown 86732 muc 110
193.61/193.67	c iter 153 time 174.307 not-muc 452921 unknown 86731 muc 111
193.61/193.67	c iter 154 time 174.6 not-muc 452921 unknown 86730 muc 112
193.61/193.67	c iter 155 time 174.637 not-muc 452921 unknown 86729 muc 113
193.61/193.67	c iter 156 time 175.165 not-muc 453052 unknown 86598 muc 113
193.61/193.67	c iter 157 time 175.26 not-muc 453052 unknown 86597 muc 114
193.61/193.67	c iter 158 time 175.372 not-muc 453052 unknown 86596 muc 115
193.61/193.67	c iter 159 time 175.816 not-muc 453072 unknown 86576 muc 115
193.61/193.67	c iter 160 time 175.9 not-muc 453072 unknown 86575 muc 116
193.61/193.67	c iter 161 time 175.939 not-muc 453072 unknown 86574 muc 117
193.61/193.67	c iter 162 time 176.439 not-muc 453077 unknown 86569 muc 117
193.61/193.67	c iter 163 time 176.489 not-muc 453077 unknown 86568 muc 118
193.61/193.67	c iter 164 time 176.66 not-muc 453077 unknown 86567 muc 119
193.61/193.67	c iter 165 time 176.846 not-muc 453077 unknown 86566 muc 120
193.61/193.67	c iter 166 time 176.907 not-muc 453077 unknown 86565 muc 121
193.61/193.67	c iter 167 time 177.23 not-muc 453077 unknown 86564 muc 122
193.61/193.67	c iter 168 time 177.667 not-muc 453101 unknown 86540 muc 122
193.61/193.67	c iter 169 time 177.789 not-muc 453101 unknown 86539 muc 123
193.61/193.67	c iter 170 time 178.311 not-muc 453102 unknown 86538 muc 123
193.61/193.67	c iter 171 time 178.756 not-muc 453103 unknown 86537 muc 123
193.61/193.67	c iter 172 time 179.25 not-muc 453103 unknown 86536 muc 124
193.61/193.67	c iter 173 time 179.668 not-muc 453103 unknown 86535 muc 125
193.61/193.67	c iter 174 time 180.19 not-muc 453104 unknown 86534 muc 125
193.61/193.67	c iter 175 time 180.236 not-muc 453104 unknown 86533 muc 126
193.61/193.67	c iter 176 time 180.674 not-muc 453118 unknown 86519 muc 126
193.61/193.67	c iter 177 time 180.757 not-muc 453118 unknown 86518 muc 127
193.61/193.67	c iter 178 time 181.266 not-muc 453132 unknown 86504 muc 127
193.61/193.67	c iter 179 time 181.393 not-muc 453132 unknown 86503 muc 128
193.61/193.67	c iter 180 time 181.612 not-muc 453132 unknown 86502 muc 129
193.61/193.67	c iter 181 time 181.669 not-muc 453132 unknown 86501 muc 130
193.61/193.67	c iter 182 time 181.75 not-muc 453132 unknown 86500 muc 131
193.61/193.67	c iter 183 time 182.195 not-muc 453133 unknown 86499 muc 131
193.61/193.67	c iter 184 time 184.506 not-muc 453358 unknown 86274 muc 131
193.61/193.67	c iter 185 time 184.585 not-muc 453358 unknown 86273 muc 132
193.61/193.67	c iter 186 time 186.131 not-muc 453362 unknown 86269 muc 132
193.61/193.67	c iter 187 time 186.933 not-muc 453382 unknown 86249 muc 132
193.61/193.67	c iter 188 time 186.994 not-muc 453382 unknown 86248 muc 133
193.61/193.67	c iter 189 time 187.053 not-muc 453382 unknown 86247 muc 134
193.61/193.67	c iter 190 time 187.961 not-muc 453419 unknown 86210 muc 134
193.61/193.67	c iter 191 time 188.113 not-muc 453419 unknown 86209 muc 135
193.61/193.67	c iter 192 time 188.593 not-muc 453419 unknown 86208 muc 136
193.61/193.67	c iter 193 time 188.627 not-muc 453419 unknown 86207 muc 137
193.61/193.67	c iter 194 time 188.663 not-muc 453419 unknown 86206 muc 138
193.61/193.67	c iter 195 time 189.016 not-muc 453419 unknown 86205 muc 139
193.61/193.67	c iter 196 time 189.049 not-muc 453419 unknown 86204 muc 140
193.61/193.67	c iter 197 time 189.081 not-muc 453419 unknown 86203 muc 141
193.61/193.67	c iter 198 time 189.229 not-muc 453419 unknown 86202 muc 142
193.61/193.67	c iter 199 time 189.462 not-muc 453419 unknown 86201 muc 143
193.61/193.67	c iter 200 time 189.496 not-muc 453419 unknown 86200 muc 144
193.61/193.67	c iter 201 time 191.304 not-muc 453419 unknown 86199 muc 145
193.61/193.67	c iter 202 time 191.431 not-muc 453419 unknown 86198 muc 146
193.61/193.67	c iter 203 time 192.556 not-muc 453419 unknown 86197 muc 147
193.61/193.67	c iter 204 time 192.758 not-muc 453419 unknown 86196 muc 148
193.61/193.67	c iter 205 time 192.863 not-muc 453419 unknown 86195 muc 149
193.61/193.67	c iter 206 time 192.923 not-muc 453419 unknown 86194 muc 150
210.50/210.56	c iter 207 time 193.014 not-muc 453419 unknown 86193 muc 151
210.50/210.56	c iter 208 time 193.054 not-muc 453419 unknown 86192 muc 152
210.50/210.56	c iter 209 time 193.314 not-muc 453419 unknown 86191 muc 153
210.50/210.56	c iter 210 time 193.348 not-muc 453419 unknown 86190 muc 154
210.50/210.56	c iter 211 time 193.504 not-muc 453419 unknown 86189 muc 155
210.50/210.56	c iter 212 time 193.628 not-muc 453419 unknown 86188 muc 156
210.50/210.56	c iter 213 time 194.27 not-muc 453419 unknown 86187 muc 157
210.50/210.56	c iter 214 time 195.326 not-muc 453419 unknown 86186 muc 158
210.50/210.56	c iter 215 time 195.377 not-muc 453419 unknown 86185 muc 159
210.50/210.56	c iter 216 time 195.494 not-muc 453419 unknown 86184 muc 160
210.50/210.56	c iter 217 time 195.559 not-muc 453419 unknown 86183 muc 161
210.50/210.56	c iter 218 time 195.722 not-muc 453419 unknown 86182 muc 162
210.50/210.56	c iter 219 time 196.196 not-muc 453500 unknown 86101 muc 162
210.50/210.56	c iter 220 time 196.339 not-muc 453500 unknown 86100 muc 163
210.50/210.56	c iter 221 time 196.878 not-muc 453511 unknown 86089 muc 163
210.50/210.56	c iter 222 time 197.219 not-muc 453511 unknown 86088 muc 164
210.50/210.56	c iter 223 time 197.431 not-muc 453511 unknown 86087 muc 165
210.50/210.56	c iter 224 time 197.883 not-muc 453518 unknown 86080 muc 165
210.50/210.56	c iter 225 time 198.012 not-muc 453518 unknown 86079 muc 166
210.50/210.56	c iter 226 time 198.291 not-muc 453518 unknown 86078 muc 167
210.50/210.56	c iter 227 time 198.328 not-muc 453518 unknown 86077 muc 168
210.50/210.56	c iter 228 time 198.375 not-muc 453518 unknown 86076 muc 169
210.50/210.56	c iter 229 time 198.417 not-muc 453518 unknown 86075 muc 170
210.50/210.56	c iter 230 time 198.482 not-muc 453518 unknown 86074 muc 171
210.50/210.56	c iter 231 time 198.522 not-muc 453518 unknown 86073 muc 172
210.50/210.56	c iter 232 time 198.919 not-muc 453520 unknown 86071 muc 172
210.50/210.56	c iter 233 time 199.418 not-muc 453520 unknown 86070 muc 173
210.50/210.56	c iter 234 time 199.92 not-muc 453591 unknown 85999 muc 173
210.50/210.56	c iter 235 time 200.151 not-muc 453591 unknown 85998 muc 174
210.50/210.56	c iter 236 time 200.68 not-muc 453616 unknown 85973 muc 174
210.50/210.56	c iter 237 time 200.745 not-muc 453616 unknown 85972 muc 175
210.50/210.56	c iter 238 time 200.887 not-muc 453616 unknown 85971 muc 176
210.50/210.56	c iter 239 time 201.181 not-muc 453616 unknown 85970 muc 177
210.50/210.56	c iter 240 time 201.278 not-muc 453616 unknown 85969 muc 178
210.50/210.56	c iter 241 time 201.388 not-muc 453616 unknown 85968 muc 179
210.50/210.56	c iter 242 time 201.442 not-muc 453616 unknown 85967 muc 180
210.50/210.56	c iter 243 time 201.712 not-muc 453616 unknown 85966 muc 181
210.50/210.56	c iter 244 time 201.745 not-muc 453616 unknown 85965 muc 182
210.50/210.56	c iter 245 time 201.78 not-muc 453616 unknown 85964 muc 183
210.50/210.56	c iter 246 time 202.085 not-muc 453621 unknown 85959 muc 183
210.50/210.56	c iter 247 time 202.137 not-muc 453621 unknown 85958 muc 184
210.50/210.56	c iter 248 time 202.624 not-muc 453634 unknown 85945 muc 184
210.50/210.56	c iter 249 time 202.756 not-muc 453634 unknown 85944 muc 185
210.50/210.56	c iter 250 time 203.121 not-muc 453636 unknown 85942 muc 185
210.50/210.56	c iter 251 time 203.537 not-muc 453651 unknown 85927 muc 185
210.50/210.56	c iter 252 time 203.596 not-muc 453651 unknown 85926 muc 186
210.50/210.56	c iter 253 time 203.982 not-muc 453654 unknown 85923 muc 186
210.50/210.56	c iter 254 time 204.028 not-muc 453654 unknown 85922 muc 187
210.50/210.56	c iter 255 time 204.34 not-muc 453663 unknown 85913 muc 187
210.50/210.56	c iter 256 time 204.523 not-muc 453663 unknown 85912 muc 188
210.50/210.56	c iter 257 time 204.684 not-muc 453663 unknown 85911 muc 189
210.50/210.56	c iter 258 time 205.086 not-muc 453702 unknown 85872 muc 189
210.50/210.56	c iter 259 time 205.177 not-muc 453702 unknown 85871 muc 190
210.50/210.56	c iter 260 time 205.761 not-muc 453702 unknown 85870 muc 191
210.50/210.56	c iter 261 time 206.38 not-muc 453825 unknown 85747 muc 191
210.50/210.56	c iter 262 time 206.496 not-muc 453825 unknown 85746 muc 192
210.50/210.56	c iter 263 time 206.622 not-muc 453825 unknown 85745 muc 193
210.50/210.56	c iter 264 time 206.759 not-muc 453825 unknown 85744 muc 194
210.50/210.56	c iter 265 time 206.837 not-muc 453825 unknown 85743 muc 195
210.50/210.56	c iter 266 time 206.924 not-muc 453825 unknown 85742 muc 196
210.50/210.56	c iter 267 time 207.016 not-muc 453825 unknown 85741 muc 197
210.50/210.56	c iter 268 time 207.052 not-muc 453825 unknown 85740 muc 198
210.50/210.56	c iter 269 time 207.948 not-muc 453984 unknown 85581 muc 198
210.50/210.56	c iter 270 time 208.568 not-muc 454065 unknown 85500 muc 198
210.50/210.56	c iter 271 time 209.122 not-muc 454812 unknown 84753 muc 198
210.50/210.56	c iter 272 time 209.177 not-muc 454812 unknown 84752 muc 199
210.50/210.56	c iter 273 time 209.751 not-muc 454958 unknown 84606 muc 199
223.70/223.79	c iter 274 time 209.913 not-muc 454958 unknown 84605 muc 200
223.70/223.79	c iter 275 time 210.424 not-muc 455004 unknown 84559 muc 200
223.70/223.79	c iter 276 time 210.542 not-muc 455004 unknown 84558 muc 201
223.70/223.79	c iter 277 time 210.991 not-muc 455013 unknown 84549 muc 201
223.70/223.79	c iter 278 time 211.167 not-muc 455013 unknown 84548 muc 202
223.70/223.79	c iter 279 time 211.529 not-muc 455013 unknown 84547 muc 203
223.70/223.79	c iter 280 time 211.943 not-muc 455025 unknown 84535 muc 203
223.70/223.79	c iter 281 time 212.186 not-muc 455025 unknown 84534 muc 204
223.70/223.79	c iter 282 time 212.225 not-muc 455025 unknown 84533 muc 205
223.70/223.79	c iter 283 time 212.292 not-muc 455025 unknown 84532 muc 206
223.70/223.79	c iter 284 time 212.324 not-muc 455025 unknown 84531 muc 207
223.70/223.79	c iter 285 time 212.366 not-muc 455025 unknown 84530 muc 208
223.70/223.79	c iter 286 time 212.399 not-muc 455025 unknown 84529 muc 209
223.70/223.79	c iter 287 time 212.482 not-muc 455025 unknown 84528 muc 210
223.70/223.79	c iter 288 time 212.518 not-muc 455025 unknown 84527 muc 211
223.70/223.79	c iter 289 time 213.109 not-muc 455428 unknown 84124 muc 211
223.70/223.79	c iter 290 time 213.248 not-muc 455428 unknown 84123 muc 212
223.70/223.79	c iter 291 time 213.321 not-muc 455428 unknown 84122 muc 213
223.70/223.79	c iter 292 time 213.897 not-muc 455738 unknown 83812 muc 213
223.70/223.79	c iter 293 time 213.956 not-muc 455738 unknown 83811 muc 214
223.70/223.79	c iter 294 time 214.074 not-muc 455738 unknown 83810 muc 215
223.70/223.79	c iter 295 time 214.3 not-muc 455738 unknown 83809 muc 216
223.70/223.79	c iter 296 time 214.45 not-muc 455738 unknown 83808 muc 217
223.70/223.79	c iter 297 time 215.138 not-muc 455750 unknown 83796 muc 217
223.70/223.79	c iter 298 time 215.19 not-muc 455750 unknown 83795 muc 218
223.70/223.79	c iter 299 time 215.346 not-muc 455750 unknown 83794 muc 219
223.70/223.79	c iter 300 time 215.426 not-muc 455750 unknown 83793 muc 220
223.70/223.79	c iter 301 time 215.463 not-muc 455750 unknown 83792 muc 221
223.70/223.79	c iter 302 time 215.866 not-muc 455785 unknown 83757 muc 221
223.70/223.79	c iter 303 time 216.084 not-muc 455785 unknown 83756 muc 222
223.70/223.79	c iter 304 time 216.142 not-muc 455785 unknown 83755 muc 223
223.70/223.79	c iter 305 time 216.432 not-muc 455787 unknown 83753 muc 223
223.70/223.79	c iter 306 time 216.553 not-muc 455787 unknown 83752 muc 224
223.70/223.79	c iter 307 time 216.747 not-muc 455787 unknown 83751 muc 225
223.70/223.79	c iter 308 time 216.798 not-muc 455787 unknown 83750 muc 226
223.70/223.79	c iter 309 time 216.832 not-muc 455787 unknown 83749 muc 227
223.70/223.79	c iter 310 time 216.963 not-muc 455787 unknown 83748 muc 228
223.70/223.79	c iter 311 time 217.471 not-muc 455817 unknown 83718 muc 228
223.70/223.79	c iter 312 time 217.644 not-muc 455817 unknown 83717 muc 229
223.70/223.79	c iter 313 time 217.693 not-muc 455817 unknown 83716 muc 230
223.70/223.79	c iter 314 time 217.857 not-muc 455817 unknown 83715 muc 231
223.70/223.79	c iter 315 time 217.917 not-muc 455817 unknown 83714 muc 232
223.70/223.79	c iter 316 time 217.967 not-muc 455817 unknown 83713 muc 233
223.70/223.79	c iter 317 time 218.318 not-muc 455845 unknown 83685 muc 233
223.70/223.79	c iter 318 time 218.717 not-muc 455865 unknown 83665 muc 233
223.70/223.79	c iter 319 time 218.948 not-muc 455865 unknown 83664 muc 234
223.70/223.79	c iter 320 time 219.04 not-muc 455865 unknown 83663 muc 235
223.70/223.79	c iter 321 time 219.074 not-muc 455865 unknown 83662 muc 236
223.70/223.79	c iter 322 time 219.108 not-muc 455865 unknown 83661 muc 237
223.70/223.79	c iter 323 time 219.241 not-muc 455865 unknown 83660 muc 238
223.70/223.79	c iter 324 time 219.523 not-muc 455866 unknown 83659 muc 238
223.70/223.79	c iter 325 time 219.584 not-muc 455866 unknown 83658 muc 239
223.70/223.79	c iter 326 time 219.968 not-muc 455873 unknown 83651 muc 239
223.70/223.79	c iter 327 time 220.036 not-muc 455873 unknown 83650 muc 240
223.70/223.79	c iter 328 time 220.078 not-muc 455873 unknown 83649 muc 241
223.70/223.79	c iter 329 time 220.432 not-muc 455876 unknown 83646 muc 241
223.70/223.79	c iter 330 time 220.486 not-muc 455876 unknown 83645 muc 242
223.70/223.79	c iter 331 time 220.528 not-muc 455876 unknown 83644 muc 243
223.70/223.79	c iter 332 time 220.562 not-muc 455876 unknown 83643 muc 244
223.70/223.79	c iter 333 time 220.607 not-muc 455876 unknown 83642 muc 245
223.70/223.79	c iter 334 time 220.672 not-muc 455876 unknown 83641 muc 246
223.70/223.79	c iter 335 time 221.128 not-muc 455879 unknown 83638 muc 246
223.70/223.79	c iter 336 time 222.162 not-muc 455879 unknown 83637 muc 247
223.70/223.79	c iter 337 time 222.228 not-muc 455879 unknown 83636 muc 248
223.70/223.79	c iter 338 time 222.309 not-muc 455879 unknown 83635 muc 249
223.70/223.79	c iter 339 time 222.441 not-muc 455879 unknown 83634 muc 250
223.70/223.79	c iter 340 time 222.938 not-muc 455958 unknown 83555 muc 250
268.20/268.22	c iter 341 time 223 not-muc 455958 unknown 83554 muc 251
268.20/268.22	c iter 342 time 223.761 not-muc 456001 unknown 83511 muc 251
268.20/268.22	c iter 343 time 223.872 not-muc 456001 unknown 83510 muc 252
268.20/268.22	c iter 344 time 224.518 not-muc 456046 unknown 83465 muc 252
268.20/268.22	c iter 345 time 225.158 not-muc 456080 unknown 83431 muc 252
268.20/268.22	c iter 346 time 225.262 not-muc 456080 unknown 83430 muc 253
268.20/268.22	c iter 347 time 225.355 not-muc 456080 unknown 83429 muc 254
268.20/268.22	c iter 348 time 225.573 not-muc 456080 unknown 83428 muc 255
268.20/268.22	c iter 349 time 225.614 not-muc 456080 unknown 83427 muc 256
268.20/268.22	c iter 350 time 225.674 not-muc 456080 unknown 83426 muc 257
268.20/268.22	c iter 351 time 227.251 not-muc 456258 unknown 83248 muc 257
268.20/268.22	c iter 352 time 227.414 not-muc 456258 unknown 83247 muc 258
268.20/268.22	c iter 353 time 227.508 not-muc 456258 unknown 83246 muc 259
268.20/268.22	c iter 354 time 227.549 not-muc 456258 unknown 83245 muc 260
268.20/268.22	c iter 355 time 227.582 not-muc 456258 unknown 83244 muc 261
268.20/268.22	c iter 356 time 227.618 not-muc 456258 unknown 83243 muc 262
268.20/268.22	c iter 357 time 227.929 not-muc 456258 unknown 83242 muc 263
268.20/268.22	c iter 358 time 229.036 not-muc 456273 unknown 83227 muc 263
268.20/268.22	c iter 359 time 230.195 not-muc 456313 unknown 83187 muc 263
268.20/268.22	c iter 360 time 230.28 not-muc 456313 unknown 83186 muc 264
268.20/268.22	c iter 361 time 230.893 not-muc 456313 unknown 83185 muc 265
268.20/268.22	c iter 362 time 231.289 not-muc 456313 unknown 83184 muc 266
268.20/268.22	c iter 363 time 231.323 not-muc 456313 unknown 83183 muc 267
268.20/268.22	c iter 364 time 231.967 not-muc 456314 unknown 83182 muc 267
268.20/268.22	c iter 365 time 232.027 not-muc 456314 unknown 83181 muc 268
268.20/268.22	c iter 366 time 232.123 not-muc 456314 unknown 83180 muc 269
268.20/268.22	c iter 367 time 232.212 not-muc 456314 unknown 83179 muc 270
268.20/268.22	c iter 368 time 232.417 not-muc 456314 unknown 83178 muc 271
268.20/268.22	c iter 369 time 233.787 not-muc 456899 unknown 82593 muc 271
268.20/268.22	c iter 370 time 234.119 not-muc 456899 unknown 82592 muc 272
268.20/268.22	c iter 371 time 234.307 not-muc 456899 unknown 82591 muc 273
268.20/268.22	c iter 372 time 235.955 not-muc 456912 unknown 82578 muc 273
268.20/268.22	c iter 373 time 236.261 not-muc 456912 unknown 82577 muc 274
268.20/268.22	c iter 374 time 236.333 not-muc 456912 unknown 82576 muc 275
268.20/268.22	c iter 375 time 236.367 not-muc 456912 unknown 82575 muc 276
268.20/268.22	c iter 376 time 236.4 not-muc 456912 unknown 82574 muc 277
268.20/268.22	c iter 377 time 236.434 not-muc 456912 unknown 82573 muc 278
268.20/268.22	c iter 378 time 236.467 not-muc 456912 unknown 82572 muc 279
268.20/268.22	c iter 379 time 237.786 not-muc 456914 unknown 82570 muc 279
268.20/268.22	c iter 380 time 237.909 not-muc 456914 unknown 82569 muc 280
268.20/268.22	c iter 381 time 237.945 not-muc 456914 unknown 82568 muc 281
268.20/268.22	c iter 382 time 238.746 not-muc 456945 unknown 82537 muc 281
268.20/268.22	c iter 383 time 239.006 not-muc 456945 unknown 82536 muc 282
268.20/268.22	c iter 384 time 239.919 not-muc 456945 unknown 82535 muc 283
268.20/268.22	c iter 385 time 239.954 not-muc 456945 unknown 82534 muc 284
268.20/268.22	c iter 386 time 240.07 not-muc 456945 unknown 82533 muc 285
268.20/268.22	c iter 387 time 240.694 not-muc 457112 unknown 82366 muc 285
268.20/268.22	c iter 388 time 240.867 not-muc 457112 unknown 82365 muc 286
268.20/268.22	c iter 389 time 241.176 not-muc 457116 unknown 82361 muc 286
268.20/268.22	c iter 390 time 241.34 not-muc 457116 unknown 82360 muc 287
268.20/268.22	c iter 391 time 241.376 not-muc 457116 unknown 82359 muc 288
268.20/268.22	c iter 392 time 242.93 not-muc 457131 unknown 82344 muc 288
268.20/268.22	c iter 393 time 243.104 not-muc 457131 unknown 82343 muc 289
268.20/268.22	c iter 394 time 243.164 not-muc 457131 unknown 82342 muc 290
268.20/268.22	c iter 395 time 244.859 not-muc 457134 unknown 82339 muc 290
268.20/268.22	c iter 396 time 260.167 not-muc 457921 unknown 81552 muc 290
268.20/268.22	c iter 397 time 260.903 not-muc 457921 unknown 81551 muc 291
268.20/268.22	c iter 398 time 260.95 not-muc 457921 unknown 81550 muc 292
268.20/268.22	c iter 399 time 265.889 not-muc 457973 unknown 81498 muc 292
268.20/268.22	c iter 400 time 266.893 not-muc 457973 unknown 81497 muc 293
268.20/268.22	c iter 401 time 266.928 not-muc 457973 unknown 81496 muc 294
268.20/268.22	c iter 402 time 266.962 not-muc 457973 unknown 81495 muc 295
268.20/268.22	c iter 403 time 266.996 not-muc 457973 unknown 81494 muc 296
268.20/268.22	c iter 404 time 267.03 not-muc 457973 unknown 81493 muc 297
268.20/268.22	c iter 405 time 267.065 not-muc 457973 unknown 81492 muc 298
268.20/268.22	c iter 406 time 267.099 not-muc 457973 unknown 81491 muc 299
268.20/268.22	c iter 407 time 267.133 not-muc 457973 unknown 81490 muc 300
317.91/317.92	c iter 408 time 267.168 not-muc 457973 unknown 81489 muc 301
317.91/317.92	c iter 409 time 267.202 not-muc 457973 unknown 81488 muc 302
317.91/317.92	c iter 410 time 273.465 not-muc 458170 unknown 81291 muc 302
317.91/317.92	c iter 411 time 273.723 not-muc 458170 unknown 81290 muc 303
317.91/317.92	c iter 412 time 273.756 not-muc 458170 unknown 81289 muc 304
317.91/317.92	c iter 413 time 273.79 not-muc 458170 unknown 81288 muc 305
317.91/317.92	c iter 414 time 274.334 not-muc 458170 unknown 81287 muc 306
317.91/317.92	c iter 415 time 277.967 not-muc 458245 unknown 81212 muc 306
317.91/317.92	c iter 416 time 279.104 not-muc 458245 unknown 81211 muc 307
317.91/317.92	c iter 417 time 279.143 not-muc 458245 unknown 81210 muc 308
317.91/317.92	c iter 418 time 280.38 not-muc 458250 unknown 81205 muc 308
317.91/317.92	c iter 419 time 281.995 not-muc 458389 unknown 81066 muc 308
317.91/317.92	c iter 420 time 282.32 not-muc 458389 unknown 81065 muc 309
317.91/317.92	c iter 421 time 282.353 not-muc 458389 unknown 81064 muc 310
317.91/317.92	c iter 422 time 282.391 not-muc 458389 unknown 81063 muc 311
317.91/317.92	c iter 423 time 283.623 not-muc 458404 unknown 81048 muc 311
317.91/317.92	c iter 424 time 283.8 not-muc 458404 unknown 81047 muc 312
317.91/317.92	c iter 425 time 283.905 not-muc 458404 unknown 81046 muc 313
317.91/317.92	c iter 426 time 283.937 not-muc 458404 unknown 81045 muc 314
317.91/317.92	c iter 427 time 286.109 not-muc 459099 unknown 80350 muc 314
317.91/317.92	c iter 428 time 286.547 not-muc 459099 unknown 80349 muc 315
317.91/317.92	c iter 429 time 286.582 not-muc 459099 unknown 80348 muc 316
317.91/317.92	c iter 430 time 286.616 not-muc 459099 unknown 80347 muc 317
317.91/317.92	c iter 431 time 287.068 not-muc 459099 unknown 80346 muc 318
317.91/317.92	c iter 432 time 292.949 not-muc 459134 unknown 80311 muc 318
317.91/317.92	c iter 433 time 294.505 not-muc 459134 unknown 80310 muc 319
317.91/317.92	c iter 434 time 294.638 not-muc 459134 unknown 80309 muc 320
317.91/317.92	c iter 435 time 299.747 not-muc 459160 unknown 80283 muc 320
317.91/317.92	c iter 436 time 300.229 not-muc 459160 unknown 80282 muc 321
317.91/317.92	c iter 437 time 300.266 not-muc 459160 unknown 80281 muc 322
317.91/317.92	c iter 438 time 302.466 not-muc 459236 unknown 80205 muc 322
317.91/317.92	c iter 439 time 308.406 not-muc 459352 unknown 80089 muc 322
317.91/317.92	c iter 440 time 309.461 not-muc 459352 unknown 80088 muc 323
317.91/317.92	c iter 441 time 309.497 not-muc 459352 unknown 80087 muc 324
317.91/317.92	c iter 442 time 309.532 not-muc 459352 unknown 80086 muc 325
317.91/317.92	c iter 443 time 309.567 not-muc 459352 unknown 80085 muc 326
317.91/317.92	c iter 444 time 310.408 not-muc 459352 unknown 80084 muc 327
317.91/317.92	c iter 445 time 310.446 not-muc 459352 unknown 80083 muc 328
317.91/317.92	c iter 446 time 310.479 not-muc 459352 unknown 80082 muc 329
317.91/317.92	c iter 447 time 310.513 not-muc 459352 unknown 80081 muc 330
317.91/317.92	c iter 448 time 310.546 not-muc 459352 unknown 80080 muc 331
317.91/317.92	c iter 449 time 310.579 not-muc 459352 unknown 80079 muc 332
317.91/317.92	c iter 450 time 310.613 not-muc 459352 unknown 80078 muc 333
317.91/317.92	c iter 451 time 310.646 not-muc 459352 unknown 80077 muc 334
317.91/317.92	c iter 452 time 310.679 not-muc 459352 unknown 80076 muc 335
317.91/317.92	c iter 453 time 310.712 not-muc 459352 unknown 80075 muc 336
317.91/317.92	c iter 454 time 310.746 not-muc 459352 unknown 80074 muc 337
317.91/317.92	c iter 455 time 310.779 not-muc 459352 unknown 80073 muc 338
317.91/317.92	c iter 456 time 310.812 not-muc 459352 unknown 80072 muc 339
317.91/317.92	c iter 457 time 310.846 not-muc 459352 unknown 80071 muc 340
317.91/317.92	c iter 458 time 310.879 not-muc 459352 unknown 80070 muc 341
317.91/317.92	c iter 459 time 310.913 not-muc 459352 unknown 80069 muc 342
317.91/317.92	c iter 460 time 310.946 not-muc 459352 unknown 80068 muc 343
317.91/317.92	c iter 461 time 310.979 not-muc 459352 unknown 80067 muc 344
317.91/317.92	c iter 462 time 311.013 not-muc 459352 unknown 80066 muc 345
317.91/317.92	c iter 463 time 311.047 not-muc 459352 unknown 80065 muc 346
317.91/317.92	c iter 464 time 311.079 not-muc 459352 unknown 80064 muc 347
317.91/317.92	c iter 465 time 311.112 not-muc 459352 unknown 80063 muc 348
317.91/317.92	c iter 466 time 313.389 not-muc 459407 unknown 80008 muc 348
317.91/317.92	c iter 467 time 313.538 not-muc 459407 unknown 80007 muc 349
317.91/317.92	c iter 468 time 313.571 not-muc 459407 unknown 80006 muc 350
317.91/317.92	c iter 469 time 313.604 not-muc 459407 unknown 80005 muc 351
317.91/317.92	c iter 470 time 313.896 not-muc 459407 unknown 80004 muc 352
317.91/317.92	c iter 471 time 315.688 not-muc 459415 unknown 79996 muc 352
317.91/317.92	c iter 472 time 315.781 not-muc 459415 unknown 79995 muc 353
317.91/317.92	c iter 473 time 315.814 not-muc 459415 unknown 79994 muc 354
317.91/317.92	c iter 474 time 316.472 not-muc 459420 unknown 79989 muc 354
317.91/317.92	c iter 475 time 316.55 not-muc 459420 unknown 79988 muc 355
354.90/354.91	c iter 476 time 316.583 not-muc 459420 unknown 79987 muc 356
354.90/354.91	c iter 477 time 316.616 not-muc 459420 unknown 79986 muc 357
354.90/354.91	c iter 478 time 316.649 not-muc 459420 unknown 79985 muc 358
354.90/354.91	c iter 479 time 317.792 not-muc 459443 unknown 79962 muc 358
354.90/354.91	c iter 480 time 318.393 not-muc 459490 unknown 79915 muc 358
354.90/354.91	c iter 481 time 318.493 not-muc 459490 unknown 79914 muc 359
354.90/354.91	c iter 482 time 319.273 not-muc 459490 unknown 79913 muc 360
354.90/354.91	c iter 483 time 320.033 not-muc 459495 unknown 79908 muc 360
354.90/354.91	c iter 484 time 320.103 not-muc 459495 unknown 79907 muc 361
354.90/354.91	c iter 485 time 320.143 not-muc 459495 unknown 79906 muc 362
354.90/354.91	c iter 486 time 320.183 not-muc 459495 unknown 79905 muc 363
354.90/354.91	c iter 487 time 320.215 not-muc 459495 unknown 79904 muc 364
354.90/354.91	c iter 488 time 320.641 not-muc 459498 unknown 79901 muc 364
354.90/354.91	c iter 489 time 321.035 not-muc 459501 unknown 79898 muc 364
354.90/354.91	c iter 490 time 321.078 not-muc 459501 unknown 79897 muc 365
354.90/354.91	c iter 491 time 321.121 not-muc 459501 unknown 79896 muc 366
354.90/354.91	c iter 492 time 321.181 not-muc 459501 unknown 79895 muc 367
354.90/354.91	c iter 493 time 322.102 not-muc 459503 unknown 79893 muc 367
354.90/354.91	c iter 494 time 322.215 not-muc 459503 unknown 79892 muc 368
354.90/354.91	c iter 495 time 322.251 not-muc 459503 unknown 79891 muc 369
354.90/354.91	c iter 496 time 325.568 not-muc 459548 unknown 79846 muc 369
354.90/354.91	c iter 497 time 325.694 not-muc 459548 unknown 79845 muc 370
354.90/354.91	c iter 498 time 325.727 not-muc 459548 unknown 79844 muc 371
354.90/354.91	c iter 499 time 325.761 not-muc 459548 unknown 79843 muc 372
354.90/354.91	c iter 500 time 325.794 not-muc 459548 unknown 79842 muc 373
354.90/354.91	c iter 501 time 325.828 not-muc 459548 unknown 79841 muc 374
354.90/354.91	c iter 502 time 325.861 not-muc 459548 unknown 79840 muc 375
354.90/354.91	c iter 503 time 327.557 not-muc 459558 unknown 79830 muc 375
354.90/354.91	c iter 504 time 327.744 not-muc 459558 unknown 79829 muc 376
354.90/354.91	c iter 505 time 327.778 not-muc 459558 unknown 79828 muc 377
354.90/354.91	c iter 506 time 329.339 not-muc 459589 unknown 79797 muc 377
354.90/354.91	c iter 507 time 329.432 not-muc 459589 unknown 79796 muc 378
354.90/354.91	c iter 508 time 329.468 not-muc 459589 unknown 79795 muc 379
354.90/354.91	c iter 509 time 335.097 not-muc 459624 unknown 79760 muc 379
354.90/354.91	c iter 510 time 336.14 not-muc 459624 unknown 79759 muc 380
354.90/354.91	c iter 511 time 336.188 not-muc 459624 unknown 79758 muc 381
354.90/354.91	c iter 512 time 340.215 not-muc 459643 unknown 79739 muc 381
354.90/354.91	c iter 513 time 340.753 not-muc 459643 unknown 79738 muc 382
354.90/354.91	c iter 514 time 340.788 not-muc 459643 unknown 79737 muc 383
354.90/354.91	c iter 515 time 343.783 not-muc 459667 unknown 79713 muc 383
354.90/354.91	c iter 516 time 343.979 not-muc 459667 unknown 79712 muc 384
354.90/354.91	c iter 517 time 344.013 not-muc 459667 unknown 79711 muc 385
354.90/354.91	c iter 518 time 348.562 not-muc 459758 unknown 79620 muc 385
354.90/354.91	c iter 519 time 348.83 not-muc 459758 unknown 79619 muc 386
354.90/354.91	c iter 520 time 348.87 not-muc 459758 unknown 79618 muc 387
354.90/354.91	c iter 521 time 352.343 not-muc 459777 unknown 79599 muc 387
354.90/354.91	c iter 522 time 352.479 not-muc 459777 unknown 79598 muc 388
354.90/354.91	c iter 523 time 352.514 not-muc 459777 unknown 79597 muc 389
354.90/354.91	c iter 524 time 352.548 not-muc 459777 unknown 79596 muc 390
354.90/354.91	c iter 525 time 352.774 not-muc 459777 unknown 79595 muc 391
354.90/354.91	c iter 526 time 352.807 not-muc 459777 unknown 79594 muc 392
354.90/354.91	c iter 527 time 352.84 not-muc 459777 unknown 79593 muc 393
354.90/354.91	c iter 528 time 352.873 not-muc 459777 unknown 79592 muc 394
354.90/354.91	c iter 529 time 352.906 not-muc 459777 unknown 79591 muc 395
354.90/354.91	c iter 530 time 352.939 not-muc 459777 unknown 79590 muc 396
354.90/354.91	c iter 531 time 352.972 not-muc 459777 unknown 79589 muc 397
354.90/354.91	c iter 532 time 353.004 not-muc 459777 unknown 79588 muc 398
354.90/354.91	c iter 533 time 353.037 not-muc 459777 unknown 79587 muc 399
354.90/354.91	c iter 534 time 353.071 not-muc 459777 unknown 79586 muc 400
354.90/354.91	c iter 535 time 353.103 not-muc 459777 unknown 79585 muc 401
354.90/354.91	c iter 536 time 353.136 not-muc 459777 unknown 79584 muc 402
354.90/354.91	c iter 537 time 353.169 not-muc 459777 unknown 79583 muc 403
354.90/354.91	c iter 538 time 353.202 not-muc 459777 unknown 79582 muc 404
354.90/354.91	c iter 539 time 353.235 not-muc 459777 unknown 79581 muc 405
354.90/354.91	c iter 540 time 353.268 not-muc 459777 unknown 79580 muc 406
354.90/354.91	c iter 541 time 353.301 not-muc 459777 unknown 79579 muc 407
354.90/354.91	c iter 542 time 353.334 not-muc 459777 unknown 79578 muc 408
364.11/364.14	c iter 543 time 353.367 not-muc 459777 unknown 79577 muc 409
364.11/364.14	c iter 544 time 353.401 not-muc 459777 unknown 79576 muc 410
364.11/364.14	c iter 545 time 353.434 not-muc 459777 unknown 79575 muc 411
364.11/364.14	c iter 546 time 353.467 not-muc 459777 unknown 79574 muc 412
364.11/364.14	c iter 547 time 353.5 not-muc 459777 unknown 79573 muc 413
364.11/364.14	c iter 548 time 353.533 not-muc 459777 unknown 79572 muc 414
364.11/364.14	c iter 549 time 353.566 not-muc 459777 unknown 79571 muc 415
364.11/364.14	c iter 550 time 353.598 not-muc 459777 unknown 79570 muc 416
364.11/364.14	c iter 551 time 353.632 not-muc 459777 unknown 79569 muc 417
364.11/364.14	c iter 552 time 353.665 not-muc 459777 unknown 79568 muc 418
364.11/364.14	c iter 553 time 353.698 not-muc 459777 unknown 79567 muc 419
364.11/364.14	c iter 554 time 353.731 not-muc 459777 unknown 79566 muc 420
364.11/364.14	c iter 555 time 353.764 not-muc 459777 unknown 79565 muc 421
364.11/364.14	c iter 556 time 353.797 not-muc 459777 unknown 79564 muc 422
364.11/364.14	c iter 557 time 353.83 not-muc 459777 unknown 79563 muc 423
364.11/364.14	c iter 558 time 353.863 not-muc 459777 unknown 79562 muc 424
364.11/364.14	c iter 559 time 353.897 not-muc 459777 unknown 79561 muc 425
364.11/364.14	c iter 560 time 353.93 not-muc 459777 unknown 79560 muc 426
364.11/364.14	c iter 561 time 353.963 not-muc 459777 unknown 79559 muc 427
364.11/364.14	c iter 562 time 353.996 not-muc 459777 unknown 79558 muc 428
364.11/364.14	c iter 563 time 354.028 not-muc 459777 unknown 79557 muc 429
364.11/364.14	c iter 564 time 354.061 not-muc 459777 unknown 79556 muc 430
364.11/364.14	c iter 565 time 354.094 not-muc 459777 unknown 79555 muc 431
364.11/364.14	c iter 566 time 354.128 not-muc 459777 unknown 79554 muc 432
364.11/364.14	c iter 567 time 354.161 not-muc 459777 unknown 79553 muc 433
364.11/364.14	c iter 568 time 354.194 not-muc 459777 unknown 79552 muc 434
364.11/364.14	c iter 569 time 354.227 not-muc 459777 unknown 79551 muc 435
364.11/364.14	c iter 570 time 354.26 not-muc 459777 unknown 79550 muc 436
364.11/364.14	c iter 571 time 354.294 not-muc 459777 unknown 79549 muc 437
364.11/364.14	c iter 572 time 354.327 not-muc 459777 unknown 79548 muc 438
364.11/364.14	c iter 573 time 354.36 not-muc 459777 unknown 79547 muc 439
364.11/364.14	c iter 574 time 355.927 not-muc 459781 unknown 79543 muc 439
364.11/364.14	c iter 575 time 356.337 not-muc 459781 unknown 79542 muc 440
364.11/364.14	c iter 576 time 356.369 not-muc 459781 unknown 79541 muc 441
364.11/364.14	c iter 577 time 356.401 not-muc 459781 unknown 79540 muc 442
364.11/364.14	c iter 578 time 356.433 not-muc 459781 unknown 79539 muc 443
364.11/364.14	c iter 579 time 356.465 not-muc 459781 unknown 79538 muc 444
364.11/364.14	c iter 580 time 356.497 not-muc 459781 unknown 79537 muc 445
364.11/364.14	c iter 581 time 356.528 not-muc 459781 unknown 79536 muc 446
364.11/364.14	c iter 582 time 356.56 not-muc 459781 unknown 79535 muc 447
364.11/364.14	c iter 583 time 356.592 not-muc 459781 unknown 79534 muc 448
364.11/364.14	c iter 584 time 356.624 not-muc 459781 unknown 79533 muc 449
364.11/364.14	c iter 585 time 356.656 not-muc 459781 unknown 79532 muc 450
364.11/364.14	c iter 586 time 356.687 not-muc 459781 unknown 79531 muc 451
364.11/364.14	c iter 587 time 356.719 not-muc 459781 unknown 79530 muc 452
364.11/364.14	c iter 588 time 356.751 not-muc 459781 unknown 79529 muc 453
364.11/364.14	c iter 589 time 356.783 not-muc 459781 unknown 79528 muc 454
364.11/364.14	c iter 590 time 357.868 not-muc 459781 unknown 79527 muc 455
364.11/364.14	c iter 591 time 358.26 not-muc 459786 unknown 79522 muc 455
364.11/364.14	c iter 592 time 358.999 not-muc 459788 unknown 79520 muc 455
364.11/364.14	c iter 593 time 359.063 not-muc 459788 unknown 79519 muc 456
364.11/364.14	c iter 594 time 359.137 not-muc 459788 unknown 79518 muc 457
364.11/364.14	c iter 595 time 359.168 not-muc 459788 unknown 79517 muc 458
364.11/364.14	c iter 596 time 359.749 not-muc 459789 unknown 79516 muc 458
364.11/364.14	c iter 597 time 359.804 not-muc 459789 unknown 79515 muc 459
364.11/364.14	c iter 598 time 360.285 not-muc 459790 unknown 79514 muc 459
364.11/364.14	c iter 599 time 360.335 not-muc 459790 unknown 79513 muc 460
364.11/364.14	c iter 600 time 360.774 not-muc 459791 unknown 79512 muc 460
364.11/364.14	c iter 601 time 360.823 not-muc 459791 unknown 79511 muc 461
364.11/364.14	c iter 602 time 360.86 not-muc 459791 unknown 79510 muc 462
364.11/364.14	c iter 603 time 360.891 not-muc 459791 unknown 79509 muc 463
364.11/364.14	c iter 604 time 360.922 not-muc 459791 unknown 79508 muc 464
364.11/364.14	c iter 605 time 360.954 not-muc 459791 unknown 79507 muc 465
364.11/364.14	c iter 606 time 361.799 not-muc 459794 unknown 79504 muc 465
364.11/364.14	c iter 607 time 361.913 not-muc 459794 unknown 79503 muc 466
364.11/364.14	c iter 608 time 361.944 not-muc 459794 unknown 79502 muc 467
364.11/364.14	c iter 609 time 362.521 not-muc 459795 unknown 79501 muc 467
394.50/394.57	c iter 610 time 362.637 not-muc 459795 unknown 79500 muc 468
394.50/394.57	c iter 611 time 362.682 not-muc 459795 unknown 79499 muc 469
394.50/394.57	c iter 612 time 363.123 not-muc 459796 unknown 79498 muc 469
394.50/394.57	c iter 613 time 363.185 not-muc 459796 unknown 79497 muc 470
394.50/394.57	c iter 614 time 363.226 not-muc 459796 unknown 79496 muc 471
394.50/394.57	c iter 615 time 364.262 not-muc 459842 unknown 79450 muc 471
394.50/394.57	c iter 616 time 364.341 not-muc 459842 unknown 79449 muc 472
394.50/394.57	c iter 617 time 364.375 not-muc 459842 unknown 79448 muc 473
394.50/394.57	c iter 618 time 364.407 not-muc 459842 unknown 79447 muc 474
394.50/394.57	c iter 619 time 364.443 not-muc 459842 unknown 79446 muc 475
394.50/394.57	c iter 620 time 364.48 not-muc 459842 unknown 79445 muc 476
394.50/394.57	c iter 621 time 364.64 not-muc 459842 unknown 79444 muc 477
394.50/394.57	c iter 622 time 364.687 not-muc 459842 unknown 79443 muc 478
394.50/394.57	c iter 623 time 364.724 not-muc 459842 unknown 79442 muc 479
394.50/394.57	c iter 624 time 364.763 not-muc 459842 unknown 79441 muc 480
394.50/394.57	c iter 625 time 364.796 not-muc 459842 unknown 79440 muc 481
394.50/394.57	c iter 626 time 365.97 not-muc 459843 unknown 79439 muc 481
394.50/394.57	c iter 627 time 366.034 not-muc 459843 unknown 79438 muc 482
394.50/394.57	c iter 628 time 366.069 not-muc 459843 unknown 79437 muc 483
394.50/394.57	c iter 629 time 366.103 not-muc 459843 unknown 79436 muc 484
394.50/394.57	c iter 630 time 366.136 not-muc 459843 unknown 79435 muc 485
394.50/394.57	c iter 631 time 366.825 not-muc 459844 unknown 79434 muc 485
394.50/394.57	c iter 632 time 366.892 not-muc 459844 unknown 79433 muc 486
394.50/394.57	c iter 633 time 366.927 not-muc 459844 unknown 79432 muc 487
394.50/394.57	c iter 634 time 367.856 not-muc 459847 unknown 79429 muc 487
394.50/394.57	c iter 635 time 367.948 not-muc 459847 unknown 79428 muc 488
394.50/394.57	c iter 636 time 367.984 not-muc 459847 unknown 79427 muc 489
394.50/394.57	c iter 637 time 370.208 not-muc 459854 unknown 79420 muc 489
394.50/394.57	c iter 638 time 371.045 not-muc 459854 unknown 79419 muc 490
394.50/394.57	c iter 639 time 371.124 not-muc 459854 unknown 79418 muc 491
394.50/394.57	c iter 640 time 372.938 not-muc 459855 unknown 79417 muc 491
394.50/394.57	c iter 641 time 373.049 not-muc 459855 unknown 79416 muc 492
394.50/394.57	c iter 642 time 373.083 not-muc 459855 unknown 79415 muc 493
394.50/394.57	c iter 643 time 375.024 not-muc 459863 unknown 79407 muc 493
394.50/394.57	c iter 644 time 375.861 not-muc 459863 unknown 79406 muc 494
394.50/394.57	c iter 645 time 375.923 not-muc 459863 unknown 79405 muc 495
394.50/394.57	c iter 646 time 378.231 not-muc 459871 unknown 79397 muc 495
394.50/394.57	c iter 647 time 378.383 not-muc 459871 unknown 79396 muc 496
394.50/394.57	c iter 648 time 378.416 not-muc 459871 unknown 79395 muc 497
394.50/394.57	c iter 649 time 379.813 not-muc 459872 unknown 79394 muc 497
394.50/394.57	c iter 650 time 379.882 not-muc 459872 unknown 79393 muc 498
394.50/394.57	c iter 651 time 379.916 not-muc 459872 unknown 79392 muc 499
394.50/394.57	c iter 652 time 381.919 not-muc 459886 unknown 79378 muc 499
394.50/394.57	c iter 653 time 382.149 not-muc 459886 unknown 79377 muc 500
394.50/394.57	c iter 654 time 382.183 not-muc 459886 unknown 79376 muc 501
394.50/394.57	c iter 655 time 384.097 not-muc 459896 unknown 79366 muc 501
394.50/394.57	c iter 656 time 384.191 not-muc 459896 unknown 79365 muc 502
394.50/394.57	c iter 657 time 384.225 not-muc 459896 unknown 79364 muc 503
394.50/394.57	c iter 658 time 385.239 not-muc 459900 unknown 79360 muc 503
394.50/394.57	c iter 659 time 385.318 not-muc 459900 unknown 79359 muc 504
394.50/394.57	c iter 660 time 385.351 not-muc 459900 unknown 79358 muc 505
394.50/394.57	c iter 661 time 386.725 not-muc 459902 unknown 79356 muc 505
394.50/394.57	c iter 662 time 386.788 not-muc 459902 unknown 79355 muc 506
394.50/394.57	c iter 663 time 386.821 not-muc 459902 unknown 79354 muc 507
394.50/394.57	c iter 664 time 386.855 not-muc 459902 unknown 79353 muc 508
394.50/394.57	c iter 665 time 386.889 not-muc 459902 unknown 79352 muc 509
394.50/394.57	c iter 666 time 387.212 not-muc 459902 unknown 79351 muc 510
394.50/394.57	c iter 667 time 387.248 not-muc 459902 unknown 79350 muc 511
394.50/394.57	c iter 668 time 388.592 not-muc 460223 unknown 79029 muc 511
394.50/394.57	c iter 669 time 389.86 not-muc 460247 unknown 79005 muc 511
394.50/394.57	c iter 670 time 390.025 not-muc 460247 unknown 79004 muc 512
394.50/394.57	c iter 671 time 390.296 not-muc 460247 unknown 79003 muc 513
394.50/394.57	c iter 672 time 390.334 not-muc 460247 unknown 79002 muc 514
394.50/394.57	c iter 673 time 391.481 not-muc 460272 unknown 78977 muc 514
394.50/394.57	c iter 674 time 392.652 not-muc 460279 unknown 78970 muc 514
394.50/394.57	c iter 675 time 392.766 not-muc 460279 unknown 78969 muc 515
394.50/394.57	c iter 676 time 392.805 not-muc 460279 unknown 78968 muc 516
419.30/419.39	c iter 677 time 394.107 not-muc 460378 unknown 78869 muc 516
419.30/419.39	c iter 678 time 394.23 not-muc 460378 unknown 78868 muc 517
419.30/419.39	c iter 679 time 395.336 not-muc 460378 unknown 78867 muc 518
419.30/419.39	c iter 680 time 396.286 not-muc 460430 unknown 78815 muc 518
419.30/419.39	c iter 681 time 397.981 not-muc 460728 unknown 78517 muc 518
419.30/419.39	c iter 682 time 398.732 not-muc 460728 unknown 78516 muc 519
419.30/419.39	c iter 683 time 399.118 not-muc 460728 unknown 78515 muc 520
419.30/419.39	c iter 684 time 399.786 not-muc 460759 unknown 78484 muc 520
419.30/419.39	c iter 685 time 399.878 not-muc 460759 unknown 78483 muc 521
419.30/419.39	c iter 686 time 399.912 not-muc 460759 unknown 78482 muc 522
419.30/419.39	c iter 687 time 401.096 not-muc 460767 unknown 78474 muc 522
419.30/419.39	c iter 688 time 401.269 not-muc 460767 unknown 78473 muc 523
419.30/419.39	c iter 689 time 401.304 not-muc 460767 unknown 78472 muc 524
419.30/419.39	c iter 690 time 402.13 not-muc 460796 unknown 78443 muc 524
419.30/419.39	c iter 691 time 402.207 not-muc 460796 unknown 78442 muc 525
419.30/419.39	c iter 692 time 402.925 not-muc 460798 unknown 78440 muc 525
419.30/419.39	c iter 693 time 403.702 not-muc 460798 unknown 78439 muc 526
419.30/419.39	c iter 694 time 403.736 not-muc 460798 unknown 78438 muc 527
419.30/419.39	c iter 695 time 404.322 not-muc 460864 unknown 78372 muc 527
419.30/419.39	c iter 696 time 405.393 not-muc 460866 unknown 78370 muc 527
419.30/419.39	c iter 697 time 405.624 not-muc 460866 unknown 78369 muc 528
419.30/419.39	c iter 698 time 405.662 not-muc 460866 unknown 78368 muc 529
419.30/419.39	c iter 699 time 405.694 not-muc 460866 unknown 78367 muc 530
419.30/419.39	c iter 700 time 406.393 not-muc 462150 unknown 77083 muc 530
419.30/419.39	c iter 701 time 406.549 not-muc 462150 unknown 77082 muc 531
419.30/419.39	c iter 702 time 406.614 not-muc 462150 unknown 77081 muc 532
419.30/419.39	c iter 703 time 407.282 not-muc 462218 unknown 77013 muc 532
419.30/419.39	c iter 704 time 407.354 not-muc 462218 unknown 77012 muc 533
419.30/419.39	c iter 705 time 407.387 not-muc 462218 unknown 77011 muc 534
419.30/419.39	c iter 706 time 408.153 not-muc 462221 unknown 77008 muc 534
419.30/419.39	c iter 707 time 408.271 not-muc 462221 unknown 77007 muc 535
419.30/419.39	c iter 708 time 408.307 not-muc 462221 unknown 77006 muc 536
419.30/419.39	c iter 709 time 408.342 not-muc 462221 unknown 77005 muc 537
419.30/419.39	c iter 710 time 408.768 not-muc 462221 unknown 77004 muc 538
419.30/419.39	c iter 711 time 409.387 not-muc 462273 unknown 76952 muc 538
419.30/419.39	c iter 712 time 409.492 not-muc 462273 unknown 76951 muc 539
419.30/419.39	c iter 713 time 409.524 not-muc 462273 unknown 76950 muc 540
419.30/419.39	c iter 714 time 409.556 not-muc 462273 unknown 76949 muc 541
419.30/419.39	c iter 715 time 410.081 not-muc 462285 unknown 76937 muc 541
419.30/419.39	c iter 716 time 411.088 not-muc 462344 unknown 76878 muc 541
419.30/419.39	c iter 717 time 411.402 not-muc 462344 unknown 76877 muc 542
419.30/419.39	c iter 718 time 411.435 not-muc 462344 unknown 76876 muc 543
419.30/419.39	c iter 719 time 411.61 not-muc 462344 unknown 76875 muc 544
419.30/419.39	c iter 720 time 411.655 not-muc 462344 unknown 76874 muc 545
419.30/419.39	c iter 721 time 412.891 not-muc 462375 unknown 76843 muc 545
419.30/419.39	c iter 722 time 412.997 not-muc 462375 unknown 76842 muc 546
419.30/419.39	c iter 723 time 413.109 not-muc 462375 unknown 76841 muc 547
419.30/419.39	c iter 724 time 413.75 not-muc 462376 unknown 76840 muc 547
419.30/419.39	c iter 725 time 413.84 not-muc 462376 unknown 76839 muc 548
419.30/419.39	c iter 726 time 413.872 not-muc 462376 unknown 76838 muc 549
419.30/419.39	c iter 727 time 414.405 not-muc 462380 unknown 76834 muc 549
419.30/419.39	c iter 728 time 414.547 not-muc 462380 unknown 76833 muc 550
419.30/419.39	c iter 729 time 414.582 not-muc 462380 unknown 76832 muc 551
419.30/419.39	c iter 730 time 415.131 not-muc 462381 unknown 76831 muc 551
419.30/419.39	c iter 731 time 415.209 not-muc 462381 unknown 76830 muc 552
419.30/419.39	c iter 732 time 415.243 not-muc 462381 unknown 76829 muc 553
419.30/419.39	c iter 733 time 415.647 not-muc 462385 unknown 76825 muc 553
419.30/419.39	c iter 734 time 415.726 not-muc 462385 unknown 76824 muc 554
419.30/419.39	c iter 735 time 415.762 not-muc 462385 unknown 76823 muc 555
419.30/419.39	c iter 736 time 416.211 not-muc 462390 unknown 76818 muc 555
419.30/419.39	c iter 737 time 416.268 not-muc 462390 unknown 76817 muc 556
419.30/419.39	c iter 738 time 416.302 not-muc 462390 unknown 76816 muc 557
419.30/419.39	c iter 739 time 416.656 not-muc 462391 unknown 76815 muc 557
419.30/419.39	c iter 740 time 416.745 not-muc 462391 unknown 76814 muc 558
419.30/419.39	c iter 741 time 416.782 not-muc 462391 unknown 76813 muc 559
419.30/419.39	c iter 742 time 417.121 not-muc 462392 unknown 76812 muc 559
419.30/419.39	c iter 743 time 417.201 not-muc 462392 unknown 76811 muc 560
419.30/419.39	c iter 744 time 417.491 not-muc 462392 unknown 76810 muc 561
442.40/442.47	c iter 745 time 417.528 not-muc 462392 unknown 76809 muc 562
442.40/442.47	c iter 746 time 417.562 not-muc 462392 unknown 76808 muc 563
442.40/442.47	c iter 747 time 417.98 not-muc 462395 unknown 76805 muc 563
442.40/442.47	c iter 748 time 418.151 not-muc 462395 unknown 76804 muc 564
442.40/442.47	c iter 749 time 418.181 not-muc 462395 unknown 76803 muc 565
442.40/442.47	c iter 750 time 418.213 not-muc 462395 unknown 76802 muc 566
442.40/442.47	c iter 751 time 418.245 not-muc 462395 unknown 76801 muc 567
442.40/442.47	c iter 752 time 418.277 not-muc 462395 unknown 76800 muc 568
442.40/442.47	c iter 753 time 419.03 not-muc 462404 unknown 76791 muc 568
442.40/442.47	c iter 754 time 419.618 not-muc 462405 unknown 76790 muc 568
442.40/442.47	c iter 755 time 419.751 not-muc 462405 unknown 76789 muc 569
442.40/442.47	c iter 756 time 419.782 not-muc 462405 unknown 76788 muc 570
442.40/442.47	c iter 757 time 419.815 not-muc 462405 unknown 76787 muc 571
442.40/442.47	c iter 758 time 420.024 not-muc 462405 unknown 76786 muc 572
442.40/442.47	c iter 759 time 420.056 not-muc 462405 unknown 76785 muc 573
442.40/442.47	c iter 760 time 420.087 not-muc 462405 unknown 76784 muc 574
442.40/442.47	c iter 761 time 420.119 not-muc 462405 unknown 76783 muc 575
442.40/442.47	c iter 762 time 420.151 not-muc 462405 unknown 76782 muc 576
442.40/442.47	c iter 763 time 420.77 not-muc 462408 unknown 76779 muc 576
442.40/442.47	c iter 764 time 420.85 not-muc 462408 unknown 76778 muc 577
442.40/442.47	c iter 765 time 420.883 not-muc 462408 unknown 76777 muc 578
442.40/442.47	c iter 766 time 420.916 not-muc 462408 unknown 76776 muc 579
442.40/442.47	c iter 767 time 420.95 not-muc 462408 unknown 76775 muc 580
442.40/442.47	c iter 768 time 420.982 not-muc 462408 unknown 76774 muc 581
442.40/442.47	c iter 769 time 421.015 not-muc 462408 unknown 76773 muc 582
442.40/442.47	c iter 770 time 421.464 not-muc 462410 unknown 76771 muc 582
442.40/442.47	c iter 771 time 421.534 not-muc 462410 unknown 76770 muc 583
442.40/442.47	c iter 772 time 421.567 not-muc 462410 unknown 76769 muc 584
442.40/442.47	c iter 773 time 421.6 not-muc 462410 unknown 76768 muc 585
442.40/442.47	c iter 774 time 421.632 not-muc 462410 unknown 76767 muc 586
442.40/442.47	c iter 775 time 422.003 not-muc 462412 unknown 76765 muc 586
442.40/442.47	c iter 776 time 422.058 not-muc 462412 unknown 76764 muc 587
442.40/442.47	c iter 777 time 422.092 not-muc 462412 unknown 76763 muc 588
442.40/442.47	c iter 778 time 422.578 not-muc 462415 unknown 76760 muc 588
442.40/442.47	c iter 779 time 422.627 not-muc 462415 unknown 76759 muc 589
442.40/442.47	c iter 780 time 422.66 not-muc 462415 unknown 76758 muc 590
442.40/442.47	c iter 781 time 423.097 not-muc 462419 unknown 76754 muc 590
442.40/442.47	c iter 782 time 423.162 not-muc 462419 unknown 76753 muc 591
442.40/442.47	c iter 783 time 423.199 not-muc 462419 unknown 76752 muc 592
442.40/442.47	c iter 784 time 423.234 not-muc 462419 unknown 76751 muc 593
442.40/442.47	c iter 785 time 423.267 not-muc 462419 unknown 76750 muc 594
442.40/442.47	c iter 786 time 423.636 not-muc 462420 unknown 76749 muc 594
442.40/442.47	c iter 787 time 423.708 not-muc 462420 unknown 76748 muc 595
442.40/442.47	c iter 788 time 424.078 not-muc 462420 unknown 76747 muc 596
442.40/442.47	c iter 789 time 424.449 not-muc 462426 unknown 76741 muc 596
442.40/442.47	c iter 790 time 424.553 not-muc 462426 unknown 76740 muc 597
442.40/442.47	c iter 791 time 424.589 not-muc 462426 unknown 76739 muc 598
442.40/442.47	c iter 792 time 424.623 not-muc 462426 unknown 76738 muc 599
442.40/442.47	c iter 793 time 424.657 not-muc 462426 unknown 76737 muc 600
442.40/442.47	c iter 794 time 425.081 not-muc 462428 unknown 76735 muc 600
442.40/442.47	c iter 795 time 425.16 not-muc 462428 unknown 76734 muc 601
442.40/442.47	c iter 796 time 425.196 not-muc 462428 unknown 76733 muc 602
442.40/442.47	c iter 797 time 428.923 not-muc 462433 unknown 76728 muc 602
442.40/442.47	c iter 798 time 429.114 not-muc 462433 unknown 76727 muc 603
442.40/442.47	c iter 799 time 431.537 not-muc 462435 unknown 76725 muc 603
442.40/442.47	c iter 800 time 434.838 not-muc 462438 unknown 76722 muc 603
442.40/442.47	c iter 801 time 434.982 not-muc 462438 unknown 76721 muc 604
442.40/442.47	c iter 802 time 435.232 not-muc 462438 unknown 76720 muc 605
442.40/442.47	c iter 803 time 437.121 not-muc 462450 unknown 76708 muc 605
442.40/442.47	c iter 804 time 437.241 not-muc 462450 unknown 76707 muc 606
442.40/442.47	c iter 805 time 438.397 not-muc 462453 unknown 76704 muc 606
442.40/442.47	c iter 806 time 439.296 not-muc 462496 unknown 76661 muc 606
442.40/442.47	c iter 807 time 439.488 not-muc 462496 unknown 76660 muc 607
442.40/442.47	c iter 808 time 439.533 not-muc 462496 unknown 76659 muc 608
442.40/442.47	c iter 809 time 439.566 not-muc 462496 unknown 76658 muc 609
442.40/442.47	c iter 810 time 440.341 not-muc 462499 unknown 76655 muc 609
442.40/442.47	c iter 811 time 440.461 not-muc 462499 unknown 76654 muc 610
449.60/449.66	c iter 812 time 440.492 not-muc 462499 unknown 76653 muc 611
449.60/449.66	c iter 813 time 440.523 not-muc 462499 unknown 76652 muc 612
449.60/449.66	c iter 814 time 440.554 not-muc 462499 unknown 76651 muc 613
449.60/449.66	c iter 815 time 440.586 not-muc 462499 unknown 76650 muc 614
449.60/449.66	c iter 816 time 440.618 not-muc 462499 unknown 76649 muc 615
449.60/449.66	c iter 817 time 440.65 not-muc 462499 unknown 76648 muc 616
449.60/449.66	c iter 818 time 440.682 not-muc 462499 unknown 76647 muc 617
449.60/449.66	c iter 819 time 440.714 not-muc 462499 unknown 76646 muc 618
449.60/449.66	c iter 820 time 440.746 not-muc 462499 unknown 76645 muc 619
449.60/449.66	c iter 821 time 440.778 not-muc 462499 unknown 76644 muc 620
449.60/449.66	c iter 822 time 440.809 not-muc 462499 unknown 76643 muc 621
449.60/449.66	c iter 823 time 440.841 not-muc 462499 unknown 76642 muc 622
449.60/449.66	c iter 824 time 440.874 not-muc 462499 unknown 76641 muc 623
449.60/449.66	c iter 825 time 441.318 not-muc 462499 unknown 76640 muc 624
449.60/449.66	c iter 826 time 441.35 not-muc 462499 unknown 76639 muc 625
449.60/449.66	c iter 827 time 441.382 not-muc 462499 unknown 76638 muc 626
449.60/449.66	c iter 828 time 441.415 not-muc 462499 unknown 76637 muc 627
449.60/449.66	c iter 829 time 441.447 not-muc 462499 unknown 76636 muc 628
449.60/449.66	c iter 830 time 441.48 not-muc 462499 unknown 76635 muc 629
449.60/449.66	c iter 831 time 441.513 not-muc 462499 unknown 76634 muc 630
449.60/449.66	c iter 832 time 441.546 not-muc 462499 unknown 76633 muc 631
449.60/449.66	c iter 833 time 441.579 not-muc 462499 unknown 76632 muc 632
449.60/449.66	c iter 834 time 441.613 not-muc 462499 unknown 76631 muc 633
449.60/449.66	c iter 835 time 441.646 not-muc 462499 unknown 76630 muc 634
449.60/449.66	c iter 836 time 443.111 not-muc 462500 unknown 76629 muc 634
449.60/449.66	c iter 837 time 443.206 not-muc 462500 unknown 76628 muc 635
449.60/449.66	c iter 838 time 443.239 not-muc 462500 unknown 76627 muc 636
449.60/449.66	c iter 839 time 443.273 not-muc 462500 unknown 76626 muc 637
449.60/449.66	c iter 840 time 443.306 not-muc 462500 unknown 76625 muc 638
449.60/449.66	c iter 841 time 444.274 not-muc 462504 unknown 76621 muc 638
449.60/449.66	c iter 842 time 444.339 not-muc 462504 unknown 76620 muc 639
449.60/449.66	c iter 843 time 444.394 not-muc 462504 unknown 76619 muc 640
449.60/449.66	c iter 844 time 444.427 not-muc 462504 unknown 76618 muc 641
449.60/449.66	c iter 845 time 444.459 not-muc 462504 unknown 76617 muc 642
449.60/449.66	c iter 846 time 444.491 not-muc 462504 unknown 76616 muc 643
449.60/449.66	c iter 847 time 444.523 not-muc 462504 unknown 76615 muc 644
449.60/449.66	c iter 848 time 444.555 not-muc 462504 unknown 76614 muc 645
449.60/449.66	c iter 849 time 444.587 not-muc 462504 unknown 76613 muc 646
449.60/449.66	c iter 850 time 445.051 not-muc 462505 unknown 76612 muc 646
449.60/449.66	c iter 851 time 445.133 not-muc 462505 unknown 76611 muc 647
449.60/449.66	c iter 852 time 445.165 not-muc 462505 unknown 76610 muc 648
449.60/449.66	c iter 853 time 445.197 not-muc 462505 unknown 76609 muc 649
449.60/449.66	c iter 854 time 445.23 not-muc 462505 unknown 76608 muc 650
449.60/449.66	c iter 855 time 445.262 not-muc 462505 unknown 76607 muc 651
449.60/449.66	c iter 856 time 445.293 not-muc 462505 unknown 76606 muc 652
449.60/449.66	c iter 857 time 445.325 not-muc 462505 unknown 76605 muc 653
449.60/449.66	c iter 858 time 445.357 not-muc 462505 unknown 76604 muc 654
449.60/449.66	c iter 859 time 445.72 not-muc 462506 unknown 76603 muc 654
449.60/449.66	c iter 860 time 445.77 not-muc 462506 unknown 76602 muc 655
449.60/449.66	c iter 861 time 445.803 not-muc 462506 unknown 76601 muc 656
449.60/449.66	c iter 862 time 446.192 not-muc 462507 unknown 76600 muc 656
449.60/449.66	c iter 863 time 446.236 not-muc 462507 unknown 76599 muc 657
449.60/449.66	c iter 864 time 446.268 not-muc 462507 unknown 76598 muc 658
449.60/449.66	c iter 865 time 446.3 not-muc 462507 unknown 76597 muc 659
449.60/449.66	c iter 866 time 446.333 not-muc 462507 unknown 76596 muc 660
449.60/449.66	c iter 867 time 446.843 not-muc 462508 unknown 76595 muc 660
449.60/449.66	c iter 868 time 446.918 not-muc 462508 unknown 76594 muc 661
449.60/449.66	c iter 869 time 446.951 not-muc 462508 unknown 76593 muc 662
449.60/449.66	c iter 870 time 446.986 not-muc 462508 unknown 76592 muc 663
449.60/449.66	c iter 871 time 447.018 not-muc 462508 unknown 76591 muc 664
449.60/449.66	c iter 872 time 447.419 not-muc 462509 unknown 76590 muc 664
449.60/449.66	c iter 873 time 447.463 not-muc 462509 unknown 76589 muc 665
449.60/449.66	c iter 874 time 447.495 not-muc 462509 unknown 76588 muc 666
449.60/449.66	c iter 875 time 447.528 not-muc 462509 unknown 76587 muc 667
449.60/449.66	c iter 876 time 447.559 not-muc 462509 unknown 76586 muc 668
449.60/449.66	c iter 877 time 447.592 not-muc 462509 unknown 76585 muc 669
449.60/449.66	c iter 878 time 447.625 not-muc 462509 unknown 76584 muc 670
470.30/470.36	c iter 879 time 447.965 not-muc 462510 unknown 76583 muc 670
470.30/470.36	c iter 880 time 448.03 not-muc 462510 unknown 76582 muc 671
470.30/470.36	c iter 881 time 448.064 not-muc 462510 unknown 76581 muc 672
470.30/470.36	c iter 882 time 448.502 not-muc 462511 unknown 76580 muc 672
470.30/470.36	c iter 883 time 448.552 not-muc 462511 unknown 76579 muc 673
470.30/470.36	c iter 884 time 448.585 not-muc 462511 unknown 76578 muc 674
470.30/470.36	c iter 885 time 449.165 not-muc 462512 unknown 76577 muc 674
470.30/470.36	c iter 886 time 449.227 not-muc 462512 unknown 76576 muc 675
470.30/470.36	c iter 887 time 449.26 not-muc 462512 unknown 76575 muc 676
470.30/470.36	c iter 888 time 449.705 not-muc 462514 unknown 76573 muc 676
470.30/470.36	c iter 889 time 449.757 not-muc 462514 unknown 76572 muc 677
470.30/470.36	c iter 890 time 449.789 not-muc 462514 unknown 76571 muc 678
470.30/470.36	c iter 891 time 449.822 not-muc 462514 unknown 76570 muc 679
470.30/470.36	c iter 892 time 449.854 not-muc 462514 unknown 76569 muc 680
470.30/470.36	c iter 893 time 449.887 not-muc 462514 unknown 76568 muc 681
470.30/470.36	c iter 894 time 449.92 not-muc 462514 unknown 76567 muc 682
470.30/470.36	c iter 895 time 449.952 not-muc 462514 unknown 76566 muc 683
470.30/470.36	c iter 896 time 449.985 not-muc 462514 unknown 76565 muc 684
470.30/470.36	c iter 897 time 450.634 not-muc 462515 unknown 76564 muc 684
470.30/470.36	c iter 898 time 450.692 not-muc 462515 unknown 76563 muc 685
470.30/470.36	c iter 899 time 450.726 not-muc 462515 unknown 76562 muc 686
470.30/470.36	c iter 900 time 451.448 not-muc 462517 unknown 76560 muc 686
470.30/470.36	c iter 901 time 451.512 not-muc 462517 unknown 76559 muc 687
470.30/470.36	c iter 902 time 451.545 not-muc 462517 unknown 76558 muc 688
470.30/470.36	c iter 903 time 453.332 not-muc 462537 unknown 76538 muc 688
470.30/470.36	c iter 904 time 454.137 not-muc 462564 unknown 76511 muc 688
470.30/470.36	c iter 905 time 454.203 not-muc 462564 unknown 76510 muc 689
470.30/470.36	c iter 906 time 454.235 not-muc 462564 unknown 76509 muc 690
470.30/470.36	c iter 907 time 455.608 not-muc 462570 unknown 76503 muc 690
470.30/470.36	c iter 908 time 455.685 not-muc 462570 unknown 76502 muc 691
470.30/470.36	c iter 909 time 455.718 not-muc 462570 unknown 76501 muc 692
470.30/470.36	c iter 910 time 456.504 not-muc 462572 unknown 76499 muc 692
470.30/470.36	c iter 911 time 456.555 not-muc 462572 unknown 76498 muc 693
470.30/470.36	c iter 912 time 456.59 not-muc 462572 unknown 76497 muc 694
470.30/470.36	c iter 913 time 457.236 not-muc 462576 unknown 76493 muc 694
470.30/470.36	c iter 914 time 459.202 not-muc 462582 unknown 76487 muc 694
470.30/470.36	c iter 915 time 459.33 not-muc 462582 unknown 76486 muc 695
470.30/470.36	c iter 916 time 459.382 not-muc 462582 unknown 76485 muc 696
470.30/470.36	c iter 917 time 460.225 not-muc 462589 unknown 76478 muc 696
470.30/470.36	c iter 918 time 460.291 not-muc 462589 unknown 76477 muc 697
470.30/470.36	c iter 919 time 460.323 not-muc 462589 unknown 76476 muc 698
470.30/470.36	c iter 920 time 462.064 not-muc 462615 unknown 76450 muc 698
470.30/470.36	c iter 921 time 462.223 not-muc 462615 unknown 76449 muc 699
470.30/470.36	c iter 922 time 462.254 not-muc 462615 unknown 76448 muc 700
470.30/470.36	c iter 923 time 462.479 not-muc 462615 unknown 76447 muc 701
470.30/470.36	c iter 924 time 462.549 not-muc 462615 unknown 76446 muc 702
470.30/470.36	c iter 925 time 462.625 not-muc 462615 unknown 76445 muc 703
470.30/470.36	c iter 926 time 464.68 not-muc 462746 unknown 76314 muc 703
470.30/470.36	c iter 927 time 465.594 not-muc 462778 unknown 76282 muc 703
470.30/470.36	c iter 928 time 465.717 not-muc 462778 unknown 76281 muc 704
470.30/470.36	c iter 929 time 465.75 not-muc 462778 unknown 76280 muc 705
470.30/470.36	c iter 930 time 465.783 not-muc 462778 unknown 76279 muc 706
470.30/470.36	c iter 931 time 466.444 not-muc 462778 unknown 76278 muc 707
470.30/470.36	c iter 932 time 467.03 not-muc 462805 unknown 76251 muc 707
470.30/470.36	c iter 933 time 467.095 not-muc 462805 unknown 76250 muc 708
470.30/470.36	c iter 934 time 467.47 not-muc 462821 unknown 76234 muc 708
470.30/470.36	c iter 935 time 467.522 not-muc 462821 unknown 76233 muc 709
470.30/470.36	c iter 936 time 467.555 not-muc 462821 unknown 76232 muc 710
470.30/470.36	c iter 937 time 467.587 not-muc 462821 unknown 76231 muc 711
470.30/470.36	c iter 938 time 467.621 not-muc 462821 unknown 76230 muc 712
470.30/470.36	c iter 939 time 467.66 not-muc 462821 unknown 76229 muc 713
470.30/470.36	c iter 940 time 467.692 not-muc 462821 unknown 76228 muc 714
470.30/470.36	c iter 941 time 467.724 not-muc 462821 unknown 76227 muc 715
470.30/470.36	c iter 942 time 467.757 not-muc 462821 unknown 76226 muc 716
470.30/470.36	c iter 943 time 468.083 not-muc 462829 unknown 76218 muc 716
470.30/470.36	c iter 944 time 468.186 not-muc 462829 unknown 76217 muc 717
470.30/470.36	c iter 945 time 468.248 not-muc 462829 unknown 76216 muc 718
474.51/474.57	c iter 946 time 468.289 not-muc 462829 unknown 76215 muc 719
474.51/474.57	c iter 947 time 468.323 not-muc 462829 unknown 76214 muc 720
474.51/474.57	c iter 948 time 468.357 not-muc 462829 unknown 76213 muc 721
474.51/474.57	c iter 949 time 468.391 not-muc 462829 unknown 76212 muc 722
474.51/474.57	c iter 950 time 468.756 not-muc 462829 unknown 76211 muc 723
474.51/474.57	c iter 951 time 468.79 not-muc 462829 unknown 76210 muc 724
474.51/474.57	c iter 952 time 468.834 not-muc 462829 unknown 76209 muc 725
474.51/474.57	c iter 953 time 468.866 not-muc 462829 unknown 76208 muc 726
474.51/474.57	c iter 954 time 468.898 not-muc 462829 unknown 76207 muc 727
474.51/474.57	c iter 955 time 468.93 not-muc 462829 unknown 76206 muc 728
474.51/474.57	c iter 956 time 468.963 not-muc 462829 unknown 76205 muc 729
474.51/474.57	c iter 957 time 468.996 not-muc 462829 unknown 76204 muc 730
474.51/474.57	c iter 958 time 469.316 not-muc 462830 unknown 76203 muc 730
474.51/474.57	c iter 959 time 469.417 not-muc 462830 unknown 76202 muc 731
474.51/474.57	c iter 960 time 469.45 not-muc 462830 unknown 76201 muc 732
474.51/474.57	c iter 961 time 469.483 not-muc 462830 unknown 76200 muc 733
474.51/474.57	c iter 962 time 469.515 not-muc 462830 unknown 76199 muc 734
474.51/474.57	c iter 963 time 469.548 not-muc 462830 unknown 76198 muc 735
474.51/474.57	c iter 964 time 469.58 not-muc 462830 unknown 76197 muc 736
474.51/474.57	c iter 965 time 469.613 not-muc 462830 unknown 76196 muc 737
474.51/474.57	c iter 966 time 469.646 not-muc 462830 unknown 76195 muc 738
474.51/474.57	c iter 967 time 469.677 not-muc 462830 unknown 76194 muc 739
474.51/474.57	c iter 968 time 469.71 not-muc 462830 unknown 76193 muc 740
474.51/474.57	c iter 969 time 469.744 not-muc 462830 unknown 76192 muc 741
474.51/474.57	c iter 970 time 469.796 not-muc 462830 unknown 76191 muc 742
474.51/474.57	c iter 971 time 469.83 not-muc 462830 unknown 76190 muc 743
474.51/474.57	c iter 972 time 469.865 not-muc 462830 unknown 76189 muc 744
474.51/474.57	c iter 973 time 470.036 not-muc 462830 unknown 76188 muc 745
474.51/474.57	c iter 974 time 470.07 not-muc 462830 unknown 76187 muc 746
474.51/474.57	c iter 975 time 470.249 not-muc 462830 unknown 76186 muc 747
474.51/474.57	c iter 976 time 470.281 not-muc 462830 unknown 76185 muc 748
474.51/474.57	c iter 977 time 470.312 not-muc 462830 unknown 76184 muc 749
474.51/474.57	c iter 978 time 470.342 not-muc 462830 unknown 76183 muc 750
474.51/474.57	c iter 979 time 470.373 not-muc 462830 unknown 76182 muc 751
474.51/474.57	c iter 980 time 470.404 not-muc 462830 unknown 76181 muc 752
474.51/474.57	c iter 981 time 470.435 not-muc 462830 unknown 76180 muc 753
474.51/474.57	c iter 982 time 470.467 not-muc 462830 unknown 76179 muc 754
474.51/474.57	c iter 983 time 470.499 not-muc 462830 unknown 76178 muc 755
474.51/474.57	c iter 984 time 470.531 not-muc 462830 unknown 76177 muc 756
474.51/474.57	c iter 985 time 470.563 not-muc 462830 unknown 76176 muc 757
474.51/474.57	c iter 986 time 470.595 not-muc 462830 unknown 76175 muc 758
474.51/474.57	c iter 987 time 470.863 not-muc 462832 unknown 76173 muc 758
474.51/474.57	c iter 988 time 471.137 not-muc 462832 unknown 76172 muc 759
474.51/474.57	c iter 989 time 471.169 not-muc 462832 unknown 76171 muc 760
474.51/474.57	c iter 990 time 471.444 not-muc 462835 unknown 76168 muc 760
474.51/474.57	c iter 991 time 471.539 not-muc 462835 unknown 76167 muc 761
474.51/474.57	c iter 992 time 471.572 not-muc 462835 unknown 76166 muc 762
474.51/474.57	c iter 993 time 471.605 not-muc 462835 unknown 76165 muc 763
474.51/474.57	c iter 994 time 471.637 not-muc 462835 unknown 76164 muc 764
474.51/474.57	c iter 995 time 471.67 not-muc 462835 unknown 76163 muc 765
474.51/474.57	c iter 996 time 471.702 not-muc 462835 unknown 76162 muc 766
474.51/474.57	c iter 997 time 471.735 not-muc 462835 unknown 76161 muc 767
474.51/474.57	c iter 998 time 471.767 not-muc 462835 unknown 76160 muc 768
474.51/474.57	c iter 999 time 471.799 not-muc 462835 unknown 76159 muc 769
474.51/474.57	c iter 1000 time 471.831 not-muc 462835 unknown 76158 muc 770
474.51/474.57	c iter 1001 time 471.864 not-muc 462835 unknown 76157 muc 771
474.51/474.57	c iter 1002 time 471.896 not-muc 462835 unknown 76156 muc 772
474.51/474.57	c iter 1003 time 471.928 not-muc 462835 unknown 76155 muc 773
474.51/474.57	c iter 1004 time 471.962 not-muc 462835 unknown 76154 muc 774
474.51/474.57	c iter 1005 time 471.994 not-muc 462835 unknown 76153 muc 775
474.51/474.57	c iter 1006 time 472.026 not-muc 462835 unknown 76152 muc 776
474.51/474.57	c iter 1007 time 472.059 not-muc 462835 unknown 76151 muc 777
474.51/474.57	c iter 1008 time 472.091 not-muc 462835 unknown 76150 muc 778
474.51/474.57	c iter 1009 time 472.124 not-muc 462835 unknown 76149 muc 779
474.51/474.57	c iter 1010 time 472.158 not-muc 462835 unknown 76148 muc 780
474.51/474.57	c iter 1011 time 472.191 not-muc 462835 unknown 76147 muc 781
474.51/474.57	c iter 1012 time 472.415 not-muc 462835 unknown 76146 muc 782
478.01/478.05	c iter 1013 time 472.449 not-muc 462835 unknown 76145 muc 783
478.01/478.05	c iter 1014 time 472.482 not-muc 462835 unknown 76144 muc 784
478.01/478.05	c iter 1015 time 472.916 not-muc 462858 unknown 76121 muc 784
478.01/478.05	c iter 1016 time 473.37 not-muc 462858 unknown 76120 muc 785
478.01/478.05	c iter 1017 time 473.404 not-muc 462858 unknown 76119 muc 786
478.01/478.05	c iter 1018 time 473.438 not-muc 462858 unknown 76118 muc 787
478.01/478.05	c iter 1019 time 473.472 not-muc 462858 unknown 76117 muc 788
478.01/478.05	c iter 1020 time 473.505 not-muc 462858 unknown 76116 muc 789
478.01/478.05	c iter 1021 time 473.689 not-muc 462858 unknown 76115 muc 790
478.01/478.05	c iter 1022 time 473.72 not-muc 462858 unknown 76114 muc 791
478.01/478.05	c iter 1023 time 473.751 not-muc 462858 unknown 76113 muc 792
478.01/478.05	c iter 1024 time 473.783 not-muc 462858 unknown 76112 muc 793
478.01/478.05	c iter 1025 time 473.814 not-muc 462858 unknown 76111 muc 794
478.01/478.05	c iter 1026 time 473.845 not-muc 462858 unknown 76110 muc 795
478.01/478.05	c iter 1027 time 473.876 not-muc 462858 unknown 76109 muc 796
478.01/478.05	c iter 1028 time 473.907 not-muc 462858 unknown 76108 muc 797
478.01/478.05	c iter 1029 time 473.939 not-muc 462858 unknown 76107 muc 798
478.01/478.05	c iter 1030 time 473.971 not-muc 462858 unknown 76106 muc 799
478.01/478.05	c iter 1031 time 474.002 not-muc 462858 unknown 76105 muc 800
478.01/478.05	c iter 1032 time 474.033 not-muc 462858 unknown 76104 muc 801
478.01/478.05	c iter 1033 time 474.064 not-muc 462858 unknown 76103 muc 802
478.01/478.05	c iter 1034 time 474.096 not-muc 462858 unknown 76102 muc 803
478.01/478.05	c iter 1035 time 474.127 not-muc 462858 unknown 76101 muc 804
478.01/478.05	c iter 1036 time 474.159 not-muc 462858 unknown 76100 muc 805
478.01/478.05	c iter 1037 time 474.191 not-muc 462858 unknown 76099 muc 806
478.01/478.05	c iter 1038 time 474.223 not-muc 462858 unknown 76098 muc 807
478.01/478.05	c iter 1039 time 474.255 not-muc 462858 unknown 76097 muc 808
478.01/478.05	c iter 1040 time 474.288 not-muc 462858 unknown 76096 muc 809
478.01/478.05	c iter 1041 time 474.32 not-muc 462858 unknown 76095 muc 810
478.01/478.05	c iter 1042 time 474.352 not-muc 462858 unknown 76094 muc 811
478.01/478.05	c iter 1043 time 474.385 not-muc 462858 unknown 76093 muc 812
478.01/478.05	c iter 1044 time 474.418 not-muc 462858 unknown 76092 muc 813
478.01/478.05	c iter 1045 time 474.45 not-muc 462858 unknown 76091 muc 814
478.01/478.05	c iter 1046 time 474.487 not-muc 462858 unknown 76090 muc 815
478.01/478.05	c iter 1047 time 474.52 not-muc 462858 unknown 76089 muc 816
478.01/478.05	c iter 1048 time 474.553 not-muc 462858 unknown 76088 muc 817
478.01/478.05	c iter 1049 time 474.909 not-muc 462862 unknown 76084 muc 817
478.01/478.05	c iter 1050 time 474.969 not-muc 462862 unknown 76083 muc 818
478.01/478.05	c iter 1051 time 475.01 not-muc 462862 unknown 76082 muc 819
478.01/478.05	c iter 1052 time 475.056 not-muc 462862 unknown 76081 muc 820
478.01/478.05	c iter 1053 time 475.088 not-muc 462862 unknown 76080 muc 821
478.01/478.05	c iter 1054 time 475.12 not-muc 462862 unknown 76079 muc 822
478.01/478.05	c iter 1055 time 475.152 not-muc 462862 unknown 76078 muc 823
478.01/478.05	c iter 1056 time 475.184 not-muc 462862 unknown 76077 muc 824
478.01/478.05	c iter 1057 time 475.217 not-muc 462862 unknown 76076 muc 825
478.01/478.05	c iter 1058 time 475.249 not-muc 462862 unknown 76075 muc 826
478.01/478.05	c iter 1059 time 475.281 not-muc 462862 unknown 76074 muc 827
478.01/478.05	c iter 1060 time 475.313 not-muc 462862 unknown 76073 muc 828
478.01/478.05	c iter 1061 time 475.345 not-muc 462862 unknown 76072 muc 829
478.01/478.05	c iter 1062 time 475.377 not-muc 462862 unknown 76071 muc 830
478.01/478.05	c iter 1063 time 475.409 not-muc 462862 unknown 76070 muc 831
478.01/478.05	c iter 1064 time 475.441 not-muc 462862 unknown 76069 muc 832
478.01/478.05	c iter 1065 time 475.473 not-muc 462862 unknown 76068 muc 833
478.01/478.05	c iter 1066 time 475.505 not-muc 462862 unknown 76067 muc 834
478.01/478.05	c iter 1067 time 475.537 not-muc 462862 unknown 76066 muc 835
478.01/478.05	c iter 1068 time 475.569 not-muc 462862 unknown 76065 muc 836
478.01/478.05	c iter 1069 time 475.6 not-muc 462862 unknown 76064 muc 837
478.01/478.05	c iter 1070 time 475.632 not-muc 462862 unknown 76063 muc 838
478.01/478.05	c iter 1071 time 475.664 not-muc 462862 unknown 76062 muc 839
478.01/478.05	c iter 1072 time 475.696 not-muc 462862 unknown 76061 muc 840
478.01/478.05	c iter 1073 time 475.728 not-muc 462862 unknown 76060 muc 841
478.01/478.05	c iter 1074 time 475.76 not-muc 462862 unknown 76059 muc 842
478.01/478.05	c iter 1075 time 475.793 not-muc 462862 unknown 76058 muc 843
478.01/478.05	c iter 1076 time 475.824 not-muc 462862 unknown 76057 muc 844
478.01/478.05	c iter 1077 time 475.856 not-muc 462862 unknown 76056 muc 845
478.01/478.05	c iter 1078 time 475.888 not-muc 462862 unknown 76055 muc 846
478.01/478.05	c iter 1079 time 475.92 not-muc 462862 unknown 76054 muc 847
513.90/513.93	c iter 1080 time 475.952 not-muc 462862 unknown 76053 muc 848
513.90/513.93	c iter 1081 time 475.984 not-muc 462862 unknown 76052 muc 849
513.90/513.93	c iter 1082 time 476.016 not-muc 462862 unknown 76051 muc 850
513.90/513.93	c iter 1083 time 476.047 not-muc 462862 unknown 76050 muc 851
513.90/513.93	c iter 1084 time 476.079 not-muc 462862 unknown 76049 muc 852
513.90/513.93	c iter 1085 time 476.112 not-muc 462862 unknown 76048 muc 853
513.90/513.93	c iter 1086 time 476.144 not-muc 462862 unknown 76047 muc 854
513.90/513.93	c iter 1087 time 476.19 not-muc 462862 unknown 76046 muc 855
513.90/513.93	c iter 1088 time 476.223 not-muc 462862 unknown 76045 muc 856
513.90/513.93	c iter 1089 time 476.256 not-muc 462862 unknown 76044 muc 857
513.90/513.93	c iter 1090 time 476.327 not-muc 462862 unknown 76043 muc 858
513.90/513.93	c iter 1091 time 476.359 not-muc 462862 unknown 76042 muc 859
513.90/513.93	c iter 1092 time 476.392 not-muc 462862 unknown 76041 muc 860
513.90/513.93	c iter 1093 time 476.426 not-muc 462862 unknown 76040 muc 861
513.90/513.93	c iter 1094 time 476.459 not-muc 462862 unknown 76039 muc 862
513.90/513.93	c iter 1095 time 476.492 not-muc 462862 unknown 76038 muc 863
513.90/513.93	c iter 1096 time 476.525 not-muc 462862 unknown 76037 muc 864
513.90/513.93	c iter 1097 time 476.559 not-muc 462862 unknown 76036 muc 865
513.90/513.93	c iter 1098 time 476.592 not-muc 462862 unknown 76035 muc 866
513.90/513.93	c iter 1099 time 476.624 not-muc 462862 unknown 76034 muc 867
513.90/513.93	c iter 1100 time 476.658 not-muc 462862 unknown 76033 muc 868
513.90/513.93	c iter 1101 time 476.692 not-muc 462862 unknown 76032 muc 869
513.90/513.93	c iter 1102 time 476.725 not-muc 462862 unknown 76031 muc 870
513.90/513.93	c iter 1103 time 476.758 not-muc 462862 unknown 76030 muc 871
513.90/513.93	c iter 1104 time 476.792 not-muc 462862 unknown 76029 muc 872
513.90/513.93	c iter 1105 time 476.826 not-muc 462862 unknown 76028 muc 873
513.90/513.93	c iter 1106 time 476.859 not-muc 462862 unknown 76027 muc 874
513.90/513.93	c iter 1107 time 476.892 not-muc 462862 unknown 76026 muc 875
513.90/513.93	c iter 1108 time 478.906 not-muc 463024 unknown 75864 muc 875
513.90/513.93	c iter 1109 time 480.277 not-muc 463099 unknown 75789 muc 875
513.90/513.93	c iter 1110 time 480.451 not-muc 463099 unknown 75788 muc 876
513.90/513.93	c iter 1111 time 481.907 not-muc 463119 unknown 75768 muc 876
513.90/513.93	c iter 1112 time 482.13 not-muc 463119 unknown 75767 muc 877
513.90/513.93	c iter 1113 time 482.161 not-muc 463119 unknown 75766 muc 878
513.90/513.93	c iter 1114 time 482.895 not-muc 463133 unknown 75752 muc 878
513.90/513.93	c iter 1115 time 483.275 not-muc 463136 unknown 75749 muc 878
513.90/513.93	c iter 1116 time 483.383 not-muc 463136 unknown 75748 muc 879
513.90/513.93	c iter 1117 time 483.44 not-muc 463136 unknown 75747 muc 880
513.90/513.93	c iter 1118 time 483.853 not-muc 463143 unknown 75740 muc 880
513.90/513.93	c iter 1119 time 484.282 not-muc 463169 unknown 75714 muc 880
513.90/513.93	c iter 1120 time 484.592 not-muc 463183 unknown 75700 muc 880
513.90/513.93	c iter 1121 time 484.701 not-muc 463183 unknown 75699 muc 881
513.90/513.93	c iter 1122 time 484.736 not-muc 463183 unknown 75698 muc 882
513.90/513.93	c iter 1123 time 485.173 not-muc 463196 unknown 75685 muc 882
513.90/513.93	c iter 1124 time 485.422 not-muc 463227 unknown 75654 muc 882
513.90/513.93	c iter 1125 time 490.667 not-muc 463671 unknown 75210 muc 882
513.90/513.93	c iter 1126 time 491.449 not-muc 463686 unknown 75195 muc 882
513.90/513.93	c iter 1127 time 493.644 not-muc 463750 unknown 75131 muc 882
513.90/513.93	c iter 1128 time 493.797 not-muc 463750 unknown 75130 muc 883
513.90/513.93	c iter 1129 time 495.37 not-muc 463774 unknown 75106 muc 883
513.90/513.93	c iter 1130 time 495.485 not-muc 463774 unknown 75105 muc 884
513.90/513.93	c iter 1131 time 495.517 not-muc 463774 unknown 75104 muc 885
513.90/513.93	c iter 1132 time 500.629 not-muc 463880 unknown 74998 muc 885
513.90/513.93	c iter 1133 time 501.404 not-muc 463894 unknown 74984 muc 885
513.90/513.93	c iter 1134 time 502.345 not-muc 463899 unknown 74979 muc 885
513.90/513.93	c iter 1135 time 503.481 not-muc 463914 unknown 74964 muc 885
513.90/513.93	c iter 1136 time 504.152 not-muc 463915 unknown 74963 muc 885
513.90/513.93	c iter 1137 time 504.42 not-muc 463915 unknown 74962 muc 886
513.90/513.93	c iter 1138 time 505.33 not-muc 463923 unknown 74954 muc 886
513.90/513.93	c iter 1139 time 505.694 not-muc 463926 unknown 74951 muc 886
513.90/513.93	c iter 1140 time 505.82 not-muc 463926 unknown 74950 muc 887
513.90/513.93	c iter 1141 time 505.857 not-muc 463926 unknown 74949 muc 888
513.90/513.93	c iter 1142 time 506.57 not-muc 463928 unknown 74947 muc 888
513.90/513.93	c iter 1143 time 508.329 not-muc 463935 unknown 74940 muc 888
513.90/513.93	c iter 1144 time 509.935 not-muc 463990 unknown 74885 muc 888
513.90/513.93	c iter 1145 time 511.643 not-muc 463992 unknown 74883 muc 888
565.71/565.74	c iter 1146 time 511.87 not-muc 463992 unknown 74882 muc 889
565.71/565.74	c iter 1147 time 513.063 not-muc 464016 unknown 74858 muc 889
565.71/565.74	c iter 1148 time 513.507 not-muc 464017 unknown 74857 muc 889
565.71/565.74	c iter 1149 time 513.608 not-muc 464017 unknown 74856 muc 890
565.71/565.74	c iter 1150 time 514.343 not-muc 464018 unknown 74855 muc 890
565.71/565.74	c iter 1151 time 514.498 not-muc 464018 unknown 74854 muc 891
565.71/565.74	c iter 1152 time 514.53 not-muc 464018 unknown 74853 muc 892
565.71/565.74	c iter 1153 time 515.456 not-muc 464024 unknown 74847 muc 892
565.71/565.74	c iter 1154 time 521.684 not-muc 464884 unknown 73987 muc 892
565.71/565.74	c iter 1155 time 526.01 not-muc 464990 unknown 73881 muc 892
565.71/565.74	c iter 1156 time 528.478 not-muc 465089 unknown 73782 muc 892
565.71/565.74	c iter 1157 time 532.168 not-muc 465224 unknown 73647 muc 892
565.71/565.74	c iter 1158 time 533.856 not-muc 465322 unknown 73549 muc 892
565.71/565.74	c iter 1159 time 538.11 not-muc 465633 unknown 73238 muc 892
565.71/565.74	c iter 1160 time 538.382 not-muc 465633 unknown 73237 muc 893
565.71/565.74	c iter 1161 time 538.878 not-muc 465633 unknown 73236 muc 894
565.71/565.74	c iter 1162 time 539.04 not-muc 465633 unknown 73235 muc 895
565.71/565.74	c iter 1163 time 540.067 not-muc 465732 unknown 73136 muc 895
565.71/565.74	c iter 1164 time 540.192 not-muc 465732 unknown 73135 muc 896
565.71/565.74	c iter 1165 time 540.229 not-muc 465732 unknown 73134 muc 897
565.71/565.74	c iter 1166 time 542.033 not-muc 465918 unknown 72948 muc 897
565.71/565.74	c iter 1167 time 542.279 not-muc 465918 unknown 72947 muc 898
565.71/565.74	c iter 1168 time 542.315 not-muc 465918 unknown 72946 muc 899
565.71/565.74	c iter 1169 time 543.354 not-muc 465951 unknown 72913 muc 899
565.71/565.74	c iter 1170 time 543.578 not-muc 465951 unknown 72912 muc 900
565.71/565.74	c iter 1171 time 543.679 not-muc 465951 unknown 72911 muc 901
565.71/565.74	c iter 1172 time 544.911 not-muc 465975 unknown 72887 muc 901
565.71/565.74	c iter 1173 time 545.282 not-muc 465975 unknown 72886 muc 902
565.71/565.74	c iter 1174 time 545.324 not-muc 465975 unknown 72885 muc 903
565.71/565.74	c iter 1175 time 546.195 not-muc 466073 unknown 72787 muc 903
565.71/565.74	c iter 1176 time 546.267 not-muc 466073 unknown 72786 muc 904
565.71/565.74	c iter 1177 time 546.302 not-muc 466073 unknown 72785 muc 905
565.71/565.74	c iter 1178 time 546.335 not-muc 466073 unknown 72784 muc 906
565.71/565.74	c iter 1179 time 547.861 not-muc 466161 unknown 72696 muc 906
565.71/565.74	c iter 1180 time 548.818 not-muc 466261 unknown 72596 muc 906
565.71/565.74	c iter 1181 time 548.923 not-muc 466261 unknown 72595 muc 907
565.71/565.74	c iter 1182 time 549.844 not-muc 466272 unknown 72584 muc 907
565.71/565.74	c iter 1183 time 550.685 not-muc 466304 unknown 72552 muc 907
565.71/565.74	c iter 1184 time 550.742 not-muc 466304 unknown 72551 muc 908
565.71/565.74	c iter 1185 time 550.775 not-muc 466304 unknown 72550 muc 909
565.71/565.74	c iter 1186 time 550.808 not-muc 466304 unknown 72549 muc 910
565.71/565.74	c iter 1187 time 551.884 not-muc 466311 unknown 72542 muc 910
565.71/565.74	c iter 1188 time 552.289 not-muc 466311 unknown 72541 muc 911
565.71/565.74	c iter 1189 time 552.322 not-muc 466311 unknown 72540 muc 912
565.71/565.74	c iter 1190 time 553.334 not-muc 466316 unknown 72535 muc 912
565.71/565.74	c iter 1191 time 553.631 not-muc 466316 unknown 72534 muc 913
565.71/565.74	c iter 1192 time 553.671 not-muc 466316 unknown 72533 muc 914
565.71/565.74	c iter 1193 time 554.479 not-muc 466323 unknown 72526 muc 914
565.71/565.74	c iter 1194 time 554.663 not-muc 466323 unknown 72525 muc 915
565.71/565.74	c iter 1195 time 554.7 not-muc 466323 unknown 72524 muc 916
565.71/565.74	c iter 1196 time 556.946 not-muc 466803 unknown 72044 muc 916
565.71/565.74	c iter 1197 time 557.239 not-muc 466803 unknown 72043 muc 917
565.71/565.74	c iter 1198 time 557.274 not-muc 466803 unknown 72042 muc 918
565.71/565.74	c iter 1199 time 557.37 not-muc 466803 unknown 72041 muc 919
565.71/565.74	c iter 1200 time 559.323 not-muc 466829 unknown 72015 muc 919
565.71/565.74	c iter 1201 time 560.206 not-muc 466842 unknown 72002 muc 919
565.71/565.74	c iter 1202 time 560.311 not-muc 466842 unknown 72001 muc 920
565.71/565.74	c iter 1203 time 560.344 not-muc 466842 unknown 72000 muc 921
565.71/565.74	c iter 1204 time 560.381 not-muc 466842 unknown 71999 muc 922
565.71/565.74	c iter 1205 time 560.414 not-muc 466842 unknown 71998 muc 923
565.71/565.74	c iter 1206 time 560.447 not-muc 466842 unknown 71997 muc 924
565.71/565.74	c iter 1207 time 561.219 not-muc 466846 unknown 71993 muc 924
565.71/565.74	c iter 1208 time 561.281 not-muc 466846 unknown 71992 muc 925
565.71/565.74	c iter 1209 time 561.315 not-muc 466846 unknown 71991 muc 926
565.71/565.74	c iter 1210 time 563.185 not-muc 466869 unknown 71968 muc 926
565.71/565.74	c iter 1211 time 563.286 not-muc 466869 unknown 71967 muc 927
581.81/581.85	c iter 1212 time 563.32 not-muc 466869 unknown 71966 muc 928
581.81/581.85	c iter 1213 time 564.039 not-muc 466884 unknown 71951 muc 928
581.81/581.85	c iter 1214 time 564.091 not-muc 466884 unknown 71950 muc 929
581.81/581.85	c iter 1215 time 564.124 not-muc 466884 unknown 71949 muc 930
581.81/581.85	c iter 1216 time 564.157 not-muc 466884 unknown 71948 muc 931
581.81/581.85	c iter 1217 time 564.19 not-muc 466884 unknown 71947 muc 932
581.81/581.85	c iter 1218 time 564.897 not-muc 466902 unknown 71929 muc 932
581.81/581.85	c iter 1219 time 564.979 not-muc 466902 unknown 71928 muc 933
581.81/581.85	c iter 1220 time 565.012 not-muc 466902 unknown 71927 muc 934
581.81/581.85	c iter 1221 time 565.677 not-muc 466905 unknown 71924 muc 934
581.81/581.85	c iter 1222 time 565.768 not-muc 466905 unknown 71923 muc 935
581.81/581.85	c iter 1223 time 565.801 not-muc 466905 unknown 71922 muc 936
581.81/581.85	c iter 1224 time 566.699 not-muc 466913 unknown 71914 muc 936
581.81/581.85	c iter 1225 time 566.768 not-muc 466913 unknown 71913 muc 937
581.81/581.85	c iter 1226 time 566.803 not-muc 466913 unknown 71912 muc 938
581.81/581.85	c iter 1227 time 567.446 not-muc 466927 unknown 71898 muc 938
581.81/581.85	c iter 1228 time 567.512 not-muc 466927 unknown 71897 muc 939
581.81/581.85	c iter 1229 time 567.55 not-muc 466927 unknown 71896 muc 940
581.81/581.85	c iter 1230 time 567.603 not-muc 466927 unknown 71895 muc 941
581.81/581.85	c iter 1231 time 568.838 not-muc 466942 unknown 71880 muc 941
581.81/581.85	c iter 1232 time 569.902 not-muc 466945 unknown 71877 muc 941
581.81/581.85	c iter 1233 time 570.555 not-muc 466947 unknown 71875 muc 941
581.81/581.85	c iter 1234 time 570.944 not-muc 466948 unknown 71874 muc 941
581.81/581.85	c iter 1235 time 571.006 not-muc 466948 unknown 71873 muc 942
581.81/581.85	c iter 1236 time 571.044 not-muc 466948 unknown 71872 muc 943
581.81/581.85	c iter 1237 time 571.077 not-muc 466948 unknown 71871 muc 944
581.81/581.85	c iter 1238 time 571.109 not-muc 466948 unknown 71870 muc 945
581.81/581.85	c iter 1239 time 571.142 not-muc 466948 unknown 71869 muc 946
581.81/581.85	c iter 1240 time 571.175 not-muc 466948 unknown 71868 muc 947
581.81/581.85	c iter 1241 time 571.207 not-muc 466948 unknown 71867 muc 948
581.81/581.85	c iter 1242 time 571.24 not-muc 466948 unknown 71866 muc 949
581.81/581.85	c iter 1243 time 571.272 not-muc 466948 unknown 71865 muc 950
581.81/581.85	c iter 1244 time 571.917 not-muc 466950 unknown 71863 muc 950
581.81/581.85	c iter 1245 time 572.049 not-muc 466950 unknown 71862 muc 951
581.81/581.85	c iter 1246 time 572.106 not-muc 466950 unknown 71861 muc 952
581.81/581.85	c iter 1247 time 572.142 not-muc 466950 unknown 71860 muc 953
581.81/581.85	c iter 1248 time 572.175 not-muc 466950 unknown 71859 muc 954
581.81/581.85	c iter 1249 time 572.867 not-muc 466951 unknown 71858 muc 954
581.81/581.85	c iter 1250 time 572.941 not-muc 466951 unknown 71857 muc 955
581.81/581.85	c iter 1251 time 572.974 not-muc 466951 unknown 71856 muc 956
581.81/581.85	c iter 1252 time 573.625 not-muc 466957 unknown 71850 muc 956
581.81/581.85	c iter 1253 time 573.702 not-muc 466957 unknown 71849 muc 957
581.81/581.85	c iter 1254 time 573.735 not-muc 466957 unknown 71848 muc 958
581.81/581.85	c iter 1255 time 574.212 not-muc 466959 unknown 71846 muc 958
581.81/581.85	c iter 1256 time 574.465 not-muc 466959 unknown 71845 muc 959
581.81/581.85	c iter 1257 time 574.498 not-muc 466959 unknown 71844 muc 960
581.81/581.85	c iter 1258 time 574.53 not-muc 466959 unknown 71843 muc 961
581.81/581.85	c iter 1259 time 574.563 not-muc 466959 unknown 71842 muc 962
581.81/581.85	c iter 1260 time 574.595 not-muc 466959 unknown 71841 muc 963
581.81/581.85	c iter 1261 time 574.627 not-muc 466959 unknown 71840 muc 964
581.81/581.85	c iter 1262 time 575.768 not-muc 466966 unknown 71833 muc 964
581.81/581.85	c iter 1263 time 575.882 not-muc 466966 unknown 71832 muc 965
581.81/581.85	c iter 1264 time 575.914 not-muc 466966 unknown 71831 muc 966
581.81/581.85	c iter 1265 time 576.589 not-muc 466969 unknown 71828 muc 966
581.81/581.85	c iter 1266 time 576.652 not-muc 466969 unknown 71827 muc 967
581.81/581.85	c iter 1267 time 576.685 not-muc 466969 unknown 71826 muc 968
581.81/581.85	c iter 1268 time 576.717 not-muc 466969 unknown 71825 muc 969
581.81/581.85	c iter 1269 time 576.749 not-muc 466969 unknown 71824 muc 970
581.81/581.85	c iter 1270 time 577.369 not-muc 466972 unknown 71821 muc 970
581.81/581.85	c iter 1271 time 577.515 not-muc 466972 unknown 71820 muc 971
581.81/581.85	c iter 1272 time 577.548 not-muc 466972 unknown 71819 muc 972
581.81/581.85	c iter 1273 time 578.149 not-muc 466974 unknown 71817 muc 972
581.81/581.85	c iter 1274 time 578.246 not-muc 466974 unknown 71816 muc 973
581.81/581.85	c iter 1275 time 578.279 not-muc 466974 unknown 71815 muc 974
581.81/581.85	c iter 1276 time 579.301 not-muc 466984 unknown 71805 muc 974
581.81/581.85	c iter 1277 time 579.362 not-muc 466984 unknown 71804 muc 975
594.20/594.28	c iter 1278 time 579.396 not-muc 466984 unknown 71803 muc 976
594.20/594.28	c iter 1279 time 580.439 not-muc 467012 unknown 71775 muc 976
594.20/594.28	c iter 1280 time 580.504 not-muc 467012 unknown 71774 muc 977
594.20/594.28	c iter 1281 time 580.539 not-muc 467012 unknown 71773 muc 978
594.20/594.28	c iter 1282 time 581.333 not-muc 467016 unknown 71769 muc 978
594.20/594.28	c iter 1283 time 581.466 not-muc 467016 unknown 71768 muc 979
594.20/594.28	c iter 1284 time 581.5 not-muc 467016 unknown 71767 muc 980
594.20/594.28	c iter 1285 time 581.535 not-muc 467016 unknown 71766 muc 981
594.20/594.28	c iter 1286 time 581.829 not-muc 467016 unknown 71765 muc 982
594.20/594.28	c iter 1287 time 582.952 not-muc 467023 unknown 71758 muc 982
594.20/594.28	c iter 1288 time 583.717 not-muc 467026 unknown 71755 muc 982
594.20/594.28	c iter 1289 time 584.437 not-muc 467029 unknown 71752 muc 982
594.20/594.28	c iter 1290 time 584.971 not-muc 467032 unknown 71749 muc 982
594.20/594.28	c iter 1291 time 585.551 not-muc 467036 unknown 71745 muc 982
594.20/594.28	c iter 1292 time 586.152 not-muc 467038 unknown 71743 muc 982
594.20/594.28	c iter 1293 time 586.41 not-muc 467040 unknown 71741 muc 982
594.20/594.28	c iter 1294 time 586.949 not-muc 467041 unknown 71740 muc 982
594.20/594.28	c iter 1295 time 586.999 not-muc 467041 unknown 71739 muc 983
594.20/594.28	c iter 1296 time 587.031 not-muc 467041 unknown 71738 muc 984
594.20/594.28	c iter 1297 time 587.061 not-muc 467041 unknown 71737 muc 985
594.20/594.28	c iter 1298 time 587.093 not-muc 467041 unknown 71736 muc 986
594.20/594.28	c iter 1299 time 587.124 not-muc 467041 unknown 71735 muc 987
594.20/594.28	c iter 1300 time 587.155 not-muc 467041 unknown 71734 muc 988
594.20/594.28	c iter 1301 time 587.187 not-muc 467041 unknown 71733 muc 989
594.20/594.28	c iter 1302 time 587.218 not-muc 467041 unknown 71732 muc 990
594.20/594.28	c iter 1303 time 587.25 not-muc 467041 unknown 71731 muc 991
594.20/594.28	c iter 1304 time 587.281 not-muc 467041 unknown 71730 muc 992
594.20/594.28	c iter 1305 time 587.312 not-muc 467041 unknown 71729 muc 993
594.20/594.28	c iter 1306 time 587.344 not-muc 467041 unknown 71728 muc 994
594.20/594.28	c iter 1307 time 587.376 not-muc 467041 unknown 71727 muc 995
594.20/594.28	c iter 1308 time 587.408 not-muc 467041 unknown 71726 muc 996
594.20/594.28	c iter 1309 time 587.44 not-muc 467041 unknown 71725 muc 997
594.20/594.28	c iter 1310 time 587.472 not-muc 467041 unknown 71724 muc 998
594.20/594.28	c iter 1311 time 587.504 not-muc 467041 unknown 71723 muc 999
594.20/594.28	c iter 1312 time 587.536 not-muc 467041 unknown 71722 muc 1000
594.20/594.28	c iter 1313 time 587.568 not-muc 467041 unknown 71721 muc 1001
594.20/594.28	c iter 1314 time 587.6 not-muc 467041 unknown 71720 muc 1002
594.20/594.28	c iter 1315 time 588.128 not-muc 467042 unknown 71719 muc 1002
594.20/594.28	c iter 1316 time 588.201 not-muc 467042 unknown 71718 muc 1003
594.20/594.28	c iter 1317 time 588.233 not-muc 467042 unknown 71717 muc 1004
594.20/594.28	c iter 1318 time 588.265 not-muc 467042 unknown 71716 muc 1005
594.20/594.28	c iter 1319 time 588.297 not-muc 467042 unknown 71715 muc 1006
594.20/594.28	c iter 1320 time 588.328 not-muc 467042 unknown 71714 muc 1007
594.20/594.28	c iter 1321 time 588.361 not-muc 467042 unknown 71713 muc 1008
594.20/594.28	c iter 1322 time 589.038 not-muc 467043 unknown 71712 muc 1008
594.20/594.28	c iter 1323 time 589.138 not-muc 467043 unknown 71711 muc 1009
594.20/594.28	c iter 1324 time 589.17 not-muc 467043 unknown 71710 muc 1010
594.20/594.28	c iter 1325 time 589.759 not-muc 467044 unknown 71709 muc 1010
594.20/594.28	c iter 1326 time 589.813 not-muc 467044 unknown 71708 muc 1011
594.20/594.28	c iter 1327 time 589.846 not-muc 467044 unknown 71707 muc 1012
594.20/594.28	c iter 1328 time 590.295 not-muc 467045 unknown 71706 muc 1012
594.20/594.28	c iter 1329 time 590.34 not-muc 467045 unknown 71705 muc 1013
594.20/594.28	c iter 1330 time 590.372 not-muc 467045 unknown 71704 muc 1014
594.20/594.28	c iter 1331 time 590.823 not-muc 467046 unknown 71703 muc 1014
594.20/594.28	c iter 1332 time 590.887 not-muc 467046 unknown 71702 muc 1015
594.20/594.28	c iter 1333 time 590.919 not-muc 467046 unknown 71701 muc 1016
594.20/594.28	c iter 1334 time 590.951 not-muc 467046 unknown 71700 muc 1017
594.20/594.28	c iter 1335 time 590.983 not-muc 467046 unknown 71699 muc 1018
594.20/594.28	c iter 1336 time 591.516 not-muc 467052 unknown 71693 muc 1018
594.20/594.28	c iter 1337 time 591.573 not-muc 467052 unknown 71692 muc 1019
594.20/594.28	c iter 1338 time 591.605 not-muc 467052 unknown 71691 muc 1020
594.20/594.28	c iter 1339 time 591.637 not-muc 467052 unknown 71690 muc 1021
594.20/594.28	c iter 1340 time 591.67 not-muc 467052 unknown 71689 muc 1022
594.20/594.28	c iter 1341 time 591.701 not-muc 467052 unknown 71688 muc 1023
594.20/594.28	c iter 1342 time 591.733 not-muc 467052 unknown 71687 muc 1024
594.20/594.28	c iter 1343 time 591.766 not-muc 467052 unknown 71686 muc 1025
604.41/604.42	c iter 1344 time 591.798 not-muc 467052 unknown 71685 muc 1026
604.41/604.42	c iter 1345 time 591.83 not-muc 467052 unknown 71684 muc 1027
604.41/604.42	c iter 1346 time 591.861 not-muc 467052 unknown 71683 muc 1028
604.41/604.42	c iter 1347 time 592.324 not-muc 467053 unknown 71682 muc 1028
604.41/604.42	c iter 1348 time 592.422 not-muc 467053 unknown 71681 muc 1029
604.41/604.42	c iter 1349 time 592.454 not-muc 467053 unknown 71680 muc 1030
604.41/604.42	c iter 1350 time 592.486 not-muc 467053 unknown 71679 muc 1031
604.41/604.42	c iter 1351 time 592.518 not-muc 467053 unknown 71678 muc 1032
604.41/604.42	c iter 1352 time 593.008 not-muc 467054 unknown 71677 muc 1032
604.41/604.42	c iter 1353 time 593.061 not-muc 467054 unknown 71676 muc 1033
604.41/604.42	c iter 1354 time 593.093 not-muc 467054 unknown 71675 muc 1034
604.41/604.42	c iter 1355 time 593.125 not-muc 467054 unknown 71674 muc 1035
604.41/604.42	c iter 1356 time 593.157 not-muc 467054 unknown 71673 muc 1036
604.41/604.42	c iter 1357 time 593.189 not-muc 467054 unknown 71672 muc 1037
604.41/604.42	c iter 1358 time 593.221 not-muc 467054 unknown 71671 muc 1038
604.41/604.42	c iter 1359 time 593.253 not-muc 467054 unknown 71670 muc 1039
604.41/604.42	c iter 1360 time 593.286 not-muc 467054 unknown 71669 muc 1040
604.41/604.42	c iter 1361 time 593.318 not-muc 467054 unknown 71668 muc 1041
604.41/604.42	c iter 1362 time 593.351 not-muc 467054 unknown 71667 muc 1042
604.41/604.42	c iter 1363 time 593.818 not-muc 467055 unknown 71666 muc 1042
604.41/604.42	c iter 1364 time 593.86 not-muc 467055 unknown 71665 muc 1043
604.41/604.42	c iter 1365 time 593.893 not-muc 467055 unknown 71664 muc 1044
604.41/604.42	c iter 1366 time 594.259 not-muc 467056 unknown 71663 muc 1044
604.41/604.42	c iter 1367 time 594.308 not-muc 467056 unknown 71662 muc 1045
604.41/604.42	c iter 1368 time 594.341 not-muc 467056 unknown 71661 muc 1046
604.41/604.42	c iter 1369 time 594.646 not-muc 467057 unknown 71660 muc 1046
604.41/604.42	c iter 1370 time 594.694 not-muc 467057 unknown 71659 muc 1047
604.41/604.42	c iter 1371 time 594.727 not-muc 467057 unknown 71658 muc 1048
604.41/604.42	c iter 1372 time 594.76 not-muc 467057 unknown 71657 muc 1049
604.41/604.42	c iter 1373 time 594.792 not-muc 467057 unknown 71656 muc 1050
604.41/604.42	c iter 1374 time 595.813 not-muc 467074 unknown 71639 muc 1050
604.41/604.42	c iter 1375 time 596.208 not-muc 467074 unknown 71638 muc 1051
604.41/604.42	c iter 1376 time 596.241 not-muc 467074 unknown 71637 muc 1052
604.41/604.42	c iter 1377 time 597.095 not-muc 467075 unknown 71636 muc 1052
604.41/604.42	c iter 1378 time 597.163 not-muc 467075 unknown 71635 muc 1053
604.41/604.42	c iter 1379 time 597.196 not-muc 467075 unknown 71634 muc 1054
604.41/604.42	c iter 1380 time 597.92 not-muc 467080 unknown 71629 muc 1054
604.41/604.42	c iter 1381 time 598.034 not-muc 467080 unknown 71628 muc 1055
604.41/604.42	c iter 1382 time 598.068 not-muc 467080 unknown 71627 muc 1056
604.41/604.42	c iter 1383 time 598.102 not-muc 467080 unknown 71626 muc 1057
604.41/604.42	c iter 1384 time 598.136 not-muc 467080 unknown 71625 muc 1058
604.41/604.42	c iter 1385 time 598.68 not-muc 467085 unknown 71620 muc 1058
604.41/604.42	c iter 1386 time 598.824 not-muc 467085 unknown 71619 muc 1059
604.41/604.42	c iter 1387 time 598.858 not-muc 467085 unknown 71618 muc 1060
604.41/604.42	c iter 1388 time 599.485 not-muc 467097 unknown 71606 muc 1060
604.41/604.42	c iter 1389 time 599.738 not-muc 467097 unknown 71605 muc 1061
604.41/604.42	c iter 1390 time 599.772 not-muc 467097 unknown 71604 muc 1062
604.41/604.42	c iter 1391 time 599.963 not-muc 467097 unknown 71603 muc 1063
604.41/604.42	c iter 1392 time 600.003 not-muc 467097 unknown 71602 muc 1064
604.41/604.42	c iter 1393 time 600.035 not-muc 467097 unknown 71601 muc 1065
604.41/604.42	c iter 1394 time 600.119 not-muc 467097 unknown 71600 muc 1066
604.41/604.42	c iter 1395 time 600.166 not-muc 467097 unknown 71599 muc 1067
604.41/604.42	c iter 1396 time 601.221 not-muc 467216 unknown 71480 muc 1067
604.41/604.42	c iter 1397 time 601.358 not-muc 467216 unknown 71479 muc 1068
604.41/604.42	c iter 1398 time 601.388 not-muc 467216 unknown 71478 muc 1069
604.41/604.42	c iter 1399 time 601.47 not-muc 467216 unknown 71477 muc 1070
604.41/604.42	c iter 1400 time 601.565 not-muc 467216 unknown 71476 muc 1071
604.41/604.42	c iter 1401 time 601.604 not-muc 467216 unknown 71475 muc 1072
604.41/604.42	c iter 1402 time 601.64 not-muc 467216 unknown 71474 muc 1073
604.41/604.42	c iter 1403 time 601.683 not-muc 467216 unknown 71473 muc 1074
604.41/604.42	c iter 1404 time 601.723 not-muc 467216 unknown 71472 muc 1075
604.41/604.42	c iter 1405 time 601.77 not-muc 467216 unknown 71471 muc 1076
604.41/604.42	c iter 1406 time 601.802 not-muc 467216 unknown 71470 muc 1077
604.41/604.42	c iter 1407 time 601.838 not-muc 467216 unknown 71469 muc 1078
604.41/604.42	c iter 1408 time 601.871 not-muc 467216

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.08 5/183 21960
/proc/meminfo: memFree=31149176/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=23068 CPUtime=0 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 1230 0 0 0 0 0 0 0 22 0 1 0 970519981 23621632 1171 33554432000 4194304 4337479 140734385871392 18446744073709551615 4313935 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 5767 1174 223 35 0 2390 0

[startup+0.0495321 s]
/proc/loadavg: 1.00 1.00 1.08 5/183 21960
/proc/meminfo: memFree=31149176/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=34064 CPUtime=0.04 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 4577 0 0 0 4 0 0 0 22 0 1 0 970519981 34881536 4279 33554432000 4194304 4337479 140734385871392 18446744073709551615 231895490304 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 8516 4281 223 35 0 5139 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34064

[startup+0.100523 s]
/proc/loadavg: 1.00 1.00 1.08 5/183 21960
/proc/meminfo: memFree=31149176/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=45256 CPUtime=0.09 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 7551 0 0 0 8 1 0 0 22 0 1 0 970519981 46342144 6867 33554432000 4194304 4337479 140734385871392 18446744073709551615 4321305 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 11314 6868 224 35 0 7937 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45256

[startup+0.300494 s]
/proc/loadavg: 1.00 1.00 1.08 5/183 21960
/proc/meminfo: memFree=31149176/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=80904 CPUtime=0.29 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 16271 0 0 0 27 2 0 0 23 0 1 0 970519981 82845696 14676 33554432000 4194304 4337479 140734385871392 18446744073709551615 4288964 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 20226 14676 233 35 0 16849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80904

[startup+0.700413 s]
/proc/loadavg: 1.00 1.00 1.08 5/183 21960
/proc/meminfo: memFree=31149176/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=80904 CPUtime=0.69 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 16418 0 0 0 67 2 0 0 25 0 1 0 970519981 82845696 14823 33554432000 4194304 4337479 140734385871392 18446744073709551615 4280577 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 20226 14823 233 35 0 16849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80904

[startup+1.50026 s]
/proc/loadavg: 1.00 1.00 1.08 5/190 21981
/proc/meminfo: memFree=30864748/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=80904 CPUtime=1.49 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 16561 0 0 0 147 2 0 0 25 0 1 0 970519981 82845696 14966 33554432000 4194304 4337479 140734385871392 18446744073709551615 4280282 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 20226 14966 243 35 0 16849 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80904

[startup+3.10096 s]
/proc/loadavg: 1.00 1.00 1.08 5/190 21981
/proc/meminfo: memFree=30806716/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=80904 CPUtime=3.09 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 16748 0 0 0 307 2 0 0 25 0 1 0 970519981 82845696 15152 33554432000 4194304 4337479 140734385871392 18446744073709551615 4278650 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 20226 15152 243 35 0 16849 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80904

[startup+6.30036 s]
/proc/loadavg: 1.24 1.05 1.10 5/190 21981
/proc/meminfo: memFree=30725568/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=85656 CPUtime=6.29 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 19064 0 0 0 626 3 0 0 25 0 1 0 970519981 87711744 17467 33554432000 4194304 4337479 140734385871392 18446744073709551615 4280371 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 21414 17467 243 35 0 18037 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85656

[startup+12.7011 s]
/proc/loadavg: 1.46 1.10 1.11 5/190 21981
/proc/meminfo: memFree=30635368/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=117184 CPUtime=12.69 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 25149 0 0 0 1264 5 0 0 25 0 1 0 970519981 119996416 23551 33554432000 4194304 4337479 140734385871392 18446744073709551615 4280208 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 29296 23551 243 35 0 25919 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 117184

[startup+25.5007 s]
/proc/loadavg: 2.10 1.26 1.16 5/190 21982
/proc/meminfo: memFree=30483484/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=164300 CPUtime=25.49 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 38967 0 0 0 2542 7 0 0 25 0 1 0 970519981 168243200 37363 33554432000 4194304 4337479 140734385871392 18446744073709551615 231895151301 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 41075 37363 243 35 0 37698 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 164300

[startup+51.1009 s]
/proc/loadavg: 2.75 1.48 1.24 5/190 21983
/proc/meminfo: memFree=30174304/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=315312 CPUtime=51.1 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 67234 0 0 0 5097 13 0 0 25 0 1 0 970519981 322879488 65626 33554432000 4194304 4337479 140734385871392 18446744073709551615 4280178 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 78828 65626 243 35 0 75451 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 315312

[startup+102.307 s]
/proc/loadavg: 3.45 1.86 1.38 5/190 21984
/proc/meminfo: memFree=29037524/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=758872 CPUtime=102.3 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 165696 0 0 0 10198 32 0 0 25 0 1 0 970519981 777084928 160122 33554432000 4194304 4337479 140734385871392 18446744073709551615 4280558 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 189718 160122 264 35 0 186341 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 758872

[startup+162.301 s]
/proc/loadavg: 3.80 2.25 1.54 5/190 21985
/proc/meminfo: memFree=27347688/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=1399848 CPUtime=162.29 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 342409 0 0 0 16166 63 0 0 25 0 1 0 970519981 1433444352 336811 33554432000 4194304 4337479 140734385871392 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 349962 336811 264 35 0 346585 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1399848

[startup+222.301 s]
/proc/loadavg: 3.92 2.56 1.69 5/190 21987
/proc/meminfo: memFree=25609392/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=2069972 CPUtime=222.29 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 487087 0 0 0 22144 85 0 0 25 0 1 0 970519981 2119651328 481473 33554432000 4194304 4337479 140734385871392 18446744073709551615 4303440 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 517493 481473 264 35 0 514116 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2069972

[startup+282.3 s]
/proc/loadavg: 3.97 2.82 1.83 5/190 21992
/proc/meminfo: memFree=23860492/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=3082304 CPUtime=282.29 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 678204 0 0 0 28114 115 0 0 25 0 1 0 970519981 3156279296 672559 33554432000 4194304 4337479 140734385871392 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 770576 672559 264 35 0 767199 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 3082304

[startup+342.301 s]
/proc/loadavg: 3.99 3.04 1.97 5/190 21993
/proc/meminfo: memFree=21994664/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=4567784 CPUtime=342.31 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 898223 0 0 0 34079 152 0 0 25 0 1 0 970519981 4677410816 892555 33554432000 4194304 4337479 140734385871392 18446744073709551615 4276558 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 1141946 892555 264 35 0 1138569 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 4567784

[startup+402.301 s]
/proc/loadavg: 3.99 3.21 2.09 5/190 21995
/proc/meminfo: memFree=20184048/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=5062020 CPUtime=402.3 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 1111951 0 0 0 40047 183 0 0 25 0 1 0 970519981 5183508480 1106268 33554432000 4194304 4337479 140734385871392 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 1265505 1106268 264 35 0 1262128 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 5062020

[startup+462.3 s]
/proc/loadavg: 3.99 3.35 2.21 5/190 21996
/proc/meminfo: memFree=19094980/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=5452992 CPUtime=462.31 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 1291327 0 0 0 46021 210 0 0 25 0 1 0 970519981 5583863808 1285620 33554432000 4194304 4337479 140734385871392 18446744073709551615 4272831 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 1363248 1285620 264 35 0 1359871 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 5452992

[startup+522.301 s]
/proc/loadavg: 3.93 3.45 2.31 5/190 22037
/proc/meminfo: memFree=24476036/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=7282044 CPUtime=522.3 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 1454209 0 0 0 51996 234 0 0 25 0 1 0 970519981 7456813056 1448481 33554432000 4194304 4337479 140734385871392 18446744073709551615 4258600 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 1820511 1448481 264 35 0 1817134 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 7282044

[startup+582.301 s]
/proc/loadavg: 4.03 3.56 2.42 5/190 22039
/proc/meminfo: memFree=23926880/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=7575444 CPUtime=582.3 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 1554513 0 0 0 57980 250 0 0 25 0 1 0 970519981 7757254656 1520611 33554432000 4194304 4337479 140734385871392 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 1893861 1520611 264 35 0 1890484 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 7575444



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+619.201 s]
/proc/loadavg: 4.01 3.62 2.48 5/190 22040
/proc/meminfo: memFree=23550112/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=7864640 CPUtime=619.22 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4202496 1617508 0 0 0 61662 260 0 0 25 0 1 0 970519981 8053391360 1583581 33554432000 4194304 4337479 140734385871392 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21960/statm: 1966160 1583581 264 35 0 1962783 0
Current children cumulated CPU time (s) 619.22
Current children cumulated vsize (KiB) 7864640

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

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

[startup+619.401 s]
/proc/loadavg: 4.01 3.62 2.48 5/190 22040
/proc/meminfo: memFree=23550112/32950928 swapFree=67054844/67111528
[pid=21960] ppid=21958 vsize=0 CPUtime=619.41 cores=0,2
/proc/21960/stat : 21960 (hmuc) R 21958 21960 10137 0 -1 4203524 1617508 0 0 0 61662 279 0 0 25 0 1 0 970519981 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 0 0 0 0
/proc/21960/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 619.41
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 619.495
CPU time (s): 619.509
CPU user time (s): 616.624
CPU system time (s): 2.88456
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 7864640

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

runsolver used 1.10383 second user time and 2.29165 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-11 16:34:53
IDJOB=3494231
IDBENCH=70997
IDSOLVER=1984
FILE ID=node114/3494231-1307802893
RUNJOBID= node114-1307802892-21922
PBS_JOBID= 13551038
Free space on /tmp= 74080 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-10-5p0.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494231-1307802893/watcher-3494231-1307802893 -o /tmp/evaluation-result-3494231-1307802893/solver-3494231-1307802893 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494231-1307802893.cnf -no-pre

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

MD5SUM BENCH= b0f091d476e617a8697e9f8acfd1538f
RANDOM SEED=1194495058

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31157152 kB
Buffers:        305104 kB
Cached:        1230048 kB
SwapCached:      10540 kB
Active:         478836 kB
Inactive:      1083840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31157152 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           37276 kB
Writeback:           0 kB
AnonPages:       24964 kB
Mapped:          12664 kB
Slab:           165032 kB
PageTables:       5248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   198676 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= 74064 MiB
End job on node114 at 2011-06-11 16:45:14