76.39/76.44	c WARNING: for repeatability, setting FPU to use double precision
76.39/76.44	c iter 1 time 29.7735 not-muc 51 unknown 8687 muc 0
76.39/76.44	c iter 2 time 29.9324 not-muc 51 unknown 8686 muc 1
76.39/76.44	c iter 3 time 30.0834 not-muc 51 unknown 8685 muc 2
76.39/76.44	c iter 4 time 30.2414 not-muc 51 unknown 8684 muc 3
76.39/76.44	c iter 5 time 30.3914 not-muc 51 unknown 8683 muc 4
76.39/76.44	c iter 6 time 30.5414 not-muc 51 unknown 8682 muc 5
76.39/76.44	c iter 7 time 30.6893 not-muc 51 unknown 8681 muc 6
76.39/76.44	c iter 8 time 30.8353 not-muc 51 unknown 8680 muc 7
76.39/76.44	c iter 9 time 30.9813 not-muc 51 unknown 8679 muc 8
76.39/76.44	c iter 10 time 31.1283 not-muc 51 unknown 8678 muc 9
76.39/76.44	c iter 11 time 31.2762 not-muc 51 unknown 8677 muc 10
76.39/76.44	c iter 12 time 31.4412 not-muc 51 unknown 8676 muc 11
76.39/76.44	c iter 13 time 31.6042 not-muc 51 unknown 8675 muc 12
76.39/76.44	c iter 14 time 31.7502 not-muc 51 unknown 8674 muc 13
76.39/76.44	c iter 15 time 31.8962 not-muc 51 unknown 8673 muc 14
76.39/76.44	c iter 16 time 32.0481 not-muc 51 unknown 8672 muc 15
76.39/76.44	c iter 17 time 32.1911 not-muc 51 unknown 8671 muc 16
76.39/76.44	c iter 18 time 32.3871 not-muc 51 unknown 8670 muc 17
76.39/76.44	c iter 19 time 32.5481 not-muc 51 unknown 8669 muc 18
76.39/76.44	c iter 20 time 32.693 not-muc 51 unknown 8668 muc 19
76.39/76.44	c iter 21 time 32.907 not-muc 51 unknown 8667 muc 20
76.39/76.44	c iter 22 time 33.2989 not-muc 51 unknown 8666 muc 21
76.39/76.44	c iter 23 time 33.4489 not-muc 51 unknown 8665 muc 22
76.39/76.44	c iter 24 time 33.6139 not-muc 51 unknown 8664 muc 23
76.39/76.44	c iter 25 time 33.7659 not-muc 51 unknown 8663 muc 24
76.39/76.44	c iter 26 time 33.8379 not-muc 51 unknown 8662 muc 25
76.39/76.44	c iter 27 time 61.7966 not-muc 88 unknown 8625 muc 25
76.39/76.44	c iter 28 time 62.7955 not-muc 88 unknown 8624 muc 26
76.39/76.44	c iter 29 time 63.0064 not-muc 88 unknown 8623 muc 27
76.39/76.44	c iter 30 time 63.3274 not-muc 88 unknown 8622 muc 28
76.39/76.44	c iter 31 time 63.5353 not-muc 88 unknown 8621 muc 29
76.39/76.44	c iter 32 time 63.7353 not-muc 88 unknown 8620 muc 30
76.39/76.44	c iter 33 time 63.9443 not-muc 88 unknown 8619 muc 31
76.39/76.44	c iter 34 time 64.1472 not-muc 88 unknown 8618 muc 32
76.39/76.44	c iter 35 time 64.4252 not-muc 88 unknown 8617 muc 33
76.39/76.44	c iter 36 time 64.9341 not-muc 88 unknown 8616 muc 34
76.39/76.44	c iter 37 time 65.2991 not-muc 88 unknown 8615 muc 35
76.39/76.44	c iter 38 time 65.508 not-muc 88 unknown 8614 muc 36
76.39/76.44	c iter 39 time 65.737 not-muc 88 unknown 8613 muc 37
76.39/76.44	c iter 40 time 65.942 not-muc 88 unknown 8612 muc 38
76.39/76.44	c iter 41 time 66.1539 not-muc 88 unknown 8611 muc 39
76.39/76.44	c iter 42 time 66.3649 not-muc 88 unknown 8610 muc 40
76.39/76.44	c iter 43 time 66.5639 not-muc 88 unknown 8609 muc 41
76.39/76.44	c iter 44 time 66.8038 not-muc 88 unknown 8608 muc 42
76.39/76.44	c iter 45 time 67.0098 not-muc 88 unknown 8607 muc 43
76.39/76.44	c iter 46 time 67.2158 not-muc 88 unknown 8606 muc 44
76.39/76.44	c iter 47 time 67.6457 not-muc 88 unknown 8605 muc 45
76.39/76.44	c iter 48 time 67.8627 not-muc 88 unknown 8604 muc 46
76.39/76.44	c iter 49 time 68.0607 not-muc 88 unknown 8603 muc 47
76.39/76.44	c iter 50 time 68.2686 not-muc 88 unknown 8602 muc 48
76.39/76.44	c iter 51 time 68.4266 not-muc 88 unknown 8601 muc 49
76.39/76.44	c iter 52 time 68.5836 not-muc 88 unknown 8600 muc 50
76.39/76.44	c iter 53 time 68.7975 not-muc 88 unknown 8599 muc 51
76.39/76.44	c iter 54 time 68.9545 not-muc 88 unknown 8598 muc 52
76.39/76.44	c iter 55 time 69.8554 not-muc 88 unknown 8597 muc 53
76.39/76.44	c iter 56 time 70.5933 not-muc 88 unknown 8596 muc 54
76.39/76.44	c iter 57 time 70.9022 not-muc 88 unknown 8595 muc 55
76.39/76.44	c iter 58 time 71.1882 not-muc 88 unknown 8594 muc 56
76.39/76.44	c iter 59 time 71.4011 not-muc 88 unknown 8593 muc 57
76.39/76.44	c iter 60 time 71.6141 not-muc 88 unknown 8592 muc 58
76.39/76.44	c iter 61 time 71.8151 not-muc 88 unknown 8591 muc 59
76.39/76.44	c iter 62 time 72.189 not-muc 88 unknown 8590 muc 60
76.39/76.44	c iter 63 time 73.0769 not-muc 88 unknown 8589 muc 61
76.39/76.44	c iter 64 time 73.2809 not-muc 88 unknown 8588 muc 62
76.39/76.44	c iter 65 time 73.8528 not-muc 88 unknown 8587 muc 63
76.39/76.44	c iter 66 time 74.0617 not-muc 88 unknown 8586 muc 64
76.39/76.44	c iter 67 time 74.2717 not-muc 88 unknown 8585 muc 65
76.39/76.44	c iter 68 time 74.5007 not-muc 88 unknown 8584 muc 66
76.39/76.44	c iter 69 time 74.7106 not-muc 88 unknown 8583 muc 67
76.39/76.44	c iter 70 time 74.9086 not-muc 88 unknown 8582 muc 68
76.39/76.44	c iter 71 time 75.1106 not-muc 88 unknown 8581 muc 69
76.39/76.44	c iter 72 time 75.3265 not-muc 88 unknown 8580 muc 70
76.39/76.44	c iter 73 time 75.5285 not-muc 88 unknown 8579 muc 71
76.39/76.44	c iter 74 time 75.7915 not-muc 88 unknown 8578 muc 72
76.39/76.44	c iter 75 time 76.0024 not-muc 88 unknown 8577 muc 73
76.39/76.44	c iter 76 time 76.2044 not-muc 88 unknown 8576 muc 74
102.98/103.01	c iter 77 time 76.4494 not-muc 88 unknown 8575 muc 75
102.98/103.01	c iter 78 time 76.6244 not-muc 88 unknown 8574 muc 76
102.98/103.01	c iter 79 time 76.7813 not-muc 88 unknown 8573 muc 77
102.98/103.01	c iter 80 time 77.3042 not-muc 88 unknown 8572 muc 78
102.98/103.01	c iter 81 time 77.7092 not-muc 88 unknown 8571 muc 79
102.98/103.01	c iter 82 time 78.0091 not-muc 88 unknown 8570 muc 80
102.98/103.01	c iter 83 time 78.853 not-muc 88 unknown 8569 muc 81
102.98/103.01	c iter 84 time 79.248 not-muc 88 unknown 8568 muc 82
102.98/103.01	c iter 85 time 79.4519 not-muc 88 unknown 8567 muc 83
102.98/103.01	c iter 86 time 79.6839 not-muc 88 unknown 8566 muc 84
102.98/103.01	c iter 87 time 79.8859 not-muc 88 unknown 8565 muc 85
102.98/103.01	c iter 88 time 80.0838 not-muc 88 unknown 8564 muc 86
102.98/103.01	c iter 89 time 80.3548 not-muc 88 unknown 8563 muc 87
102.98/103.01	c iter 90 time 81.3386 not-muc 88 unknown 8562 muc 88
102.98/103.01	c iter 91 time 81.5386 not-muc 88 unknown 8561 muc 89
102.98/103.01	c iter 92 time 81.7296 not-muc 88 unknown 8560 muc 90
102.98/103.01	c iter 93 time 81.9295 not-muc 88 unknown 8559 muc 91
102.98/103.01	c iter 94 time 82.1605 not-muc 88 unknown 8558 muc 92
102.98/103.01	c iter 95 time 82.3615 not-muc 88 unknown 8557 muc 93
102.98/103.01	c iter 96 time 82.5624 not-muc 88 unknown 8556 muc 94
102.98/103.01	c iter 97 time 82.7584 not-muc 88 unknown 8555 muc 95
102.98/103.01	c iter 98 time 83.0614 not-muc 88 unknown 8554 muc 96
102.98/103.01	c iter 99 time 83.3063 not-muc 88 unknown 8553 muc 97
102.98/103.01	c iter 100 time 83.5083 not-muc 88 unknown 8552 muc 98
102.98/103.01	c iter 101 time 83.7563 not-muc 88 unknown 8551 muc 99
102.98/103.01	c iter 102 time 84.1382 not-muc 88 unknown 8550 muc 100
102.98/103.01	c iter 103 time 84.3392 not-muc 88 unknown 8549 muc 101
102.98/103.01	c iter 104 time 84.5471 not-muc 88 unknown 8548 muc 102
102.98/103.01	c iter 105 time 84.7121 not-muc 88 unknown 8547 muc 103
102.98/103.01	c iter 106 time 84.8681 not-muc 88 unknown 8546 muc 104
102.98/103.01	c iter 107 time 85.184 not-muc 88 unknown 8545 muc 105
102.98/103.01	c iter 108 time 86.2199 not-muc 88 unknown 8544 muc 106
102.98/103.01	c iter 109 time 86.5618 not-muc 88 unknown 8543 muc 107
102.98/103.01	c iter 110 time 87.6057 not-muc 88 unknown 8542 muc 108
102.98/103.01	c iter 111 time 88.8785 not-muc 88 unknown 8541 muc 109
102.98/103.01	c iter 112 time 89.1245 not-muc 88 unknown 8540 muc 110
102.98/103.01	c iter 113 time 89.6184 not-muc 88 unknown 8539 muc 111
102.98/103.01	c iter 114 time 89.8643 not-muc 88 unknown 8538 muc 112
102.98/103.01	c iter 115 time 90.0633 not-muc 88 unknown 8537 muc 113
102.98/103.01	c iter 116 time 90.3003 not-muc 88 unknown 8536 muc 114
102.98/103.01	c iter 117 time 91.3191 not-muc 88 unknown 8535 muc 115
102.98/103.01	c iter 118 time 91.6561 not-muc 88 unknown 8534 muc 116
102.98/103.01	c iter 119 time 92.055 not-muc 88 unknown 8533 muc 117
102.98/103.01	c iter 120 time 92.32 not-muc 88 unknown 8532 muc 118
102.98/103.01	c iter 121 time 92.5609 not-muc 88 unknown 8531 muc 119
102.98/103.01	c iter 122 time 92.7659 not-muc 88 unknown 8530 muc 120
102.98/103.01	c iter 123 time 92.9939 not-muc 88 unknown 8529 muc 121
102.98/103.01	c iter 124 time 93.1928 not-muc 88 unknown 8528 muc 122
102.98/103.01	c iter 125 time 93.4468 not-muc 88 unknown 8527 muc 123
102.98/103.01	c iter 126 time 93.6898 not-muc 88 unknown 8526 muc 124
102.98/103.01	c iter 127 time 93.8947 not-muc 88 unknown 8525 muc 125
102.98/103.01	c iter 128 time 94.6216 not-muc 88 unknown 8524 muc 126
102.98/103.01	c iter 129 time 94.8286 not-muc 88 unknown 8523 muc 127
102.98/103.01	c iter 130 time 95.0306 not-muc 88 unknown 8522 muc 128
102.98/103.01	c iter 131 time 95.2245 not-muc 88 unknown 8521 muc 129
102.98/103.01	c iter 132 time 95.3895 not-muc 88 unknown 8520 muc 130
102.98/103.01	c iter 133 time 95.5445 not-muc 88 unknown 8519 muc 131
102.98/103.01	c iter 134 time 96.1164 not-muc 88 unknown 8518 muc 132
102.98/103.01	c iter 135 time 96.3843 not-muc 88 unknown 8517 muc 133
102.98/103.01	c iter 136 time 96.6103 not-muc 88 unknown 8516 muc 134
102.98/103.01	c iter 137 time 97.1152 not-muc 88 unknown 8515 muc 135
102.98/103.01	c iter 138 time 98.573 not-muc 88 unknown 8514 muc 136
102.98/103.01	c iter 139 time 98.775 not-muc 88 unknown 8513 muc 137
102.98/103.01	c iter 140 time 98.965 not-muc 88 unknown 8512 muc 138
102.98/103.01	c iter 141 time 99.1799 not-muc 88 unknown 8511 muc 139
102.98/103.01	c iter 142 time 99.3779 not-muc 88 unknown 8510 muc 140
102.98/103.01	c iter 143 time 99.8478 not-muc 88 unknown 8509 muc 141
102.98/103.01	c iter 144 time 100.256 not-muc 88 unknown 8508 muc 142
102.98/103.01	c iter 145 time 100.525 not-muc 88 unknown 8507 muc 143
102.98/103.01	c iter 146 time 101.651 not-muc 88 unknown 8506 muc 144
102.98/103.01	c iter 147 time 102.028 not-muc 88 unknown 8505 muc 145
102.98/103.01	c iter 148 time 102.261 not-muc 88 unknown 8504 muc 146
102.98/103.01	c iter 149 time 102.496 not-muc 88 unknown 8503 muc 147
102.98/103.01	c iter 150 time 102.733 not-muc 88 unknown 8502 muc 148
123.39/123.42	c iter 151 time 102.927 not-muc 88 unknown 8501 muc 149
123.39/123.42	c iter 152 time 103.149 not-muc 88 unknown 8500 muc 150
123.39/123.42	c iter 153 time 103.406 not-muc 88 unknown 8499 muc 151
123.39/123.42	c iter 154 time 103.608 not-muc 88 unknown 8498 muc 152
123.39/123.42	c iter 155 time 103.969 not-muc 88 unknown 8497 muc 153
123.39/123.42	c iter 156 time 104.31 not-muc 88 unknown 8496 muc 154
123.39/123.42	c iter 157 time 104.509 not-muc 88 unknown 8495 muc 155
123.39/123.42	c iter 158 time 104.71 not-muc 88 unknown 8494 muc 156
123.39/123.42	c iter 159 time 105.057 not-muc 88 unknown 8493 muc 157
123.39/123.42	c iter 160 time 105.214 not-muc 88 unknown 8492 muc 158
123.39/123.42	c iter 161 time 105.502 not-muc 88 unknown 8491 muc 159
123.39/123.42	c iter 162 time 105.987 not-muc 88 unknown 8490 muc 160
123.39/123.42	c iter 163 time 106.222 not-muc 88 unknown 8489 muc 161
123.39/123.42	c iter 164 time 106.501 not-muc 88 unknown 8488 muc 162
123.39/123.42	c iter 165 time 106.825 not-muc 88 unknown 8487 muc 163
123.39/123.42	c iter 166 time 107.028 not-muc 88 unknown 8486 muc 164
123.39/123.42	c iter 167 time 107.692 not-muc 88 unknown 8485 muc 165
123.39/123.42	c iter 168 time 107.928 not-muc 88 unknown 8484 muc 166
123.39/123.42	c iter 169 time 108.125 not-muc 88 unknown 8483 muc 167
123.39/123.42	c iter 170 time 109.35 not-muc 88 unknown 8482 muc 168
123.39/123.42	c iter 171 time 110.338 not-muc 88 unknown 8481 muc 169
123.39/123.42	c iter 172 time 110.56 not-muc 88 unknown 8480 muc 170
123.39/123.42	c iter 173 time 110.933 not-muc 88 unknown 8479 muc 171
123.39/123.42	c iter 174 time 111.182 not-muc 88 unknown 8478 muc 172
123.39/123.42	c iter 175 time 111.397 not-muc 88 unknown 8477 muc 173
123.39/123.42	c iter 176 time 111.593 not-muc 88 unknown 8476 muc 174
123.39/123.42	c iter 177 time 111.789 not-muc 88 unknown 8475 muc 175
123.39/123.42	c iter 178 time 111.983 not-muc 88 unknown 8474 muc 176
123.39/123.42	c iter 179 time 112.294 not-muc 88 unknown 8473 muc 177
123.39/123.42	c iter 180 time 112.493 not-muc 88 unknown 8472 muc 178
123.39/123.42	c iter 181 time 112.697 not-muc 88 unknown 8471 muc 179
123.39/123.42	c iter 182 time 112.896 not-muc 88 unknown 8470 muc 180
123.39/123.42	c iter 183 time 113.103 not-muc 88 unknown 8469 muc 181
123.39/123.42	c iter 184 time 113.303 not-muc 88 unknown 8468 muc 182
123.39/123.42	c iter 185 time 113.497 not-muc 88 unknown 8467 muc 183
123.39/123.42	c iter 186 time 113.696 not-muc 88 unknown 8466 muc 184
123.39/123.42	c iter 187 time 113.853 not-muc 88 unknown 8465 muc 185
123.39/123.42	c iter 188 time 114.045 not-muc 88 unknown 8464 muc 186
123.39/123.42	c iter 189 time 114.372 not-muc 88 unknown 8463 muc 187
123.39/123.42	c iter 190 time 114.859 not-muc 88 unknown 8462 muc 188
123.39/123.42	c iter 191 time 115.081 not-muc 88 unknown 8461 muc 189
123.39/123.42	c iter 192 time 115.624 not-muc 88 unknown 8460 muc 190
123.39/123.42	c iter 193 time 115.838 not-muc 88 unknown 8459 muc 191
123.39/123.42	c iter 194 time 116.055 not-muc 88 unknown 8458 muc 192
123.39/123.42	c iter 195 time 116.319 not-muc 88 unknown 8457 muc 193
123.39/123.42	c iter 196 time 116.516 not-muc 88 unknown 8456 muc 194
123.39/123.42	c iter 197 time 116.74 not-muc 88 unknown 8455 muc 195
123.39/123.42	c iter 198 time 117.074 not-muc 88 unknown 8454 muc 196
123.39/123.42	c iter 199 time 117.27 not-muc 88 unknown 8453 muc 197
123.39/123.42	c iter 200 time 117.723 not-muc 88 unknown 8452 muc 198
123.39/123.42	c iter 201 time 117.959 not-muc 88 unknown 8451 muc 199
123.39/123.42	c iter 202 time 118.164 not-muc 88 unknown 8450 muc 200
123.39/123.42	c iter 203 time 118.36 not-muc 88 unknown 8449 muc 201
123.39/123.42	c iter 204 time 118.555 not-muc 88 unknown 8448 muc 202
123.39/123.42	c iter 205 time 118.746 not-muc 88 unknown 8447 muc 203
123.39/123.42	c iter 206 time 118.953 not-muc 88 unknown 8446 muc 204
123.39/123.42	c iter 207 time 119.205 not-muc 88 unknown 8445 muc 205
123.39/123.42	c iter 208 time 119.41 not-muc 88 unknown 8444 muc 206
123.39/123.42	c iter 209 time 119.761 not-muc 88 unknown 8443 muc 207
123.39/123.42	c iter 210 time 119.984 not-muc 88 unknown 8442 muc 208
123.39/123.42	c iter 211 time 120.18 not-muc 88 unknown 8441 muc 209
123.39/123.42	c iter 212 time 120.373 not-muc 88 unknown 8440 muc 210
123.39/123.42	c iter 213 time 120.535 not-muc 88 unknown 8439 muc 211
123.39/123.42	c iter 214 time 120.692 not-muc 88 unknown 8438 muc 212
123.39/123.42	c iter 215 time 120.905 not-muc 88 unknown 8437 muc 213
123.39/123.42	c iter 216 time 121.144 not-muc 88 unknown 8436 muc 214
123.39/123.42	c iter 217 time 121.361 not-muc 88 unknown 8435 muc 215
123.39/123.42	c iter 218 time 121.876 not-muc 88 unknown 8434 muc 216
123.39/123.42	c iter 219 time 122.159 not-muc 88 unknown 8433 muc 217
123.39/123.42	c iter 220 time 122.354 not-muc 88 unknown 8432 muc 218
123.39/123.42	c iter 221 time 122.552 not-muc 88 unknown 8431 muc 219
123.39/123.42	c iter 222 time 122.925 not-muc 88 unknown 8430 muc 220
123.39/123.42	c iter 223 time 123.12 not-muc 88 unknown 8429 muc 221
148.78/148.83	c iter 224 time 123.416 not-muc 88 unknown 8428 muc 222
148.78/148.83	c iter 225 time 124.811 not-muc 88 unknown 8427 muc 223
148.78/148.83	c iter 226 time 125.457 not-muc 88 unknown 8426 muc 224
148.78/148.83	c iter 227 time 125.651 not-muc 88 unknown 8425 muc 225
148.78/148.83	c iter 228 time 126.053 not-muc 88 unknown 8424 muc 226
148.78/148.83	c iter 229 time 126.254 not-muc 88 unknown 8423 muc 227
148.78/148.83	c iter 230 time 126.453 not-muc 88 unknown 8422 muc 228
148.78/148.83	c iter 231 time 127.458 not-muc 88 unknown 8421 muc 229
148.78/148.83	c iter 232 time 127.652 not-muc 88 unknown 8420 muc 230
148.78/148.83	c iter 233 time 127.873 not-muc 88 unknown 8419 muc 231
148.78/148.83	c iter 234 time 128.184 not-muc 88 unknown 8418 muc 232
148.78/148.83	c iter 235 time 128.388 not-muc 88 unknown 8417 muc 233
148.78/148.83	c iter 236 time 128.591 not-muc 88 unknown 8416 muc 234
148.78/148.83	c iter 237 time 128.782 not-muc 88 unknown 8415 muc 235
148.78/148.83	c iter 238 time 128.973 not-muc 88 unknown 8414 muc 236
148.78/148.83	c iter 239 time 129.165 not-muc 88 unknown 8413 muc 237
148.78/148.83	c iter 240 time 129.325 not-muc 88 unknown 8412 muc 238
148.78/148.83	c iter 241 time 129.479 not-muc 88 unknown 8411 muc 239
148.78/148.83	c iter 242 time 129.676 not-muc 88 unknown 8410 muc 240
148.78/148.83	c iter 243 time 129.842 not-muc 88 unknown 8409 muc 241
148.78/148.83	c iter 244 time 130.052 not-muc 88 unknown 8408 muc 242
148.78/148.83	c iter 245 time 130.495 not-muc 88 unknown 8407 muc 243
148.78/148.83	c iter 246 time 130.891 not-muc 88 unknown 8406 muc 244
148.78/148.83	c iter 247 time 131.348 not-muc 88 unknown 8405 muc 245
148.78/148.83	c iter 248 time 131.615 not-muc 88 unknown 8404 muc 246
148.78/148.83	c iter 249 time 131.92 not-muc 88 unknown 8403 muc 247
148.78/148.83	c iter 250 time 132.116 not-muc 88 unknown 8402 muc 248
148.78/148.83	c iter 251 time 132.413 not-muc 88 unknown 8401 muc 249
148.78/148.83	c iter 252 time 135.242 not-muc 88 unknown 8400 muc 250
148.78/148.83	c iter 253 time 135.445 not-muc 88 unknown 8399 muc 251
148.78/148.83	c iter 254 time 137.385 not-muc 88 unknown 8398 muc 252
148.78/148.83	c iter 255 time 138.032 not-muc 88 unknown 8397 muc 253
148.78/148.83	c iter 256 time 138.236 not-muc 88 unknown 8396 muc 254
148.78/148.83	c iter 257 time 138.432 not-muc 88 unknown 8395 muc 255
148.78/148.83	c iter 258 time 138.625 not-muc 88 unknown 8394 muc 256
148.78/148.83	c iter 259 time 138.817 not-muc 88 unknown 8393 muc 257
148.78/148.83	c iter 260 time 139.023 not-muc 88 unknown 8392 muc 258
148.78/148.83	c iter 261 time 139.264 not-muc 88 unknown 8391 muc 259
148.78/148.83	c iter 262 time 139.472 not-muc 88 unknown 8390 muc 260
148.78/148.83	c iter 263 time 139.883 not-muc 88 unknown 8389 muc 261
148.78/148.83	c iter 264 time 140.354 not-muc 88 unknown 8388 muc 262
148.78/148.83	c iter 265 time 140.551 not-muc 88 unknown 8387 muc 263
148.78/148.83	c iter 266 time 140.748 not-muc 88 unknown 8386 muc 264
148.78/148.83	c iter 267 time 140.933 not-muc 88 unknown 8385 muc 265
148.78/148.83	c iter 268 time 141.088 not-muc 88 unknown 8384 muc 266
148.78/148.83	c iter 269 time 141.287 not-muc 88 unknown 8383 muc 267
148.78/148.83	c iter 270 time 141.523 not-muc 88 unknown 8382 muc 268
148.78/148.83	c iter 271 time 141.782 not-muc 88 unknown 8381 muc 269
148.78/148.83	c iter 272 time 142.007 not-muc 88 unknown 8380 muc 270
148.78/148.83	c iter 273 time 142.504 not-muc 88 unknown 8379 muc 271
148.78/148.83	c iter 274 time 142.699 not-muc 88 unknown 8378 muc 272
148.78/148.83	c iter 275 time 142.892 not-muc 88 unknown 8377 muc 273
148.78/148.83	c iter 276 time 143.175 not-muc 88 unknown 8376 muc 274
148.78/148.83	c iter 277 time 143.369 not-muc 88 unknown 8375 muc 275
148.78/148.83	c iter 278 time 143.572 not-muc 88 unknown 8374 muc 276
148.78/148.83	c iter 279 time 144.84 not-muc 88 unknown 8373 muc 277
148.78/148.83	c iter 280 time 145.039 not-muc 88 unknown 8372 muc 278
148.78/148.83	c iter 281 time 145.328 not-muc 88 unknown 8371 muc 279
148.78/148.83	c iter 282 time 145.647 not-muc 88 unknown 8370 muc 280
148.78/148.83	c iter 283 time 145.856 not-muc 88 unknown 8369 muc 281
148.78/148.83	c iter 284 time 146.052 not-muc 88 unknown 8368 muc 282
148.78/148.83	c iter 285 time 146.326 not-muc 88 unknown 8367 muc 283
148.78/148.83	c iter 286 time 146.52 not-muc 88 unknown 8366 muc 284
148.78/148.83	c iter 287 time 146.739 not-muc 88 unknown 8365 muc 285
148.78/148.83	c iter 288 time 146.963 not-muc 88 unknown 8364 muc 286
148.78/148.83	c iter 289 time 147.165 not-muc 88 unknown 8363 muc 287
148.78/148.83	c iter 290 time 147.388 not-muc 88 unknown 8362 muc 288
148.78/148.83	c iter 291 time 147.585 not-muc 88 unknown 8361 muc 289
148.78/148.83	c iter 292 time 147.78 not-muc 88 unknown 8360 muc 290
148.78/148.83	c iter 293 time 147.972 not-muc 88 unknown 8359 muc 291
148.78/148.83	c iter 294 time 148.141 not-muc 88 unknown 8358 muc 292
148.78/148.83	c iter 295 time 148.294 not-muc 88 unknown 8357 muc 293
148.78/148.83	c iter 296 time 148.504 not-muc 88 unknown 8356 muc 294
179.29/179.38	c iter 297 time 148.763 not-muc 88 unknown 8355 muc 295
179.29/179.38	c iter 298 time 148.967 not-muc 88 unknown 8354 muc 296
179.29/179.38	c iter 299 time 149.183 not-muc 88 unknown 8353 muc 297
179.29/179.38	c iter 300 time 149.456 not-muc 88 unknown 8352 muc 298
179.29/179.38	c iter 301 time 149.762 not-muc 88 unknown 8351 muc 299
179.29/179.38	c iter 302 time 150.191 not-muc 88 unknown 8350 muc 300
179.29/179.38	c iter 303 time 150.389 not-muc 88 unknown 8349 muc 301
179.29/179.38	c iter 304 time 150.582 not-muc 88 unknown 8348 muc 302
179.29/179.38	c iter 305 time 151.097 not-muc 88 unknown 8347 muc 303
179.29/179.38	c iter 306 time 151.908 not-muc 88 unknown 8346 muc 304
179.29/179.38	c iter 307 time 152.561 not-muc 88 unknown 8345 muc 305
179.29/179.38	c iter 308 time 156.903 not-muc 88 unknown 8344 muc 306
179.29/179.38	c iter 309 time 157.223 not-muc 88 unknown 8343 muc 307
179.29/179.38	c iter 310 time 157.424 not-muc 88 unknown 8342 muc 308
179.29/179.38	c iter 311 time 157.618 not-muc 88 unknown 8341 muc 309
179.29/179.38	c iter 312 time 157.854 not-muc 88 unknown 8340 muc 310
179.29/179.38	c iter 313 time 158.057 not-muc 88 unknown 8339 muc 311
179.29/179.38	c iter 314 time 158.287 not-muc 88 unknown 8338 muc 312
179.29/179.38	c iter 315 time 158.518 not-muc 88 unknown 8337 muc 313
179.29/179.38	c iter 316 time 158.719 not-muc 88 unknown 8336 muc 314
179.29/179.38	c iter 317 time 159.035 not-muc 88 unknown 8335 muc 315
179.29/179.38	c iter 318 time 159.255 not-muc 88 unknown 8334 muc 316
179.29/179.38	c iter 319 time 159.449 not-muc 88 unknown 8333 muc 317
179.29/179.38	c iter 320 time 159.65 not-muc 88 unknown 8332 muc 318
179.29/179.38	c iter 321 time 159.815 not-muc 88 unknown 8331 muc 319
179.29/179.38	c iter 322 time 159.97 not-muc 88 unknown 8330 muc 320
179.29/179.38	c iter 323 time 160.174 not-muc 88 unknown 8329 muc 321
179.29/179.38	c iter 324 time 160.421 not-muc 88 unknown 8328 muc 322
179.29/179.38	c iter 325 time 160.618 not-muc 88 unknown 8327 muc 323
179.29/179.38	c iter 326 time 160.832 not-muc 88 unknown 8326 muc 324
179.29/179.38	c iter 327 time 161.32 not-muc 88 unknown 8325 muc 325
179.29/179.38	c iter 328 time 161.515 not-muc 88 unknown 8324 muc 326
179.29/179.38	c iter 329 time 162.453 not-muc 88 unknown 8323 muc 327
179.29/179.38	c iter 330 time 162.798 not-muc 88 unknown 8322 muc 328
179.29/179.38	c iter 331 time 162.993 not-muc 88 unknown 8321 muc 329
179.29/179.38	c iter 332 time 163.637 not-muc 88 unknown 8320 muc 330
179.29/179.38	c iter 333 time 164.534 not-muc 88 unknown 8319 muc 331
179.29/179.38	c iter 334 time 164.925 not-muc 88 unknown 8318 muc 332
179.29/179.38	c iter 335 time 166.494 not-muc 88 unknown 8317 muc 333
179.29/179.38	c iter 336 time 166.813 not-muc 88 unknown 8316 muc 334
179.29/179.38	c iter 337 time 167.026 not-muc 88 unknown 8315 muc 335
179.29/179.38	c iter 338 time 167.304 not-muc 88 unknown 8314 muc 336
179.29/179.38	c iter 339 time 167.502 not-muc 88 unknown 8313 muc 337
179.29/179.38	c iter 340 time 167.692 not-muc 88 unknown 8312 muc 338
179.29/179.38	c iter 341 time 167.89 not-muc 88 unknown 8311 muc 339
179.29/179.38	c iter 342 time 168.093 not-muc 88 unknown 8310 muc 340
179.29/179.38	c iter 343 time 168.295 not-muc 88 unknown 8309 muc 341
179.29/179.38	c iter 344 time 168.489 not-muc 88 unknown 8308 muc 342
179.29/179.38	c iter 345 time 168.68 not-muc 88 unknown 8307 muc 343
179.29/179.38	c iter 346 time 168.869 not-muc 88 unknown 8306 muc 344
179.29/179.38	c iter 347 time 169.059 not-muc 88 unknown 8305 muc 345
179.29/179.38	c iter 348 time 169.263 not-muc 88 unknown 8304 muc 346
179.29/179.38	c iter 349 time 169.466 not-muc 88 unknown 8303 muc 347
179.29/179.38	c iter 350 time 169.698 not-muc 88 unknown 8302 muc 348
179.29/179.38	c iter 351 time 169.898 not-muc 88 unknown 8301 muc 349
179.29/179.38	c iter 352 time 170.109 not-muc 88 unknown 8300 muc 350
179.29/179.38	c iter 353 time 170.306 not-muc 88 unknown 8299 muc 351
179.29/179.38	c iter 354 time 170.529 not-muc 88 unknown 8298 muc 352
179.29/179.38	c iter 355 time 170.719 not-muc 88 unknown 8297 muc 353
179.29/179.38	c iter 356 time 171.098 not-muc 88 unknown 8296 muc 354
179.29/179.38	c iter 357 time 171.366 not-muc 88 unknown 8295 muc 355
179.29/179.38	c iter 358 time 171.559 not-muc 88 unknown 8294 muc 356
179.29/179.38	c iter 359 time 171.759 not-muc 88 unknown 8293 muc 357
179.29/179.38	c iter 360 time 174.558 not-muc 88 unknown 8292 muc 358
179.29/179.38	c iter 361 time 174.817 not-muc 88 unknown 8291 muc 359
179.29/179.38	c iter 362 time 177.17 not-muc 88 unknown 8290 muc 360
179.29/179.38	c iter 363 time 177.477 not-muc 88 unknown 8289 muc 361
179.29/179.38	c iter 364 time 177.694 not-muc 88 unknown 8288 muc 362
179.29/179.38	c iter 365 time 177.895 not-muc 88 unknown 8287 muc 363
179.29/179.38	c iter 366 time 178.082 not-muc 88 unknown 8286 muc 364
179.29/179.38	c iter 367 time 178.389 not-muc 88 unknown 8285 muc 365
179.29/179.38	c iter 368 time 178.628 not-muc 88 unknown 8284 muc 366
179.29/179.38	c iter 369 time 178.823 not-muc 88 unknown 8283 muc 367
179.29/179.38	c iter 370 time 179.012 not-muc 88 unknown 8282 muc 368
237.18/237.23	c iter 371 time 179.2 not-muc 88 unknown 8281 muc 369
237.18/237.23	c iter 372 time 180.562 not-muc 88 unknown 8280 muc 370
237.18/237.23	c iter 373 time 180.767 not-muc 88 unknown 8279 muc 371
237.18/237.23	c iter 374 time 180.989 not-muc 88 unknown 8278 muc 372
237.18/237.23	c iter 375 time 181.784 not-muc 88 unknown 8277 muc 373
237.18/237.23	c iter 376 time 181.975 not-muc 88 unknown 8276 muc 374
237.18/237.23	c iter 377 time 182.162 not-muc 88 unknown 8275 muc 375
237.18/237.23	c iter 378 time 182.362 not-muc 88 unknown 8274 muc 376
237.18/237.23	c iter 379 time 182.562 not-muc 88 unknown 8273 muc 377
237.18/237.23	c iter 380 time 182.755 not-muc 88 unknown 8272 muc 378
237.18/237.23	c iter 381 time 182.959 not-muc 88 unknown 8271 muc 379
237.18/237.23	c iter 382 time 183.146 not-muc 88 unknown 8270 muc 380
237.18/237.23	c iter 383 time 183.336 not-muc 88 unknown 8269 muc 381
237.18/237.23	c iter 384 time 183.524 not-muc 88 unknown 8268 muc 382
237.18/237.23	c iter 385 time 183.727 not-muc 88 unknown 8267 muc 383
237.18/237.23	c iter 386 time 183.974 not-muc 88 unknown 8266 muc 384
237.18/237.23	c iter 387 time 184.226 not-muc 88 unknown 8265 muc 385
237.18/237.23	c iter 388 time 184.468 not-muc 88 unknown 8264 muc 386
237.18/237.23	c iter 389 time 184.658 not-muc 88 unknown 8263 muc 387
237.18/237.23	c iter 390 time 184.845 not-muc 88 unknown 8262 muc 388
237.18/237.23	c iter 391 time 185.032 not-muc 88 unknown 8261 muc 389
237.18/237.23	c iter 392 time 187.384 not-muc 88 unknown 8260 muc 390
237.18/237.23	c iter 393 time 187.636 not-muc 88 unknown 8259 muc 391
237.18/237.23	c iter 394 time 187.832 not-muc 88 unknown 8258 muc 392
237.18/237.23	c iter 395 time 188.736 not-muc 88 unknown 8257 muc 393
237.18/237.23	c iter 396 time 188.991 not-muc 88 unknown 8256 muc 394
237.18/237.23	c iter 397 time 189.19 not-muc 88 unknown 8255 muc 395
237.18/237.23	c iter 398 time 189.401 not-muc 88 unknown 8254 muc 396
237.18/237.23	c iter 399 time 189.644 not-muc 88 unknown 8253 muc 397
237.18/237.23	c iter 400 time 189.831 not-muc 88 unknown 8252 muc 398
237.18/237.23	c iter 401 time 190.036 not-muc 88 unknown 8251 muc 399
237.18/237.23	c iter 402 time 190.282 not-muc 88 unknown 8250 muc 400
237.18/237.23	c iter 403 time 190.472 not-muc 88 unknown 8249 muc 401
237.18/237.23	c iter 404 time 190.695 not-muc 88 unknown 8248 muc 402
237.18/237.23	c iter 405 time 190.942 not-muc 88 unknown 8247 muc 403
237.18/237.23	c iter 406 time 191.132 not-muc 88 unknown 8246 muc 404
237.18/237.23	c iter 407 time 191.42 not-muc 88 unknown 8245 muc 405
237.18/237.23	c iter 408 time 191.719 not-muc 88 unknown 8244 muc 406
237.18/237.23	c iter 409 time 191.91 not-muc 88 unknown 8243 muc 407
237.18/237.23	c iter 410 time 192.261 not-muc 88 unknown 8242 muc 408
237.18/237.23	c iter 411 time 192.513 not-muc 88 unknown 8241 muc 409
237.18/237.23	c iter 412 time 192.707 not-muc 88 unknown 8240 muc 410
237.18/237.23	c iter 413 time 192.942 not-muc 88 unknown 8239 muc 411
237.18/237.23	c iter 414 time 193.186 not-muc 88 unknown 8238 muc 412
237.18/237.23	c iter 415 time 193.374 not-muc 88 unknown 8237 muc 413
237.18/237.23	c iter 416 time 193.589 not-muc 88 unknown 8236 muc 414
237.18/237.23	c iter 417 time 193.831 not-muc 88 unknown 8235 muc 415
237.18/237.23	c iter 418 time 194.043 not-muc 88 unknown 8234 muc 416
237.18/237.23	c iter 419 time 194.291 not-muc 88 unknown 8233 muc 417
237.18/237.23	c iter 420 time 194.562 not-muc 88 unknown 8232 muc 418
237.18/237.23	c iter 421 time 194.757 not-muc 88 unknown 8231 muc 419
237.18/237.23	c iter 422 time 195.145 not-muc 88 unknown 8230 muc 420
237.18/237.23	c iter 423 time 195.389 not-muc 88 unknown 8229 muc 421
237.18/237.23	c iter 424 time 195.577 not-muc 88 unknown 8228 muc 422
237.18/237.23	c iter 425 time 195.793 not-muc 88 unknown 8227 muc 423
237.18/237.23	c iter 426 time 196.035 not-muc 88 unknown 8226 muc 424
237.18/237.23	c iter 427 time 196.22 not-muc 88 unknown 8225 muc 425
237.18/237.23	c iter 428 time 196.45 not-muc 88 unknown 8224 muc 426
237.18/237.23	c iter 429 time 196.713 not-muc 88 unknown 8223 muc 427
237.18/237.23	c iter 430 time 196.906 not-muc 88 unknown 8222 muc 428
237.18/237.23	c iter 431 time 197.158 not-muc 88 unknown 8221 muc 429
237.18/237.23	c iter 432 time 197.398 not-muc 88 unknown 8220 muc 430
237.18/237.23	c iter 433 time 197.635 not-muc 88 unknown 8219 muc 431
237.18/237.23	c iter 434 time 197.887 not-muc 88 unknown 8218 muc 432
237.18/237.23	c iter 435 time 198.134 not-muc 88 unknown 8217 muc 433
237.18/237.23	c iter 436 time 198.329 not-muc 88 unknown 8216 muc 434
237.18/237.23	c iter 437 time 198.553 not-muc 88 unknown 8215 muc 435
237.18/237.23	c iter 438 time 198.744 not-muc 88 unknown 8214 muc 436
237.18/237.23	c iter 439 time 235.301 not-muc 105 unknown 8197 muc 436
237.18/237.23	c iter 440 time 235.965 not-muc 105 unknown 8196 muc 437
237.18/237.23	c iter 441 time 236.184 not-muc 105 unknown 8195 muc 438
237.18/237.23	c iter 442 time 236.439 not-muc 105 unknown 8194 muc 439
237.18/237.23	c iter 443 time 236.74 not-muc 105 unknown 8193 muc 440
326.77/326.85	c iter 444 time 236.901 not-muc 105 unknown 8192 muc 441
326.77/326.85	c iter 445 time 237.117 not-muc 105 unknown 8191 muc 442
326.77/326.85	c iter 446 time 237.397 not-muc 105 unknown 8190 muc 443
326.77/326.85	c iter 447 time 237.595 not-muc 105 unknown 8189 muc 444
326.77/326.85	c iter 448 time 237.837 not-muc 105 unknown 8188 muc 445
326.77/326.85	c iter 449 time 238.111 not-muc 105 unknown 8187 muc 446
326.77/326.85	c iter 450 time 238.377 not-muc 105 unknown 8186 muc 447
326.77/326.85	c iter 451 time 238.649 not-muc 105 unknown 8185 muc 448
326.77/326.85	c iter 452 time 238.923 not-muc 105 unknown 8184 muc 449
326.77/326.85	c iter 453 time 239.078 not-muc 105 unknown 8183 muc 450
326.77/326.85	c iter 454 time 239.249 not-muc 105 unknown 8182 muc 451
326.77/326.85	c iter 455 time 239.519 not-muc 105 unknown 8181 muc 452
326.77/326.85	c iter 456 time 239.671 not-muc 105 unknown 8180 muc 453
326.77/326.85	c iter 457 time 239.923 not-muc 105 unknown 8179 muc 454
326.77/326.85	c iter 458 time 240.194 not-muc 105 unknown 8178 muc 455
326.77/326.85	c iter 459 time 240.354 not-muc 105 unknown 8177 muc 456
326.77/326.85	c iter 460 time 240.595 not-muc 105 unknown 8176 muc 457
326.77/326.85	c iter 461 time 240.868 not-muc 105 unknown 8175 muc 458
326.77/326.85	c iter 462 time 241.069 not-muc 105 unknown 8174 muc 459
326.77/326.85	c iter 463 time 241.332 not-muc 105 unknown 8173 muc 460
326.77/326.85	c iter 464 time 241.63 not-muc 105 unknown 8172 muc 461
326.77/326.85	c iter 465 time 241.777 not-muc 105 unknown 8171 muc 462
326.77/326.85	c iter 466 time 242.038 not-muc 105 unknown 8170 muc 463
326.77/326.85	c iter 467 time 242.314 not-muc 105 unknown 8169 muc 464
326.77/326.85	c iter 468 time 242.48 not-muc 105 unknown 8168 muc 465
326.77/326.85	c iter 469 time 242.759 not-muc 105 unknown 8167 muc 466
326.77/326.85	c iter 470 time 243.031 not-muc 105 unknown 8166 muc 467
326.77/326.85	c iter 471 time 243.175 not-muc 105 unknown 8165 muc 468
326.77/326.85	c iter 472 time 243.379 not-muc 105 unknown 8164 muc 469
326.77/326.85	c iter 473 time 243.645 not-muc 105 unknown 8163 muc 470
326.77/326.85	c iter 474 time 243.789 not-muc 105 unknown 8162 muc 471
326.77/326.85	c iter 475 time 244.001 not-muc 105 unknown 8161 muc 472
326.77/326.85	c iter 476 time 244.433 not-muc 105 unknown 8160 muc 473
326.77/326.85	c iter 477 time 244.646 not-muc 105 unknown 8159 muc 474
326.77/326.85	c iter 478 time 244.964 not-muc 105 unknown 8158 muc 475
326.77/326.85	c iter 479 time 245.303 not-muc 105 unknown 8157 muc 476
326.77/326.85	c iter 480 time 313.54 not-muc 130 unknown 8132 muc 476
326.77/326.85	c iter 481 time 314.304 not-muc 130 unknown 8131 muc 477
326.77/326.85	c iter 482 time 314.689 not-muc 130 unknown 8130 muc 478
326.77/326.85	c iter 483 time 315.084 not-muc 130 unknown 8129 muc 479
326.77/326.85	c iter 484 time 315.491 not-muc 130 unknown 8128 muc 480
326.77/326.85	c iter 485 time 315.884 not-muc 130 unknown 8127 muc 481
326.77/326.85	c iter 486 time 316.267 not-muc 130 unknown 8126 muc 482
326.77/326.85	c iter 487 time 316.735 not-muc 130 unknown 8125 muc 483
326.77/326.85	c iter 488 time 317.309 not-muc 130 unknown 8124 muc 484
326.77/326.85	c iter 489 time 317.686 not-muc 130 unknown 8123 muc 485
326.77/326.85	c iter 490 time 318.101 not-muc 130 unknown 8122 muc 486
326.77/326.85	c iter 491 time 319.001 not-muc 130 unknown 8121 muc 487
326.77/326.85	c iter 492 time 319.358 not-muc 130 unknown 8120 muc 488
326.77/326.85	c iter 493 time 319.739 not-muc 130 unknown 8119 muc 489
326.77/326.85	c iter 494 time 320.194 not-muc 130 unknown 8118 muc 490
326.77/326.85	c iter 495 time 320.489 not-muc 130 unknown 8117 muc 491
326.77/326.85	c iter 496 time 320.772 not-muc 130 unknown 8116 muc 492
326.77/326.85	c iter 497 time 321.114 not-muc 130 unknown 8115 muc 493
326.77/326.85	c iter 498 time 321.403 not-muc 130 unknown 8114 muc 494
326.77/326.85	c iter 499 time 321.714 not-muc 130 unknown 8113 muc 495
326.77/326.85	c iter 500 time 321.995 not-muc 130 unknown 8112 muc 496
326.77/326.85	c iter 501 time 322.274 not-muc 130 unknown 8111 muc 497
326.77/326.85	c iter 502 time 322.552 not-muc 130 unknown 8110 muc 498
326.77/326.85	c iter 503 time 322.833 not-muc 130 unknown 8109 muc 499
326.77/326.85	c iter 504 time 323.109 not-muc 130 unknown 8108 muc 500
326.77/326.85	c iter 505 time 323.388 not-muc 130 unknown 8107 muc 501
326.77/326.85	c iter 506 time 323.661 not-muc 130 unknown 8106 muc 502
326.77/326.85	c iter 507 time 323.936 not-muc 130 unknown 8105 muc 503
326.77/326.85	c iter 508 time 324.199 not-muc 130 unknown 8104 muc 504
326.77/326.85	c iter 509 time 324.462 not-muc 130 unknown 8103 muc 505
326.77/326.85	c iter 510 time 324.717 not-muc 130 unknown 8102 muc 506
326.77/326.85	c iter 511 time 325.015 not-muc 130 unknown 8101 muc 507
326.77/326.85	c iter 512 time 325.278 not-muc 130 unknown 8100 muc 508
326.77/326.85	c iter 513 time 325.539 not-muc 130 unknown 8099 muc 509
326.77/326.85	c iter 514 time 325.854 not-muc 130 unknown 8098 muc 510
326.77/326.85	c iter 515 time 326.176 not-muc 130 unknown 8097 muc 511
344.19/344.24	c iter 516 time 326.439 not-muc 130 unknown 8096 muc 512
344.19/344.24	c iter 517 time 326.736 not-muc 130 unknown 8095 muc 513
344.19/344.24	c iter 518 time 326.992 not-muc 130 unknown 8094 muc 514
344.19/344.24	c iter 519 time 327.249 not-muc 130 unknown 8093 muc 515
344.19/344.24	c iter 520 time 327.597 not-muc 130 unknown 8092 muc 516
344.19/344.24	c iter 521 time 327.876 not-muc 130 unknown 8091 muc 517
344.19/344.24	c iter 522 time 328.132 not-muc 130 unknown 8090 muc 518
344.19/344.24	c iter 523 time 328.383 not-muc 130 unknown 8089 muc 519
344.19/344.24	c iter 524 time 328.662 not-muc 130 unknown 8088 muc 520
344.19/344.24	c iter 525 time 328.923 not-muc 130 unknown 8087 muc 521
344.19/344.24	c iter 526 time 329.165 not-muc 130 unknown 8086 muc 522
344.19/344.24	c iter 527 time 329.423 not-muc 130 unknown 8085 muc 523
344.19/344.24	c iter 528 time 329.677 not-muc 130 unknown 8084 muc 524
344.19/344.24	c iter 529 time 329.985 not-muc 130 unknown 8083 muc 525
344.19/344.24	c iter 530 time 330.257 not-muc 130 unknown 8082 muc 526
344.19/344.24	c iter 531 time 330.514 not-muc 130 unknown 8081 muc 527
344.19/344.24	c iter 532 time 330.75 not-muc 130 unknown 8080 muc 528
344.19/344.24	c iter 533 time 331.013 not-muc 130 unknown 8079 muc 529
344.19/344.24	c iter 534 time 331.264 not-muc 130 unknown 8078 muc 530
344.19/344.24	c iter 535 time 331.561 not-muc 130 unknown 8077 muc 531
344.19/344.24	c iter 536 time 331.818 not-muc 130 unknown 8076 muc 532
344.19/344.24	c iter 537 time 332.09 not-muc 130 unknown 8075 muc 533
344.19/344.24	c iter 538 time 332.366 not-muc 130 unknown 8074 muc 534
344.19/344.24	c iter 539 time 332.622 not-muc 130 unknown 8073 muc 535
344.19/344.24	c iter 540 time 332.876 not-muc 130 unknown 8072 muc 536
344.19/344.24	c iter 541 time 333.094 not-muc 130 unknown 8071 muc 537
344.19/344.24	c iter 542 time 333.342 not-muc 130 unknown 8070 muc 538
344.19/344.24	c iter 543 time 333.589 not-muc 130 unknown 8069 muc 539
344.19/344.24	c iter 544 time 333.854 not-muc 130 unknown 8068 muc 540
344.19/344.24	c iter 545 time 334.078 not-muc 130 unknown 8067 muc 541
344.19/344.24	c iter 546 time 334.286 not-muc 130 unknown 8066 muc 542
344.19/344.24	c iter 547 time 334.507 not-muc 130 unknown 8065 muc 543
344.19/344.24	c iter 548 time 334.77 not-muc 130 unknown 8064 muc 544
344.19/344.24	c iter 549 time 335.025 not-muc 130 unknown 8063 muc 545
344.19/344.24	c iter 550 time 335.231 not-muc 130 unknown 8062 muc 546
344.19/344.24	c iter 551 time 335.481 not-muc 130 unknown 8061 muc 547
344.19/344.24	c iter 552 time 335.728 not-muc 130 unknown 8060 muc 548
344.19/344.24	c iter 553 time 336.01 not-muc 130 unknown 8059 muc 549
344.19/344.24	c iter 554 time 336.256 not-muc 130 unknown 8058 muc 550
344.19/344.24	c iter 555 time 336.502 not-muc 130 unknown 8057 muc 551
344.19/344.24	c iter 556 time 336.723 not-muc 130 unknown 8056 muc 552
344.19/344.24	c iter 557 time 336.97 not-muc 130 unknown 8055 muc 553
344.19/344.24	c iter 558 time 337.219 not-muc 130 unknown 8054 muc 554
344.19/344.24	c iter 559 time 337.439 not-muc 130 unknown 8053 muc 555
344.19/344.24	c iter 560 time 337.7 not-muc 130 unknown 8052 muc 556
344.19/344.24	c iter 561 time 337.939 not-muc 130 unknown 8051 muc 557
344.19/344.24	c iter 562 time 338.183 not-muc 130 unknown 8050 muc 558
344.19/344.24	c iter 563 time 338.444 not-muc 130 unknown 8049 muc 559
344.19/344.24	c iter 564 time 338.688 not-muc 130 unknown 8048 muc 560
344.19/344.24	c iter 565 time 338.89 not-muc 130 unknown 8047 muc 561
344.19/344.24	c iter 566 time 339.172 not-muc 130 unknown 8046 muc 562
344.19/344.24	c iter 567 time 339.364 not-muc 130 unknown 8045 muc 563
344.19/344.24	c iter 568 time 339.538 not-muc 130 unknown 8044 muc 564
344.19/344.24	c iter 569 time 339.771 not-muc 130 unknown 8043 muc 565
344.19/344.24	c iter 570 time 339.966 not-muc 130 unknown 8042 muc 566
344.19/344.24	c iter 571 time 340.188 not-muc 130 unknown 8041 muc 567
344.19/344.24	c iter 572 time 340.386 not-muc 130 unknown 8040 muc 568
344.19/344.24	c iter 573 time 340.549 not-muc 130 unknown 8039 muc 569
344.19/344.24	c iter 574 time 340.712 not-muc 130 unknown 8038 muc 570
344.19/344.24	c iter 575 time 340.87 not-muc 130 unknown 8037 muc 571
344.19/344.24	c iter 576 time 341.029 not-muc 130 unknown 8036 muc 572
344.19/344.24	c iter 577 time 341.223 not-muc 130 unknown 8035 muc 573
344.19/344.24	c iter 578 time 341.392 not-muc 130 unknown 8034 muc 574
344.19/344.24	c iter 579 time 341.643 not-muc 130 unknown 8033 muc 575
344.19/344.24	c iter 580 time 341.84 not-muc 130 unknown 8032 muc 576
344.19/344.24	c iter 581 time 342.095 not-muc 130 unknown 8031 muc 577
344.19/344.24	c iter 582 time 342.341 not-muc 130 unknown 8030 muc 578
344.19/344.24	c iter 583 time 342.556 not-muc 130 unknown 8029 muc 579
344.19/344.24	c iter 584 time 342.823 not-muc 130 unknown 8028 muc 580
344.19/344.24	c iter 585 time 343.008 not-muc 130 unknown 8027 muc 581
344.19/344.24	c iter 586 time 343.392 not-muc 130 unknown 8026 muc 582
344.19/344.24	c iter 587 time 343.559 not-muc 130 unknown 8025 muc 583
362.48/362.57	c iter 588 time 343.813 not-muc 130 unknown 8024 muc 584
362.48/362.57	c iter 589 time 344.095 not-muc 130 unknown 8023 muc 585
362.48/362.57	c iter 590 time 344.345 not-muc 130 unknown 8022 muc 586
362.48/362.57	c iter 591 time 344.51 not-muc 130 unknown 8021 muc 587
362.48/362.57	c iter 592 time 344.999 not-muc 130 unknown 8020 muc 588
362.48/362.57	c iter 593 time 345.252 not-muc 130 unknown 8019 muc 589
362.48/362.57	c iter 594 time 345.541 not-muc 130 unknown 8018 muc 590
362.48/362.57	c iter 595 time 345.812 not-muc 130 unknown 8017 muc 591
362.48/362.57	c iter 596 time 346.247 not-muc 130 unknown 8016 muc 592
362.48/362.57	c iter 597 time 346.419 not-muc 130 unknown 8015 muc 593
362.48/362.57	c iter 598 time 346.574 not-muc 130 unknown 8014 muc 594
362.48/362.57	c iter 599 time 346.987 not-muc 130 unknown 8013 muc 595
362.48/362.57	c iter 600 time 347.191 not-muc 130 unknown 8012 muc 596
362.48/362.57	c iter 601 time 347.365 not-muc 130 unknown 8011 muc 597
362.48/362.57	c iter 602 time 347.536 not-muc 130 unknown 8010 muc 598
362.48/362.57	c iter 603 time 348.505 not-muc 130 unknown 8009 muc 599
362.48/362.57	c iter 604 time 348.677 not-muc 130 unknown 8008 muc 600
362.48/362.57	c iter 605 time 348.981 not-muc 130 unknown 8007 muc 601
362.48/362.57	c iter 606 time 349.142 not-muc 130 unknown 8006 muc 602
362.48/362.57	c iter 607 time 349.417 not-muc 130 unknown 8005 muc 603
362.48/362.57	c iter 608 time 349.757 not-muc 130 unknown 8004 muc 604
362.48/362.57	c iter 609 time 349.919 not-muc 130 unknown 8003 muc 605
362.48/362.57	c iter 610 time 350.229 not-muc 130 unknown 8002 muc 606
362.48/362.57	c iter 611 time 350.441 not-muc 130 unknown 8001 muc 607
362.48/362.57	c iter 612 time 350.612 not-muc 130 unknown 8000 muc 608
362.48/362.57	c iter 613 time 350.781 not-muc 130 unknown 7999 muc 609
362.48/362.57	c iter 614 time 350.943 not-muc 130 unknown 7998 muc 610
362.48/362.57	c iter 615 time 351.515 not-muc 130 unknown 7997 muc 611
362.48/362.57	c iter 616 time 351.841 not-muc 130 unknown 7996 muc 612
362.48/362.57	c iter 617 time 352.014 not-muc 130 unknown 7995 muc 613
362.48/362.57	c iter 618 time 352.172 not-muc 130 unknown 7994 muc 614
362.48/362.57	c iter 619 time 352.946 not-muc 130 unknown 7993 muc 615
362.48/362.57	c iter 620 time 353.116 not-muc 130 unknown 7992 muc 616
362.48/362.57	c iter 621 time 353.276 not-muc 130 unknown 7991 muc 617
362.48/362.57	c iter 622 time 353.437 not-muc 130 unknown 7990 muc 618
362.48/362.57	c iter 623 time 353.622 not-muc 130 unknown 7989 muc 619
362.48/362.57	c iter 624 time 353.816 not-muc 130 unknown 7988 muc 620
362.48/362.57	c iter 625 time 353.976 not-muc 130 unknown 7987 muc 621
362.48/362.57	c iter 626 time 354.234 not-muc 130 unknown 7986 muc 622
362.48/362.57	c iter 627 time 354.495 not-muc 130 unknown 7985 muc 623
362.48/362.57	c iter 628 time 354.67 not-muc 130 unknown 7984 muc 624
362.48/362.57	c iter 629 time 354.863 not-muc 130 unknown 7983 muc 625
362.48/362.57	c iter 630 time 355.023 not-muc 130 unknown 7982 muc 626
362.48/362.57	c iter 631 time 355.208 not-muc 130 unknown 7981 muc 627
362.48/362.57	c iter 632 time 355.497 not-muc 130 unknown 7980 muc 628
362.48/362.57	c iter 633 time 355.67 not-muc 130 unknown 7979 muc 629
362.48/362.57	c iter 634 time 355.824 not-muc 130 unknown 7978 muc 630
362.48/362.57	c iter 635 time 356.56 not-muc 130 unknown 7977 muc 631
362.48/362.57	c iter 636 time 356.747 not-muc 130 unknown 7976 muc 632
362.48/362.57	c iter 637 time 356.993 not-muc 130 unknown 7975 muc 633
362.48/362.57	c iter 638 time 357.174 not-muc 130 unknown 7974 muc 634
362.48/362.57	c iter 639 time 357.502 not-muc 130 unknown 7973 muc 635
362.48/362.57	c iter 640 time 357.664 not-muc 130 unknown 7972 muc 636
362.48/362.57	c iter 641 time 357.818 not-muc 130 unknown 7971 muc 637
362.48/362.57	c iter 642 time 357.988 not-muc 130 unknown 7970 muc 638
362.48/362.57	c iter 643 time 358.455 not-muc 130 unknown 7969 muc 639
362.48/362.57	c iter 644 time 358.625 not-muc 130 unknown 7968 muc 640
362.48/362.57	c iter 645 time 358.783 not-muc 130 unknown 7967 muc 641
362.48/362.57	c iter 646 time 358.942 not-muc 130 unknown 7966 muc 642
362.48/362.57	c iter 647 time 359.175 not-muc 130 unknown 7965 muc 643
362.48/362.57	c iter 648 time 359.392 not-muc 130 unknown 7964 muc 644
362.48/362.57	c iter 649 time 359.723 not-muc 130 unknown 7963 muc 645
362.48/362.57	c iter 650 time 359.885 not-muc 130 unknown 7962 muc 646
362.48/362.57	c iter 651 time 360.297 not-muc 130 unknown 7961 muc 647
362.48/362.57	c iter 652 time 360.465 not-muc 130 unknown 7960 muc 648
362.48/362.57	c iter 653 time 360.84 not-muc 130 unknown 7959 muc 649
362.48/362.57	c iter 654 time 361.009 not-muc 130 unknown 7958 muc 650
362.48/362.57	c iter 655 time 361.185 not-muc 130 unknown 7957 muc 651
362.48/362.57	c iter 656 time 361.338 not-muc 130 unknown 7956 muc 652
362.48/362.57	c iter 657 time 361.49 not-muc 130 unknown 7955 muc 653
362.48/362.57	c iter 658 time 361.671 not-muc 130 unknown 7954 muc 654
362.48/362.57	c iter 659 time 361.876 not-muc 130 unknown 7953 muc 655
388.38/388.44	c iter 660 time 362.044 not-muc 130 unknown 7952 muc 656
388.38/388.44	c iter 661 time 362.558 not-muc 130 unknown 7951 muc 657
388.38/388.44	c iter 662 time 362.714 not-muc 130 unknown 7950 muc 658
388.38/388.44	c iter 663 time 364.611 not-muc 130 unknown 7949 muc 659
388.38/388.44	c iter 664 time 364.853 not-muc 130 unknown 7948 muc 660
388.38/388.44	c iter 665 time 365.207 not-muc 130 unknown 7947 muc 661
388.38/388.44	c iter 666 time 365.364 not-muc 130 unknown 7946 muc 662
388.38/388.44	c iter 667 time 366.329 not-muc 130 unknown 7945 muc 663
388.38/388.44	c iter 668 time 366.503 not-muc 130 unknown 7944 muc 664
388.38/388.44	c iter 669 time 366.667 not-muc 130 unknown 7943 muc 665
388.38/388.44	c iter 670 time 366.824 not-muc 130 unknown 7942 muc 666
388.38/388.44	c iter 671 time 367.096 not-muc 130 unknown 7941 muc 667
388.38/388.44	c iter 672 time 367.251 not-muc 130 unknown 7940 muc 668
388.38/388.44	c iter 673 time 367.401 not-muc 130 unknown 7939 muc 669
388.38/388.44	c iter 674 time 367.769 not-muc 130 unknown 7938 muc 670
388.38/388.44	c iter 675 time 368.022 not-muc 130 unknown 7937 muc 671
388.38/388.44	c iter 676 time 368.183 not-muc 130 unknown 7936 muc 672
388.38/388.44	c iter 677 time 368.359 not-muc 130 unknown 7935 muc 673
388.38/388.44	c iter 678 time 368.516 not-muc 130 unknown 7934 muc 674
388.38/388.44	c iter 679 time 369.013 not-muc 130 unknown 7933 muc 675
388.38/388.44	c iter 680 time 369.2 not-muc 130 unknown 7932 muc 676
388.38/388.44	c iter 681 time 369.366 not-muc 130 unknown 7931 muc 677
388.38/388.44	c iter 682 time 369.513 not-muc 130 unknown 7930 muc 678
388.38/388.44	c iter 683 time 369.718 not-muc 130 unknown 7929 muc 679
388.38/388.44	c iter 684 time 369.878 not-muc 130 unknown 7928 muc 680
388.38/388.44	c iter 685 time 370.036 not-muc 130 unknown 7927 muc 681
388.38/388.44	c iter 686 time 370.193 not-muc 130 unknown 7926 muc 682
388.38/388.44	c iter 687 time 370.355 not-muc 130 unknown 7925 muc 683
388.38/388.44	c iter 688 time 370.513 not-muc 130 unknown 7924 muc 684
388.38/388.44	c iter 689 time 370.66 not-muc 130 unknown 7923 muc 685
388.38/388.44	c iter 690 time 370.834 not-muc 130 unknown 7922 muc 686
388.38/388.44	c iter 691 time 370.988 not-muc 130 unknown 7921 muc 687
388.38/388.44	c iter 692 time 371.148 not-muc 130 unknown 7920 muc 688
388.38/388.44	c iter 693 time 371.311 not-muc 130 unknown 7919 muc 689
388.38/388.44	c iter 694 time 371.469 not-muc 130 unknown 7918 muc 690
388.38/388.44	c iter 695 time 374.617 not-muc 130 unknown 7917 muc 691
388.38/388.44	c iter 696 time 374.805 not-muc 130 unknown 7916 muc 692
388.38/388.44	c iter 697 time 375.083 not-muc 130 unknown 7915 muc 693
388.38/388.44	c iter 698 time 375.612 not-muc 130 unknown 7914 muc 694
388.38/388.44	c iter 699 time 378.535 not-muc 130 unknown 7913 muc 695
388.38/388.44	c iter 700 time 378.699 not-muc 130 unknown 7912 muc 696
388.38/388.44	c iter 701 time 378.859 not-muc 130 unknown 7911 muc 697
388.38/388.44	c iter 702 time 379.018 not-muc 130 unknown 7910 muc 698
388.38/388.44	c iter 703 time 379.176 not-muc 130 unknown 7909 muc 699
388.38/388.44	c iter 704 time 379.49 not-muc 130 unknown 7908 muc 700
388.38/388.44	c iter 705 time 379.64 not-muc 130 unknown 7907 muc 701
388.38/388.44	c iter 706 time 379.797 not-muc 130 unknown 7906 muc 702
388.38/388.44	c iter 707 time 379.95 not-muc 130 unknown 7905 muc 703
388.38/388.44	c iter 708 time 380.152 not-muc 130 unknown 7904 muc 704
388.38/388.44	c iter 709 time 380.31 not-muc 130 unknown 7903 muc 705
388.38/388.44	c iter 710 time 380.468 not-muc 130 unknown 7902 muc 706
388.38/388.44	c iter 711 time 380.89 not-muc 130 unknown 7901 muc 707
388.38/388.44	c iter 712 time 382.002 not-muc 130 unknown 7900 muc 708
388.38/388.44	c iter 713 time 382.231 not-muc 130 unknown 7899 muc 709
388.38/388.44	c iter 714 time 382.38 not-muc 130 unknown 7898 muc 710
388.38/388.44	c iter 715 time 383.085 not-muc 130 unknown 7897 muc 711
388.38/388.44	c iter 716 time 383.25 not-muc 130 unknown 7896 muc 712
388.38/388.44	c iter 717 time 383.742 not-muc 130 unknown 7895 muc 713
388.38/388.44	c iter 718 time 383.902 not-muc 130 unknown 7894 muc 714
388.38/388.44	c iter 719 time 384.069 not-muc 130 unknown 7893 muc 715
388.38/388.44	c iter 720 time 384.22 not-muc 130 unknown 7892 muc 716
388.38/388.44	c iter 721 time 384.368 not-muc 130 unknown 7891 muc 717
388.38/388.44	c iter 722 time 384.53 not-muc 130 unknown 7890 muc 718
388.38/388.44	c iter 723 time 384.682 not-muc 130 unknown 7889 muc 719
388.38/388.44	c iter 724 time 384.846 not-muc 130 unknown 7888 muc 720
388.38/388.44	c iter 725 time 385.113 not-muc 130 unknown 7887 muc 721
388.38/388.44	c iter 726 time 385.272 not-muc 130 unknown 7886 muc 722
388.38/388.44	c iter 727 time 385.643 not-muc 130 unknown 7885 muc 723
388.38/388.44	c iter 728 time 386.036 not-muc 130 unknown 7884 muc 724
388.38/388.44	c iter 729 time 386.203 not-muc 130 unknown 7883 muc 725
388.38/388.44	c iter 730 time 386.348 not-muc 130 unknown 7882 muc 726
388.38/388.44	c iter 731 time 387.722 not-muc 130 unknown 7881 muc 727
423.28/423.33	c iter 732 time 388.012 not-muc 130 unknown 7880 muc 728
423.28/423.33	c iter 733 time 388.213 not-muc 130 unknown 7879 muc 729
423.28/423.33	c iter 734 time 388.372 not-muc 130 unknown 7878 muc 730
423.28/423.33	c iter 735 time 388.584 not-muc 130 unknown 7877 muc 731
423.28/423.33	c iter 736 time 388.732 not-muc 130 unknown 7876 muc 732
423.28/423.33	c iter 737 time 388.88 not-muc 130 unknown 7875 muc 733
423.28/423.33	c iter 738 time 389.143 not-muc 130 unknown 7874 muc 734
423.28/423.33	c iter 739 time 389.428 not-muc 130 unknown 7873 muc 735
423.28/423.33	c iter 740 time 389.589 not-muc 130 unknown 7872 muc 736
423.28/423.33	c iter 741 time 389.797 not-muc 130 unknown 7871 muc 737
423.28/423.33	c iter 742 time 389.957 not-muc 130 unknown 7870 muc 738
423.28/423.33	c iter 743 time 398.823 not-muc 130 unknown 7869 muc 739
423.28/423.33	c iter 744 time 399.123 not-muc 130 unknown 7868 muc 740
423.28/423.33	c iter 745 time 399.284 not-muc 130 unknown 7867 muc 741
423.28/423.33	c iter 746 time 399.764 not-muc 130 unknown 7866 muc 742
423.28/423.33	c iter 747 time 400.736 not-muc 130 unknown 7865 muc 743
423.28/423.33	c iter 748 time 400.902 not-muc 130 unknown 7864 muc 744
423.28/423.33	c iter 749 time 401.38 not-muc 130 unknown 7863 muc 745
423.28/423.33	c iter 750 time 401.541 not-muc 130 unknown 7862 muc 746
423.28/423.33	c iter 751 time 401.725 not-muc 130 unknown 7861 muc 747
423.28/423.33	c iter 752 time 401.874 not-muc 130 unknown 7860 muc 748
423.28/423.33	c iter 753 time 402.019 not-muc 130 unknown 7859 muc 749
423.28/423.33	c iter 754 time 402.191 not-muc 130 unknown 7858 muc 750
423.28/423.33	c iter 755 time 402.823 not-muc 130 unknown 7857 muc 751
423.28/423.33	c iter 756 time 402.989 not-muc 130 unknown 7856 muc 752
423.28/423.33	c iter 757 time 403.202 not-muc 130 unknown 7855 muc 753
423.28/423.33	c iter 758 time 403.36 not-muc 130 unknown 7854 muc 754
423.28/423.33	c iter 759 time 410.164 not-muc 130 unknown 7853 muc 755
423.28/423.33	c iter 760 time 410.414 not-muc 130 unknown 7852 muc 756
423.28/423.33	c iter 761 time 410.58 not-muc 130 unknown 7851 muc 757
423.28/423.33	c iter 762 time 410.731 not-muc 130 unknown 7850 muc 758
423.28/423.33	c iter 763 time 410.971 not-muc 130 unknown 7849 muc 759
423.28/423.33	c iter 764 time 411.133 not-muc 130 unknown 7848 muc 760
423.28/423.33	c iter 765 time 411.383 not-muc 130 unknown 7847 muc 761
423.28/423.33	c iter 766 time 411.546 not-muc 130 unknown 7846 muc 762
423.28/423.33	c iter 767 time 411.75 not-muc 130 unknown 7845 muc 763
423.28/423.33	c iter 768 time 411.903 not-muc 130 unknown 7844 muc 764
423.28/423.33	c iter 769 time 412.052 not-muc 130 unknown 7843 muc 765
423.28/423.33	c iter 770 time 412.331 not-muc 130 unknown 7842 muc 766
423.28/423.33	c iter 771 time 412.6 not-muc 130 unknown 7841 muc 767
423.28/423.33	c iter 772 time 412.761 not-muc 130 unknown 7840 muc 768
423.28/423.33	c iter 773 time 412.934 not-muc 130 unknown 7839 muc 769
423.28/423.33	c iter 774 time 413.093 not-muc 130 unknown 7838 muc 770
423.28/423.33	c iter 775 time 413.234 not-muc 130 unknown 7837 muc 771
423.28/423.33	c iter 776 time 413.742 not-muc 130 unknown 7836 muc 772
423.28/423.33	c iter 777 time 413.903 not-muc 130 unknown 7835 muc 773
423.28/423.33	c iter 778 time 414.257 not-muc 130 unknown 7834 muc 774
423.28/423.33	c iter 779 time 414.614 not-muc 130 unknown 7833 muc 775
423.28/423.33	c iter 780 time 414.786 not-muc 130 unknown 7832 muc 776
423.28/423.33	c iter 781 time 414.956 not-muc 130 unknown 7831 muc 777
423.28/423.33	c iter 782 time 415.115 not-muc 130 unknown 7830 muc 778
423.28/423.33	c iter 783 time 415.671 not-muc 130 unknown 7829 muc 779
423.28/423.33	c iter 784 time 415.866 not-muc 130 unknown 7828 muc 780
423.28/423.33	c iter 785 time 416.016 not-muc 130 unknown 7827 muc 781
423.28/423.33	c iter 786 time 416.179 not-muc 130 unknown 7826 muc 782
423.28/423.33	c iter 787 time 416.329 not-muc 130 unknown 7825 muc 783
423.28/423.33	c iter 788 time 416.492 not-muc 130 unknown 7824 muc 784
423.28/423.33	c iter 789 time 416.736 not-muc 130 unknown 7823 muc 785
423.28/423.33	c iter 790 time 416.895 not-muc 130 unknown 7822 muc 786
423.28/423.33	c iter 791 time 418.719 not-muc 130 unknown 7821 muc 787
423.28/423.33	c iter 792 time 418.873 not-muc 130 unknown 7820 muc 788
423.28/423.33	c iter 793 time 419.032 not-muc 130 unknown 7819 muc 789
423.28/423.33	c iter 794 time 419.183 not-muc 130 unknown 7818 muc 790
423.28/423.33	c iter 795 time 421.187 not-muc 130 unknown 7817 muc 791
423.28/423.33	c iter 796 time 421.391 not-muc 130 unknown 7816 muc 792
423.28/423.33	c iter 797 time 421.609 not-muc 130 unknown 7815 muc 793
423.28/423.33	c iter 798 time 421.767 not-muc 130 unknown 7814 muc 794
423.28/423.33	c iter 799 time 421.93 not-muc 130 unknown 7813 muc 795
423.28/423.33	c iter 800 time 422.095 not-muc 130 unknown 7812 muc 796
423.28/423.33	c iter 801 time 422.243 not-muc 130 unknown 7811 muc 797
423.28/423.33	c iter 802 time 422.4 not-muc 130 unknown 7810 muc 798
423.28/423.33	c iter 803 time 422.558 not-muc 130 unknown 7809 muc 799
655.97/656.06	c iter 804 time 422.726 not-muc 130 unknown 7808 muc 800
655.97/656.06	c iter 805 time 422.882 not-muc 130 unknown 7807 muc 801
655.97/656.06	c iter 806 time 423.037 not-muc 130 unknown 7806 muc 802
655.97/656.06	c iter 807 time 423.883 not-muc 130 unknown 7805 muc 803
655.97/656.06	c iter 808 time 425.03 not-muc 130 unknown 7804 muc 804
655.97/656.06	c iter 809 time 425.189 not-muc 130 unknown 7803 muc 805
655.97/656.06	c iter 810 time 425.336 not-muc 130 unknown 7802 muc 806
655.97/656.06	c iter 811 time 427.853 not-muc 130 unknown 7801 muc 807
655.97/656.06	c iter 812 time 428.021 not-muc 130 unknown 7800 muc 808
655.97/656.06	c iter 813 time 428.175 not-muc 130 unknown 7799 muc 809
655.97/656.06	c iter 814 time 428.328 not-muc 130 unknown 7798 muc 810
655.97/656.06	c iter 815 time 428.481 not-muc 130 unknown 7797 muc 811
655.97/656.06	c iter 816 time 428.627 not-muc 130 unknown 7796 muc 812
655.97/656.06	c iter 817 time 428.772 not-muc 130 unknown 7795 muc 813
655.97/656.06	c iter 818 time 428.984 not-muc 130 unknown 7794 muc 814
655.97/656.06	c iter 819 time 431.896 not-muc 130 unknown 7793 muc 815
655.97/656.06	c iter 820 time 432.06 not-muc 130 unknown 7792 muc 816
655.97/656.06	c iter 821 time 432.315 not-muc 130 unknown 7791 muc 817
655.97/656.06	c iter 822 time 432.469 not-muc 130 unknown 7790 muc 818
655.97/656.06	c iter 823 time 432.755 not-muc 130 unknown 7789 muc 819
655.97/656.06	c iter 824 time 432.923 not-muc 130 unknown 7788 muc 820
655.97/656.06	c iter 825 time 433.147 not-muc 130 unknown 7787 muc 821
655.97/656.06	c iter 826 time 433.307 not-muc 130 unknown 7786 muc 822
655.97/656.06	c iter 827 time 433.512 not-muc 130 unknown 7785 muc 823
655.97/656.06	c iter 828 time 433.666 not-muc 130 unknown 7784 muc 824
655.97/656.06	c iter 829 time 433.877 not-muc 130 unknown 7783 muc 825
655.97/656.06	c iter 830 time 434.064 not-muc 130 unknown 7782 muc 826
655.97/656.06	c iter 831 time 434.22 not-muc 130 unknown 7781 muc 827
655.97/656.06	c iter 832 time 434.379 not-muc 130 unknown 7780 muc 828
655.97/656.06	c iter 833 time 434.546 not-muc 130 unknown 7779 muc 829
655.97/656.06	c iter 834 time 434.7 not-muc 130 unknown 7778 muc 830
655.97/656.06	c iter 835 time 434.858 not-muc 130 unknown 7777 muc 831
655.97/656.06	c iter 836 time 435.015 not-muc 130 unknown 7776 muc 832
655.97/656.06	c iter 837 time 435.236 not-muc 130 unknown 7775 muc 833
655.97/656.06	c iter 838 time 435.396 not-muc 130 unknown 7774 muc 834
655.97/656.06	c iter 839 time 435.555 not-muc 130 unknown 7773 muc 835
655.97/656.06	c iter 840 time 435.714 not-muc 130 unknown 7772 muc 836
655.97/656.06	c iter 841 time 435.872 not-muc 130 unknown 7771 muc 837
655.97/656.06	c iter 842 time 436.03 not-muc 130 unknown 7770 muc 838
655.97/656.06	c iter 843 time 436.188 not-muc 130 unknown 7769 muc 839
655.97/656.06	c iter 844 time 436.383 not-muc 130 unknown 7768 muc 840
655.97/656.06	c iter 845 time 436.592 not-muc 130 unknown 7767 muc 841
655.97/656.06	c iter 846 time 436.75 not-muc 130 unknown 7766 muc 842
655.97/656.06	c iter 847 time 479.431 not-muc 142 unknown 7754 muc 842
655.97/656.06	c iter 848 time 480.082 not-muc 142 unknown 7753 muc 843
655.97/656.06	c iter 849 time 480.263 not-muc 142 unknown 7752 muc 844
655.97/656.06	c iter 850 time 480.576 not-muc 142 unknown 7751 muc 845
655.97/656.06	c iter 851 time 480.76 not-muc 142 unknown 7750 muc 846
655.97/656.06	c iter 852 time 481.074 not-muc 142 unknown 7749 muc 847
655.97/656.06	c iter 853 time 481.271 not-muc 142 unknown 7748 muc 848
655.97/656.06	c iter 854 time 481.452 not-muc 142 unknown 7747 muc 849
655.97/656.06	c iter 855 time 481.632 not-muc 142 unknown 7746 muc 850
655.97/656.06	c iter 856 time 481.815 not-muc 142 unknown 7745 muc 851
655.97/656.06	c iter 857 time 482.03 not-muc 142 unknown 7744 muc 852
655.97/656.06	c iter 858 time 482.22 not-muc 142 unknown 7743 muc 853
655.97/656.06	c iter 859 time 482.4 not-muc 142 unknown 7742 muc 854
655.97/656.06	c iter 860 time 482.582 not-muc 142 unknown 7741 muc 855
655.97/656.06	c iter 861 time 482.833 not-muc 142 unknown 7740 muc 856
655.97/656.06	c iter 862 time 483.391 not-muc 142 unknown 7739 muc 857
655.97/656.06	c iter 863 time 483.614 not-muc 142 unknown 7738 muc 858
655.97/656.06	c iter 864 time 535.243 not-muc 148 unknown 7732 muc 858
655.97/656.06	c iter 865 time 535.742 not-muc 148 unknown 7731 muc 859
655.97/656.06	c iter 866 time 535.917 not-muc 148 unknown 7730 muc 860
655.97/656.06	c iter 867 time 536.091 not-muc 148 unknown 7729 muc 861
655.97/656.06	c iter 868 time 536.28 not-muc 148 unknown 7728 muc 862
655.97/656.06	c iter 869 time 650.007 not-muc 150 unknown 7726 muc 862
655.97/656.06	c iter 870 time 651.083 not-muc 150 unknown 7725 muc 863
655.97/656.06	c iter 871 time 651.816 not-muc 150 unknown 7724 muc 864
655.97/656.06	c iter 872 time 652.506 not-muc 150 unknown 7723 muc 865
655.97/656.06	c iter 873 time 653.237 not-muc 150 unknown 7722 muc 866
655.97/656.06	c iter 874 time 653.965 not-muc 150 unknown 7721 muc 867
655.97/656.06	c iter 875 time 654.705 not-muc 150 unknown 7720 muc 868
1061.08/1061.10	c iter 876 time 655.341 not-muc 150 unknown 7719 muc 869
1061.08/1061.10	c iter 877 time 656.074 not-muc 150 unknown 7718 muc 870
1061.08/1061.10	c iter 878 time 656.805 not-muc 150 unknown 7717 muc 871
1061.08/1061.10	c iter 879 time 657.531 not-muc 150 unknown 7716 muc 872
1061.08/1061.10	c iter 880 time 659.494 not-muc 150 unknown 7715 muc 873
1061.08/1061.10	c iter 881 time 660.238 not-muc 150 unknown 7714 muc 874
1061.08/1061.10	c iter 882 time 818.682 not-muc 152 unknown 7712 muc 874
1061.08/1061.10	c iter 883 time 820.433 not-muc 152 unknown 7711 muc 875
1061.08/1061.10	c iter 884 time 820.914 not-muc 152 unknown 7710 muc 876
1061.08/1061.10	c iter 885 time 821.349 not-muc 152 unknown 7709 muc 877
1061.08/1061.10	c iter 886 time 821.801 not-muc 152 unknown 7708 muc 878
1061.08/1061.10	c iter 887 time 822.254 not-muc 152 unknown 7707 muc 879
1061.08/1061.10	c iter 888 time 822.84 not-muc 152 unknown 7706 muc 880
1061.08/1061.10	c iter 889 time 823.296 not-muc 152 unknown 7705 muc 881
1061.08/1061.10	c iter 890 time 823.784 not-muc 152 unknown 7704 muc 882
1061.08/1061.10	c iter 891 time 824.357 not-muc 152 unknown 7703 muc 883
1061.08/1061.10	c iter 892 time 824.834 not-muc 152 unknown 7702 muc 884
1061.08/1061.10	c iter 893 time 825.344 not-muc 152 unknown 7701 muc 885
1061.08/1061.10	c iter 894 time 825.812 not-muc 152 unknown 7700 muc 886
1061.08/1061.10	c iter 895 time 826.278 not-muc 152 unknown 7699 muc 887
1061.08/1061.10	c iter 896 time 826.88 not-muc 152 unknown 7698 muc 888
1061.08/1061.10	c iter 897 time 828.22 not-muc 152 unknown 7697 muc 889
1061.08/1061.10	c iter 898 time 828.679 not-muc 152 unknown 7696 muc 890
1061.08/1061.10	c iter 899 time 885.885 not-muc 155 unknown 7693 muc 890
1061.08/1061.10	c iter 900 time 887.519 not-muc 155 unknown 7692 muc 891
1061.08/1061.10	c iter 901 time 887.862 not-muc 155 unknown 7691 muc 892
1061.08/1061.10	c iter 902 time 888.195 not-muc 155 unknown 7690 muc 893
1061.08/1061.10	c iter 903 time 888.624 not-muc 155 unknown 7689 muc 894
1061.08/1061.10	c iter 904 time 888.949 not-muc 155 unknown 7688 muc 895
1061.08/1061.10	c iter 905 time 889.389 not-muc 155 unknown 7687 muc 896
1061.08/1061.10	c iter 906 time 889.709 not-muc 155 unknown 7686 muc 897
1061.08/1061.10	c iter 907 time 890.172 not-muc 155 unknown 7685 muc 898
1061.08/1061.10	c iter 908 time 890.533 not-muc 155 unknown 7684 muc 899
1061.08/1061.10	c iter 909 time 890.875 not-muc 155 unknown 7683 muc 900
1061.08/1061.10	c iter 910 time 892.121 not-muc 155 unknown 7682 muc 901
1061.08/1061.10	c iter 911 time 892.551 not-muc 155 unknown 7681 muc 902
1061.08/1061.10	c iter 912 time 892.891 not-muc 155 unknown 7680 muc 903
1061.08/1061.10	c iter 913 time 893.482 not-muc 155 unknown 7679 muc 904
1061.08/1061.10	c iter 914 time 894.063 not-muc 155 unknown 7678 muc 905
1061.08/1061.10	c iter 915 time 894.57 not-muc 155 unknown 7677 muc 906
1061.08/1061.10	c iter 916 time 947.22 not-muc 157 unknown 7675 muc 906
1061.08/1061.10	c iter 917 time 948.302 not-muc 157 unknown 7674 muc 907
1061.08/1061.10	c iter 918 time 948.735 not-muc 157 unknown 7673 muc 908
1061.08/1061.10	c iter 919 time 949.157 not-muc 157 unknown 7672 muc 909
1061.08/1061.10	c iter 920 time 949.611 not-muc 157 unknown 7671 muc 910
1061.08/1061.10	c iter 921 time 950.029 not-muc 157 unknown 7670 muc 911
1061.08/1061.10	c iter 922 time 950.528 not-muc 157 unknown 7669 muc 912
1061.08/1061.10	c iter 923 time 950.957 not-muc 157 unknown 7668 muc 913
1061.08/1061.10	c iter 924 time 951.513 not-muc 157 unknown 7667 muc 914
1061.08/1061.10	c iter 925 time 952.023 not-muc 157 unknown 7666 muc 915
1061.08/1061.10	c iter 926 time 952.441 not-muc 157 unknown 7665 muc 916
1061.08/1061.10	c iter 927 time 953.727 not-muc 157 unknown 7664 muc 917
1061.08/1061.10	c iter 928 time 954.149 not-muc 157 unknown 7663 muc 918
1061.08/1061.10	c iter 929 time 954.582 not-muc 157 unknown 7662 muc 919
1061.08/1061.10	c iter 930 time 955.018 not-muc 157 unknown 7661 muc 920
1061.08/1061.10	c iter 931 time 955.429 not-muc 157 unknown 7660 muc 921
1061.08/1061.10	c iter 932 time 955.859 not-muc 157 unknown 7659 muc 922
1061.08/1061.10	c iter 933 time 993.127 not-muc 161 unknown 7655 muc 922
1061.08/1061.10	c iter 934 time 993.935 not-muc 161 unknown 7654 muc 923
1061.08/1061.10	c iter 935 time 994.124 not-muc 161 unknown 7653 muc 924
1061.08/1061.10	c iter 936 time 994.29 not-muc 161 unknown 7652 muc 925
1061.08/1061.10	c iter 937 time 994.47 not-muc 161 unknown 7651 muc 926
1061.08/1061.10	c iter 938 time 1055.63 not-muc 162 unknown 7650 muc 926
1061.08/1061.10	c iter 939 time 1056.19 not-muc 162 unknown 7649 muc 927
1061.08/1061.10	c iter 940 time 1056.52 not-muc 162 unknown 7648 muc 928
1061.08/1061.10	c iter 941 time 1056.84 not-muc 162 unknown 7647 muc 929
1061.08/1061.10	c iter 942 time 1057.05 not-muc 162 unknown 7646 muc 930
1061.08/1061.10	c iter 943 time 1057.26 not-muc 162 unknown 7645 muc 931
1061.08/1061.10	c iter 944 time 1057.45 not-muc 162 unknown 7644 muc 932
1061.08/1061.10	c iter 945 time 1057.99 not-muc 162 unknown 7643 muc 933
1061.08/1061.10	c iter 946 time 1058.46 not-muc 162 unknown 7642 muc 934
1061.08/1061.10	c iter 947 time 1058.

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

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

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.49 0.35 0.12 5/189 14408
/proc/meminfo: memFree=30881476/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=23868 CPUtime=0 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 431 0 0 0 0 0 0 0 25 0 1 0 891862620 24440832 374 33554432000 4194304 4337479 140735872791536 18446744073709551615 212436016896 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 5967 374 218 35 0 2590 0

[startup+0.0116831 s]
/proc/loadavg: 1.49 0.35 0.12 5/189 14408
/proc/meminfo: memFree=30881476/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=19404 CPUtime=0 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 710 0 0 0 0 0 0 0 25 0 1 0 891862620 19869696 594 33554432000 4194304 4337479 140735872791536 18446744073709551615 4280202 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 4851 594 235 35 0 1474 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 19404

[startup+0.100665 s]
/proc/loadavg: 1.49 0.35 0.12 5/189 14408
/proc/meminfo: memFree=30881476/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=21176 CPUtime=0.09 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1352 0 0 0 9 0 0 0 25 0 1 0 891862620 21684224 1235 33554432000 4194304 4337479 140735872791536 18446744073709551615 4258699 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 5294 1235 243 35 0 1917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21176

[startup+0.30063 s]
/proc/loadavg: 1.49 0.35 0.12 5/189 14408
/proc/meminfo: memFree=30881476/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=23584 CPUtime=0.29 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 2432 0 0 0 29 0 0 0 25 0 1 0 891862620 24150016 2310 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303143 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 5896 2310 244 35 0 2519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23584

[startup+0.700555 s]
/proc/loadavg: 1.49 0.35 0.12 5/189 14408
/proc/meminfo: memFree=30881476/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=27520 CPUtime=0.69 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 3454 0 0 0 69 0 0 0 25 0 1 0 891862620 28180480 3301 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303220 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 6880 3301 244 35 0 3503 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27520

[startup+1.5004 s]
/proc/loadavg: 1.49 0.35 0.12 5/190 14409
/proc/meminfo: memFree=30820980/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=36856 CPUtime=1.48 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 6060 0 0 0 148 0 0 0 25 0 1 0 891862620 37740544 5868 33554432000 4194304 4337479 140735872791536 18446744073709551615 4289514 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 9214 5869 244 35 0 5837 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36856

[startup+3.1011 s]
/proc/loadavg: 1.49 0.35 0.12 5/190 14409
/proc/meminfo: memFree=30742860/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=61844 CPUtime=3.09 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 12320 0 0 0 308 1 0 0 25 0 1 0 891862620 63328256 12044 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303235 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 15461 12044 245 35 0 12084 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61844

[startup+6.30051 s]
/proc/loadavg: 1.69 0.41 0.14 5/190 14409
/proc/meminfo: memFree=30512556/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=99684 CPUtime=6.29 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 20345 0 0 0 627 2 0 0 25 0 1 0 891862620 102076416 19927 33554432000 4194304 4337479 140735872791536 18446744073709551615 4280163 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 24921 19927 245 35 0 21544 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99684

[startup+12.7003 s]
/proc/loadavg: 1.87 0.47 0.16 5/190 14410
/proc/meminfo: memFree=30122332/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=169964 CPUtime=12.69 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 38688 0 0 0 1265 4 0 0 25 0 1 0 891862620 174043136 38004 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303238 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 42491 38005 245 35 0 39114 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 169964

[startup+25.5009 s]
/proc/loadavg: 2.34 0.64 0.22 5/190 14410
/proc/meminfo: memFree=29462788/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=338932 CPUtime=25.48 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 76477 0 0 0 2539 9 0 0 25 0 1 0 891862620 347066368 75366 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303263 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 84733 75366 245 35 0 81356 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 338932

[startup+51.101 s]
/proc/loadavg: 2.91 0.91 0.32 5/190 14411
/proc/meminfo: memFree=28139048/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=592600 CPUtime=51.09 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 140424 0 0 0 5091 18 0 0 25 0 1 0 891862620 606822400 138470 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 148150 138470 266 35 0 144773 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 592600

[startup+102.306 s]
/proc/loadavg: 3.57 1.40 0.51 5/190 14450
/proc/meminfo: memFree=27243728/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=926368 CPUtime=102.29 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 222764 0 0 0 10202 27 0 0 25 0 1 0 891862620 948600832 220272 33554432000 4194304 4337479 140735872791536 18446744073709551615 212435674898 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 231592 220272 266 35 0 228215 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 926368

[startup+162.301 s]
/proc/loadavg: 3.87 1.88 0.73 5/190 14451
/proc/meminfo: memFree=24826436/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=1162988 CPUtime=162.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 281026 0 0 0 16195 33 0 0 25 0 1 0 891862620 1190899712 278130 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 290747 278130 266 35 0 287370 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1162988

[startup+222.301 s]
/proc/loadavg: 4.00 2.28 0.94 5/190 14453
/proc/meminfo: memFree=22834080/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=1471444 CPUtime=222.29 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 356044 0 0 0 22187 42 0 0 25 0 1 0 891862620 1506758656 352310 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303143 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 367861 352310 266 35 0 364484 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1471444

[startup+282.3 s]
/proc/loadavg: 4.03 2.61 1.13 5/190 14455
/proc/meminfo: memFree=20652124/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=1994352 CPUtime=282.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 463917 0 0 0 28171 57 0 0 25 0 1 0 891862620 2042216448 457611 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 498588 457612 266 35 0 495211 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1994352

[startup+342.301 s]
/proc/loadavg: 4.09 2.87 1.32 5/190 14456
/proc/meminfo: memFree=18779944/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=2233100 CPUtime=342.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 549466 0 0 0 34161 67 0 0 25 0 1 0 891862620 2286694400 540210 33554432000 4194304 4337479 140735872791536 18446744073709551615 4260530 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 558275 540210 266 35 0 554898 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 2233100

[startup+402.301 s]
/proc/loadavg: 4.03 3.08 1.48 5/190 14458
/proc/meminfo: memFree=16959580/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=2498656 CPUtime=402.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 612946 0 0 0 40155 73 0 0 25 0 1 0 891862620 2558623744 603516 33554432000 4194304 4337479 140735872791536 18446744073709551615 4260205 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 624664 603516 266 35 0 621287 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 2498656

[startup+462.3 s]
/proc/loadavg: 4.01 3.24 1.64 5/190 14460
/proc/meminfo: memFree=14687488/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=2846348 CPUtime=462.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 694648 0 0 0 46143 85 0 0 25 0 1 0 891862620 2914660352 684779 33554432000 4194304 4337479 140735872791536 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 711587 684779 266 35 0 708210 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2846348

[startup+522.301 s]
/proc/loadavg: 4.00 3.38 1.78 5/190 14461
/proc/meminfo: memFree=12514720/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=3294184 CPUtime=522.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 793711 0 0 0 52131 97 0 0 25 0 1 0 891862620 3373244416 783512 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 823546 783512 266 35 0 820169 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 3294184

[startup+582.301 s]
/proc/loadavg: 4.00 3.49 1.92 5/190 14463
/proc/meminfo: memFree=10369228/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=3701080 CPUtime=582.27 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 892692 0 0 0 58118 109 0 0 25 0 1 0 891862620 3789905920 882291 33554432000 4194304 4337479 140735872791536 18446744073709551615 4258699 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 925270 882291 266 35 0 921893 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 3701080

[startup+642.3 s]
/proc/loadavg: 3.96 3.56 2.04 5/190 14503
/proc/meminfo: memFree=15457372/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=4366744 CPUtime=642.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1043312 0 0 0 64097 131 0 0 25 0 1 0 891862620 4471545856 1032564 33554432000 4194304 4337479 140735872791536 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 1091686 1032564 266 35 0 1088309 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 4366744

[startup+702.301 s]
/proc/loadavg: 3.98 3.64 2.16 5/190 14544
/proc/meminfo: memFree=21663404/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=4714076 CPUtime=702.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1130972 0 0 0 70086 142 0 0 25 0 1 0 891862620 4827213824 1117439 33554432000 4194304 4337479 140735872791536 18446744073709551615 212435685617 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 1178519 1117439 266 35 0 1175142 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 4714076

[startup+762.307 s]
/proc/loadavg: 3.99 3.70 2.27 5/190 14546
/proc/meminfo: memFree=20836704/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=5167144 CPUtime=762.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1231982 0 0 0 76070 158 0 0 25 0 1 0 891862620 5291155456 1218251 33554432000 4194304 4337479 140735872791536 18446744073709551615 4288747 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 1291786 1218251 266 35 0 1288409 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 5167144

[startup+822.3 s]
/proc/loadavg: 3.99 3.75 2.38 5/190 14547
/proc/meminfo: memFree=19731676/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=5984908 CPUtime=822.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1403396 0 0 0 82046 182 0 0 25 0 1 0 891862620 6128545792 1389509 33554432000 4194304 4337479 140735872791536 18446744073709551615 4261171 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 1496227 1389509 266 35 0 1492850 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 5984908

[startup+882.301 s]
/proc/loadavg: 3.99 3.80 2.48 5/190 14549
/proc/meminfo: memFree=19051324/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=6276228 CPUtime=882.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1474812 0 0 0 88036 192 0 0 25 0 1 0 891862620 6426857472 1460832 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 1569057 1460832 266 35 0 1565680 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 6276228

[startup+942.301 s]
/proc/loadavg: 3.99 3.83 2.57 5/190 14550
/proc/meminfo: memFree=18268556/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=6608528 CPUtime=942.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1554768 0 0 0 94024 204 0 0 25 0 1 0 891862620 6767132672 1540732 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 1652132 1540732 266 35 0 1648755 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 6608528

[startup+1002.3 s]
/proc/loadavg: 3.99 3.86 2.66 5/190 14552
/proc/meminfo: memFree=17556620/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=6946328 CPUtime=1002.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1635033 0 0 0 100012 216 0 0 25 0 1 0 891862620 7113039872 1620934 33554432000 4194304 4337479 140735872791536 18446744073709551615 4288745 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 1736582 1620934 266 35 0 1733205 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 6946328

[startup+1062.3 s]
/proc/loadavg: 3.99 3.88 2.74 5/190 14553
/proc/meminfo: memFree=17002668/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=7409572 CPUtime=1062.28 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1732219 0 0 0 106000 228 0 0 25 0 1 0 891862620 7587401728 1718073 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303684 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 1852393 1718073 266 35 0 1849016 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 7409572

[startup+1122.3 s]
/proc/loadavg: 3.91 3.88 2.81 5/190 14594
/proc/meminfo: memFree=23902572/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=7773284 CPUtime=1122.29 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1816979 0 0 0 111987 242 0 0 25 0 1 0 891862620 7959842816 1802797 33554432000 4194304 4337479 140735872791536 18446744073709551615 4278573 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 1943321 1802797 266 35 0 1939944 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 7773284



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1134.8 s]
/proc/loadavg: 3.93 3.89 2.83 5/190 14632
/proc/meminfo: memFree=23702116/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=7867108 CPUtime=1134.79 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4202496 1838026 0 0 0 113235 244 0 0 25 0 1 0 891862620 8055918592 1823829 33554432000 4194304 4337479 140735872791536 18446744073709551615 4303665 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/14408/statm: 1966777 1823829 266 35 0 1963400 0
Current children cumulated CPU time (s) 1134.79
Current children cumulated vsize (KiB) 7867108

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

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

[startup+1135 s]
/proc/loadavg: 3.93 3.89 2.83 5/190 14632
/proc/meminfo: memFree=23702116/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=0 CPUtime=1134.98 cores=1,3
/proc/14408/stat : 14408 (hmuc) R 14406 14408 14141 0 -1 4203524 1838026 0 0 0 113235 263 0 0 25 0 1 0 891862620 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/14408/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1134.98
Current children cumulated vsize (KiB) 0

[startup+1135.1 s]
/proc/loadavg: 3.93 3.89 2.83 5/191 14633
/proc/meminfo: memFree=30975588/32951124 swapFree=67050520/67111528
[pid=14408] ppid=14406 vsize=0 CPUtime=1135.09 cores=1,3
/proc/14408/stat : 14408 (hmuc) Z 14406 14408 14141 0 -1 4203548 1838026 0 0 0 113235 274 0 0 25 0 1 0 891862620 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/14408/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1135.09
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1135.11
CPU time (s): 1135.1
CPU user time (s): 1132.35
CPU system time (s): 2.74158
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 7867108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1132.35
system time used= 2.74158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1838026
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3615

runsolver used 1.81672 second user time and 4.30335 second system time

The end

Begin job on node102 at 2011-06-11 16:30:03
IDJOB=3494526
IDBENCH=70788
IDSOLVER=1985
FILE ID=node102/3494526-1307802603
RUNJOBID= node102-1307802577-14162
PBS_JOBID= 13551074
Free space on /tmp= 74132 MiB

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

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

MD5SUM BENCH= 576249eded8a3c95c0b3aa8dcd51992e
RANDOM SEED=78823192

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30882648 kB
Buffers:        289452 kB
Cached:         909232 kB
SwapCached:      25172 kB
Active:        1153912 kB
Inactive:       705276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30882648 kB
SwapTotal:    67111528 kB
SwapFree:     67050520 kB
Dirty:           11692 kB
Writeback:           0 kB
AnonPages:      658288 kB
Mapped:           9572 kB
Slab:           142664 kB
PageTables:       6600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   940948 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= 74128 MiB
End job on node102 at 2011-06-11 16:49:00