Trace number 3494101

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namemus/marques-silva/design-debugging/
rsdecoder-problem.dimacs_37.filtered.cnf
MD5SUMb05bc2732ede18ec0b0256ae84e5c35b
Bench CategoryMUS (MUS)
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 variables1513539
Number of clauses4909231
Sum of the clauses size12645533
Maximum clause length4
Minimum clause length1
Number of clauses of size 118321
Number of clauses of size 22047830
Number of clauses of size 32840768
Number of clauses of size 42312
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

54.80/54.80	c WARNING: for repeatability, setting FPU to use double precision
54.80/54.80	c iter 1 time 19.653 not-muc 4308453 unknown 600778 muc 0
54.80/54.80	c iter 2 time 20.1819 not-muc 4308453 unknown 600777 muc 1
54.80/54.80	c iter 3 time 21.4937 not-muc 4308453 unknown 600776 muc 2
54.80/54.80	c iter 4 time 21.9557 not-muc 4308453 unknown 600775 muc 3
54.80/54.80	c iter 5 time 22.4336 not-muc 4308453 unknown 600774 muc 4
54.80/54.80	c iter 6 time 22.8845 not-muc 4308453 unknown 600773 muc 5
54.80/54.80	c iter 7 time 23.4364 not-muc 4308453 unknown 600772 muc 6
54.80/54.80	c iter 8 time 24.3863 not-muc 4308453 unknown 600771 muc 7
54.80/54.80	c iter 9 time 24.7752 not-muc 4308453 unknown 600770 muc 8
54.80/54.80	c iter 10 time 25.2562 not-muc 4308453 unknown 600769 muc 9
54.80/54.80	c iter 11 time 25.6531 not-muc 4308453 unknown 600768 muc 10
54.80/54.80	c iter 12 time 26.104 not-muc 4308453 unknown 600767 muc 11
54.80/54.80	c iter 13 time 26.528 not-muc 4308453 unknown 600766 muc 12
54.80/54.80	c iter 14 time 27.0549 not-muc 4308453 unknown 600765 muc 13
54.80/54.80	c iter 15 time 27.5048 not-muc 4308453 unknown 600764 muc 14
54.80/54.80	c iter 16 time 27.9717 not-muc 4308453 unknown 600763 muc 15
54.80/54.80	c iter 17 time 28.3937 not-muc 4308453 unknown 600762 muc 16
54.80/54.80	c iter 18 time 28.8546 not-muc 4308453 unknown 600761 muc 17
54.80/54.80	c iter 19 time 29.2935 not-muc 4308453 unknown 600760 muc 18
54.80/54.80	c iter 20 time 29.9884 not-muc 4308453 unknown 600759 muc 19
54.80/54.80	c iter 21 time 30.4124 not-muc 4308453 unknown 600758 muc 20
54.80/54.80	c iter 22 time 30.9163 not-muc 4308453 unknown 600757 muc 21
54.80/54.80	c iter 23 time 31.3862 not-muc 4308453 unknown 600756 muc 22
54.80/54.80	c iter 24 time 31.8672 not-muc 4308453 unknown 600755 muc 23
54.80/54.80	c iter 25 time 32.3421 not-muc 4308453 unknown 600754 muc 24
54.80/54.80	c iter 26 time 32.766 not-muc 4308453 unknown 600753 muc 25
54.80/54.80	c iter 27 time 33.2669 not-muc 4308453 unknown 600752 muc 26
54.80/54.80	c iter 28 time 34.2868 not-muc 4308453 unknown 600751 muc 27
54.80/54.80	c iter 29 time 34.7857 not-muc 4308453 unknown 600750 muc 28
54.80/54.80	c iter 30 time 35.2146 not-muc 4308453 unknown 600749 muc 29
54.80/54.80	c iter 31 time 35.6566 not-muc 4308453 unknown 600748 muc 30
54.80/54.80	c iter 32 time 36.1415 not-muc 4308453 unknown 600747 muc 31
54.80/54.80	c iter 33 time 36.5734 not-muc 4308453 unknown 600746 muc 32
54.80/54.80	c iter 34 time 37.3283 not-muc 4308453 unknown 600745 muc 33
54.80/54.80	c iter 35 time 37.7963 not-muc 4308453 unknown 600744 muc 34
54.80/54.80	c iter 36 time 38.2112 not-muc 4308453 unknown 600743 muc 35
54.80/54.80	c iter 37 time 38.6621 not-muc 4308453 unknown 600742 muc 36
54.80/54.80	c iter 38 time 39.212 not-muc 4308453 unknown 600741 muc 37
54.80/54.80	c iter 39 time 39.629 not-muc 4308453 unknown 600740 muc 38
54.80/54.80	c iter 40 time 40.0559 not-muc 4308453 unknown 600739 muc 39
54.80/54.80	c iter 41 time 40.5308 not-muc 4308453 unknown 600738 muc 40
54.80/54.80	c iter 42 time 40.9948 not-muc 4308453 unknown 600737 muc 41
54.80/54.80	c iter 43 time 41.4267 not-muc 4308453 unknown 600736 muc 42
54.80/54.80	c iter 44 time 41.9076 not-muc 4308453 unknown 600735 muc 43
54.80/54.80	c iter 45 time 42.3516 not-muc 4308453 unknown 600734 muc 44
54.80/54.80	c iter 46 time 42.8575 not-muc 4308453 unknown 600733 muc 45
54.80/54.80	c iter 47 time 43.4364 not-muc 4308453 unknown 600732 muc 46
54.80/54.80	c iter 48 time 43.9683 not-muc 4308453 unknown 600731 muc 47
54.80/54.80	c iter 49 time 44.4442 not-muc 4308453 unknown 600730 muc 48
54.80/54.80	c iter 50 time 44.9652 not-muc 4308453 unknown 600729 muc 49
54.80/54.80	c iter 51 time 45.4551 not-muc 4308453 unknown 600728 muc 50
54.80/54.80	c iter 52 time 45.922 not-muc 4308453 unknown 600727 muc 51
54.80/54.80	c iter 53 time 46.3889 not-muc 4308453 unknown 600726 muc 52
54.80/54.80	c iter 54 time 47.1458 not-muc 4308453 unknown 600725 muc 53
54.80/54.80	c iter 55 time 47.6148 not-muc 4308453 unknown 600724 muc 54
54.80/54.80	c iter 56 time 48.0997 not-muc 4308453 unknown 600723 muc 55
54.80/54.80	c iter 57 time 48.6386 not-muc 4308453 unknown 600722 muc 56
54.80/54.80	c iter 58 time 49.1105 not-muc 4308453 unknown 600721 muc 57
54.80/54.80	c iter 59 time 49.5795 not-muc 4308453 unknown 600720 muc 58
54.80/54.80	c iter 60 time 50.0514 not-muc 4308453 unknown 600719 muc 59
54.80/54.80	c iter 61 time 50.7963 not-muc 4308453 unknown 600718 muc 60
54.80/54.80	c iter 62 time 51.3082 not-muc 4308453 unknown 600717 muc 61
54.80/54.80	c iter 63 time 51.7891 not-muc 4308453 unknown 600716 muc 62
54.80/54.80	c iter 64 time 52.565 not-muc 4308453 unknown 600715 muc 63
54.80/54.80	c iter 65 time 53.0279 not-muc 4308453 unknown 600714 muc 64
54.80/54.80	c iter 66 time 53.5079 not-muc 4308453 unknown 600713 muc 65
54.80/54.80	c iter 67 time 54.1128 not-muc 4308453 unknown 600712 muc 66
88.79/88.86	c iter 68 time 54.6527 not-muc 4308453 unknown 600711 muc 67
88.79/88.86	c iter 69 time 55.1486 not-muc 4308453 unknown 600710 muc 68
88.79/88.86	c iter 70 time 55.6175 not-muc 4308453 unknown 600709 muc 69
88.79/88.86	c iter 71 time 56.1435 not-muc 4308453 unknown 600708 muc 70
88.79/88.86	c iter 72 time 56.6774 not-muc 4308453 unknown 600707 muc 71
88.79/88.86	c iter 73 time 57.2133 not-muc 4308453 unknown 600706 muc 72
88.79/88.86	c iter 74 time 57.7012 not-muc 4308453 unknown 600705 muc 73
88.79/88.86	c iter 75 time 58.2201 not-muc 4308453 unknown 600704 muc 74
88.79/88.86	c iter 76 time 58.7821 not-muc 4308453 unknown 600703 muc 75
88.79/88.86	c iter 77 time 59.317 not-muc 4308453 unknown 600702 muc 76
88.79/88.86	c iter 78 time 59.8019 not-muc 4308453 unknown 600701 muc 77
88.79/88.86	c iter 79 time 60.2698 not-muc 4308453 unknown 600700 muc 78
88.79/88.86	c iter 80 time 60.8288 not-muc 4308453 unknown 600699 muc 79
88.79/88.86	c iter 81 time 61.2807 not-muc 4308453 unknown 600698 muc 80
88.79/88.86	c iter 82 time 61.7346 not-muc 4308453 unknown 600697 muc 81
88.79/88.86	c iter 83 time 62.1965 not-muc 4308453 unknown 600696 muc 82
88.79/88.86	c iter 84 time 62.6805 not-muc 4308453 unknown 600695 muc 83
88.79/88.86	c iter 85 time 63.3034 not-muc 4308453 unknown 600694 muc 84
88.79/88.86	c iter 86 time 63.7653 not-muc 4308453 unknown 600693 muc 85
88.79/88.86	c iter 87 time 64.2952 not-muc 4308453 unknown 600692 muc 86
88.79/88.86	c iter 88 time 64.7632 not-muc 4308453 unknown 600691 muc 87
88.79/88.86	c iter 89 time 65.2811 not-muc 4308453 unknown 600690 muc 88
88.79/88.86	c iter 90 time 65.891 not-muc 4308453 unknown 600689 muc 89
88.79/88.86	c iter 91 time 66.3899 not-muc 4308453 unknown 600688 muc 90
88.79/88.86	c iter 92 time 66.8568 not-muc 4308453 unknown 600687 muc 91
88.79/88.86	c iter 93 time 67.3388 not-muc 4308453 unknown 600686 muc 92
88.79/88.86	c iter 94 time 67.8167 not-muc 4308453 unknown 600685 muc 93
88.79/88.86	c iter 95 time 68.3896 not-muc 4308453 unknown 600684 muc 94
88.79/88.86	c iter 96 time 68.8745 not-muc 4308453 unknown 600683 muc 95
88.79/88.86	c iter 97 time 69.3395 not-muc 4308453 unknown 600682 muc 96
88.79/88.86	c iter 98 time 69.8124 not-muc 4308453 unknown 600681 muc 97
88.79/88.86	c iter 99 time 70.3283 not-muc 4308453 unknown 600680 muc 98
88.79/88.86	c iter 100 time 71.0152 not-muc 4308453 unknown 600679 muc 99
88.79/88.86	c iter 101 time 71.5171 not-muc 4308453 unknown 600678 muc 100
88.79/88.86	c iter 102 time 71.9841 not-muc 4308453 unknown 600677 muc 101
88.79/88.86	c iter 103 time 72.524 not-muc 4308453 unknown 600676 muc 102
88.79/88.86	c iter 104 time 73.0329 not-muc 4308453 unknown 600675 muc 103
88.79/88.86	c iter 105 time 73.6168 not-muc 4308453 unknown 600674 muc 104
88.79/88.86	c iter 106 time 74.1537 not-muc 4308453 unknown 600673 muc 105
88.79/88.86	c iter 107 time 74.6756 not-muc 4308453 unknown 600672 muc 106
88.79/88.86	c iter 108 time 75.1386 not-muc 4308453 unknown 600671 muc 107
88.79/88.86	c iter 109 time 75.6295 not-muc 4308453 unknown 600670 muc 108
88.79/88.86	c iter 110 time 76.1254 not-muc 4308453 unknown 600669 muc 109
88.79/88.86	c iter 111 time 76.6064 not-muc 4308453 unknown 600668 muc 110
88.79/88.86	c iter 112 time 77.2373 not-muc 4308453 unknown 600667 muc 111
88.79/88.86	c iter 113 time 77.6982 not-muc 4308453 unknown 600666 muc 112
88.79/88.86	c iter 114 time 78.1681 not-muc 4308453 unknown 600665 muc 113
88.79/88.86	c iter 115 time 78.679 not-muc 4308453 unknown 600664 muc 114
88.79/88.86	c iter 116 time 79.175 not-muc 4308453 unknown 600663 muc 115
88.79/88.86	c iter 117 time 79.6659 not-muc 4308453 unknown 600662 muc 116
88.79/88.86	c iter 118 time 80.2158 not-muc 4308453 unknown 600661 muc 117
88.79/88.86	c iter 119 time 80.8437 not-muc 4308453 unknown 600660 muc 118
88.79/88.86	c iter 120 time 81.3516 not-muc 4308453 unknown 600659 muc 119
88.79/88.86	c iter 121 time 81.8386 not-muc 4308453 unknown 600658 muc 120
88.79/88.86	c iter 122 time 82.3235 not-muc 4308453 unknown 600657 muc 121
88.79/88.86	c iter 123 time 82.8314 not-muc 4308453 unknown 600656 muc 122
88.79/88.86	c iter 124 time 83.3283 not-muc 4308453 unknown 600655 muc 123
88.79/88.86	c iter 125 time 83.8213 not-muc 4308453 unknown 600654 muc 124
88.79/88.86	c iter 126 time 84.3612 not-muc 4308453 unknown 600653 muc 125
88.79/88.86	c iter 127 time 84.9081 not-muc 4308453 unknown 600652 muc 126
88.79/88.86	c iter 128 time 85.431 not-muc 4308453 unknown 600651 muc 127
88.79/88.86	c iter 129 time 85.9769 not-muc 4308453 unknown 600650 muc 128
88.79/88.86	c iter 130 time 86.5008 not-muc 4308453 unknown 600649 muc 129
88.79/88.86	c iter 131 time 87.1238 not-muc 4308453 unknown 600648 muc 130
88.79/88.86	c iter 132 time 87.6207 not-muc 4308453 unknown 600647 muc 131
88.79/88.86	c iter 133 time 88.1706 not-muc 4308453 unknown 600646 muc 132
124.79/124.83	c iter 134 time 88.6395 not-muc 4308453 unknown 600645 muc 133
124.79/124.83	c iter 135 time 89.1514 not-muc 4308453 unknown 600644 muc 134
124.79/124.83	c iter 136 time 89.6304 not-muc 4308453 unknown 600643 muc 135
124.79/124.83	c iter 137 time 90.1513 not-muc 4308453 unknown 600642 muc 136
124.79/124.83	c iter 138 time 90.6752 not-muc 4308453 unknown 600641 muc 137
124.79/124.83	c iter 139 time 91.2231 not-muc 4308453 unknown 600640 muc 138
124.79/124.83	c iter 140 time 91.801 not-muc 4308453 unknown 600639 muc 139
124.79/124.83	c iter 141 time 92.279 not-muc 4308453 unknown 600638 muc 140
124.79/124.83	c iter 142 time 92.7949 not-muc 4308453 unknown 600637 muc 141
124.79/124.83	c iter 143 time 93.3408 not-muc 4308453 unknown 600636 muc 142
124.79/124.83	c iter 144 time 93.8567 not-muc 4308453 unknown 600635 muc 143
124.79/124.83	c iter 145 time 94.6166 not-muc 4308453 unknown 600634 muc 144
124.79/124.83	c iter 146 time 95.2325 not-muc 4308453 unknown 600633 muc 145
124.79/124.83	c iter 147 time 95.8294 not-muc 4308453 unknown 600632 muc 146
124.79/124.83	c iter 148 time 96.3254 not-muc 4308453 unknown 600631 muc 147
124.79/124.83	c iter 149 time 96.7973 not-muc 4308453 unknown 600630 muc 148
124.79/124.83	c iter 150 time 97.3272 not-muc 4308453 unknown 600629 muc 149
124.79/124.83	c iter 151 time 97.8201 not-muc 4308453 unknown 600628 muc 150
124.79/124.83	c iter 152 time 98.3361 not-muc 4308453 unknown 600627 muc 151
124.79/124.83	c iter 153 time 98.894 not-muc 4308453 unknown 600626 muc 152
124.79/124.83	c iter 154 time 99.4199 not-muc 4308453 unknown 600625 muc 153
124.79/124.83	c iter 155 time 99.9878 not-muc 4308453 unknown 600624 muc 154
124.79/124.83	c iter 156 time 100.48 not-muc 4308453 unknown 600623 muc 155
124.79/124.83	c iter 157 time 100.945 not-muc 4308453 unknown 600622 muc 156
124.79/124.83	c iter 158 time 101.454 not-muc 4308453 unknown 600621 muc 157
124.79/124.83	c iter 159 time 101.98 not-muc 4308453 unknown 600620 muc 158
124.79/124.83	c iter 160 time 102.484 not-muc 4308453 unknown 600619 muc 159
124.79/124.83	c iter 161 time 103.066 not-muc 4308453 unknown 600618 muc 160
124.79/124.83	c iter 162 time 103.571 not-muc 4308453 unknown 600617 muc 161
124.79/124.83	c iter 163 time 104.105 not-muc 4308453 unknown 600616 muc 162
124.79/124.83	c iter 164 time 104.712 not-muc 4308453 unknown 600615 muc 163
124.79/124.83	c iter 165 time 105.211 not-muc 4308453 unknown 600614 muc 164
124.79/124.83	c iter 166 time 105.741 not-muc 4308453 unknown 600613 muc 165
124.79/124.83	c iter 167 time 106.282 not-muc 4308453 unknown 600612 muc 166
124.79/124.83	c iter 168 time 106.827 not-muc 4308453 unknown 600611 muc 167
124.79/124.83	c iter 169 time 107.386 not-muc 4308453 unknown 600610 muc 168
124.79/124.83	c iter 170 time 108.104 not-muc 4308453 unknown 600609 muc 169
124.79/124.83	c iter 171 time 108.746 not-muc 4308453 unknown 600608 muc 170
124.79/124.83	c iter 172 time 109.291 not-muc 4308453 unknown 600607 muc 171
124.79/124.83	c iter 173 time 109.8 not-muc 4308453 unknown 600606 muc 172
124.79/124.83	c iter 174 time 110.286 not-muc 4308453 unknown 600605 muc 173
124.79/124.83	c iter 175 time 110.846 not-muc 4308453 unknown 600604 muc 174
124.79/124.83	c iter 176 time 111.33 not-muc 4308453 unknown 600603 muc 175
124.79/124.83	c iter 177 time 111.881 not-muc 4308453 unknown 600602 muc 176
124.79/124.83	c iter 178 time 112.385 not-muc 4308453 unknown 600601 muc 177
124.79/124.83	c iter 179 time 112.935 not-muc 4308453 unknown 600600 muc 178
124.79/124.83	c iter 180 time 113.447 not-muc 4308453 unknown 600599 muc 179
124.79/124.83	c iter 181 time 114.237 not-muc 4308453 unknown 600598 muc 180
124.79/124.83	c iter 182 time 114.754 not-muc 4308453 unknown 600597 muc 181
124.79/124.83	c iter 183 time 115.224 not-muc 4308453 unknown 600596 muc 182
124.79/124.83	c iter 184 time 115.781 not-muc 4308453 unknown 600595 muc 183
124.79/124.83	c iter 185 time 116.361 not-muc 4308453 unknown 600594 muc 184
124.79/124.83	c iter 186 time 116.854 not-muc 4308453 unknown 600593 muc 185
124.79/124.83	c iter 187 time 117.61 not-muc 4308453 unknown 600592 muc 186
124.79/124.83	c iter 188 time 118.254 not-muc 4308453 unknown 600591 muc 187
124.79/124.83	c iter 189 time 118.763 not-muc 4308453 unknown 600590 muc 188
124.79/124.83	c iter 190 time 119.525 not-muc 4308453 unknown 600589 muc 189
124.79/124.83	c iter 191 time 120.125 not-muc 4308453 unknown 600588 muc 190
124.79/124.83	c iter 192 time 120.865 not-muc 4308453 unknown 600587 muc 191
124.79/124.83	c iter 193 time 121.445 not-muc 4308453 unknown 600586 muc 192
124.79/124.83	c iter 194 time 122.042 not-muc 4308453 unknown 600585 muc 193
124.79/124.83	c iter 195 time 122.568 not-muc 4308453 unknown 600584 muc 194
124.79/124.83	c iter 196 time 123.113 not-muc 4308453 unknown 600583 muc 195
124.79/124.83	c iter 197 time 123.613 not-muc 4308453 unknown 600582 muc 196
124.79/124.83	c iter 198 time 124.137 not-muc 4308453 unknown 600581 muc 197
166.59/166.66	c iter 199 time 124.683 not-muc 4308453 unknown 600580 muc 198
166.59/166.66	c iter 200 time 125.312 not-muc 4308453 unknown 600579 muc 199
166.59/166.66	c iter 201 time 125.821 not-muc 4308453 unknown 600578 muc 200
166.59/166.66	c iter 202 time 126.593 not-muc 4308453 unknown 600577 muc 201
166.59/166.66	c iter 203 time 127.125 not-muc 4308453 unknown 600576 muc 202
166.59/166.66	c iter 204 time 127.852 not-muc 4308453 unknown 600575 muc 203
166.59/166.66	c iter 205 time 128.402 not-muc 4308453 unknown 600574 muc 204
166.59/166.66	c iter 206 time 129.079 not-muc 4308453 unknown 600573 muc 205
166.59/166.66	c iter 207 time 129.68 not-muc 4308453 unknown 600572 muc 206
166.59/166.66	c iter 208 time 130.338 not-muc 4308453 unknown 600571 muc 207
166.59/166.66	c iter 209 time 130.838 not-muc 4308453 unknown 600570 muc 208
166.59/166.66	c iter 210 time 131.497 not-muc 4308453 unknown 600569 muc 209
166.59/166.66	c iter 211 time 132.09 not-muc 4308453 unknown 600568 muc 210
166.59/166.66	c iter 212 time 132.789 not-muc 4308453 unknown 600567 muc 211
166.59/166.66	c iter 213 time 133.354 not-muc 4308453 unknown 600566 muc 212
166.59/166.66	c iter 214 time 133.885 not-muc 4308453 unknown 600565 muc 213
166.59/166.66	c iter 215 time 134.66 not-muc 4308453 unknown 600564 muc 214
166.59/166.66	c iter 216 time 135.392 not-muc 4308453 unknown 600563 muc 215
166.59/166.66	c iter 217 time 135.917 not-muc 4308453 unknown 600562 muc 216
166.59/166.66	c iter 218 time 136.49 not-muc 4308453 unknown 600561 muc 217
166.59/166.66	c iter 219 time 137.135 not-muc 4308453 unknown 600560 muc 218
166.59/166.66	c iter 220 time 137.766 not-muc 4308453 unknown 600559 muc 219
166.59/166.66	c iter 221 time 138.285 not-muc 4308453 unknown 600558 muc 220
166.59/166.66	c iter 222 time 138.861 not-muc 4308453 unknown 600557 muc 221
166.59/166.66	c iter 223 time 139.517 not-muc 4308453 unknown 600556 muc 222
166.59/166.66	c iter 224 time 140.066 not-muc 4308453 unknown 600555 muc 223
166.59/166.66	c iter 225 time 140.708 not-muc 4308453 unknown 600554 muc 224
166.59/166.66	c iter 226 time 141.481 not-muc 4308453 unknown 600553 muc 225
166.59/166.66	c iter 227 time 142.169 not-muc 4308453 unknown 600552 muc 226
166.59/166.66	c iter 228 time 142.683 not-muc 4308453 unknown 600551 muc 227
166.59/166.66	c iter 229 time 143.397 not-muc 4308453 unknown 600550 muc 228
166.59/166.66	c iter 230 time 144.025 not-muc 4308453 unknown 600549 muc 229
166.59/166.66	c iter 231 time 144.896 not-muc 4308453 unknown 600548 muc 230
166.59/166.66	c iter 232 time 145.376 not-muc 4308453 unknown 600547 muc 231
166.59/166.66	c iter 233 time 145.868 not-muc 4308453 unknown 600546 muc 232
166.59/166.66	c iter 234 time 146.528 not-muc 4308453 unknown 600545 muc 233
166.59/166.66	c iter 235 time 147.187 not-muc 4308453 unknown 600544 muc 234
166.59/166.66	c iter 236 time 147.872 not-muc 4308453 unknown 600543 muc 235
166.59/166.66	c iter 237 time 148.762 not-muc 4308453 unknown 600542 muc 236
166.59/166.66	c iter 238 time 149.345 not-muc 4308453 unknown 600541 muc 237
166.59/166.66	c iter 239 time 149.997 not-muc 4308453 unknown 600540 muc 238
166.59/166.66	c iter 240 time 150.771 not-muc 4308453 unknown 600539 muc 239
166.59/166.66	c iter 241 time 151.285 not-muc 4308453 unknown 600538 muc 240
166.59/166.66	c iter 242 time 151.872 not-muc 4308453 unknown 600537 muc 241
166.59/166.66	c iter 243 time 152.468 not-muc 4308453 unknown 600536 muc 242
166.59/166.66	c iter 244 time 153.016 not-muc 4308453 unknown 600535 muc 243
166.59/166.66	c iter 245 time 153.542 not-muc 4308453 unknown 600534 muc 244
166.59/166.66	c iter 246 time 154.113 not-muc 4308453 unknown 600533 muc 245
166.59/166.66	c iter 247 time 155.093 not-muc 4308453 unknown 600532 muc 246
166.59/166.66	c iter 248 time 155.718 not-muc 4308453 unknown 600531 muc 247
166.59/166.66	c iter 249 time 156.221 not-muc 4308453 unknown 600530 muc 248
166.59/166.66	c iter 250 time 156.932 not-muc 4308453 unknown 600529 muc 249
166.59/166.66	c iter 251 time 157.728 not-muc 4308453 unknown 600528 muc 250
166.59/166.66	c iter 252 time 158.306 not-muc 4308453 unknown 600527 muc 251
166.59/166.66	c iter 253 time 159.039 not-muc 4308453 unknown 600526 muc 252
166.59/166.66	c iter 254 time 159.712 not-muc 4308453 unknown 600525 muc 253
166.59/166.66	c iter 255 time 160.378 not-muc 4308453 unknown 600524 muc 254
166.59/166.66	c iter 256 time 160.905 not-muc 4308453 unknown 600523 muc 255
166.59/166.66	c iter 257 time 161.502 not-muc 4308453 unknown 600522 muc 256
166.59/166.66	c iter 258 time 162.05 not-muc 4308453 unknown 600521 muc 257
166.59/166.66	c iter 259 time 162.58 not-muc 4308453 unknown 600520 muc 258
166.59/166.66	c iter 260 time 163.367 not-muc 4308453 unknown 600519 muc 259
166.59/166.66	c iter 261 time 163.925 not-muc 4308453 unknown 600518 muc 260
166.59/166.66	c iter 262 time 164.859 not-muc 4308453 unknown 600517 muc 261
166.59/166.66	c iter 263 time 165.964 not-muc 4308453 unknown 600516 muc 262
211.40/211.43	c iter 264 time 166.752 not-muc 4308453 unknown 600515 muc 263
211.40/211.43	c iter 265 time 167.946 not-muc 4308453 unknown 600514 muc 264
211.40/211.43	c iter 266 time 168.702 not-muc 4308453 unknown 600513 muc 265
211.40/211.43	c iter 267 time 169.961 not-muc 4308453 unknown 600512 muc 266
211.40/211.43	c iter 268 time 170.872 not-muc 4308453 unknown 600511 muc 267
211.40/211.43	c iter 269 time 171.483 not-muc 4308453 unknown 600510 muc 268
211.40/211.43	c iter 270 time 171.988 not-muc 4308453 unknown 600509 muc 269
211.40/211.43	c iter 271 time 172.485 not-muc 4308453 unknown 600508 muc 270
211.40/211.43	c iter 272 time 172.989 not-muc 4308453 unknown 600507 muc 271
211.40/211.43	c iter 273 time 173.684 not-muc 4308453 unknown 600506 muc 272
211.40/211.43	c iter 274 time 174.303 not-muc 4308453 unknown 600505 muc 273
211.40/211.43	c iter 275 time 174.807 not-muc 4308453 unknown 600504 muc 274
211.40/211.43	c iter 276 time 175.319 not-muc 4308453 unknown 600503 muc 275
211.40/211.43	c iter 277 time 176.094 not-muc 4308453 unknown 600502 muc 276
211.40/211.43	c iter 278 time 176.636 not-muc 4308453 unknown 600501 muc 277
211.40/211.43	c iter 279 time 177.22 not-muc 4308453 unknown 600500 muc 278
211.40/211.43	c iter 280 time 178.01 not-muc 4308453 unknown 600499 muc 279
211.40/211.43	c iter 281 time 179.37 not-muc 4308453 unknown 600498 muc 280
211.40/211.43	c iter 282 time 179.873 not-muc 4308453 unknown 600497 muc 281
211.40/211.43	c iter 283 time 180.879 not-muc 4308453 unknown 600496 muc 282
211.40/211.43	c iter 284 time 181.468 not-muc 4308453 unknown 600495 muc 283
211.40/211.43	c iter 285 time 182.013 not-muc 4308453 unknown 600494 muc 284
211.40/211.43	c iter 286 time 182.521 not-muc 4308453 unknown 600493 muc 285
211.40/211.43	c iter 287 time 183.624 not-muc 4308453 unknown 600492 muc 286
211.40/211.43	c iter 288 time 184.58 not-muc 4308453 unknown 600491 muc 287
211.40/211.43	c iter 289 time 185.134 not-muc 4308453 unknown 600490 muc 288
211.40/211.43	c iter 290 time 185.671 not-muc 4308453 unknown 600489 muc 289
211.40/211.43	c iter 291 time 186.224 not-muc 4308453 unknown 600488 muc 290
211.40/211.43	c iter 292 time 186.744 not-muc 4308453 unknown 600487 muc 291
211.40/211.43	c iter 293 time 187.411 not-muc 4308453 unknown 600486 muc 292
211.40/211.43	c iter 294 time 187.972 not-muc 4308453 unknown 600485 muc 293
211.40/211.43	c iter 295 time 188.473 not-muc 4308453 unknown 600484 muc 294
211.40/211.43	c iter 296 time 188.966 not-muc 4308453 unknown 600483 muc 295
211.40/211.43	c iter 297 time 189.456 not-muc 4308453 unknown 600482 muc 296
211.40/211.43	c iter 298 time 189.962 not-muc 4308453 unknown 600481 muc 297
211.40/211.43	c iter 299 time 190.947 not-muc 4308453 unknown 600480 muc 298
211.40/211.43	c iter 300 time 192.064 not-muc 4308453 unknown 600479 muc 299
211.40/211.43	c iter 301 time 192.643 not-muc 4308453 unknown 600478 muc 300
211.40/211.43	c iter 302 time 193.248 not-muc 4308453 unknown 600477 muc 301
211.40/211.43	c iter 303 time 193.811 not-muc 4308453 unknown 600476 muc 302
211.40/211.43	c iter 304 time 194.339 not-muc 4308453 unknown 600475 muc 303
211.40/211.43	c iter 305 time 194.958 not-muc 4308453 unknown 600474 muc 304
211.40/211.43	c iter 306 time 195.482 not-muc 4308453 unknown 600473 muc 305
211.40/211.43	c iter 307 time 196.032 not-muc 4308453 unknown 600472 muc 306
211.40/211.43	c iter 308 time 196.615 not-muc 4308453 unknown 600471 muc 307
211.40/211.43	c iter 309 time 197.164 not-muc 4308453 unknown 600470 muc 308
211.40/211.43	c iter 310 time 198.024 not-muc 4308453 unknown 600469 muc 309
211.40/211.43	c iter 311 time 198.542 not-muc 4308453 unknown 600468 muc 310
211.40/211.43	c iter 312 time 199.057 not-muc 4308453 unknown 600467 muc 311
211.40/211.43	c iter 313 time 199.56 not-muc 4308453 unknown 600466 muc 312
211.40/211.43	c iter 314 time 200.411 not-muc 4308453 unknown 600465 muc 313
211.40/211.43	c iter 315 time 200.974 not-muc 4308453 unknown 600464 muc 314
211.40/211.43	c iter 316 time 201.88 not-muc 4308453 unknown 600463 muc 315
211.40/211.43	c iter 317 time 202.48 not-muc 4308453 unknown 600462 muc 316
211.40/211.43	c iter 318 time 203.298 not-muc 4308453 unknown 600461 muc 317
211.40/211.43	c iter 319 time 203.85 not-muc 4308453 unknown 600460 muc 318
211.40/211.43	c iter 320 time 204.474 not-muc 4308453 unknown 600459 muc 319
211.40/211.43	c iter 321 time 205.543 not-muc 4308453 unknown 600458 muc 320
211.40/211.43	c iter 322 time 206.073 not-muc 4308453 unknown 600457 muc 321
211.40/211.43	c iter 323 time 206.607 not-muc 4308453 unknown 600456 muc 322
211.40/211.43	c iter 324 time 207.457 not-muc 4308453 unknown 600455 muc 323
211.40/211.43	c iter 325 time 208.001 not-muc 4308453 unknown 600454 muc 324
211.40/211.43	c iter 326 time 208.563 not-muc 4308453 unknown 600453 muc 325
211.40/211.43	c iter 327 time 209.15 not-muc 4308453 unknown 600452 muc 326
211.40/211.43	c iter 328 time 209.708 not-muc 4308453 unknown 600451 muc 327
211.40/211.43	c iter 329 time 210.727 not-muc 4308453 unknown 600450 muc 328
261.90/261.99	c iter 330 time 211.751 not-muc 4308453 unknown 600449 muc 329
261.90/261.99	c iter 331 time 212.256 not-muc 4308453 unknown 600448 muc 330
261.90/261.99	c iter 332 time 212.825 not-muc 4308453 unknown 600447 muc 331
261.90/261.99	c iter 333 time 213.384 not-muc 4308453 unknown 600446 muc 332
261.90/261.99	c iter 334 time 214.602 not-muc 4308453 unknown 600445 muc 333
261.90/261.99	c iter 335 time 215.231 not-muc 4308453 unknown 600444 muc 334
261.90/261.99	c iter 336 time 215.868 not-muc 4308453 unknown 600443 muc 335
261.90/261.99	c iter 337 time 216.466 not-muc 4308453 unknown 600442 muc 336
261.90/261.99	c iter 338 time 217.192 not-muc 4308453 unknown 600441 muc 337
261.90/261.99	c iter 339 time 218.325 not-muc 4308453 unknown 600440 muc 338
261.90/261.99	c iter 340 time 218.903 not-muc 4308453 unknown 600439 muc 339
261.90/261.99	c iter 341 time 219.444 not-muc 4308453 unknown 600438 muc 340
261.90/261.99	c iter 342 time 221.157 not-muc 4308453 unknown 600437 muc 341
261.90/261.99	c iter 343 time 221.811 not-muc 4308453 unknown 600436 muc 342
261.90/261.99	c iter 344 time 222.805 not-muc 4308453 unknown 600435 muc 343
261.90/261.99	c iter 345 time 224.238 not-muc 4308453 unknown 600434 muc 344
261.90/261.99	c iter 346 time 224.791 not-muc 4308453 unknown 600433 muc 345
261.90/261.99	c iter 347 time 226.646 not-muc 4308453 unknown 600432 muc 346
261.90/261.99	c iter 348 time 228.314 not-muc 4308453 unknown 600431 muc 347
261.90/261.99	c iter 349 time 228.967 not-muc 4308453 unknown 600430 muc 348
261.90/261.99	c iter 350 time 229.473 not-muc 4308453 unknown 600429 muc 349
261.90/261.99	c iter 351 time 231.055 not-muc 4308453 unknown 600428 muc 350
261.90/261.99	c iter 352 time 231.572 not-muc 4308453 unknown 600427 muc 351
261.90/261.99	c iter 353 time 232.145 not-muc 4308453 unknown 600426 muc 352
261.90/261.99	c iter 354 time 232.758 not-muc 4308453 unknown 600425 muc 353
261.90/261.99	c iter 355 time 233.302 not-muc 4308453 unknown 600424 muc 354
261.90/261.99	c iter 356 time 234.895 not-muc 4308453 unknown 600423 muc 355
261.90/261.99	c iter 357 time 235.448 not-muc 4308453 unknown 600422 muc 356
261.90/261.99	c iter 358 time 236.182 not-muc 4308453 unknown 600421 muc 357
261.90/261.99	c iter 359 time 237.136 not-muc 4308453 unknown 600420 muc 358
261.90/261.99	c iter 360 time 238.07 not-muc 4308453 unknown 600419 muc 359
261.90/261.99	c iter 361 time 238.577 not-muc 4308453 unknown 600418 muc 360
261.90/261.99	c iter 362 time 239.95 not-muc 4308453 unknown 600417 muc 361
261.90/261.99	c iter 363 time 240.442 not-muc 4308453 unknown 600416 muc 362
261.90/261.99	c iter 364 time 240.977 not-muc 4308453 unknown 600415 muc 363
261.90/261.99	c iter 365 time 241.771 not-muc 4308453 unknown 600414 muc 364
261.90/261.99	c iter 366 time 242.285 not-muc 4308453 unknown 600413 muc 365
261.90/261.99	c iter 367 time 242.953 not-muc 4308453 unknown 600412 muc 366
261.90/261.99	c iter 368 time 244.164 not-muc 4308453 unknown 600411 muc 367
261.90/261.99	c iter 369 time 245.213 not-muc 4308453 unknown 600410 muc 368
261.90/261.99	c iter 370 time 245.935 not-muc 4308453 unknown 600409 muc 369
261.90/261.99	c iter 371 time 246.913 not-muc 4308453 unknown 600408 muc 370
261.90/261.99	c iter 372 time 247.663 not-muc 4308453 unknown 600407 muc 371
261.90/261.99	c iter 373 time 248.298 not-muc 4308453 unknown 600406 muc 372
261.90/261.99	c iter 374 time 248.9 not-muc 4308453 unknown 600405 muc 373
261.90/261.99	c iter 375 time 249.618 not-muc 4308453 unknown 600404 muc 374
261.90/261.99	c iter 376 time 250.271 not-muc 4308453 unknown 600403 muc 375
261.90/261.99	c iter 377 time 250.86 not-muc 4308453 unknown 600402 muc 376
261.90/261.99	c iter 378 time 251.534 not-muc 4308453 unknown 600401 muc 377
261.90/261.99	c iter 379 time 252.151 not-muc 4308453 unknown 600400 muc 378
261.90/261.99	c iter 380 time 252.677 not-muc 4308453 unknown 600399 muc 379
261.90/261.99	c iter 381 time 253.393 not-muc 4308453 unknown 600398 muc 380
261.90/261.99	c iter 382 time 254.041 not-muc 4308453 unknown 600397 muc 381
261.90/261.99	c iter 383 time 254.962 not-muc 4308453 unknown 600396 muc 382
261.90/261.99	c iter 384 time 255.566 not-muc 4308453 unknown 600395 muc 383
261.90/261.99	c iter 385 time 256.282 not-muc 4308453 unknown 600394 muc 384
261.90/261.99	c iter 386 time 256.928 not-muc 4308453 unknown 600393 muc 385
261.90/261.99	c iter 387 time 257.463 not-muc 4308453 unknown 600392 muc 386
261.90/261.99	c iter 388 time 258.03 not-muc 4308453 unknown 600391 muc 387
261.90/261.99	c iter 389 time 258.569 not-muc 4308453 unknown 600390 muc 388
261.90/261.99	c iter 390 time 259.129 not-muc 4308453 unknown 600389 muc 389
261.90/261.99	c iter 391 time 259.672 not-muc 4308453 unknown 600388 muc 390
261.90/261.99	c iter 392 time 260.181 not-muc 4308453 unknown 600387 muc 391
261.90/261.99	c iter 393 time 260.694 not-muc 4308453 unknown 600386 muc 392
261.90/261.99	c iter 394 time 261.281 not-muc 4308453 unknown 600385 muc 393
310.30/310.37	c iter 395 time 261.819 not-muc 4308453 unknown 600384 muc 394
310.30/310.37	c iter 396 time 262.404 not-muc 4308453 unknown 600383 muc 395
310.30/310.37	c iter 397 time 263.026 not-muc 4308453 unknown 600382 muc 396
310.30/310.37	c iter 398 time 263.533 not-muc 4308453 unknown 600381 muc 397
310.30/310.37	c iter 399 time 264.109 not-muc 4308453 unknown 600380 muc 398
310.30/310.37	c iter 400 time 264.673 not-muc 4308453 unknown 600379 muc 399
310.30/310.37	c iter 401 time 265.169 not-muc 4308453 unknown 600378 muc 400
310.30/310.37	c iter 402 time 265.738 not-muc 4308453 unknown 600377 muc 401
310.30/310.37	c iter 403 time 266.267 not-muc 4308453 unknown 600376 muc 402
310.30/310.37	c iter 404 time 266.792 not-muc 4308453 unknown 600375 muc 403
310.30/310.37	c iter 405 time 267.341 not-muc 4308453 unknown 600374 muc 404
310.30/310.37	c iter 406 time 267.947 not-muc 4308453 unknown 600373 muc 405
310.30/310.37	c iter 407 time 269.835 not-muc 4308453 unknown 600372 muc 406
310.30/310.37	c iter 408 time 270.928 not-muc 4308453 unknown 600371 muc 407
310.30/310.37	c iter 409 time 271.518 not-muc 4308453 unknown 600370 muc 408
310.30/310.37	c iter 410 time 273.637 not-muc 4308453 unknown 600369 muc 409
310.30/310.37	c iter 411 time 274.259 not-muc 4308453 unknown 600368 muc 410
310.30/310.37	c iter 412 time 274.777 not-muc 4308453 unknown 600367 muc 411
310.30/310.37	c iter 413 time 275.327 not-muc 4308453 unknown 600366 muc 412
310.30/310.37	c iter 414 time 276.047 not-muc 4308453 unknown 600365 muc 413
310.30/310.37	c iter 415 time 276.688 not-muc 4308453 unknown 600364 muc 414
310.30/310.37	c iter 416 time 278.275 not-muc 4308453 unknown 600363 muc 415
310.30/310.37	c iter 417 time 280.154 not-muc 4308453 unknown 600362 muc 416
310.30/310.37	c iter 418 time 280.708 not-muc 4308453 unknown 600361 muc 417
310.30/310.37	c iter 419 time 282.46 not-muc 4308453 unknown 600360 muc 418
310.30/310.37	c iter 420 time 282.994 not-muc 4308453 unknown 600359 muc 419
310.30/310.37	c iter 421 time 284.85 not-muc 4308453 unknown 600358 muc 420
310.30/310.37	c iter 422 time 286.222 not-muc 4308453 unknown 600357 muc 421
310.30/310.37	c iter 423 time 287.911 not-muc 4308453 unknown 600356 muc 422
310.30/310.37	c iter 424 time 288.497 not-muc 4308453 unknown 600355 muc 423
310.30/310.37	c iter 425 time 289.061 not-muc 4308453 unknown 600354 muc 424
310.30/310.37	c iter 426 time 289.621 not-muc 4308453 unknown 600353 muc 425
310.30/310.37	c iter 427 time 290.807 not-muc 4308453 unknown 600352 muc 426
310.30/310.37	c iter 428 time 291.353 not-muc 4308453 unknown 600351 muc 427
310.30/310.37	c iter 429 time 291.893 not-muc 4308453 unknown 600350 muc 428
310.30/310.37	c iter 430 time 292.446 not-muc 4308453 unknown 600349 muc 429
310.30/310.37	c iter 431 time 292.989 not-muc 4308453 unknown 600348 muc 430
310.30/310.37	c iter 432 time 293.501 not-muc 4308453 unknown 600347 muc 431
310.30/310.37	c iter 433 time 294.016 not-muc 4308453 unknown 600346 muc 432
310.30/310.37	c iter 434 time 294.561 not-muc 4308453 unknown 600345 muc 433
310.30/310.37	c iter 435 time 295.09 not-muc 4308453 unknown 600344 muc 434
310.30/310.37	c iter 436 time 295.759 not-muc 4308453 unknown 600343 muc 435
310.30/310.37	c iter 437 time 296.355 not-muc 4308453 unknown 600342 muc 436
310.30/310.37	c iter 438 time 297.009 not-muc 4308453 unknown 600341 muc 437
310.30/310.37	c iter 439 time 297.537 not-muc 4308453 unknown 600340 muc 438
310.30/310.37	c iter 440 time 298.069 not-muc 4308453 unknown 600339 muc 439
310.30/310.37	c iter 441 time 298.632 not-muc 4308453 unknown 600338 muc 440
310.30/310.37	c iter 442 time 299.191 not-muc 4308453 unknown 600337 muc 441
310.30/310.37	c iter 443 time 299.742 not-muc 4308453 unknown 600336 muc 442
310.30/310.37	c iter 444 time 300.851 not-muc 4308453 unknown 600335 muc 443
310.30/310.37	c iter 445 time 301.409 not-muc 4308453 unknown 600334 muc 444
310.30/310.37	c iter 446 time 301.946 not-muc 4308453 unknown 600333 muc 445
310.30/310.37	c iter 447 time 302.616 not-muc 4308453 unknown 600332 muc 446
310.30/310.37	c iter 448 time 303.152 not-muc 4308453 unknown 600331 muc 447
310.30/310.37	c iter 449 time 303.79 not-muc 4308453 unknown 600330 muc 448
310.30/310.37	c iter 450 time 304.331 not-muc 4308453 unknown 600329 muc 449
310.30/310.37	c iter 451 time 304.87 not-muc 4308453 unknown 600328 muc 450
310.30/310.37	c iter 452 time 305.42 not-muc 4308453 unknown 600327 muc 451
310.30/310.37	c iter 453 time 305.974 not-muc 4308453 unknown 600326 muc 452
310.30/310.37	c iter 454 time 306.52 not-muc 4308453 unknown 600325 muc 453
310.30/310.37	c iter 455 time 307.123 not-muc 4308453 unknown 600324 muc 454
310.30/310.37	c iter 456 time 307.651 not-muc 4308453 unknown 600323 muc 455
310.30/310.37	c iter 457 time 308.193 not-muc 4308453 unknown 600322 muc 456
310.30/310.37	c iter 458 time 309.102 not-muc 4308453 unknown 600321 muc 457
310.30/310.37	c iter 459 time 309.662 not-muc 4308453 unknown 600320 muc 458
365.20/365.22	c iter 460 time 310.398 not-muc 4308453 unknown 600319 muc 459
365.20/365.22	c iter 461 time 312.069 not-muc 4308453 unknown 600318 muc 460
365.20/365.22	c iter 462 time 312.612 not-muc 4308453 unknown 600317 muc 461
365.20/365.22	c iter 463 time 313.23 not-muc 4308453 unknown 600316 muc 462
365.20/365.22	c iter 464 time 315.024 not-muc 4308453 unknown 600315 muc 463
365.20/365.22	c iter 465 time 316.986 not-muc 4308453 unknown 600314 muc 464
365.20/365.22	c iter 466 time 318.062 not-muc 4308453 unknown 600313 muc 465
365.20/365.22	c iter 467 time 320.009 not-muc 4308453 unknown 600312 muc 466
365.20/365.22	c iter 468 time 320.589 not-muc 4308453 unknown 600311 muc 467
365.20/365.22	c iter 469 time 321.131 not-muc 4308453 unknown 600310 muc 468
365.20/365.22	c iter 470 time 322.513 not-muc 4308453 unknown 600309 muc 469
365.20/365.22	c iter 471 time 323.029 not-muc 4308453 unknown 600308 muc 470
365.20/365.22	c iter 472 time 323.563 not-muc 4308453 unknown 600307 muc 471
365.20/365.22	c iter 473 time 324.095 not-muc 4308453 unknown 600306 muc 472
365.20/365.22	c iter 474 time 324.614 not-muc 4308453 unknown 600305 muc 473
365.20/365.22	c iter 475 time 325.617 not-muc 4308453 unknown 600304 muc 474
365.20/365.22	c iter 476 time 326.23 not-muc 4308453 unknown 600303 muc 475
365.20/365.22	c iter 477 time 326.781 not-muc 4308453 unknown 600302 muc 476
365.20/365.22	c iter 478 time 328.784 not-muc 4308453 unknown 600301 muc 477
365.20/365.22	c iter 479 time 329.366 not-muc 4308453 unknown 600300 muc 478
365.20/365.22	c iter 480 time 329.849 not-muc 4308453 unknown 600299 muc 479
365.20/365.22	c iter 481 time 330.433 not-muc 4308453 unknown 600298 muc 480
365.20/365.22	c iter 482 time 331.022 not-muc 4308453 unknown 600297 muc 481
365.20/365.22	c iter 483 time 331.559 not-muc 4308453 unknown 600296 muc 482
365.20/365.22	c iter 484 time 332.067 not-muc 4308453 unknown 600295 muc 483
365.20/365.22	c iter 485 time 332.662 not-muc 4308453 unknown 600294 muc 484
365.20/365.22	c iter 486 time 333.187 not-muc 4308453 unknown 600293 muc 485
365.20/365.22	c iter 487 time 333.705 not-muc 4308453 unknown 600292 muc 486
365.20/365.22	c iter 488 time 334.944 not-muc 4308453 unknown 600291 muc 487
365.20/365.22	c iter 489 time 335.469 not-muc 4308453 unknown 600290 muc 488
365.20/365.22	c iter 490 time 335.991 not-muc 4308453 unknown 600289 muc 489
365.20/365.22	c iter 491 time 337.265 not-muc 4308453 unknown 600288 muc 490
365.20/365.22	c iter 492 time 337.803 not-muc 4308453 unknown 600287 muc 491
365.20/365.22	c iter 493 time 338.322 not-muc 4308453 unknown 600286 muc 492
365.20/365.22	c iter 494 time 339.411 not-muc 4308453 unknown 600285 muc 493
365.20/365.22	c iter 495 time 339.959 not-muc 4308453 unknown 600284 muc 494
365.20/365.22	c iter 496 time 340.476 not-muc 4308453 unknown 600283 muc 495
365.20/365.22	c iter 497 time 341.835 not-muc 4308453 unknown 600282 muc 496
365.20/365.22	c iter 498 time 342.59 not-muc 4308453 unknown 600281 muc 497
365.20/365.22	c iter 499 time 343.152 not-muc 4308453 unknown 600280 muc 498
365.20/365.22	c iter 500 time 344.393 not-muc 4308453 unknown 600279 muc 499
365.20/365.22	c iter 501 time 345.302 not-muc 4308453 unknown 600278 muc 500
365.20/365.22	c iter 502 time 345.796 not-muc 4308453 unknown 600277 muc 501
365.20/365.22	c iter 503 time 346.414 not-muc 4308453 unknown 600276 muc 502
365.20/365.22	c iter 504 time 347.262 not-muc 4308453 unknown 600275 muc 503
365.20/365.22	c iter 505 time 347.989 not-muc 4308453 unknown 600274 muc 504
365.20/365.22	c iter 506 time 348.69 not-muc 4308453 unknown 600273 muc 505
365.20/365.22	c iter 507 time 351.102 not-muc 4308453 unknown 600272 muc 506
365.20/365.22	c iter 508 time 351.627 not-muc 4308453 unknown 600271 muc 507
365.20/365.22	c iter 509 time 352.395 not-muc 4308453 unknown 600270 muc 508
365.20/365.22	c iter 510 time 354.304 not-muc 4308453 unknown 600269 muc 509
365.20/365.22	c iter 511 time 354.997 not-muc 4308453 unknown 600268 muc 510
365.20/365.22	c iter 512 time 355.633 not-muc 4308453 unknown 600267 muc 511
365.20/365.22	c iter 513 time 358.062 not-muc 4308453 unknown 600266 muc 512
365.20/365.22	c iter 514 time 358.721 not-muc 4308453 unknown 600265 muc 513
365.20/365.22	c iter 515 time 359.307 not-muc 4308453 unknown 600264 muc 514
365.20/365.22	c iter 516 time 359.916 not-muc 4308453 unknown 600263 muc 515
365.20/365.22	c iter 517 time 360.439 not-muc 4308453 unknown 600262 muc 516
365.20/365.22	c iter 518 time 360.966 not-muc 4308453 unknown 600261 muc 517
365.20/365.22	c iter 519 time 361.568 not-muc 4308453 unknown 600260 muc 518
365.20/365.22	c iter 520 time 362.094 not-muc 4308453 unknown 600259 muc 519
365.20/365.22	c iter 521 time 362.784 not-muc 4308453 unknown 600258 muc 520
365.20/365.22	c iter 522 time 363.306 not-muc 4308453 unknown 600257 muc 521
365.20/365.22	c iter 523 time 363.903 not-muc 4308453 unknown 600256 muc 522
365.20/365.22	c iter 524 time 364.514 not-muc 4308453 unknown 600255 muc 523
424.10/424.18	c iter 525 time 365.58 not-muc 4308453 unknown 600254 muc 524
424.10/424.18	c iter 526 time 366.242 not-muc 4308453 unknown 600253 muc 525
424.10/424.18	c iter 527 time 366.756 not-muc 4308453 unknown 600252 muc 526
424.10/424.18	c iter 528 time 367.342 not-muc 4308453 unknown 600251 muc 527
424.10/424.18	c iter 529 time 368.613 not-muc 4308453 unknown 600250 muc 528
424.10/424.18	c iter 530 time 369.322 not-muc 4308453 unknown 600249 muc 529
424.10/424.18	c iter 531 time 369.92 not-muc 4308453 unknown 600248 muc 530
424.10/424.18	c iter 532 time 370.502 not-muc 4308453 unknown 600247 muc 531
424.10/424.18	c iter 533 time 371.174 not-muc 4308453 unknown 600246 muc 532
424.10/424.18	c iter 534 time 371.776 not-muc 4308453 unknown 600245 muc 533
424.10/424.18	c iter 535 time 372.401 not-muc 4308453 unknown 600244 muc 534
424.10/424.18	c iter 536 time 372.931 not-muc 4308453 unknown 600243 muc 535
424.10/424.18	c iter 537 time 373.642 not-muc 4308453 unknown 600242 muc 536
424.10/424.18	c iter 538 time 374.172 not-muc 4308453 unknown 600241 muc 537
424.10/424.18	c iter 539 time 374.771 not-muc 4308453 unknown 600240 muc 538
424.10/424.18	c iter 540 time 375.567 not-muc 4308453 unknown 600239 muc 539
424.10/424.18	c iter 541 time 376.174 not-muc 4308453 unknown 600238 muc 540
424.10/424.18	c iter 542 time 377.659 not-muc 4308453 unknown 600237 muc 541
424.10/424.18	c iter 543 time 378.232 not-muc 4308453 unknown 600236 muc 542
424.10/424.18	c iter 544 time 379.685 not-muc 4308453 unknown 600235 muc 543
424.10/424.18	c iter 545 time 380.976 not-muc 4308453 unknown 600234 muc 544
424.10/424.18	c iter 546 time 381.668 not-muc 4308453 unknown 600233 muc 545
424.10/424.18	c iter 547 time 383.035 not-muc 4308453 unknown 600232 muc 546
424.10/424.18	c iter 548 time 383.59 not-muc 4308453 unknown 600231 muc 547
424.10/424.18	c iter 549 time 384.105 not-muc 4308453 unknown 600230 muc 548
424.10/424.18	c iter 550 time 384.679 not-muc 4308453 unknown 600229 muc 549
424.10/424.18	c iter 551 time 386.165 not-muc 4308453 unknown 600228 muc 550
424.10/424.18	c iter 552 time 386.743 not-muc 4308453 unknown 600227 muc 551
424.10/424.18	c iter 553 time 387.804 not-muc 4308453 unknown 600226 muc 552
424.10/424.18	c iter 554 time 388.482 not-muc 4308453 unknown 600225 muc 553
424.10/424.18	c iter 555 time 389.055 not-muc 4308453 unknown 600224 muc 554
424.10/424.18	c iter 556 time 391.015 not-muc 4308453 unknown 600223 muc 555
424.10/424.18	c iter 557 time 392.604 not-muc 4308453 unknown 600222 muc 556
424.10/424.18	c iter 558 time 393.342 not-muc 4308453 unknown 600221 muc 557
424.10/424.18	c iter 559 time 393.984 not-muc 4308453 unknown 600220 muc 558
424.10/424.18	c iter 560 time 395.39 not-muc 4308453 unknown 600219 muc 559
424.10/424.18	c iter 561 time 397.594 not-muc 4308453 unknown 600218 muc 560
424.10/424.18	c iter 562 time 399.289 not-muc 4308453 unknown 600217 muc 561
424.10/424.18	c iter 563 time 400.767 not-muc 4308453 unknown 600216 muc 562
424.10/424.18	c iter 564 time 402.182 not-muc 4308453 unknown 600215 muc 563
424.10/424.18	c iter 565 time 402.872 not-muc 4308453 unknown 600214 muc 564
424.10/424.18	c iter 566 time 403.512 not-muc 4308453 unknown 600213 muc 565
424.10/424.18	c iter 567 time 404.089 not-muc 4308453 unknown 600212 muc 566
424.10/424.18	c iter 568 time 405.429 not-muc 4308453 unknown 600211 muc 567
424.10/424.18	c iter 569 time 406.007 not-muc 4308453 unknown 600210 muc 568
424.10/424.18	c iter 570 time 406.655 not-muc 4308453 unknown 600209 muc 569
424.10/424.18	c iter 571 time 408.298 not-muc 4308453 unknown 600208 muc 570
424.10/424.18	c iter 572 time 408.868 not-muc 4308453 unknown 600207 muc 571
424.10/424.18	c iter 573 time 409.395 not-muc 4308453 unknown 600206 muc 572
424.10/424.18	c iter 574 time 409.923 not-muc 4308453 unknown 600205 muc 573
424.10/424.18	c iter 575 time 410.561 not-muc 4308453 unknown 600204 muc 574
424.10/424.18	c iter 576 time 412.235 not-muc 4308453 unknown 600203 muc 575
424.10/424.18	c iter 577 time 412.87 not-muc 4308453 unknown 600202 muc 576
424.10/424.18	c iter 578 time 413.511 not-muc 4308453 unknown 600201 muc 577
424.10/424.18	c iter 579 time 414.097 not-muc 4308453 unknown 600200 muc 578
424.10/424.18	c iter 580 time 414.802 not-muc 4308453 unknown 600199 muc 579
424.10/424.18	c iter 581 time 416.735 not-muc 4308453 unknown 600198 muc 580
424.10/424.18	c iter 582 time 417.323 not-muc 4308453 unknown 600197 muc 581
424.10/424.18	c iter 583 time 417.98 not-muc 4308453 unknown 600196 muc 582
424.10/424.18	c iter 584 time 418.613 not-muc 4308453 unknown 600195 muc 583
424.10/424.18	c iter 585 time 420.306 not-muc 4308453 unknown 600194 muc 584
424.10/424.18	c iter 586 time 421.621 not-muc 4308453 unknown 600193 muc 585
424.10/424.18	c iter 587 time 422.256 not-muc 4308453 unknown 600192 muc 586
424.10/424.18	c iter 588 time 422.843 not-muc 4308453 unknown 600191 muc 587
424.10/424.18	c iter 589 time 423.475 not-muc 4308453 unknown 600190 muc 588
500.30/500.30	c iter 590 time 424.153 not-muc 4308453 unknown 600189 muc 589
500.30/500.30	c iter 591 time 424.781 not-muc 4308453 unknown 600188 muc 590
500.30/500.30	c iter 592 time 426.495 not-muc 4308453 unknown 600187 muc 591
500.30/500.30	c iter 593 time 427.081 not-muc 4308453 unknown 600186 muc 592
500.30/500.30	c iter 594 time 427.637 not-muc 4308453 unknown 600185 muc 593
500.30/500.30	c iter 595 time 428.169 not-muc 4308453 unknown 600184 muc 594
500.30/500.30	c iter 596 time 428.864 not-muc 4308453 unknown 600183 muc 595
500.30/500.30	c iter 597 time 430.616 not-muc 4308453 unknown 600182 muc 596
500.30/500.30	c iter 598 time 433.185 not-muc 4308453 unknown 600181 muc 597
500.30/500.30	c iter 599 time 435.177 not-muc 4308453 unknown 600180 muc 598
500.30/500.30	c iter 600 time 435.831 not-muc 4308453 unknown 600179 muc 599
500.30/500.30	c iter 601 time 436.511 not-muc 4308453 unknown 600178 muc 600
500.30/500.30	c iter 602 time 438.566 not-muc 4308453 unknown 600177 muc 601
500.30/500.30	c iter 603 time 440.828 not-muc 4308453 unknown 600176 muc 602
500.30/500.30	c iter 604 time 441.437 not-muc 4308453 unknown 600175 muc 603
500.30/500.30	c iter 605 time 443.807 not-muc 4308453 unknown 600174 muc 604
500.30/500.30	c iter 606 time 445.206 not-muc 4308453 unknown 600173 muc 605
500.30/500.30	c iter 607 time 445.767 not-muc 4308453 unknown 600172 muc 606
500.30/500.30	c iter 608 time 447.401 not-muc 4308453 unknown 600171 muc 607
500.30/500.30	c iter 609 time 448.095 not-muc 4308453 unknown 600170 muc 608
500.30/500.30	c iter 610 time 448.628 not-muc 4308453 unknown 600169 muc 609
500.30/500.30	c iter 611 time 449.663 not-muc 4308453 unknown 600168 muc 610
500.30/500.30	c iter 612 time 450.251 not-muc 4308453 unknown 600167 muc 611
500.30/500.30	c iter 613 time 450.78 not-muc 4308453 unknown 600166 muc 612
500.30/500.30	c iter 614 time 451.312 not-muc 4308453 unknown 600165 muc 613
500.30/500.30	c iter 615 time 451.997 not-muc 4308453 unknown 600164 muc 614
500.30/500.30	c iter 616 time 452.725 not-muc 4308453 unknown 600163 muc 615
500.30/500.30	c iter 617 time 453.253 not-muc 4308453 unknown 600162 muc 616
500.30/500.30	c iter 618 time 455.006 not-muc 4308453 unknown 600161 muc 617
500.30/500.30	c iter 619 time 455.622 not-muc 4308453 unknown 600160 muc 618
500.30/500.30	c iter 620 time 456.151 not-muc 4308453 unknown 600159 muc 619
500.30/500.30	c iter 621 time 456.68 not-muc 4308453 unknown 600158 muc 620
500.30/500.30	c iter 622 time 458.165 not-muc 4308453 unknown 600157 muc 621
500.30/500.30	c iter 623 time 459.237 not-muc 4308453 unknown 600156 muc 622
500.30/500.30	c iter 624 time 459.741 not-muc 4308453 unknown 600155 muc 623
500.30/500.30	c iter 625 time 460.418 not-muc 4308453 unknown 600154 muc 624
500.30/500.30	c iter 626 time 461.143 not-muc 4308453 unknown 600153 muc 625
500.30/500.30	c iter 627 time 462.74 not-muc 4308453 unknown 600152 muc 626
500.30/500.30	c iter 628 time 463.507 not-muc 4308453 unknown 600151 muc 627
500.30/500.30	c iter 629 time 465.394 not-muc 4308453 unknown 600150 muc 628
500.30/500.30	c iter 630 time 466.057 not-muc 4308453 unknown 600149 muc 629
500.30/500.30	c iter 631 time 466.797 not-muc 4308453 unknown 600148 muc 630
500.30/500.30	c iter 632 time 467.33 not-muc 4308453 unknown 600147 muc 631
500.30/500.30	c iter 633 time 467.864 not-muc 4308453 unknown 600146 muc 632
500.30/500.30	c iter 634 time 469.363 not-muc 4308453 unknown 600145 muc 633
500.30/500.30	c iter 635 time 470.135 not-muc 4308453 unknown 600144 muc 634
500.30/500.30	c iter 636 time 471.663 not-muc 4308453 unknown 600143 muc 635
500.30/500.30	c iter 637 time 474.929 not-muc 4308453 unknown 600142 muc 636
500.30/500.30	c iter 638 time 475.717 not-muc 4308453 unknown 600141 muc 637
500.30/500.30	c iter 639 time 477.826 not-muc 4308453 unknown 600140 muc 638
500.30/500.30	c iter 640 time 478.385 not-muc 4308453 unknown 600139 muc 639
500.30/500.30	c iter 641 time 479.027 not-muc 4308453 unknown 600138 muc 640
500.30/500.30	c iter 642 time 479.762 not-muc 4308453 unknown 600137 muc 641
500.30/500.30	c iter 643 time 480.354 not-muc 4308453 unknown 600136 muc 642
500.30/500.30	c iter 644 time 481.354 not-muc 4308453 unknown 600135 muc 643
500.30/500.30	c iter 645 time 481.975 not-muc 4308453 unknown 600134 muc 644
500.30/500.30	c iter 646 time 484.822 not-muc 4308453 unknown 600133 muc 645
500.30/500.30	c iter 647 time 487.124 not-muc 4308453 unknown 600132 muc 646
500.30/500.30	c iter 648 time 489.804 not-muc 4308453 unknown 600131 muc 647
500.30/500.30	c iter 649 time 492.284 not-muc 4308453 unknown 600130 muc 648
500.30/500.30	c iter 650 time 492.869 not-muc 4308453 unknown 600129 muc 649
500.30/500.30	c iter 651 time 495.764 not-muc 4308453 unknown 600128 muc 650
500.30/500.30	c iter 652 time 496.298 not-muc 4308453 unknown 600127 muc 651
500.30/500.30	c iter 653 time 498.989 not-muc 4308453 unknown 600126 muc 652
500.30/500.30	c iter 654 time 499.588 not-muc 4308453 unknown 600125 muc 653
588.51/588.52	c iter 655 time 501.744 not-muc 4308453 unknown 600124 muc 654
588.51/588.52	c iter 656 time 502.805 not-muc 4308453 unknown 600123 muc 655
588.51/588.52	c iter 657 time 503.489 not-muc 4308453 unknown 600122 muc 656
588.51/588.52	c iter 658 time 504.016 not-muc 4308453 unknown 600121 muc 657
588.51/588.52	c iter 659 time 506.464 not-muc 4308453 unknown 600120 muc 658
588.51/588.52	c iter 660 time 508.366 not-muc 4308453 unknown 600119 muc 659
588.51/588.52	c iter 661 time 509.093 not-muc 4308453 unknown 600118 muc 660
588.51/588.52	c iter 662 time 510.542 not-muc 4308453 unknown 600117 muc 661
588.51/588.52	c iter 663 time 511.254 not-muc 4308453 unknown 600116 muc 662
588.51/588.52	c iter 664 time 513.273 not-muc 4308453 unknown 600115 muc 663
588.51/588.52	c iter 665 time 515.443 not-muc 4308453 unknown 600114 muc 664
588.51/588.52	c iter 666 time 516.137 not-muc 4308453 unknown 600113 muc 665
588.51/588.52	c iter 667 time 517.806 not-muc 4308453 unknown 600112 muc 666
588.51/588.52	c iter 668 time 520.99 not-muc 4308453 unknown 600111 muc 667
588.51/588.52	c iter 669 time 522.4 not-muc 4308453 unknown 600110 muc 668
588.51/588.52	c iter 670 time 522.973 not-muc 4308453 unknown 600109 muc 669
588.51/588.52	c iter 671 time 524.891 not-muc 4308453 unknown 600108 muc 670
588.51/588.52	c iter 672 time 525.484 not-muc 4308453 unknown 600107 muc 671
588.51/588.52	c iter 673 time 526.26 not-muc 4308453 unknown 600106 muc 672
588.51/588.52	c iter 674 time 528.486 not-muc 4308453 unknown 600105 muc 673
588.51/588.52	c iter 675 time 530.458 not-muc 4308453 unknown 600104 muc 674
588.51/588.52	c iter 676 time 531.012 not-muc 4308453 unknown 600103 muc 675
588.51/588.52	c iter 677 time 533.004 not-muc 4308453 unknown 600102 muc 676
588.51/588.52	c iter 678 time 534.594 not-muc 4308453 unknown 600101 muc 677
588.51/588.52	c iter 679 time 535.12 not-muc 4308453 unknown 600100 muc 678
588.51/588.52	c iter 680 time 536.715 not-muc 4308453 unknown 600099 muc 679
588.51/588.52	c iter 681 time 537.292 not-muc 4308453 unknown 600098 muc 680
588.51/588.52	c iter 682 time 539.121 not-muc 4308453 unknown 600097 muc 681
588.51/588.52	c iter 683 time 539.682 not-muc 4308453 unknown 600096 muc 682
588.51/588.52	c iter 684 time 540.221 not-muc 4308453 unknown 600095 muc 683
588.51/588.52	c iter 685 time 542.388 not-muc 4308453 unknown 600094 muc 684
588.51/588.52	c iter 686 time 542.949 not-muc 4308453 unknown 600093 muc 685
588.51/588.52	c iter 687 time 545.122 not-muc 4308453 unknown 600092 muc 686
588.51/588.52	c iter 688 time 545.749 not-muc 4308453 unknown 600091 muc 687
588.51/588.52	c iter 689 time 548.148 not-muc 4308453 unknown 600090 muc 688
588.51/588.52	c iter 690 time 548.681 not-muc 4308453 unknown 600089 muc 689
588.51/588.52	c iter 691 time 551.085 not-muc 4308453 unknown 600088 muc 690
588.51/588.52	c iter 692 time 553.493 not-muc 4308453 unknown 600087 muc 691
588.51/588.52	c iter 693 time 555.32 not-muc 4308453 unknown 600086 muc 692
588.51/588.52	c iter 694 time 555.819 not-muc 4308453 unknown 600085 muc 693
588.51/588.52	c iter 695 time 556.409 not-muc 4308453 unknown 600084 muc 694
588.51/588.52	c iter 696 time 558.456 not-muc 4308453 unknown 600083 muc 695
588.51/588.52	c iter 697 time 559.485 not-muc 4308453 unknown 600082 muc 696
588.51/588.52	c iter 698 time 561.376 not-muc 4308453 unknown 600081 muc 697
588.51/588.52	c iter 699 time 564.489 not-muc 4308453 unknown 600080 muc 698
588.51/588.52	c iter 700 time 567.617 not-muc 4308453 unknown 600079 muc 699
588.51/588.52	c iter 701 time 571.197 not-muc 4308453 unknown 600078 muc 700
588.51/588.52	c iter 702 time 572.818 not-muc 4308453 unknown 600077 muc 701
588.51/588.52	c iter 703 time 576.074 not-muc 4308453 unknown 600076 muc 702
588.51/588.52	c iter 704 time 576.601 not-muc 4308453 unknown 600075 muc 703
588.51/588.52	c iter 705 time 577.083 not-muc 4308453 unknown 600074 muc 704
588.51/588.52	c iter 706 time 577.595 not-muc 4308453 unknown 600073 muc 705
588.51/588.52	c iter 707 time 578.085 not-muc 4308453 unknown 600072 muc 706
588.51/588.52	c iter 708 time 580.502 not-muc 4308453 unknown 600071 muc 707
588.51/588.52	c iter 709 time 581.037 not-muc 4308453 unknown 600070 muc 708
588.51/588.52	c iter 710 time 581.547 not-muc 4308453 unknown 600069 muc 709
588.51/588.52	c iter 711 time 582.048 not-muc 4308453 unknown 600068 muc 710
588.51/588.52	c iter 712 time 582.553 not-muc 4308453 unknown 600067 muc 711
588.51/588.52	c iter 713 time 583.291 not-muc 4308453 unknown 600066 muc 712
588.51/588.52	c iter 714 time 583.821 not-muc 4308453 unknown 600065 muc 713
588.51/588.52	c iter 715 time 584.381 not-muc 4308453 unknown 600064 muc 714
588.51/588.52	c iter 716 time 586.192 not-muc 4308453 unknown 600063 muc 715
588.51/588.52	c iter 717 time 586.708 not-muc 4308453 unknown 600062 muc 716
588.51/588.52	c iter 718 time 587.286 not-muc 4308453 unknown 600061 muc 717
588.51/588.52	c iter 719 time 587.809 not-muc 4308453 unknown 600060 muc 718
666.70/666.70	c iter 720 time 588.308 not-muc 4308453 unknown 600059 muc 719
666.70/666.70	c iter 721 time 588.806 not-muc 4308453 unknown 600058 muc 720
666.70/666.70	c iter 722 time 589.306 not-muc 4308453 unknown 600057 muc 721
666.70/666.70	c iter 723 time 589.828 not-muc 4308453 unknown 600056 muc 722
666.70/666.70	c iter 724 time 590.327 not-muc 4308453 unknown 600055 muc 723
666.70/666.70	c iter 725 time 590.827 not-muc 4308453 unknown 600054 muc 724
666.70/666.70	c iter 726 time 591.327 not-muc 4308453 unknown 600053 muc 725
666.70/666.70	c iter 727 time 591.83 not-muc 4308453 unknown 600052 muc 726
666.70/666.70	c iter 728 time 592.329 not-muc 4308453 unknown 600051 muc 727
666.70/666.70	c iter 729 time 592.828 not-muc 4308453 unknown 600050 muc 728
666.70/666.70	c iter 730 time 593.33 not-muc 4308453 unknown 600049 muc 729
666.70/666.70	c iter 731 time 594.178 not-muc 4308453 unknown 600048 muc 730
666.70/666.70	c iter 732 time 594.67 not-muc 4308453 unknown 600047 muc 731
666.70/666.70	c iter 733 time 595.571 not-muc 4308453 unknown 600046 muc 732
666.70/666.70	c iter 734 time 596.14 not-muc 4308453 unknown 600045 muc 733
666.70/666.70	c iter 735 time 596.633 not-muc 4308453 unknown 600044 muc 734
666.70/666.70	c iter 736 time 597.125 not-muc 4308453 unknown 600043 muc 735
666.70/666.70	c iter 737 time 600.98 not-muc 4308453 unknown 600042 muc 736
666.70/666.70	c iter 738 time 601.751 not-muc 4308453 unknown 600041 muc 737
666.70/666.70	c iter 739 time 602.274 not-muc 4308453 unknown 600040 muc 738
666.70/666.70	c iter 740 time 602.97 not-muc 4308453 unknown 600039 muc 739
666.70/666.70	c iter 741 time 603.469 not-muc 4308453 unknown 600038 muc 740
666.70/666.70	c iter 742 time 604.15 not-muc 4308453 unknown 600037 muc 741
666.70/666.70	c iter 743 time 604.67 not-muc 4308453 unknown 600036 muc 742
666.70/666.70	c iter 744 time 608.283 not-muc 4308453 unknown 600035 muc 743
666.70/666.70	c iter 745 time 608.821 not-muc 4308453 unknown 600034 muc 744
666.70/666.70	c iter 746 time 609.526 not-muc 4308453 unknown 600033 muc 745
666.70/666.70	c iter 747 time 612.42 not-muc 4308453 unknown 600032 muc 746
666.70/666.70	c iter 748 time 612.982 not-muc 4308453 unknown 600031 muc 747
666.70/666.70	c iter 749 time 613.685 not-muc 4308453 unknown 600030 muc 748
666.70/666.70	c iter 750 time 614.702 not-muc 4308453 unknown 600029 muc 749
666.70/666.70	c iter 751 time 617.291 not-muc 4308453 unknown 600028 muc 750
666.70/666.70	c iter 752 time 617.816 not-muc 4308453 unknown 600027 muc 751
666.70/666.70	c iter 753 time 621.179 not-muc 4308453 unknown 600026 muc 752
666.70/666.70	c iter 754 time 622.877 not-muc 4308453 unknown 600025 muc 753
666.70/666.70	c iter 755 time 623.385 not-muc 4308453 unknown 600024 muc 754
666.70/666.70	c iter 756 time 624.966 not-muc 4308453 unknown 600023 muc 755
666.70/666.70	c iter 757 time 625.545 not-muc 4308453 unknown 600022 muc 756
666.70/666.70	c iter 758 time 629.399 not-muc 4308453 unknown 600021 muc 757
666.70/666.70	c iter 759 time 629.884 not-muc 4308453 unknown 600020 muc 758
666.70/666.70	c iter 760 time 630.829 not-muc 4308453 unknown 600019 muc 759
666.70/666.70	c iter 761 time 634.718 not-muc 4308453 unknown 600018 muc 760
666.70/666.70	c iter 762 time 635.347 not-muc 4308453 unknown 600017 muc 761
666.70/666.70	c iter 763 time 635.906 not-muc 4308453 unknown 600016 muc 762
666.70/666.70	c iter 764 time 636.589 not-muc 4308453 unknown 600015 muc 763
666.70/666.70	c iter 765 time 637.238 not-muc 4308453 unknown 600014 muc 764
666.70/666.70	c iter 766 time 637.867 not-muc 4308453 unknown 600013 muc 765
666.70/666.70	c iter 767 time 641.789 not-muc 4308453 unknown 600012 muc 766
666.70/666.70	c iter 768 time 642.569 not-muc 4308453 unknown 600011 muc 767
666.70/666.70	c iter 769 time 647.069 not-muc 4308453 unknown 600010 muc 768
666.70/666.70	c iter 770 time 647.677 not-muc 4308453 unknown 600009 muc 769
666.70/666.70	c iter 771 time 648.323 not-muc 4308453 unknown 600008 muc 770
666.70/666.70	c iter 772 time 648.86 not-muc 4308453 unknown 600007 muc 771
666.70/666.70	c iter 773 time 649.588 not-muc 4308453 unknown 600006 muc 772
666.70/666.70	c iter 774 time 654.011 not-muc 4308453 unknown 600005 muc 773
666.70/666.70	c iter 775 time 656.046 not-muc 4308453 unknown 600004 muc 774
666.70/666.70	c iter 776 time 656.556 not-muc 4308453 unknown 600003 muc 775
666.70/666.70	c iter 777 time 657.591 not-muc 4308453 unknown 600002 muc 776
666.70/666.70	c iter 778 time 658.111 not-muc 4308453 unknown 600001 muc 777
666.70/666.70	c iter 779 time 660.234 not-muc 4308453 unknown 600000 muc 778
666.70/666.70	c iter 780 time 660.778 not-muc 4308453 unknown 599999 muc 779
666.70/666.70	c iter 781 time 661.511 not-muc 4308453 unknown 599998 muc 780
666.70/666.70	c iter 782 time 664.619 not-muc 4308453 unknown 599997 muc 781
666.70/666.70	c iter 783 time 665.478 not-muc 4308453 unknown 599996 muc 782
666.70/666.70	c iter 784 time 665.984 not-muc 4308453 unknown 599995 muc 783
754.21/754.21	c iter 785 time 666.671 not-muc 4308453 unknown 599994 muc 784
754.21/754.21	c iter 786 time 669.058 not-muc 4308453 unknown 599993 muc 785
754.21/754.21	c iter 787 time 669.784 not-muc 4308453 unknown 599992 muc 786
754.21/754.21	c iter 788 time 670.517 not-muc 4308453 unknown 599991 muc 787
754.21/754.21	c iter 789 time 671.008 not-muc 4308453 unknown 599990 muc 788
754.21/754.21	c iter 790 time 673.535 not-muc 4308453 unknown 599989 muc 789
754.21/754.21	c iter 791 time 674.077 not-muc 4308453 unknown 599988 muc 790
754.21/754.21	c iter 792 time 674.888 not-muc 4308453 unknown 599987 muc 791
754.21/754.21	c iter 793 time 677.069 not-muc 4308453 unknown 599986 muc 792
754.21/754.21	c iter 794 time 679.233 not-muc 4308453 unknown 599985 muc 793
754.21/754.21	c iter 795 time 679.892 not-muc 4308453 unknown 599984 muc 794
754.21/754.21	c iter 796 time 680.399 not-muc 4308453 unknown 599983 muc 795
754.21/754.21	c iter 797 time 681.268 not-muc 4308453 unknown 599982 muc 796
754.21/754.21	c iter 798 time 683.484 not-muc 4308453 unknown 599981 muc 797
754.21/754.21	c iter 799 time 684.411 not-muc 4308453 unknown 599980 muc 798
754.21/754.21	c iter 800 time 685.182 not-muc 4308453 unknown 599979 muc 799
754.21/754.21	c iter 801 time 685.69 not-muc 4308453 unknown 599978 muc 800
754.21/754.21	c iter 802 time 686.205 not-muc 4308453 unknown 599977 muc 801
754.21/754.21	c iter 803 time 687.107 not-muc 4308453 unknown 599976 muc 802
754.21/754.21	c iter 804 time 687.612 not-muc 4308453 unknown 599975 muc 803
754.21/754.21	c iter 805 time 688.161 not-muc 4308453 unknown 599974 muc 804
754.21/754.21	c iter 806 time 688.754 not-muc 4308453 unknown 599973 muc 805
754.21/754.21	c iter 807 time 689.262 not-muc 4308453 unknown 599972 muc 806
754.21/754.21	c iter 808 time 689.78 not-muc 4308453 unknown 599971 muc 807
754.21/754.21	c iter 809 time 690.532 not-muc 4308453 unknown 599970 muc 808
754.21/754.21	c iter 810 time 692.992 not-muc 4308453 unknown 599969 muc 809
754.21/754.21	c iter 811 time 693.705 not-muc 4308453 unknown 599968 muc 810
754.21/754.21	c iter 812 time 695.124 not-muc 4308453 unknown 599967 muc 811
754.21/754.21	c iter 813 time 695.661 not-muc 4308453 unknown 599966 muc 812
754.21/754.21	c iter 814 time 696.174 not-muc 4308453 unknown 599965 muc 813
754.21/754.21	c iter 815 time 698.64 not-muc 4308453 unknown 599964 muc 814
754.21/754.21	c iter 816 time 699.208 not-muc 4308453 unknown 599963 muc 815
754.21/754.21	c iter 817 time 699.717 not-muc 4308453 unknown 599962 muc 816
754.21/754.21	c iter 818 time 700.751 not-muc 4308453 unknown 599961 muc 817
754.21/754.21	c iter 819 time 701.259 not-muc 4308453 unknown 599960 muc 818
754.21/754.21	c iter 820 time 702.15 not-muc 4308453 unknown 599959 muc 819
754.21/754.21	c iter 821 time 704.609 not-muc 4308453 unknown 599958 muc 820
754.21/754.21	c iter 822 time 705.19 not-muc 4308453 unknown 599957 muc 821
754.21/754.21	c iter 823 time 708.302 not-muc 4308453 unknown 599956 muc 822
754.21/754.21	c iter 824 time 708.806 not-muc 4308453 unknown 599955 muc 823
754.21/754.21	c iter 825 time 709.593 not-muc 4308453 unknown 599954 muc 824
754.21/754.21	c iter 826 time 713.444 not-muc 4308453 unknown 599953 muc 825
754.21/754.21	c iter 827 time 714.13 not-muc 4308453 unknown 599952 muc 826
754.21/754.21	c iter 828 time 716.801 not-muc 4308453 unknown 599951 muc 827
754.21/754.21	c iter 829 time 717.455 not-muc 4308453 unknown 599950 muc 828
754.21/754.21	c iter 830 time 721.889 not-muc 4308453 unknown 599949 muc 829
754.21/754.21	c iter 831 time 722.73 not-muc 4308453 unknown 599948 muc 830
754.21/754.21	c iter 832 time 723.238 not-muc 4308453 unknown 599947 muc 831
754.21/754.21	c iter 833 time 728.209 not-muc 4308453 unknown 599946 muc 832
754.21/754.21	c iter 834 time 728.784 not-muc 4308453 unknown 599945 muc 833
754.21/754.21	c iter 835 time 729.598 not-muc 4308453 unknown 599944 muc 834
754.21/754.21	c iter 836 time 730.141 not-muc 4308453 unknown 599943 muc 835
754.21/754.21	c iter 837 time 730.932 not-muc 4308453 unknown 599942 muc 836
754.21/754.21	c iter 838 time 735.283 not-muc 4308453 unknown 599941 muc 837
754.21/754.21	c iter 839 time 736.06 not-muc 4308453 unknown 599940 muc 838
754.21/754.21	c iter 840 time 736.631 not-muc 4308453 unknown 599939 muc 839
754.21/754.21	c iter 841 time 737.354 not-muc 4308453 unknown 599938 muc 840
754.21/754.21	c iter 842 time 738.088 not-muc 4308453 unknown 599937 muc 841
754.21/754.21	c iter 843 time 741.747 not-muc 4308453 unknown 599936 muc 842
754.21/754.21	c iter 844 time 745.509 not-muc 4308453 unknown 599935 muc 843
754.21/754.21	c iter 845 time 746.044 not-muc 4308453 unknown 599934 muc 844
754.21/754.21	c iter 846 time 746.689 not-muc 4308453 unknown 599933 muc 845
754.21/754.21	c iter 847 time 749.484 not-muc 4308453 unknown 599932 muc 846
754.21/754.21	c iter 848 time 752.038 not-muc 4308453 unknown 599931 muc 847
754.21/754.21	c iter 849 time 752.843 not-muc 4308453 unknown 599930 muc 848
754.21/754.21	c iter 850 time 753.485 not-muc 4308453 unknown 599929 muc 849
859.11/859.11	c iter 851 time 754.178 not-muc 4308453 unknown 599928 muc 850
859.11/859.11	c iter 852 time 754.772 not-muc 4308453 unknown 599927 muc 851
859.11/859.11	c iter 853 time 758.73 not-muc 4308453 unknown 599926 muc 852
859.11/859.11	c iter 854 time 761.459 not-muc 4308453 unknown 599925 muc 853
859.11/859.11	c iter 855 time 764.183 not-muc 4308453 unknown 599924 muc 854
859.11/859.11	c iter 856 time 768.579 not-muc 4308453 unknown 599923 muc 855
859.11/859.11	c iter 857 time 772.29 not-muc 4308453 unknown 599922 muc 856
859.11/859.11	c iter 858 time 775.146 not-muc 4308453 unknown 599921 muc 857
859.11/859.11	c iter 859 time 775.836 not-muc 4308453 unknown 599920 muc 858
859.11/859.11	c iter 860 time 778.838 not-muc 4308453 unknown 599919 muc 859
859.11/859.11	c iter 861 time 782.836 not-muc 4308453 unknown 599918 muc 860
859.11/859.11	c iter 862 time 783.782 not-muc 4308453 unknown 599917 muc 861
859.11/859.11	c iter 863 time 788.119 not-muc 4308453 unknown 599916 muc 862
859.11/859.11	c iter 864 time 788.637 not-muc 4308453 unknown 599915 muc 863
859.11/859.11	c iter 865 time 789.25 not-muc 4308453 unknown 599914 muc 864
859.11/859.11	c iter 866 time 791.526 not-muc 4308453 unknown 599913 muc 865
859.11/859.11	c iter 867 time 793.702 not-muc 4308453 unknown 599912 muc 866
859.11/859.11	c iter 868 time 794.294 not-muc 4308453 unknown 599911 muc 867
859.11/859.11	c iter 869 time 796.856 not-muc 4308453 unknown 599910 muc 868
859.11/859.11	c iter 870 time 800.525 not-muc 4308453 unknown 599909 muc 869
859.11/859.11	c iter 871 time 801.119 not-muc 4308453 unknown 599908 muc 870
859.11/859.11	c iter 872 time 804.072 not-muc 4308453 unknown 599907 muc 871
859.11/859.11	c iter 873 time 804.592 not-muc 4308453 unknown 599906 muc 872
859.11/859.11	c iter 874 time 805.178 not-muc 4308453 unknown 599905 muc 873
859.11/859.11	c iter 875 time 807.365 not-muc 4308453 unknown 599904 muc 874
859.11/859.11	c iter 876 time 807.955 not-muc 4308453 unknown 599903 muc 875
859.11/859.11	c iter 877 time 808.56 not-muc 4308453 unknown 599902 muc 876
859.11/859.11	c iter 878 time 809.173 not-muc 4308453 unknown 599901 muc 877
859.11/859.11	c iter 879 time 809.687 not-muc 4308453 unknown 599900 muc 878
859.11/859.11	c iter 880 time 810.287 not-muc 4308453 unknown 599899 muc 879
859.11/859.11	c iter 881 time 811.988 not-muc 4308453 unknown 599898 muc 880
859.11/859.11	c iter 882 time 812.591 not-muc 4308453 unknown 599897 muc 881
859.11/859.11	c iter 883 time 815.473 not-muc 4308453 unknown 599896 muc 882
859.11/859.11	c iter 884 time 816.017 not-muc 4308453 unknown 599895 muc 883
859.11/859.11	c iter 885 time 818.677 not-muc 4308453 unknown 599894 muc 884
859.11/859.11	c iter 886 time 821.68 not-muc 4308453 unknown 599893 muc 885
859.11/859.11	c iter 887 time 822.491 not-muc 4308453 unknown 599892 muc 886
859.11/859.11	c iter 888 time 823.193 not-muc 4308453 unknown 599891 muc 887
859.11/859.11	c iter 889 time 823.806 not-muc 4308453 unknown 599890 muc 888
859.11/859.11	c iter 890 time 824.391 not-muc 4308453 unknown 599889 muc 889
859.11/859.11	c iter 891 time 825.018 not-muc 4308453 unknown 599888 muc 890
859.11/859.11	c iter 892 time 826.704 not-muc 4308453 unknown 599887 muc 891
859.11/859.11	c iter 893 time 827.255 not-muc 4308453 unknown 599886 muc 892
859.11/859.11	c iter 894 time 828.862 not-muc 4308453 unknown 599885 muc 893
859.11/859.11	c iter 895 time 829.381 not-muc 4308453 unknown 599884 muc 894
859.11/859.11	c iter 896 time 832.931 not-muc 4308453 unknown 599883 muc 895
859.11/859.11	c iter 897 time 836.117 not-muc 4308453 unknown 599882 muc 896
859.11/859.11	c iter 898 time 836.812 not-muc 4308453 unknown 599881 muc 897
859.11/859.11	c iter 899 time 837.421 not-muc 4308453 unknown 599880 muc 898
859.11/859.11	c iter 900 time 838.017 not-muc 4308453 unknown 599879 muc 899
859.11/859.11	c iter 901 time 841.195 not-muc 4308453 unknown 599878 muc 900
859.11/859.11	c iter 902 time 841.726 not-muc 4308453 unknown 599877 muc 901
859.11/859.11	c iter 903 time 842.24 not-muc 4308453 unknown 599876 muc 902
859.11/859.11	c iter 904 time 842.754 not-muc 4308453 unknown 599875 muc 903
859.11/859.11	c iter 905 time 843.373 not-muc 4308453 unknown 599874 muc 904
859.11/859.11	c iter 906 time 846.993 not-muc 4308453 unknown 599873 muc 905
859.11/859.11	c iter 907 time 847.515 not-muc 4308453 unknown 599872 muc 906
859.11/859.11	c iter 908 time 848.196 not-muc 4308453 unknown 599871 muc 907
859.11/859.11	c iter 909 time 851.787 not-muc 4308453 unknown 599870 muc 908
859.11/859.11	c iter 910 time 852.371 not-muc 4308453 unknown 599869 muc 909
859.11/859.11	c iter 911 time 852.886 not-muc 4308453 unknown 599868 muc 910
859.11/859.11	c iter 912 time 853.58 not-muc 4308453 unknown 599867 muc 911
859.11/859.11	c iter 913 time 854.197 not-muc 4308453 unknown 599866 muc 912
859.11/859.11	c iter 914 time 857.782 not-muc 4308453 unknown 599865 muc 913
859.11/859.11	c iter 915 time 858.384 not-muc 4308453 unknown 599864 muc 914
958.02/958.00	c iter 916 time 860.352 not-muc 4308453 unknown 599863 muc 915
958.02/958.00	c iter 917 time 860.899 not-muc 4308453 unknown 599862 muc 916
958.02/958.00	c iter 918 time 864.843 not-muc 4308453 unknown 599861 muc 917
958.02/958.00	c iter 919 time 865.467 not-muc 4308453 unknown 599860 muc 918
958.02/958.00	c iter 920 time 869.37 not-muc 4308453 unknown 599859 muc 919
958.02/958.00	c iter 921 time 869.891 not-muc 4308453 unknown 599858 muc 920
958.02/958.00	c iter 922 time 870.482 not-muc 4308453 unknown 599857 muc 921
958.02/958.00	c iter 923 time 870.997 not-muc 4308453 unknown 599856 muc 922
958.02/958.00	c iter 924 time 871.515 not-muc 4308453 unknown 599855 muc 923
958.02/958.00	c iter 925 time 875.84 not-muc 4308453 unknown 599854 muc 924
958.02/958.00	c iter 926 time 876.473 not-muc 4308453 unknown 599853 muc 925
958.02/958.00	c iter 927 time 880.905 not-muc 4308453 unknown 599852 muc 926
958.02/958.00	c iter 928 time 881.536 not-muc 4308453 unknown 599851 muc 927
958.02/958.00	c iter 929 time 882.06 not-muc 4308453 unknown 599850 muc 928
958.02/958.00	c iter 930 time 882.792 not-muc 4308453 unknown 599849 muc 929
958.02/958.00	c iter 931 time 883.412 not-muc 4308453 unknown 599848 muc 930
958.02/958.00	c iter 932 time 883.898 not-muc 4308453 unknown 599847 muc 931
958.02/958.00	c iter 933 time 887.838 not-muc 4308453 unknown 599846 muc 932
958.02/958.00	c iter 934 time 888.505 not-muc 4308453 unknown 599845 muc 933
958.02/958.00	c iter 935 time 889.031 not-muc 4308453 unknown 599844 muc 934
958.02/958.00	c iter 936 time 893.34 not-muc 4308453 unknown 599843 muc 935
958.02/958.00	c iter 937 time 893.862 not-muc 4308453 unknown 599842 muc 936
958.02/958.00	c iter 938 time 894.585 not-muc 4308453 unknown 599841 muc 937
958.02/958.00	c iter 939 time 897.674 not-muc 4308453 unknown 599840 muc 938
958.02/958.00	c iter 940 time 902.118 not-muc 4308453 unknown 599839 muc 939
958.02/958.00	c iter 941 time 904.465 not-muc 4308453 unknown 599838 muc 940
958.02/958.00	c iter 942 time 908.714 not-muc 4308453 unknown 599837 muc 941
958.02/958.00	c iter 943 time 909.23 not-muc 4308453 unknown 599836 muc 942
958.02/958.00	c iter 944 time 914.637 not-muc 4308453 unknown 599835 muc 943
958.02/958.00	c iter 945 time 915.176 not-muc 4308453 unknown 599834 muc 944
958.02/958.00	c iter 946 time 915.693 not-muc 4308453 unknown 599833 muc 945
958.02/958.00	c iter 947 time 920.59 not-muc 4308453 unknown 599832 muc 946
958.02/958.00	c iter 948 time 925.328 not-muc 4308453 unknown 599831 muc 947
958.02/958.00	c iter 949 time 926.164 not-muc 4308453 unknown 599830 muc 948
958.02/958.00	c iter 950 time 926.686 not-muc 4308453 unknown 599829 muc 949
958.02/958.00	c iter 951 time 930.731 not-muc 4308453 unknown 599828 muc 950
958.02/958.00	c iter 952 time 931.853 not-muc 4308453 unknown 599827 muc 951
958.02/958.00	c iter 953 time 932.372 not-muc 4308453 unknown 599826 muc 952
958.02/958.00	c iter 954 time 933.156 not-muc 4308453 unknown 599825 muc 953
958.02/958.00	c iter 955 time 938.544 not-muc 4308453 unknown 599824 muc 954
958.02/958.00	c iter 956 time 939.287 not-muc 4308453 unknown 599823 muc 955
958.02/958.00	c iter 957 time 939.847 not-muc 4308453 unknown 599822 muc 956
958.02/958.00	c iter 958 time 940.609 not-muc 4308453 unknown 599821 muc 957
958.02/958.00	c iter 959 time 941.127 not-muc 4308453 unknown 599820 muc 958
958.02/958.00	c iter 960 time 941.643 not-muc 4308453 unknown 599819 muc 959
958.02/958.00	c iter 961 time 942.162 not-muc 4308453 unknown 599818 muc 960
958.02/958.00	c iter 962 time 942.83 not-muc 4308453 unknown 599817 muc 961
958.02/958.00	c iter 963 time 943.383 not-muc 4308453 unknown 599816 muc 962
958.02/958.00	c iter 964 time 946.775 not-muc 4308453 unknown 599815 muc 963
958.02/958.00	c iter 965 time 947.319 not-muc 4308453 unknown 599814 muc 964
958.02/958.00	c iter 966 time 948.022 not-muc 4308453 unknown 599813 muc 965
958.02/958.00	c iter 967 time 948.548 not-muc 4308453 unknown 599812 muc 966
958.02/958.00	c iter 968 time 949.218 not-muc 4308453 unknown 599811 muc 967
958.02/958.00	c iter 969 time 949.745 not-muc 4308453 unknown 599810 muc 968
958.02/958.00	c iter 970 time 950.987 not-muc 4308453 unknown 599809 muc 969
958.02/958.00	c iter 971 time 951.677 not-muc 4308453 unknown 599808 muc 970
958.02/958.00	c iter 972 time 952.381 not-muc 4308453 unknown 599807 muc 971
958.02/958.00	c iter 973 time 953.047 not-muc 4308453 unknown 599806 muc 972
958.02/958.00	c iter 974 time 953.704 not-muc 4308453 unknown 599805 muc 973
958.02/958.00	c iter 975 time 954.219 not-muc 4308453 unknown 599804 muc 974
958.02/958.00	c iter 976 time 954.982 not-muc 4308453 unknown 599803 muc 975
958.02/958.00	c iter 977 time 955.515 not-muc 4308453 unknown 599802 muc 976
958.02/958.00	c iter 978 time 956.033 not-muc 4308453 unknown 599801 muc 977
958.02/958.00	c iter 979 time 956.655 not-muc 4308453 unknown 599800 muc 978
958.02/958.00	c iter 980 time 957.277 not-muc 4308453 unknown 599799 muc 979
1063.82/1063.82	c iter 981 time 957.797 not-muc 4308453 unknown 599798 muc 980
1063.82/1063.82	c iter 982 time 958.452 not-muc 4308453 unknown 599797 muc 981
1063.82/1063.82	c iter 983 time 958.995 not-muc 4308453 unknown 599796 muc 982
1063.82/1063.82	c iter 984 time 959.522 not-muc 4308453 unknown 599795 muc 983
1063.82/1063.82	c iter 985 time 960.19 not-muc 4308453 unknown 599794 muc 984
1063.82/1063.82	c iter 986 time 960.717 not-muc 4308453 unknown 599793 muc 985
1063.82/1063.82	c iter 987 time 961.574 not-muc 4308453 unknown 599792 muc 986
1063.82/1063.82	c iter 988 time 962.094 not-muc 4308453 unknown 599791 muc 987
1063.82/1063.82	c iter 989 time 962.757 not-muc 4308453 unknown 599790 muc 988
1063.82/1063.82	c iter 990 time 966.241 not-muc 4308453 unknown 599789 muc 989
1063.82/1063.82	c iter 991 time 966.895 not-muc 4308453 unknown 599788 muc 990
1063.82/1063.82	c iter 992 time 967.588 not-muc 4308453 unknown 599787 muc 991
1063.82/1063.82	c iter 993 time 968.178 not-muc 4308453 unknown 599786 muc 992
1063.82/1063.82	c iter 994 time 968.877 not-muc 4308453 unknown 599785 muc 993
1063.82/1063.82	c iter 995 time 969.49 not-muc 4308453 unknown 599784 muc 994
1063.82/1063.82	c iter 996 time 973.666 not-muc 4308453 unknown 599783 muc 995
1063.82/1063.82	c iter 997 time 974.248 not-muc 4308453 unknown 599782 muc 996
1063.82/1063.82	c iter 998 time 974.936 not-muc 4308453 unknown 599781 muc 997
1063.82/1063.82	c iter 999 time 978.712 not-muc 4308453 unknown 599780 muc 998
1063.82/1063.82	c iter 1000 time 979.514 not-muc 4308453 unknown 599779 muc 999
1063.82/1063.82	c iter 1001 time 980.057 not-muc 4308453 unknown 599778 muc 1000
1063.82/1063.82	c iter 1002 time 980.58 not-muc 4308453 unknown 599777 muc 1001
1063.82/1063.82	c iter 1003 time 984.639 not-muc 4308453 unknown 599776 muc 1002
1063.82/1063.82	c iter 1004 time 985.446 not-muc 4308453 unknown 599775 muc 1003
1063.82/1063.82	c iter 1005 time 986.01 not-muc 4308453 unknown 599774 muc 1004
1063.82/1063.82	c iter 1006 time 991.035 not-muc 4308453 unknown 599773 muc 1005
1063.82/1063.82	c iter 1007 time 991.767 not-muc 4308453 unknown 599772 muc 1006
1063.82/1063.82	c iter 1008 time 992.294 not-muc 4308453 unknown 599771 muc 1007
1063.82/1063.82	c iter 1009 time 997.229 not-muc 4308453 unknown 599770 muc 1008
1063.82/1063.82	c iter 1010 time 998.089 not-muc 4308453 unknown 599769 muc 1009
1063.82/1063.82	c iter 1011 time 998.743 not-muc 4308453 unknown 599768 muc 1010
1063.82/1063.82	c iter 1012 time 999.326 not-muc 4308453 unknown 599767 muc 1011
1063.82/1063.82	c iter 1013 time 1003.51 not-muc 4308453 unknown 599766 muc 1012
1063.82/1063.82	c iter 1014 time 1004.38 not-muc 4308453 unknown 599765 muc 1013
1063.82/1063.82	c iter 1015 time 1005.02 not-muc 4308453 unknown 599764 muc 1014
1063.82/1063.82	c iter 1016 time 1009.94 not-muc 4308453 unknown 599763 muc 1015
1063.82/1063.82	c iter 1017 time 1010.6 not-muc 4308453 unknown 599762 muc 1016
1063.82/1063.82	c iter 1018 time 1011.12 not-muc 4308453 unknown 599761 muc 1017
1063.82/1063.82	c iter 1019 time 1011.64 not-muc 4308453 unknown 599760 muc 1018
1063.82/1063.82	c iter 1020 time 1016.3 not-muc 4308453 unknown 599759 muc 1019
1063.82/1063.82	c iter 1021 time 1017.14 not-muc 4308453 unknown 599758 muc 1020
1063.82/1063.82	c iter 1022 time 1022.03 not-muc 4308453 unknown 599757 muc 1021
1063.82/1063.82	c iter 1023 time 1022.76 not-muc 4308453 unknown 599756 muc 1022
1063.82/1063.82	c iter 1024 time 1023.29 not-muc 4308453 unknown 599755 muc 1023
1063.82/1063.82	c iter 1025 time 1023.82 not-muc 4308453 unknown 599754 muc 1024
1063.82/1063.82	c iter 1026 time 1030.46 not-muc 4308453 unknown 599753 muc 1025
1063.82/1063.82	c iter 1027 time 1031.09 not-muc 4308453 unknown 599752 muc 1026
1063.82/1063.82	c iter 1028 time 1036.54 not-muc 4308453 unknown 599751 muc 1027
1063.82/1063.82	c iter 1029 time 1037.08 not-muc 4308453 unknown 599750 muc 1028
1063.82/1063.82	c iter 1030 time 1037.61 not-muc 4308453 unknown 599749 muc 1029
1063.82/1063.82	c iter 1031 time 1043.22 not-muc 4308453 unknown 599748 muc 1030
1063.82/1063.82	c iter 1032 time 1043.9 not-muc 4308453 unknown 599747 muc 1031
1063.82/1063.82	c iter 1033 time 1044.45 not-muc 4308453 unknown 599746 muc 1032
1063.82/1063.82	c iter 1034 time 1045.2 not-muc 4308453 unknown 599745 muc 1033
1063.82/1063.82	c iter 1035 time 1050.16 not-muc 4308453 unknown 599744 muc 1034
1063.82/1063.82	c iter 1036 time 1050.83 not-muc 4308453 unknown 599743 muc 1035
1063.82/1063.82	c iter 1037 time 1051.39 not-muc 4308453 unknown 599742 muc 1036
1063.82/1063.82	c iter 1038 time 1054.45 not-muc 4308453 unknown 599741 muc 1037
1063.82/1063.82	c iter 1039 time 1055.07 not-muc 4308453 unknown 599740 muc 1038
1063.82/1063.82	c iter 1040 time 1055.6 not-muc 4308453 unknown 599739 muc 1039
1063.82/1063.82	c iter 1041 time 1056.29 not-muc 4308453 unknown 599738 muc 1040
1063.82/1063.82	c iter 1042 time 1056.91 not-muc 4308453 unknown 599737 muc 1041
1063.82/1063.82	c iter 1043 time 1059.55 not-muc 4308453 unknown 599736 muc 1042
1063.82/1063.82	c iter 1044 time 1063.09 not-muc 4308453 unknown 599735 muc 1043
1180.51/1180.59	c iter 1045 time 1063.62 not-muc 4308453 unknown 599734 muc 1044
1180.51/1180.59	c iter 1046 time 1064.19 not-muc 4308453 unknown 599733 muc 1045
1180.51/1180.59	c iter 1047 time 1064.71 not-muc 4308453 unknown 599732 muc 1046
1180.51/1180.59	c iter 1048 time 1065.38 not-muc 4308453 unknown 599731 muc 1047
1180.51/1180.59	c iter 1049 time 1065.93 not-muc 4308453 unknown 599730 muc 1048
1180.51/1180.59	c iter 1050 time 1066.61 not-muc 4308453 unknown 599729 muc 1049
1180.51/1180.59	c iter 1051 time 1072.07 not-muc 4308453 unknown 599728 muc 1050
1180.51/1180.59	c iter 1052 time 1072.6 not-muc 4308453 unknown 599727 muc 1051
1180.51/1180.59	c iter 1053 time 1073.12 not-muc 4308453 unknown 599726 muc 1052
1180.51/1180.59	c iter 1054 time 1073.75 not-muc 4308453 unknown 599725 muc 1053
1180.51/1180.59	c iter 1055 time 1074.47 not-muc 4308453 unknown 599724 muc 1054
1180.51/1180.59	c iter 1056 time 1080 not-muc 4308453 unknown 599723 muc 1055
1180.51/1180.59	c iter 1057 time 1080.53 not-muc 4308453 unknown 599722 muc 1056
1180.51/1180.59	c iter 1058 time 1081.43 not-muc 4308453 unknown 599721 muc 1057
1180.51/1180.59	c iter 1059 time 1082.12 not-muc 4308453 unknown 599720 muc 1058
1180.51/1180.59	c iter 1060 time 1082.64 not-muc 4308453 unknown 599719 muc 1059
1180.51/1180.59	c iter 1061 time 1083.34 not-muc 4308453 unknown 599718 muc 1060
1180.51/1180.59	c iter 1062 time 1089.54 not-muc 4308453 unknown 599717 muc 1061
1180.51/1180.59	c iter 1063 time 1090.07 not-muc 4308453 unknown 599716 muc 1062
1180.51/1180.59	c iter 1064 time 1090.59 not-muc 4308453 unknown 599715 muc 1063
1180.51/1180.59	c iter 1065 time 1091.31 not-muc 4308453 unknown 599714 muc 1064
1180.51/1180.59	c iter 1066 time 1091.84 not-muc 4308453 unknown 599713 muc 1065
1180.51/1180.59	c iter 1067 time 1092.37 not-muc 4308453 unknown 599712 muc 1066
1180.51/1180.59	c iter 1068 time 1092.89 not-muc 4308453 unknown 599711 muc 1067
1180.51/1180.59	c iter 1069 time 1093.59 not-muc 4308453 unknown 599710 muc 1068
1180.51/1180.59	c iter 1070 time 1094.13 not-muc 4308453 unknown 599709 muc 1069
1180.51/1180.59	c iter 1071 time 1094.66 not-muc 4308453 unknown 599708 muc 1070
1180.51/1180.59	c iter 1072 time 1095.38 not-muc 4308453 unknown 599707 muc 1071
1180.51/1180.59	c iter 1073 time 1096.1 not-muc 4308453 unknown 599706 muc 1072
1180.51/1180.59	c iter 1074 time 1098.39 not-muc 4308453 unknown 599705 muc 1073
1180.51/1180.59	c iter 1075 time 1098.94 not-muc 4308453 unknown 599704 muc 1074
1180.51/1180.59	c iter 1076 time 1099.65 not-muc 4308453 unknown 599703 muc 1075
1180.51/1180.59	c iter 1077 time 1100.37 not-muc 4308453 unknown 599702 muc 1076
1180.51/1180.59	c iter 1078 time 1101.12 not-muc 4308453 unknown 599701 muc 1077
1180.51/1180.59	c iter 1079 time 1104.55 not-muc 4308453 unknown 599700 muc 1078
1180.51/1180.59	c iter 1080 time 1112.07 not-muc 4308453 unknown 599699 muc 1079
1180.51/1180.59	c iter 1081 time 1113.36 not-muc 4308453 unknown 599698 muc 1080
1180.51/1180.59	c iter 1082 time 1120.98 not-muc 4308453 unknown 599697 muc 1081
1180.51/1180.59	c iter 1083 time 1121.54 not-muc 4308453 unknown 599696 muc 1082
1180.51/1180.59	c iter 1084 time 1124.99 not-muc 4308453 unknown 599695 muc 1083
1180.51/1180.59	c iter 1085 time 1126.25 not-muc 4308453 unknown 599694 muc 1084
1180.51/1180.59	c iter 1086 time 1126.86 not-muc 4308453 unknown 599693 muc 1085
1180.51/1180.59	c iter 1087 time 1127.38 not-muc 4308453 unknown 599692 muc 1086
1180.51/1180.59	c iter 1088 time 1128.13 not-muc 4308453 unknown 599691 muc 1087
1180.51/1180.59	c iter 1089 time 1135.32 not-muc 4308453 unknown 599690 muc 1088
1180.51/1180.59	c iter 1090 time 1136.08 not-muc 4308453 unknown 599689 muc 1089
1180.51/1180.59	c iter 1091 time 1139.55 not-muc 4308453 unknown 599688 muc 1090
1180.51/1180.59	c iter 1092 time 1147.1 not-muc 4308453 unknown 599687 muc 1091
1180.51/1180.59	c iter 1093 time 1147.64 not-muc 4308453 unknown 599686 muc 1092
1180.51/1180.59	c iter 1094 time 1149.84 not-muc 4308453 unknown 599685 muc 1093
1180.51/1180.59	c iter 1095 time 1150.54 not-muc 4308453 unknown 599684 muc 1094
1180.51/1180.59	c iter 1096 time 1151.25 not-muc 4308453 unknown 599683 muc 1095
1180.51/1180.59	c iter 1097 time 1154.8 not-muc 4308453 unknown 599682 muc 1096
1180.51/1180.59	c iter 1098 time 1155.34 not-muc 4308453 unknown 599681 muc 1097
1180.51/1180.59	c iter 1099 time 1162.86 not-muc 4308453 unknown 599680 muc 1098
1180.51/1180.59	c iter 1100 time 1163.4 not-muc 4308453 unknown 599679 muc 1099
1180.51/1180.59	c iter 1101 time 1164.12 not-muc 4308453 unknown 599678 muc 1100
1180.51/1180.59	c iter 1102 time 1164.71 not-muc 4308453 unknown 599677 muc 1101
1180.51/1180.59	c iter 1103 time 1172.43 not-muc 4308453 unknown 599676 muc 1102
1180.51/1180.59	c iter 1104 time 1176.49 not-muc 4308453 unknown 599675 muc 1103
1180.51/1180.59	c iter 1105 time 1177.01 not-muc 4308453 unknown 599674 muc 1104
1180.51/1180.59	c iter 1106 time 1177.72 not-muc 4308453 unknown 599673 muc 1105
1180.51/1180.59	c iter 1107 time 1179.86 not-muc 4308453 unknown 599672 muc 1106
1290.72/1290.73	c iter 1108 time 1180.5 not-muc 4308453 unknown 599671 muc 1107
1290.72/1290.73	c iter 1109 time 1181.23 not-muc 4308453 unknown 599670 muc 1108
1290.72/1290.73	c iter 1110 time 1184.85 not-muc 4308453 unknown 599669 muc 1109
1290.72/1290.73	c iter 1111 time 1185.38 not-muc 4308453 unknown 599668 muc 1110
1290.72/1290.73	c iter 1112 time 1186 not-muc 4308453 unknown 599667 muc 1111
1290.72/1290.73	c iter 1113 time 1186.61 not-muc 4308453 unknown 599666 muc 1112
1290.72/1290.73	c iter 1114 time 1190.42 not-muc 4308453 unknown 599665 muc 1113
1290.72/1290.73	c iter 1115 time 1191 not-muc 4308453 unknown 599664 muc 1114
1290.72/1290.73	c iter 1116 time 1191.62 not-muc 4308453 unknown 599663 muc 1115
1290.72/1290.73	c iter 1117 time 1192.36 not-muc 4308453 unknown 599662 muc 1116
1290.72/1290.73	c iter 1118 time 1193.01 not-muc 4308453 unknown 599661 muc 1117
1290.72/1290.73	c iter 1119 time 1194.06 not-muc 4308453 unknown 599660 muc 1118
1290.72/1290.73	c iter 1120 time 1197.89 not-muc 4308453 unknown 599659 muc 1119
1290.72/1290.73	c iter 1121 time 1205.03 not-muc 4308453 unknown 599658 muc 1120
1290.72/1290.73	c iter 1122 time 1212.91 not-muc 4308453 unknown 599657 muc 1121
1290.72/1290.73	c iter 1123 time 1213.56 not-muc 4308453 unknown 599656 muc 1122
1290.72/1290.73	c iter 1124 time 1217.35 not-muc 4308453 unknown 599655 muc 1123
1290.72/1290.73	c iter 1125 time 1217.9 not-muc 4308453 unknown 599654 muc 1124
1290.72/1290.73	c iter 1126 time 1218.44 not-muc 4308453 unknown 599653 muc 1125
1290.72/1290.73	c iter 1127 time 1219.49 not-muc 4308453 unknown 599652 muc 1126
1290.72/1290.73	c iter 1128 time 1223.64 not-muc 4308453 unknown 599651 muc 1127
1290.72/1290.73	c iter 1129 time 1224.18 not-muc 4308453 unknown 599650 muc 1128
1290.72/1290.73	c iter 1130 time 1230.32 not-muc 4308453 unknown 599649 muc 1129
1290.72/1290.73	c iter 1131 time 1231.05 not-muc 4308453 unknown 599648 muc 1130
1290.72/1290.73	c iter 1132 time 1232.1 not-muc 4308453 unknown 599647 muc 1131
1290.72/1290.73	c iter 1133 time 1240.91 not-muc 4308453 unknown 599646 muc 1132
1290.72/1290.73	c iter 1134 time 1241.46 not-muc 4308453 unknown 599645 muc 1133
1290.72/1290.73	c iter 1135 time 1241.98 not-muc 4308453 unknown 599644 muc 1134
1290.72/1290.73	c iter 1136 time 1248.65 not-muc 4308453 unknown 599643 muc 1135
1290.72/1290.73	c iter 1137 time 1249.52 not-muc 4308453 unknown 599642 muc 1136
1290.72/1290.73	c iter 1138 time 1250.06 not-muc 4308453 unknown 599641 muc 1137
1290.72/1290.73	c iter 1139 time 1250.59 not-muc 4308453 unknown 599640 muc 1138
1290.72/1290.73	c iter 1140 time 1251.13 not-muc 4308453 unknown 599639 muc 1139
1290.72/1290.73	c iter 1141 time 1255.53 not-muc 4308453 unknown 599638 muc 1140
1290.72/1290.73	c iter 1142 time 1256.14 not-muc 4308453 unknown 599637 muc 1141
1290.72/1290.73	c iter 1143 time 1256.74 not-muc 4308453 unknown 599636 muc 1142
1290.72/1290.73	c iter 1144 time 1257.37 not-muc 4308453 unknown 599635 muc 1143
1290.72/1290.73	c iter 1145 time 1257.9 not-muc 4308453 unknown 599634 muc 1144
1290.72/1290.73	c iter 1146 time 1259 not-muc 4308453 unknown 599633 muc 1145
1290.72/1290.73	c iter 1147 time 1259.69 not-muc 4308453 unknown 599632 muc 1146
1290.72/1290.73	c iter 1148 time 1264.21 not-muc 4308453 unknown 599631 muc 1147
1290.72/1290.73	c iter 1149 time 1265.04 not-muc 4308453 unknown 599630 muc 1148
1290.72/1290.73	c iter 1150 time 1265.73 not-muc 4308453 unknown 599629 muc 1149
1290.72/1290.73	c iter 1151 time 1266.46 not-muc 4308453 unknown 599628 muc 1150
1290.72/1290.73	c iter 1152 time 1270.54 not-muc 4308453 unknown 599627 muc 1151
1290.72/1290.73	c iter 1153 time 1271.06 not-muc 4308453 unknown 599626 muc 1152
1290.72/1290.73	c iter 1154 time 1271.59 not-muc 4308453 unknown 599625 muc 1153
1290.72/1290.73	c iter 1155 time 1272.11 not-muc 4308453 unknown 599624 muc 1154
1290.72/1290.73	c iter 1156 time 1272.71 not-muc 4308453 unknown 599623 muc 1155
1290.72/1290.73	c iter 1157 time 1277.51 not-muc 4308453 unknown 599622 muc 1156
1290.72/1290.73	c iter 1158 time 1278.23 not-muc 4308453 unknown 599621 muc 1157
1290.72/1290.73	c iter 1159 time 1279.08 not-muc 4308453 unknown 599620 muc 1158
1290.72/1290.73	c iter 1160 time 1279.65 not-muc 4308453 unknown 599619 muc 1159
1290.72/1290.73	c iter 1161 time 1280.35 not-muc 4308453 unknown 599618 muc 1160
1290.72/1290.73	c iter 1162 time 1280.91 not-muc 4308453 unknown 599617 muc 1161
1290.72/1290.73	c iter 1163 time 1281.44 not-muc 4308453 unknown 599616 muc 1162
1290.72/1290.73	c iter 1164 time 1281.98 not-muc 4308453 unknown 599615 muc 1163
1290.72/1290.73	c iter 1165 time 1282.51 not-muc 4308453 unknown 599614 muc 1164
1290.72/1290.73	c iter 1166 time 1283.27 not-muc 4308453 unknown 599613 muc 1165
1290.72/1290.73	c iter 1167 time 1283.84 not-muc 4308453 unknown 599612 muc 1166
1290.72/1290.73	c iter 1168 time 1284.46 not-muc 4308453 unknown 599611 muc 1167
1290.72/1290.73	c iter 1169 time 1285.06 not-muc 4308453 unknown 599610 muc 1168
1290.72/1290.73	c iter 1170 time 1289.99 not-muc 4308453 unknown 599609 muc 1169
1404.32/1404.39	c iter 1171 time 1290.68 not-muc 4308453 unknown 599608 muc 1170
1404.32/1404.39	c iter 1172 time 1291.31 not-muc 4308453 unknown 599607 muc 1171
1404.32/1404.39	c iter 1173 time 1291.95 not-muc 4308453 unknown 599606 muc 1172
1404.32/1404.39	c iter 1174 time 1292.66 not-muc 4308453 unknown 599605 muc 1173
1404.32/1404.39	c iter 1175 time 1293.19 not-muc 4308453 unknown 599604 muc 1174
1404.32/1404.39	c iter 1176 time 1293.94 not-muc 4308453 unknown 599603 muc 1175
1404.32/1404.39	c iter 1177 time 1294.78 not-muc 4308453 unknown 599602 muc 1176
1404.32/1404.39	c iter 1178 time 1300.92 not-muc 4308453 unknown 599601 muc 1177
1404.32/1404.39	c iter 1179 time 1301.52 not-muc 4308453 unknown 599600 muc 1178
1404.32/1404.39	c iter 1180 time 1302.09 not-muc 4308453 unknown 599599 muc 1179
1404.32/1404.39	c iter 1181 time 1302.62 not-muc 4308453 unknown 599598 muc 1180
1404.32/1404.39	c iter 1182 time 1303.16 not-muc 4308453 unknown 599597 muc 1181
1404.32/1404.39	c iter 1183 time 1303.69 not-muc 4308453 unknown 599596 muc 1182
1404.32/1404.39	c iter 1184 time 1304.43 not-muc 4308453 unknown 599595 muc 1183
1404.32/1404.39	c iter 1185 time 1310.39 not-muc 4308453 unknown 599594 muc 1184
1404.32/1404.39	c iter 1186 time 1310.99 not-muc 4308453 unknown 599593 muc 1185
1404.32/1404.39	c iter 1187 time 1311.52 not-muc 4308453 unknown 599592 muc 1186
1404.32/1404.39	c iter 1188 time 1312.07 not-muc 4308453 unknown 599591 muc 1187
1404.32/1404.39	c iter 1189 time 1312.72 not-muc 4308453 unknown 599590 muc 1188
1404.32/1404.39	c iter 1190 time 1313.4 not-muc 4308453 unknown 599589 muc 1189
1404.32/1404.39	c iter 1191 time 1319.56 not-muc 4308453 unknown 599588 muc 1190
1404.32/1404.39	c iter 1192 time 1320.2 not-muc 4308453 unknown 599587 muc 1191
1404.32/1404.39	c iter 1193 time 1320.88 not-muc 4308453 unknown 599586 muc 1192
1404.32/1404.39	c iter 1194 time 1321.47 not-muc 4308453 unknown 599585 muc 1193
1404.32/1404.39	c iter 1195 time 1322.03 not-muc 4308453 unknown 599584 muc 1194
1404.32/1404.39	c iter 1196 time 1328.92 not-muc 4308453 unknown 599583 muc 1195
1404.32/1404.39	c iter 1197 time 1329.99 not-muc 4308453 unknown 599582 muc 1196
1404.32/1404.39	c iter 1198 time 1336.72 not-muc 4308453 unknown 599581 muc 1197
1404.32/1404.39	c iter 1199 time 1337.54 not-muc 4308453 unknown 599580 muc 1198
1404.32/1404.39	c iter 1200 time 1338.06 not-muc 4308453 unknown 599579 muc 1199
1404.32/1404.39	c iter 1201 time 1338.84 not-muc 4308453 unknown 599578 muc 1200
1404.32/1404.39	c iter 1202 time 1339.71 not-muc 4308453 unknown 599577 muc 1201
1404.32/1404.39	c iter 1203 time 1340.28 not-muc 4308453 unknown 599576 muc 1202
1404.32/1404.39	c iter 1204 time 1347.43 not-muc 4308453 unknown 599575 muc 1203
1404.32/1404.39	c iter 1205 time 1348.23 not-muc 4308453 unknown 599574 muc 1204
1404.32/1404.39	c iter 1206 time 1348.78 not-muc 4308453 unknown 599573 muc 1205
1404.32/1404.39	c iter 1207 time 1349.38 not-muc 4308453 unknown 599572 muc 1206
1404.32/1404.39	c iter 1208 time 1350.53 not-muc 4308453 unknown 599571 muc 1207
1404.32/1404.39	c iter 1209 time 1362.4 not-muc 4308453 unknown 599570 muc 1208
1404.32/1404.39	c iter 1210 time 1362.94 not-muc 4308453 unknown 599569 muc 1209
1404.32/1404.39	c iter 1211 time 1364.11 not-muc 4308453 unknown 599568 muc 1210
1404.32/1404.39	c iter 1212 time 1364.68 not-muc 4308453 unknown 599567 muc 1211
1404.32/1404.39	c iter 1213 time 1365.23 not-muc 4308453 unknown 599566 muc 1212
1404.32/1404.39	c iter 1214 time 1366.37 not-muc 4308453 unknown 599565 muc 1213
1404.32/1404.39	c iter 1215 time 1366.92 not-muc 4308453 unknown 599564 muc 1214
1404.32/1404.39	c iter 1216 time 1368.08 not-muc 4308453 unknown 599563 muc 1215
1404.32/1404.39	c iter 1217 time 1380 not-muc 4308453 unknown 599562 muc 1216
1404.32/1404.39	c iter 1218 time 1380.54 not-muc 4308453 unknown 599561 muc 1217
1404.32/1404.39	c iter 1219 time 1383.66 not-muc 4308453 unknown 599560 muc 1218
1404.32/1404.39	c iter 1220 time 1384.47 not-muc 4308453 unknown 599559 muc 1219
1404.32/1404.39	c iter 1221 time 1385.02 not-muc 4308453 unknown 599558 muc 1220
1404.32/1404.39	c iter 1222 time 1385.81 not-muc 4308453 unknown 599557 muc 1221
1404.32/1404.39	c iter 1223 time 1386.67 not-muc 4308453 unknown 599556 muc 1222
1404.32/1404.39	c iter 1224 time 1397.48 not-muc 4308453 unknown 599555 muc 1223
1404.32/1404.39	c iter 1225 time 1398.03 not-muc 4308453 unknown 599554 muc 1224
1404.32/1404.39	c iter 1226 time 1399.22 not-muc 4308453 unknown 599553 muc 1225
1404.32/1404.39	c iter 1227 time 1399.78 not-muc 4308453 unknown 599552 muc 1226
1404.32/1404.39	c iter 1228 time 1400.32 not-muc 4308453 unknown 599551 muc 1227
1404.32/1404.39	c iter 1229 time 1400.87 not-muc 4308453 unknown 599550 muc 1228
1404.32/1404.39	c iter 1230 time 1401.7 not-muc 4308453 unknown 599549 muc 1229
1404.32/1404.39	c iter 1231 time 1402.56 not-muc 4308453 unknown 599548 muc 1230
1404.32/1404.39	c iter 1232 time 1403.11 not-muc 4308453 unknown 599547 muc 1231
1404.32/1404.39	c iter 1233 time 1403.65 not-muc 4308453 unknown 599546 muc 1232
1549.02/1549.04	c iter 1234 time 1404.55 not-muc 4308453 unknown 599545 muc 1233
1549.02/1549.04	c iter 1235 time 1405.09 not-muc 4308453 unknown 599544 muc 1234
1549.02/1549.04	c iter 1236 time 1405.63 not-muc 4308453 unknown 599543 muc 1235
1549.02/1549.04	c iter 1237 time 1412.51 not-muc 4308453 unknown 599542 muc 1236
1549.02/1549.04	c iter 1238 time 1413.48 not-muc 4308453 unknown 599541 muc 1237
1549.02/1549.04	c iter 1239 time 1414.11 not-muc 4308453 unknown 599540 muc 1238
1549.02/1549.04	c iter 1240 time 1414.64 not-muc 4308453 unknown 599539 muc 1239
1549.02/1549.04	c iter 1241 time 1417.32 not-muc 4308453 unknown 599538 muc 1240
1549.02/1549.04	c iter 1242 time 1418.97 not-muc 4308453 unknown 599537 muc 1241
1549.02/1549.04	c iter 1243 time 1419.87 not-muc 4308453 unknown 599536 muc 1242
1549.02/1549.04	c iter 1244 time 1420.43 not-muc 4308453 unknown 599535 muc 1243
1549.02/1549.04	c iter 1245 time 1421.11 not-muc 4308453 unknown 599534 muc 1244
1549.02/1549.04	c iter 1246 time 1427.64 not-muc 4308453 unknown 599533 muc 1245
1549.02/1549.04	c iter 1247 time 1429.06 not-muc 4308453 unknown 599532 muc 1246
1549.02/1549.04	c iter 1248 time 1430 not-muc 4308453 unknown 599531 muc 1247
1549.02/1549.04	c iter 1249 time 1430.54 not-muc 4308453 unknown 599530 muc 1248
1549.02/1549.04	c iter 1250 time 1432.65 not-muc 4308453 unknown 599529 muc 1249
1549.02/1549.04	c iter 1251 time 1433.41 not-muc 4308453 unknown 599528 muc 1250
1549.02/1549.04	c iter 1252 time 1435.71 not-muc 4308453 unknown 599527 muc 1251
1549.02/1549.04	c iter 1253 time 1441.28 not-muc 4308453 unknown 599526 muc 1252
1549.02/1549.04	c iter 1254 time 1442.48 not-muc 4308453 unknown 599525 muc 1253
1549.02/1549.04	c iter 1255 time 1443 not-muc 4308453 unknown 599524 muc 1254
1549.02/1549.04	c iter 1256 time 1443.54 not-muc 4308453 unknown 599523 muc 1255
1549.02/1549.04	c iter 1257 time 1444.07 not-muc 4308453 unknown 599522 muc 1256
1549.02/1549.04	c iter 1258 time 1444.86 not-muc 4308453 unknown 599521 muc 1257
1549.02/1549.04	c iter 1259 time 1445.41 not-muc 4308453 unknown 599520 muc 1258
1549.02/1549.04	c iter 1260 time 1445.95 not-muc 4308453 unknown 599519 muc 1259
1549.02/1549.04	c iter 1261 time 1455.16 not-muc 4308453 unknown 599518 muc 1260
1549.02/1549.04	c iter 1262 time 1456.5 not-muc 4308453 unknown 599517 muc 1261
1549.02/1549.04	c iter 1263 time 1457.29 not-muc 4308453 unknown 599516 muc 1262
1549.02/1549.04	c iter 1264 time 1457.84 not-muc 4308453 unknown 599515 muc 1263
1549.02/1549.04	c iter 1265 time 1464.01 not-muc 4308453 unknown 599514 muc 1264
1549.02/1549.04	c iter 1266 time 1464.62 not-muc 4308453 unknown 599513 muc 1265
1549.02/1549.04	c iter 1267 time 1465.2 not-muc 4308453 unknown 599512 muc 1266
1549.02/1549.04	c iter 1268 time 1466.27 not-muc 4308453 unknown 599511 muc 1267
1549.02/1549.04	c iter 1269 time 1466.86 not-muc 4308453 unknown 599510 muc 1268
1549.02/1549.04	c iter 1270 time 1474.09 not-muc 4308453 unknown 599509 muc 1269
1549.02/1549.04	c iter 1271 time 1480.64 not-muc 4308453 unknown 599508 muc 1270
1549.02/1549.04	c iter 1272 time 1481.48 not-muc 4308453 unknown 599507 muc 1271
1549.02/1549.04	c iter 1273 time 1488.36 not-muc 4308453 unknown 599506 muc 1272
1549.02/1549.04	c iter 1274 time 1495.38 not-muc 4308453 unknown 599505 muc 1273
1549.02/1549.04	c iter 1275 time 1496.02 not-muc 4308453 unknown 599504 muc 1274
1549.02/1549.04	c iter 1276 time 1496.62 not-muc 4308453 unknown 599503 muc 1275
1549.02/1549.04	c iter 1277 time 1511.08 not-muc 4308453 unknown 599502 muc 1276
1549.02/1549.04	c iter 1278 time 1511.98 not-muc 4308453 unknown 599501 muc 1277
1549.02/1549.04	c iter 1279 time 1514.42 not-muc 4308453 unknown 599500 muc 1278
1549.02/1549.04	c iter 1280 time 1514.98 not-muc 4308453 unknown 599499 muc 1279
1549.02/1549.04	c iter 1281 time 1515.84 not-muc 4308453 unknown 599498 muc 1280
1549.02/1549.04	c iter 1282 time 1516.47 not-muc 4308453 unknown 599497 muc 1281
1549.02/1549.04	c iter 1283 time 1517 not-muc 4308453 unknown 599496 muc 1282
1549.02/1549.04	c iter 1284 time 1530.1 not-muc 4308453 unknown 599495 muc 1283
1549.02/1549.04	c iter 1285 time 1530.82 not-muc 4308453 unknown 599494 muc 1284
1549.02/1549.04	c iter 1286 time 1531.64 not-muc 4308453 unknown 599493 muc 1285
1549.02/1549.04	c iter 1287 time 1536.67 not-muc 4308453 unknown 599492 muc 1286
1549.02/1549.04	c iter 1288 time 1537.23 not-muc 4308453 unknown 599491 muc 1287
1549.02/1549.04	c iter 1289 time 1537.77 not-muc 4308453 unknown 599490 muc 1288
1549.02/1549.04	c iter 1290 time 1539.3 not-muc 4308453 unknown 599489 muc 1289
1549.02/1549.04	c iter 1291 time 1540 not-muc 4308453 unknown 599488 muc 1290
1549.02/1549.04	c iter 1292 time 1540.59 not-muc 4308453 unknown 599487 muc 1291
1549.02/1549.04	c iter 1293 time 1545.44 not-muc 4308453 unknown 599486 muc 1292
1549.02/1549.04	c iter 1294 time 1546.86 not-muc 4308453 unknown 599485 muc 1293
1549.02/1549.04	c iter 1295 time 1547.72 not-muc 4308453 unknown 599484 muc 1294
1549.02/1549.04	c iter 1296 time 1548.3 not-muc 4308453 unknown 599483 muc 1295
1729.33/1729.39	c iter 1297 time 1562.5 not-muc 4308453 unknown 599482 muc 1296
1729.33/1729.39	c iter 1298 time 1563.22 not-muc 4308453 unknown 599481 muc 1297
1729.33/1729.39	c iter 1299 time 1567.87 not-muc 4308453 unknown 599480 muc 1298
1729.33/1729.39	c iter 1300 time 1568.4 not-muc 4308453 unknown 599479 muc 1299
1729.33/1729.39	c iter 1301 time 1569.74 not-muc 4308453 unknown 599478 muc 1300
1729.33/1729.39	c iter 1302 time 1570.28 not-muc 4308453 unknown 599477 muc 1301
1729.33/1729.39	c iter 1303 time 1573.92 not-muc 4308453 unknown 599476 muc 1302
1729.33/1729.39	c iter 1304 time 1574.45 not-muc 4308453 unknown 599475 muc 1303
1729.33/1729.39	c iter 1305 time 1575.28 not-muc 4308453 unknown 599474 muc 1304
1729.33/1729.39	c iter 1306 time 1580.58 not-muc 4308453 unknown 599473 muc 1305
1729.33/1729.39	c iter 1307 time 1581.18 not-muc 4308453 unknown 599472 muc 1306
1729.33/1729.39	c iter 1308 time 1585.83 not-muc 4308453 unknown 599471 muc 1307
1729.33/1729.39	c iter 1309 time 1586.44 not-muc 4308453 unknown 599470 muc 1308
1729.33/1729.39	c iter 1310 time 1586.95 not-muc 4308453 unknown 599469 muc 1309
1729.33/1729.39	c iter 1311 time 1587.51 not-muc 4308453 unknown 599468 muc 1310
1729.33/1729.39	c iter 1312 time 1588.08 not-muc 4308453 unknown 599467 muc 1311
1729.33/1729.39	c iter 1313 time 1593.78 not-muc 4308453 unknown 599466 muc 1312
1729.33/1729.39	c iter 1314 time 1595.33 not-muc 4308453 unknown 599465 muc 1313
1729.33/1729.39	c iter 1315 time 1596.22 not-muc 4308453 unknown 599464 muc 1314
1729.33/1729.39	c iter 1316 time 1596.89 not-muc 4308453 unknown 599463 muc 1315
1729.33/1729.39	c iter 1317 time 1603.39 not-muc 4308453 unknown 599462 muc 1316
1729.33/1729.39	c iter 1318 time 1603.93 not-muc 4308453 unknown 599461 muc 1317
1729.33/1729.39	c iter 1319 time 1604.82 not-muc 4308453 unknown 599460 muc 1318
1729.33/1729.39	c iter 1320 time 1609.82 not-muc 4308453 unknown 599459 muc 1319
1729.33/1729.39	c iter 1321 time 1610.52 not-muc 4308453 unknown 599458 muc 1320
1729.33/1729.39	c iter 1322 time 1616.13 not-muc 4308453 unknown 599457 muc 1321
1729.33/1729.39	c iter 1323 time 1621.61 not-muc 4308453 unknown 599456 muc 1322
1729.33/1729.39	c iter 1324 time 1623.94 not-muc 4308453 unknown 599455 muc 1323
1729.33/1729.39	c iter 1325 time 1631.53 not-muc 4308453 unknown 599454 muc 1324
1729.33/1729.39	c iter 1326 time 1632.23 not-muc 4308453 unknown 599453 muc 1325
1729.33/1729.39	c iter 1327 time 1637.71 not-muc 4308453 unknown 599452 muc 1326
1729.33/1729.39	c iter 1328 time 1638.25 not-muc 4308453 unknown 599451 muc 1327
1729.33/1729.39	c iter 1329 time 1643.73 not-muc 4308453 unknown 599450 muc 1328
1729.33/1729.39	c iter 1330 time 1644.5 not-muc 4308453 unknown 599449 muc 1329
1729.33/1729.39	c iter 1331 time 1650.03 not-muc 4308453 unknown 599448 muc 1330
1729.33/1729.39	c iter 1332 time 1655.16 not-muc 4308453 unknown 599447 muc 1331
1729.33/1729.39	c iter 1333 time 1655.86 not-muc 4308453 unknown 599446 muc 1332
1729.33/1729.39	c iter 1334 time 1660.26 not-muc 4308453 unknown 599445 muc 1333
1729.33/1729.39	c iter 1335 time 1660.78 not-muc 4308453 unknown 599444 muc 1334
1729.33/1729.39	c iter 1336 time 1661.77 not-muc 4308453 unknown 599443 muc 1335
1729.33/1729.39	c iter 1337 time 1662.29 not-muc 4308453 unknown 599442 muc 1336
1729.33/1729.39	c iter 1338 time 1663.4 not-muc 4308453 unknown 599441 muc 1337
1729.33/1729.39	c iter 1339 time 1664.28 not-muc 4308453 unknown 599440 muc 1338
1729.33/1729.39	c iter 1340 time 1668.69 not-muc 4308453 unknown 599439 muc 1339
1729.33/1729.39	c iter 1341 time 1673.65 not-muc 4308453 unknown 599438 muc 1340
1729.33/1729.39	c iter 1342 time 1674.22 not-muc 4308453 unknown 599437 muc 1341
1729.33/1729.39	c iter 1343 time 1674.79 not-muc 4308453 unknown 599436 muc 1342
1729.33/1729.39	c iter 1344 time 1675.43 not-muc 4308453 unknown 599435 muc 1343
1729.33/1729.39	c iter 1345 time 1680.52 not-muc 4308453 unknown 599434 muc 1344
1729.33/1729.39	c iter 1346 time 1681.25 not-muc 4308453 unknown 599433 muc 1345
1729.33/1729.39	c iter 1347 time 1686.35 not-muc 4308453 unknown 599432 muc 1346
1729.33/1729.39	c iter 1348 time 1686.99 not-muc 4308453 unknown 599431 muc 1347
1729.33/1729.39	c iter 1349 time 1687.53 not-muc 4308453 unknown 599430 muc 1348
1729.33/1729.39	c iter 1350 time 1692.81 not-muc 4308453 unknown 599429 muc 1349
1729.33/1729.39	c iter 1351 time 1698.09 not-muc 4308453 unknown 599428 muc 1350
1729.33/1729.39	c iter 1352 time 1698.78 not-muc 4308453 unknown 599427 muc 1351
1729.33/1729.39	c iter 1353 time 1699.3 not-muc 4308453 unknown 599426 muc 1352
1729.33/1729.39	c iter 1354 time 1705.41 not-muc 4308453 unknown 599425 muc 1353
1729.33/1729.39	c iter 1355 time 1705.94 not-muc 4308453 unknown 599424 muc 1354
1729.33/1729.39	c iter 1356 time 1706.45 not-muc 4308453 unknown 599423 muc 1355
1729.33/1729.39	c iter 1357 time 1707.32 not-muc 4308453 unknown 599422 muc 1356
1729.33/1729.39	c iter 1358 time 1713.55 not-muc 4308453 unknown 599421 muc 1357
1729.33/1729.39	c iter 1359 time 1728.65 not-muc 4308453 unknown 599420 muc

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 4.09 4.02 3.61 4/189 12162
/proc/meminfo: memFree=28995332/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=23292 CPUtime=0 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 1270 0 0 0 0 0 0 0 24 0 1 0 892235484 23851008 1188 33554432000 4194304 4311632 140735928711024 18446744073709551615 4295345 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 5823 1192 216 29 0 2452 0

[startup+0.0424991 s]
/proc/loadavg: 4.09 4.02 3.61 4/189 12162
/proc/meminfo: memFree=28995332/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=62828 CPUtime=0.04 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 8110 0 0 0 3 1 0 0 24 0 1 0 892235484 64335872 7909 33554432000 4194304 4311632 140735928711024 18446744073709551615 4240641 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 15707 7919 216 29 0 12336 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 62828

[startup+0.100486 s]
/proc/loadavg: 4.09 4.02 3.61 4/189 12162
/proc/meminfo: memFree=28995332/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=117012 CPUtime=0.09 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 18869 0 0 0 7 2 0 0 24 0 1 0 892235484 119820288 18443 33554432000 4194304 4311632 140735928711024 18446744073709551615 4295345 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 29253 18457 216 29 0 25882 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 117012

[startup+0.300453 s]
/proc/loadavg: 4.09 4.02 3.61 4/189 12162
/proc/meminfo: memFree=28995332/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=300692 CPUtime=0.29 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 56071 0 0 0 21 8 0 0 25 0 1 0 892235484 307908608 55644 33554432000 4194304 4311632 140735928711024 18446744073709551615 4224169 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 75173 55652 216 29 0 71802 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 300692

[startup+0.700381 s]
/proc/loadavg: 4.09 4.02 3.61 4/189 12162
/proc/meminfo: memFree=28995332/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=761520 CPUtime=0.69 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 129697 0 0 0 50 19 0 0 25 0 1 0 892235484 779796480 129270 33554432000 4194304 4311632 140735928711024 18446744073709551615 4295345 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 190380 129275 216 29 0 187009 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 761520

[startup+1.50024 s]
/proc/loadavg: 4.09 4.02 3.61 5/190 12163
/proc/meminfo: memFree=28353760/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=858612 CPUtime=1.49 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 182363 0 0 0 124 25 0 0 25 0 1 0 892235484 879218688 178836 33554432000 4194304 4311632 140735928711024 18446744073709551615 4296848 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 214653 178837 218 29 0 211282 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 858612

[startup+3.10096 s]
/proc/loadavg: 4.09 4.02 3.61 5/190 12163
/proc/meminfo: memFree=28163240/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1104304 CPUtime=3.09 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 248462 0 0 0 274 35 0 0 25 0 1 0 892235484 1130807296 237030 33554432000 4194304 4311632 140735928711024 18446744073709551615 228122374853 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 276076 237030 218 29 0 272705 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1104304

[startup+6.30037 s]
/proc/loadavg: 4.16 4.03 3.61 5/190 12163
/proc/meminfo: memFree=27788636/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1366872 CPUtime=6.29 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 321808 0 0 0 582 47 0 0 25 0 1 0 892235484 1399676928 299555 33554432000 4194304 4311632 140735928711024 18446744073709551615 4296889 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 341718 299555 225 29 0 338347 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1366872

[startup+12.7002 s]
/proc/loadavg: 4.15 4.03 3.62 5/190 12163
/proc/meminfo: memFree=27706804/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1479264 CPUtime=12.7 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 391515 0 0 0 1213 57 0 0 25 0 1 0 892235484 1514766336 320563 33554432000 4194304 4311632 140735928711024 18446744073709551615 4209320 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 369816 320564 225 29 0 366445 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1479264

[startup+25.5009 s]
/proc/loadavg: 4.11 4.03 3.62 5/190 12164
/proc/meminfo: memFree=28165124/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1255896 CPUtime=25.49 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 468671 0 0 0 2481 68 0 0 25 0 1 0 892235484 1286037504 280904 33554432000 4194304 4311632 140735928711024 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 313974 280904 253 29 0 310603 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1255896

[startup+51.1003 s]
/proc/loadavg: 4.07 4.03 3.63 5/190 12164
/proc/meminfo: memFree=28105820/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1279988 CPUtime=51.09 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 471575 0 0 0 5041 68 0 0 25 0 1 0 892235484 1310707712 283807 33554432000 4194304 4311632 140735928711024 18446744073709551615 4263725 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 319997 283807 253 29 0 316626 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1279988

[startup+102.307 s]
/proc/loadavg: 4.03 4.02 3.65 5/190 12166
/proc/meminfo: memFree=28048300/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1329308 CPUtime=102.3 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 480976 0 0 0 10161 69 0 0 25 0 1 0 892235484 1361211392 293206 33554432000 4194304 4311632 140735928711024 18446744073709551615 4247409 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 332327 293206 304 29 0 328956 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1329308

[startup+162.301 s]
/proc/loadavg: 4.05 4.03 3.67 5/190 12167
/proc/meminfo: memFree=28099732/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1360128 CPUtime=162.29 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 486145 0 0 0 16159 70 0 0 25 0 1 0 892235484 1392771072 298375 33554432000 4194304 4311632 140735928711024 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 340032 298375 304 29 0 336661 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1360128

[startup+222.3 s]
/proc/loadavg: 4.02 4.02 3.69 5/190 12169
/proc/meminfo: memFree=28052136/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1360128 CPUtime=222.3 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 491044 0 0 0 22159 71 0 0 25 0 1 0 892235484 1392771072 303274 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 340032 303274 304 29 0 336661 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1360128

[startup+282.3 s]
/proc/loadavg: 4.00 4.02 3.71 5/190 12170
/proc/meminfo: memFree=28062564/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1410216 CPUtime=282.3 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 494316 0 0 0 28159 71 0 0 25 0 1 0 892235484 1444061184 306546 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 352554 306546 304 29 0 349183 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1410216

[startup+342.301 s]
/proc/loadavg: 4.00 4.01 3.72 5/190 12172
/proc/meminfo: memFree=28036796/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1410216 CPUtime=342.29 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 495702 0 0 0 34158 71 0 0 25 0 1 0 892235484 1444061184 307932 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 352554 307932 304 29 0 349183 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1410216

[startup+402.301 s]
/proc/loadavg: 4.03 4.02 3.74 5/190 12174
/proc/meminfo: memFree=28044744/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1410216 CPUtime=402.3 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 497831 0 0 0 40158 72 0 0 25 0 1 0 892235484 1444061184 310061 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 352554 310061 304 29 0 349183 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1410216

[startup+462.301 s]
/proc/loadavg: 4.01 4.02 3.75 5/190 12175
/proc/meminfo: memFree=27985480/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1410216 CPUtime=462.3 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 499510 0 0 0 46158 72 0 0 25 0 1 0 892235484 1444061184 311740 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 352554 311740 304 29 0 349183 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1410216

[startup+522.301 s]
/proc/loadavg: 4.00 4.01 3.77 5/190 12177
/proc/meminfo: memFree=27999816/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1410216 CPUtime=522.3 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 502219 0 0 0 52158 72 0 0 25 0 1 0 892235484 1444061184 314449 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 352554 314449 304 29 0 349183 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1410216

[startup+582.301 s]
/proc/loadavg: 3.56 3.89 3.74 4/184 12203
/proc/meminfo: memFree=28972160/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1410216 CPUtime=582.31 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 502616 0 0 0 58158 73 0 0 25 0 1 0 892235484 1444061184 314846 33554432000 4194304 4311632 140735928711024 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 352554 314846 304 29 0 349183 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1410216

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.09 3.00 3.41 3/178 12234
/proc/meminfo: memFree=28987324/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1491604 CPUtime=822.31 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 513351 0 0 0 82157 74 0 0 25 0 1 0 892235484 1527402496 325579 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264118 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 372901 325579 304 29 0 369530 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1491604

[startup+882.301 s]
/proc/loadavg: 2.03 2.81 3.32 3/178 12235
/proc/meminfo: memFree=28978104/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1491604 CPUtime=882.31 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 515634 0 0 0 88157 74 0 0 25 0 1 0 892235484 1527402496 327862 33554432000 4194304 4311632 140735928711024 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 372901 327862 304 29 0 369530 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1491604

[startup+942.301 s]
/proc/loadavg: 2.05 2.68 3.24 3/178 12237
/proc/meminfo: memFree=28972736/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1491604 CPUtime=942.32 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 517058 0 0 0 94157 75 0 0 25 0 1 0 892235484 1527402496 329286 33554432000 4194304 4311632 140735928711024 18446744073709551615 4262503 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 372901 329286 304 29 0 369530 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1491604

[startup+1002.3 s]
/proc/loadavg: 2.02 2.55 3.16 3/178 12239
/proc/meminfo: memFree=28965652/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1491604 CPUtime=1002.31 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 518779 0 0 0 100156 75 0 0 25 0 1 0 892235484 1527402496 331007 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 372901 331007 304 29 0 369530 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1491604

[startup+1062.3 s]
/proc/loadavg: 2.00 2.45 3.08 3/178 12240
/proc/meminfo: memFree=28960528/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1491604 CPUtime=1062.32 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 519962 0 0 0 106157 75 0 0 25 0 1 0 892235484 1527402496 332190 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 372901 332190 304 29 0 369530 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1491604

[startup+1122.3 s]
/proc/loadavg: 2.00 2.36 3.01 3/178 12242
/proc/meminfo: memFree=28959744/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1491604 CPUtime=1122.31 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 520131 0 0 0 112156 75 0 0 25 0 1 0 892235484 1527402496 332359 33554432000 4194304 4311632 140735928711024 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 372901 332359 304 29 0 369530 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1491604

[startup+1182.3 s]
/proc/loadavg: 2.00 2.29 2.95 3/178 12243
/proc/meminfo: memFree=28955104/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1491604 CPUtime=1182.31 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 521216 0 0 0 118156 75 0 0 25 0 1 0 892235484 1527402496 333444 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 372901 333444 304 29 0 369530 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1491604

[startup+1242.3 s]
/proc/loadavg: 2.00 2.24 2.89 3/178 12245
/proc/meminfo: memFree=28951224/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1491604 CPUtime=1242.31 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 522128 0 0 0 124156 75 0 0 25 0 1 0 892235484 1527402496 334356 33554432000 4194304 4311632 140735928711024 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 372901 334356 304 29 0 369530 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1491604

[startup+1302.3 s]
/proc/loadavg: 2.00 2.19 2.83 3/178 12247
/proc/meminfo: memFree=28934948/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1623864 CPUtime=1302.32 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 526037 0 0 0 130156 76 0 0 25 0 1 0 892235484 1662836736 338265 33554432000 4194304 4311632 140735928711024 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 405966 338265 304 29 0 402595 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1623864

[startup+1362.3 s]
/proc/loadavg: 2.00 2.15 2.77 3/178 12248
/proc/meminfo: memFree=28930076/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1623864 CPUtime=1362.32 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 527228 0 0 0 136155 77 0 0 25 0 1 0 892235484 1662836736 339456 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 405966 339456 304 29 0 402595 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1623864

[startup+1422.31 s]
/proc/loadavg: 2.00 2.12 2.72 3/178 12250
/proc/meminfo: memFree=28928040/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1623864 CPUtime=1422.33 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 527547 0 0 0 142156 77 0 0 25 0 1 0 892235484 1662836736 339775 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 405966 339775 304 29 0 402595 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1623864

[startup+1482.3 s]
/proc/loadavg: 2.06 2.11 2.68 3/178 12251
/proc/meminfo: memFree=28921176/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1623864 CPUtime=1482.32 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 529251 0 0 0 148155 77 0 0 25 0 1 0 892235484 1662836736 341479 33554432000 4194304 4311632 140735928711024 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 405966 341479 304 29 0 402595 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1623864

[startup+1542.3 s]
/proc/loadavg: 2.02 2.09 2.63 3/178 12253
/proc/meminfo: memFree=28917516/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1623864 CPUtime=1542.32 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 530002 0 0 0 154155 77 0 0 25 0 1 0 892235484 1662836736 342230 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 405966 342230 304 29 0 402595 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1623864

[startup+1602.3 s]
/proc/loadavg: 2.01 2.07 2.59 3/178 12255
/proc/meminfo: memFree=28916372/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1623864 CPUtime=1602.32 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 530077 0 0 0 160155 77 0 0 25 0 1 0 892235484 1662836736 342305 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 405966 342305 304 29 0 402595 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1623864

[startup+1662.3 s]
/proc/loadavg: 1.56 1.95 2.51 2/172 12281
/proc/meminfo: memFree=29126232/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1623864 CPUtime=1662.33 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 531189 0 0 0 166156 77 0 0 25 0 1 0 892235484 1662836736 343417 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 405966 343417 304 29 0 402595 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1623864

[startup+1722.3 s]
/proc/loadavg: 1.20 1.77 2.42 2/172 12292
/proc/meminfo: memFree=29118952/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1623864 CPUtime=1722.33 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 532875 0 0 0 172156 77 0 0 25 0 1 0 892235484 1662836736 345103 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 405966 345103 304 29 0 402595 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1623864

[startup+1782.3 s]
/proc/loadavg: 1.07 1.63 2.33 2/172 12293
/proc/meminfo: memFree=29113336/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1623864 CPUtime=1782.33 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 534312 0 0 0 178155 78 0 0 25 0 1 0 892235484 1662836736 346540 33554432000 4194304 4311632 140735928711024 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 405966 346540 304 29 0 402595 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1623864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.05 1.59 2.30 2/172 12294
/proc/meminfo: memFree=29112580/32951124 swapFree=67051744/67111528
[pid=12162] ppid=12160 vsize=1623864 CPUtime=1800.04 cores=5,7
/proc/12162/stat : 12162 (hmuc-a) R 12160 12162 10571 0 -1 4202496 534496 0 0 0 179926 78 0 0 25 0 1 0 892235484 1662836736 346724 33554432000 4194304 4311632 140735928711024 18446744073709551615 4247375 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/12162/statm: 405966 346724 304 29 0 402595 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1623864

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.11
CPU user time (s): 1799.26
CPU system time (s): 0.847871
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1690880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.847871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534496
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= 2566

runsolver used 2.71859 second user time and 6.09107 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-11 17:32:55
IDJOB=3494101
IDBENCH=89479
IDSOLVER=1983
FILE ID=node138/3494101-1307806371
RUNJOBID= node138-1307804660-11148
PBS_JOBID= 13551048
Free space on /tmp= 73900 MiB

SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/design-debugging/rsdecoder-problem.dimacs_37.filtered.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494101-1307806371/watcher-3494101-1307806371 -o /tmp/evaluation-result-3494101-1307806371/solver-3494101-1307806371 -C 1800 -W 1850 -M 7680  HOME/hmuc-a HOME/instance-3494101-1307806371.cnf

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

MD5SUM BENCH= b05bc2732ede18ec0b0256ae84e5c35b
RANDOM SEED=2139140584

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.75
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.854
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.80
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.854
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.854
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.82
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.854
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:     32951124 kB
MemFree:      28996124 kB
Buffers:        322100 kB
Cached:        1985160 kB
SwapCached:      13468 kB
Active:        2200660 kB
Inactive:      1544356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28996124 kB
SwapTotal:    67111528 kB
SwapFree:     67051744 kB
Dirty:          106180 kB
Writeback:           0 kB
AnonPages:     1435204 kB
Mapped:           9636 kB
Slab:           141796 kB
PageTables:       8272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1907280 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73980 MiB
End job on node138 at 2011-06-11 18:02:57