Trace number 3502344

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-HLMUC 2011-04-07UNSAT 59.314 59.3144

General information on the benchmark

Namegmus/belov/
mentorbm1p02.aig.k25.gcnf
MD5SUM2884b5599c418e2c2f13c080d2b3fb7b
Bench CategoryGMUS (GMUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark18.3832
Satisfiable
(Un)Satisfiability was proved
Number of variables251807
Number of clauses748903
Sum of the clauses size1747439
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2499268
Number of clauses of size 3249634
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50
Number of groups249634
Number of clauses in the kernel (group 0)1
Least number of clauses in a group (except group 0) 3
Greatest number of clauses in a group (except group 0) 3

Solver Data 

3.78/3.84	c WARNING: for repeatability, setting FPU to use double precision
3.78/3.84	c iter 1 time 1.79773 not-muc 244682 unknown 4952 muc 0
3.78/3.84	c iter 2 time 2.06469 not-muc 244682 unknown 4951 muc 1
3.78/3.84	c iter 3 time 2.07968 not-muc 244691 unknown 4942 muc 1
3.78/3.84	c iter 4 time 2.09068 not-muc 244872 unknown 4761 muc 1
3.78/3.84	c iter 5 time 2.09868 not-muc 244888 unknown 4745 muc 1
3.78/3.84	c iter 6 time 2.10668 not-muc 244905 unknown 4728 muc 1
3.78/3.84	c iter 7 time 2.13468 not-muc 244905 unknown 4727 muc 2
3.78/3.84	c iter 8 time 2.14367 not-muc 245741 unknown 3891 muc 2
3.78/3.84	c iter 9 time 2.17367 not-muc 245741 unknown 3890 muc 3
3.78/3.84	c iter 10 time 2.20066 not-muc 245741 unknown 3889 muc 4
3.78/3.84	c iter 11 time 2.22666 not-muc 245741 unknown 3888 muc 5
3.78/3.84	c iter 12 time 2.25366 not-muc 245741 unknown 3887 muc 6
3.78/3.84	c iter 13 time 2.27965 not-muc 245741 unknown 3886 muc 7
3.78/3.84	c iter 14 time 2.30665 not-muc 245741 unknown 3885 muc 8
3.78/3.84	c iter 15 time 2.33365 not-muc 245741 unknown 3884 muc 9
3.78/3.84	c iter 16 time 2.35964 not-muc 245741 unknown 3883 muc 10
3.78/3.84	c iter 17 time 2.38664 not-muc 245741 unknown 3882 muc 11
3.78/3.84	c iter 18 time 2.39264 not-muc 245839 unknown 3784 muc 11
3.78/3.84	c iter 19 time 2.39864 not-muc 245925 unknown 3698 muc 11
3.78/3.84	c iter 20 time 2.42663 not-muc 245925 unknown 3697 muc 12
3.78/3.84	c iter 21 time 2.45363 not-muc 245925 unknown 3696 muc 13
3.78/3.84	c iter 22 time 2.48062 not-muc 245925 unknown 3695 muc 14
3.78/3.84	c iter 23 time 2.50762 not-muc 245925 unknown 3694 muc 15
3.78/3.84	c iter 24 time 2.53461 not-muc 245925 unknown 3693 muc 16
3.78/3.84	c iter 25 time 2.56261 not-muc 245925 unknown 3692 muc 17
3.78/3.84	c iter 26 time 2.56861 not-muc 246063 unknown 3554 muc 17
3.78/3.84	c iter 27 time 2.59661 not-muc 246063 unknown 3553 muc 18
3.78/3.84	c iter 28 time 2.6236 not-muc 246063 unknown 3552 muc 19
3.78/3.84	c iter 29 time 2.6296 not-muc 246077 unknown 3538 muc 19
3.78/3.84	c iter 30 time 2.6576 not-muc 246077 unknown 3537 muc 20
3.78/3.84	c iter 31 time 2.6626 not-muc 246300 unknown 3314 muc 20
3.78/3.84	c iter 32 time 2.69059 not-muc 246300 unknown 3313 muc 21
3.78/3.84	c iter 33 time 2.71859 not-muc 246300 unknown 3312 muc 22
3.78/3.84	c iter 34 time 2.74558 not-muc 246300 unknown 3311 muc 23
3.78/3.84	c iter 35 time 2.77358 not-muc 246300 unknown 3310 muc 24
3.78/3.84	c iter 36 time 2.80157 not-muc 246300 unknown 3309 muc 25
3.78/3.84	c iter 37 time 2.82857 not-muc 246300 unknown 3308 muc 26
3.78/3.84	c iter 38 time 2.85556 not-muc 246300 unknown 3307 muc 27
3.78/3.84	c iter 39 time 2.88356 not-muc 246300 unknown 3306 muc 28
3.78/3.84	c iter 40 time 2.91156 not-muc 246300 unknown 3305 muc 29
3.78/3.84	c iter 41 time 2.93955 not-muc 246300 unknown 3304 muc 30
3.78/3.84	c iter 42 time 2.96755 not-muc 246300 unknown 3303 muc 31
3.78/3.84	c iter 43 time 2.99554 not-muc 246300 unknown 3302 muc 32
3.78/3.84	c iter 44 time 3.02354 not-muc 246300 unknown 3301 muc 33
3.78/3.84	c iter 45 time 3.05154 not-muc 246300 unknown 3300 muc 34
3.78/3.84	c iter 46 time 3.08053 not-muc 246300 unknown 3299 muc 35
3.78/3.84	c iter 47 time 3.10853 not-muc 246300 unknown 3298 muc 36
3.78/3.84	c iter 48 time 3.13652 not-muc 246300 unknown 3297 muc 37
3.78/3.84	c iter 49 time 3.16552 not-muc 246300 unknown 3296 muc 38
3.78/3.84	c iter 50 time 3.19351 not-muc 246300 unknown 3295 muc 39
3.78/3.84	c iter 51 time 3.22251 not-muc 246300 unknown 3294 muc 40
3.78/3.84	c iter 52 time 3.2505 not-muc 246300 unknown 3293 muc 41
3.78/3.84	c iter 53 time 3.2785 not-muc 246300 unknown 3292 muc 42
3.78/3.84	c iter 54 time 3.3075 not-muc 246300 unknown 3291 muc 43
3.78/3.84	c iter 55 time 3.3125 not-muc 246474 unknown 3117 muc 43
3.78/3.84	c iter 56 time 3.34149 not-muc 246474 unknown 3116 muc 44
3.78/3.84	c iter 57 time 3.37049 not-muc 246474 unknown 3115 muc 45
3.78/3.84	c iter 58 time 3.39948 not-muc 246474 unknown 3114 muc 46
3.78/3.84	c iter 59 time 3.42848 not-muc 246474 unknown 3113 muc 47
3.78/3.84	c iter 60 time 3.45747 not-muc 246474 unknown 3112 muc 48
3.78/3.84	c iter 61 time 3.48647 not-muc 246474 unknown 3111 muc 49
3.78/3.84	c iter 62 time 3.51546 not-muc 246474 unknown 3110 muc 50
3.78/3.84	c iter 63 time 3.54546 not-muc 246474 unknown 3109 muc 51
3.78/3.84	c iter 64 time 3.57446 not-muc 246474 unknown 3108 muc 52
3.78/3.84	c iter 65 time 3.60345 not-muc 246474 unknown 3107 muc 53
3.78/3.84	c iter 66 time 3.63345 not-muc 246474 unknown 3106 muc 54
3.78/3.84	c iter 67 time 3.66244 not-muc 246474 unknown 3105 muc 55
3.78/3.84	c iter 68 time 3.69144 not-muc 246474 unknown 3104 muc 56
3.78/3.84	c iter 69 time 3.72143 not-muc 246474 unknown 3103 muc 57
3.78/3.84	c iter 70 time 3.75043 not-muc 246474 unknown 3102 muc 58
3.78/3.84	c iter 71 time 3.78043 not-muc 246474 unknown 3101 muc 59
5.69/5.79	c iter 72 time 3.81042 not-muc 246474 unknown 3100 muc 60
5.69/5.79	c iter 73 time 3.83942 not-muc 246474 unknown 3099 muc 61
5.69/5.79	c iter 74 time 3.86941 not-muc 246474 unknown 3098 muc 62
5.69/5.79	c iter 75 time 3.89941 not-muc 246474 unknown 3097 muc 63
5.69/5.79	c iter 76 time 3.9294 not-muc 246474 unknown 3096 muc 64
5.69/5.79	c iter 77 time 3.9614 not-muc 246474 unknown 3095 muc 65
5.69/5.79	c iter 78 time 3.9654 not-muc 246606 unknown 2963 muc 65
5.69/5.79	c iter 79 time 3.99539 not-muc 246606 unknown 2962 muc 66
5.69/5.79	c iter 80 time 4.02539 not-muc 246606 unknown 2961 muc 67
5.69/5.79	c iter 81 time 4.05638 not-muc 246606 unknown 2960 muc 68
5.69/5.79	c iter 82 time 4.08638 not-muc 246606 unknown 2959 muc 69
5.69/5.79	c iter 83 time 4.11637 not-muc 246606 unknown 2958 muc 70
5.69/5.79	c iter 84 time 4.14637 not-muc 246606 unknown 2957 muc 71
5.69/5.79	c iter 85 time 4.17636 not-muc 246606 unknown 2956 muc 72
5.69/5.79	c iter 86 time 4.20736 not-muc 246606 unknown 2955 muc 73
5.69/5.79	c iter 87 time 4.23735 not-muc 246606 unknown 2954 muc 74
5.69/5.79	c iter 88 time 4.26835 not-muc 246606 unknown 2953 muc 75
5.69/5.79	c iter 89 time 4.29835 not-muc 246606 unknown 2952 muc 76
5.69/5.79	c iter 90 time 4.32934 not-muc 246606 unknown 2951 muc 77
5.69/5.79	c iter 91 time 4.36134 not-muc 246606 unknown 2950 muc 78
5.69/5.79	c iter 92 time 4.39433 not-muc 246606 unknown 2949 muc 79
5.69/5.79	c iter 93 time 4.39733 not-muc 246660 unknown 2895 muc 79
5.69/5.79	c iter 94 time 4.42833 not-muc 246660 unknown 2894 muc 80
5.69/5.79	c iter 95 time 4.45932 not-muc 246660 unknown 2893 muc 81
5.69/5.79	c iter 96 time 4.49032 not-muc 246660 unknown 2892 muc 82
5.69/5.79	c iter 97 time 4.52031 not-muc 246660 unknown 2891 muc 83
5.69/5.79	c iter 98 time 4.55131 not-muc 246660 unknown 2890 muc 84
5.69/5.79	c iter 99 time 4.5823 not-muc 246660 unknown 2889 muc 85
5.69/5.79	c iter 100 time 4.6123 not-muc 246660 unknown 2888 muc 86
5.69/5.79	c iter 101 time 4.64329 not-muc 246660 unknown 2887 muc 87
5.69/5.79	c iter 102 time 4.67429 not-muc 246660 unknown 2886 muc 88
5.69/5.79	c iter 103 time 4.70428 not-muc 246660 unknown 2885 muc 89
5.69/5.79	c iter 104 time 4.73528 not-muc 246660 unknown 2884 muc 90
5.69/5.79	c iter 105 time 4.76628 not-muc 246660 unknown 2883 muc 91
5.69/5.79	c iter 106 time 4.76927 not-muc 246685 unknown 2858 muc 91
5.69/5.79	c iter 107 time 4.77327 not-muc 246702 unknown 2841 muc 91
5.69/5.79	c iter 108 time 4.80427 not-muc 246702 unknown 2840 muc 92
5.69/5.79	c iter 109 time 4.83526 not-muc 246702 unknown 2839 muc 93
5.69/5.79	c iter 110 time 4.83926 not-muc 246709 unknown 2832 muc 93
5.69/5.79	c iter 111 time 4.84226 not-muc 246720 unknown 2821 muc 93
5.69/5.79	c iter 112 time 4.87326 not-muc 246720 unknown 2820 muc 94
5.69/5.79	c iter 113 time 4.90425 not-muc 246720 unknown 2819 muc 95
5.69/5.79	c iter 114 time 4.93425 not-muc 246720 unknown 2818 muc 96
5.69/5.79	c iter 115 time 4.96525 not-muc 246720 unknown 2817 muc 97
5.69/5.79	c iter 116 time 4.99624 not-muc 246720 unknown 2816 muc 98
5.69/5.79	c iter 117 time 5.02724 not-muc 246720 unknown 2815 muc 99
5.69/5.79	c iter 118 time 5.05823 not-muc 246720 unknown 2814 muc 100
5.69/5.79	c iter 119 time 5.08923 not-muc 246720 unknown 2813 muc 101
5.69/5.79	c iter 120 time 5.12122 not-muc 246720 unknown 2812 muc 102
5.69/5.79	c iter 121 time 5.15322 not-muc 246720 unknown 2811 muc 103
5.69/5.79	c iter 122 time 5.18421 not-muc 246720 unknown 2810 muc 104
5.69/5.79	c iter 123 time 5.21521 not-muc 246720 unknown 2809 muc 105
5.69/5.79	c iter 124 time 5.2472 not-muc 246720 unknown 2808 muc 106
5.69/5.79	c iter 125 time 5.2782 not-muc 246720 unknown 2807 muc 107
5.69/5.79	c iter 126 time 5.31019 not-muc 246720 unknown 2806 muc 108
5.69/5.79	c iter 127 time 5.34219 not-muc 246720 unknown 2805 muc 109
5.69/5.79	c iter 128 time 5.37418 not-muc 246720 unknown 2804 muc 110
5.69/5.79	c iter 129 time 5.40618 not-muc 246720 unknown 2803 muc 111
5.69/5.79	c iter 130 time 5.43817 not-muc 246720 unknown 2802 muc 112
5.69/5.79	c iter 131 time 5.47117 not-muc 246720 unknown 2801 muc 113
5.69/5.79	c iter 132 time 5.50316 not-muc 246720 unknown 2800 muc 114
5.69/5.79	c iter 133 time 5.53516 not-muc 246720 unknown 2799 muc 115
5.69/5.79	c iter 134 time 5.56715 not-muc 246720 unknown 2798 muc 116
5.69/5.79	c iter 135 time 5.60015 not-muc 246720 unknown 2797 muc 117
5.69/5.79	c iter 136 time 5.63214 not-muc 246720 unknown 2796 muc 118
5.69/5.79	c iter 137 time 5.66514 not-muc 246720 unknown 2795 muc 119
5.69/5.79	c iter 138 time 5.69713 not-muc 246720 unknown 2794 muc 120
5.69/5.79	c iter 139 time 5.70113 not-muc 246762 unknown 2752 muc 120
5.69/5.79	c iter 140 time 5.73413 not-muc 246762 unknown 2751 muc 121
7.70/7.75	c iter 141 time 5.76712 not-muc 246762 unknown 2750 muc 122
7.70/7.75	c iter 142 time 5.80012 not-muc 246762 unknown 2749 muc 123
7.70/7.75	c iter 143 time 5.80312 not-muc 246764 unknown 2747 muc 123
7.70/7.75	c iter 144 time 5.80612 not-muc 246767 unknown 2744 muc 123
7.70/7.75	c iter 145 time 5.81012 not-muc 246785 unknown 2726 muc 123
7.70/7.75	c iter 146 time 5.84211 not-muc 246785 unknown 2725 muc 124
7.70/7.75	c iter 147 time 5.87511 not-muc 246785 unknown 2724 muc 125
7.70/7.75	c iter 148 time 5.9071 not-muc 246785 unknown 2723 muc 126
7.70/7.75	c iter 149 time 5.9401 not-muc 246785 unknown 2722 muc 127
7.70/7.75	c iter 150 time 5.97309 not-muc 246785 unknown 2721 muc 128
7.70/7.75	c iter 151 time 6.00509 not-muc 246785 unknown 2720 muc 129
7.70/7.75	c iter 152 time 6.03808 not-muc 246785 unknown 2719 muc 130
7.70/7.75	c iter 153 time 6.07108 not-muc 246785 unknown 2718 muc 131
7.70/7.75	c iter 154 time 6.10407 not-muc 246785 unknown 2717 muc 132
7.70/7.75	c iter 155 time 6.13807 not-muc 246785 unknown 2716 muc 133
7.70/7.75	c iter 156 time 6.17106 not-muc 246785 unknown 2715 muc 134
7.70/7.75	c iter 157 time 6.20406 not-muc 246785 unknown 2714 muc 135
7.70/7.75	c iter 158 time 6.23705 not-muc 246785 unknown 2713 muc 136
7.70/7.75	c iter 159 time 6.27105 not-muc 246785 unknown 2712 muc 137
7.70/7.75	c iter 160 time 6.30404 not-muc 246785 unknown 2711 muc 138
7.70/7.75	c iter 161 time 6.33804 not-muc 246785 unknown 2710 muc 139
7.70/7.75	c iter 162 time 6.37103 not-muc 246785 unknown 2709 muc 140
7.70/7.75	c iter 163 time 6.40503 not-muc 246785 unknown 2708 muc 141
7.70/7.75	c iter 164 time 6.43802 not-muc 246785 unknown 2707 muc 142
7.70/7.75	c iter 165 time 6.47202 not-muc 246785 unknown 2706 muc 143
7.70/7.75	c iter 166 time 6.47602 not-muc 246800 unknown 2691 muc 143
7.70/7.75	c iter 167 time 6.47902 not-muc 246819 unknown 2672 muc 143
7.70/7.75	c iter 168 time 6.51301 not-muc 246819 unknown 2671 muc 144
7.70/7.75	c iter 169 time 6.547 not-muc 246819 unknown 2670 muc 145
7.70/7.75	c iter 170 time 6.581 not-muc 246819 unknown 2669 muc 146
7.70/7.75	c iter 171 time 6.61499 not-muc 246819 unknown 2668 muc 147
7.70/7.75	c iter 172 time 6.64899 not-muc 246819 unknown 2667 muc 148
7.70/7.75	c iter 173 time 6.68298 not-muc 246819 unknown 2666 muc 149
7.70/7.75	c iter 174 time 6.68598 not-muc 246841 unknown 2644 muc 149
7.70/7.75	c iter 175 time 6.72098 not-muc 246841 unknown 2643 muc 150
7.70/7.75	c iter 176 time 6.72398 not-muc 246843 unknown 2641 muc 150
7.70/7.75	c iter 177 time 6.75897 not-muc 246843 unknown 2640 muc 151
7.70/7.75	c iter 178 time 6.79297 not-muc 246843 unknown 2639 muc 152
7.70/7.75	c iter 179 time 6.82696 not-muc 246843 unknown 2638 muc 153
7.70/7.75	c iter 180 time 6.86096 not-muc 246843 unknown 2637 muc 154
7.70/7.75	c iter 181 time 6.89595 not-muc 246843 unknown 2636 muc 155
7.70/7.75	c iter 182 time 6.92995 not-muc 246843 unknown 2635 muc 156
7.70/7.75	c iter 183 time 6.96494 not-muc 246843 unknown 2634 muc 157
7.70/7.75	c iter 184 time 6.99894 not-muc 246843 unknown 2633 muc 158
7.70/7.75	c iter 185 time 7.03393 not-muc 246843 unknown 2632 muc 159
7.70/7.75	c iter 186 time 7.06893 not-muc 246843 unknown 2631 muc 160
7.70/7.75	c iter 187 time 7.07192 not-muc 246855 unknown 2619 muc 160
7.70/7.75	c iter 188 time 7.07492 not-muc 246895 unknown 2579 muc 160
7.70/7.75	c iter 189 time 7.11092 not-muc 246895 unknown 2578 muc 161
7.70/7.75	c iter 190 time 7.14591 not-muc 246895 unknown 2577 muc 162
7.70/7.75	c iter 191 time 7.18091 not-muc 246895 unknown 2576 muc 163
7.70/7.75	c iter 192 time 7.2159 not-muc 246895 unknown 2575 muc 164
7.70/7.75	c iter 193 time 7.2189 not-muc 247066 unknown 2404 muc 164
7.70/7.75	c iter 194 time 7.2539 not-muc 247066 unknown 2403 muc 165
7.70/7.75	c iter 195 time 7.28889 not-muc 247066 unknown 2402 muc 166
7.70/7.75	c iter 196 time 7.32389 not-muc 247066 unknown 2401 muc 167
7.70/7.75	c iter 197 time 7.35888 not-muc 247066 unknown 2400 muc 168
7.70/7.75	c iter 198 time 7.39387 not-muc 247066 unknown 2399 muc 169
7.70/7.75	c iter 199 time 7.42987 not-muc 247066 unknown 2398 muc 170
7.70/7.75	c iter 200 time 7.46486 not-muc 247066 unknown 2397 muc 171
7.70/7.75	c iter 201 time 7.50086 not-muc 247066 unknown 2396 muc 172
7.70/7.75	c iter 202 time 7.53585 not-muc 247066 unknown 2395 muc 173
7.70/7.75	c iter 203 time 7.53885 not-muc 247859 unknown 1602 muc 173
7.70/7.75	c iter 204 time 7.57485 not-muc 247859 unknown 1601 muc 174
7.70/7.75	c iter 205 time 7.60984 not-muc 247859 unknown 1600 muc 175
7.70/7.75	c iter 206 time 7.61284 not-muc 247900 unknown 1559 muc 175
7.70/7.75	c iter 207 time 7.64884 not-muc 247900 unknown 1558 muc 176
7.70/7.75	c iter 208 time 7.68483 not-muc 247900 unknown 1557 muc 177
7.70/7.75	c iter 209 time 7.68683 not-muc 247916 unknown 1541 muc 177
10.09/10.11	c iter 210 time 7.72183 not-muc 247916 unknown 1540 muc 178
10.09/10.11	c iter 211 time 7.75782 not-muc 247916 unknown 1539 muc 179
10.09/10.11	c iter 212 time 7.79282 not-muc 247916 unknown 1538 muc 180
10.09/10.11	c iter 213 time 7.82881 not-muc 247916 unknown 1537 muc 181
10.09/10.11	c iter 214 time 7.8638 not-muc 247916 unknown 1536 muc 182
10.09/10.11	c iter 215 time 7.8978 not-muc 247916 unknown 1535 muc 183
10.09/10.11	c iter 216 time 7.93279 not-muc 247916 unknown 1534 muc 184
10.09/10.11	c iter 217 time 7.96879 not-muc 247916 unknown 1533 muc 185
10.09/10.11	c iter 218 time 8.00378 not-muc 247916 unknown 1532 muc 186
10.09/10.11	c iter 219 time 8.03878 not-muc 247916 unknown 1531 muc 187
10.09/10.11	c iter 220 time 8.04078 not-muc 247937 unknown 1510 muc 187
10.09/10.11	c iter 221 time 8.07677 not-muc 247937 unknown 1509 muc 188
10.09/10.11	c iter 222 time 8.11277 not-muc 247937 unknown 1508 muc 189
10.09/10.11	c iter 223 time 8.14876 not-muc 247937 unknown 1507 muc 190
10.09/10.11	c iter 224 time 8.18475 not-muc 247937 unknown 1506 muc 191
10.09/10.11	c iter 225 time 8.22075 not-muc 247937 unknown 1505 muc 192
10.09/10.11	c iter 226 time 8.25574 not-muc 247937 unknown 1504 muc 193
10.09/10.11	c iter 227 time 8.29174 not-muc 247937 unknown 1503 muc 194
10.09/10.11	c iter 228 time 8.32773 not-muc 247937 unknown 1502 muc 195
10.09/10.11	c iter 229 time 8.36373 not-muc 247937 unknown 1501 muc 196
10.09/10.11	c iter 230 time 8.39872 not-muc 247937 unknown 1500 muc 197
10.09/10.11	c iter 231 time 8.43372 not-muc 247937 unknown 1499 muc 198
10.09/10.11	c iter 232 time 8.46971 not-muc 247937 unknown 1498 muc 199
10.09/10.11	c iter 233 time 8.50571 not-muc 247937 unknown 1497 muc 200
10.09/10.11	c iter 234 time 8.5417 not-muc 247937 unknown 1496 muc 201
10.09/10.11	c iter 235 time 8.5777 not-muc 247937 unknown 1495 muc 202
10.09/10.11	c iter 236 time 8.61369 not-muc 247937 unknown 1494 muc 203
10.09/10.11	c iter 237 time 8.64968 not-muc 247937 unknown 1493 muc 204
10.09/10.11	c iter 238 time 8.68468 not-muc 247937 unknown 1492 muc 205
10.09/10.11	c iter 239 time 8.72067 not-muc 247937 unknown 1491 muc 206
10.09/10.11	c iter 240 time 8.75667 not-muc 247937 unknown 1490 muc 207
10.09/10.11	c iter 241 time 8.79266 not-muc 247937 unknown 1489 muc 208
10.09/10.11	c iter 242 time 8.82766 not-muc 247937 unknown 1488 muc 209
10.09/10.11	c iter 243 time 8.86365 not-muc 247937 unknown 1487 muc 210
10.09/10.12	c iter 244 time 8.89965 not-muc 247937 unknown 1486 muc 211
10.09/10.12	c iter 245 time 8.93564 not-muc 247937 unknown 1485 muc 212
10.09/10.12	c iter 246 time 8.93764 not-muc 247950 unknown 1472 muc 212
10.09/10.12	c iter 247 time 8.97363 not-muc 247950 unknown 1471 muc 213
10.09/10.12	c iter 248 time 9.00963 not-muc 247950 unknown 1470 muc 214
10.09/10.12	c iter 249 time 9.04562 not-muc 247950 unknown 1469 muc 215
10.09/10.12	c iter 250 time 9.08062 not-muc 247950 unknown 1468 muc 216
10.09/10.12	c iter 251 time 9.11661 not-muc 247950 unknown 1467 muc 217
10.09/10.12	c iter 252 time 9.15261 not-muc 247950 unknown 1466 muc 218
10.09/10.12	c iter 253 time 9.1886 not-muc 247950 unknown 1465 muc 219
10.09/10.12	c iter 254 time 9.2236 not-muc 247950 unknown 1464 muc 220
10.09/10.12	c iter 255 time 9.25959 not-muc 247950 unknown 1463 muc 221
10.09/10.12	c iter 256 time 9.29559 not-muc 247950 unknown 1462 muc 222
10.09/10.12	c iter 257 time 9.33158 not-muc 247950 unknown 1461 muc 223
10.09/10.12	c iter 258 time 9.36758 not-muc 247950 unknown 1460 muc 224
10.09/10.12	c iter 259 time 9.40457 not-muc 247950 unknown 1459 muc 225
10.09/10.12	c iter 260 time 9.43956 not-muc 247950 unknown 1458 muc 226
10.09/10.12	c iter 261 time 9.47656 not-muc 247950 unknown 1457 muc 227
10.09/10.12	c iter 262 time 9.51255 not-muc 247950 unknown 1456 muc 228
10.09/10.12	c iter 263 time 9.54855 not-muc 247950 unknown 1455 muc 229
10.09/10.12	c iter 264 time 9.58454 not-muc 247950 unknown 1454 muc 230
10.09/10.12	c iter 265 time 9.62054 not-muc 247950 unknown 1453 muc 231
10.09/10.12	c iter 266 time 9.65653 not-muc 247950 unknown 1452 muc 232
10.09/10.12	c iter 267 time 9.69253 not-muc 247950 unknown 1451 muc 233
10.09/10.12	c iter 268 time 9.72852 not-muc 247950 unknown 1450 muc 234
10.09/10.12	c iter 269 time 9.76451 not-muc 247950 unknown 1449 muc 235
10.09/10.12	c iter 270 time 9.80051 not-muc 247950 unknown 1448 muc 236
10.09/10.12	c iter 271 time 9.8365 not-muc 247950 unknown 1447 muc 237
10.09/10.12	c iter 272 time 9.8725 not-muc 247950 unknown 1446 muc 238
10.09/10.12	c iter 273 time 9.90949 not-muc 247950 unknown 1445 muc 239
10.09/10.12	c iter 274 time 9.94549 not-muc 247950 unknown 1444 muc 240
10.09/10.12	c iter 275 time 9.98248 not-muc 247950 unknown 1443 muc 241
10.09/10.12	c iter 276 time 10.0185 not-muc 247950 unknown 1442 muc 242
10.09/10.12	c iter 277 time 10.0545 not-muc 247950 unknown 1441 muc 243
12.29/12.37	c iter 278 time 10.0915 not-muc 247950 unknown 1440 muc 244
12.29/12.37	c iter 279 time 10.1275 not-muc 247950 unknown 1439 muc 245
12.29/12.37	c iter 280 time 10.1635 not-muc 247950 unknown 1438 muc 246
12.29/12.37	c iter 281 time 10.2004 not-muc 247950 unknown 1437 muc 247
12.29/12.37	c iter 282 time 10.2364 not-muc 247950 unknown 1436 muc 248
12.29/12.37	c iter 283 time 10.2724 not-muc 247950 unknown 1435 muc 249
12.29/12.37	c iter 284 time 10.3094 not-muc 247950 unknown 1434 muc 250
12.29/12.37	c iter 285 time 10.3464 not-muc 247950 unknown 1433 muc 251
12.29/12.37	c iter 286 time 10.3844 not-muc 247950 unknown 1432 muc 252
12.29/12.37	c iter 287 time 10.4204 not-muc 247950 unknown 1431 muc 253
12.29/12.37	c iter 288 time 10.4564 not-muc 247950 unknown 1430 muc 254
12.29/12.37	c iter 289 time 10.4924 not-muc 247950 unknown 1429 muc 255
12.29/12.37	c iter 290 time 10.5294 not-muc 247950 unknown 1428 muc 256
12.29/12.37	c iter 291 time 10.5314 not-muc 247971 unknown 1407 muc 256
12.29/12.37	c iter 292 time 10.5684 not-muc 247971 unknown 1406 muc 257
12.29/12.37	c iter 293 time 10.6044 not-muc 247971 unknown 1405 muc 258
12.29/12.37	c iter 294 time 10.6404 not-muc 247971 unknown 1404 muc 259
12.29/12.37	c iter 295 time 10.6764 not-muc 247971 unknown 1403 muc 260
12.29/12.37	c iter 296 time 10.7134 not-muc 247971 unknown 1402 muc 261
12.29/12.37	c iter 297 time 10.7154 not-muc 247979 unknown 1394 muc 261
12.29/12.37	c iter 298 time 10.7524 not-muc 247979 unknown 1393 muc 262
12.29/12.37	c iter 299 time 10.7894 not-muc 247979 unknown 1392 muc 263
12.29/12.37	c iter 300 time 10.8254 not-muc 247979 unknown 1391 muc 264
12.29/12.37	c iter 301 time 10.8274 not-muc 247989 unknown 1381 muc 264
12.29/12.37	c iter 302 time 10.8643 not-muc 247989 unknown 1380 muc 265
12.29/12.37	c iter 303 time 10.9013 not-muc 247989 unknown 1379 muc 266
12.29/12.37	c iter 304 time 10.9373 not-muc 247989 unknown 1378 muc 267
12.29/12.37	c iter 305 time 10.9743 not-muc 247989 unknown 1377 muc 268
12.29/12.37	c iter 306 time 10.9763 not-muc 247990 unknown 1376 muc 268
12.29/12.37	c iter 307 time 10.9773 not-muc 247991 unknown 1375 muc 268
12.29/12.37	c iter 308 time 11.0143 not-muc 247991 unknown 1374 muc 269
12.29/12.37	c iter 309 time 11.0503 not-muc 247991 unknown 1373 muc 270
12.29/12.37	c iter 310 time 11.0873 not-muc 247991 unknown 1372 muc 271
12.29/12.37	c iter 311 time 11.1243 not-muc 247991 unknown 1371 muc 272
12.29/12.37	c iter 312 time 11.1613 not-muc 247991 unknown 1370 muc 273
12.29/12.37	c iter 313 time 11.1973 not-muc 247991 unknown 1369 muc 274
12.29/12.37	c iter 314 time 11.2343 not-muc 247991 unknown 1368 muc 275
12.29/12.37	c iter 315 time 11.2713 not-muc 247991 unknown 1367 muc 276
12.29/12.37	c iter 316 time 11.3073 not-muc 247991 unknown 1366 muc 277
12.29/12.37	c iter 317 time 11.3443 not-muc 247991 unknown 1365 muc 278
12.29/12.37	c iter 318 time 11.3813 not-muc 247991 unknown 1364 muc 279
12.29/12.37	c iter 319 time 11.4183 not-muc 247991 unknown 1363 muc 280
12.29/12.37	c iter 320 time 11.4543 not-muc 247991 unknown 1362 muc 281
12.29/12.37	c iter 321 time 11.4913 not-muc 247991 unknown 1361 muc 282
12.29/12.37	c iter 322 time 11.5282 not-muc 247991 unknown 1360 muc 283
12.29/12.37	c iter 323 time 11.5292 not-muc 247997 unknown 1354 muc 283
12.29/12.37	c iter 324 time 11.5662 not-muc 247997 unknown 1353 muc 284
12.29/12.37	c iter 325 time 11.6022 not-muc 247997 unknown 1352 muc 285
12.29/12.37	c iter 326 time 11.6392 not-muc 247997 unknown 1351 muc 286
12.29/12.37	c iter 327 time 11.6762 not-muc 247997 unknown 1350 muc 287
12.29/12.37	c iter 328 time 11.7122 not-muc 247997 unknown 1349 muc 288
12.29/12.37	c iter 329 time 11.7492 not-muc 247997 unknown 1348 muc 289
12.29/12.37	c iter 330 time 11.7862 not-muc 247997 unknown 1347 muc 290
12.29/12.37	c iter 331 time 11.8232 not-muc 247997 unknown 1346 muc 291
12.29/12.37	c iter 332 time 11.8602 not-muc 247997 unknown 1345 muc 292
12.29/12.37	c iter 333 time 11.8972 not-muc 247997 unknown 1344 muc 293
12.29/12.37	c iter 334 time 11.9342 not-muc 247997 unknown 1343 muc 294
12.29/12.37	c iter 335 time 11.9362 not-muc 248002 unknown 1338 muc 294
12.29/12.37	c iter 336 time 11.9732 not-muc 248002 unknown 1337 muc 295
12.29/12.37	c iter 337 time 12.0102 not-muc 248002 unknown 1336 muc 296
12.29/12.37	c iter 338 time 12.0472 not-muc 248002 unknown 1335 muc 297
12.29/12.37	c iter 339 time 12.0842 not-muc 248002 unknown 1334 muc 298
12.29/12.37	c iter 340 time 12.1212 not-muc 248002 unknown 1333 muc 299
12.29/12.37	c iter 341 time 12.1582 not-muc 248002 unknown 1332 muc 300
12.29/12.37	c iter 342 time 12.1941 not-muc 248002 unknown 1331 muc 301
12.29/12.37	c iter 343 time 12.2311 not-muc 248002 unknown 1330 muc 302
12.29/12.37	c iter 344 time 12.2681 not-muc 248002 unknown 1329 muc 303
12.29/12.37	c iter 345 time 12.3051 not-muc 248002 unknown 1328 muc 304
14.89/14.95	c iter 346 time 12.3431 not-muc 248002 unknown 1327 muc 305
14.89/14.95	c iter 347 time 12.3801 not-muc 248002 unknown 1326 muc 306
14.89/14.95	c iter 348 time 12.4171 not-muc 248002 unknown 1325 muc 307
14.89/14.95	c iter 349 time 12.4541 not-muc 248002 unknown 1324 muc 308
14.89/14.95	c iter 350 time 12.4911 not-muc 248002 unknown 1323 muc 309
14.89/14.95	c iter 351 time 12.5291 not-muc 248002 unknown 1322 muc 310
14.89/14.95	c iter 352 time 12.5661 not-muc 248002 unknown 1321 muc 311
14.89/14.95	c iter 353 time 12.6031 not-muc 248002 unknown 1320 muc 312
14.89/14.95	c iter 354 time 12.6401 not-muc 248002 unknown 1319 muc 313
14.89/14.95	c iter 355 time 12.6781 not-muc 248002 unknown 1318 muc 314
14.89/14.95	c iter 356 time 12.7141 not-muc 248002 unknown 1317 muc 315
14.89/14.95	c iter 357 time 12.7521 not-muc 248002 unknown 1316 muc 316
14.89/14.95	c iter 358 time 12.7891 not-muc 248002 unknown 1315 muc 317
14.89/14.95	c iter 359 time 12.8261 not-muc 248002 unknown 1314 muc 318
14.89/14.95	c iter 360 time 12.863 not-muc 248002 unknown 1313 muc 319
14.89/14.95	c iter 361 time 12.901 not-muc 248002 unknown 1312 muc 320
14.89/14.95	c iter 362 time 12.938 not-muc 248002 unknown 1311 muc 321
14.89/14.95	c iter 363 time 12.975 not-muc 248002 unknown 1310 muc 322
14.89/14.95	c iter 364 time 13.013 not-muc 248002 unknown 1309 muc 323
14.89/14.95	c iter 365 time 13.05 not-muc 248002 unknown 1308 muc 324
14.89/14.95	c iter 366 time 13.088 not-muc 248002 unknown 1307 muc 325
14.89/14.95	c iter 367 time 13.125 not-muc 248002 unknown 1306 muc 326
14.89/14.95	c iter 368 time 13.162 not-muc 248002 unknown 1305 muc 327
14.89/14.95	c iter 369 time 13.2 not-muc 248002 unknown 1304 muc 328
14.89/14.95	c iter 370 time 13.237 not-muc 248002 unknown 1303 muc 329
14.89/14.95	c iter 371 time 13.275 not-muc 248002 unknown 1302 muc 330
14.89/14.95	c iter 372 time 13.312 not-muc 248002 unknown 1301 muc 331
14.89/14.95	c iter 373 time 13.35 not-muc 248002 unknown 1300 muc 332
14.89/14.95	c iter 374 time 13.387 not-muc 248002 unknown 1299 muc 333
14.89/14.95	c iter 375 time 13.425 not-muc 248002 unknown 1298 muc 334
14.89/14.95	c iter 376 time 13.462 not-muc 248002 unknown 1297 muc 335
14.89/14.95	c iter 377 time 13.4989 not-muc 248002 unknown 1296 muc 336
14.89/14.95	c iter 378 time 13.5369 not-muc 248002 unknown 1295 muc 337
14.89/14.95	c iter 379 time 13.5749 not-muc 248002 unknown 1294 muc 338
14.89/14.95	c iter 380 time 13.6119 not-muc 248002 unknown 1293 muc 339
14.89/14.95	c iter 381 time 13.6489 not-muc 248002 unknown 1292 muc 340
14.89/14.95	c iter 382 time 13.6869 not-muc 248002 unknown 1291 muc 341
14.89/14.95	c iter 383 time 13.7249 not-muc 248002 unknown 1290 muc 342
14.89/14.95	c iter 384 time 13.7619 not-muc 248002 unknown 1289 muc 343
14.89/14.95	c iter 385 time 13.7999 not-muc 248002 unknown 1288 muc 344
14.89/14.95	c iter 386 time 13.8369 not-muc 248002 unknown 1287 muc 345
14.89/14.95	c iter 387 time 13.8749 not-muc 248002 unknown 1286 muc 346
14.89/14.95	c iter 388 time 13.9119 not-muc 248002 unknown 1285 muc 347
14.89/14.95	c iter 389 time 13.9499 not-muc 248002 unknown 1284 muc 348
14.89/14.95	c iter 390 time 13.9879 not-muc 248002 unknown 1283 muc 349
14.89/14.95	c iter 391 time 14.0259 not-muc 248002 unknown 1282 muc 350
14.89/14.95	c iter 392 time 14.0629 not-muc 248002 unknown 1281 muc 351
14.89/14.95	c iter 393 time 14.1009 not-muc 248002 unknown 1280 muc 352
14.89/14.95	c iter 394 time 14.1388 not-muc 248002 unknown 1279 muc 353
14.89/14.95	c iter 395 time 14.1758 not-muc 248002 unknown 1278 muc 354
14.89/14.95	c iter 396 time 14.2128 not-muc 248002 unknown 1277 muc 355
14.89/14.95	c iter 397 time 14.2508 not-muc 248002 unknown 1276 muc 356
14.89/14.95	c iter 398 time 14.2878 not-muc 248002 unknown 1275 muc 357
14.89/14.95	c iter 399 time 14.3258 not-muc 248002 unknown 1274 muc 358
14.89/14.95	c iter 400 time 14.3628 not-muc 248002 unknown 1273 muc 359
14.89/14.95	c iter 401 time 14.3998 not-muc 248002 unknown 1272 muc 360
14.89/14.95	c iter 402 time 14.4378 not-muc 248002 unknown 1271 muc 361
14.89/14.95	c iter 403 time 14.4748 not-muc 248002 unknown 1270 muc 362
14.89/14.95	c iter 404 time 14.5128 not-muc 248002 unknown 1269 muc 363
14.89/14.95	c iter 405 time 14.5498 not-muc 248002 unknown 1268 muc 364
14.89/14.95	c iter 406 time 14.5878 not-muc 248002 unknown 1267 muc 365
14.89/14.95	c iter 407 time 14.6258 not-muc 248002 unknown 1266 muc 366
14.89/14.95	c iter 408 time 14.6638 not-muc 248002 unknown 1265 muc 367
14.89/14.95	c iter 409 time 14.7008 not-muc 248002 unknown 1264 muc 368
14.89/14.95	c iter 410 time 14.7398 not-muc 248002 unknown 1263 muc 369
14.89/14.95	c iter 411 time 14.7778 not-muc 248002 unknown 1262 muc 370
14.89/14.95	c iter 412 time 14.8157 not-muc 248002 unknown 1261 muc 371
14.89/14.95	c iter 413 time 14.8537 not-muc 248002 unknown 1260 muc 372
14.89/14.95	c iter 414 time 14.8907 not-muc 248002 unknown 1259 muc 373
17.39/17.42	c iter 415 time 14.9287 not-muc 248002 unknown 1258 muc 374
17.39/17.42	c iter 416 time 14.9667 not-muc 248002 unknown 1257 muc 375
17.39/17.42	c iter 417 time 15.0047 not-muc 248002 unknown 1256 muc 376
17.39/17.42	c iter 418 time 15.0437 not-muc 248002 unknown 1255 muc 377
17.39/17.42	c iter 419 time 15.0807 not-muc 248002 unknown 1254 muc 378
17.39/17.42	c iter 420 time 15.1187 not-muc 248002 unknown 1253 muc 379
17.39/17.42	c iter 421 time 15.1577 not-muc 248002 unknown 1252 muc 380
17.39/17.42	c iter 422 time 15.1957 not-muc 248002 unknown 1251 muc 381
17.39/17.42	c iter 423 time 15.2337 not-muc 248002 unknown 1250 muc 382
17.39/17.42	c iter 424 time 15.2717 not-muc 248002 unknown 1249 muc 383
17.39/17.42	c iter 425 time 15.3097 not-muc 248002 unknown 1248 muc 384
17.39/17.42	c iter 426 time 15.3477 not-muc 248002 unknown 1247 muc 385
17.39/17.42	c iter 427 time 15.3857 not-muc 248002 unknown 1246 muc 386
17.39/17.42	c iter 428 time 15.4237 not-muc 248002 unknown 1245 muc 387
17.39/17.42	c iter 429 time 15.4257 not-muc 248018 unknown 1229 muc 387
17.39/17.42	c iter 430 time 15.4636 not-muc 248018 unknown 1228 muc 388
17.39/17.42	c iter 431 time 15.5016 not-muc 248018 unknown 1227 muc 389
17.39/17.42	c iter 432 time 15.5036 not-muc 248020 unknown 1225 muc 389
17.39/17.42	c iter 433 time 15.5426 not-muc 248020 unknown 1224 muc 390
17.39/17.42	c iter 434 time 15.5806 not-muc 248020 unknown 1223 muc 391
17.39/17.42	c iter 435 time 15.6186 not-muc 248020 unknown 1222 muc 392
17.39/17.42	c iter 436 time 15.6566 not-muc 248020 unknown 1221 muc 393
17.39/17.42	c iter 437 time 15.6946 not-muc 248020 unknown 1220 muc 394
17.39/17.42	c iter 438 time 15.7326 not-muc 248020 unknown 1219 muc 395
17.39/17.42	c iter 439 time 15.7716 not-muc 248020 unknown 1218 muc 396
17.39/17.42	c iter 440 time 15.7726 not-muc 248035 unknown 1203 muc 396
17.39/17.42	c iter 441 time 15.8116 not-muc 248035 unknown 1202 muc 397
17.39/17.42	c iter 442 time 15.8496 not-muc 248035 unknown 1201 muc 398
17.39/17.42	c iter 443 time 15.8876 not-muc 248035 unknown 1200 muc 399
17.39/17.42	c iter 444 time 15.9266 not-muc 248035 unknown 1199 muc 400
17.39/17.42	c iter 445 time 15.9646 not-muc 248035 unknown 1198 muc 401
17.39/17.42	c iter 446 time 16.0036 not-muc 248035 unknown 1197 muc 402
17.39/17.42	c iter 447 time 16.0416 not-muc 248035 unknown 1196 muc 403
17.39/17.42	c iter 448 time 16.0796 not-muc 248035 unknown 1195 muc 404
17.39/17.42	c iter 449 time 16.1185 not-muc 248035 unknown 1194 muc 405
17.39/17.42	c iter 450 time 16.1565 not-muc 248035 unknown 1193 muc 406
17.39/17.42	c iter 451 time 16.1955 not-muc 248035 unknown 1192 muc 407
17.39/17.42	c iter 452 time 16.2335 not-muc 248035 unknown 1191 muc 408
17.39/17.42	c iter 453 time 16.2725 not-muc 248035 unknown 1190 muc 409
17.39/17.42	c iter 454 time 16.3115 not-muc 248035 unknown 1189 muc 410
17.39/17.42	c iter 455 time 16.3495 not-muc 248035 unknown 1188 muc 411
17.39/17.42	c iter 456 time 16.3875 not-muc 248035 unknown 1187 muc 412
17.39/17.42	c iter 457 time 16.4255 not-muc 248035 unknown 1186 muc 413
17.39/17.42	c iter 458 time 16.4645 not-muc 248035 unknown 1185 muc 414
17.39/17.42	c iter 459 time 16.5025 not-muc 248035 unknown 1184 muc 415
17.39/17.42	c iter 460 time 16.5415 not-muc 248035 unknown 1183 muc 416
17.39/17.42	c iter 461 time 16.5805 not-muc 248035 unknown 1182 muc 417
17.39/17.42	c iter 462 time 16.6185 not-muc 248035 unknown 1181 muc 418
17.39/17.42	c iter 463 time 16.6575 not-muc 248035 unknown 1180 muc 419
17.39/17.42	c iter 464 time 16.6955 not-muc 248035 unknown 1179 muc 420
17.39/17.42	c iter 465 time 16.7345 not-muc 248035 unknown 1178 muc 421
17.39/17.42	c iter 466 time 16.7724 not-muc 248035 unknown 1177 muc 422
17.39/17.42	c iter 467 time 16.8114 not-muc 248035 unknown 1176 muc 423
17.39/17.42	c iter 468 time 16.8504 not-muc 248035 unknown 1175 muc 424
17.39/17.42	c iter 469 time 16.8514 not-muc 248045 unknown 1165 muc 424
17.39/17.42	c iter 470 time 16.8904 not-muc 248045 unknown 1164 muc 425
17.39/17.42	c iter 471 time 16.9294 not-muc 248045 unknown 1163 muc 426
17.39/17.42	c iter 472 time 16.9684 not-muc 248045 unknown 1162 muc 427
17.39/17.42	c iter 473 time 17.0074 not-muc 248045 unknown 1161 muc 428
17.39/17.42	c iter 474 time 17.0464 not-muc 248045 unknown 1160 muc 429
17.39/17.42	c iter 475 time 17.0844 not-muc 248045 unknown 1159 muc 430
17.39/17.42	c iter 476 time 17.1234 not-muc 248045 unknown 1158 muc 431
17.39/17.42	c iter 477 time 17.1624 not-muc 248045 unknown 1157 muc 432
17.39/17.42	c iter 478 time 17.2014 not-muc 248045 unknown 1156 muc 433
17.39/17.42	c iter 479 time 17.2404 not-muc 248045 unknown 1155 muc 434
17.39/17.42	c iter 480 time 17.2784 not-muc 248045 unknown 1154 muc 435
17.39/17.42	c iter 481 time 17.3184 not-muc 248045 unknown 1153 muc 436
17.39/17.42	c iter 482 time 17.3574 not-muc 248045 unknown 1152 muc 437
19.90/19.98	c iter 483 time 17.3964 not-muc 248045 unknown 1151 muc 438
19.90/19.98	c iter 484 time 17.4353 not-muc 248045 unknown 1150 muc 439
19.90/19.98	c iter 485 time 17.4743 not-muc 248045 unknown 1149 muc 440
19.90/19.98	c iter 486 time 17.5123 not-muc 248045 unknown 1148 muc 441
19.90/19.98	c iter 487 time 17.5513 not-muc 248045 unknown 1147 muc 442
19.90/19.98	c iter 488 time 17.5903 not-muc 248045 unknown 1146 muc 443
19.90/19.98	c iter 489 time 17.6293 not-muc 248045 unknown 1145 muc 444
19.90/19.98	c iter 490 time 17.6683 not-muc 248045 unknown 1144 muc 445
19.90/19.98	c iter 491 time 17.7073 not-muc 248045 unknown 1143 muc 446
19.90/19.98	c iter 492 time 17.7463 not-muc 248045 unknown 1142 muc 447
19.90/19.98	c iter 493 time 17.7853 not-muc 248045 unknown 1141 muc 448
19.90/19.98	c iter 494 time 17.7863 not-muc 248059 unknown 1127 muc 448
19.90/19.98	c iter 495 time 17.8253 not-muc 248059 unknown 1126 muc 449
19.90/19.98	c iter 496 time 17.8653 not-muc 248059 unknown 1125 muc 450
19.90/19.98	c iter 497 time 17.9033 not-muc 248059 unknown 1124 muc 451
19.90/19.98	c iter 498 time 17.9423 not-muc 248059 unknown 1123 muc 452
19.90/19.98	c iter 499 time 17.9813 not-muc 248059 unknown 1122 muc 453
19.90/19.98	c iter 500 time 18.0213 not-muc 248059 unknown 1121 muc 454
19.90/19.98	c iter 501 time 18.0603 not-muc 248059 unknown 1120 muc 455
19.90/19.98	c iter 502 time 18.0992 not-muc 248059 unknown 1119 muc 456
19.90/19.98	c iter 503 time 18.1382 not-muc 248059 unknown 1118 muc 457
19.90/19.98	c iter 504 time 18.1772 not-muc 248059 unknown 1117 muc 458
19.90/19.98	c iter 505 time 18.2162 not-muc 248059 unknown 1116 muc 459
19.90/19.98	c iter 506 time 18.2182 not-muc 248063 unknown 1112 muc 459
19.90/19.98	c iter 507 time 18.2572 not-muc 248063 unknown 1111 muc 460
19.90/19.98	c iter 508 time 18.2582 not-muc 248080 unknown 1094 muc 460
19.90/19.98	c iter 509 time 18.2982 not-muc 248080 unknown 1093 muc 461
19.90/19.98	c iter 510 time 18.3372 not-muc 248080 unknown 1092 muc 462
19.90/19.98	c iter 511 time 18.3762 not-muc 248080 unknown 1091 muc 463
19.90/19.98	c iter 512 time 18.4152 not-muc 248080 unknown 1090 muc 464
19.90/19.98	c iter 513 time 18.4552 not-muc 248080 unknown 1089 muc 465
19.90/19.98	c iter 514 time 18.4942 not-muc 248080 unknown 1088 muc 466
19.90/19.98	c iter 515 time 18.5332 not-muc 248080 unknown 1087 muc 467
19.90/19.98	c iter 516 time 18.5722 not-muc 248080 unknown 1086 muc 468
19.90/19.98	c iter 517 time 18.6122 not-muc 248080 unknown 1085 muc 469
19.90/19.98	c iter 518 time 18.6512 not-muc 248080 unknown 1084 muc 470
19.90/19.98	c iter 519 time 18.6912 not-muc 248080 unknown 1083 muc 471
19.90/19.98	c iter 520 time 18.7302 not-muc 248080 unknown 1082 muc 472
19.90/19.98	c iter 521 time 18.7691 not-muc 248080 unknown 1081 muc 473
19.90/19.98	c iter 522 time 18.8081 not-muc 248080 unknown 1080 muc 474
19.90/19.98	c iter 523 time 18.8471 not-muc 248080 unknown 1079 muc 475
19.90/19.98	c iter 524 time 18.8871 not-muc 248080 unknown 1078 muc 476
19.90/19.98	c iter 525 time 18.9261 not-muc 248080 unknown 1077 muc 477
19.90/19.98	c iter 526 time 18.9661 not-muc 248080 unknown 1076 muc 478
19.90/19.98	c iter 527 time 19.0051 not-muc 248080 unknown 1075 muc 479
19.90/19.98	c iter 528 time 19.0451 not-muc 248080 unknown 1074 muc 480
19.90/19.98	c iter 529 time 19.0841 not-muc 248080 unknown 1073 muc 481
19.90/19.98	c iter 530 time 19.1241 not-muc 248080 unknown 1072 muc 482
19.90/19.98	c iter 531 time 19.1631 not-muc 248080 unknown 1071 muc 483
19.90/19.98	c iter 532 time 19.2021 not-muc 248080 unknown 1070 muc 484
19.90/19.98	c iter 533 time 19.2421 not-muc 248080 unknown 1069 muc 485
19.90/19.98	c iter 534 time 19.2811 not-muc 248080 unknown 1068 muc 486
19.90/19.98	c iter 535 time 19.3211 not-muc 248080 unknown 1067 muc 487
19.90/19.98	c iter 536 time 19.3601 not-muc 248080 unknown 1066 muc 488
19.90/19.98	c iter 537 time 19.399 not-muc 248080 unknown 1065 muc 489
19.90/19.98	c iter 538 time 19.439 not-muc 248080 unknown 1064 muc 490
19.90/19.98	c iter 539 time 19.479 not-muc 248080 unknown 1063 muc 491
19.90/19.98	c iter 540 time 19.519 not-muc 248080 unknown 1062 muc 492
19.90/19.98	c iter 541 time 19.558 not-muc 248080 unknown 1061 muc 493
19.90/19.98	c iter 542 time 19.597 not-muc 248080 unknown 1060 muc 494
19.90/19.98	c iter 543 time 19.637 not-muc 248080 unknown 1059 muc 495
19.90/19.98	c iter 544 time 19.677 not-muc 248080 unknown 1058 muc 496
19.90/19.98	c iter 545 time 19.678 not-muc 248087 unknown 1051 muc 496
19.90/19.98	c iter 546 time 19.718 not-muc 248087 unknown 1050 muc 497
19.90/19.98	c iter 547 time 19.757 not-muc 248087 unknown 1049 muc 498
19.90/19.98	c iter 548 time 19.797 not-muc 248087 unknown 1048 muc 499
19.90/19.98	c iter 549 time 19.837 not-muc 248087 unknown 1047 muc 500
19.90/19.98	c iter 550 time 19.876 not-muc 248087 unknown 1046 muc 501
19.90/19.98	c iter 551 time 19.916 not-muc 248087 unknown 1045 muc 502
22.69/22.71	c iter 552 time 19.956 not-muc 248087 unknown 1044 muc 503
22.69/22.71	c iter 553 time 19.996 not-muc 248087 unknown 1043 muc 504
22.69/22.71	c iter 554 time 20.035 not-muc 248087 unknown 1042 muc 505
22.69/22.71	c iter 555 time 20.0749 not-muc 248087 unknown 1041 muc 506
22.69/22.71	c iter 556 time 20.1149 not-muc 248087 unknown 1040 muc 507
22.69/22.71	c iter 557 time 20.1549 not-muc 248087 unknown 1039 muc 508
22.69/22.71	c iter 558 time 20.1949 not-muc 248087 unknown 1038 muc 509
22.69/22.71	c iter 559 time 20.2349 not-muc 248087 unknown 1037 muc 510
22.69/22.71	c iter 560 time 20.2749 not-muc 248087 unknown 1036 muc 511
22.69/22.71	c iter 561 time 20.3139 not-muc 248087 unknown 1035 muc 512
22.69/22.71	c iter 562 time 20.3549 not-muc 248087 unknown 1034 muc 513
22.69/22.71	c iter 563 time 20.3559 not-muc 248098 unknown 1023 muc 513
22.69/22.71	c iter 564 time 20.3959 not-muc 248098 unknown 1022 muc 514
22.69/22.71	c iter 565 time 20.4359 not-muc 248098 unknown 1021 muc 515
22.69/22.71	c iter 566 time 20.4759 not-muc 248098 unknown 1020 muc 516
22.69/22.71	c iter 567 time 20.5159 not-muc 248098 unknown 1019 muc 517
22.69/22.71	c iter 568 time 20.5549 not-muc 248098 unknown 1018 muc 518
22.69/22.71	c iter 569 time 20.5959 not-muc 248098 unknown 1017 muc 519
22.69/22.71	c iter 570 time 20.6359 not-muc 248098 unknown 1016 muc 520
22.69/22.71	c iter 571 time 20.6759 not-muc 248098 unknown 1015 muc 521
22.69/22.71	c iter 572 time 20.7158 not-muc 248098 unknown 1014 muc 522
22.69/22.71	c iter 573 time 20.7548 not-muc 248098 unknown 1013 muc 523
22.69/22.71	c iter 574 time 20.7948 not-muc 248098 unknown 1012 muc 524
22.69/22.71	c iter 575 time 20.8348 not-muc 248098 unknown 1011 muc 525
22.69/22.71	c iter 576 time 20.8748 not-muc 248098 unknown 1010 muc 526
22.69/22.71	c iter 577 time 20.9138 not-muc 248098 unknown 1009 muc 527
22.69/22.71	c iter 578 time 20.9538 not-muc 248098 unknown 1008 muc 528
22.69/22.71	c iter 579 time 20.9938 not-muc 248098 unknown 1007 muc 529
22.69/22.71	c iter 580 time 21.0328 not-muc 248098 unknown 1006 muc 530
22.69/22.71	c iter 581 time 21.0728 not-muc 248098 unknown 1005 muc 531
22.69/22.71	c iter 582 time 21.1118 not-muc 248098 unknown 1004 muc 532
22.69/22.71	c iter 583 time 21.1518 not-muc 248098 unknown 1003 muc 533
22.69/22.71	c iter 584 time 21.1918 not-muc 248098 unknown 1002 muc 534
22.69/22.71	c iter 585 time 21.2318 not-muc 248098 unknown 1001 muc 535
22.69/22.71	c iter 586 time 21.2718 not-muc 248098 unknown 1000 muc 536
22.69/22.71	c iter 587 time 21.3118 not-muc 248098 unknown 999 muc 537
22.69/22.71	c iter 588 time 21.3528 not-muc 248098 unknown 998 muc 538
22.69/22.71	c iter 589 time 21.3927 not-muc 248098 unknown 997 muc 539
22.69/22.71	c iter 590 time 21.4327 not-muc 248098 unknown 996 muc 540
22.69/22.71	c iter 591 time 21.4727 not-muc 248098 unknown 995 muc 541
22.69/22.71	c iter 592 time 21.5127 not-muc 248098 unknown 994 muc 542
22.69/22.71	c iter 593 time 21.5537 not-muc 248098 unknown 993 muc 543
22.69/22.71	c iter 594 time 21.5937 not-muc 248098 unknown 992 muc 544
22.69/22.71	c iter 595 time 21.6337 not-muc 248098 unknown 991 muc 545
22.69/22.71	c iter 596 time 21.6747 not-muc 248098 unknown 990 muc 546
22.69/22.71	c iter 597 time 21.7147 not-muc 248098 unknown 989 muc 547
22.69/22.71	c iter 598 time 21.7557 not-muc 248098 unknown 988 muc 548
22.69/22.71	c iter 599 time 21.7957 not-muc 248098 unknown 987 muc 549
22.69/22.71	c iter 600 time 21.8357 not-muc 248098 unknown 986 muc 550
22.69/22.71	c iter 601 time 21.8767 not-muc 248098 unknown 985 muc 551
22.69/22.71	c iter 602 time 21.9167 not-muc 248098 unknown 984 muc 552
22.69/22.71	c iter 603 time 21.9567 not-muc 248098 unknown 983 muc 553
22.69/22.71	c iter 604 time 21.9977 not-muc 248098 unknown 982 muc 554
22.69/22.71	c iter 605 time 22.0376 not-muc 248098 unknown 981 muc 555
22.69/22.71	c iter 606 time 22.0786 not-muc 248098 unknown 980 muc 556
22.69/22.71	c iter 607 time 22.1186 not-muc 248098 unknown 979 muc 557
22.69/22.71	c iter 608 time 22.1586 not-muc 248098 unknown 978 muc 558
22.69/22.71	c iter 609 time 22.1996 not-muc 248098 unknown 977 muc 559
22.69/22.71	c iter 610 time 22.2396 not-muc 248098 unknown 976 muc 560
22.69/22.71	c iter 611 time 22.2806 not-muc 248098 unknown 975 muc 561
22.69/22.71	c iter 612 time 22.3206 not-muc 248098 unknown 974 muc 562
22.69/22.71	c iter 613 time 22.3616 not-muc 248098 unknown 973 muc 563
22.69/22.71	c iter 614 time 22.4016 not-muc 248098 unknown 972 muc 564
22.69/22.71	c iter 615 time 22.4426 not-muc 248098 unknown 971 muc 565
22.69/22.71	c iter 616 time 22.4836 not-muc 248098 unknown 970 muc 566
22.69/22.71	c iter 617 time 22.5236 not-muc 248098 unknown 969 muc 567
22.69/22.71	c iter 618 time 22.5646 not-muc 248098 unknown 968 muc 568
22.69/22.71	c iter 619 time 22.6046 not-muc 248098 unknown 967 muc 569
22.69/22.71	c iter 620 time 22.6456 not-muc 248098 unknown 966 muc 570
25.40/25.45	c iter 621 time 22.6866 not-muc 248098 unknown 965 muc 571
25.40/25.45	c iter 622 time 22.7275 not-muc 248098 unknown 964 muc 572
25.40/25.45	c iter 623 time 22.7685 not-muc 248098 unknown 963 muc 573
25.40/25.45	c iter 624 time 22.8085 not-muc 248098 unknown 962 muc 574
25.40/25.45	c iter 625 time 22.8495 not-muc 248098 unknown 961 muc 575
25.40/25.45	c iter 626 time 22.8895 not-muc 248098 unknown 960 muc 576
25.40/25.45	c iter 627 time 22.9305 not-muc 248098 unknown 959 muc 577
25.40/25.45	c iter 628 time 22.9715 not-muc 248098 unknown 958 muc 578
25.40/25.45	c iter 629 time 23.0125 not-muc 248098 unknown 957 muc 579
25.40/25.45	c iter 630 time 23.0525 not-muc 248098 unknown 956 muc 580
25.40/25.45	c iter 631 time 23.0935 not-muc 248098 unknown 955 muc 581
25.40/25.45	c iter 632 time 23.1345 not-muc 248098 unknown 954 muc 582
25.40/25.45	c iter 633 time 23.1755 not-muc 248098 unknown 953 muc 583
25.40/25.45	c iter 634 time 23.2165 not-muc 248098 unknown 952 muc 584
25.40/25.45	c iter 635 time 23.2575 not-muc 248098 unknown 951 muc 585
25.40/25.45	c iter 636 time 23.2985 not-muc 248098 unknown 950 muc 586
25.40/25.45	c iter 637 time 23.3385 not-muc 248098 unknown 949 muc 587
25.40/25.45	c iter 638 time 23.3405 not-muc 248100 unknown 947 muc 587
25.40/25.45	c iter 639 time 23.3814 not-muc 248100 unknown 946 muc 588
25.40/25.45	c iter 640 time 23.4224 not-muc 248100 unknown 945 muc 589
25.40/25.45	c iter 641 time 23.4634 not-muc 248100 unknown 944 muc 590
25.40/25.45	c iter 642 time 23.5044 not-muc 248100 unknown 943 muc 591
25.40/25.45	c iter 643 time 23.5454 not-muc 248100 unknown 942 muc 592
25.40/25.45	c iter 644 time 23.5864 not-muc 248100 unknown 941 muc 593
25.40/25.45	c iter 645 time 23.6274 not-muc 248100 unknown 940 muc 594
25.40/25.45	c iter 646 time 23.6674 not-muc 248100 unknown 939 muc 595
25.40/25.45	c iter 647 time 23.7084 not-muc 248100 unknown 938 muc 596
25.40/25.45	c iter 648 time 23.7494 not-muc 248100 unknown 937 muc 597
25.40/25.45	c iter 649 time 23.7904 not-muc 248100 unknown 936 muc 598
25.40/25.45	c iter 650 time 23.8314 not-muc 248100 unknown 935 muc 599
25.40/25.45	c iter 651 time 23.8734 not-muc 248100 unknown 934 muc 600
25.40/25.45	c iter 652 time 23.9144 not-muc 248100 unknown 933 muc 601
25.40/25.45	c iter 653 time 23.9554 not-muc 248100 unknown 932 muc 602
25.40/25.45	c iter 654 time 23.9964 not-muc 248100 unknown 931 muc 603
25.40/25.45	c iter 655 time 24.0373 not-muc 248100 unknown 930 muc 604
25.40/25.45	c iter 656 time 24.0783 not-muc 248100 unknown 929 muc 605
25.40/25.45	c iter 657 time 24.1193 not-muc 248100 unknown 928 muc 606
25.40/25.45	c iter 658 time 24.1603 not-muc 248100 unknown 927 muc 607
25.40/25.45	c iter 659 time 24.2013 not-muc 248100 unknown 926 muc 608
25.40/25.45	c iter 660 time 24.2423 not-muc 248100 unknown 925 muc 609
25.40/25.45	c iter 661 time 24.2833 not-muc 248100 unknown 924 muc 610
25.40/25.45	c iter 662 time 24.3243 not-muc 248100 unknown 923 muc 611
25.40/25.45	c iter 663 time 24.3653 not-muc 248100 unknown 922 muc 612
25.40/25.45	c iter 664 time 24.4063 not-muc 248100 unknown 921 muc 613
25.40/25.45	c iter 665 time 24.4463 not-muc 248100 unknown 920 muc 614
25.40/25.45	c iter 666 time 24.4873 not-muc 248100 unknown 919 muc 615
25.40/25.45	c iter 667 time 24.5283 not-muc 248100 unknown 918 muc 616
25.40/25.45	c iter 668 time 24.5693 not-muc 248100 unknown 917 muc 617
25.40/25.45	c iter 669 time 24.6103 not-muc 248100 unknown 916 muc 618
25.40/25.45	c iter 670 time 24.6113 not-muc 248107 unknown 909 muc 618
25.40/25.45	c iter 671 time 24.6523 not-muc 248107 unknown 908 muc 619
25.40/25.45	c iter 672 time 24.6932 not-muc 248107 unknown 907 muc 620
25.40/25.45	c iter 673 time 24.7352 not-muc 248107 unknown 906 muc 621
25.40/25.45	c iter 674 time 24.7762 not-muc 248107 unknown 905 muc 622
25.40/25.45	c iter 675 time 24.8172 not-muc 248107 unknown 904 muc 623
25.40/25.45	c iter 676 time 24.8582 not-muc 248107 unknown 903 muc 624
25.40/25.45	c iter 677 time 24.8992 not-muc 248107 unknown 902 muc 625
25.40/25.45	c iter 678 time 24.9402 not-muc 248107 unknown 901 muc 626
25.40/25.45	c iter 679 time 24.9802 not-muc 248107 unknown 900 muc 627
25.40/25.45	c iter 680 time 25.0222 not-muc 248107 unknown 899 muc 628
25.40/25.45	c iter 681 time 25.0632 not-muc 248107 unknown 898 muc 629
25.40/25.45	c iter 682 time 25.1032 not-muc 248107 unknown 897 muc 630
25.40/25.45	c iter 683 time 25.1442 not-muc 248107 unknown 896 muc 631
25.40/25.45	c iter 684 time 25.1862 not-muc 248107 unknown 895 muc 632
25.40/25.45	c iter 685 time 25.2272 not-muc 248107 unknown 894 muc 633
25.40/25.45	c iter 686 time 25.2672 not-muc 248107 unknown 893 muc 634
25.40/25.45	c iter 687 time 25.3082 not-muc 248107 unknown 892 muc 635
25.40/25.45	c iter 688 time 25.3501 not-muc 248107 unknown 891 muc 636
25.40/25.45	c iter 689 time 25.3901 not-muc 248107 unknown 890 muc 637
28.19/28.25	c iter 690 time 25.4311 not-muc 248107 unknown 889 muc 638
28.19/28.25	c iter 691 time 25.4721 not-muc 248107 unknown 888 muc 639
28.19/28.25	c iter 692 time 25.5131 not-muc 248107 unknown 887 muc 640
28.19/28.25	c iter 693 time 25.5541 not-muc 248107 unknown 886 muc 641
28.19/28.25	c iter 694 time 25.5961 not-muc 248107 unknown 885 muc 642
28.19/28.25	c iter 695 time 25.6371 not-muc 248107 unknown 884 muc 643
28.19/28.25	c iter 696 time 25.6781 not-muc 248107 unknown 883 muc 644
28.19/28.25	c iter 697 time 25.7191 not-muc 248107 unknown 882 muc 645
28.19/28.25	c iter 698 time 25.7601 not-muc 248107 unknown 881 muc 646
28.19/28.25	c iter 699 time 25.8011 not-muc 248107 unknown 880 muc 647
28.19/28.25	c iter 700 time 25.8431 not-muc 248107 unknown 879 muc 648
28.19/28.25	c iter 701 time 25.8851 not-muc 248107 unknown 878 muc 649
28.19/28.25	c iter 702 time 25.8861 not-muc 248112 unknown 873 muc 649
28.19/28.25	c iter 703 time 25.9281 not-muc 248112 unknown 872 muc 650
28.19/28.25	c iter 704 time 25.9691 not-muc 248112 unknown 871 muc 651
28.19/28.25	c iter 705 time 26.011 not-muc 248112 unknown 870 muc 652
28.19/28.25	c iter 706 time 26.051 not-muc 248112 unknown 869 muc 653
28.19/28.25	c iter 707 time 26.092 not-muc 248112 unknown 868 muc 654
28.19/28.25	c iter 708 time 26.134 not-muc 248112 unknown 867 muc 655
28.19/28.25	c iter 709 time 26.175 not-muc 248112 unknown 866 muc 656
28.19/28.25	c iter 710 time 26.176 not-muc 248113 unknown 865 muc 656
28.19/28.25	c iter 711 time 26.217 not-muc 248113 unknown 864 muc 657
28.19/28.25	c iter 712 time 26.258 not-muc 248113 unknown 863 muc 658
28.19/28.25	c iter 713 time 26.3 not-muc 248113 unknown 862 muc 659
28.19/28.25	c iter 714 time 26.34 not-muc 248113 unknown 861 muc 660
28.19/28.25	c iter 715 time 26.381 not-muc 248113 unknown 860 muc 661
28.19/28.25	c iter 716 time 26.422 not-muc 248113 unknown 859 muc 662
28.19/28.25	c iter 717 time 26.464 not-muc 248113 unknown 858 muc 663
28.19/28.25	c iter 718 time 26.504 not-muc 248113 unknown 857 muc 664
28.19/28.25	c iter 719 time 26.545 not-muc 248113 unknown 856 muc 665
28.19/28.25	c iter 720 time 26.587 not-muc 248113 unknown 855 muc 666
28.19/28.25	c iter 721 time 26.628 not-muc 248113 unknown 854 muc 667
28.19/28.25	c iter 722 time 26.6689 not-muc 248113 unknown 853 muc 668
28.19/28.25	c iter 723 time 26.7099 not-muc 248113 unknown 852 muc 669
28.19/28.25	c iter 724 time 26.7509 not-muc 248113 unknown 851 muc 670
28.19/28.25	c iter 725 time 26.7919 not-muc 248113 unknown 850 muc 671
28.19/28.25	c iter 726 time 26.8329 not-muc 248113 unknown 849 muc 672
28.19/28.25	c iter 727 time 26.8739 not-muc 248113 unknown 848 muc 673
28.19/28.25	c iter 728 time 26.9159 not-muc 248113 unknown 847 muc 674
28.19/28.25	c iter 729 time 26.9569 not-muc 248113 unknown 846 muc 675
28.19/28.25	c iter 730 time 26.9979 not-muc 248113 unknown 845 muc 676
28.19/28.25	c iter 731 time 27.0389 not-muc 248113 unknown 844 muc 677
28.19/28.25	c iter 732 time 27.0799 not-muc 248113 unknown 843 muc 678
28.19/28.25	c iter 733 time 27.1219 not-muc 248113 unknown 842 muc 679
28.19/28.25	c iter 734 time 27.1619 not-muc 248113 unknown 841 muc 680
28.19/28.25	c iter 735 time 27.2029 not-muc 248113 unknown 840 muc 681
28.19/28.25	c iter 736 time 27.2449 not-muc 248113 unknown 839 muc 682
28.19/28.25	c iter 737 time 27.2849 not-muc 248113 unknown 838 muc 683
28.19/28.25	c iter 738 time 27.3258 not-muc 248113 unknown 837 muc 684
28.19/28.25	c iter 739 time 27.3658 not-muc 248113 unknown 836 muc 685
28.19/28.25	c iter 740 time 27.4078 not-muc 248113 unknown 835 muc 686
28.19/28.25	c iter 741 time 27.4478 not-muc 248113 unknown 834 muc 687
28.19/28.25	c iter 742 time 27.4888 not-muc 248113 unknown 833 muc 688
28.19/28.25	c iter 743 time 27.5298 not-muc 248113 unknown 832 muc 689
28.19/28.25	c iter 744 time 27.5708 not-muc 248113 unknown 831 muc 690
28.19/28.25	c iter 745 time 27.6108 not-muc 248113 unknown 830 muc 691
28.19/28.25	c iter 746 time 27.6518 not-muc 248113 unknown 829 muc 692
28.19/28.25	c iter 747 time 27.6928 not-muc 248113 unknown 828 muc 693
28.19/28.25	c iter 748 time 27.7338 not-muc 248113 unknown 827 muc 694
28.19/28.25	c iter 749 time 27.7748 not-muc 248113 unknown 826 muc 695
28.19/28.25	c iter 750 time 27.8168 not-muc 248113 unknown 825 muc 696
28.19/28.25	c iter 751 time 27.8578 not-muc 248113 unknown 824 muc 697
28.19/28.25	c iter 752 time 27.8988 not-muc 248113 unknown 823 muc 698
28.19/28.25	c iter 753 time 27.9398 not-muc 248113 unknown 822 muc 699
28.19/28.25	c iter 754 time 27.9817 not-muc 248113 unknown 821 muc 700
28.19/28.25	c iter 755 time 28.0217 not-muc 248113 unknown 820 muc 701
28.19/28.25	c iter 756 time 28.0637 not-muc 248113 unknown 819 muc 702
28.19/28.25	c iter 757 time 28.1047 not-muc 248113 unknown 818 muc 703
28.19/28.25	c iter 758 time 28.1457 not-muc 248113 unknown 817 muc 704
28.19/28.25	c iter 759 time 28.1867 not-muc 248113 unknown 816 muc 705
30.99/31.07	c iter 760 time 28.2277 not-muc 248113 unknown 815 muc 706
30.99/31.07	c iter 761 time 28.2687 not-muc 248113 unknown 814 muc 707
30.99/31.07	c iter 762 time 28.3117 not-muc 248113 unknown 813 muc 708
30.99/31.07	c iter 763 time 28.3537 not-muc 248113 unknown 812 muc 709
30.99/31.07	c iter 764 time 28.3947 not-muc 248113 unknown 811 muc 710
30.99/31.07	c iter 765 time 28.4347 not-muc 248113 unknown 810 muc 711
30.99/31.07	c iter 766 time 28.4767 not-muc 248113 unknown 809 muc 712
30.99/31.07	c iter 767 time 28.5187 not-muc 248113 unknown 808 muc 713
30.99/31.07	c iter 768 time 28.5607 not-muc 248113 unknown 807 muc 714
30.99/31.07	c iter 769 time 28.6017 not-muc 248113 unknown 806 muc 715
30.99/31.07	c iter 770 time 28.6426 not-muc 248113 unknown 805 muc 716
30.99/31.07	c iter 771 time 28.6836 not-muc 248113 unknown 804 muc 717
30.99/31.07	c iter 772 time 28.7246 not-muc 248113 unknown 803 muc 718
30.99/31.07	c iter 773 time 28.7656 not-muc 248113 unknown 802 muc 719
30.99/31.07	c iter 774 time 28.8076 not-muc 248113 unknown 801 muc 720
30.99/31.07	c iter 775 time 28.8486 not-muc 248113 unknown 800 muc 721
30.99/31.07	c iter 776 time 28.8496 not-muc 248121 unknown 792 muc 721
30.99/31.07	c iter 777 time 28.8916 not-muc 248121 unknown 791 muc 722
30.99/31.07	c iter 778 time 28.9336 not-muc 248121 unknown 790 muc 723
30.99/31.07	c iter 779 time 28.9746 not-muc 248121 unknown 789 muc 724
30.99/31.07	c iter 780 time 29.0156 not-muc 248121 unknown 788 muc 725
30.99/31.07	c iter 781 time 29.0576 not-muc 248121 unknown 787 muc 726
30.99/31.07	c iter 782 time 29.0986 not-muc 248121 unknown 786 muc 727
30.99/31.07	c iter 783 time 29.1396 not-muc 248121 unknown 785 muc 728
30.99/31.07	c iter 784 time 29.1816 not-muc 248121 unknown 784 muc 729
30.99/31.07	c iter 785 time 29.2236 not-muc 248121 unknown 783 muc 730
30.99/31.07	c iter 786 time 29.2646 not-muc 248121 unknown 782 muc 731
30.99/31.07	c iter 787 time 29.3055 not-muc 248121 unknown 781 muc 732
30.99/31.07	c iter 788 time 29.3465 not-muc 248121 unknown 780 muc 733
30.99/31.07	c iter 789 time 29.3885 not-muc 248121 unknown 779 muc 734
30.99/31.07	c iter 790 time 29.4295 not-muc 248121 unknown 778 muc 735
30.99/31.07	c iter 791 time 29.4705 not-muc 248121 unknown 777 muc 736
30.99/31.07	c iter 792 time 29.5125 not-muc 248121 unknown 776 muc 737
30.99/31.07	c iter 793 time 29.5535 not-muc 248121 unknown 775 muc 738
30.99/31.07	c iter 794 time 29.5955 not-muc 248121 unknown 774 muc 739
30.99/31.07	c iter 795 time 29.6365 not-muc 248121 unknown 773 muc 740
30.99/31.07	c iter 796 time 29.6785 not-muc 248121 unknown 772 muc 741
30.99/31.07	c iter 797 time 29.7185 not-muc 248121 unknown 771 muc 742
30.99/31.07	c iter 798 time 29.7605 not-muc 248121 unknown 770 muc 743
30.99/31.07	c iter 799 time 29.8015 not-muc 248121 unknown 769 muc 744
30.99/31.07	c iter 800 time 29.8435 not-muc 248121 unknown 768 muc 745
30.99/31.07	c iter 801 time 29.8845 not-muc 248121 unknown 767 muc 746
30.99/31.07	c iter 802 time 29.9264 not-muc 248121 unknown 766 muc 747
30.99/31.07	c iter 803 time 29.9684 not-muc 248121 unknown 765 muc 748
30.99/31.07	c iter 804 time 30.0094 not-muc 248121 unknown 764 muc 749
30.99/31.07	c iter 805 time 30.0504 not-muc 248121 unknown 763 muc 750
30.99/31.07	c iter 806 time 30.0924 not-muc 248121 unknown 762 muc 751
30.99/31.07	c iter 807 time 30.1344 not-muc 248121 unknown 761 muc 752
30.99/31.07	c iter 808 time 30.1764 not-muc 248121 unknown 760 muc 753
30.99/31.07	c iter 809 time 30.2174 not-muc 248121 unknown 759 muc 754
30.99/31.07	c iter 810 time 30.2584 not-muc 248121 unknown 758 muc 755
30.99/31.07	c iter 811 time 30.3004 not-muc 248121 unknown 757 muc 756
30.99/31.07	c iter 812 time 30.3414 not-muc 248121 unknown 756 muc 757
30.99/31.07	c iter 813 time 30.3824 not-muc 248121 unknown 755 muc 758
30.99/31.07	c iter 814 time 30.4244 not-muc 248121 unknown 754 muc 759
30.99/31.07	c iter 815 time 30.4664 not-muc 248121 unknown 753 muc 760
30.99/31.07	c iter 816 time 30.5084 not-muc 248121 unknown 752 muc 761
30.99/31.07	c iter 817 time 30.5494 not-muc 248121 unknown 751 muc 762
30.99/31.07	c iter 818 time 30.5903 not-muc 248121 unknown 750 muc 763
30.99/31.07	c iter 819 time 30.6323 not-muc 248121 unknown 749 muc 764
30.99/31.07	c iter 820 time 30.6743 not-muc 248121 unknown 748 muc 765
30.99/31.07	c iter 821 time 30.7153 not-muc 248121 unknown 747 muc 766
30.99/31.07	c iter 822 time 30.7573 not-muc 248121 unknown 746 muc 767
30.99/31.07	c iter 823 time 30.7993 not-muc 248121 unknown 745 muc 768
30.99/31.07	c iter 824 time 30.8413 not-muc 248121 unknown 744 muc 769
30.99/31.07	c iter 825 time 30.8833 not-muc 248121 unknown 743 muc 770
30.99/31.07	c iter 826 time 30.9253 not-muc 248121 unknown 742 muc 771
30.99/31.07	c iter 827 time 30.9673 not-muc 248121 unknown 741 muc 772
30.99/31.07	c iter 828 time 31.0083 not-muc 248121 unknown 740 muc 773
33.89/33.99	c iter 829 time 31.0503 not-muc 248121 unknown 739 muc 774
33.89/33.99	c iter 830 time 31.0913 not-muc 248121 unknown 738 muc 775
33.89/33.99	c iter 831 time 31.1333 not-muc 248121 unknown 737 muc 776
33.89/33.99	c iter 832 time 31.1743 not-muc 248121 unknown 736 muc 777
33.89/33.99	c iter 833 time 31.2153 not-muc 248121 unknown 735 muc 778
33.89/33.99	c iter 834 time 31.2572 not-muc 248121 unknown 734 muc 779
33.89/33.99	c iter 835 time 31.2992 not-muc 248121 unknown 733 muc 780
33.89/33.99	c iter 836 time 31.3412 not-muc 248121 unknown 732 muc 781
33.89/33.99	c iter 837 time 31.3822 not-muc 248121 unknown 731 muc 782
33.89/33.99	c iter 838 time 31.4232 not-muc 248121 unknown 730 muc 783
33.89/33.99	c iter 839 time 31.4652 not-muc 248121 unknown 729 muc 784
33.89/33.99	c iter 840 time 31.5072 not-muc 248121 unknown 728 muc 785
33.89/33.99	c iter 841 time 31.5482 not-muc 248121 unknown 727 muc 786
33.89/33.99	c iter 842 time 31.5902 not-muc 248121 unknown 726 muc 787
33.89/33.99	c iter 843 time 31.6322 not-muc 248121 unknown 725 muc 788
33.89/33.99	c iter 844 time 31.6732 not-muc 248121 unknown 724 muc 789
33.89/33.99	c iter 845 time 31.7152 not-muc 248121 unknown 723 muc 790
33.89/33.99	c iter 846 time 31.7572 not-muc 248121 unknown 722 muc 791
33.89/33.99	c iter 847 time 31.7992 not-muc 248121 unknown 721 muc 792
33.89/33.99	c iter 848 time 31.8402 not-muc 248121 unknown 720 muc 793
33.89/33.99	c iter 849 time 31.8822 not-muc 248121 unknown 719 muc 794
33.89/33.99	c iter 850 time 31.9241 not-muc 248121 unknown 718 muc 795
33.89/33.99	c iter 851 time 31.9651 not-muc 248121 unknown 717 muc 796
33.89/33.99	c iter 852 time 32.0071 not-muc 248121 unknown 716 muc 797
33.89/33.99	c iter 853 time 32.0491 not-muc 248121 unknown 715 muc 798
33.89/33.99	c iter 854 time 32.0901 not-muc 248121 unknown 714 muc 799
33.89/33.99	c iter 855 time 32.1321 not-muc 248121 unknown 713 muc 800
33.89/33.99	c iter 856 time 32.1741 not-muc 248121 unknown 712 muc 801
33.89/33.99	c iter 857 time 32.2151 not-muc 248121 unknown 711 muc 802
33.89/33.99	c iter 858 time 32.2571 not-muc 248121 unknown 710 muc 803
33.89/33.99	c iter 859 time 32.2991 not-muc 248121 unknown 709 muc 804
33.89/33.99	c iter 860 time 32.3421 not-muc 248121 unknown 708 muc 805
33.89/33.99	c iter 861 time 32.3831 not-muc 248121 unknown 707 muc 806
33.89/33.99	c iter 862 time 32.4251 not-muc 248121 unknown 706 muc 807
33.89/33.99	c iter 863 time 32.4671 not-muc 248121 unknown 705 muc 808
33.89/33.99	c iter 864 time 32.5081 not-muc 248121 unknown 704 muc 809
33.89/33.99	c iter 865 time 32.5501 not-muc 248121 unknown 703 muc 810
33.89/33.99	c iter 866 time 32.592 not-muc 248121 unknown 702 muc 811
33.89/33.99	c iter 867 time 32.634 not-muc 248121 unknown 701 muc 812
33.89/33.99	c iter 868 time 32.676 not-muc 248121 unknown 700 muc 813
33.89/33.99	c iter 869 time 32.718 not-muc 248121 unknown 699 muc 814
33.89/33.99	c iter 870 time 32.76 not-muc 248121 unknown 698 muc 815
33.89/33.99	c iter 871 time 32.802 not-muc 248121 unknown 697 muc 816
33.89/33.99	c iter 872 time 32.844 not-muc 248121 unknown 696 muc 817
33.89/33.99	c iter 873 time 32.886 not-muc 248121 unknown 695 muc 818
33.89/33.99	c iter 874 time 32.927 not-muc 248121 unknown 694 muc 819
33.89/33.99	c iter 875 time 32.969 not-muc 248121 unknown 693 muc 820
33.89/33.99	c iter 876 time 33.011 not-muc 248121 unknown 692 muc 821
33.89/33.99	c iter 877 time 33.053 not-muc 248121 unknown 691 muc 822
33.89/33.99	c iter 878 time 33.094 not-muc 248121 unknown 690 muc 823
33.89/33.99	c iter 879 time 33.136 not-muc 248121 unknown 689 muc 824
33.89/33.99	c iter 880 time 33.178 not-muc 248121 unknown 688 muc 825
33.89/33.99	c iter 881 time 33.2199 not-muc 248121 unknown 687 muc 826
33.89/33.99	c iter 882 time 33.2619 not-muc 248121 unknown 686 muc 827
33.89/33.99	c iter 883 time 33.3039 not-muc 248121 unknown 685 muc 828
33.89/33.99	c iter 884 time 33.3469 not-muc 248121 unknown 684 muc 829
33.89/33.99	c iter 885 time 33.3879 not-muc 248121 unknown 683 muc 830
33.89/33.99	c iter 886 time 33.4299 not-muc 248121 unknown 682 muc 831
33.89/33.99	c iter 887 time 33.4719 not-muc 248121 unknown 681 muc 832
33.89/33.99	c iter 888 time 33.5139 not-muc 248121 unknown 680 muc 833
33.89/33.99	c iter 889 time 33.5549 not-muc 248121 unknown 679 muc 834
33.89/33.99	c iter 890 time 33.5979 not-muc 248121 unknown 678 muc 835
33.89/33.99	c iter 891 time 33.6399 not-muc 248121 unknown 677 muc 836
33.89/33.99	c iter 892 time 33.6819 not-muc 248121 unknown 676 muc 837
33.89/33.99	c iter 893 time 33.7229 not-muc 248121 unknown 675 muc 838
33.89/33.99	c iter 894 time 33.7649 not-muc 248121 unknown 674 muc 839
33.89/33.99	c iter 895 time 33.8069 not-muc 248121 unknown 673 muc 840
33.89/33.99	c iter 896 time 33.8489 not-muc 248121 unknown 672 muc 841
33.89/33.99	c iter 897 time 33.8898 not-muc 248121 unknown 671 muc 842
33.89/33.99	c iter 898 time 33.9308 not-muc 248121 unknown 670 muc 843
36.59/36.64	c iter 899 time 33.9728 not-muc 248121 unknown 669 muc 844
36.59/36.64	c iter 900 time 34.0138 not-muc 248121 unknown 668 muc 845
36.59/36.64	c iter 901 time 34.0558 not-muc 248121 unknown 667 muc 846
36.59/36.64	c iter 902 time 34.0978 not-muc 248121 unknown 666 muc 847
36.59/36.64	c iter 903 time 34.1388 not-muc 248121 unknown 665 muc 848
36.59/36.64	c iter 904 time 34.1808 not-muc 248121 unknown 664 muc 849
36.59/36.64	c iter 905 time 34.2228 not-muc 248121 unknown 663 muc 850
36.59/36.64	c iter 906 time 34.2638 not-muc 248121 unknown 662 muc 851
36.59/36.64	c iter 907 time 34.3048 not-muc 248121 unknown 661 muc 852
36.59/36.64	c iter 908 time 34.3478 not-muc 248121 unknown 660 muc 853
36.59/36.64	c iter 909 time 34.3888 not-muc 248121 unknown 659 muc 854
36.59/36.64	c iter 910 time 34.4308 not-muc 248121 unknown 658 muc 855
36.59/36.64	c iter 911 time 34.4738 not-muc 248121 unknown 657 muc 856
36.59/36.64	c iter 912 time 34.5148 not-muc 248121 unknown 656 muc 857
36.59/36.64	c iter 913 time 34.5168 not-muc 248122 unknown 655 muc 857
36.59/36.64	c iter 914 time 34.5577 not-muc 248122 unknown 654 muc 858
36.59/36.64	c iter 915 time 34.6007 not-muc 248122 unknown 653 muc 859
36.59/36.64	c iter 916 time 34.6427 not-muc 248122 unknown 652 muc 860
36.59/36.64	c iter 917 time 34.6837 not-muc 248122 unknown 651 muc 861
36.59/36.64	c iter 918 time 34.7257 not-muc 248122 unknown 650 muc 862
36.59/36.64	c iter 919 time 34.7677 not-muc 248122 unknown 649 muc 863
36.59/36.64	c iter 920 time 34.8097 not-muc 248122 unknown 648 muc 864
36.59/36.64	c iter 921 time 34.8517 not-muc 248122 unknown 647 muc 865
36.59/36.64	c iter 922 time 34.8937 not-muc 248122 unknown 646 muc 866
36.59/36.64	c iter 923 time 34.9357 not-muc 248122 unknown 645 muc 867
36.59/36.64	c iter 924 time 34.9777 not-muc 248122 unknown 644 muc 868
36.59/36.64	c iter 925 time 35.0197 not-muc 248122 unknown 643 muc 869
36.59/36.64	c iter 926 time 35.0617 not-muc 248122 unknown 642 muc 870
36.59/36.64	c iter 927 time 35.1047 not-muc 248122 unknown 641 muc 871
36.59/36.64	c iter 928 time 35.1467 not-muc 248122 unknown 640 muc 872
36.59/36.64	c iter 929 time 35.1887 not-muc 248122 unknown 639 muc 873
36.59/36.64	c iter 930 time 35.2306 not-muc 248122 unknown 638 muc 874
36.59/36.64	c iter 931 time 35.2726 not-muc 248122 unknown 637 muc 875
36.59/36.64	c iter 932 time 35.3146 not-muc 248122 unknown 636 muc 876
36.59/36.64	c iter 933 time 35.3566 not-muc 248122 unknown 635 muc 877
36.59/36.64	c iter 934 time 35.3986 not-muc 248122 unknown 634 muc 878
36.59/36.64	c iter 935 time 35.4416 not-muc 248122 unknown 633 muc 879
36.59/36.64	c iter 936 time 35.4836 not-muc 248122 unknown 632 muc 880
36.59/36.64	c iter 937 time 35.4846 not-muc 248138 unknown 616 muc 880
36.59/36.64	c iter 938 time 35.5266 not-muc 248138 unknown 615 muc 881
36.59/36.64	c iter 939 time 35.5686 not-muc 248138 unknown 614 muc 882
36.59/36.64	c iter 940 time 35.5706 not-muc 248139 unknown 613 muc 882
36.59/36.64	c iter 941 time 35.5706 not-muc 248145 unknown 607 muc 882
36.59/36.64	c iter 942 time 35.6136 not-muc 248145 unknown 606 muc 883
36.59/36.64	c iter 943 time 35.6556 not-muc 248145 unknown 605 muc 884
36.59/36.64	c iter 944 time 35.6976 not-muc 248145 unknown 604 muc 885
36.59/36.64	c iter 945 time 35.7396 not-muc 248145 unknown 603 muc 886
36.59/36.64	c iter 946 time 35.7816 not-muc 248145 unknown 602 muc 887
36.59/36.64	c iter 947 time 35.8226 not-muc 248145 unknown 601 muc 888
36.59/36.64	c iter 948 time 35.8645 not-muc 248145 unknown 600 muc 889
36.59/36.64	c iter 949 time 35.9075 not-muc 248145 unknown 599 muc 890
36.59/36.64	c iter 950 time 35.9085 not-muc 248147 unknown 597 muc 890
36.59/36.64	c iter 951 time 35.9095 not-muc 248148 unknown 596 muc 890
36.59/36.64	c iter 952 time 35.9505 not-muc 248148 unknown 595 muc 891
36.59/36.64	c iter 953 time 35.9935 not-muc 248148 unknown 594 muc 892
36.59/36.64	c iter 954 time 36.0355 not-muc 248148 unknown 593 muc 893
36.59/36.64	c iter 955 time 36.0775 not-muc 248148 unknown 592 muc 894
36.59/36.64	c iter 956 time 36.1195 not-muc 248148 unknown 591 muc 895
36.59/36.64	c iter 957 time 36.1615 not-muc 248148 unknown 590 muc 896
36.59/36.64	c iter 958 time 36.2035 not-muc 248148 unknown 589 muc 897
36.59/36.64	c iter 959 time 36.2455 not-muc 248148 unknown 588 muc 898
36.59/36.64	c iter 960 time 36.2875 not-muc 248148 unknown 587 muc 899
36.59/36.64	c iter 961 time 36.3295 not-muc 248148 unknown 586 muc 900
36.59/36.64	c iter 962 time 36.3715 not-muc 248148 unknown 585 muc 901
36.59/36.64	c iter 963 time 36.4135 not-muc 248148 unknown 584 muc 902
36.59/36.64	c iter 964 time 36.4565 not-muc 248148 unknown 583 muc 903
36.59/36.64	c iter 965 time 36.4975 not-muc 248148 unknown 582 muc 904
36.59/36.64	c iter 966 time 36.5404 not-muc 248148 unknown 581 muc 905
36.59/36.64	c iter 967 time 36.5824 not-muc 248148 unknown 580 muc 906
39.49/39.57	c iter 968 time 36.6254 not-muc 248148 unknown 579 muc 907
39.49/39.57	c iter 969 time 36.6674 not-muc 248148 unknown 578 muc 908
39.49/39.57	c iter 970 time 36.7094 not-muc 248148 unknown 577 muc 909
39.49/39.57	c iter 971 time 36.7514 not-muc 248148 unknown 576 muc 910
39.49/39.57	c iter 972 time 36.7944 not-muc 248148 unknown 575 muc 911
39.49/39.57	c iter 973 time 36.8354 not-muc 248148 unknown 574 muc 912
39.49/39.57	c iter 974 time 36.8774 not-muc 248148 unknown 573 muc 913
39.49/39.57	c iter 975 time 36.9204 not-muc 248148 unknown 572 muc 914
39.49/39.57	c iter 976 time 36.9624 not-muc 248148 unknown 571 muc 915
39.49/39.57	c iter 977 time 37.0054 not-muc 248148 unknown 570 muc 916
39.49/39.57	c iter 978 time 37.0464 not-muc 248148 unknown 569 muc 917
39.49/39.57	c iter 979 time 37.0884 not-muc 248148 unknown 568 muc 918
39.49/39.57	c iter 980 time 37.1314 not-muc 248148 unknown 567 muc 919
39.49/39.57	c iter 981 time 37.1733 not-muc 248148 unknown 566 muc 920
39.49/39.57	c iter 982 time 37.2153 not-muc 248148 unknown 565 muc 921
39.49/39.57	c iter 983 time 37.2573 not-muc 248148 unknown 564 muc 922
39.49/39.57	c iter 984 time 37.3003 not-muc 248148 unknown 563 muc 923
39.49/39.57	c iter 985 time 37.3423 not-muc 248148 unknown 562 muc 924
39.49/39.57	c iter 986 time 37.3843 not-muc 248148 unknown 561 muc 925
39.49/39.57	c iter 987 time 37.4263 not-muc 248148 unknown 560 muc 926
39.49/39.57	c iter 988 time 37.4693 not-muc 248148 unknown 559 muc 927
39.49/39.57	c iter 989 time 37.5103 not-muc 248148 unknown 558 muc 928
39.49/39.57	c iter 990 time 37.5523 not-muc 248148 unknown 557 muc 929
39.49/39.57	c iter 991 time 37.5953 not-muc 248148 unknown 556 muc 930
39.49/39.57	c iter 992 time 37.6383 not-muc 248148 unknown 555 muc 931
39.49/39.57	c iter 993 time 37.6803 not-muc 248148 unknown 554 muc 932
39.49/39.57	c iter 994 time 37.7233 not-muc 248148 unknown 553 muc 933
39.49/39.57	c iter 995 time 37.7643 not-muc 248148 unknown 552 muc 934
39.49/39.57	c iter 996 time 37.8063 not-muc 248148 unknown 551 muc 935
39.49/39.57	c iter 997 time 37.8492 not-muc 248148 unknown 550 muc 936
39.49/39.57	c iter 998 time 37.8912 not-muc 248148 unknown 549 muc 937
39.49/39.57	c iter 999 time 37.9322 not-muc 248148 unknown 548 muc 938
39.49/39.57	c iter 1000 time 37.9742 not-muc 248148 unknown 547 muc 939
39.49/39.57	c iter 1001 time 38.0162 not-muc 248148 unknown 546 muc 940
39.49/39.57	c iter 1002 time 38.0592 not-muc 248148 unknown 545 muc 941
39.49/39.57	c iter 1003 time 38.1012 not-muc 248148 unknown 544 muc 942
39.49/39.57	c iter 1004 time 38.1442 not-muc 248148 unknown 543 muc 943
39.49/39.57	c iter 1005 time 38.1872 not-muc 248148 unknown 542 muc 944
39.49/39.57	c iter 1006 time 38.2292 not-muc 248148 unknown 541 muc 945
39.49/39.57	c iter 1007 time 38.2722 not-muc 248148 unknown 540 muc 946
39.49/39.57	c iter 1008 time 38.3152 not-muc 248148 unknown 539 muc 947
39.49/39.57	c iter 1009 time 38.3572 not-muc 248148 unknown 538 muc 948
39.49/39.57	c iter 1010 time 38.4002 not-muc 248148 unknown 537 muc 949
39.49/39.57	c iter 1011 time 38.4432 not-muc 248148 unknown 536 muc 950
39.49/39.57	c iter 1012 time 38.4861 not-muc 248148 unknown 535 muc 951
39.49/39.57	c iter 1013 time 38.5291 not-muc 248148 unknown 534 muc 952
39.49/39.57	c iter 1014 time 38.5711 not-muc 248148 unknown 533 muc 953
39.49/39.57	c iter 1015 time 38.6141 not-muc 248148 unknown 532 muc 954
39.49/39.57	c iter 1016 time 38.6571 not-muc 248148 unknown 531 muc 955
39.49/39.57	c iter 1017 time 38.6991 not-muc 248148 unknown 530 muc 956
39.49/39.57	c iter 1018 time 38.7421 not-muc 248148 unknown 529 muc 957
39.49/39.57	c iter 1019 time 38.7841 not-muc 248148 unknown 528 muc 958
39.49/39.57	c iter 1020 time 38.8271 not-muc 248148 unknown 527 muc 959
39.49/39.57	c iter 1021 time 38.8701 not-muc 248148 unknown 526 muc 960
39.49/39.57	c iter 1022 time 38.9131 not-muc 248148 unknown 525 muc 961
39.49/39.57	c iter 1023 time 38.9551 not-muc 248148 unknown 524 muc 962
39.49/39.57	c iter 1024 time 38.9981 not-muc 248148 unknown 523 muc 963
39.49/39.57	c iter 1025 time 39.0411 not-muc 248148 unknown 522 muc 964
39.49/39.57	c iter 1026 time 39.0841 not-muc 248148 unknown 521 muc 965
39.49/39.57	c iter 1027 time 39.1271 not-muc 248148 unknown 520 muc 966
39.49/39.57	c iter 1028 time 39.169 not-muc 248148 unknown 519 muc 967
39.49/39.57	c iter 1029 time 39.212 not-muc 248148 unknown 518 muc 968
39.49/39.57	c iter 1030 time 39.255 not-muc 248148 unknown 517 muc 969
39.49/39.57	c iter 1031 time 39.297 not-muc 248148 unknown 516 muc 970
39.49/39.57	c iter 1032 time 39.341 not-muc 248148 unknown 515 muc 971
39.49/39.57	c iter 1033 time 39.383 not-muc 248148 unknown 514 muc 972
39.49/39.57	c iter 1034 time 39.426 not-muc 248148 unknown 513 muc 973
39.49/39.57	c iter 1035 time 39.469 not-muc 248148 unknown 512 muc 974
39.49/39.57	c iter 1036 time 39.512 not-muc 248148 unknown 511 muc 975
42.29/42.37	c iter 1037 time 39.555 not-muc 248148 unknown 510 muc 976
42.29/42.37	c iter 1038 time 39.556 not-muc 248150 unknown 508 muc 976
42.29/42.37	c iter 1039 time 39.599 not-muc 248150 unknown 507 muc 977
42.29/42.37	c iter 1040 time 39.642 not-muc 248150 unknown 506 muc 978
42.29/42.37	c iter 1041 time 39.685 not-muc 248150 unknown 505 muc 979
42.29/42.37	c iter 1042 time 39.727 not-muc 248150 unknown 504 muc 980
42.29/42.37	c iter 1043 time 39.77 not-muc 248150 unknown 503 muc 981
42.29/42.37	c iter 1044 time 39.8129 not-muc 248150 unknown 502 muc 982
42.29/42.37	c iter 1045 time 39.8559 not-muc 248150 unknown 501 muc 983
42.29/42.37	c iter 1046 time 39.8989 not-muc 248150 unknown 500 muc 984
42.29/42.37	c iter 1047 time 39.9419 not-muc 248150 unknown 499 muc 985
42.29/42.37	c iter 1048 time 39.9849 not-muc 248150 unknown 498 muc 986
42.29/42.37	c iter 1049 time 40.0279 not-muc 248150 unknown 497 muc 987
42.29/42.37	c iter 1050 time 40.0709 not-muc 248150 unknown 496 muc 988
42.29/42.37	c iter 1051 time 40.1139 not-muc 248150 unknown 495 muc 989
42.29/42.37	c iter 1052 time 40.1569 not-muc 248150 unknown 494 muc 990
42.29/42.37	c iter 1053 time 40.1999 not-muc 248150 unknown 493 muc 991
42.29/42.37	c iter 1054 time 40.2429 not-muc 248150 unknown 492 muc 992
42.29/42.37	c iter 1055 time 40.2859 not-muc 248150 unknown 491 muc 993
42.29/42.37	c iter 1056 time 40.3289 not-muc 248150 unknown 490 muc 994
42.29/42.37	c iter 1057 time 40.3709 not-muc 248150 unknown 489 muc 995
42.29/42.37	c iter 1058 time 40.4139 not-muc 248150 unknown 488 muc 996
42.29/42.37	c iter 1059 time 40.4568 not-muc 248150 unknown 487 muc 997
42.29/42.37	c iter 1060 time 40.4988 not-muc 248150 unknown 486 muc 998
42.29/42.37	c iter 1061 time 40.5408 not-muc 248150 unknown 485 muc 999
42.29/42.37	c iter 1062 time 40.5838 not-muc 248150 unknown 484 muc 1000
42.29/42.37	c iter 1063 time 40.6268 not-muc 248150 unknown 483 muc 1001
42.29/42.37	c iter 1064 time 40.6278 not-muc 248153 unknown 480 muc 1001
42.29/42.37	c iter 1065 time 40.6698 not-muc 248153 unknown 479 muc 1002
42.29/42.37	c iter 1066 time 40.7128 not-muc 248153 unknown 478 muc 1003
42.29/42.37	c iter 1067 time 40.7558 not-muc 248153 unknown 477 muc 1004
42.29/42.37	c iter 1068 time 40.7988 not-muc 248153 unknown 476 muc 1005
42.29/42.37	c iter 1069 time 40.8418 not-muc 248153 unknown 475 muc 1006
42.29/42.37	c iter 1070 time 40.8848 not-muc 248153 unknown 474 muc 1007
42.29/42.37	c iter 1071 time 40.9278 not-muc 248153 unknown 473 muc 1008
42.29/42.37	c iter 1072 time 40.9708 not-muc 248153 unknown 472 muc 1009
42.29/42.37	c iter 1073 time 41.0138 not-muc 248153 unknown 471 muc 1010
42.29/42.37	c iter 1074 time 41.0568 not-muc 248153 unknown 470 muc 1011
42.29/42.37	c iter 1075 time 41.0998 not-muc 248153 unknown 469 muc 1012
42.29/42.37	c iter 1076 time 41.1427 not-muc 248153 unknown 468 muc 1013
42.29/42.37	c iter 1077 time 41.1857 not-muc 248153 unknown 467 muc 1014
42.29/42.37	c iter 1078 time 41.2287 not-muc 248153 unknown 466 muc 1015
42.29/42.37	c iter 1079 time 41.2717 not-muc 248153 unknown 465 muc 1016
42.29/42.37	c iter 1080 time 41.3147 not-muc 248153 unknown 464 muc 1017
42.29/42.37	c iter 1081 time 41.3577 not-muc 248153 unknown 463 muc 1018
42.29/42.37	c iter 1082 time 41.4007 not-muc 248153 unknown 462 muc 1019
42.29/42.37	c iter 1083 time 41.4447 not-muc 248153 unknown 461 muc 1020
42.29/42.37	c iter 1084 time 41.4867 not-muc 248153 unknown 460 muc 1021
42.29/42.37	c iter 1085 time 41.5297 not-muc 248153 unknown 459 muc 1022
42.29/42.37	c iter 1086 time 41.5737 not-muc 248153 unknown 458 muc 1023
42.29/42.37	c iter 1087 time 41.6167 not-muc 248153 unknown 457 muc 1024
42.29/42.37	c iter 1088 time 41.6597 not-muc 248153 unknown 456 muc 1025
42.29/42.37	c iter 1089 time 41.7027 not-muc 248153 unknown 455 muc 1026
42.29/42.37	c iter 1090 time 41.7457 not-muc 248153 unknown 454 muc 1027
42.29/42.37	c iter 1091 time 41.7886 not-muc 248153 unknown 453 muc 1028
42.29/42.37	c iter 1092 time 41.8316 not-muc 248153 unknown 452 muc 1029
42.29/42.37	c iter 1093 time 41.8746 not-muc 248153 unknown 451 muc 1030
42.29/42.37	c iter 1094 time 41.9176 not-muc 248153 unknown 450 muc 1031
42.29/42.37	c iter 1095 time 41.9606 not-muc 248153 unknown 449 muc 1032
42.29/42.37	c iter 1096 time 42.0036 not-muc 248153 unknown 448 muc 1033
42.29/42.37	c iter 1097 time 42.0466 not-muc 248153 unknown 447 muc 1034
42.29/42.37	c iter 1098 time 42.0486 not-muc 248160 unknown 440 muc 1034
42.29/42.37	c iter 1099 time 42.0916 not-muc 248160 unknown 439 muc 1035
42.29/42.37	c iter 1100 time 42.1336 not-muc 248160 unknown 438 muc 1036
42.29/42.37	c iter 1101 time 42.1776 not-muc 248160 unknown 437 muc 1037
42.29/42.37	c iter 1102 time 42.2206 not-muc 248160 unknown 436 muc 1038
42.29/42.37	c iter 1103 time 42.2636 not-muc 248160 unknown 435 muc 1039
42.29/42.37	c iter 1104 time 42.3066 not-muc 248160 unknown 434 muc 1040
45.20/45.27	c iter 1105 time 42.3496 not-muc 248160 unknown 433 muc 1041
45.20/45.27	c iter 1106 time 42.3926 not-muc 248160 unknown 432 muc 1042
45.20/45.27	c iter 1107 time 42.4355 not-muc 248160 unknown 431 muc 1043
45.20/45.27	c iter 1108 time 42.4795 not-muc 248160 unknown 430 muc 1044
45.20/45.27	c iter 1109 time 42.5225 not-muc 248160 unknown 429 muc 1045
45.20/45.27	c iter 1110 time 42.5655 not-muc 248160 unknown 428 muc 1046
45.20/45.27	c iter 1111 time 42.6085 not-muc 248160 unknown 427 muc 1047
45.20/45.27	c iter 1112 time 42.6525 not-muc 248160 unknown 426 muc 1048
45.20/45.27	c iter 1113 time 42.6955 not-muc 248160 unknown 425 muc 1049
45.20/45.27	c iter 1114 time 42.7385 not-muc 248160 unknown 424 muc 1050
45.20/45.27	c iter 1115 time 42.7825 not-muc 248160 unknown 423 muc 1051
45.20/45.27	c iter 1116 time 42.8255 not-muc 248160 unknown 422 muc 1052
45.20/45.27	c iter 1117 time 42.8695 not-muc 248160 unknown 421 muc 1053
45.20/45.27	c iter 1118 time 42.9125 not-muc 248160 unknown 420 muc 1054
45.20/45.27	c iter 1119 time 42.9555 not-muc 248160 unknown 419 muc 1055
45.20/45.27	c iter 1120 time 42.9985 not-muc 248160 unknown 418 muc 1056
45.20/45.27	c iter 1121 time 43.0405 not-muc 248160 unknown 417 muc 1057
45.20/45.27	c iter 1122 time 43.0844 not-muc 248160 unknown 416 muc 1058
45.20/45.27	c iter 1123 time 43.1274 not-muc 248160 unknown 415 muc 1059
45.20/45.27	c iter 1124 time 43.1704 not-muc 248160 unknown 414 muc 1060
45.20/45.27	c iter 1125 time 43.2144 not-muc 248160 unknown 413 muc 1061
45.20/45.27	c iter 1126 time 43.2574 not-muc 248160 unknown 412 muc 1062
45.20/45.27	c iter 1127 time 43.3004 not-muc 248160 unknown 411 muc 1063
45.20/45.27	c iter 1128 time 43.3444 not-muc 248160 unknown 410 muc 1064
45.20/45.27	c iter 1129 time 43.3874 not-muc 248160 unknown 409 muc 1065
45.20/45.27	c iter 1130 time 43.4304 not-muc 248160 unknown 408 muc 1066
45.20/45.27	c iter 1131 time 43.4734 not-muc 248160 unknown 407 muc 1067
45.20/45.27	c iter 1132 time 43.5164 not-muc 248160 unknown 406 muc 1068
45.20/45.27	c iter 1133 time 43.5604 not-muc 248160 unknown 405 muc 1069
45.20/45.27	c iter 1134 time 43.6024 not-muc 248160 unknown 404 muc 1070
45.20/45.27	c iter 1135 time 43.6464 not-muc 248160 unknown 403 muc 1071
45.20/45.27	c iter 1136 time 43.6894 not-muc 248160 unknown 402 muc 1072
45.20/45.27	c iter 1137 time 43.7334 not-muc 248160 unknown 401 muc 1073
45.20/45.27	c iter 1138 time 43.7763 not-muc 248160 unknown 400 muc 1074
45.20/45.27	c iter 1139 time 43.8193 not-muc 248160 unknown 399 muc 1075
45.20/45.27	c iter 1140 time 43.8633 not-muc 248160 unknown 398 muc 1076
45.20/45.27	c iter 1141 time 43.9063 not-muc 248160 unknown 397 muc 1077
45.20/45.27	c iter 1142 time 43.9493 not-muc 248160 unknown 396 muc 1078
45.20/45.27	c iter 1143 time 43.9933 not-muc 248160 unknown 395 muc 1079
45.20/45.27	c iter 1144 time 44.0363 not-muc 248160 unknown 394 muc 1080
45.20/45.27	c iter 1145 time 44.0793 not-muc 248160 unknown 393 muc 1081
45.20/45.27	c iter 1146 time 44.1233 not-muc 248160 unknown 392 muc 1082
45.20/45.27	c iter 1147 time 44.1663 not-muc 248160 unknown 391 muc 1083
45.20/45.27	c iter 1148 time 44.2093 not-muc 248160 unknown 390 muc 1084
45.20/45.27	c iter 1149 time 44.2533 not-muc 248160 unknown 389 muc 1085
45.20/45.27	c iter 1150 time 44.2963 not-muc 248160 unknown 388 muc 1086
45.20/45.27	c iter 1151 time 44.3393 not-muc 248160 unknown 387 muc 1087
45.20/45.27	c iter 1152 time 44.3823 not-muc 248160 unknown 386 muc 1088
45.20/45.27	c iter 1153 time 44.4262 not-muc 248160 unknown 385 muc 1089
45.20/45.27	c iter 1154 time 44.4692 not-muc 248160 unknown 384 muc 1090
45.20/45.27	c iter 1155 time 44.5122 not-muc 248160 unknown 383 muc 1091
45.20/45.27	c iter 1156 time 44.5552 not-muc 248160 unknown 382 muc 1092
45.20/45.27	c iter 1157 time 44.5992 not-muc 248160 unknown 381 muc 1093
45.20/45.27	c iter 1158 time 44.6422 not-muc 248160 unknown 380 muc 1094
45.20/45.27	c iter 1159 time 44.6852 not-muc 248160 unknown 379 muc 1095
45.20/45.27	c iter 1160 time 44.7292 not-muc 248160 unknown 378 muc 1096
45.20/45.27	c iter 1161 time 44.7722 not-muc 248160 unknown 377 muc 1097
45.20/45.27	c iter 1162 time 44.8152 not-muc 248160 unknown 376 muc 1098
45.20/45.27	c iter 1163 time 44.8592 not-muc 248160 unknown 375 muc 1099
45.20/45.27	c iter 1164 time 44.9022 not-muc 248160 unknown 374 muc 1100
45.20/45.27	c iter 1165 time 44.9452 not-muc 248160 unknown 373 muc 1101
45.20/45.27	c iter 1166 time 44.9892 not-muc 248160 unknown 372 muc 1102
45.20/45.27	c iter 1167 time 45.0322 not-muc 248160 unknown 371 muc 1103
45.20/45.27	c iter 1168 time 45.0761 not-muc 248160 unknown 370 muc 1104
45.20/45.27	c iter 1169 time 45.1191 not-muc 248160 unknown 369 muc 1105
45.20/45.27	c iter 1170 time 45.1621 not-muc 248160 unknown 368 muc 1106
45.20/45.27	c iter 1171 time 45.2051 not-muc 248160 unknown 367 muc 1107
48.09/48.13	c iter 1172 time 45.2491 not-muc 248160 unknown 366 muc 1108
48.09/48.13	c iter 1173 time 45.2921 not-muc 248160 unknown 365 muc 1109
48.09/48.13	c iter 1174 time 45.3351 not-muc 248160 unknown 364 muc 1110
48.09/48.13	c iter 1175 time 45.3791 not-muc 248160 unknown 363 muc 1111
48.09/48.13	c iter 1176 time 45.4221 not-muc 248160 unknown 362 muc 1112
48.09/48.13	c iter 1177 time 45.4661 not-muc 248160 unknown 361 muc 1113
48.09/48.13	c iter 1178 time 45.5091 not-muc 248160 unknown 360 muc 1114
48.09/48.13	c iter 1179 time 45.5521 not-muc 248160 unknown 359 muc 1115
48.09/48.13	c iter 1180 time 45.5951 not-muc 248160 unknown 358 muc 1116
48.09/48.13	c iter 1181 time 45.5961 not-muc 248162 unknown 356 muc 1116
48.09/48.13	c iter 1182 time 45.6401 not-muc 248162 unknown 355 muc 1117
48.09/48.13	c iter 1183 time 45.6831 not-muc 248162 unknown 354 muc 1118
48.09/48.13	c iter 1184 time 45.727 not-muc 248162 unknown 353 muc 1119
48.09/48.13	c iter 1185 time 45.77 not-muc 248162 unknown 352 muc 1120
48.09/48.13	c iter 1186 time 45.814 not-muc 248162 unknown 351 muc 1121
48.09/48.13	c iter 1187 time 45.857 not-muc 248162 unknown 350 muc 1122
48.09/48.13	c iter 1188 time 45.901 not-muc 248162 unknown 349 muc 1123
48.09/48.13	c iter 1189 time 45.944 not-muc 248162 unknown 348 muc 1124
48.09/48.13	c iter 1190 time 45.988 not-muc 248162 unknown 347 muc 1125
48.09/48.13	c iter 1191 time 46.031 not-muc 248162 unknown 346 muc 1126
48.09/48.13	c iter 1192 time 46.075 not-muc 248162 unknown 345 muc 1127
48.09/48.13	c iter 1193 time 46.118 not-muc 248162 unknown 344 muc 1128
48.09/48.13	c iter 1194 time 46.162 not-muc 248162 unknown 343 muc 1129
48.09/48.13	c iter 1195 time 46.205 not-muc 248162 unknown 342 muc 1130
48.09/48.13	c iter 1196 time 46.249 not-muc 248162 unknown 341 muc 1131
48.09/48.13	c iter 1197 time 46.292 not-muc 248162 unknown 340 muc 1132
48.09/48.13	c iter 1198 time 46.336 not-muc 248162 unknown 339 muc 1133
48.09/48.13	c iter 1199 time 46.3789 not-muc 248162 unknown 338 muc 1134
48.09/48.13	c iter 1200 time 46.4219 not-muc 248162 unknown 337 muc 1135
48.09/48.13	c iter 1201 time 46.4659 not-muc 248162 unknown 336 muc 1136
48.09/48.13	c iter 1202 time 46.5089 not-muc 248162 unknown 335 muc 1137
48.09/48.13	c iter 1203 time 46.5529 not-muc 248162 unknown 334 muc 1138
48.09/48.13	c iter 1204 time 46.5959 not-muc 248162 unknown 333 muc 1139
48.09/48.13	c iter 1205 time 46.6399 not-muc 248162 unknown 332 muc 1140
48.09/48.13	c iter 1206 time 46.6829 not-muc 248162 unknown 331 muc 1141
48.09/48.13	c iter 1207 time 46.7269 not-muc 248162 unknown 330 muc 1142
48.09/48.13	c iter 1208 time 46.7699 not-muc 248162 unknown 329 muc 1143
48.09/48.13	c iter 1209 time 46.8139 not-muc 248162 unknown 328 muc 1144
48.09/48.13	c iter 1210 time 46.8569 not-muc 248162 unknown 327 muc 1145
48.09/48.13	c iter 1211 time 46.8999 not-muc 248162 unknown 326 muc 1146
48.09/48.13	c iter 1212 time 46.9429 not-muc 248162 unknown 325 muc 1147
48.09/48.13	c iter 1213 time 46.9869 not-muc 248162 unknown 324 muc 1148
48.09/48.13	c iter 1214 time 47.0288 not-muc 248162 unknown 323 muc 1149
48.09/48.13	c iter 1215 time 47.0718 not-muc 248162 unknown 322 muc 1150
48.09/48.13	c iter 1216 time 47.1158 not-muc 248162 unknown 321 muc 1151
48.09/48.13	c iter 1217 time 47.1588 not-muc 248162 unknown 320 muc 1152
48.09/48.13	c iter 1218 time 47.2008 not-muc 248162 unknown 319 muc 1153
48.09/48.13	c iter 1219 time 47.2448 not-muc 248162 unknown 318 muc 1154
48.09/48.13	c iter 1220 time 47.2878 not-muc 248162 unknown 317 muc 1155
48.09/48.13	c iter 1221 time 47.3308 not-muc 248162 unknown 316 muc 1156
48.09/48.13	c iter 1222 time 47.3738 not-muc 248162 unknown 315 muc 1157
48.09/48.13	c iter 1223 time 47.4168 not-muc 248162 unknown 314 muc 1158
48.09/48.13	c iter 1224 time 47.4608 not-muc 248162 unknown 313 muc 1159
48.09/48.13	c iter 1225 time 47.5048 not-muc 248162 unknown 312 muc 1160
48.09/48.13	c iter 1226 time 47.5478 not-muc 248162 unknown 311 muc 1161
48.09/48.13	c iter 1227 time 47.5918 not-muc 248162 unknown 310 muc 1162
48.09/48.13	c iter 1228 time 47.6348 not-muc 248162 unknown 309 muc 1163
48.09/48.13	c iter 1229 time 47.6788 not-muc 248162 unknown 308 muc 1164
48.09/48.13	c iter 1230 time 47.7217 not-muc 248162 unknown 307 muc 1165
48.09/48.13	c iter 1231 time 47.7647 not-muc 248162 unknown 306 muc 1166
48.09/48.13	c iter 1232 time 47.8087 not-muc 248162 unknown 305 muc 1167
48.09/48.13	c iter 1233 time 47.8517 not-muc 248162 unknown 304 muc 1168
48.09/48.13	c iter 1234 time 47.8957 not-muc 248162 unknown 303 muc 1169
48.09/48.13	c iter 1235 time 47.9397 not-muc 248162 unknown 302 muc 1170
48.09/48.13	c iter 1236 time 47.9827 not-muc 248162 unknown 301 muc 1171
48.09/48.13	c iter 1237 time 48.0267 not-muc 248162 unknown 300 muc 1172
48.09/48.13	c iter 1238 time 48.0697 not-muc 248162 unknown 299 muc 1173
50.99/51.06	c iter 1239 time 48.1137 not-muc 248162 unknown 298 muc 1174
50.99/51.06	c iter 1240 time 48.1577 not-muc 248162 unknown 297 muc 1175
50.99/51.06	c iter 1241 time 48.2007 not-muc 248162 unknown 296 muc 1176
50.99/51.06	c iter 1242 time 48.2447 not-muc 248162 unknown 295 muc 1177
50.99/51.06	c iter 1243 time 48.2877 not-muc 248162 unknown 294 muc 1178
50.99/51.06	c iter 1244 time 48.3317 not-muc 248162 unknown 293 muc 1179
50.99/51.06	c iter 1245 time 48.3756 not-muc 248162 unknown 292 muc 1180
50.99/51.06	c iter 1246 time 48.4186 not-muc 248162 unknown 291 muc 1181
50.99/51.06	c iter 1247 time 48.4626 not-muc 248162 unknown 290 muc 1182
50.99/51.06	c iter 1248 time 48.5066 not-muc 248162 unknown 289 muc 1183
50.99/51.06	c iter 1249 time 48.5496 not-muc 248162 unknown 288 muc 1184
50.99/51.06	c iter 1250 time 48.5936 not-muc 248162 unknown 287 muc 1185
50.99/51.06	c iter 1251 time 48.6366 not-muc 248162 unknown 286 muc 1186
50.99/51.06	c iter 1252 time 48.6806 not-muc 248162 unknown 285 muc 1187
50.99/51.06	c iter 1253 time 48.7246 not-muc 248162 unknown 284 muc 1188
50.99/51.06	c iter 1254 time 48.7676 not-muc 248162 unknown 283 muc 1189
50.99/51.06	c iter 1255 time 48.8116 not-muc 248162 unknown 282 muc 1190
50.99/51.06	c iter 1256 time 48.8546 not-muc 248162 unknown 281 muc 1191
50.99/51.06	c iter 1257 time 48.8986 not-muc 248162 unknown 280 muc 1192
50.99/51.06	c iter 1258 time 48.9416 not-muc 248162 unknown 279 muc 1193
50.99/51.06	c iter 1259 time 48.9856 not-muc 248162 unknown 278 muc 1194
50.99/51.06	c iter 1260 time 49.0295 not-muc 248162 unknown 277 muc 1195
50.99/51.06	c iter 1261 time 49.0725 not-muc 248162 unknown 276 muc 1196
50.99/51.06	c iter 1262 time 49.1165 not-muc 248162 unknown 275 muc 1197
50.99/51.06	c iter 1263 time 49.1605 not-muc 248162 unknown 274 muc 1198
50.99/51.06	c iter 1264 time 49.2045 not-muc 248162 unknown 273 muc 1199
50.99/51.06	c iter 1265 time 49.2485 not-muc 248162 unknown 272 muc 1200
50.99/51.06	c iter 1266 time 49.2915 not-muc 248162 unknown 271 muc 1201
50.99/51.06	c iter 1267 time 49.3355 not-muc 248162 unknown 270 muc 1202
50.99/51.06	c iter 1268 time 49.3795 not-muc 248162 unknown 269 muc 1203
50.99/51.06	c iter 1269 time 49.4225 not-muc 248162 unknown 268 muc 1204
50.99/51.06	c iter 1270 time 49.4665 not-muc 248162 unknown 267 muc 1205
50.99/51.06	c iter 1271 time 49.5105 not-muc 248162 unknown 266 muc 1206
50.99/51.06	c iter 1272 time 49.5535 not-muc 248162 unknown 265 muc 1207
50.99/51.06	c iter 1273 time 49.5975 not-muc 248162 unknown 264 muc 1208
50.99/51.06	c iter 1274 time 49.6405 not-muc 248162 unknown 263 muc 1209
50.99/51.06	c iter 1275 time 49.6844 not-muc 248162 unknown 262 muc 1210
50.99/51.06	c iter 1276 time 49.7284 not-muc 248162 unknown 261 muc 1211
50.99/51.06	c iter 1277 time 49.7714 not-muc 248162 unknown 260 muc 1212
50.99/51.06	c iter 1278 time 49.8154 not-muc 248162 unknown 259 muc 1213
50.99/51.06	c iter 1279 time 49.8594 not-muc 248162 unknown 258 muc 1214
50.99/51.06	c iter 1280 time 49.9024 not-muc 248162 unknown 257 muc 1215
50.99/51.06	c iter 1281 time 49.9464 not-muc 248162 unknown 256 muc 1216
50.99/51.06	c iter 1282 time 49.9904 not-muc 248162 unknown 255 muc 1217
50.99/51.06	c iter 1283 time 50.0344 not-muc 248162 unknown 254 muc 1218
50.99/51.06	c iter 1284 time 50.0774 not-muc 248162 unknown 253 muc 1219
50.99/51.06	c iter 1285 time 50.1214 not-muc 248162 unknown 252 muc 1220
50.99/51.06	c iter 1286 time 50.1644 not-muc 248162 unknown 251 muc 1221
50.99/51.06	c iter 1287 time 50.2084 not-muc 248162 unknown 250 muc 1222
50.99/51.06	c iter 1288 time 50.2524 not-muc 248162 unknown 249 muc 1223
50.99/51.06	c iter 1289 time 50.2964 not-muc 248162 unknown 248 muc 1224
50.99/51.06	c iter 1290 time 50.3393 not-muc 248162 unknown 247 muc 1225
50.99/51.06	c iter 1291 time 50.3833 not-muc 248162 unknown 246 muc 1226
50.99/51.06	c iter 1292 time 50.4273 not-muc 248162 unknown 245 muc 1227
50.99/51.06	c iter 1293 time 50.4713 not-muc 248162 unknown 244 muc 1228
50.99/51.06	c iter 1294 time 50.5143 not-muc 248162 unknown 243 muc 1229
50.99/51.06	c iter 1295 time 50.5583 not-muc 248162 unknown 242 muc 1230
50.99/51.06	c iter 1296 time 50.6013 not-muc 248162 unknown 241 muc 1231
50.99/51.06	c iter 1297 time 50.6463 not-muc 248162 unknown 240 muc 1232
50.99/51.06	c iter 1298 time 50.6893 not-muc 248162 unknown 239 muc 1233
50.99/51.06	c iter 1299 time 50.7333 not-muc 248162 unknown 238 muc 1234
50.99/51.06	c iter 1300 time 50.7773 not-muc 248162 unknown 237 muc 1235
50.99/51.06	c iter 1301 time 50.8213 not-muc 248162 unknown 236 muc 1236
50.99/51.06	c iter 1302 time 50.8223 not-muc 248164 unknown 234 muc 1236
50.99/51.06	c iter 1303 time 50.8663 not-muc 248164 unknown 233 muc 1237
50.99/51.06	c iter 1304 time 50.9103 not-muc 248164 unknown 232 muc 1238
50.99/51.06	c iter 1305 time 50.9543 not-muc 248164 unknown 231 muc 1239
50.99/51.06	c iter 1306 time 50.9972 not-muc 248164 unknown 230 muc 1240
53.90/53.96	c iter 1307 time 51.0412 not-muc 248164 unknown 229 muc 1241
53.90/53.96	c iter 1308 time 51.0852 not-muc 248164 unknown 228 muc 1242
53.90/53.96	c iter 1309 time 51.1282 not-muc 248164 unknown 227 muc 1243
53.90/53.96	c iter 1310 time 51.1722 not-muc 248164 unknown 226 muc 1244
53.90/53.96	c iter 1311 time 51.2162 not-muc 248164 unknown 225 muc 1245
53.90/53.96	c iter 1312 time 51.2592 not-muc 248164 unknown 224 muc 1246
53.90/53.96	c iter 1313 time 51.3032 not-muc 248164 unknown 223 muc 1247
53.90/53.96	c iter 1314 time 51.3472 not-muc 248164 unknown 222 muc 1248
53.90/53.96	c iter 1315 time 51.3912 not-muc 248164 unknown 221 muc 1249
53.90/53.96	c iter 1316 time 51.4352 not-muc 248164 unknown 220 muc 1250
53.90/53.96	c iter 1317 time 51.4792 not-muc 248164 unknown 219 muc 1251
53.90/53.96	c iter 1318 time 51.5222 not-muc 248164 unknown 218 muc 1252
53.90/53.96	c iter 1319 time 51.5662 not-muc 248164 unknown 217 muc 1253
53.90/53.96	c iter 1320 time 51.6102 not-muc 248164 unknown 216 muc 1254
53.90/53.96	c iter 1321 time 51.6541 not-muc 248164 unknown 215 muc 1255
53.90/53.96	c iter 1322 time 51.6981 not-muc 248164 unknown 214 muc 1256
53.90/53.96	c iter 1323 time 51.7411 not-muc 248164 unknown 213 muc 1257
53.90/53.96	c iter 1324 time 51.7851 not-muc 248164 unknown 212 muc 1258
53.90/53.96	c iter 1325 time 51.8291 not-muc 248164 unknown 211 muc 1259
53.90/53.96	c iter 1326 time 51.8721 not-muc 248164 unknown 210 muc 1260
53.90/53.96	c iter 1327 time 51.9161 not-muc 248164 unknown 209 muc 1261
53.90/53.96	c iter 1328 time 51.9601 not-muc 248164 unknown 208 muc 1262
53.90/53.96	c iter 1329 time 52.0041 not-muc 248164 unknown 207 muc 1263
53.90/53.96	c iter 1330 time 52.0481 not-muc 248164 unknown 206 muc 1264
53.90/53.96	c iter 1331 time 52.0911 not-muc 248164 unknown 205 muc 1265
53.90/53.96	c iter 1332 time 52.1351 not-muc 248164 unknown 204 muc 1266
53.90/53.96	c iter 1333 time 52.1791 not-muc 248164 unknown 203 muc 1267
53.90/53.96	c iter 1334 time 52.2231 not-muc 248164 unknown 202 muc 1268
53.90/53.96	c iter 1335 time 52.2671 not-muc 248164 unknown 201 muc 1269
53.90/53.96	c iter 1336 time 52.311 not-muc 248164 unknown 200 muc 1270
53.90/53.96	c iter 1337 time 52.355 not-muc 248164 unknown 199 muc 1271
53.90/53.96	c iter 1338 time 52.399 not-muc 248164 unknown 198 muc 1272
53.90/53.96	c iter 1339 time 52.443 not-muc 248164 unknown 197 muc 1273
53.90/53.96	c iter 1340 time 52.444 not-muc 248175 unknown 186 muc 1273
53.90/53.96	c iter 1341 time 52.488 not-muc 248175 unknown 185 muc 1274
53.90/53.96	c iter 1342 time 52.532 not-muc 248175 unknown 184 muc 1275
53.90/53.96	c iter 1343 time 52.576 not-muc 248175 unknown 183 muc 1276
53.90/53.96	c iter 1344 time 52.62 not-muc 248175 unknown 182 muc 1277
53.90/53.96	c iter 1345 time 52.665 not-muc 248175 unknown 181 muc 1278
53.90/53.96	c iter 1346 time 52.709 not-muc 248175 unknown 180 muc 1279
53.90/53.96	c iter 1347 time 52.753 not-muc 248175 unknown 179 muc 1280
53.90/53.96	c iter 1348 time 52.797 not-muc 248175 unknown 178 muc 1281
53.90/53.96	c iter 1349 time 52.841 not-muc 248175 unknown 177 muc 1282
53.90/53.96	c iter 1350 time 52.885 not-muc 248175 unknown 176 muc 1283
53.90/53.96	c iter 1351 time 52.929 not-muc 248175 unknown 175 muc 1284
53.90/53.96	c iter 1352 time 52.9729 not-muc 248175 unknown 174 muc 1285
53.90/53.96	c iter 1353 time 53.0179 not-muc 248175 unknown 173 muc 1286
53.90/53.96	c iter 1354 time 53.0609 not-muc 248175 unknown 172 muc 1287
53.90/53.96	c iter 1355 time 53.1059 not-muc 248175 unknown 171 muc 1288
53.90/53.96	c iter 1356 time 53.1499 not-muc 248175 unknown 170 muc 1289
53.90/53.96	c iter 1357 time 53.1939 not-muc 248175 unknown 169 muc 1290
53.90/53.96	c iter 1358 time 53.2379 not-muc 248175 unknown 168 muc 1291
53.90/53.96	c iter 1359 time 53.2829 not-muc 248175 unknown 167 muc 1292
53.90/53.96	c iter 1360 time 53.3269 not-muc 248175 unknown 166 muc 1293
53.90/53.96	c iter 1361 time 53.3709 not-muc 248175 unknown 165 muc 1294
53.90/53.96	c iter 1362 time 53.4149 not-muc 248175 unknown 164 muc 1295
53.90/53.96	c iter 1363 time 53.4589 not-muc 248175 unknown 163 muc 1296
53.90/53.96	c iter 1364 time 53.5019 not-muc 248175 unknown 162 muc 1297
53.90/53.96	c iter 1365 time 53.5459 not-muc 248175 unknown 161 muc 1298
53.90/53.96	c iter 1366 time 53.5889 not-muc 248175 unknown 160 muc 1299
53.90/53.96	c iter 1367 time 53.6328 not-muc 248175 unknown 159 muc 1300
53.90/53.96	c iter 1368 time 53.6768 not-muc 248175 unknown 158 muc 1301
53.90/53.96	c iter 1369 time 53.7198 not-muc 248175 unknown 157 muc 1302
53.90/53.96	c iter 1370 time 53.7638 not-muc 248175 unknown 156 muc 1303
53.90/53.96	c iter 1371 time 53.8068 not-muc 248175 unknown 155 muc 1304
53.90/53.96	c iter 1372 time 53.8508 not-muc 248175 unknown 154 muc 1305
53.90/53.96	c iter 1373 time 53.8948 not-muc 248175 unknown 153 muc 1306
56.89/56.92	c iter 1374 time 53.9378 not-muc 248175 unknown 152 muc 1307
56.89/56.92	c iter 1375 time 53.9818 not-muc 248175 unknown 151 muc 1308
56.89/56.92	c iter 1376 time 54.0258 not-muc 248175 unknown 150 muc 1309
56.89/56.92	c iter 1377 time 54.0708 not-muc 248175 unknown 149 muc 1310
56.89/56.92	c iter 1378 time 54.1148 not-muc 248175 unknown 148 muc 1311
56.89/56.92	c iter 1379 time 54.1588 not-muc 248175 unknown 147 muc 1312
56.89/56.92	c iter 1380 time 54.2028 not-muc 248175 unknown 146 muc 1313
56.89/56.92	c iter 1381 time 54.2468 not-muc 248175 unknown 145 muc 1314
56.89/56.92	c iter 1382 time 54.2907 not-muc 248175 unknown 144 muc 1315
56.89/56.92	c iter 1383 time 54.3347 not-muc 248175 unknown 143 muc 1316
56.89/56.92	c iter 1384 time 54.3787 not-muc 248175 unknown 142 muc 1317
56.89/56.92	c iter 1385 time 54.4227 not-muc 248175 unknown 141 muc 1318
56.89/56.92	c iter 1386 time 54.4667 not-muc 248175 unknown 140 muc 1319
56.89/56.92	c iter 1387 time 54.5107 not-muc 248175 unknown 139 muc 1320
56.89/56.92	c iter 1388 time 54.5547 not-muc 248175 unknown 138 muc 1321
56.89/56.92	c iter 1389 time 54.5997 not-muc 248175 unknown 137 muc 1322
56.89/56.92	c iter 1390 time 54.6437 not-muc 248175 unknown 136 muc 1323
56.89/56.92	c iter 1391 time 54.6877 not-muc 248175 unknown 135 muc 1324
56.89/56.92	c iter 1392 time 54.7317 not-muc 248175 unknown 134 muc 1325
56.89/56.92	c iter 1393 time 54.7767 not-muc 248175 unknown 133 muc 1326
56.89/56.92	c iter 1394 time 54.8207 not-muc 248175 unknown 132 muc 1327
56.89/56.92	c iter 1395 time 54.8637 not-muc 248175 unknown 131 muc 1328
56.89/56.92	c iter 1396 time 54.9077 not-muc 248175 unknown 130 muc 1329
56.89/56.92	c iter 1397 time 54.9526 not-muc 248175 unknown 129 muc 1330
56.89/56.92	c iter 1398 time 54.9966 not-muc 248175 unknown 128 muc 1331
56.89/56.92	c iter 1399 time 55.0406 not-muc 248175 unknown 127 muc 1332
56.89/56.92	c iter 1400 time 55.0856 not-muc 248175 unknown 126 muc 1333
56.89/56.92	c iter 1401 time 55.1296 not-muc 248175 unknown 125 muc 1334
56.89/56.92	c iter 1402 time 55.1736 not-muc 248175 unknown 124 muc 1335
56.89/56.92	c iter 1403 time 55.2176 not-muc 248175 unknown 123 muc 1336
56.89/56.92	c iter 1404 time 55.2616 not-muc 248175 unknown 122 muc 1337
56.89/56.92	c iter 1405 time 55.3066 not-muc 248175 unknown 121 muc 1338
56.89/56.92	c iter 1406 time 55.3506 not-muc 248175 unknown 120 muc 1339
56.89/56.92	c iter 1407 time 55.3956 not-muc 248175 unknown 119 muc 1340
56.89/56.92	c iter 1408 time 55.4396 not-muc 248175 unknown 118 muc 1341
56.89/56.92	c iter 1409 time 55.4846 not-muc 248175 unknown 117 muc 1342
56.89/56.92	c iter 1410 time 55.5286 not-muc 248175 unknown 116 muc 1343
56.89/56.92	c iter 1411 time 55.5726 not-muc 248175 unknown 115 muc 1344
56.89/56.92	c iter 1412 time 55.6165 not-muc 248175 unknown 114 muc 1345
56.89/56.92	c iter 1413 time 55.6605 not-muc 248175 unknown 113 muc 1346
56.89/56.92	c iter 1414 time 55.7045 not-muc 248175 unknown 112 muc 1347
56.89/56.92	c iter 1415 time 55.7485 not-muc 248175 unknown 111 muc 1348
56.89/56.92	c iter 1416 time 55.7935 not-muc 248175 unknown 110 muc 1349
56.89/56.92	c iter 1417 time 55.8375 not-muc 248175 unknown 109 muc 1350
56.89/56.92	c iter 1418 time 55.8825 not-muc 248175 unknown 108 muc 1351
56.89/56.92	c iter 1419 time 55.9265 not-muc 248175 unknown 107 muc 1352
56.89/56.92	c iter 1420 time 55.9705 not-muc 248175 unknown 106 muc 1353
56.89/56.92	c iter 1421 time 56.0145 not-muc 248175 unknown 105 muc 1354
56.89/56.92	c iter 1422 time 56.0585 not-muc 248175 unknown 104 muc 1355
56.89/56.92	c iter 1423 time 56.1035 not-muc 248175 unknown 103 muc 1356
56.89/56.92	c iter 1424 time 56.1475 not-muc 248175 unknown 102 muc 1357
56.89/56.92	c iter 1425 time 56.1925 not-muc 248175 unknown 101 muc 1358
56.89/56.92	c iter 1426 time 56.2364 not-muc 248175 unknown 100 muc 1359
56.89/56.92	c iter 1427 time 56.2814 not-muc 248175 unknown 99 muc 1360
56.89/56.92	c iter 1428 time 56.3254 not-muc 248175 unknown 98 muc 1361
56.89/56.92	c iter 1429 time 56.3704 not-muc 248175 unknown 97 muc 1362
56.89/56.92	c iter 1430 time 56.4144 not-muc 248175 unknown 96 muc 1363
56.89/56.92	c iter 1431 time 56.4584 not-muc 248175 unknown 95 muc 1364
56.89/56.92	c iter 1432 time 56.5024 not-muc 248175 unknown 94 muc 1365
56.89/56.92	c iter 1433 time 56.5464 not-muc 248175 unknown 93 muc 1366
56.89/56.92	c iter 1434 time 56.5914 not-muc 248175 unknown 92 muc 1367
56.89/56.92	c iter 1435 time 56.6354 not-muc 248175 unknown 91 muc 1368
56.89/56.92	c iter 1436 time 56.6794 not-muc 248175 unknown 90 muc 1369
56.89/56.92	c iter 1437 time 56.7234 not-muc 248175 unknown 89 muc 1370
56.89/56.92	c iter 1438 time 56.7684 not-muc 248175 unknown 88 muc 1371
56.89/56.92	c iter 1439 time 56.8124 not-muc 248175 unknown 87 muc 1372
56.89/56.92	c iter 1440 time 56.8564 not-muc 248175 unknown 86 muc 1373
58.79/58.89	c iter 1441 time 56.9013 not-muc 248175 unknown 85 muc 1374
58.79/58.89	c iter 1442 time 56.9453 not-muc 248175 unknown 84 muc 1375
58.79/58.89	c iter 1443 time 56.9903 not-muc 248175 unknown 83 muc 1376
58.79/58.89	c iter 1444 time 57.0343 not-muc 248175 unknown 82 muc 1377
58.79/58.89	c iter 1445 time 57.0783 not-muc 248175 unknown 81 muc 1378
58.79/58.89	c iter 1446 time 57.1233 not-muc 248175 unknown 80 muc 1379
58.79/58.89	c iter 1447 time 57.1673 not-muc 248175 unknown 79 muc 1380
58.79/58.89	c iter 1448 time 57.2123 not-muc 248175 unknown 78 muc 1381
58.79/58.89	c iter 1449 time 57.2563 not-muc 248175 unknown 77 muc 1382
58.79/58.89	c iter 1450 time 57.3003 not-muc 248175 unknown 76 muc 1383
58.79/58.89	c iter 1451 time 57.3443 not-muc 248175 unknown 75 muc 1384
58.79/58.89	c iter 1452 time 57.3893 not-muc 248175 unknown 74 muc 1385
58.79/58.89	c iter 1453 time 57.4243 not-muc 248175 unknown 73 muc 1386
58.79/58.89	c iter 1454 time 57.4493 not-muc 248175 unknown 72 muc 1387
58.79/58.89	c iter 1455 time 57.4743 not-muc 248175 unknown 71 muc 1388
58.79/58.89	c iter 1456 time 57.4993 not-muc 248175 unknown 70 muc 1389
58.79/58.89	c iter 1457 time 57.5243 not-muc 248175 unknown 69 muc 1390
58.79/58.89	c iter 1458 time 57.5493 not-muc 248175 unknown 68 muc 1391
58.79/58.89	c iter 1459 time 57.5782 not-muc 248175 unknown 67 muc 1392
58.79/58.89	c iter 1460 time 57.6072 not-muc 248175 unknown 66 muc 1393
58.79/58.89	c iter 1461 time 57.6322 not-muc 248175 unknown 65 muc 1394
58.79/58.89	c iter 1462 time 57.6572 not-muc 248175 unknown 64 muc 1395
58.79/58.89	c iter 1463 time 57.6822 not-muc 248175 unknown 63 muc 1396
58.79/58.89	c iter 1464 time 57.7072 not-muc 248175 unknown 62 muc 1397
58.79/58.89	c iter 1465 time 57.7322 not-muc 248175 unknown 61 muc 1398
58.79/58.89	c iter 1466 time 57.7572 not-muc 248175 unknown 60 muc 1399
58.79/58.89	c iter 1467 time 57.7582 not-muc 248176 unknown 59 muc 1399
58.79/58.89	c iter 1468 time 57.7832 not-muc 248176 unknown 58 muc 1400
58.79/58.89	c iter 1469 time 57.8082 not-muc 248176 unknown 57 muc 1401
58.79/58.89	c iter 1470 time 57.8342 not-muc 248176 unknown 56 muc 1402
58.79/58.89	c iter 1471 time 57.8592 not-muc 248176 unknown 55 muc 1403
58.79/58.89	c iter 1472 time 57.8842 not-muc 248176 unknown 54 muc 1404
58.79/58.89	c iter 1473 time 57.9092 not-muc 248176 unknown 53 muc 1405
58.79/58.89	c iter 1474 time 57.9342 not-muc 248176 unknown 52 muc 1406
58.79/58.89	c iter 1475 time 57.9592 not-muc 248176 unknown 51 muc 1407
58.79/58.89	c iter 1476 time 57.9852 not-muc 248176 unknown 50 muc 1408
58.79/58.89	c iter 1477 time 58.0102 not-muc 248176 unknown 49 muc 1409
58.79/58.89	c iter 1478 time 58.0352 not-muc 248176 unknown 48 muc 1410
58.79/58.89	c iter 1479 time 58.0602 not-muc 248176 unknown 47 muc 1411
58.79/58.89	c iter 1480 time 58.0862 not-muc 248176 unknown 46 muc 1412
58.79/58.89	c iter 1481 time 58.1112 not-muc 248176 unknown 45 muc 1413
58.79/58.89	c iter 1482 time 58.1362 not-muc 248176 unknown 44 muc 1414
58.79/58.89	c iter 1483 time 58.1622 not-muc 248176 unknown 43 muc 1415
58.79/58.89	c iter 1484 time 58.1872 not-muc 248176 unknown 42 muc 1416
58.79/58.89	c iter 1485 time 58.2122 not-muc 248176 unknown 41 muc 1417
58.79/58.89	c iter 1486 time 58.2381 not-muc 248176 unknown 40 muc 1418
58.79/58.89	c iter 1487 time 58.2631 not-muc 248176 unknown 39 muc 1419
58.79/58.89	c iter 1488 time 58.2881 not-muc 248176 unknown 38 muc 1420
58.79/58.89	c iter 1489 time 58.3141 not-muc 248176 unknown 37 muc 1421
58.79/58.89	c iter 1490 time 58.3391 not-muc 248176 unknown 36 muc 1422
58.79/58.89	c iter 1491 time 58.3651 not-muc 248176 unknown 35 muc 1423
58.79/58.89	c iter 1492 time 58.3901 not-muc 248176 unknown 34 muc 1424
58.79/58.89	c iter 1493 time 58.4161 not-muc 248176 unknown 33 muc 1425
58.79/58.89	c iter 1494 time 58.4411 not-muc 248176 unknown 32 muc 1426
58.79/58.89	c iter 1495 time 58.4661 not-muc 248176 unknown 31 muc 1427
58.79/58.89	c iter 1496 time 58.4921 not-muc 248176 unknown 30 muc 1428
58.79/58.89	c iter 1497 time 58.5171 not-muc 248176 unknown 29 muc 1429
58.79/58.89	c iter 1498 time 58.5431 not-muc 248176 unknown 28 muc 1430
58.79/58.89	c iter 1499 time 58.5681 not-muc 248176 unknown 27 muc 1431
58.79/58.89	c iter 1500 time 58.5941 not-muc 248176 unknown 26 muc 1432
58.79/58.89	c iter 1501 time 58.6191 not-muc 248176 unknown 25 muc 1433
58.79/58.89	c iter 1502 time 58.6441 not-muc 248176 unknown 24 muc 1434
58.79/58.89	c iter 1503 time 58.6701 not-muc 248176 unknown 23 muc 1435
58.79/58.89	c iter 1504 time 58.6951 not-muc 248176 unknown 22 muc 1436
58.79/58.89	c iter 1505 time 58.7211 not-muc 248176 unknown 21 muc 1437
58.79/58.89	c iter 1506 time 58.7461 not-muc 248176 unknown 20 muc 1438
58.79/58.89	c iter 1507 time 58.7721 not-muc 248176 unknown 19 muc 1439
58.79/58.89	c iter 1508 time 58.7971 not-muc 248176 unknown 18 muc 1440
58.79/58.89	c iter 1509 time 58.8231 not-muc 248176 unknown 17 muc 1441
59.29/59.30	c iter 1510 time 58.8491 not-muc 248176 unknown 16 muc 1442
59.29/59.30	c iter 1511 time 58.875 not-muc 248176 unknown 15 muc 1443
59.29/59.30	c iter 1512 time 58.901 not-muc 248176 unknown 14 muc 1444
59.29/59.30	c iter 1513 time 58.926 not-muc 248176 unknown 13 muc 1445
59.29/59.30	c iter 1514 time 58.952 not-muc 248176 unknown 12 muc 1446
59.29/59.30	c iter 1515 time 58.978 not-muc 248176 unknown 11 muc 1447
59.29/59.30	c iter 1516 time 59.004 not-muc 248176 unknown 10 muc 1448
59.29/59.30	c iter 1517 time 59.029 not-muc 248176 unknown 9 muc 1449
59.29/59.30	c iter 1518 time 59.055 not-muc 248176 unknown 8 muc 1450
59.29/59.30	c iter 1519 time 59.081 not-muc 248176 unknown 7 muc 1451
59.29/59.30	c iter 1520 time 59.106 not-muc 248176 unknown 6 muc 1452
59.29/59.30	c iter 1521 time 59.132 not-muc 248176 unknown 5 muc 1453
59.29/59.30	c iter 1522 time 59.158 not-muc 248176 unknown 4 muc 1454
59.29/59.30	c iter 1523 time 59.184 not-muc 248176 unknown 3 muc 1455
59.29/59.30	c iter 1524 time 59.21 not-muc 248176 unknown 2 muc 1456
59.29/59.30	c iter 1525 time 59.236 not-muc 248176 unknown 1 muc 1457
59.29/59.30	c iter 1526 time 59.24 not-muc 248177 unknown 0 muc 1457
59.29/59.30	c final iter 1526 time 59.24 not-muc 248177 unknown 0 muc 1457
59.29/59.30	v 124 131 132 160 161 163 164 167 168 169 170 171 172 173 174 223 258 259 260 261 262 265 272 280 281 282 292 293 501 502 506 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 527 528 748 770 784 785 787 788 791 796 797 798 904 905 913 914 1158 1159 1161 1162 1163 1164 1167 1169 1171 1202 1204 1205 1212 1214 1215 1216 1219 1220 1221 1222 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1730 1737 1738 1766 1767 1769 1770 1773 1774 1775 1776 1777 1778 1779 1780 1983 1984 1992 1993 2455 2456 2458 2459 2460 2461 2462 2473 2474 2530 2531 2532 2533 2540 2542 2543 2544 2545 2546 2547 2548 2549 2550 2552 2553 2554 2559 2560 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 3502 3524 3538 3539 3541 3542 3545 3550 3551 3552 3757 3758 3766 3767 4342 4343 4345 4346 4347 4348 4349 4375 4376 4436 4437 4438 4439 4446 4448 4449 4450 4451 4452 4453 4454 4455 4456 4458 4459 4460 4465 4466 4468 4469 4470 4471 4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 4483 4484 5619 5626 5627 5655 5656 5658 5659 5662 5663 5664 5665 5666 5667 5668 5669 5874 5875 5883 5884 6480 6481 6483 6484 6485 6486 6519 6521 6523 6584 6586 6587 6594 6596 6597 6598 6599 6600 6601 6602 6603 6604 6606 6607 6608 6609 6610 6611 6612 6613 6614 6615 6616 6617 6618 6619 6620 6621 6622 6623 6624 6625 6626 6627 6628 6629 6630 6631 6632 13443 13465 13479 13480 13482 13483 13486 13491 13492 13493 13698 13699 13707 13708 14321 14322 14324 14325 14326 14327 14328 14372 14373 14434 14435 14436 14437 14444 14446 14447 14448 14449 14450 14451 14452 14453 14454 14456 14457 14458 14463 14464 14466 14467 14468 14469 14470 14471 14472 14473 14474 14475 14476 14477 14478 14479 14480 14481 14482 21771 21793 21807 21808 21809 21810 21811 21814 21821 22026 22027 22035 22036 22666 22667 22669 22670 22671 22672 22673 22726 22727 22788 22789 22790 22791 22798 22800 22801 22802 22803 22804 22805 22806 22807 22808 22810 22811 22812 22817 22818 22820 22821 22822 22823 22824 22825 22826 22827 22828 22829 22830 22831 22832 22833 22834 22835 22836 30982 31004 31018 31019 31020 31021 31022 31025 31032 31237 31238 31246 31247 31894 31895 31897 31898 31899 31900 31901 31963 31964 32025 32026 32027 32028 32035 32037 32038 32039 32040 32041 32042 32043 32044 32045 32047 32048 32049 32054 32055 32057 32058 32059 32060 32061 32062 32063 32064 32065 32066 32067 32068 32069 32070 32071 32072 32073 41172 41194 41208 41209 41211 41212 41215 41220 41221 41222 41427 41428 41436 41437 42101 42102 42104 42105 42106 42107 42176 42178 42180 42241 42243 42244 42251 42253 42254 42255 42256 42257 42258 42259 42260 42261 42263 42264 42265 42266 42267 42268 42269 42270 42271 42272 42273 42274 42275 42276 42277 42278 42279 42280 42281 42282 42283 42284 42285 42286 42287 42288 42289 52666 52688 52702 52703 52705 52706 52709 52714 52715 52716 52921 52922 52930 52931 53612 53613 53615 53616 53617 53618 53619 53699 53700 53761 53762 53763 53764 53771 53773 53774 53775 53776 53777 53778 53779 53780 53781 53783 53784 53785 53790 53791 53793 53794 53795 53796 53797 53798 53799 53800 53801 53802 53803 53804 53805 53806 53807 53808 53809 65492 65514 65528 65529 65531 65532 65535 65540 65541 65542 65747 65748 65756 65757 66455 66456 66458 66459 66460 66461 66462 66551 66552 66613 66614 66615 66616 66623 66625 66626 66627 66628 66629 66630 66631 66632 66633 66635 66636 66637 66642 66643 66645 66646 66647 66648 66649 66650 66651 66652 66653 66654 66655 66656 66657 66658 66659 66660 66661 78453 78475 78489 78490 78492 78493 78496 78501 78502 78503 78708 78709 78717 78718 79433 79434 79436 79437 79438 79439 79440 79538 79539 79600 79601 79602 79603 79610 79612 79613 79614 79615 79616 79617 79618 79619 79620 79622 79623 79624 79629 79630 79632 79633 79634 79635 79636 79637 79638 79639 79640 79641 79642 79643 79644 79645 79646 79647 79648 91608 91630 91644 91645 91647 91648 91651 91656 91657 91658 91863 91864 91872 91873 92605 92606 92608 92609 92610 92611 92716 92718 92720 92781 92783 92784 92791 92793 92794 92795 92796 92797 92798 92799 92800 92801 92803 92804 92805 92806 92807 92808 92809 92810 92811 92812 92813 92814 92815 92816 92817 92818 92819 92820 92821 92822 92823 92824 92825 92826 92827 92828 92829 104947 104969 104983 104984 104986 104987 104990 104995 104996 104997 105202 105203 105211 105212 105961 105962 105964 105965 105966 105967 105968 106084 106085 106146 106147 106148 106149 106156 106158 106159 106160 106161 106162 106163 106164 106165 106166 106168 106169 106170 106175 106176 106178 106179 106180 106181 106182 106183 106184 106185 106186 106187 106188 106189 106190 106191 106192 106193 106194 118464 118471 118472 118500 118501 118503 118504 118507 118508 118509 118510 118511 118512 118513 118514 118719 118720 118728 118729 119495 119496 119498 119499 119500 119501 119502 119627 119628 119689 119690 119691 119692 119699 119701 119702 119703 119704 119705 119706 119707 119708 119709 119711 119712 119713 119718 119719 119721 119722 119723 119724 119725 119726 119727 119728 119729 119730 119731 119732 119733 119734 119735 119736 119737 132159 132166 132167 132195 132196 132198 132199 132202 132203 132204 132205 132206 132207 132208 132209 132414 132415 132423 132424 133207 133208 133210 133211 133212 133213 133345 133347 133349 133410 133412 133413 133420 133422 133423 133424 133425 133426 133427 133428 133429 133430 133432 133433 133434 133435 133436 133437 133438 133439 133440 133441 133442 133443 133444 133445 133446 133447 133448 133449 133450 133451 133452 133453 133454 133455 133456 133457 133458 146032 146039 146040 146068 146069 146071 146072 146075 146076 146077 146078 146079 146080 146081 146082 146287 146288 146296 146297 147097 147098 147100 147101 147102 147103 147104 147247 147248 147309 147310 147311 147312 147319 147321 147322 147323 147324 147325 147326 147327 147328 147329 147331 147332 147333 147338 147339 147341 147342 147343 147344 147345 147346 147347 147348 147349 147350 147351 147352 147353 147354 147355 147356 147357 160083 160105 160119 160120 160122 160123 160126 160131 160132 160133 160338 160339 160347 160348 161165 161166 161168 161169 161170 161171 161321 161323 161325 161386 161388 161389 161396 161398 161399 161400 161401 161402 161403 161404 161405 161406 161408 161409 161410 161411 161412 161413 161414 161415 161416 161417 161418 161419 161420 161421 161422 161423 161424 161425 161426 161427 161428 161429 161430 161431 161432 161433 161434 174312 174319 174320 174348 174349 174351 174352 174355 174356 174357 174358 174359 174360 174361 174362 174567 174568 174576 174577 175411 175412 175414 175415 175416 175417 175576 175578 175580 175641 175643 175644 175651 175653 175654 175655 175656 175657 175658 175659 175660 175661 175663 175664 175665 175666 175667 175668 175669 175670 175671 175672 175673 175674 175675 175676 175677 175678 175679 175680 175681 175682 175683 175684 175685 175686 175687 175688 175689 188719 188741 188755 188756 188757 188758 188759 188762 188769 188974 188975 188983 188984 189835 189836 189838 189839 189840 189841 189842 190012 190013 190074 190075 190076 190077 190084 190086 190087 190088 190089 190090 190091 190092 190093 190094 190096 190097 190098 190103 190104 190106 190107 190108 190109 190110 190111 190112 190113 190114 190115 190116 190117 190118 190119 190120 190121 190122 203304 203311 203312 203340 203341 203343 203344 203347 203348 203349 203350 203351 203352 203353 203354 203559 203560 203568 203569 204437 204438 204440 204441 204442 204443 204620 204622 204624 204685 204687 204688 204695 204697 204698 204699 204700 204701 204702 204703 204704 204705 204707 204708 204709 204710 204711 204712 204713 204714 204715 204716 204717 204718 204719 204720 204721 204722 204723 204724 204725 204726 204727 204728 204729 204730 204731 204732 204733 218067 218089 218103 218104 218106 218107 218110 218115 218116 218117 218322 218323 218331 218332 219217 219218 219220 219221 219222 219223 219224 219412 219413 219474 219475 219476 219477 219484 219486 219487 219488 219489 219490 219491 219492 219493 219494 219496 219497 219498 219503 219504 219506 219507 219508 219509 219510 219511 219512 219513 219514 219515 219516 219517 219518 219519 219520 219521 219522 233008 233030 233044 233045 233047 233048 233051 233056 233057 233058 233263 233264 233272 233273 234175 234176 234178 234179 234180 234181 234182 234379 234380 234441 234442 234443 234444 234451 234453 234454 234455 234456 234457 234458 234459 234460 234461 234463 234464 234465 234470 234471 234473 234474 234475 234476 234477 234478 234479 234480 234481 234482 234483 234484 234485 234486 234487 234488 234489 248382 248383 248391 248392 249311 249312 249314 249315 249316 249317 249318 249524 249525 249586 249587 249588 249589 249596 249598 249599 249600 249601 249602 249603 249604 249605 249606 249608 249609 249610 249615 249616 249618 249619 249620 249621 249622 249623 249624 249625 249626 249627 249628 249629 249630 249631 249632 249633 249634 0
59.29/59.30	s UNSATISFIABLE

Verifier Data 

OK	1457

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3502344-1308044464/watcher-3502344-1308044464 -o /tmp/evaluation-result-3502344-1308044464/solver-3502344-1308044464 -C 1800 -W 1850 -M 7680 HOME/hhlmuc HOME/instance-3502344-1308044464.gcnf -no-pre 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 1.48 2.25 2.92 5/189 30806
/proc/meminfo: memFree=31379560/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=23528 CPUtime=0 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 1422 0 0 0 0 0 0 0 22 0 1 0 916044200 24092672 1363 33554432000 4194304 4338123 140734624425296 18446744073709551615 4322009 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 5882 1363 225 36 0 2504 0

[startup+0.101758 s]
/proc/loadavg: 1.48 2.25 2.92 5/189 30806
/proc/meminfo: memFree=31379560/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=45312 CPUtime=0.08 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 7534 0 0 0 8 0 0 0 22 0 1 0 916044200 46399488 7314 33554432000 4194304 4338123 140734624425296 18446744073709551615 4260126 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 11328 7315 225 36 0 7950 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45312

[startup+0.200767 s]
/proc/loadavg: 1.48 2.25 2.92 5/189 30806
/proc/meminfo: memFree=31379560/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=68648 CPUtime=0.19 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 12636 0 0 0 18 1 0 0 22 0 1 0 916044200 70295552 12254 33554432000 4194304 4338123 140734624425296 18446744073709551615 4320353 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 17162 12254 226 36 0 13784 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 68648

[startup+0.300722 s]
/proc/loadavg: 1.48 2.25 2.92 5/189 30806
/proc/meminfo: memFree=31379560/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=95196 CPUtime=0.28 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 17726 0 0 0 27 1 0 0 23 0 1 0 916044200 97480704 17188 33554432000 4194304 4338123 140734624425296 18446744073709551615 218905730816 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 23799 17189 226 36 0 20421 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 95196

[startup+0.700636 s]
/proc/loadavg: 1.48 2.25 2.92 5/189 30806
/proc/meminfo: memFree=31379560/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=124480 CPUtime=0.69 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 25685 0 0 0 66 3 0 0 25 0 1 0 916044200 127467520 24900 33554432000 4194304 4338123 140734624425296 18446744073709551615 4292299 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 31120 24900 243 36 0 27742 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 124480

[startup+1.50048 s]
/proc/loadavg: 1.48 2.25 2.92 5/190 30807
/proc/meminfo: memFree=31218596/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=126784 CPUtime=1.49 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 26124 0 0 0 146 3 0 0 25 0 1 0 916044200 129826816 25337 33554432000 4194304 4338123 140734624425296 18446744073709551615 4281276 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 31696 25337 245 36 0 28318 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126784

[startup+3.1002 s]
/proc/loadavg: 1.48 2.25 2.92 5/190 30807
/proc/meminfo: memFree=31166264/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=171652 CPUtime=3.08 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46773 0 0 0 303 5 0 0 25 0 1 0 916044200 175771648 36759 33554432000 4194304 4338123 140734624425296 18446744073709551615 4283083 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 42913 36759 265 36 0 39535 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 171652

[startup+6.30065 s]
/proc/loadavg: 1.76 2.30 2.93 5/190 30807
/proc/meminfo: memFree=31099472/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=171652 CPUtime=6.29 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46786 0 0 0 623 6 0 0 25 0 1 0 916044200 175771648 36772 33554432000 4194304 4338123 140734624425296 18446744073709551615 4280979 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 42913 36772 265 36 0 39535 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 171652

[startup+12.7005 s]
/proc/loadavg: 1.94 2.32 2.93 5/190 30807
/proc/meminfo: memFree=31064384/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=171652 CPUtime=12.69 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46802 0 0 0 1263 6 0 0 25 0 1 0 916044200 175771648 36786 33554432000 4194304 4338123 140734624425296 18446744073709551615 4281270 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 42913 36786 266 36 0 39535 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 171652

[startup+25.5012 s]
/proc/loadavg: 2.40 2.41 2.95 5/190 30844
/proc/meminfo: memFree=30971800/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=171652 CPUtime=25.49 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46816 0 0 0 2543 6 0 0 25 0 1 0 916044200 175771648 36800 33554432000 4194304 4338123 140734624425296 18446744073709551615 4292231 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 42913 36800 266 36 0 39535 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 171652

[startup+51.1005 s]
/proc/loadavg: 2.94 2.53 2.98 5/190 30845
/proc/meminfo: memFree=30886276/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=171652 CPUtime=51.09 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46834 0 0 0 5103 6 0 0 25 0 1 0 916044200 175771648 36815 33554432000 4194304 4338123 140734624425296 18446744073709551615 4281270 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 42913 36815 266 36 0 39535 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 171652

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

[startup+51.2005 s]
/proc/loadavg: 2.94 2.53 2.98 5/190 30845
/proc/meminfo: memFree=30886276/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=171652 CPUtime=51.19 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46834 0 0 0 5113 6 0 0 25 0 1 0 916044200 175771648 36815 33554432000 4194304 4338123 140734624425296 18446744073709551615 4283352 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 42913 36815 266 36 0 39535 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 171652

[startup+54.4009 s]
/proc/loadavg: 2.94 2.53 2.98 5/190 30845
/proc/meminfo: memFree=30869896/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=171652 CPUtime=54.39 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46836 0 0 0 5433 6 0 0 25 0 1 0 916044200 175771648 36816 33554432000 4194304 4338123 140734624425296 18446744073709551615 4310860 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 42913 36816 266 36 0 39535 0
Current children cumulated CPU time (s) 54.39
Current children cumulated vsize (KiB) 171652

[startup+57.6004 s]
/proc/loadavg: 3.03 2.56 2.98 5/190 30845
/proc/meminfo: memFree=30864812/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=152976 CPUtime=57.59 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46838 0 0 0 5753 6 0 0 25 0 1 0 916044200 156647424 33530 33554432000 4194304 4338123 140734624425296 18446744073709551615 4282981 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 38244 33530 266 36 0 34866 0
Current children cumulated CPU time (s) 57.59
Current children cumulated vsize (KiB) 152976

[startup+58.4072 s]
/proc/loadavg: 3.03 2.56 2.98 5/190 30845
/proc/meminfo: memFree=30870268/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=152976 CPUtime=58.4 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46838 0 0 0 5834 6 0 0 25 0 1 0 916044200 156647424 33530 33554432000 4194304 4338123 140734624425296 18446744073709551615 4283285 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 38244 33530 266 36 0 34866 0
Current children cumulated CPU time (s) 58.4
Current children cumulated vsize (KiB) 152976

[startup+58.8012 s]
/proc/loadavg: 3.03 2.56 2.98 5/190 30845
/proc/meminfo: memFree=30870268/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=152976 CPUtime=58.79 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46838 0 0 0 5873 6 0 0 25 0 1 0 916044200 156647424 33530 33554432000 4194304 4338123 140734624425296 18446744073709551615 4292231 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 38244 33530 266 36 0 34866 0
Current children cumulated CPU time (s) 58.79
Current children cumulated vsize (KiB) 152976

[startup+59.2011 s]
/proc/loadavg: 3.03 2.56 2.98 5/190 30845
/proc/meminfo: memFree=30870268/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=152976 CPUtime=59.19 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46838 0 0 0 5913 6 0 0 25 0 1 0 916044200 156647424 33530 33554432000 4194304 4338123 140734624425296 18446744073709551615 4292231 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 38244 33530 266 36 0 34866 0
Current children cumulated CPU time (s) 59.19
Current children cumulated vsize (KiB) 152976

[startup+59.3011 s]
/proc/loadavg: 3.03 2.56 2.98 5/190 30845
/proc/meminfo: memFree=30870268/32951124 swapFree=67053176/67111528
[pid=30806] ppid=30804 vsize=152976 CPUtime=59.29 cores=4,6
/proc/30806/stat : 30806 (hhlmuc) R 30804 30806 29411 0 -1 4202496 46838 0 0 0 5923 6 0 0 25 0 1 0 916044200 156647424 33530 33554432000 4194304 4338123 140734624425296 18446744073709551615 4281333 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/30806/statm: 38244 33530 266 36 0 34866 0
Current children cumulated CPU time (s) 59.29
Current children cumulated vsize (KiB) 152976

Child status: 20
Real time (s): 59.3144
CPU time (s): 59.314
CPU user time (s): 59.241
CPU system time (s): 0.072988
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 203284

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

runsolver used 0.101984 second user time and 0.236963 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-14 11:41:05
IDJOB=3502344
IDBENCH=90102
IDSOLVER=2004
FILE ID=node137/3502344-1308044464
RUNJOBID= node137-1308044464-30752
PBS_JOBID= 13564387
Free space on /tmp= 73984 MiB

SOLVER NAME= Haifa-HLMUC 2011-04-07
BENCH NAME= SAT11/gmus/belov/mentorbm1p02.aig.k25.gcnf
COMMAND LINE= HOME/hhlmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3502344-1308044464/watcher-3502344-1308044464 -o /tmp/evaluation-result-3502344-1308044464/solver-3502344-1308044464 -C 1800 -W 1850 -M 7680  HOME/hhlmuc HOME/instance-3502344-1308044464.gcnf -no-pre

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

MD5SUM BENCH= 2884b5599c418e2c2f13c080d2b3fb7b
RANDOM SEED=421221714

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31384196 kB
Buffers:        232356 kB
Cached:        1062508 kB
SwapCached:      11996 kB
Active:         359276 kB
Inactive:       997544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31384196 kB
SwapTotal:    67111528 kB
SwapFree:     67053176 kB
Dirty:           33912 kB
Writeback:           0 kB
AnonPages:       58688 kB
Mapped:           9080 kB
Slab:           144484 kB
PageTables:       6052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   306896 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= 73984 MiB
End job on node137 at 2011-06-14 11:42:04