Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 100 | 2400.1 | 2326.04 |
Name | Opd/Opd-sum-large/ Opd-12-350-100.xml |
MD5SUM | 498e8e69e2f573dee371e4fc9819ce0a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 38 |
Best CPU time to get the best result obtained on this benchmark | 2400.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4201 |
Number of constraints | 79 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 328 |
Distribution of domain sizes | [{"size":2,"count":4200},{"size":328,"count":1}] |
Minimum variable degree | 13 |
Maximum variable degree | 67 |
Distribution of variable degrees | [{"degree":13,"count":4200},{"degree":67,"count":1}] |
Minimum constraint arity | 350 |
Maximum constraint arity | 4200 |
Distribution of constraint arities | [{"arity":350,"count":12},{"arity":701,"count":66},{"arity":4200,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":78}] |
Optimization problem | YES |
Type of objective | min VAR |
0.26/0.30 c version: 2017-06-30 0.42/0.30 c seed: 335611508 0.42/0.30 c timeout: 2400 0.42/0.30 c memlimit: 15500 0.42/0.30 c nbcore: 8 0.42/0.32 c Parsing instance... 2.69/1.12 c Parsing done, starting search... 3.47/1.39 o 350 3.47/1.39 o 349 3.87/1.40 o 348 3.87/1.47 o 347 3.87/1.48 o 346 3.87/1.48 o 345 3.87/1.49 o 344 3.87/1.49 o 343 3.87/1.50 o 342 4.52/1.50 o 341 4.52/1.50 o 340 4.52/1.51 o 339 4.52/1.51 o 338 4.52/1.51 o 337 4.52/1.52 o 336 4.52/1.52 o 335 4.52/1.52 o 334 4.52/1.52 o 333 4.52/1.53 o 332 4.52/1.53 o 331 4.52/1.53 o 330 4.52/1.53 o 329 4.52/1.54 o 328 4.52/1.54 o 327 4.52/1.54 o 326 4.52/1.54 o 325 4.52/1.54 o 324 4.52/1.55 o 323 4.52/1.55 o 322 4.52/1.55 o 321 4.52/1.55 o 320 4.52/1.55 o 319 4.52/1.56 o 318 4.52/1.56 o 317 4.52/1.56 o 316 4.52/1.56 o 315 4.52/1.56 o 314 4.52/1.57 o 313 4.52/1.57 o 312 4.52/1.57 o 311 4.52/1.57 o 310 4.52/1.57 o 309 4.52/1.58 o 308 4.52/1.58 o 307 4.52/1.58 o 306 4.52/1.58 o 305 4.52/1.59 o 304 4.52/1.59 o 303 4.52/1.59 o 302 4.52/1.59 o 301 4.52/1.59 o 300 4.52/1.60 o 299 4.94/1.60 o 298 4.94/1.60 o 297 4.94/1.60 o 296 4.94/1.61 o 295 4.94/1.61 o 294 4.94/1.61 o 293 4.94/1.61 o 292 4.94/1.62 o 291 4.94/1.62 o 290 4.94/1.62 o 289 4.94/1.62 o 288 4.94/1.62 o 287 4.94/1.62 o 286 4.94/1.63 o 285 4.94/1.63 o 284 4.94/1.63 o 283 4.94/1.63 o 282 4.94/1.63 o 281 4.94/1.63 o 280 4.94/1.63 o 279 4.94/1.63 o 278 4.94/1.64 o 277 4.94/1.64 o 276 4.94/1.64 o 275 4.94/1.64 o 274 4.94/1.64 o 273 4.94/1.64 o 272 4.94/1.64 o 271 4.94/1.65 o 270 4.94/1.65 o 269 4.94/1.65 o 268 4.94/1.65 o 267 4.94/1.65 o 266 4.94/1.65 o 265 4.94/1.65 o 264 4.94/1.65 o 263 4.94/1.66 o 262 4.94/1.66 o 261 4.94/1.66 o 260 4.94/1.66 o 259 4.94/1.66 o 258 4.94/1.66 o 257 4.94/1.66 o 256 4.94/1.66 o 255 4.94/1.67 o 254 4.94/1.67 o 253 4.94/1.67 o 252 4.94/1.67 o 251 4.94/1.67 o 250 4.94/1.67 o 249 4.94/1.67 o 248 4.94/1.68 o 247 4.94/1.68 o 246 4.94/1.68 o 245 4.94/1.68 o 244 4.94/1.68 o 243 4.94/1.68 o 242 4.94/1.68 o 241 4.94/1.68 o 240 4.94/1.69 o 239 4.94/1.69 o 238 4.94/1.69 o 237 4.94/1.69 o 236 4.94/1.69 o 235 4.94/1.69 o 234 5.36/1.74 o 233 5.36/1.74 o 232 5.36/1.74 o 231 5.36/1.74 o 230 5.36/1.75 o 229 5.36/1.75 o 228 5.36/1.75 o 227 5.36/1.75 o 226 5.36/1.75 o 225 5.36/1.75 o 224 5.36/1.75 o 223 5.36/1.76 o 222 5.36/1.76 o 221 5.36/1.76 o 220 5.36/1.76 o 219 5.36/1.76 o 218 5.36/1.76 o 217 5.36/1.76 o 216 5.36/1.76 o 215 5.36/1.77 o 214 5.36/1.77 o 213 5.36/1.77 o 212 5.36/1.77 o 211 5.36/1.77 o 210 5.36/1.77 o 209 5.36/1.77 o 208 5.36/1.77 o 207 5.36/1.78 o 206 5.36/1.78 o 205 5.36/1.78 o 204 5.36/1.78 o 203 5.36/1.78 o 202 5.36/1.78 o 201 5.36/1.78 o 200 5.36/1.79 o 199 5.36/1.79 o 198 5.36/1.79 o 197 5.36/1.79 o 196 5.36/1.79 o 195 5.36/1.79 o 194 5.36/1.80 o 193 5.80/1.80 o 192 5.80/1.80 o 191 5.80/1.80 o 190 5.80/1.80 o 189 5.80/1.80 o 188 5.80/1.81 o 187 5.80/1.81 o 186 5.80/1.81 o 185 5.80/1.81 o 184 5.80/1.81 o 183 5.80/1.81 o 182 5.80/1.81 o 181 5.80/1.82 o 180 5.80/1.82 o 179 5.80/1.82 o 178 5.80/1.82 o 177 5.80/1.82 o 176 5.80/1.82 o 175 5.80/1.83 o 174 5.80/1.83 o 173 5.80/1.83 o 172 5.80/1.83 o 171 5.80/1.83 o 170 5.80/1.83 o 169 5.80/1.83 o 168 5.80/1.84 o 167 5.80/1.84 o 166 5.80/1.84 o 165 5.80/1.84 o 164 5.80/1.84 o 163 5.80/1.84 o 162 5.80/1.84 o 161 5.80/1.85 o 160 5.80/1.85 o 159 5.80/1.85 o 158 5.80/1.85 o 157 5.80/1.85 o 156 5.80/1.85 o 155 5.80/1.85 o 154 5.80/1.86 o 153 5.80/1.86 o 152 5.80/1.86 o 151 5.80/1.86 o 150 5.80/1.86 o 149 5.80/1.86 o 148 5.80/1.86 o 147 5.80/1.86 o 146 5.80/1.87 o 145 5.80/1.87 o 144 5.80/1.87 o 143 5.80/1.87 o 142 5.80/1.87 o 141 5.80/1.87 o 140 5.80/1.87 o 139 5.80/1.87 o 138 5.80/1.88 o 137 5.80/1.88 o 136 5.80/1.88 o 135 5.80/1.88 o 134 5.80/1.88 o 133 5.80/1.88 o 132 5.80/1.88 o 131 5.80/1.88 o 130 5.80/1.89 o 129 5.80/1.89 o 128 5.80/1.89 o 127 5.80/1.89 o 126 5.80/1.89 o 125 5.80/1.89 o 124 5.80/1.89 o 123 5.80/1.89 o 122 5.80/1.90 o 121 5.80/1.90 o 120 5.92/1.90 o 119 5.92/1.90 o 118 5.92/1.90 o 117 5.92/1.90 o 116 5.92/1.90 o 115 5.92/1.90 o 114 5.92/1.91 o 113 5.92/1.91 o 112 5.92/1.91 o 111 5.92/1.91 o 110 5.92/1.91 o 109 5.92/1.91 o 108 5.92/1.91 o 107 5.92/1.91 o 106 5.92/1.92 o 105 5.92/1.92 o 104 5.92/1.92 o 103 5.92/1.92 o 102 5.92/1.92 o 101 5.92/1.92 o 100 2400.04/2326.00 s SATISFIABLE 2400.04/2326.01 v <instantiation> 2400.04/2326.01 v <list> 2400.04/2326.01 v z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[4][120] x[4][121] x[4][122] x[4][123] x[4][124] x[4][125] x[4][126] x[4][127] x[4][128] x[4][129] x[4][130] x[4][131] x[4][132] x[4][133] x[4][134] x[4][135] x[4][136] x[4][137] x[4][138] x[4][139] x[4][140] x[4][141] x[4][142] x[4][143] x[4][144] x[4][145] x[4][146] x[4][147] x[4][148] x[4][149] x[4][150] x[4][151] x[4][152] x[4][153] x[4][154] x[4][155] x[4][156] x[4][157] x[4][158] x[4][159] x[4][160] x[4][161] x[4][162] x[4][163] x[4][164] x[4][165] x[4][166] x[4][167] x[4][168] x[4][169] x[4][170] x[4][171] x[4][172] x[4][173] x[4][174] x[4][175] x[4][176] x[4][177] x[4][178] x[4][179] x[4][180] x[4][181] x[4][182] x[4][183] x[4][184] x[4][185] x[4][186] x[4][187] x[4][188] x[4][189] x[4][190] x[4][191] x[4][192] x[4][193] x[4][194] x[4][195] x[4][196] x[4][197] x[4][198] x[4][199] x[4][200] x[4][201] x[4][202] x[4][203] x[4][204] x[4][205] x[4][206] x[4][207] x[4][208] x[4][209] x[4][210] x[4][211] x[4][212] x[4][213] x[4][214] x[4][215] x[4][216] x[4][217] x[4][218] x[4][219] x[4][220] x[4][221] x[4][222] x[4][223] x[4][224] x[4][225] x[4][226] x[4][227] x[4][228] x[4][229] x[4][230] x[4][231] x[4][232] x[4][233] x[4][234] x[4][235] x[4][236] x[4][237] x[4][238] x[4][239] x[4][240] x[4][241] x[4][242] x[4][243] x[4][244] x[4][245] x[4][246] x[4][247] x[4][248] x[4][249] x[4][250] x[4][251] x[4][252] x[4][253] x[4][254] x[4][255] x[4][256] x[4][257] x[4][258] x[4][259] x[4][260] x[4][261] x[4][262] x[4][263] x[4][264] x[4][265] x[4][266] x[4][267] x[4][268] x[4][269] x[4][270] x[4][271] x[4][272] x[4][273] x[4][274] x[4][275] x[4][276] x[4][277] x[4][278] x[4][279] x[4][280] x[4][281] x[4][282] x[4][283] x[4][284] x[4][285] x[4][286] x[4][287] x[4][288] x[4][289] x[4][290] x[4][291] x[4][292] x[4][293] x[4][294] x[4][295] x[4][296] x[4][297] x[4][298] x[4][299] x[4][300] x[4][301] x[4][302] x[4][303] x[4][304] x[4][305] x[4][306] x[4][307] x[4][308] x[4][309] x[4][310] x[4][311] x[4][312] x[4][313] x[4][314] x[4][315] x[4][316] x[4][317] x[4][318] x[4][319] x[4][320] x[4][321] x[4][322] x[4][323] x[4][324] x[4][325] x[4][326] x[4][327] x[4][328] x[4][329] x[4][330] x[4][331] x[4][332] x[4][333] x[4][334] x[4][335] x[4][336] x[4][337] x[4][338] x[4][339] x[4][340] x[4][341] x[4][342] x[4][343] x[4][344] x[4][345] x[4][346] x[4][347] x[4][348] x[4][349] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[5][120] x[5][121] x[5][122] x[5][123] x[5][124] x[5][125] x[5][126] x[5][127] x[5][128] x[5][129] x[5][130] x[5][131] x[5][132] x[5][133] x[5][134] x[5][135] x[5][136] x[5][137] x[5][138] x[5][139] x[5][140] x[5][141] x[5][142] x[5][143] x[5][144] x[5][145] x[5][146] x[5][147] x[5][148] x[5][149] x[5][150] x[5][151] x[5][152] x[5][153] x[5][154] x[5][155] x[5][156] x[5][157] x[5][158] x[5][159] x[5][160] x[5][161] x[5][162] x[5][163] x[5][164] x[5][165] x[5][166] x[5][167] x[5][168] x[5][169] x[5][170] x[5][171] x[5][172] x[5][173] x[5][174] x[5][175] x[5][176] x[5][177] x[5][178] x[5][179] x[5][180] x[5][181] x[5][182] x[5][183] x[5][184] x[5][185] x[5][186] x[5][187] x[5][188] x[5][189] x[5][190] x[5][191] x[5][192] x[5][193] x[5][194] x[5][195] x[5][196] x[5][197] x[5][198] x[5][199] x[5][200] x[5][201] x[5][202] x[5][203] x[5][204] x[5][205] x[5][206] x[5][207] x[5][208] x[5][209] x[5][210] x[5][211] x[5][212] x[5][213] x[5][214] x[5][215] x[5][216] x[5][217] x[5][218] x[5][219] x[5][220] x[5][221] x[5][222] x[5][223] x[5][224] x[5][225] x[5][226] x[5][227] x[5][228] x[5][229] x[5][230] x[5][231] x[5][232] x[5][233] x[5][234] x[5][235] x[5][236] x[5][237] x[5][238] x[5][239] x[5][240] x[5][241] x[5][242] x[5][243] x[5][244] x[5][245] x[5][246] x[5][247] x[5][248] x[5][249] x[5][250] x[5][251] x[5][252] x[5][253] x[5][254] x[5][255] x[5][256] x[5][257] x[5][258] x[5][259] x[5][260] x[5][261] x[5][262] x[5][263] x[5][264] x[5][265] x[5][266] x[5][267] x[5][268] x[5][269] x[5][270] x[5][271] x[5][272] x[5][273] x[5][274] x[5][275] x[5][276] x[5][277] x[5][278] x[5][279] x[5][280] x[5][281] x[5][282] x[5][283] x[5][284] x[5][285] x[5][286] x[5][287] x[5][288] x[5][289] x[5][290] x[5][291] x[5][292] x[5][293] x[5][294] x[5][295] x[5][296] x[5][297] x[5][298] x[5][299] x[5][300] x[5][301] x[5][302] x[5][303] x[5][304] x[5][305] x[5][306] x[5][307] x[5][308] x[5][309] x[5][310] x[5][311] x[5][312] x[5][313] x[5][314] x[5][315] x[5][316] x[5][317] x[5][318] x[5][319] x[5][320] x[5][321] x[5][322] x[5][323] x[5][324] x[5][325] x[5][326] x[5][327] x[5][328] x[5][329] x[5][330] x[5][331] x[5][332] x[5][333] x[5][334] x[5][335] x[5][336] x[5][337] x[5][338] x[5][339] x[5][340] x[5][341] x[5][342] x[5][343] x[5][344] x[5][345] x[5][346] x[5][347] x[5][348] x[5][349] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[6][120] x[6][121] x[6][122] x[6][123] x[6][124] x[6][125] x[6][126] x[6][127] x[6][128] x[6][129] x[6][130] x[6][131] x[6][132] x[6][133] x[6][134] x[6][135] x[6][136] x[6][137] x[6][138] x[6][139] x[6][140] x[6][141] x[6][142] x[6][143] x[6][144] x[6][145] x[6][146] x[6][147] x[6][148] x[6][149] x[6][150] x[6][151] x[6][152] x[6][153] x[6][154] x[6][155] x[6][156] x[6][157] x[6][158] x[6][159] x[6][160] x[6][161] x[6][162] x[6][163] x[6][164] x[6][165] x[6][166] x[6][167] x[6][168] x[6][169] x[6][170] x[6][171] x[6][172] x[6][173] x[6][174] x[6][175] x[6][176] x[6][177] x[6][178] x[6][179] x[6][180] x[6][181] x[6][182] x[6][183] x[6][184] x[6][185] x[6][186] x[6][187] x[6][188] x[6][189] x[6][190] x[6][191] x[6][192] x[6][193] x[6][194] x[6][195] x[6][196] x[6][197] x[6][198] x[6][199] x[6][200] x[6][201] x[6][202] x[6][203] x[6][204] x[6][205] x[6][206] x[6][207] x[6][208] x[6][209] x[6][210] x[6][211] x[6][212] x[6][213] x[6][214] x[6][215] x[6][216] x[6][217] x[6][218] x[6][219] x[6][220] x[6][221] x[6][222] x[6][223] x[6][224] x[6][225] x[6][226] x[6][227] x[6][228] x[6][229] x[6][230] x[6][231] x[6][232] x[6][233] x[6][234] x[6][235] x[6][236] x[6][237] x[6][238] x[6][239] x[6][240] x[6][241] x[6][242] x[6][243] x[6][244] x[6][245] x[6][246] x[6][247] x[6][248] x[6][249] x[6][250] x[6][251] x[6][252] x[6][253] x[6][254] x[6][255] x[6][256] x[6][257] x[6][258] x[6][259] x[6][260] x[6][261] x[6][262] x[6][263] x[6][264] x[6][265] x[6][266] x[6][267] x[6][268] x[6][269] x[6][270] x[6][271] x[6][272] x[6][273] x[6][274] x[6][275] x[6][276] x[6][277] x[6][278] x[6][279] x[6][280] x[6][281] x[6][282] x[6][283] x[6][284] x[6][285] x[6][286] x[6][287] x[6][288] x[6][289] x[6][290] x[6][291] x[6][292] x[6][293] x[6][294] x[6][295] x[6][296] x[6][297] x[6][298] x[6][299] x[6][300] x[6][301] x[6][302] x[6][303] x[6][304] x[6][305] x[6][306] x[6][307] x[6][308] x[6][309] x[6][310] x[6][311] x[6][312] x[6][313] x[6][314] x[6][315] x[6][316] x[6][317] x[6][318] x[6][319] x[6][320] x[6][321] x[6][322] x[6][323] x[6][324] x[6][325] x[6][326] x[6][327] x[6][328] x[6][329] x[6][330] x[6][331] x[6][332] x[6][333] x[6][334] x[6][335] x[6][336] x[6][337] x[6][338] x[6][339] x[6][340] x[6][341] x[6][342] x[6][343] x[6][344] x[6][345] x[6][346] x[6][347] x[6][348] x[6][349] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[7][120] x[7][121] x[7][122] x[7][123] x[7][124] x[7][125] x[7][126] x[7][127] x[7][128] x[7][129] x[7][130] x[7][131] x[7][132] x[7][133] x[7][134] x[7][135] x[7][136] x[7][137] x[7][138] x[7][139] x[7][140] x[7][141] x[7][142] x[7][143] x[7][144] x[7][145] x[7][146] x[7][147] x[7][148] x[7][149] x[7][150] x[7][151] x[7][152] x[7][153] x[7][154] x[7][155] x[7][156] x[7][157] x[7][158] x[7][159] x[7][160] x[7][161] x[7][162] x[7][163] x[7][164] x[7][165] x[7][166] x[7][167] x[7][168] x[7][169] x[7][170] x[7][171] x[7][172] x[7][173] x[7][174] x[7][175] x[7][176] x[7][177] x[7][178] x[7][179] x[7][180] x[7][181] x[7][182] x[7][183] x[7][184] x[7][185] x[7][186] x[7][187] x[7][188] x[7][189] x[7][190] x[7][191] x[7][192] x[7][193] x[7][194] x[7][195] x[7][196] x[7][197] x[7][198] x[7][199] x[7][200] x[7][201] x[7][202] x[7][203] x[7][204] x[7][205] x[7][206] x[7][207] x[7][208] x[7][209] x[7][210] x[7][211] x[7][212] x[7][213] x[7][214] x[7][215] x[7][216] x[7][217] x[7][218] x[7][219] x[7][220] x[7][221] x[7][222] x[7][223] x[7][224] x[7][225] x[7][226] x[7][227] x[7][228] x[7][229] x[7][230] x[7][231] x[7][232] x[7][233] x[7][234] x[7][235] x[7][236] x[7][237] x[7][238] x[7][239] x[7][240] x[7][241] x[7][242] x[7][243] x[7][244] x[7][245] x[7][246] x[7][247] x[7][248] x[7][249] x[7][250] x[7][251] x[7][252] x[7][253] x[7][254] x[7][255] x[7][256] x[7][257] x[7][258] x[7][259] x[7][260] x[7][261] x[7][262] x[7][263] x[7][264] x[7][265] x[7][266] x[7][267] x[7][268] x[7][269] x[7][270] x[7][271] x[7][272] x[7][273] x[7][274] x[7][275] x[7][276] x[7][277] x[7][278] x[7][279] x[7][280] x[7][281] x[7][282] x[7][283] x[7][284] x[7][285] x[7][286] x[7][287] x[7][288] x[7][289] x[7][290] x[7][291] x[7][292] x[7][293] x[7][294] x[7][295] x[7][296] x[7][297] x[7][298] x[7][299] x[7][300] x[7][301] x[7][302] x[7][303] x[7][304] x[7][305] x[7][306] x[7][307] x[7][308] x[7][309] x[7][310] x[7][311] x[7][312] x[7][313] x[7][314] x[7][315] x[7][316] x[7][317] x[7][318] x[7][319] x[7][320] x[7][321] x[7][322] x[7][323] x[7][324] x[7][325] x[7][326] x[7][327] x[7][328] x[7][329] x[7][330] x[7][331] x[7][332] x[7][333] x[7][334] x[7][335] x[7][336] x[7][337] x[7][338] x[7][339] x[7][340] x[7][341] x[7][342] x[7][343] x[7][344] x[7][345] x[7][346] x[7][347] x[7][348] x[7][349] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[8][120] x[8][121] x[8][122] x[8][123] x[8][124] x[8][125] x[8][126] x[8][127] x[8][128] x[8][129] x[8][130] x[8][131] x[8][132] x[8][133] x[8][134] x[8][135] x[8][136] x[8][137] x[8][138] x[8][139] x[8][140] x[8][141] x[8][142] x[8][143] x[8][144] x[8][145] x[8][146] x[8][147] x[8][148] x[8][149] x[8][150] x[8][151] x[8][152] x[8][153] x[8][154] x[8][155] x[8][156] x[8][157] x[8][158] x[8][159] x[8][160] x[8][161] x[8][162] x[8][163] x[8][164] x[8][165] x[8][166] x[8][167] x[8][168] x[8][169] x[8][170] x[8][171] x[8][172] x[8][173] x[8][174] x[8][175] x[8][176] x[8][177] x[8][178] x[8][179] x[8][180] x[8][181] x[8][182] x[8][183] x[8][184] x[8][185] x[8][186] x[8][187] x[8][188] x[8][189] x[8][190] x[8][191] x[8][192] x[8][193] x[8][194] x[8][195] x[8][196] x[8][197] x[8][198] x[8][199] x[8][200] x[8][201] x[8][202] x[8][203] x[8][204] x[8][205] x[8][206] x[8][207] x[8][208] x[8][209] x[8][210] x[8][211] x[8][212] x[8][213] x[8][214] x[8][215] x[8][216] x[8][217] x[8][218] x[8][219] x[8][220] x[8][221] x[8][222] x[8][223] x[8][224] x[8][225] x[8][226] x[8][227] x[8][228] x[8][229] x[8][230] x[8][231] x[8][232] x[8][233] x[8][234] x[8][235] x[8][236] x[8][237] x[8][238] x[8][239] x[8][240] x[8][241] x[8][242] x[8][243] x[8][244] x[8][245] x[8][246] x[8][247] x[8][248] x[8][249] x[8][250] x[8][251] x[8][252] x[8][253] x[8][254] x[8][255] x[8][256] x[8][257] x[8][258] x[8][259] x[8][260] x[8][261] x[8][262] x[8][263] x[8][264] x[8][265] x[8][266] x[8][267] x[8][268] x[8][269] x[8][270] x[8][271] x[8][272] x[8][273] x[8][274] x[8][275] x[8][276] x[8][277] x[8][278] x[8][279] x[8][280] x[8][281] x[8][282] x[8][283] x[8][284] x[8][285] x[8][286] x[8][287] x[8][288] x[8][289] x[8][290] x[8][291] x[8][292] x[8][293] x[8][294] x[8][295] x[8][296] x[8][297] x[8][298] x[8][299] x[8][300] x[8][301] x[8][302] x[8][303] x[8][304] x[8][305] x[8][306] x[8][307] x[8][308] x[8][309] x[8][310] x[8][311] x[8][312] x[8][313] x[8][314] x[8][315] x[8][316] x[8][317] x[8][318] x[8][319] x[8][320] x[8][321] x[8][322] x[8][323] x[8][324] x[8][325] x[8][326] x[8][327] x[8][328] x[8][329] x[8][330] x[8][331] x[8][332] x[8][333] x[8][334] x[8][335] x[8][336] x[8][337] x[8][338] x[8][339] x[8][340] x[8][341] x[8][342] x[8][343] x[8][344] x[8][345] x[8][346] x[8][347] x[8][348] x[8][349] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119] x[9][120] x[9][121] x[9][122] x[9][123] x[9][124] x[9][125] x[9][126] x[9][127] x[9][128] x[9][129] x[9][130] x[9][131] x[9][132] x[9][133] x[9][134] x[9][135] x[9][136] x[9][137] x[9][138] x[9][139] x[9][140] x[9][141] x[9][142] x[9][143] x[9][144] x[9][145] x[9][146] x[9][147] x[9][148] x[9][149] x[9][150] x[9][151] x[9][152] x[9][153] x[9][154] x[9][155] x[9][156] x[9][157] x[9][158] x[9][159] x[9][160] x[9][161] x[9][162] x[9][163] x[9][164] x[9][165] x[9][166] x[9][167] x[9][168] x[9][169] x[9][170] x[9][171] x[9][172] x[9][173] x[9][174] x[9][175] x[9][176] x[9][177] x[9][178] x[9][179] x[9][180] x[9][181] x[9][182] x[9][183] x[9][184] x[9][185] x[9][186] x[9][187] x[9][188] x[9][189] x[9][190] x[9][191] x[9][192] x[9][193] x[9][194] x[9][195] x[9][196] x[9][197] x[9][198] x[9][199] x[9][200] x[9][201] x[9][202] x[9][203] x[9][204] x[9][205] x[9][206] x[9][207] x[9][208] x[9][209] x[9][210] x[9][211] x[9][212] x[9][213] x[9][214] x[9][215] x[9][216] x[9][217] x[9][218] x[9][219] x[9][220] x[9][221] x[9][222] x[9][223] x[9][224] x[9][225] x[9][226] x[9][227] x[9][228] x[9][229] x[9][230] x[9][231] x[9][232] x[9][233] x[9][234] x[9][235] x[9][236] x[9][237] x[9][238] x[9][239] x[9][240] x[9][241] x[9][242] x[9][243] x[9][244] x[9][245] x[9][246] x[9][247] x[9][248] x[9][249] x[9][250] x[9][251] x[9][252] x[9][253] x[9][254] x[9][255] x[9][256] x[9][257] x[9][258] x[9][259] x[9][260] x[9][261] x[9][262] x[9][263] x[9][264] x[9][265] x[9][266] x[9][267] x[9][268] x[9][269] x[9][270] x[9][271] x[9][272] x[9][273] x[9][274] x[9][275] x[9][276] x[9][277] x[9][278] x[9][279] x[9][280] x[9][281] x[9][282] x[9][283] x[9][284] x[9][285] x[9][286] x[9][287] x[9][288] x[9][289] x[9][290] x[9][291] x[9][292] x[9][293] x[9][294] x[9][295] x[9][296] x[9][297] x[9][298] x[9][299] x[9][300] x[9][301] x[9][302] x[9][303] x[9][304] x[9][305] x[9][306] x[9][307] x[9][308] x[9][309] x[9][310] x[9][311] x[9][312] x[9][313] x[9][314] x[9][315] x[9][316] x[9][317] x[9][318] x[9][319] x[9][320] x[9][321] x[9][322] x[9][323] x[9][324] x[9][325] x[9][326] x[9][327] x[9][328] x[9][329] x[9][330] x[9][331] x[9][332] x[9][333] x[9][334] x[9][335] x[9][336] x[9][337] x[9][338] x[9][339] x[9][340] x[9][341] x[9][342] x[9][343] x[9][344] x[9][345] x[9][346] x[9][347] x[9][348] x[9][349] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[10][68] x[10][69] x[10][70] x[10][71] x[10][72] x[10][73] x[10][74] x[10][75] x[10][76] x[10][77] x[10][78] x[10][79] x[10][80] x[10][81] x[10][82] x[10][83] x[10][84] x[10][85] x[10][86] x[10][87] x[10][88] x[10][89] x[10][90] x[10][91] x[10][92] x[10][93] x[10][94] x[10][95] x[10][96] x[10][97] x[10][98] x[10][99] x[10][100] x[10][101] x[10][102] x[10][103] x[10][104] x[10][105] x[10][106] x[10][107] x[10][108] x[10][109] x[10][110] x[10][111] x[10][112] x[10][113] x[10][114] x[10][115] x[10][116] x[10][117] x[10][118] x[10][119] x[10][120] x[10][121] x[10][122] x[10][123] x[10][124] x[10][125] x[10][126] x[10][127] x[10][128] x[10][129] x[10][130] x[10][131] x[10][132] x[10][133] x[10][134] x[10][135] x[10][136] x[10][137] x[10][138] x[10][139] x[10][140] x[10][141] x[10][142] x[10][143] x[10][144] x[10][145] x[10][146] x[10][147] x[10][148] x[10][149] x[10][150] x[10][151] x[10][152] x[10][153] x[10][154] x[10][155] x[10][156] x[10][157] x[10][158] x[10][159] x[10][160] x[10][161] x[10][162] x[10][163] x[10][164] x[10][165] x[10][166] x[10][167] x[10][168] x[10][169] x[10][170] x[10][171] x[10][172] x[10][173] x[10][174] x[10][175] x[10][176] x[10][177] x[10][178] x[10][179] x[10][180] x[10][181] x[10][182] x[10][183] x[10][184] x[10][185] x[10][186] x[10][187] x[10][188] x[10][189] x[10][190] x[10][191] x[10][192] x[10][193] x[10][194] x[10][195] x[10][196] x[10][197] x[10][198] x[10][199] x[10][200] x[10][201] x[10][202] x[10][203] x[10][204] x[10][205] x[10][206] x[10][207] x[10][208] x[10][209] x[10][210] x[10][211] x[10][212] x[10][213] x[10][214] x[10][215] x[10][216] x[10][217] x[10][218] x[10][219] x[10][220] x[10][221] x[10][222] x[10][223] x[10][224] x[10][225] x[10][226] x[10][227] x[10][228] x[10][229] x[10][230] x[10][231] x[10][232] x[10][233] x[10][234] x[10][235] x[10][236] x[10][237] x[10][238] x[10][239] x[10][240] x[10][241] x[10][242] x[10][243] x[10][244] x[10][245] x[10][246] x[10][247] x[10][248] x[10][249] x[10][250] x[10][251] x[10][252] x[10][253] x[10][254] x[10][255] x[10][256] x[10][257] x[10][258] x[10][259] x[10][260] x[10][261] x[10][262] x[10][263] x[10][264] x[10][265] x[10][266] x[10][267] x[10][268] x[10][269] x[10][270] x[10][271] x[10][272] x[10][273] x[10][274] x[10][275] x[10][276] x[10][277] x[10][278] x[10][279] x[10][280] x[10][281] x[10][282] x[10][283] x[10][284] x[10][285] x[10][286] x[10][287] x[10][288] x[10][289] x[10][290] x[10][291] x[10][292] x[10][293] x[10][294] x[10][295] x[10][296] x[10][297] x[10][298] x[10][299] x[10][300] x[10][301] x[10][302] x[10][303] x[10][304] x[10][305] x[10][306] x[10][307] x[10][308] x[10][309] x[10][310] x[10][311] x[10][312] x[10][313] x[10][314] x[10][315] x[10][316] x[10][317] x[10][318] x[10][319] x[10][320] x[10][321] x[10][322] x[10][323] x[10][324] x[10][325] x[10][326] x[10][327] x[10][328] x[10][329] x[10][330] x[10][331] x[10][332] x[10][333] x[10][334] x[10][335] x[10][336] x[10][337] x[10][338] x[10][339] x[10][340] x[10][341] x[10][342] x[10][343] x[10][344] x[10][345] x[10][346] x[10][347] x[10][348] x[10][349] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[11][68] x[11][69] x[11][70] x[11][71] x[11][72] x[11][73] x[11][74] x[11][75] x[11][76] x[11][77] x[11][78] x[11][79] x[11][80] x[11][81] x[11][82] x[11][83] x[11][84] x[11][85] x[11][86] x[11][87] x[11][88] x[11][89] x[11][90] x[11][91] x[11][92] x[11][93] x[11][94] x[11][95] x[11][96] x[11][97] x[11][98] x[11][99] x[11][100] x[11][101] x[11][102] x[11][103] x[11][104] x[11][105] x[11][106] x[11][107] x[11][108] x[11][109] x[11][110] x[11][111] x[11][112] x[11][113] x[11][114] x[11][115] x[11][116] x[11][117] x[11][118] x[11][119] x[11][120] x[11][121] x[11][122] x[11][123] x[11][124] x[11][125] x[11][126] x[11][127] x[11][128] x[11][129] x[11][130] x[11][131] x[11][132] x[11][133] x[11][134] x[11][135] x[11][136] x[11][137] x[11][138] x[11][139] x[11][140] x[11][141] x[11][142] x[11][143] x[11][144] x[11][145] x[11][146] x[11][147] x[11][148] x[11][149] x[11][150] x[11][151] x[11][152] x[11][153] x[11][154] x[11][155] x[11][156] x[11][157] x[11][158] x[11][159] x[11][160] x[11][161] x[11][162] x[11][163] x[11][164] x[11][165] x[11][166] x[11][167] x[11][168] x[11][169] x[11][170] x[11][171] x[11][172] x[11][173] x[11][174] x[11][175] x[11][176] x[11][177] x[11][178] x[11][179] x[11][180] x[11][181] x[11][182] x[11][183] x[11][184] x[11][185] x[11][186] x[11][187] x[11][188] x[11][189] x[11][190] x[11][191] x[11][192] x[11][193] x[11][194] x[11][195] x[11][196] x[11][197] x[11][198] x[11][199] x[11][200] x[11][201] x[11][202] x[11][203] x[11][204] x[11][205] x[11][206] x[11][207] x[11][208] x[11][209] x[11][210] x[11][211] x[11][212] x[11][213] x[11][214] x[11][215] x[11][216] x[11][217] x[11][218] x[11][219] x[11][220] x[11][221] x[11][222] x[11][223] x[11][224] x[11][225] x[11][226] x[11][227] x[11][228] x[11][229] x[11][230] x[11][231] x[11][232] x[11][233] x[11][234] x[11][235] x[11][236] x[11][237] x[11][238] x[11][239] x[11][240] x[11][241] x[11][242] x[11][243] x[11][244] x[11][245] x[11][246] x[11][247] x[11][248] x[11][249] x[11][250] x[11][251] x[11][252] x[11][253] x[11][254] x[11][255] x[11][256] x[11][257] x[11][258] x[11][259] x[11][260] x[11][261] x[11][262] x[11][263] x[11][264] x[11][265] x[11][266] x[11][267] x[11][268] x[11][269] x[11][270] x[11][271] x[11][272] x[11][273] x[11][274] x[11][275] x[11][276] x[11][277] x[11][278] x[11][279] x[11][280] x[11][281] x[11][282] x[11][283] x[11][284] x[11][285] x[11][286] x[11][287] x[11][288] x[11][289] x[11][290] x[11][291] x[11][292] x[11][293] x[11][294] x[11][295] x[11][296] x[11][297] x[11][298] x[11][299] x[11][300] x[11][301] x[11][302] x[11][303] x[11][304] x[11][305] x[11][306] x[11][307] x[11][308] x[11][309] x[11][310] x[11][311] x[11][312] x[11][313] x[11][314] x[11][315] x[11][316] x[11][317] x[11][318] x[11][319] x[11][320] x[11][321] x[11][322] x[11][323] x[11][324] x[11][325] x[11][326] x[11][327] x[11][328] x[11][329] x[11][330] x[11][331] x[11][332] x[11][333] x[11][334] x[11][335] x[11][336] x[11][337] x[11][338] x[11][339] x[11][340] x[11][341] x[11][342] x[11][343] x[11][344] x[11][345] x[11][346] x[11][347] x[11][348] x[11][349] 2400.04/2326.01 v </list> 2400.04/2326.01 v <values> 2400.04/2326.01 v 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2400.04/2326.01 v </values> 2400.04/2326.01 v </instantiation>
OK 100
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4245533-1500701479/watcher-4245533-1500701479 -o /tmp/evaluation-result-4245533-1500701479/solver-4245533-1500701479 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500697134-6764 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 335611508 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245533-1500701479.xml pid=7408 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.66 1.82 2.04 3/262 7411 /proc/meminfo: memFree=28462080/32770624 swapFree=5884/301500 [pid=7411] ppid=7408 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 5415669 369864704 1925 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 90299 1925 1072 1 0 79210 0 [pid=7411/tid=7412] ppid=7408 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) S 7408 7411 8571 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 5415669 369864704 1925 33554432000 4194304 4196468 140730660144048 139658453457312 139658449226370 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [startup+0.10013 s] /proc/loadavg: 1.66 1.82 2.04 3/262 7411 /proc/meminfo: memFree=28462080/32770624 swapFree=5884/301500 [pid=7411] ppid=7408 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 5896 0 0 0 8 1 0 0 20 0 20 0 5415669 13582725120 6530 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 3316095 6530 3333 1 0 3303815 0 [pid=7411/tid=7412] ppid=7408 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) R 7408 7411 8571 0 -1 4202560 3995 0 0 0 7 1 0 0 20 0 20 0 5415669 13582725120 6530 33554432000 4194304 4196468 140730660144048 139658453457504 139658449237149 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13264380 [startup+0.200362 s] /proc/loadavg: 1.66 1.82 2.04 3/262 7411 /proc/meminfo: memFree=28462080/32770624 swapFree=5884/301500 [pid=7411] ppid=7408 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 9057 0 0 0 23 3 0 0 20 0 20 0 5415669 13582245888 9025 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 3315978 9025 3517 1 0 3303698 0 [pid=7411/tid=7412] ppid=7408 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) R 7408 7411 8571 0 -1 4202560 6769 0 0 0 16 2 0 0 20 0 20 0 5415669 13582245888 9025 33554432000 4194304 4196468 140730660144048 139658453439088 139658449237149 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300278 s] /proc/loadavg: 1.66 1.82 2.04 3/262 7411 /proc/meminfo: memFree=28462080/32770624 swapFree=5884/301500 [pid=7411] ppid=7408 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 10048 0 0 0 38 4 0 0 20 0 20 0 5415669 13582245888 11309 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 3315978 11309 3627 1 0 3303698 0 [pid=7411/tid=7412] ppid=7408 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) R 7408 7411 8571 0 -1 4202560 7498 0 0 0 25 3 0 0 20 0 20 0 5415669 13582245888 11309 33554432000 4194304 4196468 140730660144048 139658453429088 139658449237149 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.700226 s] /proc/loadavg: 1.66 1.82 2.04 3/262 7411 /proc/meminfo: memFree=28462080/32770624 swapFree=5884/301500 [pid=7411] ppid=7408 vsize=13265980 CPUtime=1.31 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 12229 0 0 0 126 5 0 0 20 0 20 0 5415669 13584363520 18611 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 3316495 18611 3772 1 0 3304210 0 [pid=7411/tid=7412] ppid=7408 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) R 7408 7411 8571 0 -1 4202560 8636 0 0 0 64 3 0 0 20 0 20 0 5415669 13584363520 18611 33554432000 4194304 4196468 140730660144048 139658453451376 139658059185729 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 13265980 [startup+1.50103 s] /proc/loadavg: 1.66 1.82 2.04 7/282 7431 /proc/meminfo: memFree=28319660/32770624 swapFree=5884/301416 [pid=7411] ppid=7408 vsize=13268028 CPUtime=4.52 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 29293 0 0 0 424 28 0 0 20 0 20 0 5415669 13586460672 67140 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 3317007 67140 3802 1 0 3304722 0 [pid=7411/tid=7412] ppid=7408 vsize=13268028 CPUtime=1.4 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) R 7408 7411 8571 0 -1 4202560 11027 0 0 0 134 6 0 0 20 0 20 0 5415669 13586460672 67140 33554432000 4194304 4196468 140730660144048 139658453453096 139658449237053 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7414] ppid=7408 vsize=13268028 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7414/stat : 7414 (java) S 7408 7411 8571 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 20 0 5415670 13586460672 67140 33554432000 4194304 4196468 140730660144048 139658381351696 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7415] ppid=7408 vsize=13268028 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7415/stat : 7415 (java) S 7408 7411 8571 0 -1 1077944384 38 0 0 0 3 2 0 0 20 0 20 0 5415670 13586460672 67140 33554432000 4194304 4196468 140730660144048 139658380299152 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7416] ppid=7408 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7416/stat : 7416 (java) S 7408 7411 8571 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 20 0 5415670 13586460672 67140 33554432000 4194304 4196468 140730660144048 139658379246608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7417] ppid=7408 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7417/stat : 7417 (java) S 7408 7411 8571 0 -1 1077944384 61 0 0 0 2 1 0 0 20 0 20 0 5415670 13586460672 67140 33554432000 4194304 4196468 140730660144048 139658045394064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7418] ppid=7408 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7418/stat : 7418 (java) S 7408 7411 8571 0 -1 1077944384 50 0 0 0 1 2 0 0 20 0 20 0 5415670 13586460672 67140 33554432000 4194304 4196468 140730660144048 139658044340496 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7419] ppid=7408 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7419/stat : 7419 (java) S 7408 7411 8571 0 -1 1077944384 56 0 0 0 2 1 0 0 20 0 20 0 5415670 13586460672 67140 33554432000 4194304 4196468 140730660144048 139658043287952 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7420] ppid=7408 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7420/stat : 7420 (java) S 7408 7411 8571 0 -1 1077944384 256 0 0 0 2 2 0 0 20 0 20 0 5415670 13586460672 67140 33554432000 4194304 4196468 140730660144048 139658042235408 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7421] ppid=7408 vsize=13268028 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7421/stat : 7421 (java) S 7408 7411 8571 0 -1 1077944384 56 0 0 0 4 1 0 0 20 0 20 0 5415670 13586460672 67140 33554432000 4194304 4196468 140730660144048 139658041182864 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7422] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7422/stat : 7422 (java) S 7408 7411 8571 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 20 0 5415673 13586460672 67140 33554432000 4194304 4196468 140730660144048 139657980094960 139658449226370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7423] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7423/stat : 7423 (java) S 7408 7411 8571 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 5415673 13586460672 67140 33554432000 4194304 4196468 140730660144048 139657979041248 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7424] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7424/stat : 7424 (java) S 7408 7411 8571 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 5415674 13586460672 67140 33554432000 4194304 4196468 140730660144048 139657977988608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7425] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7425/stat : 7425 (java) S 7408 7411 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5415677 13586460672 67140 33554432000 4194304 4196468 140730660144048 139657976937168 139658449233819 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7426] ppid=7408 vsize=13268028 CPUtime=0.72 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7426/stat : 7426 (java) R 7408 7411 8571 0 -1 4202560 4641 0 0 0 71 1 0 0 20 0 20 0 5415677 13586460672 67140 33554432000 4194304 4196468 140730660144048 139657908045952 139658449229105 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7427] ppid=7408 vsize=13268028 CPUtime=0.73 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7427/stat : 7427 (java) R 7408 7411 8571 0 -1 4202560 3836 0 0 0 72 1 0 0 20 0 20 0 5415677 13586460672 67140 33554432000 4194304 4196468 140730660144048 139657906982472 139658426810000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7428] ppid=7408 vsize=13268028 CPUtime=0.73 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7428/stat : 7428 (java) R 7408 7411 8571 0 -1 4202560 4354 0 0 0 73 0 0 0 20 0 20 0 5415677 13586460672 67140 33554432000 4194304 4196468 140730660144048 139657905935232 139658434096991 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7429] ppid=7408 vsize=13268028 CPUtime=0.49 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7429/stat : 7429 (java) R 7408 7411 8571 0 -1 4202560 3159 0 0 0 49 0 0 0 20 0 20 0 5415677 13586460672 67140 33554432000 4194304 4196468 140730660144048 139657904896368 139658428143388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7430] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7430/stat : 7430 (java) S 7408 7411 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5415678 13586460672 67140 33554432000 4194304 4196468 140730660144048 139657903844064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7431] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7431/stat : 7431 (java) S 7408 7411 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5415678 13586460672 67140 33554432000 4194304 4196468 140730660144048 139657902791600 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 Current children cumulated CPU time (s) 4.52 Current children cumulated vsize (KiB) 13268028 [startup+3.10074 s] /proc/loadavg: 1.66 1.82 2.04 4/282 7431 /proc/meminfo: memFree=28089068/32770624 swapFree=5884/301380 [pid=7411] ppid=7408 vsize=13268028 CPUtime=9.77 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 34366 0 0 0 917 60 0 0 20 0 20 0 5415669 13586460672 113225 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 3317007 113225 3822 1 0 3304722 0 [pid=7411/tid=7412] ppid=7408 vsize=13268028 CPUtime=2.91 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) R 7408 7411 8571 0 -1 4202560 11493 0 0 0 283 8 0 0 20 0 20 0 5415669 13586460672 113225 33554432000 4194304 4196468 140730660144048 139658453451592 139658065933219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7414] ppid=7408 vsize=13268028 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7414/stat : 7414 (java) S 7408 7411 8571 0 -1 1077944384 95 0 0 0 6 5 0 0 20 0 20 0 5415670 13586460672 113225 33554432000 4194304 4196468 140730660144048 139658381351696 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7415] ppid=7408 vsize=13268028 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7415/stat : 7415 (java) S 7408 7411 8571 0 -1 1077944384 82 0 0 0 7 7 0 0 20 0 20 0 5415670 13586460672 113225 33554432000 4194304 4196468 140730660144048 139658380299152 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7416] ppid=7408 vsize=13268028 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7416/stat : 7416 (java) S 7408 7411 8571 0 -1 1077944384 785 0 0 0 6 4 0 0 20 0 20 0 5415670 13586460672 113225 33554432000 4194304 4196468 140730660144048 139658379246608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7417] ppid=7408 vsize=13268028 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7417/stat : 7417 (java) S 7408 7411 8571 0 -1 1077944384 100 0 0 0 6 5 0 0 20 0 20 0 5415670 13586460672 113225 33554432000 4194304 4196468 140730660144048 139658045394064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7418] ppid=7408 vsize=13268028 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7418/stat : 7418 (java) S 7408 7411 8571 0 -1 1077944384 106 0 0 0 7 5 0 0 20 0 20 0 5415670 13586460672 113225 33554432000 4194304 4196468 140730660144048 139658044340496 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7419] ppid=7408 vsize=13268028 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7419/stat : 7419 (java) S 7408 7411 8571 0 -1 1077944384 91 0 0 0 7 5 0 0 20 0 20 0 5415670 13586460672 113225 33554432000 4194304 4196468 140730660144048 139658043287952 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7420] ppid=7408 vsize=13268028 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7420/stat : 7420 (java) S 7408 7411 8571 0 -1 1077944384 292 0 0 0 6 7 0 0 20 0 20 0 5415670 13586460672 113225 33554432000 4194304 4196468 140730660144048 139658042235408 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7421] ppid=7408 vsize=13268028 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7421/stat : 7421 (java) S 7408 7411 8571 0 -1 1077944384 104 0 0 0 9 5 0 0 20 0 20 0 5415670 13586460672 113225 33554432000 4194304 4196468 140730660144048 139658041182864 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7422] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7422/stat : 7422 (java) S 7408 7411 8571 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 5415673 13586460672 113225 33554432000 4194304 4196468 140730660144048 139657980094960 139658449226370 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7423] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7423/stat : 7423 (java) S 7408 7411 8571 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 5415673 13586460672 113225 33554432000 4194304 4196468 140730660144048 139657979041248 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7424] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7424/stat : 7424 (java) S 7408 7411 8571 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 5415674 13586460672 113225 33554432000 4194304 4196468 140730660144048 139657977988608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7425] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7425/stat : 7425 (java) S 7408 7411 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5415677 13586460672 113225 33554432000 4194304 4196468 140730660144048 139657976937168 139658449233819 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7426] ppid=7408 vsize=13268028 CPUtime=1.75 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7426/stat : 7426 (java) S 7408 7411 8571 0 -1 1077944384 5292 0 0 0 174 1 0 0 20 0 20 0 5415677 13586460672 113225 33554432000 4194304 4196468 140730660144048 139657908054000 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7427] ppid=7408 vsize=13268028 CPUtime=1.82 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7427/stat : 7427 (java) S 7408 7411 8571 0 -1 1077944384 5972 0 0 0 181 1 0 0 20 0 20 0 5415677 13586460672 113225 33554432000 4194304 4196468 140730660144048 139657907001456 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7428] ppid=7408 vsize=13268028 CPUtime=1.6 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7428/stat : 7428 (java) S 7408 7411 8571 0 -1 1077944384 4683 0 0 0 160 0 0 0 20 0 20 0 5415677 13586460672 113225 33554432000 4194304 4196468 140730660144048 139657905948912 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7429] ppid=7408 vsize=13268028 CPUtime=0.6 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7429/stat : 7429 (java) S 7408 7411 8571 0 -1 1077944384 3407 0 0 0 59 1 0 0 20 0 20 0 5415677 13586460672 113225 33554432000 4194304 4196468 140730660144048 139657904896368 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7430] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7430/stat : 7430 (java) S 7408 7411 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5415678 13586460672 113225 33554432000 4194304 4196468 140730660144048 139657903844064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7431] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7431/stat : 7431 (java) S 7408 7411 8571 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 5415678 13586460672 113225 33554432000 4194304 4196468 140730660144048 139657902791600 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 Current children cumulated CPU time (s) 9.77 Current children cumulated vsize (KiB) 13268028 [startup+6.30081 s] /proc/loadavg: 1.69 1.83 2.04 3/282 7431 /proc/meminfo: memFree=27762984/32770624 swapFree=5884/301388 [pid=7411] ppid=7408 vsize=13268028 CPUtime=13.35 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 35107 0 0 0 1247 88 0 0 20 0 20 0 5415669 13586460672 177631 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 3317007 177631 3822 1 0 3304722 0 [pid=7411/tid=7412] ppid=7408 vsize=13268028 CPUtime=5.84 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) R 7408 7411 8571 0 -1 4202560 11699 0 0 0 573 11 0 0 20 0 20 0 5415669 13586460672 177631 33554432000 4194304 4196468 140730660144048 139658453451256 139658066134350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7414] ppid=7408 vsize=13268028 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7414/stat : 7414 (java) S 7408 7411 8571 0 -1 1077944384 118 0 0 0 9 8 0 0 20 0 20 0 5415670 13586460672 177631 33554432000 4194304 4196468 140730660144048 139658381351696 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7415] ppid=7408 vsize=13268028 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7415/stat : 7415 (java) S 7408 7411 8571 0 -1 1077944384 106 0 0 0 10 10 0 0 20 0 20 0 5415670 13586460672 177631 33554432000 4194304 4196468 140730660144048 139658380299152 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7416] ppid=7408 vsize=13268028 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7416/stat : 7416 (java) S 7408 7411 8571 0 -1 1077944384 810 0 0 0 9 7 0 0 20 0 20 0 5415670 13586460672 177631 33554432000 4194304 4196468 140730660144048 139658379246608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7417] ppid=7408 vsize=13268028 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7417/stat : 7417 (java) S 7408 7411 8571 0 -1 1077944384 121 0 0 0 10 8 0 0 20 0 20 0 5415670 13586460672 177631 33554432000 4194304 4196468 140730660144048 139658045394064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7418] ppid=7408 vsize=13268028 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7418/stat : 7418 (java) S 7408 7411 8571 0 -1 1077944384 148 0 0 0 11 8 0 0 20 0 20 0 5415670 13586460672 177631 33554432000 4194304 4196468 140730660144048 139658044340496 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7419] ppid=7408 vsize=13268028 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7419/stat : 7419 (java) S 7408 7411 8571 0 -1 1077944384 117 0 0 0 10 7 0 0 20 0 20 0 5415670 13586460672 177631 33554432000 4194304 4196468 140730660144048 139658043287952 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7420] ppid=7408 vsize=13268028 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7420/stat : 7420 (java) S 7408 7411 8571 0 -1 1077944384 313 0 0 0 10 10 0 0 20 0 20 0 5415670 13586460672 177631 33554432000 4194304 4196468 140730660144048 139658042235408 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7421] ppid=7408 vsize=13268028 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7421/stat : 7421 (java) S 7408 7411 8571 0 -1 1077944384 131 0 0 0 12 8 0 0 20 0 20 0 5415670 13586460672 177631 33554432000 4194304 4196468 140730660144048 139658041182864 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7422] ppid=7408 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7422/stat : 7422 (java) S 7408 7411 8571 0 -1 1077944384 714 0 0 0 1 0 0 0 20 0 20 0 5415673 13586460672 177631 33554432000 4194304 4196468 140730660144048 139657980094960 139658449226370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7423] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7423/stat : 7423 (java) S 7408 7411 8571 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 5415673 13586460672 177631 33554432000 4194304 4196468 140730660144048 139657979041248 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7424] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7424/stat : 7424 (java) S 7408 7411 8571 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 5415674 13586460672 177631 33554432000 4194304 4196468 140730660144048 139657977988608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7425] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ [pid=7411/tid=7427] ppid=7408 vsize=13268028 CPUtime=1.9 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7427/stat : 7427 (java) S 7408 7411 8571 0 -1 1077944384 6213 0 0 0 189 1 0 0 20 0 20 0 5415677 13586460672 511995 33554432000 4194304 4196468 140730660144048 139657907001456 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7428] ppid=7408 vsize=13268028 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7428/stat : 7428 (java) S 7408 7411 8571 0 -1 1077944384 5766 0 0 0 171 1 0 0 20 0 20 0 5415677 13586460672 511995 33554432000 4194304 4196468 140730660144048 139657905948912 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7429] ppid=7408 vsize=13268028 CPUtime=0.62 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7429/stat : 7429 (java) S 7408 7411 8571 0 -1 1077944384 3629 0 0 0 61 1 0 0 20 0 20 0 5415677 13586460672 511995 33554432000 4194304 4196468 140730660144048 139657904896368 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7430] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7430/stat : 7430 (java) S 7408 7411 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5415678 13586460672 511995 33554432000 4194304 4196468 140730660144048 139657903844064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7431] ppid=7408 vsize=13268028 CPUtime=1.18 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7431/stat : 7431 (java) S 7408 7411 8571 0 -1 1077944384 1725 0 0 0 63 55 0 0 20 0 20 0 5415678 13586460672 511995 33554432000 4194304 4196468 140730660144048 139657902791600 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 Current children cumulated CPU time (s) 2272.87 Current children cumulated vsize (KiB) 13268028 [startup+2262.3 s] /proc/loadavg: 1.20 1.33 1.39 3/281 7601 /proc/meminfo: memFree=27467108/32770624 swapFree=5884/303432 [pid=7411] ppid=7408 vsize=13268028 CPUtime=2334.47 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 240373 0 0 0 232939 508 0 0 20 0 20 0 5415669 13586460672 502761 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 3317007 502761 3839 1 0 3304722 0 [pid=7411/tid=7412] ppid=7408 vsize=13268028 CPUtime=2244.3 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) R 7408 7411 8571 0 -1 4202560 85227 0 0 0 224361 69 0 0 20 0 20 0 5415669 13586460672 502761 33554432000 4194304 4196468 140730660144048 139658453453376 139658066134591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7414] ppid=7408 vsize=13268028 CPUtime=9.78 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7414/stat : 7414 (java) S 7408 7411 8571 0 -1 1077944384 11851 0 0 0 930 48 0 0 20 0 20 0 5415670 13586460672 502761 33554432000 4194304 4196468 140730660144048 139658381351696 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7415] ppid=7408 vsize=13268028 CPUtime=9.7 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7415/stat : 7415 (java) S 7408 7411 8571 0 -1 1077944384 13422 0 0 0 922 48 0 0 20 0 20 0 5415670 13586460672 502761 33554432000 4194304 4196468 140730660144048 139658380299152 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7416] ppid=7408 vsize=13268028 CPUtime=9.89 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7416/stat : 7416 (java) S 7408 7411 8571 0 -1 1077944384 14004 0 0 0 941 48 0 0 20 0 20 0 5415670 13586460672 502761 33554432000 4194304 4196468 140730660144048 139658379246608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7417] ppid=7408 vsize=13268028 CPUtime=9.83 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7417/stat : 7417 (java) S 7408 7411 8571 0 -1 1077944384 12085 0 0 0 939 44 0 0 20 0 20 0 5415670 13586460672 502761 33554432000 4194304 4196468 140730660144048 139658045394064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7418] ppid=7408 vsize=13268028 CPUtime=9.8 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7418/stat : 7418 (java) S 7408 7411 8571 0 -1 1077944384 12892 0 0 0 936 44 0 0 20 0 20 0 5415670 13586460672 502761 33554432000 4194304 4196468 140730660144048 139658044340496 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7419] ppid=7408 vsize=13268028 CPUtime=9.8 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7419/stat : 7419 (java) S 7408 7411 8571 0 -1 1077944384 12945 0 0 0 936 44 0 0 20 0 20 0 5415670 13586460672 502761 33554432000 4194304 4196468 140730660144048 139658043287952 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7420] ppid=7408 vsize=13268028 CPUtime=9.76 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7420/stat : 7420 (java) S 7408 7411 8571 0 -1 1077944384 12999 0 0 0 928 48 0 0 20 0 20 0 5415670 13586460672 502761 33554432000 4194304 4196468 140730660144048 139658042235408 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7421] ppid=7408 vsize=13268028 CPUtime=9.92 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7421/stat : 7421 (java) S 7408 7411 8571 0 -1 1077944384 13104 0 0 0 948 44 0 0 20 0 20 0 5415670 13586460672 502761 33554432000 4194304 4196468 140730660144048 139658041182864 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7422] ppid=7408 vsize=13268028 CPUtime=4.28 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7422/stat : 7422 (java) S 7408 7411 8571 0 -1 1077944384 27467 0 0 0 375 53 0 0 20 0 20 0 5415673 13586460672 502761 33554432000 4194304 4196468 140730660144048 139657980094960 139658449226370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7423] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7423/stat : 7423 (java) S 7408 7411 8571 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5415673 13586460672 502761 33554432000 4194304 4196468 140730660144048 139657979041248 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7424] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7424/stat : 7424 (java) S 7408 7411 8571 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 5415674 13586460672 502761 33554432000 4194304 4196468 140730660144048 139657977988608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7425] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7425/stat : 7425 (java) S 7408 7411 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5415677 13586460672 502761 33554432000 4194304 4196468 140730660144048 139657976937168 139658449233819 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7426] ppid=7408 vsize=13268028 CPUtime=1.8 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7426/stat : 7426 (java) S 7408 7411 8571 0 -1 1077944384 5525 0 0 0 179 1 0 0 20 0 20 0 5415677 13586460672 502761 33554432000 4194304 4196468 140730660144048 139657908054000 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 31 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7427] ppid=7408 vsize=13268028 CPUtime=1.9 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7427/stat : 7427 (java) S 7408 7411 8571 0 -1 1077944384 6219 0 0 0 189 1 0 0 20 0 20 0 5415677 13586460672 502761 33554432000 4194304 4196468 140730660144048 139657907001456 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7428] ppid=7408 vsize=13268028 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7428/stat : 7428 (java) S 7408 7411 8571 0 -1 1077944384 5772 0 0 0 171 1 0 0 20 0 20 0 5415677 13586460672 502761 33554432000 4194304 4196468 140730660144048 139657905948912 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7429] ppid=7408 vsize=13268028 CPUtime=0.62 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7429/stat : 7429 (java) S 7408 7411 8571 0 -1 1077944384 3635 0 0 0 61 1 0 0 20 0 20 0 5415677 13586460672 502761 33554432000 4194304 4196468 140730660144048 139657904896368 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7430] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7430/stat : 7430 (java) S 7408 7411 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5415678 13586460672 502761 33554432000 4194304 4196468 140730660144048 139657903844064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7431] ppid=7408 vsize=13268028 CPUtime=1.22 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7431/stat : 7431 (java) S 7408 7411 8571 0 -1 1077944384 1766 0 0 0 65 57 0 0 20 0 20 0 5415678 13586460672 502761 33554432000 4194304 4196468 140730660144048 139657902791600 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 Current children cumulated CPU time (s) 2334.47 Current children cumulated vsize (KiB) 13268028 [startup+2322.3 s] /proc/loadavg: 1.71 1.46 1.44 3/281 7609 /proc/meminfo: memFree=27537168/32770624 swapFree=5884/303512 [pid=7411] ppid=7408 vsize=13268028 CPUtime=2396.23 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 242843 0 0 0 239107 516 0 0 20 0 20 0 5415669 13586460672 493912 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 3317007 493912 3839 1 0 3304722 0 [pid=7411/tid=7412] ppid=7408 vsize=13268028 CPUtime=2303.82 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) R 7408 7411 8571 0 -1 4202560 86695 0 0 0 230312 70 0 0 20 0 20 0 5415669 13586460672 493912 33554432000 4194304 4196468 140730660144048 139658453453472 139658066724492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7414] ppid=7408 vsize=13268028 CPUtime=10.04 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7414/stat : 7414 (java) S 7408 7411 8571 0 -1 1077944384 11982 0 0 0 956 48 0 0 20 0 20 0 5415670 13586460672 493912 33554432000 4194304 4196468 140730660144048 139658381351696 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7415] ppid=7408 vsize=13268028 CPUtime=9.99 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7415/stat : 7415 (java) S 7408 7411 8571 0 -1 1077944384 13465 0 0 0 950 49 0 0 20 0 20 0 5415670 13586460672 493912 33554432000 4194304 4196468 140730660144048 139658380299152 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7416] ppid=7408 vsize=13268028 CPUtime=10.15 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7416/stat : 7416 (java) S 7408 7411 8571 0 -1 1077944384 14064 0 0 0 967 48 0 0 20 0 20 0 5415670 13586460672 493912 33554432000 4194304 4196468 140730660144048 139658379246608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7417] ppid=7408 vsize=13268028 CPUtime=10.06 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7417/stat : 7417 (java) S 7408 7411 8571 0 -1 1077944384 12209 0 0 0 962 44 0 0 20 0 20 0 5415670 13586460672 493912 33554432000 4194304 4196468 140730660144048 139658045394064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7418] ppid=7408 vsize=13268028 CPUtime=10.07 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7418/stat : 7418 (java) S 7408 7411 8571 0 -1 1077944384 12993 0 0 0 963 44 0 0 20 0 20 0 5415670 13586460672 493912 33554432000 4194304 4196468 140730660144048 139658044340496 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7419] ppid=7408 vsize=13268028 CPUtime=10.05 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7419/stat : 7419 (java) S 7408 7411 8571 0 -1 1077944384 13131 0 0 0 960 45 0 0 20 0 20 0 5415670 13586460672 493912 33554432000 4194304 4196468 140730660144048 139658043287952 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7420] ppid=7408 vsize=13268028 CPUtime=10.01 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7420/stat : 7420 (java) S 7408 7411 8571 0 -1 1077944384 13056 0 0 0 953 48 0 0 20 0 20 0 5415670 13586460672 493912 33554432000 4194304 4196468 140730660144048 139658042235408 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7421] ppid=7408 vsize=13268028 CPUtime=10.18 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7421/stat : 7421 (java) S 7408 7411 8571 0 -1 1077944384 13217 0 0 0 974 44 0 0 20 0 20 0 5415670 13586460672 493912 33554432000 4194304 4196468 140730660144048 139658041182864 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7422] ppid=7408 vsize=13268028 CPUtime=4.4 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7422/stat : 7422 (java) S 7408 7411 8571 0 -1 1077944384 27611 0 0 0 385 55 0 0 20 0 20 0 5415673 13586460672 493912 33554432000 4194304 4196468 140730660144048 139657980094960 139658449226370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7423] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7423/stat : 7423 (java) S 7408 7411 8571 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5415673 13586460672 493912 33554432000 4194304 4196468 140730660144048 139657979041248 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7424] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7424/stat : 7424 (java) S 7408 7411 8571 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 5415674 13586460672 493912 33554432000 4194304 4196468 140730660144048 139657977988608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7425] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7425/stat : 7425 (java) S 7408 7411 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5415677 13586460672 493912 33554432000 4194304 4196468 140730660144048 139657976937168 139658449233819 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7426] ppid=7408 vsize=13268028 CPUtime=1.8 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7426/stat : 7426 (java) S 7408 7411 8571 0 -1 1077944384 5529 0 0 0 179 1 0 0 20 0 20 0 5415677 13586460672 493912 33554432000 4194304 4196468 140730660144048 139657908054000 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 31 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7427] ppid=7408 vsize=13268028 CPUtime=1.9 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7427/stat : 7427 (java) S 7408 7411 8571 0 -1 1077944384 6223 0 0 0 189 1 0 0 20 0 20 0 5415677 13586460672 493912 33554432000 4194304 4196468 140730660144048 139657907001456 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7428] ppid=7408 vsize=13268028 CPUtime=1.73 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7428/stat : 7428 (java) S 7408 7411 8571 0 -1 1077944384 5776 0 0 0 172 1 0 0 20 0 20 0 5415677 13586460672 493912 33554432000 4194304 4196468 140730660144048 139657905948912 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7429] ppid=7408 vsize=13268028 CPUtime=0.62 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7429/stat : 7429 (java) S 7408 7411 8571 0 -1 1077944384 3640 0 0 0 61 1 0 0 20 0 20 0 5415677 13586460672 493912 33554432000 4194304 4196468 140730660144048 139657904896368 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7430] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7430/stat : 7430 (java) S 7408 7411 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5415678 13586460672 493912 33554432000 4194304 4196468 140730660144048 139657903844064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7431] ppid=7408 vsize=13268028 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7431/stat : 7431 (java) S 7408 7411 8571 0 -1 1077944384 1792 0 0 0 66 59 0 0 20 0 20 0 5415678 13586460672 493912 33554432000 4194304 4196468 140730660144048 139657902791600 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 Current children cumulated CPU time (s) 2396.23 Current children cumulated vsize (KiB) 13268028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2326 s] /proc/loadavg: 1.74 1.47 1.44 3/281 7609 /proc/meminfo: memFree=27541228/32770624 swapFree=5884/303508 [pid=7411] ppid=7408 vsize=13268028 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14 /proc/7411/stat : 7411 (java) S 7408 7411 8571 0 -1 1077944320 242860 0 0 0 239487 517 0 0 20 0 20 0 5415669 13586460672 493271 33554432000 4194304 4196468 140730660144048 140730660126592 139658449215223 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 /proc/7411/statm: 3317007 493271 3839 1 0 3304722 0 [pid=7411/tid=7412] ppid=7408 vsize=13268028 CPUtime=2307.49 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7412/stat : 7412 (java) R 7408 7411 8571 0 -1 4202560 86707 0 0 0 230679 70 0 0 20 0 20 0 5415669 13586460672 493271 33554432000 4194304 4196468 140730660144048 139658453453632 139658066333050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7414] ppid=7408 vsize=13268028 CPUtime=10.06 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7414/stat : 7414 (java) S 7408 7411 8571 0 -1 1077944384 11982 0 0 0 958 48 0 0 20 0 20 0 5415670 13586460672 493271 33554432000 4194304 4196468 140730660144048 139658381351696 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7415] ppid=7408 vsize=13268028 CPUtime=10 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7415/stat : 7415 (java) S 7408 7411 8571 0 -1 1077944384 13467 0 0 0 951 49 0 0 20 0 20 0 5415670 13586460672 493271 33554432000 4194304 4196468 140730660144048 139658380299152 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7416] ppid=7408 vsize=13268028 CPUtime=10.17 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7416/stat : 7416 (java) S 7408 7411 8571 0 -1 1077944384 14064 0 0 0 969 48 0 0 20 0 20 0 5415670 13586460672 493271 33554432000 4194304 4196468 140730660144048 139658379246608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7417] ppid=7408 vsize=13268028 CPUtime=10.08 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7417/stat : 7417 (java) S 7408 7411 8571 0 -1 1077944384 12209 0 0 0 964 44 0 0 20 0 20 0 5415670 13586460672 493271 33554432000 4194304 4196468 140730660144048 139658045394064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7418] ppid=7408 vsize=13268028 CPUtime=10.08 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7418/stat : 7418 (java) S 7408 7411 8571 0 -1 1077944384 12996 0 0 0 964 44 0 0 20 0 20 0 5415670 13586460672 493271 33554432000 4194304 4196468 140730660144048 139658044340496 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7419] ppid=7408 vsize=13268028 CPUtime=10.07 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7419/stat : 7419 (java) S 7408 7411 8571 0 -1 1077944384 13131 0 0 0 962 45 0 0 20 0 20 0 5415670 13586460672 493271 33554432000 4194304 4196468 140730660144048 139658043287952 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7420] ppid=7408 vsize=13268028 CPUtime=10.03 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7420/stat : 7420 (java) S 7408 7411 8571 0 -1 1077944384 13056 0 0 0 954 49 0 0 20 0 20 0 5415670 13586460672 493271 33554432000 4194304 4196468 140730660144048 139658042235408 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7421] ppid=7408 vsize=13268028 CPUtime=10.19 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7421/stat : 7421 (java) S 7408 7411 8571 0 -1 1077944384 13217 0 0 0 975 44 0 0 20 0 20 0 5415670 13586460672 493271 33554432000 4194304 4196468 140730660144048 139658041182864 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7422] ppid=7408 vsize=13268028 CPUtime=4.41 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7422/stat : 7422 (java) S 7408 7411 8571 0 -1 1077944384 27611 0 0 0 386 55 0 0 20 0 20 0 5415673 13586460672 493271 33554432000 4194304 4196468 140730660144048 139657980094960 139658449226370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7423] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7423/stat : 7423 (java) S 7408 7411 8571 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5415673 13586460672 493271 33554432000 4194304 4196468 140730660144048 139657979041248 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7424] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7424/stat : 7424 (java) S 7408 7411 8571 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 5415674 13586460672 493271 33554432000 4194304 4196468 140730660144048 139657977988608 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7425] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7425/stat : 7425 (java) S 7408 7411 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5415677 13586460672 493271 33554432000 4194304 4196468 140730660144048 139657976937168 139658449233819 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7426] ppid=7408 vsize=13268028 CPUtime=1.8 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7426/stat : 7426 (java) S 7408 7411 8571 0 -1 1077944384 5529 0 0 0 179 1 0 0 20 0 20 0 5415677 13586460672 493271 33554432000 4194304 4196468 140730660144048 139657908054000 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 31 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7427] ppid=7408 vsize=13268028 CPUtime=1.9 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7427/stat : 7427 (java) S 7408 7411 8571 0 -1 1077944384 6223 0 0 0 189 1 0 0 20 0 20 0 5415677 13586460672 493271 33554432000 4194304 4196468 140730660144048 139657907001456 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7428] ppid=7408 vsize=13268028 CPUtime=1.73 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7428/stat : 7428 (java) S 7408 7411 8571 0 -1 1077944384 5776 0 0 0 172 1 0 0 20 0 20 0 5415677 13586460672 493271 33554432000 4194304 4196468 140730660144048 139657905948912 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7429] ppid=7408 vsize=13268028 CPUtime=0.62 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7429/stat : 7429 (java) S 7408 7411 8571 0 -1 1077944384 3640 0 0 0 61 1 0 0 20 0 20 0 5415677 13586460672 493271 33554432000 4194304 4196468 140730660144048 139657904896368 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7430] ppid=7408 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7430/stat : 7430 (java) S 7408 7411 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5415678 13586460672 493271 33554432000 4194304 4196468 140730660144048 139657903844064 139658449225429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 [pid=7411/tid=7431] ppid=7408 vsize=13268028 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/7411/task/7431/stat : 7431 (java) S 7408 7411 8571 0 -1 1077944384 1792 0 0 0 66 59 0 0 20 0 20 0 5415678 13586460672 493271 33554432000 4194304 4196468 140730660144048 139657902791600 139658449226370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 19308544 140730660152458 140730660152644 140730660152644 140730660155343 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 13268028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7411 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2326.04 CPU time (s): 2400.1 CPU user time (s): 2394.92 CPU system time (s): 5.18126 CPU usage (%): 103.184 Max. virtual memory (cumulated for all children) (KiB): 13268028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2394.92 system time used= 5.18126 maximum resident set size= 3476216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 243428 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 237412 involuntary context switches= 168678 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.261 second user time and 20.4283 second system time The end
Begin job on node126 at 2017-07-22 07:31:19 IDJOB=4245533 IDBENCH=122943 IDSOLVER=2628 FILE ID=node126/4245533-1500701479 RUNJOBID= node126-1500697134-6764 PBS_JOBID= 20623339 Free space on /tmp= 61940 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-12-350-100.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245533-1500701479/watcher-4245533-1500701479 -o /tmp/evaluation-result-4245533-1500701479/solver-4245533-1500701479 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500697134-6764 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 335611508 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245533-1500701479.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 498e8e69e2f573dee371e4fc9819ce0a RANDOM SEED=335611508 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28462352 kB MemAvailable: 28756164 kB Buffers: 122908 kB Cached: 451744 kB SwapCached: 0 kB Active: 3554600 kB Inactive: 309988 kB Active(anon): 3292744 kB Inactive(anon): 8656 kB Active(file): 261856 kB Inactive(file): 301332 kB Unevictable: 5884 kB Mlocked: 5884 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 41820 kB Writeback: 0 kB AnonPages: 3378408 kB Mapped: 44780 kB Shmem: 8840 kB Slab: 126208 kB SReclaimable: 92916 kB SUnreclaim: 33292 kB KernelStack: 4880 kB PageTables: 11904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4179460 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3241984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61900 MiB End job on node126 at 2017-07-22 08:10:05