Trace number 3494226

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Haifa-MUC 2011-04-07? (MO) 1298.13 1298.09

General information on the benchmark

NameAPPLICATIONS/bitverif/
smulo/smulo016.cnf
MD5SUM576249eded8a3c95c0b3aa8dcd51992e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2945
Number of clauses8738
Sum of the clauses size20386
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 25824
Number of clauses of size 32912
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

107.49/107.53	c WARNING: for repeatability, setting FPU to use double precision
107.49/107.53	c iter 1 time 31.0703 not-muc 43 unknown 8695 muc 0
107.49/107.53	c iter 2 time 31.2752 not-muc 43 unknown 8694 muc 1
107.49/107.53	c iter 3 time 31.4722 not-muc 43 unknown 8693 muc 2
107.49/107.53	c iter 4 time 31.6702 not-muc 43 unknown 8692 muc 3
107.49/107.53	c iter 5 time 31.8652 not-muc 43 unknown 8691 muc 4
107.49/107.53	c iter 6 time 32.0621 not-muc 43 unknown 8690 muc 5
107.49/107.53	c iter 7 time 32.2541 not-muc 43 unknown 8689 muc 6
107.49/107.53	c iter 8 time 32.4441 not-muc 43 unknown 8688 muc 7
107.49/107.53	c iter 9 time 32.636 not-muc 43 unknown 8687 muc 8
107.49/107.53	c iter 10 time 32.838 not-muc 43 unknown 8686 muc 9
107.49/107.53	c iter 11 time 33.037 not-muc 43 unknown 8685 muc 10
107.49/107.53	c iter 12 time 33.2499 not-muc 43 unknown 8684 muc 11
107.49/107.53	c iter 13 time 33.4489 not-muc 43 unknown 8683 muc 12
107.49/107.53	c iter 14 time 33.6439 not-muc 43 unknown 8682 muc 13
107.49/107.53	c iter 15 time 33.8409 not-muc 43 unknown 8681 muc 14
107.49/107.53	c iter 16 time 34.0398 not-muc 43 unknown 8680 muc 15
107.49/107.53	c iter 17 time 34.2288 not-muc 43 unknown 8679 muc 16
107.49/107.53	c iter 18 time 34.4288 not-muc 43 unknown 8678 muc 17
107.49/107.53	c iter 19 time 34.6267 not-muc 43 unknown 8677 muc 18
107.49/107.53	c iter 20 time 34.8207 not-muc 43 unknown 8676 muc 19
107.49/107.53	c iter 21 time 35.0697 not-muc 43 unknown 8675 muc 20
107.49/107.53	c iter 22 time 35.8096 not-muc 43 unknown 8674 muc 21
107.49/107.53	c iter 23 time 36.0045 not-muc 43 unknown 8673 muc 22
107.49/107.53	c iter 24 time 36.3715 not-muc 43 unknown 8672 muc 23
107.49/107.53	c iter 25 time 36.5224 not-muc 43 unknown 8671 muc 24
107.49/107.53	c iter 26 time 36.6684 not-muc 43 unknown 8670 muc 25
107.49/107.53	c iter 27 time 82.9834 not-muc 69 unknown 8644 muc 25
107.49/107.53	c iter 28 time 84.5731 not-muc 69 unknown 8643 muc 26
107.49/107.53	c iter 29 time 84.9741 not-muc 69 unknown 8642 muc 27
107.49/107.53	c iter 30 time 85.738 not-muc 69 unknown 8641 muc 28
107.49/107.53	c iter 31 time 86.0949 not-muc 69 unknown 8640 muc 29
107.49/107.53	c iter 32 time 86.4699 not-muc 69 unknown 8639 muc 30
107.49/107.53	c iter 33 time 86.8588 not-muc 69 unknown 8638 muc 31
107.49/107.53	c iter 34 time 87.2087 not-muc 69 unknown 8637 muc 32
107.49/107.53	c iter 35 time 87.8526 not-muc 69 unknown 8636 muc 33
107.49/107.53	c iter 36 time 88.3346 not-muc 69 unknown 8635 muc 34
107.49/107.53	c iter 37 time 88.7795 not-muc 69 unknown 8634 muc 35
107.49/107.53	c iter 38 time 89.1744 not-muc 69 unknown 8633 muc 36
107.49/107.53	c iter 39 time 89.5654 not-muc 69 unknown 8632 muc 37
107.49/107.53	c iter 40 time 89.9293 not-muc 69 unknown 8631 muc 38
107.49/107.53	c iter 41 time 90.2743 not-muc 69 unknown 8630 muc 39
107.49/107.53	c iter 42 time 90.7212 not-muc 69 unknown 8629 muc 40
107.49/107.53	c iter 43 time 91.0662 not-muc 69 unknown 8628 muc 41
107.49/107.53	c iter 44 time 91.4101 not-muc 69 unknown 8627 muc 42
107.49/107.53	c iter 45 time 91.7541 not-muc 69 unknown 8626 muc 43
107.49/107.53	c iter 46 time 92.098 not-muc 69 unknown 8625 muc 44
107.49/107.53	c iter 47 time 92.4449 not-muc 69 unknown 8624 muc 45
107.49/107.53	c iter 48 time 92.8449 not-muc 69 unknown 8623 muc 46
107.49/107.53	c iter 49 time 93.1788 not-muc 69 unknown 8622 muc 47
107.49/107.53	c iter 50 time 93.6178 not-muc 69 unknown 8621 muc 48
107.49/107.53	c iter 51 time 93.9127 not-muc 69 unknown 8620 muc 49
107.49/107.53	c iter 52 time 94.1597 not-muc 69 unknown 8619 muc 50
107.49/107.53	c iter 53 time 95.4485 not-muc 69 unknown 8618 muc 51
107.49/107.53	c iter 54 time 95.9714 not-muc 69 unknown 8617 muc 52
107.49/107.53	c iter 55 time 96.3004 not-muc 69 unknown 8616 muc 53
107.49/107.53	c iter 56 time 96.8923 not-muc 69 unknown 8615 muc 54
107.49/107.53	c iter 57 time 99.6509 not-muc 69 unknown 8614 muc 55
107.49/107.53	c iter 58 time 100.001 not-muc 69 unknown 8613 muc 56
107.49/107.53	c iter 59 time 100.398 not-muc 69 unknown 8612 muc 57
107.49/107.53	c iter 60 time 100.787 not-muc 69 unknown 8611 muc 58
107.49/107.53	c iter 61 time 101.127 not-muc 69 unknown 8610 muc 59
107.49/107.53	c iter 62 time 101.493 not-muc 69 unknown 8609 muc 60
107.49/107.53	c iter 63 time 102.249 not-muc 69 unknown 8608 muc 61
107.49/107.53	c iter 64 time 102.591 not-muc 69 unknown 8607 muc 62
107.49/107.53	c iter 65 time 103.148 not-muc 69 unknown 8606 muc 63
107.49/107.53	c iter 66 time 103.516 not-muc 69 unknown 8605 muc 64
107.49/107.53	c iter 67 time 103.919 not-muc 69 unknown 8604 muc 65
107.49/107.53	c iter 68 time 104.327 not-muc 69 unknown 8603 muc 66
107.49/107.53	c iter 69 time 104.67 not-muc 69 unknown 8602 muc 67
107.49/107.53	c iter 70 time 105.008 not-muc 69 unknown 8601 muc 68
107.49/107.53	c iter 71 time 105.35 not-muc 69 unknown 8600 muc 69
107.49/107.53	c iter 72 time 105.717 not-muc 69 unknown 8599 muc 70
107.49/107.53	c iter 73 time 106.066 not-muc 69 unknown 8598 muc 71
107.49/107.53	c iter 74 time 106.474 not-muc 69 unknown 8597 muc 72
107.49/107.53	c iter 75 time 106.82 not-muc 69 unknown 8596 muc 73
107.49/107.53	c iter 76 time 107.166 not-muc 69 unknown 8595 muc 74
140.09/140.19	c iter 77 time 107.507 not-muc 69 unknown 8594 muc 75
140.09/140.19	c iter 78 time 107.985 not-muc 69 unknown 8593 muc 76
140.09/140.19	c iter 79 time 108.233 not-muc 69 unknown 8592 muc 77
140.09/140.19	c iter 80 time 108.574 not-muc 69 unknown 8591 muc 78
140.09/140.19	c iter 81 time 109.468 not-muc 69 unknown 8590 muc 79
140.09/140.19	c iter 82 time 110.568 not-muc 69 unknown 8589 muc 80
140.09/140.19	c iter 83 time 110.985 not-muc 69 unknown 8588 muc 81
140.09/140.19	c iter 84 time 112.047 not-muc 69 unknown 8587 muc 82
140.09/140.19	c iter 85 time 112.388 not-muc 69 unknown 8586 muc 83
140.09/140.19	c iter 86 time 112.712 not-muc 69 unknown 8585 muc 84
140.09/140.19	c iter 87 time 113.066 not-muc 69 unknown 8584 muc 85
140.09/140.19	c iter 88 time 113.387 not-muc 69 unknown 8583 muc 86
140.09/140.19	c iter 89 time 113.802 not-muc 69 unknown 8582 muc 87
140.09/140.19	c iter 90 time 114.449 not-muc 69 unknown 8581 muc 88
140.09/140.19	c iter 91 time 114.78 not-muc 69 unknown 8580 muc 89
140.09/140.19	c iter 92 time 115.115 not-muc 69 unknown 8579 muc 90
140.09/140.19	c iter 93 time 116.293 not-muc 69 unknown 8578 muc 91
140.09/140.19	c iter 94 time 116.646 not-muc 69 unknown 8577 muc 92
140.09/140.19	c iter 95 time 116.985 not-muc 69 unknown 8576 muc 93
140.09/140.19	c iter 96 time 117.374 not-muc 69 unknown 8575 muc 94
140.09/140.19	c iter 97 time 117.711 not-muc 69 unknown 8574 muc 95
140.09/140.19	c iter 98 time 118.049 not-muc 69 unknown 8573 muc 96
140.09/140.19	c iter 99 time 118.392 not-muc 69 unknown 8572 muc 97
140.09/140.19	c iter 100 time 118.743 not-muc 69 unknown 8571 muc 98
140.09/140.19	c iter 101 time 119.312 not-muc 69 unknown 8570 muc 99
140.09/140.19	c iter 102 time 120.108 not-muc 69 unknown 8569 muc 100
140.09/140.19	c iter 103 time 120.443 not-muc 69 unknown 8568 muc 101
140.09/140.19	c iter 104 time 120.822 not-muc 69 unknown 8567 muc 102
140.09/140.19	c iter 105 time 121.218 not-muc 69 unknown 8566 muc 103
140.09/140.19	c iter 106 time 121.463 not-muc 69 unknown 8565 muc 104
140.09/140.19	c iter 107 time 121.838 not-muc 69 unknown 8564 muc 105
140.09/140.19	c iter 108 time 122.534 not-muc 69 unknown 8563 muc 106
140.09/140.19	c iter 109 time 122.87 not-muc 69 unknown 8562 muc 107
140.09/140.19	c iter 110 time 123.124 not-muc 69 unknown 8561 muc 108
140.09/140.19	c iter 111 time 123.486 not-muc 69 unknown 8560 muc 109
140.09/140.19	c iter 112 time 123.823 not-muc 69 unknown 8559 muc 110
140.09/140.19	c iter 113 time 124.172 not-muc 69 unknown 8558 muc 111
140.09/140.19	c iter 114 time 124.628 not-muc 69 unknown 8557 muc 112
140.09/140.19	c iter 115 time 124.968 not-muc 69 unknown 8556 muc 113
140.09/140.19	c iter 116 time 125.322 not-muc 69 unknown 8555 muc 114
140.09/140.19	c iter 117 time 125.866 not-muc 69 unknown 8554 muc 115
140.09/140.19	c iter 118 time 126.227 not-muc 69 unknown 8553 muc 116
140.09/140.19	c iter 119 time 126.557 not-muc 69 unknown 8552 muc 117
140.09/140.19	c iter 120 time 126.884 not-muc 69 unknown 8551 muc 118
140.09/140.19	c iter 121 time 127.211 not-muc 69 unknown 8550 muc 119
140.09/140.19	c iter 122 time 127.668 not-muc 69 unknown 8549 muc 120
140.09/140.19	c iter 123 time 128.035 not-muc 69 unknown 8548 muc 121
140.09/140.19	c iter 124 time 128.362 not-muc 69 unknown 8547 muc 122
140.09/140.19	c iter 125 time 128.726 not-muc 69 unknown 8546 muc 123
140.09/140.19	c iter 126 time 129.099 not-muc 69 unknown 8545 muc 124
140.09/140.19	c iter 127 time 129.448 not-muc 69 unknown 8544 muc 125
140.09/140.19	c iter 128 time 129.975 not-muc 69 unknown 8543 muc 126
140.09/140.19	c iter 129 time 130.317 not-muc 69 unknown 8542 muc 127
140.09/140.19	c iter 130 time 130.658 not-muc 69 unknown 8541 muc 128
140.09/140.19	c iter 131 time 130.988 not-muc 69 unknown 8540 muc 129
140.09/140.19	c iter 132 time 131.267 not-muc 69 unknown 8539 muc 130
140.09/140.19	c iter 133 time 131.511 not-muc 69 unknown 8538 muc 131
140.09/140.19	c iter 134 time 131.933 not-muc 69 unknown 8537 muc 132
140.09/140.19	c iter 135 time 132.282 not-muc 69 unknown 8536 muc 133
140.09/140.19	c iter 136 time 133.002 not-muc 69 unknown 8535 muc 134
140.09/140.19	c iter 137 time 133.371 not-muc 69 unknown 8534 muc 135
140.09/140.19	c iter 138 time 134.241 not-muc 69 unknown 8533 muc 136
140.09/140.19	c iter 139 time 134.661 not-muc 69 unknown 8532 muc 137
140.09/140.19	c iter 140 time 135.045 not-muc 69 unknown 8531 muc 138
140.09/140.19	c iter 141 time 135.405 not-muc 69 unknown 8530 muc 139
140.09/140.19	c iter 142 time 135.743 not-muc 69 unknown 8529 muc 140
140.09/140.19	c iter 143 time 136.114 not-muc 69 unknown 8528 muc 141
140.09/140.19	c iter 144 time 136.446 not-muc 69 unknown 8527 muc 142
140.09/140.19	c iter 145 time 136.793 not-muc 69 unknown 8526 muc 143
140.09/140.19	c iter 146 time 138.182 not-muc 69 unknown 8525 muc 144
140.09/140.19	c iter 147 time 138.551 not-muc 69 unknown 8524 muc 145
140.09/140.19	c iter 148 time 138.898 not-muc 69 unknown 8523 muc 146
140.09/140.19	c iter 149 time 139.303 not-muc 69 unknown 8522 muc 147
140.09/140.19	c iter 150 time 139.806 not-muc 69 unknown 8521 muc 148
175.10/175.11	c iter 151 time 140.139 not-muc 69 unknown 8520 muc 149
175.10/175.11	c iter 152 time 140.471 not-muc 69 unknown 8519 muc 150
175.10/175.11	c iter 153 time 140.818 not-muc 69 unknown 8518 muc 151
175.10/175.11	c iter 154 time 141.163 not-muc 69 unknown 8517 muc 152
175.10/175.11	c iter 155 time 141.603 not-muc 69 unknown 8516 muc 153
175.10/175.11	c iter 156 time 141.947 not-muc 69 unknown 8515 muc 154
175.10/175.11	c iter 157 time 142.283 not-muc 69 unknown 8514 muc 155
175.10/175.11	c iter 158 time 142.599 not-muc 69 unknown 8513 muc 156
175.10/175.11	c iter 159 time 142.897 not-muc 69 unknown 8512 muc 157
175.10/175.11	c iter 160 time 143.128 not-muc 69 unknown 8511 muc 158
175.10/175.11	c iter 161 time 143.461 not-muc 69 unknown 8510 muc 159
175.10/175.11	c iter 162 time 143.983 not-muc 69 unknown 8509 muc 160
175.10/175.11	c iter 163 time 144.371 not-muc 69 unknown 8508 muc 161
175.10/175.11	c iter 164 time 144.77 not-muc 69 unknown 8507 muc 162
175.10/175.11	c iter 165 time 146.833 not-muc 69 unknown 8506 muc 163
175.10/175.11	c iter 166 time 147.272 not-muc 69 unknown 8505 muc 164
175.10/175.11	c iter 167 time 147.602 not-muc 69 unknown 8504 muc 165
175.10/175.11	c iter 168 time 148 not-muc 69 unknown 8503 muc 166
175.10/175.11	c iter 169 time 148.336 not-muc 69 unknown 8502 muc 167
175.10/175.11	c iter 170 time 149.364 not-muc 69 unknown 8501 muc 168
175.10/175.11	c iter 171 time 150.022 not-muc 69 unknown 8500 muc 169
175.10/175.11	c iter 172 time 150.759 not-muc 69 unknown 8499 muc 170
175.10/175.11	c iter 173 time 151.086 not-muc 69 unknown 8498 muc 171
175.10/175.11	c iter 174 time 151.437 not-muc 69 unknown 8497 muc 172
175.10/175.11	c iter 175 time 151.785 not-muc 69 unknown 8496 muc 173
175.10/175.11	c iter 176 time 152.119 not-muc 69 unknown 8495 muc 174
175.10/175.11	c iter 177 time 152.783 not-muc 69 unknown 8494 muc 175
175.10/175.11	c iter 178 time 153.114 not-muc 69 unknown 8493 muc 176
175.10/175.11	c iter 179 time 153.447 not-muc 69 unknown 8492 muc 177
175.10/175.11	c iter 180 time 153.811 not-muc 69 unknown 8491 muc 178
175.10/175.11	c iter 181 time 154.151 not-muc 69 unknown 8490 muc 179
175.10/175.11	c iter 182 time 154.487 not-muc 69 unknown 8489 muc 180
175.10/175.11	c iter 183 time 154.829 not-muc 69 unknown 8488 muc 181
175.10/175.11	c iter 184 time 155.162 not-muc 69 unknown 8487 muc 182
175.10/175.11	c iter 185 time 155.502 not-muc 69 unknown 8486 muc 183
175.10/175.11	c iter 186 time 155.763 not-muc 69 unknown 8485 muc 184
175.10/175.11	c iter 187 time 156.005 not-muc 69 unknown 8484 muc 185
175.10/175.11	c iter 188 time 156.336 not-muc 69 unknown 8483 muc 186
175.10/175.11	c iter 189 time 156.725 not-muc 69 unknown 8482 muc 187
175.10/175.11	c iter 190 time 157.777 not-muc 69 unknown 8481 muc 188
175.10/175.11	c iter 191 time 158.239 not-muc 69 unknown 8480 muc 189
175.10/175.11	c iter 192 time 159.203 not-muc 69 unknown 8479 muc 190
175.10/175.11	c iter 193 time 159.562 not-muc 69 unknown 8478 muc 191
175.10/175.11	c iter 194 time 160.122 not-muc 69 unknown 8477 muc 192
175.10/175.11	c iter 195 time 160.528 not-muc 69 unknown 8476 muc 193
175.10/175.11	c iter 196 time 160.863 not-muc 69 unknown 8475 muc 194
175.10/175.11	c iter 197 time 161.546 not-muc 69 unknown 8474 muc 195
175.10/175.11	c iter 198 time 162.981 not-muc 69 unknown 8473 muc 196
175.10/175.11	c iter 199 time 163.308 not-muc 69 unknown 8472 muc 197
175.10/175.11	c iter 200 time 163.705 not-muc 69 unknown 8471 muc 198
175.10/175.11	c iter 201 time 164.847 not-muc 69 unknown 8470 muc 199
175.10/175.11	c iter 202 time 165.172 not-muc 69 unknown 8469 muc 200
175.10/175.11	c iter 203 time 165.506 not-muc 69 unknown 8468 muc 201
175.10/175.11	c iter 204 time 165.832 not-muc 69 unknown 8467 muc 202
175.10/175.11	c iter 205 time 166.143 not-muc 69 unknown 8466 muc 203
175.10/175.11	c iter 206 time 166.475 not-muc 69 unknown 8465 muc 204
175.10/175.11	c iter 207 time 166.878 not-muc 69 unknown 8464 muc 205
175.10/175.11	c iter 208 time 167.221 not-muc 69 unknown 8463 muc 206
175.10/175.11	c iter 209 time 167.641 not-muc 69 unknown 8462 muc 207
175.10/175.11	c iter 210 time 168.15 not-muc 69 unknown 8461 muc 208
175.10/175.11	c iter 211 time 168.482 not-muc 69 unknown 8460 muc 209
175.10/175.11	c iter 212 time 168.816 not-muc 69 unknown 8459 muc 210
175.10/175.11	c iter 213 time 169.051 not-muc 69 unknown 8458 muc 211
175.10/175.11	c iter 214 time 169.286 not-muc 69 unknown 8457 muc 212
175.10/175.11	c iter 215 time 170.574 not-muc 69 unknown 8456 muc 213
175.10/175.11	c iter 216 time 170.91 not-muc 69 unknown 8455 muc 214
175.10/175.11	c iter 217 time 171.305 not-muc 69 unknown 8454 muc 215
175.10/175.11	c iter 218 time 171.905 not-muc 69 unknown 8453 muc 216
175.10/175.11	c iter 219 time 173.079 not-muc 69 unknown 8452 muc 217
175.10/175.11	c iter 220 time 173.421 not-muc 69 unknown 8451 muc 218
175.10/175.11	c iter 221 time 173.795 not-muc 69 unknown 8450 muc 219
175.10/175.11	c iter 222 time 174.359 not-muc 69 unknown 8449 muc 220
175.10/175.11	c iter 223 time 174.693 not-muc 69 unknown 8448 muc 221
216.20/216.23	c iter 224 time 175.088 not-muc 69 unknown 8447 muc 222
216.20/216.23	c iter 225 time 175.541 not-muc 69 unknown 8446 muc 223
216.20/216.23	c iter 226 time 175.897 not-muc 69 unknown 8445 muc 224
216.20/216.23	c iter 227 time 176.214 not-muc 69 unknown 8444 muc 225
216.20/216.23	c iter 228 time 176.546 not-muc 69 unknown 8443 muc 226
216.20/216.23	c iter 229 time 176.886 not-muc 69 unknown 8442 muc 227
216.20/216.23	c iter 230 time 177.216 not-muc 69 unknown 8441 muc 228
216.20/216.23	c iter 231 time 177.662 not-muc 69 unknown 8440 muc 229
216.20/216.23	c iter 232 time 177.97 not-muc 69 unknown 8439 muc 230
216.20/216.23	c iter 233 time 178.286 not-muc 69 unknown 8438 muc 231
216.20/216.23	c iter 234 time 178.607 not-muc 69 unknown 8437 muc 232
216.20/216.23	c iter 235 time 178.932 not-muc 69 unknown 8436 muc 233
216.20/216.23	c iter 236 time 179.355 not-muc 69 unknown 8435 muc 234
216.20/216.23	c iter 237 time 179.744 not-muc 69 unknown 8434 muc 235
216.20/216.23	c iter 238 time 180.06 not-muc 69 unknown 8433 muc 236
216.20/216.23	c iter 239 time 180.397 not-muc 69 unknown 8432 muc 237
216.20/216.23	c iter 240 time 180.764 not-muc 69 unknown 8431 muc 238
216.20/216.23	c iter 241 time 181.001 not-muc 69 unknown 8430 muc 239
216.20/216.23	c iter 242 time 182.622 not-muc 69 unknown 8429 muc 240
216.20/216.23	c iter 243 time 183.743 not-muc 69 unknown 8428 muc 241
216.20/216.23	c iter 244 time 184.07 not-muc 69 unknown 8427 muc 242
216.20/216.23	c iter 245 time 184.58 not-muc 69 unknown 8426 muc 243
216.20/216.23	c iter 246 time 185.603 not-muc 69 unknown 8425 muc 244
216.20/216.23	c iter 247 time 186.215 not-muc 69 unknown 8424 muc 245
216.20/216.23	c iter 248 time 186.643 not-muc 69 unknown 8423 muc 246
216.20/216.23	c iter 249 time 186.996 not-muc 69 unknown 8422 muc 247
216.20/216.23	c iter 250 time 187.327 not-muc 69 unknown 8421 muc 248
216.20/216.23	c iter 251 time 187.654 not-muc 69 unknown 8420 muc 249
216.20/216.23	c iter 252 time 188.04 not-muc 69 unknown 8419 muc 250
216.20/216.23	c iter 253 time 189.067 not-muc 69 unknown 8418 muc 251
216.20/216.23	c iter 254 time 196.18 not-muc 69 unknown 8417 muc 252
216.20/216.23	c iter 255 time 196.574 not-muc 69 unknown 8416 muc 253
216.20/216.23	c iter 256 time 196.914 not-muc 69 unknown 8415 muc 254
216.20/216.23	c iter 257 time 197.248 not-muc 69 unknown 8414 muc 255
216.20/216.23	c iter 258 time 197.768 not-muc 69 unknown 8413 muc 256
216.20/216.23	c iter 259 time 198.101 not-muc 69 unknown 8412 muc 257
216.20/216.23	c iter 260 time 198.455 not-muc 69 unknown 8411 muc 258
216.20/216.23	c iter 261 time 198.793 not-muc 69 unknown 8410 muc 259
216.20/216.23	c iter 262 time 199.141 not-muc 69 unknown 8409 muc 260
216.20/216.23	c iter 263 time 199.48 not-muc 69 unknown 8408 muc 261
216.20/216.23	c iter 264 time 199.816 not-muc 69 unknown 8407 muc 262
216.20/216.23	c iter 265 time 200.149 not-muc 69 unknown 8406 muc 263
216.20/216.23	c iter 266 time 200.482 not-muc 69 unknown 8405 muc 264
216.20/216.23	c iter 267 time 200.724 not-muc 69 unknown 8404 muc 265
216.20/216.23	c iter 268 time 200.954 not-muc 69 unknown 8403 muc 266
216.20/216.23	c iter 269 time 201.268 not-muc 69 unknown 8402 muc 267
216.20/216.23	c iter 270 time 201.479 not-muc 69 unknown 8401 muc 268
216.20/216.23	c iter 271 time 201.814 not-muc 69 unknown 8400 muc 269
216.20/216.23	c iter 272 time 202.196 not-muc 69 unknown 8399 muc 270
216.20/216.23	c iter 273 time 203.699 not-muc 69 unknown 8398 muc 271
216.20/216.23	c iter 274 time 204.204 not-muc 69 unknown 8397 muc 272
216.20/216.23	c iter 275 time 204.777 not-muc 69 unknown 8396 muc 273
216.20/216.23	c iter 276 time 205.215 not-muc 69 unknown 8395 muc 274
216.20/216.23	c iter 277 time 205.545 not-muc 69 unknown 8394 muc 275
216.20/216.23	c iter 278 time 205.872 not-muc 69 unknown 8393 muc 276
216.20/216.23	c iter 279 time 206.75 not-muc 69 unknown 8392 muc 277
216.20/216.23	c iter 280 time 207.075 not-muc 69 unknown 8391 muc 278
216.20/216.23	c iter 281 time 210.218 not-muc 69 unknown 8390 muc 279
216.20/216.23	c iter 282 time 210.644 not-muc 69 unknown 8389 muc 280
216.20/216.23	c iter 283 time 210.985 not-muc 69 unknown 8388 muc 281
216.20/216.23	c iter 284 time 211.312 not-muc 69 unknown 8387 muc 282
216.20/216.23	c iter 285 time 211.914 not-muc 69 unknown 8386 muc 283
216.20/216.23	c iter 286 time 212.239 not-muc 69 unknown 8385 muc 284
216.20/216.23	c iter 287 time 212.579 not-muc 69 unknown 8384 muc 285
216.20/216.23	c iter 288 time 212.999 not-muc 69 unknown 8383 muc 286
216.20/216.23	c iter 289 time 213.344 not-muc 69 unknown 8382 muc 287
216.20/216.23	c iter 290 time 213.674 not-muc 69 unknown 8381 muc 288
216.20/216.23	c iter 291 time 214.282 not-muc 69 unknown 8380 muc 289
216.20/216.23	c iter 292 time 214.614 not-muc 69 unknown 8379 muc 290
216.20/216.23	c iter 293 time 214.956 not-muc 69 unknown 8378 muc 291
216.20/216.23	c iter 294 time 215.202 not-muc 69 unknown 8377 muc 292
216.20/216.23	c iter 295 time 215.438 not-muc 69 unknown 8376 muc 293
216.20/216.23	c iter 296 time 215.759 not-muc 69 unknown 8375 muc 294
249.50/249.51	c iter 297 time 216.122 not-muc 69 unknown 8374 muc 295
249.50/249.51	c iter 298 time 216.474 not-muc 69 unknown 8373 muc 296
249.50/249.51	c iter 299 time 216.911 not-muc 69 unknown 8372 muc 297
249.50/249.51	c iter 300 time 217.976 not-muc 69 unknown 8371 muc 298
249.50/249.51	c iter 301 time 218.302 not-muc 69 unknown 8370 muc 299
249.50/249.51	c iter 302 time 218.7 not-muc 69 unknown 8369 muc 300
249.50/249.51	c iter 303 time 219.129 not-muc 69 unknown 8368 muc 301
249.50/249.51	c iter 304 time 219.461 not-muc 69 unknown 8367 muc 302
249.50/249.51	c iter 305 time 219.791 not-muc 69 unknown 8366 muc 303
249.50/249.51	c iter 306 time 220.442 not-muc 69 unknown 8365 muc 304
249.50/249.51	c iter 307 time 220.824 not-muc 69 unknown 8364 muc 305
249.50/249.51	c iter 308 time 222.606 not-muc 69 unknown 8363 muc 306
249.50/249.51	c iter 309 time 223.582 not-muc 69 unknown 8362 muc 307
249.50/249.51	c iter 310 time 223.899 not-muc 69 unknown 8361 muc 308
249.50/249.51	c iter 311 time 224.21 not-muc 69 unknown 8360 muc 309
249.50/249.51	c iter 312 time 224.588 not-muc 69 unknown 8359 muc 310
249.50/249.51	c iter 313 time 224.933 not-muc 69 unknown 8358 muc 311
249.50/249.51	c iter 314 time 225.296 not-muc 69 unknown 8357 muc 312
249.50/249.51	c iter 315 time 225.676 not-muc 69 unknown 8356 muc 313
249.50/249.51	c iter 316 time 226.017 not-muc 69 unknown 8355 muc 314
249.50/249.51	c iter 317 time 226.377 not-muc 69 unknown 8354 muc 315
249.50/249.51	c iter 318 time 226.74 not-muc 69 unknown 8353 muc 316
249.50/249.51	c iter 319 time 227.064 not-muc 69 unknown 8352 muc 317
249.50/249.51	c iter 320 time 227.405 not-muc 69 unknown 8351 muc 318
249.50/249.51	c iter 321 time 227.644 not-muc 69 unknown 8350 muc 319
249.50/249.51	c iter 322 time 227.879 not-muc 69 unknown 8349 muc 320
249.50/249.51	c iter 323 time 228.2 not-muc 69 unknown 8348 muc 321
249.50/249.51	c iter 324 time 228.532 not-muc 69 unknown 8347 muc 322
249.50/249.51	c iter 325 time 228.861 not-muc 69 unknown 8346 muc 323
249.50/249.51	c iter 326 time 229.192 not-muc 69 unknown 8345 muc 324
249.50/249.51	c iter 327 time 229.51 not-muc 69 unknown 8344 muc 325
249.50/249.51	c iter 328 time 229.839 not-muc 69 unknown 8343 muc 326
249.50/249.51	c iter 329 time 230.662 not-muc 69 unknown 8342 muc 327
249.50/249.51	c iter 330 time 231.028 not-muc 69 unknown 8341 muc 328
249.50/249.51	c iter 331 time 231.356 not-muc 69 unknown 8340 muc 329
249.50/249.51	c iter 332 time 231.69 not-muc 69 unknown 8339 muc 330
249.50/249.51	c iter 333 time 235.242 not-muc 69 unknown 8338 muc 331
249.50/249.51	c iter 334 time 236.028 not-muc 69 unknown 8337 muc 332
249.50/249.51	c iter 335 time 236.344 not-muc 69 unknown 8336 muc 333
249.50/249.51	c iter 336 time 236.722 not-muc 69 unknown 8335 muc 334
249.50/249.51	c iter 337 time 237.107 not-muc 69 unknown 8334 muc 335
249.50/249.51	c iter 338 time 237.576 not-muc 69 unknown 8333 muc 336
249.50/249.51	c iter 339 time 237.902 not-muc 69 unknown 8332 muc 337
249.50/249.51	c iter 340 time 238.223 not-muc 69 unknown 8331 muc 338
249.50/249.51	c iter 341 time 238.563 not-muc 69 unknown 8330 muc 339
249.50/249.51	c iter 342 time 238.892 not-muc 69 unknown 8329 muc 340
249.50/249.51	c iter 343 time 239.234 not-muc 69 unknown 8328 muc 341
249.50/249.51	c iter 344 time 239.562 not-muc 69 unknown 8327 muc 342
249.50/249.51	c iter 345 time 239.886 not-muc 69 unknown 8326 muc 343
249.50/249.51	c iter 346 time 240.208 not-muc 69 unknown 8325 muc 344
249.50/249.51	c iter 347 time 240.538 not-muc 69 unknown 8324 muc 345
249.50/249.51	c iter 348 time 240.886 not-muc 69 unknown 8323 muc 346
249.50/249.51	c iter 349 time 241.231 not-muc 69 unknown 8322 muc 347
249.50/249.51	c iter 350 time 241.579 not-muc 69 unknown 8321 muc 348
249.50/249.51	c iter 351 time 242.029 not-muc 69 unknown 8320 muc 349
249.50/249.51	c iter 352 time 242.376 not-muc 69 unknown 8319 muc 350
249.50/249.51	c iter 353 time 242.753 not-muc 69 unknown 8318 muc 351
249.50/249.51	c iter 354 time 243.116 not-muc 69 unknown 8317 muc 352
249.50/249.51	c iter 355 time 243.441 not-muc 69 unknown 8316 muc 353
249.50/249.51	c iter 356 time 243.942 not-muc 69 unknown 8315 muc 354
249.50/249.51	c iter 357 time 244.289 not-muc 69 unknown 8314 muc 355
249.50/249.51	c iter 358 time 244.621 not-muc 69 unknown 8313 muc 356
249.50/249.51	c iter 359 time 245.055 not-muc 69 unknown 8312 muc 357
249.50/249.51	c iter 360 time 245.638 not-muc 69 unknown 8311 muc 358
249.50/249.51	c iter 361 time 245.937 not-muc 69 unknown 8310 muc 359
249.50/249.51	c iter 362 time 246.258 not-muc 69 unknown 8309 muc 360
249.50/249.51	c iter 363 time 246.597 not-muc 69 unknown 8308 muc 361
249.50/249.51	c iter 364 time 246.929 not-muc 69 unknown 8307 muc 362
249.50/249.51	c iter 365 time 247.26 not-muc 69 unknown 8306 muc 363
249.50/249.51	c iter 366 time 247.584 not-muc 69 unknown 8305 muc 364
249.50/249.51	c iter 367 time 247.965 not-muc 69 unknown 8304 muc 365
249.50/249.51	c iter 368 time 248.348 not-muc 69 unknown 8303 muc 366
249.50/249.51	c iter 369 time 248.691 not-muc 69 unknown 8302 muc 367
249.50/249.51	c iter 370 time 249.017 not-muc 69 unknown 8301 muc 368
413.10/413.19	c iter 371 time 249.473 not-muc 69 unknown 8300 muc 369
413.10/413.19	c iter 372 time 296.061 not-muc 83 unknown 8286 muc 369
413.10/413.19	c iter 373 time 297.795 not-muc 83 unknown 8285 muc 370
413.10/413.19	c iter 374 time 298.154 not-muc 83 unknown 8284 muc 371
413.10/413.19	c iter 375 time 298.371 not-muc 83 unknown 8283 muc 372
413.10/413.19	c iter 376 time 298.595 not-muc 83 unknown 8282 muc 373
413.10/413.19	c iter 377 time 298.847 not-muc 83 unknown 8281 muc 374
413.10/413.19	c iter 378 time 299.093 not-muc 83 unknown 8280 muc 375
413.10/413.19	c iter 379 time 299.323 not-muc 83 unknown 8279 muc 376
413.10/413.19	c iter 380 time 299.568 not-muc 83 unknown 8278 muc 377
413.10/413.19	c iter 381 time 299.797 not-muc 83 unknown 8277 muc 378
413.10/413.19	c iter 382 time 300.022 not-muc 83 unknown 8276 muc 379
413.10/413.19	c iter 383 time 300.24 not-muc 83 unknown 8275 muc 380
413.10/413.19	c iter 384 time 300.535 not-muc 83 unknown 8274 muc 381
413.10/413.19	c iter 385 time 300.998 not-muc 83 unknown 8273 muc 382
413.10/413.19	c iter 386 time 301.457 not-muc 83 unknown 8272 muc 383
413.10/413.19	c iter 387 time 301.911 not-muc 83 unknown 8271 muc 384
413.10/413.19	c iter 388 time 302.166 not-muc 83 unknown 8270 muc 385
413.10/413.19	c iter 389 time 302.39 not-muc 83 unknown 8269 muc 386
413.10/413.19	c iter 390 time 302.61 not-muc 83 unknown 8268 muc 387
413.10/413.19	c iter 391 time 307.425 not-muc 83 unknown 8267 muc 388
413.10/413.19	c iter 392 time 307.889 not-muc 83 unknown 8266 muc 389
413.10/413.19	c iter 393 time 308.11 not-muc 83 unknown 8265 muc 390
413.10/413.19	c iter 394 time 309.045 not-muc 83 unknown 8264 muc 391
413.10/413.19	c iter 395 time 309.508 not-muc 83 unknown 8263 muc 392
413.10/413.19	c iter 396 time 309.76 not-muc 83 unknown 8262 muc 393
413.10/413.19	c iter 397 time 310.021 not-muc 83 unknown 8261 muc 394
413.10/413.19	c iter 398 time 310.474 not-muc 83 unknown 8260 muc 395
413.10/413.19	c iter 399 time 310.7 not-muc 83 unknown 8259 muc 396
413.10/413.19	c iter 400 time 311.014 not-muc 83 unknown 8258 muc 397
413.10/413.19	c iter 401 time 311.47 not-muc 83 unknown 8257 muc 398
413.10/413.19	c iter 402 time 311.705 not-muc 83 unknown 8256 muc 399
413.10/413.19	c iter 403 time 311.954 not-muc 83 unknown 8255 muc 400
413.10/413.19	c iter 404 time 312.407 not-muc 83 unknown 8254 muc 401
413.10/413.19	c iter 405 time 312.627 not-muc 83 unknown 8253 muc 402
413.10/413.19	c iter 406 time 313.028 not-muc 83 unknown 8252 muc 403
413.10/413.19	c iter 407 time 313.48 not-muc 83 unknown 8251 muc 404
413.10/413.19	c iter 408 time 313.703 not-muc 83 unknown 8250 muc 405
413.10/413.19	c iter 409 time 314.168 not-muc 83 unknown 8249 muc 406
413.10/413.19	c iter 410 time 314.623 not-muc 83 unknown 8248 muc 407
413.10/413.19	c iter 411 time 314.845 not-muc 83 unknown 8247 muc 408
413.10/413.19	c iter 412 time 315.131 not-muc 83 unknown 8246 muc 409
413.10/413.19	c iter 413 time 315.576 not-muc 83 unknown 8245 muc 410
413.10/413.19	c iter 414 time 315.81 not-muc 83 unknown 8244 muc 411
413.10/413.19	c iter 415 time 316.149 not-muc 83 unknown 8243 muc 412
413.10/413.19	c iter 416 time 316.597 not-muc 83 unknown 8242 muc 413
413.10/413.19	c iter 417 time 316.82 not-muc 83 unknown 8241 muc 414
413.10/413.19	c iter 418 time 317.094 not-muc 83 unknown 8240 muc 415
413.10/413.19	c iter 419 time 317.537 not-muc 83 unknown 8239 muc 416
413.10/413.19	c iter 420 time 317.819 not-muc 83 unknown 8238 muc 417
413.10/413.19	c iter 421 time 318.17 not-muc 83 unknown 8237 muc 418
413.10/413.19	c iter 422 time 318.619 not-muc 83 unknown 8236 muc 419
413.10/413.19	c iter 423 time 318.84 not-muc 83 unknown 8235 muc 420
413.10/413.19	c iter 424 time 319.271 not-muc 83 unknown 8234 muc 421
413.10/413.19	c iter 425 time 319.703 not-muc 83 unknown 8233 muc 422
413.10/413.19	c iter 426 time 319.925 not-muc 83 unknown 8232 muc 423
413.10/413.19	c iter 427 time 320.258 not-muc 83 unknown 8231 muc 424
413.10/413.19	c iter 428 time 320.689 not-muc 83 unknown 8230 muc 425
413.10/413.19	c iter 429 time 320.91 not-muc 83 unknown 8229 muc 426
413.10/413.19	c iter 430 time 321.239 not-muc 83 unknown 8228 muc 427
413.10/413.19	c iter 431 time 321.747 not-muc 83 unknown 8227 muc 428
413.10/413.19	c iter 432 time 322.141 not-muc 83 unknown 8226 muc 429
413.10/413.19	c iter 433 time 322.547 not-muc 83 unknown 8225 muc 430
413.10/413.19	c iter 434 time 323.009 not-muc 83 unknown 8224 muc 431
413.10/413.19	c iter 435 time 323.364 not-muc 83 unknown 8223 muc 432
413.10/413.19	c iter 436 time 323.721 not-muc 83 unknown 8222 muc 433
413.10/413.19	c iter 437 time 323.95 not-muc 83 unknown 8221 muc 434
413.10/413.19	c iter 438 time 409.176 not-muc 87 unknown 8217 muc 434
413.10/413.19	c iter 439 time 410.325 not-muc 87 unknown 8216 muc 435
413.10/413.19	c iter 440 time 410.715 not-muc 87 unknown 8215 muc 436
413.10/413.19	c iter 441 time 411.241 not-muc 87 unknown 8214 muc 437
413.10/413.19	c iter 442 time 411.877 not-muc 87 unknown 8213 muc 438
413.10/413.19	c iter 443 time 412.285 not-muc 87 unknown 8212 muc 439
452.20/452.28	c iter 444 time 413.088 not-muc 87 unknown 8211 muc 440
452.20/452.28	c iter 445 time 413.716 not-muc 87 unknown 8210 muc 441
452.20/452.28	c iter 446 time 414.111 not-muc 87 unknown 8209 muc 442
452.20/452.28	c iter 447 time 414.58 not-muc 87 unknown 8208 muc 443
452.20/452.28	c iter 448 time 415.198 not-muc 87 unknown 8207 muc 444
452.20/452.28	c iter 449 time 415.596 not-muc 87 unknown 8206 muc 445
452.20/452.28	c iter 450 time 416.101 not-muc 87 unknown 8205 muc 446
452.20/452.28	c iter 451 time 416.753 not-muc 87 unknown 8204 muc 447
452.20/452.28	c iter 452 time 417.142 not-muc 87 unknown 8203 muc 448
452.20/452.28	c iter 453 time 417.701 not-muc 87 unknown 8202 muc 449
452.20/452.28	c iter 454 time 418.317 not-muc 87 unknown 8201 muc 450
452.20/452.28	c iter 455 time 418.71 not-muc 87 unknown 8200 muc 451
452.20/452.28	c iter 456 time 419.166 not-muc 87 unknown 8199 muc 452
452.20/452.28	c iter 457 time 419.776 not-muc 87 unknown 8198 muc 453
452.20/452.28	c iter 458 time 420.316 not-muc 87 unknown 8197 muc 454
452.20/452.28	c iter 459 time 420.788 not-muc 87 unknown 8196 muc 455
452.20/452.28	c iter 460 time 421.394 not-muc 87 unknown 8195 muc 456
452.20/452.28	c iter 461 time 421.779 not-muc 87 unknown 8194 muc 457
452.20/452.28	c iter 462 time 422.25 not-muc 87 unknown 8193 muc 458
452.20/452.28	c iter 463 time 422.839 not-muc 87 unknown 8192 muc 459
452.20/452.28	c iter 464 time 423.207 not-muc 87 unknown 8191 muc 460
452.20/452.28	c iter 465 time 424.067 not-muc 87 unknown 8190 muc 461
452.20/452.28	c iter 466 time 424.659 not-muc 87 unknown 8189 muc 462
452.20/452.28	c iter 467 time 425.051 not-muc 87 unknown 8188 muc 463
452.20/452.28	c iter 468 time 425.634 not-muc 87 unknown 8187 muc 464
452.20/452.28	c iter 469 time 426.23 not-muc 87 unknown 8186 muc 465
452.20/452.28	c iter 470 time 426.613 not-muc 87 unknown 8185 muc 466
452.20/452.28	c iter 471 time 427.176 not-muc 87 unknown 8184 muc 467
452.20/452.28	c iter 472 time 427.764 not-muc 87 unknown 8183 muc 468
452.20/452.28	c iter 473 time 428.15 not-muc 87 unknown 8182 muc 469
452.20/452.28	c iter 474 time 428.77 not-muc 87 unknown 8181 muc 470
452.20/452.28	c iter 475 time 429.405 not-muc 87 unknown 8180 muc 471
452.20/452.28	c iter 476 time 429.795 not-muc 87 unknown 8179 muc 472
452.20/452.28	c iter 477 time 430.336 not-muc 87 unknown 8178 muc 473
452.20/452.28	c iter 478 time 430.916 not-muc 87 unknown 8177 muc 474
452.20/452.28	c iter 479 time 431.522 not-muc 87 unknown 8176 muc 475
452.20/452.28	c iter 480 time 432.098 not-muc 87 unknown 8175 muc 476
452.20/452.28	c iter 481 time 432.674 not-muc 87 unknown 8174 muc 477
452.20/452.28	c iter 482 time 433.267 not-muc 87 unknown 8173 muc 478
452.20/452.28	c iter 483 time 433.801 not-muc 87 unknown 8172 muc 479
452.20/452.28	c iter 484 time 434.322 not-muc 87 unknown 8171 muc 480
452.20/452.28	c iter 485 time 434.96 not-muc 87 unknown 8170 muc 481
452.20/452.28	c iter 486 time 435.516 not-muc 87 unknown 8169 muc 482
452.20/452.28	c iter 487 time 436.126 not-muc 87 unknown 8168 muc 483
452.20/452.28	c iter 488 time 436.744 not-muc 87 unknown 8167 muc 484
452.20/452.28	c iter 489 time 437.285 not-muc 87 unknown 8166 muc 485
452.20/452.28	c iter 490 time 437.81 not-muc 87 unknown 8165 muc 486
452.20/452.28	c iter 491 time 438.428 not-muc 87 unknown 8164 muc 487
452.20/452.28	c iter 492 time 439.037 not-muc 87 unknown 8163 muc 488
452.20/452.28	c iter 493 time 439.572 not-muc 87 unknown 8162 muc 489
452.20/452.28	c iter 494 time 440.111 not-muc 87 unknown 8161 muc 490
452.20/452.28	c iter 495 time 440.601 not-muc 87 unknown 8160 muc 491
452.20/452.28	c iter 496 time 441.101 not-muc 87 unknown 8159 muc 492
452.20/452.28	c iter 497 time 441.671 not-muc 87 unknown 8158 muc 493
452.20/452.28	c iter 498 time 442.171 not-muc 87 unknown 8157 muc 494
452.20/452.28	c iter 499 time 442.685 not-muc 87 unknown 8156 muc 495
452.20/452.28	c iter 500 time 443.19 not-muc 87 unknown 8155 muc 496
452.20/452.28	c iter 501 time 443.682 not-muc 87 unknown 8154 muc 497
452.20/452.28	c iter 502 time 444.172 not-muc 87 unknown 8153 muc 498
452.20/452.28	c iter 503 time 444.785 not-muc 87 unknown 8152 muc 499
452.20/452.28	c iter 504 time 445.293 not-muc 87 unknown 8151 muc 500
452.20/452.28	c iter 505 time 445.794 not-muc 87 unknown 8150 muc 501
452.20/452.28	c iter 506 time 446.346 not-muc 87 unknown 8149 muc 502
452.20/452.28	c iter 507 time 446.818 not-muc 87 unknown 8148 muc 503
452.20/452.28	c iter 508 time 447.289 not-muc 87 unknown 8147 muc 504
452.20/452.28	c iter 509 time 447.917 not-muc 87 unknown 8146 muc 505
452.20/452.28	c iter 510 time 448.412 not-muc 87 unknown 8145 muc 506
452.20/452.28	c iter 511 time 448.919 not-muc 87 unknown 8144 muc 507
452.20/452.28	c iter 512 time 449.403 not-muc 87 unknown 8143 muc 508
452.20/452.28	c iter 513 time 449.88 not-muc 87 unknown 8142 muc 509
452.20/452.28	c iter 514 time 450.346 not-muc 87 unknown 8141 muc 510
452.20/452.28	c iter 515 time 450.912 not-muc 87 unknown 8140 muc 511
452.20/452.28	c iter 516 time 451.372 not-muc 87 unknown 8139 muc 512
623.62/623.65	c iter 517 time 451.971 not-muc 87 unknown 8138 muc 513
623.62/623.65	c iter 518 time 452.461 not-muc 87 unknown 8137 muc 514
623.62/623.65	c iter 519 time 452.915 not-muc 87 unknown 8136 muc 515
623.62/623.65	c iter 520 time 453.364 not-muc 87 unknown 8135 muc 516
623.62/623.65	c iter 521 time 453.891 not-muc 87 unknown 8134 muc 517
623.62/623.65	c iter 522 time 454.336 not-muc 87 unknown 8133 muc 518
623.62/623.65	c iter 523 time 454.807 not-muc 87 unknown 8132 muc 519
623.62/623.65	c iter 524 time 455.322 not-muc 87 unknown 8131 muc 520
623.62/623.65	c iter 525 time 455.787 not-muc 87 unknown 8130 muc 521
623.62/623.65	c iter 526 time 456.251 not-muc 87 unknown 8129 muc 522
623.62/623.65	c iter 527 time 456.762 not-muc 87 unknown 8128 muc 523
623.62/623.65	c iter 528 time 457.213 not-muc 87 unknown 8127 muc 524
623.62/623.65	c iter 529 time 457.665 not-muc 87 unknown 8126 muc 525
623.62/623.65	c iter 530 time 458.117 not-muc 87 unknown 8125 muc 526
623.62/623.65	c iter 531 time 458.632 not-muc 87 unknown 8124 muc 527
623.62/623.65	c iter 532 time 459.091 not-muc 87 unknown 8123 muc 528
623.62/623.65	c iter 533 time 459.597 not-muc 87 unknown 8122 muc 529
623.62/623.65	c iter 534 time 460.104 not-muc 87 unknown 8121 muc 530
623.62/623.65	c iter 535 time 460.568 not-muc 87 unknown 8120 muc 531
623.62/623.65	c iter 536 time 461.031 not-muc 87 unknown 8119 muc 532
623.62/623.65	c iter 537 time 461.455 not-muc 87 unknown 8118 muc 533
623.62/623.65	c iter 538 time 461.857 not-muc 87 unknown 8117 muc 534
623.62/623.65	c iter 539 time 462.414 not-muc 87 unknown 8116 muc 535
623.62/623.65	c iter 540 time 462.825 not-muc 87 unknown 8115 muc 536
623.62/623.65	c iter 541 time 463.302 not-muc 87 unknown 8114 muc 537
623.62/623.65	c iter 542 time 463.753 not-muc 87 unknown 8113 muc 538
623.62/623.65	c iter 543 time 464.217 not-muc 87 unknown 8112 muc 539
623.62/623.65	c iter 544 time 464.636 not-muc 87 unknown 8111 muc 540
623.62/623.65	c iter 545 time 465.309 not-muc 87 unknown 8110 muc 541
623.62/623.65	c iter 546 time 465.719 not-muc 87 unknown 8109 muc 542
623.62/623.65	c iter 547 time 466.164 not-muc 87 unknown 8108 muc 543
623.62/623.65	c iter 548 time 466.608 not-muc 87 unknown 8107 muc 544
623.62/623.65	c iter 549 time 467.041 not-muc 87 unknown 8106 muc 545
623.62/623.65	c iter 550 time 467.466 not-muc 87 unknown 8105 muc 546
623.62/623.65	c iter 551 time 468.04 not-muc 87 unknown 8104 muc 547
623.62/623.65	c iter 552 time 468.495 not-muc 87 unknown 8103 muc 548
623.62/623.65	c iter 553 time 468.926 not-muc 87 unknown 8102 muc 549
623.62/623.65	c iter 554 time 469.372 not-muc 87 unknown 8101 muc 550
623.62/623.65	c iter 555 time 469.789 not-muc 87 unknown 8100 muc 551
623.62/623.65	c iter 556 time 470.193 not-muc 87 unknown 8099 muc 552
623.62/623.65	c iter 557 time 470.828 not-muc 87 unknown 8098 muc 553
623.62/623.65	c iter 558 time 471.233 not-muc 87 unknown 8097 muc 554
623.62/623.65	c iter 559 time 471.663 not-muc 87 unknown 8096 muc 555
623.62/623.65	c iter 560 time 472.094 not-muc 87 unknown 8095 muc 556
623.62/623.65	c iter 561 time 472.52 not-muc 87 unknown 8094 muc 557
623.62/623.65	c iter 562 time 472.944 not-muc 87 unknown 8093 muc 558
623.62/623.65	c iter 563 time 473.412 not-muc 87 unknown 8092 muc 559
623.62/623.65	c iter 564 time 473.872 not-muc 87 unknown 8091 muc 560
623.62/623.65	c iter 565 time 474.288 not-muc 87 unknown 8090 muc 561
623.62/623.65	c iter 566 time 474.703 not-muc 87 unknown 8089 muc 562
623.62/623.65	c iter 567 time 475.108 not-muc 87 unknown 8088 muc 563
623.62/623.65	c iter 568 time 475.504 not-muc 87 unknown 8087 muc 564
623.62/623.65	c iter 569 time 475.915 not-muc 87 unknown 8086 muc 565
623.62/623.65	c iter 570 time 476.317 not-muc 87 unknown 8085 muc 566
623.62/623.65	c iter 571 time 476.759 not-muc 87 unknown 8084 muc 567
623.62/623.65	c iter 572 time 477.166 not-muc 87 unknown 8083 muc 568
623.62/623.65	c iter 573 time 477.547 not-muc 87 unknown 8082 muc 569
623.62/623.65	c iter 574 time 477.927 not-muc 87 unknown 8081 muc 570
623.62/623.65	c iter 575 time 478.787 not-muc 87 unknown 8080 muc 571
623.62/623.65	c iter 576 time 479.176 not-muc 87 unknown 8079 muc 572
623.62/623.65	c iter 577 time 479.659 not-muc 87 unknown 8078 muc 573
623.62/623.65	c iter 578 time 480.176 not-muc 87 unknown 8077 muc 574
623.62/623.65	c iter 579 time 480.643 not-muc 87 unknown 8076 muc 575
623.62/623.65	c iter 580 time 481.108 not-muc 87 unknown 8075 muc 576
623.62/623.65	c iter 581 time 481.686 not-muc 87 unknown 8074 muc 577
623.62/623.65	c iter 582 time 482.148 not-muc 87 unknown 8073 muc 578
623.62/623.65	c iter 583 time 482.548 not-muc 87 unknown 8072 muc 579
623.62/623.65	c iter 584 time 483.007 not-muc 87 unknown 8071 muc 580
623.62/623.65	c iter 585 time 483.461 not-muc 87 unknown 8070 muc 581
623.62/623.65	c iter 586 time 484.006 not-muc 87 unknown 8069 muc 582
623.62/623.65	c iter 587 time 620.218 not-muc 92 unknown 8064 muc 582
623.62/623.65	c iter 588 time 621.693 not-muc 92 unknown 8063 muc 583
623.62/623.65	c iter 589 time 622.298 not-muc 92 unknown 8062 muc 584
668.72/668.70	c iter 590 time 622.892 not-muc 92 unknown 8061 muc 585
668.72/668.70	c iter 591 time 623.521 not-muc 92 unknown 8060 muc 586
668.72/668.70	c iter 592 time 624.147 not-muc 92 unknown 8059 muc 587
668.72/668.70	c iter 593 time 624.745 not-muc 92 unknown 8058 muc 588
668.72/668.70	c iter 594 time 625.295 not-muc 92 unknown 8057 muc 589
668.72/668.70	c iter 595 time 625.835 not-muc 92 unknown 8056 muc 590
668.72/668.70	c iter 596 time 626.428 not-muc 92 unknown 8055 muc 591
668.72/668.70	c iter 597 time 626.977 not-muc 92 unknown 8054 muc 592
668.72/668.70	c iter 598 time 627.552 not-muc 92 unknown 8053 muc 593
668.72/668.70	c iter 599 time 628.657 not-muc 92 unknown 8052 muc 594
668.72/668.70	c iter 600 time 629.18 not-muc 92 unknown 8051 muc 595
668.72/668.70	c iter 601 time 629.718 not-muc 92 unknown 8050 muc 596
668.72/668.70	c iter 602 time 630.81 not-muc 92 unknown 8049 muc 597
668.72/668.70	c iter 603 time 631.344 not-muc 92 unknown 8048 muc 598
668.72/668.70	c iter 604 time 631.885 not-muc 92 unknown 8047 muc 599
668.72/668.70	c iter 605 time 632.426 not-muc 92 unknown 8046 muc 600
668.72/668.70	c iter 606 time 633.096 not-muc 92 unknown 8045 muc 601
668.72/668.70	c iter 607 time 633.709 not-muc 92 unknown 8044 muc 602
668.72/668.70	c iter 608 time 634.196 not-muc 92 unknown 8043 muc 603
668.72/668.70	c iter 609 time 634.672 not-muc 92 unknown 8042 muc 604
668.72/668.70	c iter 610 time 635.158 not-muc 92 unknown 8041 muc 605
668.72/668.70	c iter 611 time 635.749 not-muc 92 unknown 8040 muc 606
668.72/668.70	c iter 612 time 636.285 not-muc 92 unknown 8039 muc 607
668.72/668.70	c iter 613 time 636.811 not-muc 92 unknown 8038 muc 608
668.72/668.70	c iter 614 time 637.516 not-muc 92 unknown 8037 muc 609
668.72/668.70	c iter 615 time 638.034 not-muc 92 unknown 8036 muc 610
668.72/668.70	c iter 616 time 638.55 not-muc 92 unknown 8035 muc 611
668.72/668.70	c iter 617 time 639.084 not-muc 92 unknown 8034 muc 612
668.72/668.70	c iter 618 time 639.618 not-muc 92 unknown 8033 muc 613
668.72/668.70	c iter 619 time 640.138 not-muc 92 unknown 8032 muc 614
668.72/668.70	c iter 620 time 640.711 not-muc 92 unknown 8031 muc 615
668.72/668.70	c iter 621 time 641.238 not-muc 92 unknown 8030 muc 616
668.72/668.70	c iter 622 time 641.778 not-muc 92 unknown 8029 muc 617
668.72/668.70	c iter 623 time 642.569 not-muc 92 unknown 8028 muc 618
668.72/668.70	c iter 624 time 643.091 not-muc 92 unknown 8027 muc 619
668.72/668.70	c iter 625 time 643.664 not-muc 92 unknown 8026 muc 620
668.72/668.70	c iter 626 time 644.201 not-muc 92 unknown 8025 muc 621
668.72/668.70	c iter 627 time 644.726 not-muc 92 unknown 8024 muc 622
668.72/668.70	c iter 628 time 645.256 not-muc 92 unknown 8023 muc 623
668.72/668.70	c iter 629 time 645.785 not-muc 92 unknown 8022 muc 624
668.72/668.70	c iter 630 time 646.618 not-muc 92 unknown 8021 muc 625
668.72/668.70	c iter 631 time 647.475 not-muc 92 unknown 8020 muc 626
668.72/668.70	c iter 632 time 647.999 not-muc 92 unknown 8019 muc 627
668.72/668.70	c iter 633 time 648.519 not-muc 92 unknown 8018 muc 628
668.72/668.70	c iter 634 time 649.539 not-muc 92 unknown 8017 muc 629
668.72/668.70	c iter 635 time 650.132 not-muc 92 unknown 8016 muc 630
668.72/668.70	c iter 636 time 650.661 not-muc 92 unknown 8015 muc 631
668.72/668.70	c iter 637 time 651.186 not-muc 92 unknown 8014 muc 632
668.72/668.70	c iter 638 time 651.856 not-muc 92 unknown 8013 muc 633
668.72/668.70	c iter 639 time 652.568 not-muc 92 unknown 8012 muc 634
668.72/668.70	c iter 640 time 653.106 not-muc 92 unknown 8011 muc 635
668.72/668.70	c iter 641 time 653.871 not-muc 92 unknown 8010 muc 636
668.72/668.70	c iter 642 time 655.155 not-muc 92 unknown 8009 muc 637
668.72/668.70	c iter 643 time 655.695 not-muc 92 unknown 8008 muc 638
668.72/668.70	c iter 644 time 656.459 not-muc 92 unknown 8007 muc 639
668.72/668.70	c iter 645 time 656.981 not-muc 92 unknown 8006 muc 640
668.72/668.70	c iter 646 time 657.584 not-muc 92 unknown 8005 muc 641
668.72/668.70	c iter 647 time 658.144 not-muc 92 unknown 8004 muc 642
668.72/668.70	c iter 648 time 658.674 not-muc 92 unknown 8003 muc 643
668.72/668.70	c iter 649 time 659.194 not-muc 92 unknown 8002 muc 644
668.72/668.70	c iter 650 time 659.705 not-muc 92 unknown 8001 muc 645
668.72/668.70	c iter 651 time 660.27 not-muc 92 unknown 8000 muc 646
668.72/668.70	c iter 652 time 660.799 not-muc 92 unknown 7999 muc 647
668.72/668.70	c iter 653 time 661.325 not-muc 92 unknown 7998 muc 648
668.72/668.70	c iter 654 time 661.896 not-muc 92 unknown 7997 muc 649
668.72/668.70	c iter 655 time 662.869 not-muc 92 unknown 7996 muc 650
668.72/668.70	c iter 656 time 663.383 not-muc 92 unknown 7995 muc 651
668.72/668.70	c iter 657 time 663.925 not-muc 92 unknown 7994 muc 652
668.72/668.70	c iter 658 time 664.443 not-muc 92 unknown 7993 muc 653
668.72/668.70	c iter 659 time 665.021 not-muc 92 unknown 7992 muc 654
668.72/668.70	c iter 660 time 665.713 not-muc 92 unknown 7991 muc 655
668.72/668.70	c iter 661 time 666.235 not-muc 92 unknown 7990 muc 656
668.72/668.70	c iter 662 time 666.699 not-muc 92 unknown 7989 muc 657
668.72/668.70	c iter 663 time 667.346 not-muc 92 unknown 7988 muc 658
714.11/714.14	c iter 664 time 667.894 not-muc 92 unknown 7987 muc 659
714.11/714.14	c iter 665 time 668.411 not-muc 92 unknown 7986 muc 660
714.11/714.14	c iter 666 time 668.547 not-muc 92 unknown 7985 muc 661
714.11/714.14	c iter 667 time 669.094 not-muc 92 unknown 7984 muc 662
714.11/714.14	c iter 668 time 669.747 not-muc 92 unknown 7983 muc 663
714.11/714.14	c iter 669 time 670.273 not-muc 92 unknown 7982 muc 664
714.11/714.14	c iter 670 time 670.872 not-muc 92 unknown 7981 muc 665
714.11/714.14	c iter 671 time 671.392 not-muc 92 unknown 7980 muc 666
714.11/714.14	c iter 672 time 671.91 not-muc 92 unknown 7979 muc 667
714.11/714.14	c iter 673 time 672.469 not-muc 92 unknown 7978 muc 668
714.11/714.14	c iter 674 time 672.988 not-muc 92 unknown 7977 muc 669
714.11/714.14	c iter 675 time 673.6 not-muc 92 unknown 7976 muc 670
714.11/714.14	c iter 676 time 674.425 not-muc 92 unknown 7975 muc 671
714.11/714.14	c iter 677 time 674.947 not-muc 92 unknown 7974 muc 672
714.11/714.14	c iter 678 time 675.647 not-muc 92 unknown 7973 muc 673
714.11/714.14	c iter 679 time 676.269 not-muc 92 unknown 7972 muc 674
714.11/714.14	c iter 680 time 676.796 not-muc 92 unknown 7971 muc 675
714.11/714.14	c iter 681 time 677.311 not-muc 92 unknown 7970 muc 676
714.11/714.14	c iter 682 time 678.751 not-muc 92 unknown 7969 muc 677
714.11/714.14	c iter 683 time 679.279 not-muc 92 unknown 7968 muc 678
714.11/714.14	c iter 684 time 679.797 not-muc 92 unknown 7967 muc 679
714.11/714.14	c iter 685 time 680.313 not-muc 92 unknown 7966 muc 680
714.11/714.14	c iter 686 time 680.837 not-muc 92 unknown 7965 muc 681
714.11/714.14	c iter 687 time 681.421 not-muc 92 unknown 7964 muc 682
714.11/714.14	c iter 688 time 681.937 not-muc 92 unknown 7963 muc 683
714.11/714.14	c iter 689 time 682.484 not-muc 92 unknown 7962 muc 684
714.11/714.14	c iter 690 time 683.016 not-muc 92 unknown 7961 muc 685
714.11/714.14	c iter 691 time 683.548 not-muc 92 unknown 7960 muc 686
714.11/714.14	c iter 692 time 684.431 not-muc 92 unknown 7959 muc 687
714.11/714.14	c iter 693 time 684.948 not-muc 92 unknown 7958 muc 688
714.11/714.14	c iter 694 time 685.41 not-muc 92 unknown 7957 muc 689
714.11/714.14	c iter 695 time 685.994 not-muc 92 unknown 7956 muc 690
714.11/714.14	c iter 696 time 686.527 not-muc 92 unknown 7955 muc 691
714.11/714.14	c iter 697 time 687.101 not-muc 92 unknown 7954 muc 692
714.11/714.14	c iter 698 time 687.579 not-muc 92 unknown 7953 muc 693
714.11/714.14	c iter 699 time 688.114 not-muc 92 unknown 7952 muc 694
714.11/714.14	c iter 700 time 688.631 not-muc 92 unknown 7951 muc 695
714.11/714.14	c iter 701 time 689.147 not-muc 92 unknown 7950 muc 696
714.11/714.14	c iter 702 time 689.733 not-muc 92 unknown 7949 muc 697
714.11/714.14	c iter 703 time 690.257 not-muc 92 unknown 7948 muc 698
714.11/714.14	c iter 704 time 690.773 not-muc 92 unknown 7947 muc 699
714.11/714.14	c iter 705 time 691.369 not-muc 92 unknown 7946 muc 700
714.11/714.14	c iter 706 time 691.893 not-muc 92 unknown 7945 muc 701
714.11/714.14	c iter 707 time 692.623 not-muc 92 unknown 7944 muc 702
714.11/714.14	c iter 708 time 693.376 not-muc 92 unknown 7943 muc 703
714.11/714.14	c iter 709 time 693.905 not-muc 92 unknown 7942 muc 704
714.11/714.14	c iter 710 time 694.696 not-muc 92 unknown 7941 muc 705
714.11/714.14	c iter 711 time 695.216 not-muc 92 unknown 7940 muc 706
714.11/714.14	c iter 712 time 695.775 not-muc 92 unknown 7939 muc 707
714.11/714.14	c iter 713 time 697.226 not-muc 92 unknown 7938 muc 708
714.11/714.14	c iter 714 time 697.974 not-muc 92 unknown 7937 muc 709
714.11/714.14	c iter 715 time 698.499 not-muc 92 unknown 7936 muc 710
714.11/714.14	c iter 716 time 699.09 not-muc 92 unknown 7935 muc 711
714.11/714.14	c iter 717 time 699.617 not-muc 92 unknown 7934 muc 712
714.11/714.14	c iter 718 time 700.216 not-muc 92 unknown 7933 muc 713
714.11/714.14	c iter 719 time 701.13 not-muc 92 unknown 7932 muc 714
714.11/714.14	c iter 720 time 701.642 not-muc 92 unknown 7931 muc 715
714.11/714.14	c iter 721 time 702.2 not-muc 92 unknown 7930 muc 716
714.11/714.14	c iter 722 time 702.724 not-muc 92 unknown 7929 muc 717
714.11/714.14	c iter 723 time 703.254 not-muc 92 unknown 7928 muc 718
714.11/714.14	c iter 724 time 703.78 not-muc 92 unknown 7927 muc 719
714.11/714.14	c iter 725 time 704.29 not-muc 92 unknown 7926 muc 720
714.11/714.14	c iter 726 time 706.456 not-muc 92 unknown 7925 muc 721
714.11/714.14	c iter 727 time 707.364 not-muc 92 unknown 7924 muc 722
714.11/714.14	c iter 728 time 707.916 not-muc 92 unknown 7923 muc 723
714.11/714.14	c iter 729 time 708.792 not-muc 92 unknown 7922 muc 724
714.11/714.14	c iter 730 time 709.174 not-muc 92 unknown 7921 muc 725
714.11/714.14	c iter 731 time 709.927 not-muc 92 unknown 7920 muc 726
714.11/714.14	c iter 732 time 710.677 not-muc 92 unknown 7919 muc 727
714.11/714.14	c iter 733 time 711.187 not-muc 92 unknown 7918 muc 728
714.11/714.14	c iter 734 time 711.735 not-muc 92 unknown 7917 muc 729
714.11/714.14	c iter 735 time 712.248 not-muc 92 unknown 7916 muc 730
714.11/714.14	c iter 736 time 712.761 not-muc 92 unknown 7915 muc 731
780.31/780.36	c iter 737 time 713.276 not-muc 92 unknown 7914 muc 732
780.31/780.36	c iter 738 time 713.823 not-muc 92 unknown 7913 muc 733
780.31/780.36	c iter 739 time 714.35 not-muc 92 unknown 7912 muc 734
780.31/780.36	c iter 740 time 714.933 not-muc 92 unknown 7911 muc 735
780.31/780.36	c iter 741 time 715.445 not-muc 92 unknown 7910 muc 736
780.31/780.36	c iter 742 time 725.45 not-muc 92 unknown 7909 muc 737
780.31/780.36	c iter 743 time 726.173 not-muc 92 unknown 7908 muc 738
780.31/780.36	c iter 744 time 726.69 not-muc 92 unknown 7907 muc 739
780.31/780.36	c iter 745 time 727.192 not-muc 92 unknown 7906 muc 740
780.31/780.36	c iter 746 time 727.288 not-muc 92 unknown 7905 muc 741
780.31/780.36	c iter 747 time 727.813 not-muc 92 unknown 7904 muc 742
780.31/780.36	c iter 748 time 728.534 not-muc 92 unknown 7903 muc 743
780.31/780.36	c iter 749 time 729.033 not-muc 92 unknown 7902 muc 744
780.31/780.36	c iter 750 time 729.557 not-muc 92 unknown 7901 muc 745
780.31/780.36	c iter 751 time 730.09 not-muc 92 unknown 7900 muc 746
780.31/780.36	c iter 752 time 730.593 not-muc 92 unknown 7899 muc 747
780.31/780.36	c iter 753 time 731.17 not-muc 92 unknown 7898 muc 748
780.31/780.36	c iter 754 time 731.675 not-muc 92 unknown 7897 muc 749
780.31/780.36	c iter 755 time 732.219 not-muc 92 unknown 7896 muc 750
780.31/780.36	c iter 756 time 732.91 not-muc 92 unknown 7895 muc 751
780.31/780.36	c iter 757 time 733.418 not-muc 92 unknown 7894 muc 752
780.31/780.36	c iter 758 time 747.287 not-muc 92 unknown 7893 muc 753
780.31/780.36	c iter 759 time 748.516 not-muc 92 unknown 7892 muc 754
780.31/780.36	c iter 760 time 749.071 not-muc 92 unknown 7891 muc 755
780.31/780.36	c iter 761 time 749.594 not-muc 92 unknown 7890 muc 756
780.31/780.36	c iter 762 time 749.68 not-muc 92 unknown 7889 muc 757
780.31/780.36	c iter 763 time 750.228 not-muc 92 unknown 7888 muc 758
780.31/780.36	c iter 764 time 750.759 not-muc 92 unknown 7887 muc 759
780.31/780.36	c iter 765 time 751.289 not-muc 92 unknown 7886 muc 760
780.31/780.36	c iter 766 time 751.832 not-muc 92 unknown 7885 muc 761
780.31/780.36	c iter 767 time 753.114 not-muc 92 unknown 7884 muc 762
780.31/780.36	c iter 768 time 753.635 not-muc 92 unknown 7883 muc 763
780.31/780.36	c iter 769 time 754.172 not-muc 92 unknown 7882 muc 764
780.31/780.36	c iter 770 time 754.694 not-muc 92 unknown 7881 muc 765
780.31/780.36	c iter 771 time 755.23 not-muc 92 unknown 7880 muc 766
780.31/780.36	c iter 772 time 755.761 not-muc 92 unknown 7879 muc 767
780.31/780.36	c iter 773 time 756.272 not-muc 92 unknown 7878 muc 768
780.31/780.36	c iter 774 time 757.656 not-muc 92 unknown 7877 muc 769
780.31/780.36	c iter 775 time 758.238 not-muc 92 unknown 7876 muc 770
780.31/780.36	c iter 776 time 758.779 not-muc 92 unknown 7875 muc 771
780.31/780.36	c iter 777 time 759.306 not-muc 92 unknown 7874 muc 772
780.31/780.36	c iter 778 time 759.686 not-muc 92 unknown 7873 muc 773
780.31/780.36	c iter 779 time 760.269 not-muc 92 unknown 7872 muc 774
780.31/780.36	c iter 780 time 760.792 not-muc 92 unknown 7871 muc 775
780.31/780.36	c iter 781 time 761.306 not-muc 92 unknown 7870 muc 776
780.31/780.36	c iter 782 time 761.983 not-muc 92 unknown 7869 muc 777
780.31/780.36	c iter 783 time 762.521 not-muc 92 unknown 7868 muc 778
780.31/780.36	c iter 784 time 763.043 not-muc 92 unknown 7867 muc 779
780.31/780.36	c iter 785 time 763.579 not-muc 92 unknown 7866 muc 780
780.31/780.36	c iter 786 time 764.103 not-muc 92 unknown 7865 muc 781
780.31/780.36	c iter 787 time 764.649 not-muc 92 unknown 7864 muc 782
780.31/780.36	c iter 788 time 765.198 not-muc 92 unknown 7863 muc 783
780.31/780.36	c iter 789 time 765.731 not-muc 92 unknown 7862 muc 784
780.31/780.36	c iter 790 time 766.214 not-muc 92 unknown 7861 muc 785
780.31/780.36	c iter 791 time 766.738 not-muc 92 unknown 7860 muc 786
780.31/780.36	c iter 792 time 767.276 not-muc 92 unknown 7859 muc 787
780.31/780.36	c iter 793 time 767.977 not-muc 92 unknown 7858 muc 788
780.31/780.36	c iter 794 time 768.945 not-muc 92 unknown 7857 muc 789
780.31/780.36	c iter 795 time 769.491 not-muc 92 unknown 7856 muc 790
780.31/780.36	c iter 796 time 770.024 not-muc 92 unknown 7855 muc 791
780.31/780.36	c iter 797 time 770.554 not-muc 92 unknown 7854 muc 792
780.31/780.36	c iter 798 time 771.254 not-muc 92 unknown 7853 muc 793
780.31/780.36	c iter 799 time 771.778 not-muc 92 unknown 7852 muc 794
780.31/780.36	c iter 800 time 772.297 not-muc 92 unknown 7851 muc 795
780.31/780.36	c iter 801 time 772.82 not-muc 92 unknown 7850 muc 796
780.31/780.36	c iter 802 time 773.341 not-muc 92 unknown 7849 muc 797
780.31/780.36	c iter 803 time 773.872 not-muc 92 unknown 7848 muc 798
780.31/780.36	c iter 804 time 774.467 not-muc 92 unknown 7847 muc 799
780.31/780.36	c iter 805 time 775.002 not-muc 92 unknown 7846 muc 800
780.31/780.36	c iter 806 time 775.196 not-muc 92 unknown 7845 muc 801
780.31/780.36	c iter 807 time 777.815 not-muc 92 unknown 7844 muc 802
780.31/780.36	c iter 808 time 778.376 not-muc 92 unknown 7843 muc 803
780.31/780.36	c iter 809 time 778.904 not-muc 92 unknown 7842 muc 804
1146.43/1146.43	c iter 810 time 783.463 not-muc 92 unknown 7841 muc 805
1146.43/1146.43	c iter 811 time 784.312 not-muc 92 unknown 7840 muc 806
1146.43/1146.43	c iter 812 time 784.853 not-muc 92 unknown 7839 muc 807
1146.43/1146.43	c iter 813 time 785.396 not-muc 92 unknown 7838 muc 808
1146.43/1146.43	c iter 814 time 786.341 not-muc 92 unknown 7837 muc 809
1146.43/1146.43	c iter 815 time 787.484 not-muc 92 unknown 7836 muc 810
1146.43/1146.43	c iter 816 time 788.008 not-muc 92 unknown 7835 muc 811
1146.43/1146.43	c iter 817 time 788.548 not-muc 92 unknown 7834 muc 812
1146.43/1146.43	c iter 818 time 789.073 not-muc 92 unknown 7833 muc 813
1146.43/1146.43	c iter 819 time 789.609 not-muc 92 unknown 7832 muc 814
1146.43/1146.43	c iter 820 time 790.143 not-muc 92 unknown 7831 muc 815
1146.43/1146.43	c iter 821 time 790.676 not-muc 92 unknown 7830 muc 816
1146.43/1146.43	c iter 822 time 791.203 not-muc 92 unknown 7829 muc 817
1146.43/1146.43	c iter 823 time 791.741 not-muc 92 unknown 7828 muc 818
1146.43/1146.43	c iter 824 time 792.268 not-muc 92 unknown 7827 muc 819
1146.43/1146.43	c iter 825 time 792.792 not-muc 92 unknown 7826 muc 820
1146.43/1146.43	c iter 826 time 793.329 not-muc 92 unknown 7825 muc 821
1146.43/1146.43	c iter 827 time 793.859 not-muc 92 unknown 7824 muc 822
1146.43/1146.43	c iter 828 time 794.394 not-muc 92 unknown 7823 muc 823
1146.43/1146.43	c iter 829 time 794.952 not-muc 92 unknown 7822 muc 824
1146.43/1146.43	c iter 830 time 795.5 not-muc 92 unknown 7821 muc 825
1146.43/1146.43	c iter 831 time 796.055 not-muc 92 unknown 7820 muc 826
1146.43/1146.43	c iter 832 time 796.605 not-muc 92 unknown 7819 muc 827
1146.43/1146.43	c iter 833 time 797.151 not-muc 92 unknown 7818 muc 828
1146.43/1146.43	c iter 834 time 849.607 not-muc 100 unknown 7810 muc 828
1146.43/1146.43	c iter 835 time 850.996 not-muc 100 unknown 7809 muc 829
1146.43/1146.43	c iter 836 time 851.309 not-muc 100 unknown 7808 muc 830
1146.43/1146.43	c iter 837 time 851.721 not-muc 100 unknown 7807 muc 831
1146.43/1146.43	c iter 838 time 852.058 not-muc 100 unknown 7806 muc 832
1146.43/1146.43	c iter 839 time 852.5 not-muc 100 unknown 7805 muc 833
1146.43/1146.43	c iter 840 time 853.084 not-muc 100 unknown 7804 muc 834
1146.43/1146.43	c iter 841 time 853.792 not-muc 100 unknown 7803 muc 835
1146.43/1146.43	c iter 842 time 854.112 not-muc 100 unknown 7802 muc 836
1146.43/1146.43	c iter 843 time 854.423 not-muc 100 unknown 7801 muc 837
1146.43/1146.43	c iter 844 time 854.737 not-muc 100 unknown 7800 muc 838
1146.43/1146.43	c iter 845 time 855.046 not-muc 100 unknown 7799 muc 839
1146.43/1146.43	c iter 846 time 855.365 not-muc 100 unknown 7798 muc 840
1146.43/1146.43	c iter 847 time 855.671 not-muc 100 unknown 7797 muc 841
1146.43/1146.43	c iter 848 time 855.979 not-muc 100 unknown 7796 muc 842
1146.43/1146.43	c iter 849 time 856.289 not-muc 100 unknown 7795 muc 843
1146.43/1146.43	c iter 850 time 856.723 not-muc 100 unknown 7794 muc 844
1146.43/1146.43	c iter 851 time 857.042 not-muc 100 unknown 7793 muc 845
1146.43/1146.43	c iter 852 time 857.359 not-muc 100 unknown 7792 muc 846
1146.43/1146.43	c iter 853 time 905.003 not-muc 103 unknown 7789 muc 846
1146.43/1146.43	c iter 854 time 905.757 not-muc 103 unknown 7788 muc 847
1146.43/1146.43	c iter 855 time 906.071 not-muc 103 unknown 7787 muc 848
1146.43/1146.43	c iter 856 time 906.484 not-muc 103 unknown 7786 muc 849
1146.43/1146.43	c iter 857 time 906.788 not-muc 103 unknown 7785 muc 850
1146.43/1146.43	c iter 858 time 907.096 not-muc 103 unknown 7784 muc 851
1146.43/1146.43	c iter 859 time 907.4 not-muc 103 unknown 7783 muc 852
1146.43/1146.43	c iter 860 time 907.705 not-muc 103 unknown 7782 muc 853
1146.43/1146.43	c iter 861 time 908.158 not-muc 103 unknown 7781 muc 854
1146.43/1146.43	c iter 862 time 908.672 not-muc 103 unknown 7780 muc 855
1146.43/1146.43	c iter 863 time 908.986 not-muc 103 unknown 7779 muc 856
1146.43/1146.43	c iter 864 time 1050.97 not-muc 108 unknown 7774 muc 856
1146.43/1146.43	c iter 865 time 1052.1 not-muc 108 unknown 7773 muc 857
1146.43/1146.43	c iter 866 time 1052.54 not-muc 108 unknown 7772 muc 858
1146.43/1146.43	c iter 867 time 1052.93 not-muc 108 unknown 7771 muc 859
1146.43/1146.43	c iter 868 time 1053.33 not-muc 108 unknown 7770 muc 860
1146.43/1146.43	c iter 869 time 1053.71 not-muc 108 unknown 7769 muc 861
1146.43/1146.43	c iter 870 time 1054.17 not-muc 108 unknown 7768 muc 862
1146.43/1146.43	c iter 871 time 1054.63 not-muc 108 unknown 7767 muc 863
1146.43/1146.43	c iter 872 time 1055.11 not-muc 108 unknown 7766 muc 864
1146.43/1146.43	c iter 873 time 1055.84 not-muc 108 unknown 7765 muc 865
1146.43/1146.43	c iter 874 time 1056.23 not-muc 108 unknown 7764 muc 866
1146.43/1146.43	c iter 875 time 1057.04 not-muc 108 unknown 7763 muc 867
1146.43/1146.43	c iter 876 time 1057.46 not-muc 108 unknown 7762 muc 868
1146.43/1146.43	c iter 877 time 1057.9 not-muc 108 unknown 7761 muc 869
1146.43/1146.43	c iter 878 time 1058.33 not-muc 108 unknown 7760 muc 870
1146.43/1146.43	c iter 879 time 1058.97 not-muc 108 unknown 7759 muc 871
1146.43/1146.43	c iter 880 time 1059.39 not-muc 108 unknown 7758 muc 872
1146.43/1146.43	c iter 881 time 1142.97 not-muc 109 unknown 7757 muc 872
1146.43/1146.43	c iter 882 ti

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3494226-1307802603/watcher-3494226-1307802603 -o /tmp/evaluation-result-3494226-1307802603/solver-3494226-1307802603 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494226-1307802603.cnf -no-pre 

running on 2 cores: 1,3

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.42 0.33 0.11 4/189 24304
/proc/meminfo: memFree=30825892/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=20328 CPUtime=0 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 634 0 0 0 0 0 0 0 25 0 1 0 891860761 20815872 569 33554432000 4194304 4337479 140736117698752 18446744073709551615 4309336 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 5082 569 232 35 0 1705 0

[startup+0.068537 s]
/proc/loadavg: 1.42 0.33 0.11 4/189 24304
/proc/meminfo: memFree=30825892/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=20328 CPUtime=0.06 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1067 0 0 0 6 0 0 0 25 0 1 0 891860761 20815872 1001 33554432000 4194304 4337479 140736117698752 18446744073709551615 4304512 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 5082 1001 240 35 0 1705 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20328

[startup+0.100545 s]
/proc/loadavg: 1.42 0.33 0.11 4/189 24304
/proc/meminfo: memFree=30825892/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=21160 CPUtime=0.09 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1303 0 0 0 9 0 0 0 25 0 1 0 891860761 21667840 1237 33554432000 4194304 4337479 140736117698752 18446744073709551615 4278650 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 5290 1238 240 35 0 1913 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21160

[startup+0.300498 s]
/proc/loadavg: 1.42 0.33 0.11 4/189 24304
/proc/meminfo: memFree=30825892/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=23568 CPUtime=0.29 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 2354 0 0 0 29 0 0 0 25 0 1 0 891860761 24133632 2283 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 5892 2283 241 35 0 2515 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23568

[startup+0.700422 s]
/proc/loadavg: 1.42 0.33 0.11 4/189 24304
/proc/meminfo: memFree=30825892/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=27508 CPUtime=0.69 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 3357 0 0 0 69 0 0 0 25 0 1 0 891860761 28168192 3261 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 6877 3261 241 35 0 3500 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27508

[startup+1.50028 s]
/proc/loadavg: 1.42 0.33 0.11 5/190 24305
/proc/meminfo: memFree=30755476/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=35528 CPUtime=1.49 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 5648 0 0 0 149 0 0 0 25 0 1 0 891860761 36380672 5515 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303500 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 8882 5515 241 35 0 5505 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35528

[startup+3.10099 s]
/proc/loadavg: 1.42 0.33 0.11 5/190 24305
/proc/meminfo: memFree=30662248/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=59776 CPUtime=3.09 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 11766 0 0 0 308 1 0 0 25 0 1 0 891860761 61210624 11555 33554432000 4194304 4337479 140736117698752 18446744073709551615 4258686 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 14944 11555 242 35 0 11567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59776

[startup+6.3004 s]
/proc/loadavg: 1.62 0.40 0.13 5/190 24305
/proc/meminfo: memFree=30421320/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=96852 CPUtime=6.29 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 19659 0 0 0 627 2 0 0 25 0 1 0 891860761 99176448 19331 33554432000 4194304 4337479 140736117698752 18446744073709551615 4310462 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 24213 19331 242 35 0 20836 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96852

[startup+12.7002 s]
/proc/loadavg: 1.81 0.45 0.15 5/190 24305
/proc/meminfo: memFree=29996572/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=168688 CPUtime=12.69 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 38170 0 0 0 1264 5 0 0 25 0 1 0 891860761 172736512 37642 33554432000 4194304 4337479 140736117698752 18446744073709551615 4288486 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 42172 37642 242 35 0 38795 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 168688

[startup+25.5009 s]
/proc/loadavg: 2.30 0.63 0.21 5/190 24305
/proc/meminfo: memFree=29192928/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=398840 CPUtime=25.49 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 86169 0 0 0 2538 11 0 0 25 0 1 0 891860761 408412160 85182 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 99710 85182 242 35 0 96333 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 398840

[startup+51.1002 s]
/proc/loadavg: 2.88 0.90 0.31 5/190 24306
/proc/meminfo: memFree=28002616/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=670944 CPUtime=51.09 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 145928 0 0 0 5087 22 0 0 25 0 1 0 891860761 687046656 144324 33554432000 4194304 4337479 140736117698752 18446744073709551615 4288908 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 167736 144324 263 35 0 164359 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 670944

[startup+102.307 s]
/proc/loadavg: 3.55 1.39 0.51 5/190 24345
/proc/meminfo: memFree=26305684/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=1144716 CPUtime=102.3 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 258113 0 0 0 10193 37 0 0 25 0 1 0 891860761 1172189184 254083 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 286179 254083 263 35 0 282802 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1144716

[startup+162.301 s]
/proc/loadavg: 3.88 1.87 0.73 5/190 24347
/proc/meminfo: memFree=23758372/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=1288488 CPUtime=162.3 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 296418 0 0 0 16189 41 0 0 25 0 1 0 891860761 1319411712 292225 33554432000 4194304 4337479 140736117698752 18446744073709551615 4278683 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 322122 292225 263 35 0 318745 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1288488

[startup+222.301 s]
/proc/loadavg: 4.03 2.28 0.94 5/190 24349
/proc/meminfo: memFree=21260540/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=1520672 CPUtime=222.29 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 353156 0 0 0 22182 47 0 0 25 0 1 0 891860761 1557168128 348393 33554432000 4194304 4337479 140736117698752 18446744073709551615 4288988 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 380168 348393 263 35 0 376791 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1520672

[startup+282.301 s]
/proc/loadavg: 4.01 2.59 1.12 5/190 24350
/proc/meminfo: memFree=18828268/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=1844824 CPUtime=282.3 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 434511 0 0 0 28171 59 0 0 25 0 1 0 891860761 1889099776 428853 33554432000 4194304 4337479 140736117698752 18446744073709551615 4280163 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 461206 428853 263 35 0 457829 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1844824

[startup+342.301 s]
/proc/loadavg: 4.00 2.84 1.30 5/190 24352
/proc/meminfo: memFree=16350668/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=2119140 CPUtime=342.3 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 516882 0 0 0 34158 72 0 0 25 0 1 0 891860761 2169999360 507932 33554432000 4194304 4337479 140736117698752 18446744073709551615 4282077 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 529785 507932 264 35 0 526408 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2119140

[startup+402.301 s]
/proc/loadavg: 4.00 3.05 1.47 5/190 24392
/proc/meminfo: memFree=20600764/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=2815504 CPUtime=402.3 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 646156 0 0 0 40140 90 0 0 25 0 1 0 891860761 2883076096 636222 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 703876 636222 264 35 0 700499 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2815504

[startup+462.3 s]
/proc/loadavg: 4.00 3.22 1.62 5/190 24394
/proc/meminfo: memFree=19335644/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=2902792 CPUtime=462.3 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 671634 0 0 0 46138 92 0 0 25 0 1 0 891860761 2972459008 658898 33554432000 4194304 4337479 140736117698752 18446744073709551615 4259887 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 725698 658898 264 35 0 722321 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2902792

[startup+522.3 s]
/proc/loadavg: 4.00 3.36 1.77 5/190 24396
/proc/meminfo: memFree=17947668/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=3166536 CPUtime=522.31 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 734853 0 0 0 52129 102 0 0 25 0 1 0 891860761 3242532864 721802 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303187 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 791634 721802 264 35 0 788257 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 3166536

[startup+582.3 s]
/proc/loadavg: 4.00 3.47 1.91 5/190 24397
/proc/meminfo: memFree=16210976/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=3653064 CPUtime=582.31 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 872363 0 0 0 58110 121 0 0 25 0 1 0 891860761 3740737536 858896 33554432000 4194304 4337479 140736117698752 18446744073709551615 4258699 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 913266 858896 264 35 0 909889 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 3653064

[startup+642.3 s]
/proc/loadavg: 4.00 3.57 2.03 5/190 24438
/proc/meminfo: memFree=21984120/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=4323900 CPUtime=642.32 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 988959 0 0 0 64095 137 0 0 25 0 1 0 891860761 4427673600 975167 33554432000 4194304 4337479 140736117698752 18446744073709551615 4259860 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1080975 975167 264 35 0 1077598 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 4323900

[startup+702.3 s]
/proc/loadavg: 4.00 3.64 2.15 5/190 24439
/proc/meminfo: memFree=21423240/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=4390316 CPUtime=702.31 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1008719 0 0 0 70092 139 0 0 25 0 1 0 891860761 4495683584 994927 33554432000 4194304 4337479 140736117698752 18446744073709551615 230808823566 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1097579 994927 264 35 0 1094202 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 4390316

[startup+762.306 s]
/proc/loadavg: 4.00 3.70 2.27 5/190 24441
/proc/meminfo: memFree=20886688/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=4604320 CPUtime=762.31 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1060854 0 0 0 76084 147 0 0 25 0 1 0 891860761 4714823680 1046945 33554432000 4194304 4337479 140736117698752 18446744073709551615 4259832 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1151080 1046945 264 35 0 1147703 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 4604320

[startup+822.3 s]
/proc/loadavg: 4.04 3.77 2.38 5/190 24481
/proc/meminfo: memFree=20144272/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=4830892 CPUtime=822.31 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1114479 0 0 0 82077 154 0 0 25 0 1 0 891860761 4946833408 1100434 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303222 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1207723 1100434 264 35 0 1204346 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 4830892

[startup+882.3 s]
/proc/loadavg: 4.01 3.81 2.48 5/190 24482
/proc/meminfo: memFree=19195716/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=5194440 CPUtime=882.31 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1198526 0 0 0 88064 167 0 0 25 0 1 0 891860761 5319106560 1184346 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303363 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1298610 1184346 264 35 0 1295233 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 5194440

[startup+942.3 s]
/proc/loadavg: 3.96 3.83 2.56 5/190 24713
/proc/meminfo: memFree=25903660/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=5629984 CPUtime=942.31 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1291183 0 0 0 94049 182 0 0 25 0 1 0 891860761 5765103616 1276897 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303415 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1407496 1276897 264 35 0 1404119 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 5629984

[startup+1002.3 s]
/proc/loadavg: 3.98 3.86 2.65 5/190 24942
/proc/meminfo: memFree=25147084/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=5997244 CPUtime=1002.32 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1379977 0 0 0 100035 197 0 0 25 0 1 0 891860761 6141177856 1365599 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303238 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1499311 1365599 264 35 0 1495934 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 5997244

[startup+1062.3 s]
/proc/loadavg: 3.99 3.88 2.73 5/190 24944
/proc/meminfo: memFree=24354300/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=6376896 CPUtime=1062.32 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1476447 0 0 0 106020 212 0 0 25 0 1 0 891860761 6529941504 1456888 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1594224 1456888 264 35 0 1590847 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 6376896

[startup+1122.3 s]
/proc/loadavg: 4.09 3.93 2.82 5/190 24946
/proc/meminfo: memFree=23629800/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=6725160 CPUtime=1122.32 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1561459 0 0 0 112007 225 0 0 25 0 1 0 891860761 6886563840 1541818 33554432000 4194304 4337479 140736117698752 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1681290 1541818 264 35 0 1677913 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 6725160

[startup+1182.3 s]
/proc/loadavg: 4.03 3.94 2.89 5/190 24947
/proc/meminfo: memFree=22968300/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=7081380 CPUtime=1182.32 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1645318 0 0 0 117994 238 0 0 25 0 1 0 891860761 7251333120 1625627 33554432000 4194304 4337479 140736117698752 18446744073709551615 4280273 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1770345 1625627 264 35 0 1766968 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 7081380

[startup+1242.3 s]
/proc/loadavg: 4.01 3.95 2.96 5/190 24949
/proc/meminfo: memFree=22289588/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=7484372 CPUtime=1242.33 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1730752 0 0 0 123981 252 0 0 25 0 1 0 891860761 7663996928 1710995 33554432000 4194304 4337479 140736117698752 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1871093 1710995 264 35 0 1867716 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 7484372



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1297.8 s]
/proc/loadavg: 4.00 3.95 3.01 5/190 24950
/proc/meminfo: memFree=21644844/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=7866548 CPUtime=1297.83 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4202496 1819018 0 0 0 129518 265 0 0 25 0 1 0 891860761 8055345152 1799207 33554432000 4194304 4337479 140736117698752 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/24304/statm: 1966637 1799207 264 35 0 1963260 0
Current children cumulated CPU time (s) 1297.83
Current children cumulated vsize (KiB) 7866548

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

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

[startup+1298.01 s]
/proc/loadavg: 4.00 3.95 3.01 5/191 24951
/proc/meminfo: memFree=24361800/32951124 swapFree=67052968/67111528
[pid=24304] ppid=24302 vsize=0 CPUtime=1298.03 cores=1,3
/proc/24304/stat : 24304 (hmuc) R 24302 24304 24151 0 -1 4203524 1819018 0 0 0 129518 285 0 0 25 0 1 0 891860761 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/24304/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1298.03
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1298.09
CPU time (s): 1298.13
CPU user time (s): 1295.19
CPU system time (s): 2.94055
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 7866548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1295.19
system time used= 2.94055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1819018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 3723

runsolver used 2.07468 second user time and 5.02124 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-11 16:30:03
IDJOB=3494226
IDBENCH=70788
IDSOLVER=1984
FILE ID=node104/3494226-1307802603
RUNJOBID= node104-1307802577-24171
PBS_JOBID= 13551072
Free space on /tmp= 74112 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT09/APPLICATIONS/bitverif/smulo/smulo016.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494226-1307802603/watcher-3494226-1307802603 -o /tmp/evaluation-result-3494226-1307802603/solver-3494226-1307802603 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494226-1307802603.cnf -no-pre

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

MD5SUM BENCH= 576249eded8a3c95c0b3aa8dcd51992e
RANDOM SEED=78823192

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30827304 kB
Buffers:        142888 kB
Cached:         704692 kB
SwapCached:      11076 kB
Active:        1381340 kB
Inactive:       586908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30827304 kB
SwapTotal:    67111528 kB
SwapFree:     67052968 kB
Dirty:           18028 kB
Writeback:           0 kB
AnonPages:     1117896 kB
Mapped:           9660 kB
Slab:            90356 kB
PageTables:       7456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1542096 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= 74100 MiB
End job on node104 at 2011-06-11 16:51:43