0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280437-1503124472.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4280437-1503124472.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
2.87/0.99 c solve instance...
11.02/2.10 o 350
11.72/2.13 o 349
11.72/2.14 o 348
11.72/2.15 o 347
11.72/2.16 o 346
11.72/2.17 o 345
11.72/2.18 o 344
11.72/2.19 o 343
12.22/2.21 o 342
12.22/2.22 o 341
12.22/2.23 o 340
12.22/2.24 o 339
12.22/2.25 o 338
12.22/2.27 o 337
12.22/2.28 o 336
12.22/2.28 o 335
12.22/2.29 o 334
12.79/2.30 o 333
12.79/2.31 o 332
12.79/2.34 o 331
12.79/2.35 o 330
12.79/2.36 o 329
12.79/2.37 o 328
12.79/2.38 o 327
12.79/2.39 o 326
12.79/2.39 o 325
13.42/2.40 o 324
13.42/2.41 o 323
13.42/2.42 o 322
13.42/2.43 o 321
13.42/2.44 o 320
13.42/2.45 o 319
13.42/2.46 o 318
13.42/2.47 o 317
13.42/2.47 o 316
13.42/2.48 o 315
13.42/2.49 o 314
13.93/2.50 o 313
13.93/2.51 o 312
13.93/2.52 o 311
13.93/2.53 o 310
13.93/2.54 o 309
13.93/2.54 o 308
13.93/2.55 o 307
13.93/2.56 o 306
13.93/2.57 o 305
13.93/2.58 o 304
13.93/2.59 o 303
14.51/2.63 o 302
14.51/2.63 o 301
14.51/2.64 o 300
14.51/2.65 o 299
14.51/2.66 o 298
14.51/2.67 o 297
14.51/2.68 o 296
14.51/2.68 o 295
14.51/2.69 o 294
15.02/2.70 o 293
15.02/2.71 o 292
15.02/2.72 o 291
15.02/2.73 o 290
15.02/2.74 o 289
15.02/2.74 o 288
15.02/2.75 o 287
15.02/2.76 o 286
15.02/2.77 o 285
15.02/2.78 o 284
15.02/2.79 o 283
15.02/2.80 o 282
15.54/2.80 o 281
15.54/2.81 o 280
15.54/2.82 o 279
15.54/2.83 o 278
15.54/2.84 o 277
15.54/2.85 o 276
15.54/2.86 o 275
15.54/2.86 o 274
15.54/2.87 o 273
15.54/2.88 o 272
16.07/2.92 o 271
16.07/2.93 o 270
16.07/2.93 o 269
16.07/2.94 o 268
16.07/2.95 o 267
16.07/2.95 o 266
16.07/2.96 o 265
16.07/2.97 o 264
16.07/2.98 o 263
16.07/2.99 o 262
16.07/2.99 o 261
16.07/3.00 o 260
16.07/3.01 o 259
16.73/3.02 o 258
16.73/3.03 o 257
16.73/3.04 o 256
16.73/3.05 o 255
16.73/3.05 o 254
16.73/3.06 o 253
16.73/3.07 o 252
16.73/3.08 o 251
16.73/3.09 o 250
16.73/3.10 o 249
16.73/3.10 o 248
17.29/3.11 o 247
17.29/3.12 o 246
17.29/3.13 o 245
17.29/3.14 o 244
17.29/3.15 o 243
17.29/3.15 o 242
17.29/3.19 o 241
17.79/3.20 o 240
17.79/3.21 o 239
17.79/3.22 o 238
17.79/3.22 o 237
17.79/3.23 o 236
17.79/3.24 o 235
17.79/3.25 o 234
17.79/3.26 o 233
17.79/3.27 o 232
17.79/3.28 o 231
17.79/3.28 o 230
17.79/3.29 o 229
18.43/3.30 o 228
18.43/3.31 o 227
18.43/3.32 o 226
18.43/3.32 o 225
18.43/3.33 o 224
18.43/3.34 o 223
18.43/3.34 o 222
18.43/3.35 o 221
18.43/3.36 o 220
18.43/3.37 o 219
18.43/3.38 o 218
18.43/3.39 o 217
18.43/3.40 o 216
18.97/3.41 o 215
18.97/3.42 o 214
18.97/3.43 o 213
18.97/3.43 o 212
18.97/3.44 o 211
18.97/3.45 o 210
18.97/3.46 o 209
18.97/3.47 o 208
18.97/3.48 o 207
18.97/3.49 o 206
18.97/3.50 o 205
19.46/3.51 o 204
19.46/3.55 o 203
19.46/3.55 o 202
19.46/3.56 o 201
19.46/3.57 o 200
19.46/3.58 o 199
19.46/3.58 o 198
19.46/3.59 o 197
20.10/3.60 o 196
20.10/3.61 o 195
20.10/3.62 o 194
20.10/3.63 o 193
20.10/3.64 o 192
20.10/3.64 o 64
21.58/3.83 o 63
22.30/3.99 o 62
23.16/4.08 o 61
23.91/4.18 o 60
24.61/4.28 o 59
25.38/4.38 o 58
26.15/4.47 o 57
26.93/4.57 o 56
27.70/4.67 o 55
28.47/4.77 o 54
29.25/4.86 o 53
30.88/5.01 o 52
31.66/5.14 o 51
32.35/5.23 o 50
33.94/5.43 o 49
34.72/5.59 o 48
37.10/5.82 o 47
38.72/6.04 o 46
40.25/6.27 o 45
41.82/6.49 o 44
44.19/6.71 o 43
45.77/6.94 o 42
47.39/7.16 o 41
48.87/7.38 o 40
51.24/7.62 o 39
52.82/7.83 o 38
54.44/8.06 o 37
55.94/8.27 o 36
57.51/8.48 o 35
59.08/8.68 o 34
60.63/8.87 o 33
63.07/9.15 o 32
65.36/9.43 o 31
67.70/9.73 o 30
70.12/10.01 o 29
71.64/10.29 o 28
74.02/10.57 o 27
76.38/10.84 o 26
78.81/11.12 o 25
3956.13/497.11 o 24
7060.49/886.20 o 23
20096.77/2520.08 s SATISFIABLE
20096.77/2520.08 v <instantiation>
20096.77/2520.08 v <list>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] </list>
20096.77/2520.08 v <values>23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 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 1 1 1 1 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 1 1 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 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 0 0 1 0 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 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 </values>
20096.77/2520.08 v </instantiation>
20096.77/2520.08 c Unexpected resolution interruption!
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 (14379 MiB free)
memory of node 1: 16384 MiB (13960 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280437-1503124472/watcher-4280437-1503124472 -o /tmp/evaluation-result-4280437-1503124472/solver-4280437-1503124472 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503121049-787 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1692265401 HOME/instance-4280437-1503124472.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
Current StackSize limit: 8192 KiB
solver pid=1114, runsolver pid=1111
[startup+0.100139 s]*
/proc/loadavg: 4.68 7.32 7.94 2/199 1143
/proc/meminfo: memFree=29003844/32770624 swapFree=67108860/67108860
[pid=1114] ppid=1111 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1114/stat : 1114 (xcsp3-exec) S 1111 1114 760 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145535392 9740288 346 33554432000 4194304 5098028 140724469303440 140724469301544 140057962099324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28405760 140724469310564 140724469310775 140724469310775 140724469313515 0
/proc/1114/statm: 2378 346 289 221 0 87 0
[pid=1116] ppid=1114 vsize=25999808 memory=26664 CPUtime=0.11 cores=0-7
/proc/1116/stat : 1116 (java) S 1114 1114 760 0 -1 1077944320 5601 0 0 0 10 1 0 0 20 0 20 0 145535392 26623803392 6666 33554432000 4194304 4196468 140726871144448 140726871126992 139933729050359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
/proc/1116/statm: 6499952 6666 2838 1 0 6488269 0
[pid=1116/tid=1117] ppid=1114 vsize=25999808 memory=8390339637985935414 CPUtime=0.09 cores=0-7
/proc/1116/task/1117/stat : 1117 (java) R 1114 1114 760 0 -1 4202560 3610 0 0 0 8 1 0 0 20 0 20 0 145535393 26623803392 6666 33554432000 4194304 4196468 140726871144448 139933733276080 139933729062294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1118] ppid=1114 vsize=25999808 memory=288230604707987479 CPUtime=0 cores=0-7
/proc/1116/task/1118/stat : 1118 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535394 26623803392 6666 33554432000 4194304 4196468 140726871144448 139933681670800 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1119] ppid=1114 vsize=25999808 memory=288370041043244672 CPUtime=0 cores=0-7
/proc/1116/task/1119/stat : 1119 (java) S 1114 1114 760 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145535394 26623803392 6666 33554432000 4194304 4196468 140726871144448 139933680618000 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1120] ppid=1114 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1116/task/1120/stat : 1120 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26623803392 6666 33554432000 4194304 4196468 140726871144448 139933679565200 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1121] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1121/stat : 1121 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26623803392 6666 33554432000 4194304 4196468 140726871144448 139933678512400 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1122] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1122/stat : 1122 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535394 26623803392 6666 33554432000 4194304 4196468 140726871144448 139933677460624 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1123] ppid=1114 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1116/task/1123/stat : 1123 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26623803392 6666 33554432000 4194304 4196468 140726871144448 139933676407824 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1124] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1124/stat : 1124 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535394 26623803392 6666 33554432000 4194304 4196468 140726871144448 139933675355024 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1125] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1125/stat : 1125 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26623803392 6666 33554432000 4194304 4196468 140726871144448 139933674302224 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1126] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1126/stat : 1126 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535395 26623803392 6666 33554432000 4194304 4196468 140726871144448 139931933493616 139933729061506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1127] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1127/stat : 1127 (java) S 1114 1114 760 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145535396 26623803392 6666 33554432000 4194304 4196468 140726871144448 139931932439584 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1128] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1128/stat : 1128 (java) S 1114 1114 760 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145535396 26623803392 6666 33554432000 4194304 4196468 140726871144448 139931931386736 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1129] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1129/stat : 1129 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535398 26623803392 6666 33554432000 4194304 4196468 140726871144448 139931930335056 139933729068955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1130] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1130/stat : 1130 (java) R 1114 1114 760 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 145535398 26623803392 6666 33554432000 4194304 4196468 140726871144448 139931929283440 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1131] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1131/stat : 1131 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535398 26623803392 6666 33554432000 4194304 4196468 140726871144448 139931928230640 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1133] ppid=1114 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1116/task/1133/stat : 1133 (java) S 1114 1114 760 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 145535398 26623803392 6666 33554432000 4194304 4196468 140726871144448 139931927177840 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1134] ppid=1114 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/1116/task/1134/stat : 1134 (java) R 1114 1114 760 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 145535398 26623803392 6666 33554432000 4194304 4196468 140726871144448 139931926125040 139933729071706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1136] ppid=1114 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1136/stat : 1136 (java) S 1114 1114 760 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145535398 26623803392 6666 33554432000 4194304 4196468 140726871144448 139931925072480 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1143] ppid=1114 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1116/task/1143/stat : 1143 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535399 26623803392 6666 33554432000 4194304 4196468 140726871144448 139931924019760 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28048 KiB
[startup+0.21552 s]*
/proc/loadavg: 4.68 7.32 7.94 3/199 1143
/proc/meminfo: memFree=28993408/32770624 swapFree=67108860/67108860
[pid=1114] ppid=1111 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1114/stat : 1114 (xcsp3-exec) S 1111 1114 760 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145535392 9740288 346 33554432000 4194304 5098028 140724469303440 140724469301544 140057962099324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28405760 140724469310564 140724469310775 140724469310775 140724469313515 0
/proc/1114/statm: 2378 346 289 221 0 87 0
[pid=1116] ppid=1114 vsize=26004064 memory=38528 CPUtime=0.33 cores=0-7
/proc/1116/stat : 1116 (java) S 1114 1114 760 0 -1 1077944320 8298 0 0 0 31 2 0 0 20 0 20 0 145535392 26628161536 9632 33554432000 4194304 4196468 140726871144448 140726871126992 139933729050359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
/proc/1116/statm: 6501016 9632 3053 1 0 6488269 0
[pid=1116/tid=1117] ppid=1114 vsize=26004064 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/1116/task/1117/stat : 1117 (java) R 1114 1114 760 0 -1 4202560 5561 0 0 0 18 2 0 0 20 0 20 0 145535393 26628161536 9632 33554432000 4194304 4196468 140726871144448 139933733261280 139933729072285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1118] ppid=1114 vsize=26004064 memory=288230604707987479 CPUtime=0 cores=0-7
/proc/1116/task/1118/stat : 1118 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 9632 33554432000 4194304 4196468 140726871144448 139933681670800 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1119] ppid=1114 vsize=26004064 memory=288370041043244672 CPUtime=0 cores=0-7
/proc/1116/task/1119/stat : 1119 (java) S 1114 1114 760 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 9632 33554432000 4194304 4196468 140726871144448 139933680618000 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1120] ppid=1114 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1116/task/1120/stat : 1120 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 9632 33554432000 4194304 4196468 140726871144448 139933679565200 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1121] ppid=1114 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1121/stat : 1121 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 9632 33554432000 4194304 4196468 140726871144448 139933678512400 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1122] ppid=1114 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1122/stat : 1122 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 9632 33554432000 4194304 4196468 140726871144448 139933677460624 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1123] ppid=1114 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1116/task/1123/stat : 1123 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 9632 33554432000 4194304 4196468 140726871144448 139933676407824 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1124] ppid=1114 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1124/stat : 1124 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 9632 33554432000 4194304 4196468 140726871144448 139933675355024 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1125] ppid=1114 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1125/stat : 1125 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 9632 33554432000 4194304 4196468 140726871144448 139933674302224 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1126] ppid=1114 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1126/stat : 1126 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535395 26628161536 9632 33554432000 4194304 4196468 140726871144448 139931933493616 139933729061506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1127] ppid=1114 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1127/stat : 1127 (java) S 1114 1114 760 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145535396 26628161536 9632 33554432000 4194304 4196468 140726871144448 139931932439584 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1128] ppid=1114 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1128/stat : 1128 (java) S 1114 1114 760 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145535396 26628161536 9632 33554432000 4194304 4196468 140726871144448 139931931386736 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1129] ppid=1114 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1129/stat : 1129 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535398 26628161536 9632 33554432000 4194304 4196468 140726871144448 139931930335056 139933729068955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1130] ppid=1114 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1130/stat : 1130 (java) S 1114 1114 760 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 20 0 145535398 26628161536 9632 33554432000 4194304 4196468 140726871144448 139931929283440 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1131] ppid=1114 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/1116/task/1131/stat : 1131 (java) S 1114 1114 760 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 20 0 145535398 26628161536 9632 33554432000 4194304 4196468 140726871144448 139931928230640 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1133] ppid=1114 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/1116/task/1133/stat : 1133 (java) S 1114 1114 760 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 145535398 26628161536 9632 33554432000 4194304 4196468 140726871144448 139931927177840 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1134] ppid=1114 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/1116/task/1134/stat : 1134 (java) R 1114 1114 760 0 -1 4202560 712 0 0 0 8 0 0 0 20 0 20 0 145535398 26628161536 9632 33554432000 4194304 4196468 140726871144448 139931926125040 139933713130846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1136] ppid=1114 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1136/stat : 1136 (java) S 1114 1114 760 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145535398 26628161536 9632 33554432000 4194304 4196468 140726871144448 139931925072480 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1143] ppid=1114 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1116/task/1143/stat : 1143 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535399 26628161536 9632 33554432000 4194304 4196468 140726871144448 139931924019760 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39912 KiB
[startup+0.310472 s]*
/proc/loadavg: 4.68 7.32 7.94 3/199 1143
/proc/meminfo: memFree=28986832/32770624 swapFree=67108860/67108860
[pid=1114] ppid=1111 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1114/stat : 1114 (xcsp3-exec) S 1111 1114 760 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145535392 9740288 346 33554432000 4194304 5098028 140724469303440 140724469301544 140057962099324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28405760 140724469310564 140724469310775 140724469310775 140724469313515 0
/proc/1114/statm: 2378 346 289 221 0 87 0
[pid=1116] ppid=1114 vsize=26004064 memory=45664 CPUtime=0.5 cores=0-7
/proc/1116/stat : 1116 (java) S 1114 1114 760 0 -1 1077944320 9163 0 0 0 47 3 0 0 20 0 20 0 145535392 26628161536 11416 33554432000 4194304 4196468 140726871144448 140726871126992 139933729050359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
/proc/1116/statm: 6501016 11416 3075 1 0 6488269 0
[pid=1116/tid=1117] ppid=1114 vsize=26004064 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/1116/task/1117/stat : 1117 (java) D 1114 1114 760 0 -1 1077944384 6192 0 0 0 27 2 0 0 20 0 20 0 145535393 26628161536 11436 33554432000 4194304 4196468 140726871144448 139933733282720 139933729074237 0 4 0 16800975 18446744072101568036 0 0 -1 1 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1118] ppid=1114 vsize=26004064 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/1116/task/1118/stat : 1118 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 11436 33554432000 4194304 4196468 140726871144448 139933681670800 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1119] ppid=1114 vsize=26004064 memory=4620 CPUtime=0 cores=0-7
/proc/1116/task/1119/stat : 1119 (java) S 1114 1114 760 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 11436 33554432000 4194304 4196468 140726871144448 139933680618000 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1120] ppid=1114 vsize=26004064 memory=1200 CPUtime=0 cores=0-7
/proc/1116/task/1120/stat : 1120 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 11436 33554432000 4194304 4196468 140726871144448 139933679565200 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1121] ppid=1114 vsize=26004064 memory=15880 CPUtime=0 cores=0-7
/proc/1116/task/1121/stat : 1121 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 11436 33554432000 4194304 4196468 140726871144448 139933678512400 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1122] ppid=1114 vsize=26004064 memory=1692 CPUtime=0 cores=0-7
/proc/1116/task/1122/stat : 1122 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535394 26628161536 11436 33554432000 4194304 4196468 140726871144448 139933677460624 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1123] ppid=1114 vsize=26004140 memory=916 CPUtime=0 cores=0-7
/proc/1116/task/1123/stat : 1123 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26628239360 11436 33554432000 4194304 4196468 140726871144448 139933676407824 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1124] ppid=1114 vsize=26004140 memory=4404 CPUtime=0 cores=0-7
/proc/1116/task/1124/stat : 1124 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535394 26628239360 11436 33554432000 4194304 4196468 140726871144448 139933675355024 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1125] ppid=1114 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1125/stat : 1125 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26628239360 11436 33554432000 4194304 4196468 140726871144448 139933674302224 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1126] ppid=1114 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1126/stat : 1126 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535395 26628239360 11436 33554432000 4194304 4196468 140726871144448 139931933493616 139933729061506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1127] ppid=1114 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1127/stat : 1127 (java) S 1114 1114 760 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145535396 26628239360 11436 33554432000 4194304 4196468 140726871144448 139931932439584 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1128] ppid=1114 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1128/stat : 1128 (java) S 1114 1114 760 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145535396 26628239360 11436 33554432000 4194304 4196468 140726871144448 139931931386736 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1129] ppid=1114 vsize=26004140 memory=67 CPUtime=0 cores=0-7
/proc/1116/task/1129/stat : 1129 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535398 26628239360 11436 33554432000 4194304 4196468 140726871144448 139931930335056 139933729068955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1130] ppid=1114 vsize=26004140 memory=35 CPUtime=0.01 cores=0-7
/proc/1116/task/1130/stat : 1130 (java) S 1114 1114 760 0 -1 1077944384 509 0 0 0 1 0 0 0 20 0 20 0 145535398 26628239360 11436 33554432000 4194304 4196468 140726871144448 139931929283440 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1131] ppid=1114 vsize=26004140 memory=2244 CPUtime=0.03 cores=0-7
/proc/1116/task/1131/stat : 1131 (java) R 1114 1114 760 0 -1 1077944384 127 0 0 0 3 0 0 0 20 0 20 0 145535398 26628239360 11436 33554432000 4194304 4196468 140726871144448 139931928230640 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1133] ppid=1114 vsize=26004140 memory=2244 CPUtime=0.02 cores=0-7
/proc/1116/task/1133/stat : 1133 (java) R 1114 1114 760 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 20 0 145535398 26628239360 11436 33554432000 4194304 4196468 140726871144448 139931927177840 139933729061506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1134] ppid=1114 vsize=26004140 memory=2244 CPUtime=0.12 cores=0-7
/proc/1116/task/1134/stat : 1134 (java) S 1114 1114 760 0 -1 1077944384 794 0 0 0 12 0 0 0 20 0 20 0 145535398 26628239360 11436 33554432000 4194304 4196468 140726871144448 139931926125040 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1136] ppid=1114 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1136/stat : 1136 (java) S 1114 1114 760 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145535398 26628239360 11436 33554432000 4194304 4196468 140726871144448 139931925072480 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1143] ppid=1114 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/1116/task/1143/stat : 1143 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535399 26628239360 11436 33554432000 4194304 4196468 140726871144448 139931924019760 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47048 KiB
[startup+0.701001 s]
/proc/loadavg: 4.68 7.32 7.94 5/199 1143
/proc/meminfo: memFree=28966096/32770624 swapFree=67108860/67108860
[pid=1114] ppid=1111 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1114/stat : 1114 (xcsp3-exec) S 1111 1114 760 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145535392 9740288 346 33554432000 4194304 5098028 140724469303440 140724469301544 140057962099324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28405760 140724469310564 140724469310775 140724469310775 140724469313515 0
/proc/1114/statm: 2378 346 289 221 0 87 0
[pid=1116] ppid=1114 vsize=26006188 memory=123600 CPUtime=1.84 cores=0-7
/proc/1116/stat : 1116 (java) S 1114 1114 760 0 -1 1077944320 12336 0 0 0 178 6 0 0 20 0 20 0 145535392 26630336512 30900 33554432000 4194304 4196468 140726871144448 140726871126992 139933729050359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
/proc/1116/statm: 6501547 30900 3204 1 0 6488781 0
[pid=1116/tid=1117] ppid=1114 vsize=26006188 memory=4580 CPUtime=0.67 cores=0-7
/proc/1116/task/1117/stat : 1117 (java) R 1114 1114 760 0 -1 4202560 6829 0 0 0 64 3 0 0 20 0 20 0 145535393 26630336512 30900 33554432000 4194304 4196468 140726871144448 139933733287056 139933339648068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1118] ppid=1114 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1118/stat : 1118 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145535394 26630336512 30900 33554432000 4194304 4196468 140726871144448 139933681670800 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1119] ppid=1114 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1116/task/1119/stat : 1119 (java) S 1114 1114 760 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145535394 26630336512 30900 33554432000 4194304 4196468 140726871144448 139933680618000 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1120] ppid=1114 vsize=26006188 memory=796 CPUtime=0 cores=0-7
/proc/1116/task/1120/stat : 1120 (java) S 1114 1114 760 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145535394 26630336512 30900 33554432000 4194304 4196468 140726871144448 139933679565200 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
################
# More data... #
################
[pid=1116/tid=2780] ppid=1114 vsize=26539728 memory=1384 CPUtime=1544.4 cores=0-7
/proc/1116/task/2780/stat : 2780 (java) R 1114 1114 760 0 -1 4202560 17824 0 0 0 154391 49 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931916509008 139933346312000 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
Current children cumulated CPU time: 19476.8 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 7571820 KiB
[startup+2502.3 s]
/proc/loadavg: 8.07 8.20 8.24 10/208 2829
/proc/meminfo: memFree=21448472/32770624 swapFree=67108860/67108860
[pid=1114] ppid=1111 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1114/stat : 1114 (xcsp3-exec) S 1111 1114 760 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145535392 9740288 346 33554432000 4194304 5098028 140724469303440 140724469301544 140057962099324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28405760 140724469310564 140724469310775 140724469310775 140724469313515 0
/proc/1114/statm: 2378 346 289 221 0 87 0
[pid=1116] ppid=1114 vsize=26539728 memory=7570436 CPUtime=19955.5 cores=0-7
/proc/1116/stat : 1116 (java) S 1114 1114 760 0 -1 1077944320 265662 0 0 0 1994898 649 0 0 20 0 28 0 145535392 27176681472 1892609 33554432000 4194304 4196468 140726871144448 140726871126992 139933729050359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
/proc/1116/statm: 6634932 1892609 3286 1 0 6622166 0
[pid=1116/tid=1117] ppid=1114 vsize=26539728 memory=7570436 CPUtime=1.17 cores=0-7
/proc/1116/task/1117/stat : 1117 (java) S 1114 1114 760 0 -1 1077944384 7362 0 0 0 111 6 0 0 20 0 28 0 145535393 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933733291168 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1118] ppid=1114 vsize=26539728 memory=1384 CPUtime=0.31 cores=0-7
/proc/1116/task/1118/stat : 1118 (java) S 1114 1114 760 0 -1 1077944384 846 0 0 0 23 8 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933681670800 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1119] ppid=1114 vsize=26539728 memory=7570436 CPUtime=0.28 cores=0-7
/proc/1116/task/1119/stat : 1119 (java) S 1114 1114 760 0 -1 1077944384 1426 0 0 0 20 8 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933680618000 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1120] ppid=1114 vsize=26539728 memory=7570436 CPUtime=0.32 cores=0-7
/proc/1116/task/1120/stat : 1120 (java) S 1114 1114 760 0 -1 1077944384 459 0 0 0 23 9 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933679565200 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1121] ppid=1114 vsize=26539728 memory=279329507388160 CPUtime=0.27 cores=0-7
/proc/1116/task/1121/stat : 1121 (java) S 1114 1114 760 0 -1 1077944384 712 0 0 0 20 7 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933678512400 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1122] ppid=1114 vsize=26539728 memory=1384 CPUtime=0.33 cores=0-7
/proc/1116/task/1122/stat : 1122 (java) S 1114 1114 760 0 -1 1077944384 1286 0 0 0 23 10 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933677460624 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1123] ppid=1114 vsize=26539728 memory=1384 CPUtime=0.29 cores=0-7
/proc/1116/task/1123/stat : 1123 (java) S 1114 1114 760 0 -1 1077944384 452 0 0 0 21 8 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933676407824 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1124] ppid=1114 vsize=26539728 memory=4136 CPUtime=0.31 cores=0-7
/proc/1116/task/1124/stat : 1124 (java) S 1114 1114 760 0 -1 1077944384 466 0 0 0 23 8 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933675355024 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1125] ppid=1114 vsize=26539728 memory=1384 CPUtime=0.29 cores=0-7
/proc/1116/task/1125/stat : 1125 (java) S 1114 1114 760 0 -1 1077944384 527 0 0 0 21 8 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933674302224 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1126] ppid=1114 vsize=26539728 memory=7570436 CPUtime=0.09 cores=0-7
/proc/1116/task/1126/stat : 1126 (java) S 1114 1114 760 0 -1 1077944384 5898 0 0 0 7 2 0 0 20 0 28 0 145535395 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931933493616 139933729061506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1127] ppid=1114 vsize=26539728 memory=7570436 CPUtime=0 cores=0-7
/proc/1116/task/1127/stat : 1127 (java) S 1114 1114 760 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 145535396 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931932439648 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1128] ppid=1114 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/1116/task/1128/stat : 1128 (java) S 1114 1114 760 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145535396 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931931386752 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1129] ppid=1114 vsize=26539728 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/1116/task/1129/stat : 1129 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931930335056 139933729068955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1130] ppid=1114 vsize=26539728 memory=1232 CPUtime=1.92 cores=0-7
/proc/1116/task/1130/stat : 1130 (java) S 1114 1114 760 0 -1 1077944384 14383 0 0 0 188 4 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931929283440 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1131] ppid=1114 vsize=26539728 memory=1384 CPUtime=1.82 cores=0-7
/proc/1116/task/1131/stat : 1131 (java) S 1114 1114 760 0 -1 1077944384 12818 0 0 0 179 3 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931928230640 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1133] ppid=1114 vsize=26539728 memory=7570436 CPUtime=1.73 cores=0-7
/proc/1116/task/1133/stat : 1133 (java) S 1114 1114 760 0 -1 1077944384 11444 0 0 0 170 3 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931927177840 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1134] ppid=1114 vsize=26539728 memory=1384 CPUtime=0.83 cores=0-7
/proc/1116/task/1134/stat : 1134 (java) S 1114 1114 760 0 -1 1077944384 11496 0 0 0 81 2 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931926125040 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1136] ppid=1114 vsize=26539728 memory=7570436 CPUtime=0 cores=0-7
/proc/1116/task/1136/stat : 1136 (java) S 1114 1114 760 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931925072480 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1143] ppid=1114 vsize=26539728 memory=279329509552800 CPUtime=0.97 cores=0-7
/proc/1116/task/1143/stat : 1143 (java) S 1114 1114 760 0 -1 1077944384 3599 0 0 0 32 65 0 0 20 0 28 0 145535399 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931924019760 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2773] ppid=1114 vsize=26539728 memory=27322216866 CPUtime=1615.26 cores=0-7
/proc/1116/task/2773/stat : 2773 (java) R 1114 1114 760 0 -1 4202560 3612 0 0 0 161525 1 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931173239960 139933346283132 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2774] ppid=1114 vsize=26539728 memory=1384 CPUtime=1615.99 cores=0-7
/proc/1116/task/2774/stat : 2774 (java) R 1114 1114 760 0 -1 4202560 2734 0 0 0 161598 1 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931170082952 139933345959581 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2775] ppid=1114 vsize=26539728 memory=1384 CPUtime=1609.6 cores=0-7
/proc/1116/task/2775/stat : 2775 (java) R 1114 1114 760 0 -1 4202560 3244 0 0 0 160959 1 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931175347208 139933344965343 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2776] ppid=1114 vsize=26539728 memory=1384 CPUtime=1616.04 cores=0-7
/proc/1116/task/2776/stat : 2776 (java) R 1114 1114 760 0 -1 4202560 5391 0 0 0 161597 7 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931915457416 139933345980551 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2777] ppid=1114 vsize=26539728 memory=4872558044660077418 CPUtime=1607.81 cores=0-7
/proc/1116/task/2777/stat : 2777 (java) R 1114 1114 760 0 -1 4202560 2525 0 0 0 160780 1 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931174294280 139933346283119 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2778] ppid=1114 vsize=26539728 memory=1732 CPUtime=1616.03 cores=0-7
/proc/1116/task/2778/stat : 2778 (java) R 1114 1114 760 0 -1 4202560 40945 0 0 0 161473 130 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931172188304 139933345817999 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2779] ppid=1114 vsize=26539728 memory=8112282956445269571 CPUtime=1610.17 cores=0-7
/proc/1116/task/2779/stat : 2779 (java) R 1114 1114 760 0 -1 4202560 3442 0 0 0 161016 1 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931171136008 139933345980515 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2780] ppid=1114 vsize=26539728 memory=1384 CPUtime=1603.17 cores=0-7
/proc/1116/task/2780/stat : 2780 (java) R 1114 1114 760 0 -1 4202560 18366 0 0 0 160267 50 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931916509008 139933345980551 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
Current children cumulated CPU time: 19955.5 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 7571820 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.05 8.19 8.23 9/208 2829
/proc/meminfo: memFree=21448600/32770624 swapFree=67108860/67108860
[pid=1114] ppid=1111 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1114/stat : 1114 (xcsp3-exec) S 1111 1114 760 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145535392 9740288 346 33554432000 4194304 5098028 140724469303440 140724469301544 140057962099324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28405760 140724469310564 140724469310775 140724469310775 140724469313515 0
/proc/1114/statm: 2378 346 289 221 0 87 0
[pid=1116] ppid=1114 vsize=26539728 memory=7570436 CPUtime=20096.8 cores=0-7
/proc/1116/stat : 1116 (java) S 1114 1114 760 0 -1 1077944320 265963 0 0 0 2009027 650 0 0 20 0 28 0 145535392 27176681472 1892609 33554432000 4194304 4196468 140726871144448 140726871126992 139933729050359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
/proc/1116/statm: 6634932 1892609 3286 1 0 6622166 0
[pid=1116/tid=1117] ppid=1114 vsize=26539728 memory=4104 CPUtime=1.17 cores=0-7
/proc/1116/task/1117/stat : 1117 (java) S 1114 1114 760 0 -1 1077944384 7362 0 0 0 111 6 0 0 20 0 28 0 145535393 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933733291168 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1118] ppid=1114 vsize=26539728 memory=16236 CPUtime=0.31 cores=0-7
/proc/1116/task/1118/stat : 1118 (java) S 1114 1114 760 0 -1 1077944384 846 0 0 0 23 8 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933681670800 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1119] ppid=1114 vsize=26539728 memory=4872558044660077418 CPUtime=0.28 cores=0-7
/proc/1116/task/1119/stat : 1119 (java) S 1114 1114 760 0 -1 1077944384 1426 0 0 0 20 8 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933680618000 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1120] ppid=1114 vsize=26539728 memory=796 CPUtime=0.32 cores=0-7
/proc/1116/task/1120/stat : 1120 (java) S 1114 1114 760 0 -1 1077944384 459 0 0 0 23 9 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933679565200 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1121] ppid=1114 vsize=26539728 memory=8112282956445269571 CPUtime=0.27 cores=0-7
/proc/1116/task/1121/stat : 1121 (java) S 1114 1114 760 0 -1 1077944384 712 0 0 0 20 7 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933678512400 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1122] ppid=1114 vsize=26539728 memory=7570436 CPUtime=0.33 cores=0-7
/proc/1116/task/1122/stat : 1122 (java) S 1114 1114 760 0 -1 1077944384 1286 0 0 0 23 10 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933677460624 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1123] ppid=1114 vsize=26539728 memory=1424 CPUtime=0.29 cores=0-7
/proc/1116/task/1123/stat : 1123 (java) S 1114 1114 760 0 -1 1077944384 452 0 0 0 21 8 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933676407824 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1124] ppid=1114 vsize=26539728 memory=8600 CPUtime=0.31 cores=0-7
/proc/1116/task/1124/stat : 1124 (java) S 1114 1114 760 0 -1 1077944384 466 0 0 0 23 8 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933675355024 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1125] ppid=1114 vsize=26539728 memory=1724 CPUtime=0.29 cores=0-7
/proc/1116/task/1125/stat : 1125 (java) S 1114 1114 760 0 -1 1077944384 527 0 0 0 21 8 0 0 20 0 28 0 145535394 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139933674302224 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1126] ppid=1114 vsize=26539728 memory=11104 CPUtime=0.09 cores=0-7
/proc/1116/task/1126/stat : 1126 (java) S 1114 1114 760 0 -1 1077944384 5898 0 0 0 7 2 0 0 20 0 28 0 145535395 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931933493616 139933729061506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1127] ppid=1114 vsize=26539728 memory=1224 CPUtime=0 cores=0-7
/proc/1116/task/1127/stat : 1127 (java) S 1114 1114 760 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 145535396 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931932439648 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1128] ppid=1114 vsize=26539728 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/1116/task/1128/stat : 1128 (java) S 1114 1114 760 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145535396 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931931386752 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1129] ppid=1114 vsize=26539728 memory=1232 CPUtime=0 cores=0-7
/proc/1116/task/1129/stat : 1129 (java) S 1114 1114 760 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931930335056 139933729068955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1130] ppid=1114 vsize=26539728 memory=648 CPUtime=1.92 cores=0-7
/proc/1116/task/1130/stat : 1130 (java) S 1114 1114 760 0 -1 1077944384 14383 0 0 0 188 4 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931929283440 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1131] ppid=1114 vsize=26539728 memory=1796 CPUtime=1.82 cores=0-7
/proc/1116/task/1131/stat : 1131 (java) S 1114 1114 760 0 -1 1077944384 12818 0 0 0 179 3 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931928230640 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1133] ppid=1114 vsize=26539728 memory=956 CPUtime=1.73 cores=0-7
/proc/1116/task/1133/stat : 1133 (java) S 1114 1114 760 0 -1 1077944384 11444 0 0 0 170 3 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931927177840 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1134] ppid=1114 vsize=26539728 memory=1156 CPUtime=0.83 cores=0-7
/proc/1116/task/1134/stat : 1134 (java) S 1114 1114 760 0 -1 1077944384 11496 0 0 0 81 2 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931926125040 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1136] ppid=1114 vsize=26539728 memory=3928 CPUtime=0 cores=0-7
/proc/1116/task/1136/stat : 1136 (java) S 1114 1114 760 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145535398 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931925072480 139933729060565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=1143] ppid=1114 vsize=26539728 memory=1384 CPUtime=0.99 cores=0-7
/proc/1116/task/1143/stat : 1143 (java) S 1114 1114 760 0 -1 1077944384 3601 0 0 0 33 66 0 0 20 0 28 0 145535399 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931924019760 139933729061506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2773] ppid=1114 vsize=26539728 memory=7570436 CPUtime=1632.97 cores=0-7
/proc/1116/task/2773/stat : 2773 (java) R 1114 1114 760 0 -1 4202560 3612 0 0 0 163296 1 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931173239960 139933345980441 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2774] ppid=1114 vsize=26539728 memory=2428 CPUtime=1633.7 cores=0-7
/proc/1116/task/2774/stat : 2774 (java) R 1114 1114 760 0 -1 4202560 2734 0 0 0 163369 1 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931170082952 139933345988051 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2775] ppid=1114 vsize=26539728 memory=4044 CPUtime=1627.31 cores=0-7
/proc/1116/task/2775/stat : 2775 (java) R 1114 1114 760 0 -1 4202560 3244 0 0 0 162730 1 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931175347208 139933345980571 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2776] ppid=1114 vsize=26539728 memory=23304 CPUtime=1633.75 cores=0-7
/proc/1116/task/2776/stat : 2776 (java) R 1114 1114 760 0 -1 4202560 5393 0 0 0 163368 7 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931915457416 139933345958900 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2777] ppid=1114 vsize=26539728 memory=1232 CPUtime=1625.52 cores=0-7
/proc/1116/task/2777/stat : 2777 (java) R 1114 1114 760 0 -1 4202560 2525 0 0 0 162551 1 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931174294280 139933345980551 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2778] ppid=1114 vsize=26539728 memory=648 CPUtime=1633.73 cores=0-7
/proc/1116/task/2778/stat : 2778 (java) R 1114 1114 760 0 -1 4202560 41111 0 0 0 163243 130 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931172188304 139933345817751 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2779] ppid=1114 vsize=26539728 memory=1796 CPUtime=1627.88 cores=0-7
/proc/1116/task/2779/stat : 2779 (java) R 1114 1114 760 0 -1 4202560 3442 0 0 0 162787 1 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931171136008 139933346508718 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
[pid=1116/tid=2780] ppid=1114 vsize=26539728 memory=956 CPUtime=1620.51 cores=0-7
/proc/1116/task/2780/stat : 2780 (java) R 1114 1114 760 0 -1 4202560 18497 0 0 0 162001 50 0 0 20 0 28 0 145624013 27176681472 1892609 33554432000 4194304 4196468 140726871144448 139931916509008 139933345769935 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11939840 140726871147666 140726871147843 140726871147843 140726871150543 0
Current children cumulated CPU time: 20096.8 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 7571820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 1114 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001998 s, system=0 s
[startup+2520.13 s]
# the end of solver process 1116 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20091 s, system=6.5376 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.13
CPU time (s): 20097.5
CPU user time (s): 20091
CPU system time (s): 6.5376
CPU usage (%): 797.479
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 7571820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20091
system time used= 6.5376
maximum resident set size= 7571976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73149
involuntary context switches= 215159
# summary of solver processes directly reported to runsolver:
# pid: 1114,1116
# total CPU time (s): 20097.5
# total CPU user time (s): 20091
# total CPU system time (s): 6.5376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4246 second user time and 31.9189 second system time
The end
Begin job on node102 at 2017-08-19 08:20:12
IDJOB=4280437
IDBENCH=122949
IDSOLVER=2675
FILE ID=node102/4280437-1503124472
RUNJOBID= node102-1503121049-787
PBS_JOBID= 20630773
Free space on /tmp= 61880 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-07-350-100.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280437-1503124472/watcher-4280437-1503124472 -o /tmp/evaluation-result-4280437-1503124472/solver-4280437-1503124472 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503121049-787 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1692265401 HOME/instance-4280437-1503124472.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= cd1777af07bd314664d86e97c163b75e
RANDOM SEED=1692265401
node102.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.35
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.35
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.35
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.35
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: 29020760 kB
MemAvailable: 31975612 kB
Buffers: 229084 kB
Cached: 3018852 kB
SwapCached: 0 kB
Active: 950952 kB
Inactive: 2348480 kB
Active(anon): 4400 kB
Inactive(anon): 83172 kB
Active(file): 946552 kB
Inactive(file): 2265308 kB
Unevictable: 7504 kB
Mlocked: 7504 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7852 kB
Writeback: 0 kB
AnonPages: 59024 kB
Mapped: 50616 kB
Shmem: 33420 kB
Slab: 144596 kB
SReclaimable: 117652 kB
SUnreclaim: 26944 kB
KernelStack: 3280 kB
PageTables: 4600 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 334384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 134528 kB
DirectMap2M: 33411072 kB
Free space on /tmp at the end= 61872 MiB
End job on node102 at 2017-08-19 09:02:12