5.40/5.42 c WARNING: for repeatability, setting FPU to use double precision
5.40/5.42 c iter 1 time 3.32449 not-muc 798019 unknown 329 muc 0
5.40/5.42 c iter 2 time 3.39048 not-muc 798019 unknown 328 muc 1
5.40/5.42 c iter 3 time 3.41148 not-muc 798019 unknown 327 muc 2
5.40/5.42 c iter 4 time 3.43548 not-muc 798019 unknown 326 muc 3
5.40/5.42 c iter 5 time 3.45947 not-muc 798019 unknown 325 muc 4
5.40/5.42 c iter 6 time 3.48447 not-muc 798019 unknown 324 muc 5
5.40/5.42 c iter 7 time 3.51047 not-muc 798019 unknown 323 muc 6
5.40/5.42 c iter 8 time 3.53646 not-muc 798019 unknown 322 muc 7
5.40/5.42 c iter 9 time 3.56346 not-muc 798019 unknown 321 muc 8
5.40/5.42 c iter 10 time 3.58945 not-muc 798019 unknown 320 muc 9
5.40/5.42 c iter 11 time 3.61645 not-muc 798019 unknown 319 muc 10
5.40/5.42 c iter 12 time 3.64545 not-muc 798019 unknown 318 muc 11
5.40/5.42 c iter 13 time 3.67344 not-muc 798019 unknown 317 muc 12
5.40/5.42 c iter 14 time 3.70144 not-muc 798019 unknown 316 muc 13
5.40/5.42 c iter 15 time 3.73043 not-muc 798019 unknown 315 muc 14
5.40/5.42 c iter 16 time 3.75943 not-muc 798019 unknown 314 muc 15
5.40/5.42 c iter 17 time 3.78742 not-muc 798019 unknown 313 muc 16
5.40/5.42 c iter 18 time 3.81642 not-muc 798019 unknown 312 muc 17
5.40/5.42 c iter 19 time 3.84542 not-muc 798019 unknown 311 muc 18
5.40/5.42 c iter 20 time 3.87441 not-muc 798019 unknown 310 muc 19
5.40/5.42 c iter 21 time 3.90341 not-muc 798019 unknown 309 muc 20
5.40/5.42 c iter 22 time 3.9314 not-muc 798019 unknown 308 muc 21
5.40/5.42 c iter 23 time 3.9614 not-muc 798019 unknown 307 muc 22
5.40/5.42 c iter 24 time 3.98939 not-muc 798019 unknown 306 muc 23
5.40/5.42 c iter 25 time 4.01739 not-muc 798019 unknown 305 muc 24
5.40/5.42 c iter 26 time 4.04538 not-muc 798019 unknown 304 muc 25
5.40/5.42 c iter 27 time 4.07338 not-muc 798019 unknown 303 muc 26
5.40/5.42 c iter 28 time 4.10238 not-muc 798019 unknown 302 muc 27
5.40/5.42 c iter 29 time 4.13237 not-muc 798019 unknown 301 muc 28
5.40/5.42 c iter 30 time 4.16237 not-muc 798019 unknown 300 muc 29
5.40/5.42 c iter 31 time 4.19336 not-muc 798019 unknown 299 muc 30
5.40/5.42 c iter 32 time 4.22436 not-muc 798019 unknown 298 muc 31
5.40/5.42 c iter 33 time 4.25435 not-muc 798019 unknown 297 muc 32
5.40/5.42 c iter 34 time 4.28035 not-muc 798019 unknown 296 muc 33
5.40/5.42 c iter 35 time 4.30734 not-muc 798019 unknown 295 muc 34
5.40/5.42 c iter 36 time 4.33334 not-muc 798019 unknown 294 muc 35
5.40/5.42 c iter 37 time 4.36034 not-muc 798019 unknown 293 muc 36
5.40/5.42 c iter 38 time 4.38633 not-muc 798019 unknown 292 muc 37
5.40/5.42 c iter 39 time 4.41333 not-muc 798019 unknown 291 muc 38
5.40/5.42 c iter 40 time 4.44032 not-muc 798019 unknown 290 muc 39
5.40/5.42 c iter 41 time 4.46632 not-muc 798019 unknown 289 muc 40
5.40/5.42 c iter 42 time 4.49332 not-muc 798019 unknown 288 muc 41
5.40/5.42 c iter 43 time 4.52031 not-muc 798019 unknown 287 muc 42
5.40/5.42 c iter 44 time 4.54631 not-muc 798019 unknown 286 muc 43
5.40/5.42 c iter 45 time 4.5733 not-muc 798019 unknown 285 muc 44
5.40/5.42 c iter 46 time 4.6003 not-muc 798019 unknown 284 muc 45
5.40/5.42 c iter 47 time 4.6263 not-muc 798019 unknown 283 muc 46
5.40/5.42 c iter 48 time 4.65329 not-muc 798019 unknown 282 muc 47
5.40/5.42 c iter 49 time 4.67929 not-muc 798019 unknown 281 muc 48
5.40/5.42 c iter 50 time 4.70628 not-muc 798019 unknown 280 muc 49
5.40/5.42 c iter 51 time 4.73328 not-muc 798019 unknown 279 muc 50
5.40/5.42 c iter 52 time 4.76028 not-muc 798019 unknown 278 muc 51
5.40/5.42 c iter 53 time 4.78727 not-muc 798019 unknown 277 muc 52
5.40/5.42 c iter 54 time 4.81427 not-muc 798019 unknown 276 muc 53
5.40/5.42 c iter 55 time 4.84226 not-muc 798019 unknown 275 muc 54
5.40/5.42 c iter 56 time 4.86926 not-muc 798019 unknown 274 muc 55
5.40/5.42 c iter 57 time 4.89726 not-muc 798019 unknown 273 muc 56
5.40/5.42 c iter 58 time 4.92425 not-muc 798019 unknown 272 muc 57
5.40/5.42 c iter 59 time 4.95125 not-muc 798019 unknown 271 muc 58
5.40/5.42 c iter 60 time 4.97824 not-muc 798019 unknown 270 muc 59
5.40/5.42 c iter 61 time 5.00624 not-muc 798019 unknown 269 muc 60
5.40/5.42 c iter 62 time 5.03423 not-muc 798019 unknown 268 muc 61
5.40/5.42 c iter 63 time 5.06223 not-muc 798019 unknown 267 muc 62
5.40/5.42 c iter 64 time 5.09023 not-muc 798019 unknown 266 muc 63
5.40/5.42 c iter 65 time 5.11822 not-muc 798019 unknown 265 muc 64
5.40/5.42 c iter 66 time 5.14622 not-muc 798019 unknown 264 muc 65
5.40/5.42 c iter 67 time 5.17421 not-muc 798019 unknown 263 muc 66
5.40/5.42 c iter 68 time 5.20321 not-muc 798019 unknown 262 muc 67
5.40/5.42 c iter 69 time 5.2312 not-muc 798019 unknown 261 muc 68
5.40/5.42 c iter 70 time 5.2602 not-muc 798019 unknown 260 muc 69
5.40/5.42 c iter 71 time 5.2882 not-muc 798019 unknown 259 muc 70
5.40/5.42 c iter 72 time 5.31619 not-muc 798019 unknown 258 muc 71
7.19/7.21 c iter 73 time 5.34419 not-muc 798019 unknown 257 muc 72
7.19/7.21 c iter 74 time 5.37218 not-muc 798019 unknown 256 muc 73
7.19/7.21 c iter 75 time 5.40018 not-muc 798019 unknown 255 muc 74
7.19/7.21 c iter 76 time 5.42518 not-muc 798019 unknown 254 muc 75
7.19/7.21 c iter 77 time 5.45017 not-muc 798019 unknown 253 muc 76
7.19/7.21 c iter 78 time 5.47617 not-muc 798019 unknown 252 muc 77
7.19/7.21 c iter 79 time 5.50116 not-muc 798019 unknown 251 muc 78
7.19/7.21 c iter 80 time 5.52716 not-muc 798019 unknown 250 muc 79
7.19/7.21 c iter 81 time 5.55215 not-muc 798019 unknown 249 muc 80
7.19/7.21 c iter 82 time 5.57815 not-muc 798019 unknown 248 muc 81
7.19/7.21 c iter 83 time 5.60415 not-muc 798019 unknown 247 muc 82
7.19/7.21 c iter 84 time 5.62914 not-muc 798019 unknown 246 muc 83
7.19/7.21 c iter 85 time 5.65514 not-muc 798019 unknown 245 muc 84
7.19/7.21 c iter 86 time 5.68014 not-muc 798019 unknown 244 muc 85
7.19/7.21 c iter 87 time 5.70613 not-muc 798019 unknown 243 muc 86
7.19/7.21 c iter 88 time 5.73213 not-muc 798019 unknown 242 muc 87
7.19/7.21 c iter 89 time 5.75712 not-muc 798019 unknown 241 muc 88
7.19/7.21 c iter 90 time 5.78312 not-muc 798019 unknown 240 muc 89
7.19/7.21 c iter 91 time 5.80812 not-muc 798019 unknown 239 muc 90
7.19/7.21 c iter 92 time 5.83311 not-muc 798019 unknown 238 muc 91
7.19/7.21 c iter 93 time 5.85911 not-muc 798019 unknown 237 muc 92
7.19/7.21 c iter 94 time 5.8841 not-muc 798019 unknown 236 muc 93
7.19/7.21 c iter 95 time 5.9091 not-muc 798019 unknown 235 muc 94
7.19/7.21 c iter 96 time 5.9351 not-muc 798019 unknown 234 muc 95
7.19/7.21 c iter 97 time 5.96009 not-muc 798019 unknown 233 muc 96
7.19/7.21 c iter 98 time 5.98509 not-muc 798019 unknown 232 muc 97
7.19/7.21 c iter 99 time 6.01009 not-muc 798019 unknown 231 muc 98
7.19/7.21 c iter 100 time 6.03508 not-muc 798019 unknown 230 muc 99
7.19/7.21 c iter 101 time 6.05908 not-muc 798019 unknown 229 muc 100
7.19/7.21 c iter 102 time 6.08408 not-muc 798019 unknown 228 muc 101
7.19/7.21 c iter 103 time 6.10807 not-muc 798019 unknown 227 muc 102
7.19/7.21 c iter 104 time 6.13307 not-muc 798019 unknown 226 muc 103
7.19/7.21 c iter 105 time 6.15806 not-muc 798019 unknown 225 muc 104
7.19/7.21 c iter 106 time 6.18306 not-muc 798019 unknown 224 muc 105
7.19/7.21 c iter 107 time 6.20806 not-muc 798019 unknown 223 muc 106
7.19/7.21 c iter 108 time 6.23305 not-muc 798019 unknown 222 muc 107
7.19/7.21 c iter 109 time 6.25805 not-muc 798019 unknown 221 muc 108
7.19/7.21 c iter 110 time 6.28304 not-muc 798019 unknown 220 muc 109
7.19/7.21 c iter 111 time 6.30804 not-muc 798019 unknown 219 muc 110
7.19/7.21 c iter 112 time 6.33304 not-muc 798019 unknown 218 muc 111
7.19/7.21 c iter 113 time 6.35903 not-muc 798019 unknown 217 muc 112
7.19/7.21 c iter 114 time 6.38503 not-muc 798019 unknown 216 muc 113
7.19/7.21 c iter 115 time 6.41003 not-muc 798019 unknown 215 muc 114
7.19/7.21 c iter 116 time 6.43602 not-muc 798019 unknown 214 muc 115
7.19/7.21 c iter 117 time 6.46202 not-muc 798019 unknown 213 muc 116
7.19/7.21 c iter 118 time 6.48801 not-muc 798019 unknown 212 muc 117
7.19/7.21 c iter 119 time 6.51301 not-muc 798019 unknown 211 muc 118
7.19/7.21 c iter 120 time 6.539 not-muc 798019 unknown 210 muc 119
7.19/7.21 c iter 121 time 6.565 not-muc 798019 unknown 209 muc 120
7.19/7.21 c iter 122 time 6.592 not-muc 798019 unknown 208 muc 121
7.19/7.21 c iter 123 time 6.61799 not-muc 798019 unknown 207 muc 122
7.19/7.21 c iter 124 time 6.64299 not-muc 798019 unknown 206 muc 123
7.19/7.21 c iter 125 time 6.66899 not-muc 798019 unknown 205 muc 124
7.19/7.21 c iter 126 time 6.69598 not-muc 798019 unknown 204 muc 125
7.19/7.21 c iter 127 time 6.72198 not-muc 798019 unknown 203 muc 126
7.19/7.21 c iter 128 time 6.74797 not-muc 798019 unknown 202 muc 127
7.19/7.21 c iter 129 time 6.77397 not-muc 798019 unknown 201 muc 128
7.19/7.21 c iter 130 time 6.79997 not-muc 798019 unknown 200 muc 129
7.19/7.21 c iter 131 time 6.82596 not-muc 798019 unknown 199 muc 130
7.19/7.21 c iter 132 time 6.85196 not-muc 798019 unknown 198 muc 131
7.19/7.21 c iter 133 time 6.87795 not-muc 798019 unknown 197 muc 132
7.19/7.21 c iter 134 time 6.90395 not-muc 798019 unknown 196 muc 133
7.19/7.21 c iter 135 time 6.92995 not-muc 798019 unknown 195 muc 134
7.19/7.21 c iter 136 time 6.95694 not-muc 798019 unknown 194 muc 135
7.19/7.21 c iter 137 time 6.98294 not-muc 798019 unknown 193 muc 136
7.19/7.21 c iter 138 time 7.00893 not-muc 798019 unknown 192 muc 137
7.19/7.21 c iter 139 time 7.03493 not-muc 798019 unknown 191 muc 138
7.19/7.21 c iter 140 time 7.06193 not-muc 798019 unknown 190 muc 139
7.19/7.21 c iter 141 time 7.08792 not-muc 798019 unknown 189 muc 140
7.19/7.21 c iter 142 time 7.11392 not-muc 798019 unknown 188 muc 141
8.89/8.95 c iter 143 time 7.13991 not-muc 798019 unknown 187 muc 142
8.89/8.95 c iter 144 time 7.16591 not-muc 798019 unknown 186 muc 143
8.89/8.95 c iter 145 time 7.19191 not-muc 798019 unknown 185 muc 144
8.89/8.95 c iter 146 time 7.2179 not-muc 798019 unknown 184 muc 145
8.89/8.95 c iter 147 time 7.2439 not-muc 798019 unknown 183 muc 146
8.89/8.95 c iter 148 time 7.26989 not-muc 798019 unknown 182 muc 147
8.89/8.95 c iter 149 time 7.29589 not-muc 798019 unknown 181 muc 148
8.89/8.95 c iter 150 time 7.32189 not-muc 798019 unknown 180 muc 149
8.89/8.95 c iter 151 time 7.34688 not-muc 798019 unknown 179 muc 150
8.89/8.95 c iter 152 time 7.37288 not-muc 798019 unknown 178 muc 151
8.89/8.95 c iter 153 time 7.39888 not-muc 798019 unknown 177 muc 152
8.89/8.95 c iter 154 time 7.42287 not-muc 798019 unknown 176 muc 153
8.89/8.95 c iter 155 time 7.44687 not-muc 798019 unknown 175 muc 154
8.89/8.95 c iter 156 time 7.47086 not-muc 798019 unknown 174 muc 155
8.89/8.95 c iter 157 time 7.49486 not-muc 798019 unknown 173 muc 156
8.89/8.95 c iter 158 time 7.51886 not-muc 798019 unknown 172 muc 157
8.89/8.95 c iter 159 time 7.54285 not-muc 798019 unknown 171 muc 158
8.89/8.95 c iter 160 time 7.56685 not-muc 798019 unknown 170 muc 159
8.89/8.95 c iter 161 time 7.59085 not-muc 798019 unknown 169 muc 160
8.89/8.95 c iter 162 time 7.61484 not-muc 798019 unknown 168 muc 161
8.89/8.95 c iter 163 time 7.63984 not-muc 798019 unknown 167 muc 162
8.89/8.95 c iter 164 time 7.66383 not-muc 798019 unknown 166 muc 163
8.89/8.95 c iter 165 time 7.68783 not-muc 798019 unknown 165 muc 164
8.89/8.95 c iter 166 time 7.71183 not-muc 798019 unknown 164 muc 165
8.89/8.95 c iter 167 time 7.73582 not-muc 798019 unknown 163 muc 166
8.89/8.95 c iter 168 time 7.76082 not-muc 798019 unknown 162 muc 167
8.89/8.95 c iter 169 time 7.78482 not-muc 798019 unknown 161 muc 168
8.89/8.95 c iter 170 time 7.80881 not-muc 798019 unknown 160 muc 169
8.89/8.95 c iter 171 time 7.83281 not-muc 798019 unknown 159 muc 170
8.89/8.95 c iter 172 time 7.8568 not-muc 798019 unknown 158 muc 171
8.89/8.95 c iter 173 time 7.8818 not-muc 798019 unknown 157 muc 172
8.89/8.95 c iter 174 time 7.9058 not-muc 798019 unknown 156 muc 173
8.89/8.95 c iter 175 time 7.92979 not-muc 798019 unknown 155 muc 174
8.89/8.95 c iter 176 time 7.95479 not-muc 798019 unknown 154 muc 175
8.89/8.95 c iter 177 time 7.97879 not-muc 798019 unknown 153 muc 176
8.89/8.95 c iter 178 time 8.00378 not-muc 798019 unknown 152 muc 177
8.89/8.95 c iter 179 time 8.02778 not-muc 798019 unknown 151 muc 178
8.89/8.95 c iter 180 time 8.05278 not-muc 798019 unknown 150 muc 179
8.89/8.95 c iter 181 time 8.07677 not-muc 798019 unknown 149 muc 180
8.89/8.95 c iter 182 time 8.10177 not-muc 798019 unknown 148 muc 181
8.89/8.95 c iter 183 time 8.12676 not-muc 798019 unknown 147 muc 182
8.89/8.95 c iter 184 time 8.15176 not-muc 798019 unknown 146 muc 183
8.89/8.95 c iter 185 time 8.17676 not-muc 798019 unknown 145 muc 184
8.89/8.95 c iter 186 time 8.20275 not-muc 798019 unknown 144 muc 185
8.89/8.95 c iter 187 time 8.22775 not-muc 798019 unknown 143 muc 186
8.89/8.95 c iter 188 time 8.25174 not-muc 798019 unknown 142 muc 187
8.89/8.95 c iter 189 time 8.27674 not-muc 798019 unknown 141 muc 188
8.89/8.95 c iter 190 time 8.30174 not-muc 798019 unknown 140 muc 189
8.89/8.95 c iter 191 time 8.32673 not-muc 798019 unknown 139 muc 190
8.89/8.95 c iter 192 time 8.35173 not-muc 798019 unknown 138 muc 191
8.89/8.95 c iter 193 time 8.37673 not-muc 798019 unknown 137 muc 192
8.89/8.95 c iter 194 time 8.40072 not-muc 798019 unknown 136 muc 193
8.89/8.95 c iter 195 time 8.42572 not-muc 798019 unknown 135 muc 194
8.89/8.95 c iter 196 time 8.45072 not-muc 798019 unknown 134 muc 195
8.89/8.95 c iter 197 time 8.47571 not-muc 798019 unknown 133 muc 196
8.89/8.95 c iter 198 time 8.49971 not-muc 798019 unknown 132 muc 197
8.89/8.95 c iter 199 time 8.5247 not-muc 798019 unknown 131 muc 198
8.89/8.95 c iter 200 time 8.5497 not-muc 798019 unknown 130 muc 199
8.89/8.95 c iter 201 time 8.5747 not-muc 798019 unknown 129 muc 200
8.89/8.95 c iter 202 time 8.59969 not-muc 798019 unknown 128 muc 201
8.89/8.95 c iter 203 time 8.62469 not-muc 798019 unknown 127 muc 202
8.89/8.95 c iter 204 time 8.64968 not-muc 798019 unknown 126 muc 203
8.89/8.95 c iter 205 time 8.67468 not-muc 798019 unknown 125 muc 204
8.89/8.95 c iter 206 time 8.69968 not-muc 798019 unknown 124 muc 205
8.89/8.95 c iter 207 time 8.72667 not-muc 798019 unknown 123 muc 206
8.89/8.95 c iter 208 time 8.75167 not-muc 798019 unknown 122 muc 207
8.89/8.95 c iter 209 time 8.77666 not-muc 798019 unknown 121 muc 208
8.89/8.95 c iter 210 time 8.80166 not-muc 798019 unknown 120 muc 209
8.89/8.95 c iter 211 time 8.82566 not-muc 798019 unknown 119 muc 210
8.89/8.95 c iter 212 time 8.85065 not-muc 798019 unknown 118 muc 211
10.59/10.69 c iter 213 time 8.87565 not-muc 798019 unknown 117 muc 212
10.59/10.69 c iter 214 time 8.90065 not-muc 798019 unknown 116 muc 213
10.59/10.69 c iter 215 time 8.92564 not-muc 798019 unknown 115 muc 214
10.59/10.69 c iter 216 time 8.95064 not-muc 798019 unknown 114 muc 215
10.59/10.69 c iter 217 time 8.97564 not-muc 798019 unknown 113 muc 216
10.59/10.69 c iter 218 time 8.99963 not-muc 798019 unknown 112 muc 217
10.59/10.69 c iter 219 time 9.02463 not-muc 798019 unknown 111 muc 218
10.59/10.69 c iter 220 time 9.04962 not-muc 798019 unknown 110 muc 219
10.59/10.69 c iter 221 time 9.07462 not-muc 798019 unknown 109 muc 220
10.59/10.69 c iter 222 time 9.09962 not-muc 798019 unknown 108 muc 221
10.59/10.69 c iter 223 time 9.12361 not-muc 798019 unknown 107 muc 222
10.59/10.69 c iter 224 time 9.14861 not-muc 798019 unknown 106 muc 223
10.59/10.69 c iter 225 time 9.17361 not-muc 798019 unknown 105 muc 224
10.59/10.69 c iter 226 time 9.1986 not-muc 798019 unknown 104 muc 225
10.59/10.69 c iter 227 time 9.2236 not-muc 798019 unknown 103 muc 226
10.59/10.69 c iter 228 time 9.24859 not-muc 798019 unknown 102 muc 227
10.59/10.69 c iter 229 time 9.27359 not-muc 798019 unknown 101 muc 228
10.59/10.69 c iter 230 time 9.29959 not-muc 798019 unknown 100 muc 229
10.59/10.69 c iter 231 time 9.32458 not-muc 798019 unknown 99 muc 230
10.59/10.69 c iter 232 time 9.35058 not-muc 798019 unknown 98 muc 231
10.59/10.69 c iter 233 time 9.37557 not-muc 798019 unknown 97 muc 232
10.59/10.69 c iter 234 time 9.40057 not-muc 798019 unknown 96 muc 233
10.59/10.69 c iter 235 time 9.42557 not-muc 798019 unknown 95 muc 234
10.59/10.69 c iter 236 time 9.45056 not-muc 798019 unknown 94 muc 235
10.59/10.69 c iter 237 time 9.47556 not-muc 798019 unknown 93 muc 236
10.59/10.69 c iter 238 time 9.50056 not-muc 798019 unknown 92 muc 237
10.59/10.69 c iter 239 time 9.52555 not-muc 798019 unknown 91 muc 238
10.59/10.69 c iter 240 time 9.55055 not-muc 798019 unknown 90 muc 239
10.59/10.69 c iter 241 time 9.57554 not-muc 798019 unknown 89 muc 240
10.59/10.69 c iter 242 time 9.60054 not-muc 798019 unknown 88 muc 241
10.59/10.69 c iter 243 time 9.62554 not-muc 798019 unknown 87 muc 242
10.59/10.69 c iter 244 time 9.65053 not-muc 798019 unknown 86 muc 243
10.59/10.69 c iter 245 time 9.67553 not-muc 798019 unknown 85 muc 244
10.59/10.69 c iter 246 time 9.70053 not-muc 798019 unknown 84 muc 245
10.59/10.69 c iter 247 time 9.72452 not-muc 798019 unknown 83 muc 246
10.59/10.70 c iter 248 time 9.74952 not-muc 798019 unknown 82 muc 247
10.59/10.70 c iter 249 time 9.77451 not-muc 798019 unknown 81 muc 248
10.59/10.70 c iter 250 time 9.79951 not-muc 798019 unknown 80 muc 249
10.59/10.70 c iter 251 time 9.82451 not-muc 798019 unknown 79 muc 250
10.59/10.70 c iter 252 time 9.8495 not-muc 798019 unknown 78 muc 251
10.59/10.70 c iter 253 time 9.8745 not-muc 798019 unknown 77 muc 252
10.59/10.70 c iter 254 time 9.89949 not-muc 798019 unknown 76 muc 253
10.59/10.70 c iter 255 time 9.92449 not-muc 798019 unknown 75 muc 254
10.59/10.70 c iter 256 time 9.94949 not-muc 798019 unknown 74 muc 255
10.59/10.70 c iter 257 time 9.97548 not-muc 798019 unknown 73 muc 256
10.59/10.70 c iter 258 time 10.0005 not-muc 798019 unknown 72 muc 257
10.59/10.70 c iter 259 time 10.0255 not-muc 798019 unknown 71 muc 258
10.59/10.70 c iter 260 time 10.0515 not-muc 798019 unknown 70 muc 259
10.59/10.70 c iter 261 time 10.0765 not-muc 798019 unknown 69 muc 260
10.59/10.70 c iter 262 time 10.1015 not-muc 798019 unknown 68 muc 261
10.59/10.70 c iter 263 time 10.1265 not-muc 798019 unknown 67 muc 262
10.59/10.70 c iter 264 time 10.1505 not-muc 798019 unknown 66 muc 263
10.59/10.70 c iter 265 time 10.1745 not-muc 798019 unknown 65 muc 264
10.59/10.70 c iter 266 time 10.1994 not-muc 798019 unknown 64 muc 265
10.59/10.70 c iter 267 time 10.2244 not-muc 798019 unknown 63 muc 266
10.59/10.70 c iter 268 time 10.2484 not-muc 798019 unknown 62 muc 267
10.59/10.70 c iter 269 time 10.2734 not-muc 798019 unknown 61 muc 268
10.59/10.70 c iter 270 time 10.2984 not-muc 798019 unknown 60 muc 269
10.59/10.70 c iter 271 time 10.3224 not-muc 798019 unknown 59 muc 270
10.59/10.70 c iter 272 time 10.3464 not-muc 798019 unknown 58 muc 271
10.59/10.70 c iter 273 time 10.3714 not-muc 798019 unknown 57 muc 272
10.59/10.70 c iter 274 time 10.3954 not-muc 798019 unknown 56 muc 273
10.59/10.70 c iter 275 time 10.4204 not-muc 798019 unknown 55 muc 274
10.59/10.70 c iter 276 time 10.4454 not-muc 798019 unknown 54 muc 275
10.59/10.70 c iter 277 time 10.4704 not-muc 798019 unknown 53 muc 276
10.59/10.70 c iter 278 time 10.4954 not-muc 798019 unknown 52 muc 277
10.59/10.70 c iter 279 time 10.5204 not-muc 798019 unknown 51 muc 278
10.59/10.70 c iter 280 time 10.5454 not-muc 798019 unknown 50 muc 279
10.59/10.70 c iter 281 time 10.5694 not-muc 798019 unknown 49 muc 280
10.59/10.70 c iter 282 time 10.5934 not-muc 798019 unknown 48 muc 281
11.89/11.93 c iter 283 time 10.6174 not-muc 798019 unknown 47 muc 282
11.89/11.93 c iter 284 time 10.6404 not-muc 798019 unknown 46 muc 283
11.89/11.93 c iter 285 time 10.6654 not-muc 798019 unknown 45 muc 284
11.89/11.93 c iter 286 time 10.6904 not-muc 798019 unknown 44 muc 285
11.89/11.93 c iter 287 time 10.7154 not-muc 798019 unknown 43 muc 286
11.89/11.93 c iter 288 time 10.7404 not-muc 798019 unknown 42 muc 287
11.89/11.93 c iter 289 time 10.7654 not-muc 798019 unknown 41 muc 288
11.89/11.93 c iter 290 time 10.7904 not-muc 798019 unknown 40 muc 289
11.89/11.93 c iter 291 time 10.8144 not-muc 798019 unknown 39 muc 290
11.89/11.93 c iter 292 time 10.8384 not-muc 798019 unknown 38 muc 291
11.89/11.93 c iter 293 time 10.8633 not-muc 798019 unknown 37 muc 292
11.89/11.93 c iter 294 time 10.8883 not-muc 798019 unknown 36 muc 293
11.89/11.93 c iter 295 time 10.9133 not-muc 798019 unknown 35 muc 294
11.89/11.93 c iter 296 time 10.9383 not-muc 798019 unknown 34 muc 295
11.89/11.93 c iter 297 time 10.9623 not-muc 798019 unknown 33 muc 296
11.89/11.93 c iter 298 time 10.9873 not-muc 798019 unknown 32 muc 297
11.89/11.93 c iter 299 time 11.0113 not-muc 798019 unknown 31 muc 298
11.89/11.93 c iter 300 time 11.0363 not-muc 798019 unknown 30 muc 299
11.89/11.93 c iter 301 time 11.0613 not-muc 798019 unknown 29 muc 300
11.89/11.93 c iter 302 time 11.0863 not-muc 798019 unknown 28 muc 301
11.89/11.93 c iter 303 time 11.1113 not-muc 798019 unknown 27 muc 302
11.89/11.93 c iter 304 time 11.1353 not-muc 798019 unknown 26 muc 303
11.89/11.93 c iter 305 time 11.1603 not-muc 798019 unknown 25 muc 304
11.89/11.93 c iter 306 time 11.1853 not-muc 798019 unknown 24 muc 305
11.89/11.93 c iter 307 time 11.2103 not-muc 798019 unknown 23 muc 306
11.89/11.93 c iter 308 time 11.2343 not-muc 798019 unknown 22 muc 307
11.89/11.93 c iter 309 time 11.2523 not-muc 798020 unknown 21 muc 307
11.89/11.93 c iter 310 time 11.2823 not-muc 798020 unknown 20 muc 308
11.89/11.93 c iter 311 time 11.3153 not-muc 798020 unknown 19 muc 309
11.89/11.93 c iter 312 time 11.3483 not-muc 798020 unknown 18 muc 310
11.89/11.93 c iter 313 time 11.3803 not-muc 798020 unknown 17 muc 311
11.89/11.93 c iter 314 time 11.4123 not-muc 798020 unknown 16 muc 312
11.89/11.93 c iter 315 time 11.4453 not-muc 798020 unknown 15 muc 313
11.89/11.93 c iter 316 time 11.4753 not-muc 798020 unknown 14 muc 314
11.89/11.93 c iter 317 time 11.5053 not-muc 798020 unknown 13 muc 315
11.89/11.93 c iter 318 time 11.5332 not-muc 798020 unknown 12 muc 316
11.89/11.93 c iter 319 time 11.5602 not-muc 798020 unknown 11 muc 317
11.89/11.93 c iter 320 time 11.5862 not-muc 798020 unknown 10 muc 318
11.89/11.93 c iter 321 time 11.6122 not-muc 798020 unknown 9 muc 319
11.89/11.93 c iter 322 time 11.6372 not-muc 798020 unknown 8 muc 320
11.89/11.93 c iter 323 time 11.6622 not-muc 798020 unknown 7 muc 321
11.89/11.93 c iter 324 time 11.6872 not-muc 798020 unknown 6 muc 322
11.89/11.93 c iter 325 time 11.7122 not-muc 798020 unknown 5 muc 323
11.89/11.93 c iter 326 time 11.7362 not-muc 798020 unknown 4 muc 324
11.89/11.93 c iter 327 time 11.7592 not-muc 798020 unknown 3 muc 325
11.89/11.93 c iter 328 time 11.7802 not-muc 798020 unknown 2 muc 326
11.89/11.93 c iter 329 time 11.8022 not-muc 798020 unknown 1 muc 327
11.89/11.93 c final iter 330 time 11.8322 not-muc 798020 unknown 0 muc 328
11.89/11.93 v 31560 123338 123340 123342 123344 123346 123348 123350 123352 123354 123356 123358 123360 123362 123364 123366 123368 123370 123372 123374 123376 123378 123380 123382 123384 123386 123388 123390 123392 123394 123396 123397 123411 123413 123415 123422 123424 123425 123426 123433 123435 123436 123437 123444 123446 123447 123448 123455 123457 123458 123459 123466 123468 123469 123470 123477 123479 123480 123481 123488 123490 123491 123492 123499 123501 123502 123503 123510 123512 123513 123514 123521 123523 123524 123525 123532 123534 123535 123536 123543 123545 123546 123547 123554 123556 123557 123558 123565 123567 123568 123569 123576 123578 123579 123580 123587 123589 123590 123591 123598 123600 123601 123602 123609 123611 123612 123613 123620 123622 123623 123624 123631 123633 123634 123635 123642 123644 123645 123646 123653 123655 123656 123657 123664 123666 123667 123668 123675 123677 123678 123679 123686 123688 123689 123690 123697 123699 123700 123701 123708 123710 123711 123712 123719 123721 123722 123723 123730 123732 123733 123734 123740 123744 123745 123747 123753 123756 123760 123762 123764 123766 123768 123770 123772 123774 123776 123778 123779 123783 123785 123787 123789 123791 123793 123795 123797 123799 123801 123803 123805 123807 123809 123811 123813 123815 123817 123819 123821 123823 123825 123827 123829 123831 123833 123835 123837 123839 123841 123844 123845 123847 123849 123852 123853 123856 123858 123862 123867 123869 123873 123878 123880 123884 123889 123891 123895 123900 123902 123906 123911 123913 123917 123922 123924 123928 123933 123935 123939 123944 123946 123950 123955 123957 123961 123966 123968 123972 123977 123979 123983 123988 123990 123994 123999 124001 124005 124010 124012 124016 124021 124023 124027 124032 124034 124038 124043 124045 124049 124054 124056 124060 124065 124067 124071 124076 124078 124082 124087 124089 124093 124098 124100 124104 124109 124111 124115 124120 124122 124126 124131 124133 124137 124142 124144 124148 124153 124155 124159 124164 124166 124170 124175 124177 124181 124187 124188 124189 124191 124192 124194 124195 124196 124198 124199 124200 124201 124202 124206 124208 124210 124212 124214 124216 124218 124220 124222 124224 124225 124227 124414 124418 124419 124422 126132 126136 289132 687511 798346 0
11.89/11.93 s UNSATISFIABLE
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-3493907-1307802579/watcher-3493907-1307802579 -o /tmp/evaluation-result-3493907-1307802579/solver-3493907-1307802579 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493907-1307802579.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 4/181 14966
/proc/meminfo: memFree=31476088/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=23292 CPUtime=0 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 1139 0 0 0 0 0 0 0 22 0 1 0 891858393 23851008 1058 33554432000 4194304 4311632 140736389943040 18446744073709551615 4240641 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 5823 1061 216 29 0 2452 0
[startup+0.029667 s]
/proc/loadavg: 0.00 0.00 0.00 4/181 14966
/proc/meminfo: memFree=31476088/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=48420 CPUtime=0.02 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 5782 0 0 0 2 0 0 0 22 0 1 0 891858393 49582080 5670 33554432000 4194304 4311632 140736389943040 18446744073709551615 4295345 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 12105 5678 216 29 0 8734 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 48420
[startup+0.100654 s]
/proc/loadavg: 0.00 0.00 0.00 4/181 14966
/proc/meminfo: memFree=31476088/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=117012 CPUtime=0.09 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 19252 0 0 0 7 2 0 0 22 0 1 0 891858393 119820288 18826 33554432000 4194304 4311632 140736389943040 18446744073709551615 4240641 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 29253 18833 216 29 0 25882 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 117012
[startup+0.300613 s]
/proc/loadavg: 0.00 0.00 0.00 4/181 14966
/proc/meminfo: memFree=31476088/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=191072 CPUtime=0.29 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 33935 0 0 0 25 4 0 0 23 0 1 0 891858393 195657728 32820 33554432000 4194304 4311632 140736389943040 18446744073709551615 253640520737 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 47768 32822 218 29 0 44397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 191072
[startup+0.700534 s]
/proc/loadavg: 0.00 0.00 0.00 4/181 14966
/proc/meminfo: memFree=31476088/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=263984 CPUtime=0.69 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 54022 0 0 0 63 6 0 0 25 0 1 0 891858393 270319616 50887 33554432000 4194304 4311632 140736389943040 18446744073709551615 4277864 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 65996 50887 222 29 0 62625 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 263984
[startup+1.50038 s]
/proc/loadavg: 0.00 0.00 0.00 5/187 14981
/proc/meminfo: memFree=31139648/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=270856 CPUtime=1.48 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 62359 0 0 0 141 7 0 0 25 0 1 0 891858393 277356544 51392 33554432000 4194304 4311632 140736389943040 18446744073709551615 4221383 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 67714 51392 225 29 0 64343 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 270856
[startup+3.10109 s]
/proc/loadavg: 0.40 0.08 0.03 5/187 14981
/proc/meminfo: memFree=31106788/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=263192 CPUtime=3.09 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 78880 0 0 0 299 10 0 0 25 0 1 0 891858393 269508608 51773 33554432000 4194304 4311632 140736389943040 18446744073709551615 4259685 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 65798 51773 245 29 0 62427 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 263192
[startup+6.30051 s]
/proc/loadavg: 0.40 0.08 0.03 5/187 14981
/proc/meminfo: memFree=31094484/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=263192 CPUtime=6.29 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 78945 0 0 0 619 10 0 0 25 0 1 0 891858393 269508608 51838 33554432000 4194304 4311632 140736389943040 18446744073709551615 4247312 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 65798 51838 262 29 0 62427 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 263192
Solver just ended. Dumping a history of the last processes samples
[startup+9.50093 s]
/proc/loadavg: 0.69 0.15 0.05 6/187 15019
/proc/meminfo: memFree=31000512/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=263192 CPUtime=9.49 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 78946 0 0 0 939 10 0 0 25 0 1 0 891858393 269508608 51839 33554432000 4194304 4311632 140736389943040 18446744073709551615 4262775 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 65798 51839 263 29 0 62427 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 263192
[startup+11.1006 s]
/proc/loadavg: 0.69 0.15 0.05 5/187 15058
/proc/meminfo: memFree=31055552/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=263192 CPUtime=11.09 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 78946 0 0 0 1099 10 0 0 25 0 1 0 891858393 269508608 51839 33554432000 4194304 4311632 140736389943040 18446744073709551615 4247254 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 65798 51839 263 29 0 62427 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 263192
[startup+11.5006 s]
/proc/loadavg: 0.69 0.15 0.05 5/187 15058
/proc/meminfo: memFree=31055552/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=263192 CPUtime=11.49 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 78946 0 0 0 1139 10 0 0 25 0 1 0 891858393 269508608 51839 33554432000 4194304 4311632 140736389943040 18446744073709551615 4247279 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 65798 51839 263 29 0 62427 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 263192
[startup+11.9005 s]
/proc/loadavg: 0.69 0.15 0.05 5/187 15058
/proc/meminfo: memFree=31055552/32951124 swapFree=67060628/67111528
[pid=14966] ppid=14964 vsize=263192 CPUtime=11.89 cores=5,7
/proc/14966/stat : 14966 (hmuc-a) R 14964 14966 14904 0 -1 4202496 78946 0 0 0 1179 10 0 0 25 0 1 0 891858393 269508608 51839 33554432000 4194304 4311632 140736389943040 18446744073709551615 4277296 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/14966/statm: 65798 51839 263 29 0 62427 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 263192
Child status: 20
Real time (s): 11.9477
CPU time (s): 11.9452
CPU user time (s): 11.8322
CPU system time (s): 0.112982
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 312536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8322
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78947
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= 22
runsolver used 0.018997 second user time and 0.055991 second system time
The end
Begin job on node106 at 2011-06-11 16:29:40
IDJOB=3493907
IDBENCH=20463
IDSOLVER=1983
FILE ID=node106/3493907-1307802579
RUNJOBID= node106-1307802576-14925
PBS_JOBID= 13551070
Free space on /tmp= 73992 MiB
SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc11803.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493907-1307802579/watcher-3493907-1307802579 -o /tmp/evaluation-result-3493907-1307802579/solver-3493907-1307802579 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493907-1307802579.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 6c6fd606fd41d7205b07602118ad74a0
RANDOM SEED=46318265
node106.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.830
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.66
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.830
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.20
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.830
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.75
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.830
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.82
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.830
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.74
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.830
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.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31476888 kB
Buffers: 151864 kB
Cached: 911396 kB
SwapCached: 12488 kB
Active: 500568 kB
Inactive: 809868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31476888 kB
SwapTotal: 67111528 kB
SwapFree: 67060628 kB
Dirty: 31092 kB
Writeback: 0 kB
AnonPages: 245508 kB
Mapped: 10420 kB
Slab: 98988 kB
PageTables: 5444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 485076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73984 MiB
End job on node106 at 2011-06-11 16:29:52