0.27/0.38 c version: 2017-08-22
0.27/0.38 c seed: 111164669
0.27/0.38 c timeout: 20160
0.27/0.38 c memlimit: 22000
0.27/0.38 c nbcore: 8
0.27/0.40 c Parsing instance...
1.35/0.84 c Parsing done, starting search...
17.62/5.30 o 350
19.28/5.45 o 349
19.28/5.45 o 348
19.28/5.45 o 347
19.28/5.45 o 346
19.28/5.48 o 345
19.98/5.56 o 344
19.98/5.58 o 343
19.98/5.58 o 342
19.98/5.60 o 341
20.77/5.62 o 340
20.77/5.63 o 339
20.77/5.65 o 338
20.77/5.66 o 337
20.77/5.67 o 336
20.77/5.68 o 335
21.55/5.71 o 334
21.55/5.71 o 333
21.55/5.72 o 332
21.55/5.72 o 331
21.55/5.73 o 330
21.55/5.74 o 329
21.55/5.75 o 328
21.55/5.75 o 327
21.55/5.77 o 326
21.55/5.77 o 325
21.55/5.77 o 324
21.55/5.79 o 323
21.55/5.79 o 322
21.55/5.80 o 321
21.55/5.80 o 320
22.37/5.81 o 319
22.37/5.81 o 318
22.37/5.83 o 317
22.37/5.83 o 316
22.37/5.83 o 315
22.37/5.84 o 314
22.37/5.84 o 313
22.37/5.85 o 312
22.37/5.86 o 311
22.37/5.88 o 310
22.37/5.88 o 309
22.37/5.88 o 308
22.37/5.89 o 307
22.37/5.89 o 306
22.37/5.89 o 305
22.37/5.89 o 304
23.09/5.90 o 303
23.09/5.90 o 302
23.09/5.90 o 301
23.09/5.90 o 300
23.09/5.92 o 299
23.09/5.92 o 298
23.09/5.92 o 297
23.09/5.92 o 296
23.09/5.92 o 295
23.09/5.92 o 294
23.09/5.94 o 293
23.09/5.94 o 292
23.09/5.94 o 291
23.09/5.94 o 290
23.09/5.96 o 289
23.09/5.96 o 288
23.09/5.97 o 287
23.09/5.97 o 286
23.09/5.97 o 285
23.09/5.99 o 284
23.09/5.99 o 283
23.09/6.00 o 282
23.09/6.02 o 281
23.09/6.02 o 280
23.09/6.02 o 279
24.02/6.02 o 278
24.02/6.02 o 277
24.02/6.03 o 276
24.02/6.04 o 275
24.02/6.04 o 274
24.02/6.04 o 273
24.02/6.04 o 272
24.02/6.05 o 271
24.02/6.05 o 270
24.02/6.06 o 269
24.02/6.06 o 268
24.02/6.06 o 267
24.02/6.07 o 266
24.02/6.07 o 265
24.02/6.07 o 264
24.02/6.07 o 263
24.02/6.08 o 262
24.02/6.09 o 261
24.02/6.09 o 260
24.02/6.09 o 259
24.02/6.10 o 258
24.02/6.10 o 257
24.02/6.10 o 256
24.74/6.11 o 255
24.74/6.11 o 254
24.74/6.11 o 253
24.74/6.12 o 252
24.74/6.12 o 251
24.74/6.12 o 250
24.74/6.14 o 249
24.74/6.14 o 248
24.74/6.14 o 247
24.74/6.14 o 246
24.74/6.15 o 245
24.74/6.15 o 244
24.74/6.15 o 243
24.74/6.16 o 242
24.74/6.16 o 241
24.74/6.16 o 240
24.74/6.17 o 239
24.74/6.17 o 238
24.74/6.17 o 237
24.74/6.18 o 236
24.74/6.18 o 235
24.74/6.19 o 234
24.74/6.19 o 233
25.46/6.20 o 232
25.46/6.20 o 231
25.46/6.20 o 230
25.46/6.21 o 229
25.46/6.21 o 228
25.46/6.21 o 227
25.46/6.22 o 226
25.46/6.22 o 225
25.46/6.22 o 224
25.46/6.22 o 223
25.46/6.23 o 222
25.46/6.24 o 221
25.46/6.24 o 220
25.46/6.25 o 219
25.46/6.25 o 218
25.46/6.25 o 217
25.46/6.26 o 216
25.46/6.26 o 215
25.46/6.27 o 214
25.46/6.27 o 213
25.46/6.27 o 212
25.46/6.28 o 211
25.46/6.28 o 210
25.46/6.28 o 209
25.46/6.29 o 208
25.46/6.29 o 207
25.46/6.29 o 206
25.46/6.30 o 205
25.46/6.30 o 204
25.46/6.30 o 203
26.31/6.31 o 202
26.31/6.31 o 201
26.31/6.32 o 200
26.31/6.33 o 199
26.31/6.33 o 198
26.31/6.33 o 197
26.31/6.33 o 196
26.31/6.34 o 195
26.31/6.34 o 194
26.31/6.34 o 193
26.31/6.35 o 192
26.31/6.35 o 191
26.31/6.36 o 190
26.31/6.36 o 189
26.31/6.36 o 188
26.31/6.36 o 187
26.31/6.37 o 186
26.31/6.37 o 185
26.31/6.37 o 184
26.31/6.37 o 183
26.31/6.38 o 182
26.31/6.38 o 181
26.31/6.39 o 180
26.31/6.39 o 179
26.31/6.39 o 178
26.31/6.40 o 177
26.31/6.40 o 176
26.31/6.40 o 175
27.14/6.41 o 174
27.14/6.41 o 173
27.14/6.41 o 172
27.14/6.42 o 171
27.14/6.42 o 170
27.14/6.42 o 169
27.14/6.42 o 168
27.14/6.42 o 167
27.14/6.42 o 166
27.14/6.43 o 165
27.14/6.44 o 164
27.14/6.44 o 163
27.14/6.45 o 162
27.14/6.45 o 161
27.14/6.45 o 160
27.14/6.46 o 159
27.14/6.46 o 158
27.14/6.46 o 157
27.14/6.46 o 156
27.14/6.47 o 155
27.14/6.47 o 154
27.14/6.47 o 153
27.14/6.48 o 152
27.14/6.48 o 151
27.14/6.48 o 150
27.14/6.49 o 149
27.14/6.49 o 148
27.14/6.49 o 147
27.85/6.50 o 146
27.85/6.50 o 145
27.85/6.50 o 144
27.85/6.51 o 143
27.85/6.51 o 142
27.85/6.51 o 141
27.85/6.52 o 140
27.85/6.52 o 139
27.85/6.52 o 138
27.85/6.53 o 137
27.85/6.53 o 136
27.85/6.53 o 135
27.85/6.54 o 134
27.85/6.54 o 133
27.85/6.54 o 132
27.85/6.55 o 131
27.85/6.55 o 130
27.85/6.55 o 129
27.85/6.55 o 128
27.85/6.55 o 127
27.85/6.56 o 126
27.85/6.57 o 125
27.85/6.57 o 124
27.85/6.57 o 123
27.85/6.58 o 122
27.85/6.58 o 121
27.85/6.58 o 120
27.85/6.59 o 119
27.85/6.59 o 118
27.85/6.59 o 117
28.65/6.60 o 116
28.65/6.60 o 115
28.65/6.61 o 114
28.65/6.61 o 113
28.65/6.61 o 112
28.65/6.61 o 111
28.65/6.62 o 110
28.65/6.62 o 109
28.65/6.63 o 108
28.65/6.63 o 107
28.65/6.63 o 106
28.65/6.64 o 105
28.65/6.64 o 104
28.65/6.64 o 103
28.65/6.64 o 102
28.65/6.65 o 101
28.65/6.65 o 100
55.63/10.21 o 99
91.44/14.71 o 98
1332.17/170.49 o 97
20060.96/2520.07 s SATISFIABLE
20060.96/2520.08 v <instantiation>
20060.96/2520.08 v <list>
20060.96/2520.08 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]
20060.96/2520.08 v </list>
20060.96/2520.08 v <values>
20060.96/2520.08 v 97 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 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 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 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 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 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 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 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 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 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 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 1 1 1 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 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 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 1 1 1 0 0 0 0 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 1 1 1 1 1 1 1 1 0 0 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 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 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 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
20060.96/2520.08 v </values>
20060.96/2520.08 v </instantiation>
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14915 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284850-1503420958/watcher-4284850-1503420958 -o /tmp/evaluation-result-4284850-1503420958/solver-4284850-1503420958 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1503398602-29012 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 111164669 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284850-1503420958.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31723, runsolver pid=31720
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 1.00 1.96 4.90 2/181 31731
/proc/meminfo: memFree=30981776/32770624 swapFree=67108860/67108860
[pid=31723] ppid=31720 vsize=25300336 memory=14460 CPUtime=0.01 cores=0-7
/proc/31723/stat : 31723 (java) S 31720 31723 28956 0 -1 1077944320 3460 0 0 0 1 0 0 0 20 0 10 0 144288705 25907544064 3615 18446744073709551615 4194304 4196468 140720604281312 140720604263856 139649921072887 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
/proc/31723/statm: 6325084 3615 1912 1 0 6314581 0
[pid=31723/tid=31725] ppid=31720 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28956 0 -1 4202560 2144 0 0 0 0 0 0 0 20 0 10 0 144288715 25907544064 3615 18446744073709551615 4194304 4196468 140720604281312 139649925309008 139649905153374 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31726] ppid=31720 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31726/stat : 31726 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 144288715 25907544064 3615 18446744073709551615 4194304 4196468 140720604281312 139649878039312 139649921083093 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31727] ppid=31720 vsize=25300336 memory=139808249738880 CPUtime=0 cores=0-7
/proc/31723/task/31727/stat : 31727 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 144288715 25907544064 3615 18446744073709551615 4194304 4196468 140720604281312 139649876986768 139649921083093 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31728] ppid=31720 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31728/stat : 31728 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 144288715 25907544064 3615 18446744073709551615 4194304 4196468 140720604281312 139649875934224 139649921083093 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31729] ppid=31720 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31729/stat : 31729 (java) S 31720 31723 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 144288715 25907544064 3615 18446744073709551615 4194304 4196468 140720604281312 139649874881680 139649921083093 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31730] ppid=31720 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31730/stat : 31730 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 144288715 25907544064 3615 18446744073709551615 4194304 4196468 140720604281312 139649873828112 139649921083093 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31731] ppid=31720 vsize=25300336 memory=-1 CPUtime=0 cores=0-7
/proc/31723/task/31731/stat : 31731 (java) S 31720 31723 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 144288715 25907544064 3615 18446744073709551615 4194304 4196468 140720604281312 139649872775568 139649921083093 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31732] ppid=31720 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31732/stat : 31732 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 144288715 25907544064 3615 18446744073709551615 4194304 4196468 140720604281312 139649871723024 139649921083093 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31733] ppid=31720 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31733/stat : 31733 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 144288715 25907544064 3615 18446744073709551615 4194304 4196468 140720604281312 139649870670480 139649921083093 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 25300336 KiB
Current children cumulated memory: 14460 KiB
[startup+0.209733 s]*
/proc/loadavg: 1.00 1.96 4.90 3/193 31743
/proc/meminfo: memFree=30971024/32770624 swapFree=67108860/67108860
[pid=31723] ppid=31720 vsize=25997632 memory=30704 CPUtime=0.11 cores=0-7
/proc/31723/stat : 31723 (java) S 31720 31723 28956 0 -1 1077944320 7493 0 0 0 10 1 0 0 20 0 20 0 144288705 26621575168 7676 18446744073709551615 4194304 4196468 140720604281312 140720604263856 139649921072887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
/proc/31723/statm: 6499408 7676 3365 1 0 6488186 0
[pid=31723/tid=31725] ppid=31720 vsize=25997632 memory=4026532046 CPUtime=0.07 cores=0-7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28956 0 -1 4202560 5511 0 0 0 7 0 0 0 20 0 20 0 144288715 26621575168 7742 18446744073709551615 4194304 4196468 140720604281312 139649925289568 139649913752605 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31726] ppid=31720 vsize=25997632 memory=14042 CPUtime=0 cores=0-7
/proc/31723/task/31726/stat : 31726 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26621575168 7742 18446744073709551615 4194304 4196468 140720604281312 139649878039312 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31727] ppid=31720 vsize=25997632 memory=3616864806215349920 CPUtime=0 cores=0-7
/proc/31723/task/31727/stat : 31727 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26621575168 7742 18446744073709551615 4194304 4196468 140720604281312 139649876986768 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31728] ppid=31720 vsize=25997632 memory=-1 CPUtime=0 cores=0-7
/proc/31723/task/31728/stat : 31728 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139649875934224 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31729] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31729/stat : 31729 (java) S 31720 31723 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144288715 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139649874881680 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31730] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31730/stat : 31730 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139649873828112 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31731] ppid=31720 vsize=25997632 memory=-1 CPUtime=0 cores=0-7
/proc/31723/task/31731/stat : 31731 (java) S 31720 31723 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144288715 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139649872775568 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31732] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31732/stat : 31732 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139649871723024 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31733] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31733/stat : 31733 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139649870670480 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31734] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31734/stat : 31734 (java) S 31720 31723 28956 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 144288717 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139648131619312 139649921084034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31735] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31735/stat : 31735 (java) S 31720 31723 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144288717 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139648130565536 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31736] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31736/stat : 31736 (java) S 31720 31723 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144288717 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139648129512944 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31737] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31737/stat : 31737 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288720 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139648128461520 139649921091483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31738] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31738/stat : 31738 (java) S 31720 31723 28956 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 144288720 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139648127408112 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31739] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31739/stat : 31739 (java) S 31720 31723 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144288720 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139648126355568 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31740] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31740/stat : 31740 (java) S 31720 31723 28956 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 144288720 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139648125303024 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31741] ppid=31720 vsize=25997632 memory=-1 CPUtime=0.01 cores=0-7
/proc/31723/task/31741/stat : 31741 (java) S 31720 31723 28956 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 20 0 144288720 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139648124250480 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31742] ppid=31720 vsize=25997632 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31742/stat : 31742 (java) S 31720 31723 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144288720 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139648123198176 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31743] ppid=31720 vsize=25997632 memory=-1 CPUtime=0 cores=0-7
/proc/31723/task/31743/stat : 31743 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288723 26621575168 7808 18446744073709551615 4194304 4196468 140720604281312 139648122145712 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 25997632 KiB
Current children cumulated memory: 30704 KiB
[startup+0.313818 s]*
/proc/loadavg: 1.00 1.96 4.90 2/193 31743
/proc/meminfo: memFree=30960700/32770624 swapFree=67108860/67108860
[pid=31723] ppid=31720 vsize=25996608 memory=38840 CPUtime=0.27 cores=0-7
/proc/31723/stat : 31723 (java) S 31720 31723 28956 0 -1 1077944320 11012 0 0 0 24 3 0 0 20 0 20 0 144288705 26620526592 9710 18446744073709551615 4194304 4196468 140720604281312 140720604263856 139649921072887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
/proc/31723/statm: 6499152 9710 3498 1 0 6487930 0
[pid=31723/tid=31725] ppid=31720 vsize=25996608 memory=-8774313645642428999 CPUtime=0.18 cores=0-7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28956 0 -1 4202560 8725 0 0 0 16 2 0 0 20 0 20 0 144288715 26620526592 9710 18446744073709551615 4194304 4196468 140720604281312 139649925285728 139649882033851 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31726] ppid=31720 vsize=25996608 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/31723/task/31726/stat : 31726 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26620526592 9710 18446744073709551615 4194304 4196468 140720604281312 139649878039312 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31727] ppid=31720 vsize=25996608 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/31723/task/31727/stat : 31727 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26620526592 9710 18446744073709551615 4194304 4196468 140720604281312 139649876986768 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31728] ppid=31720 vsize=25996608 memory=-2895008908443675764 CPUtime=0 cores=0-7
/proc/31723/task/31728/stat : 31728 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139649875934224 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31729] ppid=31720 vsize=25996608 memory=-7595490506177102494 CPUtime=0 cores=0-7
/proc/31723/task/31729/stat : 31729 (java) S 31720 31723 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144288715 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139649874881680 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31730] ppid=31720 vsize=25996608 memory=-7533229591079788448 CPUtime=0 cores=0-7
/proc/31723/task/31730/stat : 31730 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139649873828112 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31731] ppid=31720 vsize=25996608 memory=4196912344889787449 CPUtime=0 cores=0-7
/proc/31723/task/31731/stat : 31731 (java) S 31720 31723 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144288715 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139649872775568 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31732] ppid=31720 vsize=25996608 memory=-8813974798734826869 CPUtime=0 cores=0-7
/proc/31723/task/31732/stat : 31732 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139649871723024 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31733] ppid=31720 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/31723/task/31733/stat : 31733 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139649870670480 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31734] ppid=31720 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31734/stat : 31734 (java) S 31720 31723 28956 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 144288717 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139648131619312 139649921084034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31735] ppid=31720 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31735/stat : 31735 (java) S 31720 31723 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144288717 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139648130565536 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31736] ppid=31720 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31736/stat : 31736 (java) S 31720 31723 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144288717 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139648129512944 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31737] ppid=31720 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31737/stat : 31737 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288720 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139648128461520 139649921091483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31738] ppid=31720 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31738/stat : 31738 (java) R 31720 31723 28956 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 20 0 144288720 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139648127408112 139649921094234 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31739] ppid=31720 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31739/stat : 31739 (java) S 31720 31723 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144288720 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139648126355568 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31740] ppid=31720 vsize=25996608 memory=0 CPUtime=0.01 cores=0-7
/proc/31723/task/31740/stat : 31740 (java) S 31720 31723 28956 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 20 0 144288720 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139648125303024 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31741] ppid=31720 vsize=25996608 memory=0 CPUtime=0.05 cores=0-7
/proc/31723/task/31741/stat : 31741 (java) S 31720 31723 28956 0 -1 1077944384 387 0 0 0 5 0 0 0 20 0 20 0 144288720 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139648124250480 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31742] ppid=31720 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31742/stat : 31742 (java) S 31720 31723 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144288720 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139648123198176 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31743] ppid=31720 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31743/stat : 31743 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288723 26620526592 9774 18446744073709551615 4194304 4196468 140720604281312 139648122145712 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 25996608 KiB
Current children cumulated memory: 38840 KiB
[startup+0.700914 s]
/proc/loadavg: 1.00 1.96 4.90 3/192 31743
/proc/meminfo: memFree=30946392/32770624 swapFree=67108860/67108860
[pid=31723] ppid=31720 vsize=25998676 memory=71648 CPUtime=1.05 cores=0-7
/proc/31723/stat : 31723 (java) S 31720 31723 28956 0 -1 1077944320 14116 0 0 0 100 5 0 0 20 0 20 0 144288705 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 140720604263856 139649921072887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
/proc/31723/statm: 6499669 17912 3736 1 0 6488442 0
[pid=31723/tid=31725] ppid=31720 vsize=25998676 memory=0 CPUtime=0.56 cores=0-7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28956 0 -1 4202560 10679 0 0 0 53 3 0 0 20 0 20 0 144288715 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139649925309296 139649921084822 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31726] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31726/stat : 31726 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139649878039312 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31727] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31727/stat : 31727 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139649876986768 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31728] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31728/stat : 31728 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139649875934224 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31729] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31729/stat : 31729 (java) S 31720 31723 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144288715 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139649874881680 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31730] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31730/stat : 31730 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139649873828112 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31731] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31731/stat : 31731 (java) S 31720 31723 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144288715 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139649872775568 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31732] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31732/stat : 31732 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139649871723024 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31733] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31733/stat : 31733 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288715 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139649870670480 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31734] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31734/stat : 31734 (java) S 31720 31723 28956 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 144288717 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139648131619312 139649921084034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31735] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31735/stat : 31735 (java) S 31720 31723 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144288717 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139648130565536 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31736] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31736/stat : 31736 (java) S 31720 31723 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144288717 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139648129512944 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31737] ppid=31720 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/31723/task/31737/stat : 31737 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288720 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139648128461520 139649921091483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31738] ppid=31720 vsize=25998676 memory=0 CPUtime=0.09 cores=0-7
/proc/31723/task/31738/stat : 31738 (java) S 31720 31723 28956 0 -1 1077944384 385 0 0 0 9 0 0 0 20 0 20 0 144288720 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139648127408112 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31739] ppid=31720 vsize=25998676 memory=0 CPUtime=0.09 cores=0-7
/proc/31723/task/31739/stat : 31739 (java) S 31720 31723 28956 0 -1 1077944384 241 0 0 0 9 0 0 0 20 0 20 0 144288720 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139648126355568 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31740] ppid=31720 vsize=25998676 memory=-8774313645642428999 CPUtime=0.09 cores=0-7
/proc/31723/task/31740/stat : 31740 (java) R 31720 31723 28956 0 -1 4202560 754 0 0 0 9 0 0 0 20 0 20 0 144288720 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139648125303024 139649905470032 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31741] ppid=31720 vsize=25998676 memory=2160 CPUtime=0.19 cores=0-7
/proc/31723/task/31741/stat : 31741 (java) R 31720 31723 28956 0 -1 4202560 674 0 0 0 19 0 0 0 20 0 20 0 144288720 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139648124250480 139649914169723 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31742] ppid=31720 vsize=25998676 memory=844 CPUtime=0 cores=0-7
/proc/31723/task/31742/stat : 31742 (java) S 31720 31723 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144288720 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139648123198176 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31743] ppid=31720 vsize=25998676 memory=16448 CPUtime=0 cores=0-7
/proc/31723/task/31743/stat : 31743 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144288723 26622644224 17912 18446744073709551615 4194304 4196468 140720604281312 139648122145712 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 25998676 KiB
################
# More data... #
################
[pid=31723/tid=31753] ppid=31720 vsize=27739616 memory=-8774313645642428999 CPUtime=2469.73 cores=0-7
/proc/31723/task/31753/stat : 31753 (java) R 31720 31723 28956 0 -1 4202560 88541 0 0 0 246786 187 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647359339392 139649540595140 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31754] ppid=31720 vsize=27739616 memory=8312964 CPUtime=2480.19 cores=0-7
/proc/31723/task/31754/stat : 31754 (java) R 31720 31723 28956 0 -1 4202560 72181 0 0 0 247901 118 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647358286232 139649541525036 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31755] ppid=31720 vsize=27739616 memory=8312964 CPUtime=0.16 cores=0-7
/proc/31723/task/31755/stat : 31755 (java) S 31720 31723 28956 0 -1 1077944384 44 0 0 0 16 0 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647357240336 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31756] ppid=31720 vsize=27739616 memory=8312964 CPUtime=0 cores=0-7
/proc/31723/task/31756/stat : 31756 (java) S 31720 31723 28956 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647356187664 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31757] ppid=31720 vsize=27739616 memory=1296 CPUtime=2470.24 cores=0-7
/proc/31723/task/31757/stat : 31757 (java) R 31720 31723 28956 0 -1 4202560 84150 0 0 0 246875 149 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647355129464 139649541988038 0 4 1 16800974 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31758] ppid=31720 vsize=27739616 memory=2420 CPUtime=0.01 cores=0-7
/proc/31723/task/31758/stat : 31758 (java) S 31720 31723 28956 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 46 0 144289145 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647354082704 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31759] ppid=31720 vsize=27739616 memory=1732 CPUtime=0 cores=0-7
/proc/31723/task/31759/stat : 31759 (java) S 31720 31723 28956 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 46 0 144289243 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647350896016 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31760] ppid=31720 vsize=27739616 memory=5788 CPUtime=0 cores=0-7
/proc/31723/task/31760/stat : 31760 (java) S 31720 31723 28956 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 144289244 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647349843600 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31761] ppid=31720 vsize=27739616 memory=8312964 CPUtime=0 cores=0-7
/proc/31723/task/31761/stat : 31761 (java) S 31720 31723 28956 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 144289245 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647348790928 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31762] ppid=31720 vsize=27739616 memory=8312964 CPUtime=0 cores=0-7
/proc/31723/task/31762/stat : 31762 (java) S 31720 31723 28956 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 144289250 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647347737488 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31763] ppid=31720 vsize=27739616 memory=4028 CPUtime=0 cores=0-7
/proc/31723/task/31763/stat : 31763 (java) S 31720 31723 28956 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 46 0 144289251 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647346684944 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31764] ppid=31720 vsize=27739616 memory=77108 CPUtime=0.01 cores=0-7
/proc/31723/task/31764/stat : 31764 (java) S 31720 31723 28956 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 46 0 144289253 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647345632400 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31765] ppid=31720 vsize=27739616 memory=1296 CPUtime=0 cores=0-7
/proc/31723/task/31765/stat : 31765 (java) S 31720 31723 28956 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 46 0 144289253 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647344579856 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31766] ppid=31720 vsize=27739616 memory=2420 CPUtime=0 cores=0-7
/proc/31723/task/31766/stat : 31766 (java) S 31720 31723 28956 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 46 0 144289258 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647343527312 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31767] ppid=31720 vsize=27739616 memory=796 CPUtime=0 cores=0-7
/proc/31723/task/31767/stat : 31767 (java) S 31720 31723 28956 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 144289264 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647342474640 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31768] ppid=31720 vsize=27739616 memory=11200 CPUtime=0 cores=0-7
/proc/31723/task/31768/stat : 31768 (java) S 31720 31723 28956 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 144289267 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647341422096 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31769] ppid=31720 vsize=27739616 memory=8312964 CPUtime=0 cores=0-7
/proc/31723/task/31769/stat : 31769 (java) S 31720 31723 28956 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 144289273 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647340369680 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
Current children cumulated CPU time: 19919.8 s
Current children cumulated vsize: 27739616 KiB
Current children cumulated memory: 8312964 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.60 8.78 8.55 10/218 31897
/proc/meminfo: memFree=22672524/32770624 swapFree=67108860/67108860
[pid=31723] ppid=31720 vsize=27739616 memory=8312964 CPUtime=20061 cores=0-7
/proc/31723/stat : 31723 (java) S 31720 31723 28956 0 -1 1077944320 1008850 0 0 0 2004260 1836 0 0 20 0 46 0 144288705 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 140720604263856 139649921072887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
/proc/31723/statm: 6934904 2078241 3835 1 0 6923156 0
[pid=31723/tid=31725] ppid=31720 vsize=27739616 memory=-8774313645642428999 CPUtime=3.7 cores=0-7
/proc/31723/task/31725/stat : 31725 (java) S 31720 31723 28956 0 -1 1077944384 17582 0 0 0 359 11 0 0 20 0 46 0 144288715 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139649925310592 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31726] ppid=31720 vsize=27739616 memory=4126316290023845779 CPUtime=13.67 cores=0-7
/proc/31723/task/31726/stat : 31726 (java) S 31720 31723 28956 0 -1 1077944384 25284 0 0 0 1308 59 0 0 20 0 46 0 144288715 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139649878039312 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31727] ppid=31720 vsize=27739616 memory=-8774313645642428999 CPUtime=13.82 cores=0-7
/proc/31723/task/31727/stat : 31727 (java) S 31720 31723 28956 0 -1 1077944384 23526 0 0 0 1321 61 0 0 20 0 46 0 144288715 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139649876986768 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31728] ppid=31720 vsize=27739616 memory=1000 CPUtime=13.77 cores=0-7
/proc/31723/task/31728/stat : 31728 (java) S 31720 31723 28956 0 -1 1077944384 29702 0 0 0 1318 59 0 0 20 0 46 0 144288715 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139649875934224 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31729] ppid=31720 vsize=27739616 memory=8312964 CPUtime=13.74 cores=0-7
/proc/31723/task/31729/stat : 31729 (java) S 31720 31723 28956 0 -1 1077944384 24623 0 0 0 1315 59 0 0 20 0 46 0 144288715 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139649874881680 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31730] ppid=31720 vsize=27739616 memory=11200 CPUtime=13.78 cores=0-7
/proc/31723/task/31730/stat : 31730 (java) S 31720 31723 28956 0 -1 1077944384 24785 0 0 0 1314 64 0 0 20 0 46 0 144288715 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139649873828112 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31731] ppid=31720 vsize=27739616 memory=1732 CPUtime=13.74 cores=0-7
/proc/31723/task/31731/stat : 31731 (java) S 31720 31723 28956 0 -1 1077944384 27461 0 0 0 1308 66 0 0 20 0 46 0 144288715 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139649872775568 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31732] ppid=31720 vsize=27739616 memory=5788 CPUtime=13.78 cores=0-7
/proc/31723/task/31732/stat : 31732 (java) S 31720 31723 28956 0 -1 1077944384 23608 0 0 0 1318 60 0 0 20 0 46 0 144288715 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139649871723024 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31733] ppid=31720 vsize=27739616 memory=4612 CPUtime=13.72 cores=0-7
/proc/31723/task/31733/stat : 31733 (java) S 31720 31723 28956 0 -1 1077944384 27781 0 0 0 1313 59 0 0 20 0 46 0 144288715 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139649870670480 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31734] ppid=31720 vsize=27739616 memory=8312964 CPUtime=0.66 cores=0-7
/proc/31723/task/31734/stat : 31734 (java) S 31720 31723 28956 0 -1 1077944384 43725 0 0 0 57 9 0 0 20 0 46 0 144288717 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648131619312 139649921084034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31735] ppid=31720 vsize=27739616 memory=8312964 CPUtime=0 cores=0-7
/proc/31723/task/31735/stat : 31735 (java) S 31720 31723 28956 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 46 0 144288717 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648130565600 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31736] ppid=31720 vsize=27739616 memory=4068 CPUtime=0 cores=0-7
/proc/31723/task/31736/stat : 31736 (java) S 31720 31723 28956 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 46 0 144288717 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648129512960 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31737] ppid=31720 vsize=27739616 memory=1152 CPUtime=0 cores=0-7
/proc/31723/task/31737/stat : 31737 (java) S 31720 31723 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 144288720 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648128461520 139649921091483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31738] ppid=31720 vsize=27739616 memory=4516 CPUtime=2.97 cores=0-7
/proc/31723/task/31738/stat : 31738 (java) S 31720 31723 28956 0 -1 1077944384 9285 0 0 0 294 3 0 0 20 0 46 0 144288720 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648127408112 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31739] ppid=31720 vsize=27739616 memory=8312964 CPUtime=2.81 cores=0-7
/proc/31723/task/31739/stat : 31739 (java) S 31720 31723 28956 0 -1 1077944384 7399 0 0 0 279 2 0 0 20 0 46 0 144288720 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648126355568 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31740] ppid=31720 vsize=27739616 memory=8312964 CPUtime=3.17 cores=0-7
/proc/31723/task/31740/stat : 31740 (java) S 31720 31723 28956 0 -1 1077944384 14316 0 0 0 314 3 0 0 20 0 46 0 144288720 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648125303024 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31741] ppid=31720 vsize=27739616 memory=4126316290023845779 CPUtime=1.04 cores=0-7
/proc/31723/task/31741/stat : 31741 (java) S 31720 31723 28956 0 -1 1077944384 14130 0 0 0 101 3 0 0 20 0 46 0 144288720 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648124250480 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31742] ppid=31720 vsize=27739616 memory=1228 CPUtime=0 cores=0-7
/proc/31723/task/31742/stat : 31742 (java) S 31720 31723 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 144288720 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648123198176 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31743] ppid=31720 vsize=27739616 memory=12216 CPUtime=1.03 cores=0-7
/proc/31723/task/31743/stat : 31743 (java) S 31720 31723 28956 0 -1 1077944384 3156 0 0 0 51 52 0 0 20 0 46 0 144288723 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648122145712 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31744] ppid=31720 vsize=27739616 memory=1992 CPUtime=0.01 cores=0-7
/proc/31723/task/31744/stat : 31744 (java) S 31720 31723 28956 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 46 0 144289075 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139648111854880 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31745] ppid=31720 vsize=27739616 memory=279616198332736 CPUtime=5.08 cores=0-7
/proc/31723/task/31745/stat : 31745 (java) S 31720 31723 28956 0 -1 1077944384 9823 0 0 0 287 221 0 0 20 0 46 0 144289088 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647369864864 139649921084034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31746] ppid=31720 vsize=27739616 memory=8242832241811678803 CPUtime=0.2 cores=0-7
/proc/31723/task/31746/stat : 31746 (java) S 31720 31723 28956 0 -1 1077944384 162 0 0 0 20 0 0 0 20 0 46 0 144289098 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647366714256 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31747] ppid=31720 vsize=27739616 memory=-8774313645642428999 CPUtime=0.16 cores=0-7
/proc/31723/task/31747/stat : 31747 (java) S 31720 31723 28956 0 -1 1077944384 77 0 0 0 16 0 0 0 20 0 46 0 144289099 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647365661584 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31748] ppid=31720 vsize=27739616 memory=4876 CPUtime=2497.71 cores=0-7
/proc/31723/task/31748/stat : 31748 (java) R 31720 31723 28956 0 -1 4202560 87673 0 0 0 249592 179 0 0 20 0 46 0 144289099 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647364602664 139649543112946 0 4 1 16800974 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31749] ppid=31720 vsize=27739616 memory=4068 CPUtime=2487.26 cores=0-7
/proc/31723/task/31749/stat : 31749 (java) R 31720 31723 28956 0 -1 4202560 69143 0 0 0 248596 130 0 0 20 0 46 0 144289099 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647363552592 139649540857848 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31750] ppid=31720 vsize=27739616 memory=1152 CPUtime=2490.96 cores=0-7
/proc/31723/task/31750/stat : 31750 (java) R 31720 31723 28956 0 -1 4202560 93428 0 0 0 248909 187 0 0 20 0 46 0 144289099 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647362497088 139649541988356 0 4 1 16800974 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31751] ppid=31720 vsize=27739616 memory=4516 CPUtime=2494.82 cores=0-7
/proc/31723/task/31751/stat : 31751 (java) R 31720 31723 28956 0 -1 4202560 88265 0 0 0 249326 156 0 0 20 0 46 0 144289101 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647361445080 139649537948215 0 4 1 16800974 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31752] ppid=31720 vsize=27739616 memory=8312964 CPUtime=2485.79 cores=0-7
/proc/31723/task/31752/stat : 31752 (java) R 31720 31723 28956 0 -1 4202560 93666 0 0 0 248390 189 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647360392488 139649540120033 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31753] ppid=31720 vsize=27739616 memory=-8774313645642428999 CPUtime=2487.36 cores=0-7
/proc/31723/task/31753/stat : 31753 (java) R 31720 31723 28956 0 -1 4202560 89826 0 0 0 248548 188 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647359339880 139649540593079 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31754] ppid=31720 vsize=27739616 memory=4126316290023845779 CPUtime=2497.82 cores=0-7
/proc/31723/task/31754/stat : 31754 (java) R 31720 31723 28956 0 -1 4202560 73050 0 0 0 249663 119 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647358286288 139649541771855 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31755] ppid=31720 vsize=27739616 memory=932 CPUtime=0.16 cores=0-7
/proc/31723/task/31755/stat : 31755 (java) S 31720 31723 28956 0 -1 1077944384 44 0 0 0 16 0 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647357240336 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31756] ppid=31720 vsize=27739616 memory=1624 CPUtime=0 cores=0-7
/proc/31723/task/31756/stat : 31756 (java) S 31720 31723 28956 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647356187664 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31757] ppid=31720 vsize=27739616 memory=2160 CPUtime=2487.83 cores=0-7
/proc/31723/task/31757/stat : 31757 (java) R 31720 31723 28956 0 -1 4202560 84925 0 0 0 248633 150 0 0 20 0 46 0 144289102 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647355128744 139649541570868 0 4 1 16800974 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31758] ppid=31720 vsize=27739616 memory=844 CPUtime=0.01 cores=0-7
/proc/31723/task/31758/stat : 31758 (java) S 31720 31723 28956 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 46 0 144289145 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647354082704 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31759] ppid=31720 vsize=27739616 memory=16448 CPUtime=0 cores=0-7
/proc/31723/task/31759/stat : 31759 (java) S 31720 31723 28956 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 46 0 144289243 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647350896016 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31760] ppid=31720 vsize=27739616 memory=4876 CPUtime=0 cores=0-7
/proc/31723/task/31760/stat : 31760 (java) S 31720 31723 28956 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 144289244 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647349843600 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31761] ppid=31720 vsize=27739616 memory=302022848351043610 CPUtime=0 cores=0-7
/proc/31723/task/31761/stat : 31761 (java) S 31720 31723 28956 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 144289245 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647348790928 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31762] ppid=31720 vsize=27739616 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/31723/task/31762/stat : 31762 (java) S 31720 31723 28956 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 144289250 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647347737488 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31763] ppid=31720 vsize=27739616 memory=13563795322702378 CPUtime=0 cores=0-7
/proc/31723/task/31763/stat : 31763 (java) S 31720 31723 28956 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 46 0 144289251 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647346684944 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31764] ppid=31720 vsize=27739616 memory=1788 CPUtime=0.01 cores=0-7
/proc/31723/task/31764/stat : 31764 (java) S 31720 31723 28956 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 46 0 144289253 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647345632400 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31765] ppid=31720 vsize=27739616 memory=640 CPUtime=0 cores=0-7
/proc/31723/task/31765/stat : 31765 (java) S 31720 31723 28956 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 46 0 144289253 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647344579856 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31766] ppid=31720 vsize=27739616 memory=960 CPUtime=0 cores=0-7
/proc/31723/task/31766/stat : 31766 (java) S 31720 31723 28956 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 46 0 144289258 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647343527312 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31767] ppid=31720 vsize=27739616 memory=1232 CPUtime=0 cores=0-7
/proc/31723/task/31767/stat : 31767 (java) S 31720 31723 28956 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 144289264 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647342474640 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31768] ppid=31720 vsize=27739616 memory=2248 CPUtime=0 cores=0-7
/proc/31723/task/31768/stat : 31768 (java) S 31720 31723 28956 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 144289267 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647341422096 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
[pid=31723/tid=31769] ppid=31720 vsize=27739616 memory=4300 CPUtime=0 cores=0-7
/proc/31723/task/31769/stat : 31769 (java) S 31720 31723 28956 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 144289273 28405366784 2078241 18446744073709551615 4194304 4196468 140720604281312 139647340369680 139649921083093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9482240 140720604287340 140720604287525 140720604287525 140720604291023 0
Current children cumulated CPU time: 20061 s
Current children cumulated vsize: 27739616 KiB
Current children cumulated memory: 8312964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.15 s]
# the end of solver process 31723 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20043.4 s, system=18.4069 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.12 s]*
/proc/loadavg: 8.60 8.78 8.55 2/174 31899
/proc/meminfo: memFree=26699156/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.15
CPU time (s): 20061.8
CPU user time (s): 20043.4
CPU system time (s): 18.4069
CPU usage (%): 796.055
Max. virtual memory (cumulated for all children) (KiB): 27739616
Max. memory (cumulated for all children) (KiB): 8313988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20043.4
system time used= 18.4069
maximum resident set size= 8314420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1011575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309905
involuntary context switches= 414921
# summary of solver processes directly reported to runsolver:
# pid: 31723
# total CPU time (s): 20061.8
# total CPU user time (s): 20043.4
# total CPU system time (s): 18.4069
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.0659 second user time and 37.9842 second system time
The end
Begin job on node127 at 2017-08-22 18:41:45
IDJOB=4284850
IDBENCH=122943
IDSOLVER=2681
FILE ID=node127/4284850-1503420958
RUNJOBID= node127-1503398602-29012
PBS_JOBID=
Free space on /tmp= 62032 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-12-350-100.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284850-1503420958/watcher-4284850-1503420958 -o /tmp/evaluation-result-4284850-1503420958/solver-4284850-1503420958 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1503398602-29012 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 111164669 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284850-1503420958.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 498e8e69e2f573dee371e4fc9819ce0a
RANDOM SEED=111164669
node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.92
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.92
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.92
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.92
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 : 4
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:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30986220 kB
MemAvailable: 31951532 kB
Buffers: 317828 kB
Cached: 958264 kB
SwapCached: 0 kB
Active: 924268 kB
Inactive: 408696 kB
Active(anon): 7740 kB
Inactive(anon): 107320 kB
Active(file): 916528 kB
Inactive(file): 301376 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42316 kB
Writeback: 4 kB
AnonPages: 56912 kB
Mapped: 68596 kB
Shmem: 58020 kB
Slab: 152688 kB
SReclaimable: 126488 kB
SUnreclaim: 26200 kB
KernelStack: 3072 kB
PageTables: 4760 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 329784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 61988 MiB
End job on node127 at 2017-08-22 19:23:46