2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - Conflict Ordering 2017-06-30	SAT (TO)	293	2400.07	2351.25

0.42/0.30	c version: 2017-06-30
0.42/0.30	c seed: 1736560251
0.42/0.30	c timeout: 2400
0.42/0.30	c memlimit: 15500
0.42/0.30	c nbcore: 8
0.42/0.32	c Parsing instance...
5.26/1.98	c Parsing done, starting search...
7.87/2.93	o 239
7.87/2.93	o 240
7.87/2.93	o 241
7.87/2.94	o 242
7.87/2.94	o 243
7.87/2.94	o 244
7.87/2.94	o 245
7.87/2.94	o 246
7.87/2.95	o 247
7.87/2.95	o 248
7.87/2.95	o 249
7.87/2.95	o 250
7.87/2.96	o 251
7.87/2.96	o 252
7.87/2.96	o 253
7.87/2.96	o 254
7.87/2.96	o 255
7.87/2.97	o 256
7.87/2.97	o 257
7.87/2.97	o 258
7.87/2.97	o 259
7.87/2.97	o 260
7.87/2.98	o 261
7.87/2.98	o 262
7.87/2.98	o 263
7.87/2.98	o 264
7.87/2.98	o 265
7.87/2.98	o 266
7.87/2.98	o 267
7.87/2.99	o 268
7.87/2.99	o 269
7.87/2.99	o 270
7.87/2.99	o 271
7.87/2.99	o 272
7.87/2.99	o 273
7.87/3.00	o 274
8.26/3.00	o 275
8.26/3.00	o 276
8.26/3.00	o 277
8.26/3.00	o 278
8.26/3.01	o 279
8.26/3.01	o 280
8.26/3.01	o 281
8.26/3.01	o 282
8.26/3.01	o 283
8.26/3.02	o 284
8.26/3.02	o 285
8.26/3.03	o 286
8.26/3.04	o 287
8.26/3.04	o 288
8.26/3.05	o 289
8.26/3.05	o 290
9.16/3.31	o 291
22.54/16.01	o 292
81.08/74.31	o 293
2400.00/2351.20	s SATISFIABLE
2400.00/2351.21	v <instantiation>
2400.00/2351.21	v 	<list>
2400.00/2351.21	v 		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[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[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[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[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[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[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[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] z
2400.00/2351.21	v 	</list>
2400.00/2351.21	v 	<values>
2400.00/2351.21	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 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 1 0 1 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 2 1 1 1 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 1 0 2 0 0 0 0 1 0 1 2 1 1 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 2 0 0 0 1 0 0 0 0 1 1 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 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 2 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 2 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 1 2 1 1 2 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 0 0 0 0 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 2 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 2 0 2 0 0 0 0 0 0 1 0 1 0 1 2 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 1 0 2 0 2 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 2 1 1 0 0 0 0 0 1 1 0 1 1 2 0 0 0 2 0 2 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 2 0 0 0 0 0 1 0 1 0 1 2 1 0 0 1 0 2 1 1 0 1 1 1 0 1 2 1 0 1 1 1 1 2 1 0 0 2 0 0 0 0 0 0 0 2 1 1 0 1 2 2 2 1 1 2 2 1 1 2 2 2 1 1 2 2 2 2 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 32 98 164 230 296 362 428 494 560 623 668 682 691 706 717 729 746 760 776 792 808 821 832 836 846 853 857 869 881 895 915 941 979 1004 293 
2400.00/2351.21	v 	</values>
2400.00/2351.21	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244840-1500693611/watcher-4244840-1500693611 -o /tmp/evaluation-result-4244840-1500693611/solver-4244840-1500693611 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500684088-11483 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1736560251 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244840-1500693611.xml 

pid=12747
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.35 1.40 1.38 3/262 12750
/proc/meminfo: memFree=31254496/32770624 swapFree=5852/279504
[pid=12750] ppid=12747 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 4629751 369864704 1925 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 90299 1925 1072 1 0 79210 0
[pid=12750/tid=12751] ppid=12747 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) S 12747 12750 10103 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 4629752 369864704 1925 33554432000 4194304 4196468 140722130313904 140477243107744 140477238876802 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0

[startup+0.100063 s]
/proc/loadavg: 1.35 1.40 1.38 3/262 12750
/proc/meminfo: memFree=31254496/32770624 swapFree=5852/279504
[pid=12750] ppid=12747 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 5794 0 0 0 8 1 0 0 20 0 20 0 4629751 13582725120 6370 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 3316095 6370 3304 1 0 3303815 0
[pid=12750/tid=12751] ppid=12747 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) R 12747 12750 10103 0 -1 4202560 3872 0 0 0 7 1 0 0 20 0 20 0 4629752 13582725120 6370 33554432000 4194304 4196468 140722130313904 140477243102984 140477231850729 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.20033 s]
/proc/loadavg: 1.35 1.40 1.38 3/262 12750
/proc/meminfo: memFree=31254496/32770624 swapFree=5852/279504
[pid=12750] ppid=12747 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 8949 0 0 0 22 3 0 0 20 0 20 0 4629751 13582245888 8952 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 3315978 8952 3542 1 0 3303698 0
[pid=12750/tid=12751] ppid=12747 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) R 12747 12750 10103 0 -1 4202560 6680 0 0 0 16 1 0 0 20 0 20 0 4629752 13582245888 8952 33554432000 4194304 4196468 140722130313904 140477243073848 140477241101696 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300317 s]
/proc/loadavg: 1.35 1.40 1.38 3/262 12750
/proc/meminfo: memFree=31254496/32770624 swapFree=5852/279504
[pid=12750] ppid=12747 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 9918 0 0 0 38 4 0 0 20 0 20 0 4629751 13582245888 11141 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 3315978 11141 3618 1 0 3303698 0
[pid=12750/tid=12751] ppid=12747 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) R 12747 12750 10103 0 -1 4202560 7398 0 0 0 25 2 0 0 20 0 20 0 4629752 13582245888 11141 33554432000 4194304 4196468 140722130313904 140477243079968 140477220429159 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700215 s]
/proc/loadavg: 1.35 1.40 1.38 3/262 12750
/proc/meminfo: memFree=31254496/32770624 swapFree=5852/279504
[pid=12750] ppid=12747 vsize=13265980 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 13101 0 0 0 149 6 0 0 20 0 20 0 4629751 13584363520 19962 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 3316495 19962 3778 1 0 3304210 0
[pid=12750/tid=12751] ppid=12747 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) R 12747 12750 10103 0 -1 4202560 8515 0 0 0 64 3 0 0 20 0 20 0 4629752 13584363520 19962 33554432000 4194304 4196468 140722130313904 140477243099232 140476854443920 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13265980

[startup+1.50112 s]
/proc/loadavg: 1.35 1.40 1.38 3/282 12770
/proc/meminfo: memFree=31056952/32770624 swapFree=5852/279576
[pid=12750] ppid=12747 vsize=13270076 CPUtime=4.33 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 27662 0 0 0 416 17 0 0 20 0 20 0 4629751 13588557824 57690 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 3317519 57690 3804 1 0 3305234 0
[pid=12750/tid=12751] ppid=12747 vsize=13270076 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) R 12747 12750 10103 0 -1 4202560 11674 0 0 0 138 6 0 0 20 0 20 0 4629752 13588557824 57690 33554432000 4194304 4196468 140722130313904 140477243098144 140476861346272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12753] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12753/stat : 12753 (java) S 12747 12750 10103 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4629753 13588557824 57690 33554432000 4194304 4196468 140722130313904 140477177829776 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12754] ppid=12747 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12754/stat : 12754 (java) S 12747 12750 10103 0 -1 1077944384 44 0 0 0 0 1 0 0 20 0 20 0 4629753 13588557824 57690 33554432000 4194304 4196468 140722130313904 140477176776976 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12755] ppid=12747 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12755/stat : 12755 (java) S 12747 12750 10103 0 -1 1077944384 40 0 0 0 0 1 0 0 20 0 20 0 4629753 13588557824 57690 33554432000 4194304 4196468 140722130313904 140477175724688 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12756] ppid=12747 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12756/stat : 12756 (java) S 12747 12750 10103 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 4629753 13588557824 57690 33554432000 4194304 4196468 140722130313904 140477174671888 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12757] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12757/stat : 12757 (java) S 12747 12750 10103 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4629753 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476833815440 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12758] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12758/stat : 12758 (java) S 12747 12750 10103 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 4629753 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476832762640 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12759] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12759/stat : 12759 (java) S 12747 12750 10103 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4629753 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476831710352 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12760] ppid=12747 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12760/stat : 12760 (java) S 12747 12750 10103 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 4629753 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476830657552 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12761] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12761/stat : 12761 (java) S 12747 12750 10103 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 20 0 4629755 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476702251120 140477238876802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12762] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12762/stat : 12762 (java) S 12747 12750 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476701197088 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12763] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12763/stat : 12763 (java) S 12747 12750 10103 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476700144752 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12764] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12764/stat : 12764 (java) S 12747 12750 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476699093072 140477238884251 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12765] ppid=12747 vsize=13270076 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12765/stat : 12765 (java) S 12747 12750 10103 0 -1 1077944384 2551 0 0 0 62 0 0 0 20 0 20 0 4629760 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476698040944 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12766] ppid=12747 vsize=13270076 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12766/stat : 12766 (java) S 12747 12750 10103 0 -1 1077944384 2762 0 0 0 63 0 0 0 20 0 20 0 4629760 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476696988144 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12767] ppid=12747 vsize=13270076 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12767/stat : 12767 (java) R 12747 12750 10103 0 -1 4202560 2440 0 0 0 60 0 0 0 20 0 20 0 4629760 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476695923536 140477231106636 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12768] ppid=12747 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12768/stat : 12768 (java) S 12747 12750 10103 0 -1 1077944384 6188 0 0 0 85 1 0 0 20 0 20 0 4629760 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476694883056 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12769] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12769/stat : 12769 (java) S 12747 12750 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476693829984 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12770] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12770/stat : 12770 (java) S 12747 12750 10103 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4629761 13588557824 57690 33554432000 4194304 4196468 140722130313904 140476692777264 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 13270076

[startup+3.1012 s]
/proc/loadavg: 1.56 1.45 1.39 3/282 12770
/proc/meminfo: memFree=30582660/32770624 swapFree=5852/279584
[pid=12750] ppid=12747 vsize=13270076 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 32745 0 0 0 799 68 0 0 20 0 20 0 4629751 13588557824 108320 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 3317519 108320 3838 1 0 3305234 0
[pid=12750/tid=12751] ppid=12747 vsize=13270076 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) R 12747 12750 10103 0 -1 4202560 12569 0 0 0 285 7 0 0 20 0 20 0 4629752 13588557824 108320 33554432000 4194304 4196468 140722130313904 140477243101192 140477238877590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12753] ppid=12747 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12753/stat : 12753 (java) S 12747 12750 10103 0 -1 1077944384 84 0 0 0 4 7 0 0 20 0 20 0 4629753 13588557824 108320 33554432000 4194304 4196468 140722130313904 140477177829776 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12754] ppid=12747 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12754/stat : 12754 (java) S 12747 12750 10103 0 -1 1077944384 117 0 0 0 5 7 0 0 20 0 20 0 4629753 13588557824 108320 33554432000 4194304 4196468 140722130313904 140477176776976 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12755] ppid=12747 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12755/stat : 12755 (java) S 12747 12750 10103 0 -1 1077944384 381 0 0 0 5 6 0 0 20 0 20 0 4629753 13588557824 108320 33554432000 4194304 4196468 140722130313904 140477175724688 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12756] ppid=12747 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12756/stat : 12756 (java) S 12747 12750 10103 0 -1 1077944384 118 0 0 0 5 7 0 0 20 0 20 0 4629753 13588557824 108320 33554432000 4194304 4196468 140722130313904 140477174671888 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12757] ppid=12747 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12757/stat : 12757 (java) S 12747 12750 10103 0 -1 1077944384 82 0 0 0 5 6 0 0 20 0 20 0 4629753 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476833815440 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12758] ppid=12747 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12758/stat : 12758 (java) S 12747 12750 10103 0 -1 1077944384 154 0 0 0 4 7 0 0 20 0 20 0 4629753 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476832762640 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12759] ppid=12747 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12759/stat : 12759 (java) S 12747 12750 10103 0 -1 1077944384 74 0 0 0 5 6 0 0 20 0 20 0 4629753 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476831710352 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12760] ppid=12747 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12760/stat : 12760 (java) S 12747 12750 10103 0 -1 1077944384 290 0 0 0 5 6 0 0 20 0 20 0 4629753 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476830657552 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12761] ppid=12747 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12761/stat : 12761 (java) S 12747 12750 10103 0 -1 1077944384 1224 0 0 0 1 0 0 0 20 0 20 0 4629755 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476702251120 140477238876802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12762] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12762/stat : 12762 (java) S 12747 12750 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476701197152 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12763] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12763/stat : 12763 (java) S 12747 12750 10103 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476700144768 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12764] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12764/stat : 12764 (java) S 12747 12750 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476699093072 140477238884251 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12765] ppid=12747 vsize=13270076 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12765/stat : 12765 (java) R 12747 12750 10103 0 -1 4202560 3329 0 0 0 127 0 0 0 20 0 20 0 4629760 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476698027040 140477218036944 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12766] ppid=12747 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12766/stat : 12766 (java) R 12747 12750 10103 0 -1 4202560 3066 0 0 0 122 1 0 0 20 0 20 0 4629760 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476696968864 140477220386522 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12767] ppid=12747 vsize=13270076 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12767/stat : 12767 (java) R 12747 12750 10103 0 -1 4202560 3214 0 0 0 118 0 0 0 20 0 20 0 4629760 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476695922400 140477222351597 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12768] ppid=12747 vsize=13270076 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12768/stat : 12768 (java) S 12747 12750 10103 0 -1 1077944384 6613 0 0 0 102 1 0 0 20 0 20 0 4629760 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476694883056 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12769] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12769/stat : 12769 (java) S 12747 12750 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476693829984 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12770] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12770/stat : 12770 (java) S 12747 12750 10103 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4629761 13588557824 108320 33554432000 4194304 4196468 140722130313904 140476692777264 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 13270076

[startup+6.30088 s]
/proc/loadavg: 1.56 1.45 1.39 3/282 12770
/proc/meminfo: memFree=30529932/32770624 swapFree=5852/279588
[pid=12750] ppid=12747 vsize=13270076 CPUtime=12.49 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 33595 0 0 0 1172 77 0 0 20 0 20 0 4629751 13588557824 115597 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 3317519 115597 3839 1 0 3305234 0
[pid=12750/tid=12751] ppid=12747 vsize=13270076 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) R 12747 12750 10103 0 -1 4202560 12700 0 0 0 601 7 0 0 20 0 20 0 4629752 13588557824 115597 33554432000 4194304 4196468 140722130313904 140477243101560 140476864470025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12753] ppid=12747 vsize=13270076 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12753/stat : 12753 (java) S 12747 12750 10103 0 -1 1077944384 97 0 0 0 6 8 0 0 20 0 20 0 4629753 13588557824 115597 33554432000 4194304 4196468 140722130313904 140477177829776 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12754] ppid=12747 vsize=13270076 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12754/stat : 12754 (java) S 12747 12750 10103 0 -1 1077944384 131 0 0 0 5 9 0 0 20 0 20 0 4629753 13588557824 115597 33554432000 4194304 4196468 140722130313904 140477176776976 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12755] ppid=12747 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12755/stat : 12755 (java) S 12747 12750 10103 0 -1 1077944384 387 0 0 0 6 7 0 0 20 0 20 0 4629753 13588557824 115597 33554432000 4194304 4196468 140722130313904 140477175724688 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12756] ppid=12747 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12756/stat : 12756 (java) S 12747 12750 10103 0 -1 1077944384 127 0 0 0 5 8 0 0 20 0 20 0 4629753 13588557824 115597 33554432000 4194304 4196468 140722130313904 140477174671888 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12757] ppid=12747 vsize=13270076 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12757/stat : 12757 (java) S 12747 12750 10103 0 -1 1077944384 92 0 0 0 7 7 0 0 20 0 20 0 4629753 13588557824 115597 33554432000 4194304 4196468 140722130313904 140476833815440 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12758] ppid=12747 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12758/stat : 12758 (java) S 12747 12750 10103 0 -1 1077944384 159 0 0 0 5 7 0 0 20 0 20 0 4629753 13588557824 115597 33554432000 4194304 4196468 140722130313904 140476832762640 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12759] ppid=12747 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12759/stat : 12759 (java) S 12747 12750 10103 0 -1 1077944384 86 0 0 0 6 7 0 0 20 0 20 0 4629753 13588557824 115597 33554432000 4194304 4196468 140722130313904 140476831710352 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12760] ppid=12747 vsize=13270076 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12760/stat : 12760 (java) S 12747 12750 10103 0 -1 1077944384 308 0 0 0 7 7 0 0 20 0 20 0 4629753 13588557824 115597 33554432000 4194304 4196468 140722130313904 140476830657552 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12761] ppid=12747 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12761/stat : 12761 (java) S 12747 12750 10103 0 -1 1077944384 1224 0 0 0 1 0 0 0 20 0 20 0 4629755 13588557824 115597 33554432000 4194304 4196468 140722130313904 140476702251120 140477238876802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12762] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12762/stat : 12762 (java) S 12747 12750 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 115597 33554432000 4194304 4196468 140722130313904 140476701197152 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12763] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12763/stat : 12763 (java) S 12747 12750 10103 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 115597 33554432000 4194304 4196468 140722130313904 140476700144768 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12764] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

[pid=12750/tid=12766] ppid=12747 vsize=13270076 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12766/stat : 12766 (java) S 12747 12750 10103 0 -1 1077944384 4039 0 0 0 135 1 0 0 20 0 20 0 4629760 13588557824 785695 33554432000 4194304 4196468 140722130313904 140476696988144 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12767] ppid=12747 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12767/stat : 12767 (java) S 12747 12750 10103 0 -1 1077944384 4314 0 0 0 142 1 0 0 20 0 20 0 4629760 13588557824 785695 33554432000 4194304 4196468 140722130313904 140476695935856 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12768] ppid=12747 vsize=13270076 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12768/stat : 12768 (java) S 12747 12750 10103 0 -1 1077944384 7566 0 0 0 104 1 0 0 20 0 20 0 4629760 13588557824 785695 33554432000 4194304 4196468 140722130313904 140476694883056 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12769] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12769/stat : 12769 (java) S 12747 12750 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 785695 33554432000 4194304 4196468 140722130313904 140476693829984 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12770] ppid=12747 vsize=13270076 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12770/stat : 12770 (java) S 12747 12750 10103 0 -1 1077944384 1861 0 0 0 46 55 0 0 20 0 20 0 4629761 13588557824 785695 33554432000 4194304 4196468 140722130313904 140476692777264 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
Current children cumulated CPU time (s) 2247.61
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.26 1.32 1.41 3/281 12833
/proc/meminfo: memFree=25584524/32770624 swapFree=5852/281816
[pid=12750] ppid=12747 vsize=13270076 CPUtime=2309.06 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 262849 0 0 0 230481 425 0 0 20 0 20 0 4629751 13588557824 786719 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 3317519 786719 3839 1 0 3305234 0
[pid=12750/tid=12751] ppid=12747 vsize=13270076 CPUtime=2249.63 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) R 12747 12750 10103 0 -1 4202560 91775 0 0 0 224897 66 0 0 20 0 20 0 4629752 13588557824 786719 33554432000 4194304 4196468 140722130313904 140477243104176 140476864470505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12753] ppid=12747 vsize=13270076 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12753/stat : 12753 (java) S 12747 12750 10103 0 -1 1077944384 17993 0 0 0 582 39 0 0 20 0 20 0 4629753 13588557824 786719 33554432000 4194304 4196468 140722130313904 140477177829776 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12754] ppid=12747 vsize=13270076 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12754/stat : 12754 (java) S 12747 12750 10103 0 -1 1077944384 12919 0 0 0 572 38 0 0 20 0 20 0 4629753 13588557824 786719 33554432000 4194304 4196468 140722130313904 140477176776976 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12755] ppid=12747 vsize=13270076 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12755/stat : 12755 (java) S 12747 12750 10103 0 -1 1077944384 18591 0 0 0 572 38 0 0 20 0 20 0 4629753 13588557824 786719 33554432000 4194304 4196468 140722130313904 140477175724688 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12756] ppid=12747 vsize=13270076 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12756/stat : 12756 (java) S 12747 12750 10103 0 -1 1077944384 12386 0 0 0 576 39 0 0 20 0 20 0 4629753 13588557824 786719 33554432000 4194304 4196468 140722130313904 140477174671888 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12757] ppid=12747 vsize=13270076 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12757/stat : 12757 (java) S 12747 12750 10103 0 -1 1077944384 17437 0 0 0 588 38 0 0 20 0 20 0 4629753 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476833815440 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12758] ppid=12747 vsize=13270076 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12758/stat : 12758 (java) S 12747 12750 10103 0 -1 1077944384 15899 0 0 0 586 35 0 0 20 0 20 0 4629753 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476832762640 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12759] ppid=12747 vsize=13270076 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12759/stat : 12759 (java) S 12747 12750 10103 0 -1 1077944384 13605 0 0 0 585 37 0 0 20 0 20 0 4629753 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476831710352 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12760] ppid=12747 vsize=13270076 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12760/stat : 12760 (java) S 12747 12750 10103 0 -1 1077944384 11346 0 0 0 591 37 0 0 20 0 20 0 4629753 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476830657552 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12761] ppid=12747 vsize=13270076 CPUtime=3.44 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12761/stat : 12761 (java) S 12747 12750 10103 0 -1 1077944384 27984 0 0 0 314 30 0 0 20 0 20 0 4629755 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476702251120 140477238876802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12762] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12762/stat : 12762 (java) S 12747 12750 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476701197152 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12763] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12763/stat : 12763 (java) S 12747 12750 10103 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476700144768 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12764] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12764/stat : 12764 (java) S 12747 12750 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476699093072 140477238884251 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12765] ppid=12747 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12765/stat : 12765 (java) S 12747 12750 10103 0 -1 1077944384 3636 0 0 0 144 1 0 0 20 0 20 0 4629760 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476698040944 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12766] ppid=12747 vsize=13270076 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12766/stat : 12766 (java) S 12747 12750 10103 0 -1 1077944384 4045 0 0 0 135 1 0 0 20 0 20 0 4629760 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476696988144 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12767] ppid=12747 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12767/stat : 12767 (java) S 12747 12750 10103 0 -1 1077944384 4323 0 0 0 142 1 0 0 20 0 20 0 4629760 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476695935856 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12768] ppid=12747 vsize=13270076 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12768/stat : 12768 (java) S 12747 12750 10103 0 -1 1077944384 7572 0 0 0 104 1 0 0 20 0 20 0 4629760 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476694883056 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12769] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12769/stat : 12769 (java) S 12747 12750 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476693829984 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12770] ppid=12747 vsize=13270076 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12770/stat : 12770 (java) S 12747 12750 10103 0 -1 1077944384 1916 0 0 0 48 57 0 0 20 0 20 0 4629761 13588557824 786719 33554432000 4194304 4196468 140722130313904 140476692777264 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
Current children cumulated CPU time (s) 2309.06
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.30 1.31 1.40 3/281 12835
/proc/meminfo: memFree=25578864/32770624 swapFree=5852/281852
[pid=12750] ppid=12747 vsize=13270076 CPUtime=2370.48 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 269589 0 0 0 236615 433 0 0 20 0 20 0 4629751 13588557824 787231 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 3317519 787231 3839 1 0 3305234 0
[pid=12750/tid=12751] ppid=12747 vsize=13270076 CPUtime=2309.21 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) R 12747 12750 10103 0 -1 4202560 93688 0 0 0 230855 66 0 0 20 0 20 0 4629752 13588557824 787231 33554432000 4194304 4196468 140722130313904 140477243103936 140476863397505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12753] ppid=12747 vsize=13270076 CPUtime=6.41 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12753/stat : 12753 (java) S 12747 12750 10103 0 -1 1077944384 18680 0 0 0 601 40 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140477177829776 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12754] ppid=12747 vsize=13270076 CPUtime=6.33 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12754/stat : 12754 (java) S 12747 12750 10103 0 -1 1077944384 13160 0 0 0 594 39 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140477176776976 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12755] ppid=12747 vsize=13270076 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12755/stat : 12755 (java) S 12747 12750 10103 0 -1 1077944384 18795 0 0 0 593 38 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140477175724688 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12756] ppid=12747 vsize=13270076 CPUtime=6.38 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12756/stat : 12756 (java) S 12747 12750 10103 0 -1 1077944384 12725 0 0 0 598 40 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140477174671888 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12757] ppid=12747 vsize=13270076 CPUtime=6.47 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12757/stat : 12757 (java) S 12747 12750 10103 0 -1 1077944384 17617 0 0 0 609 38 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476833815440 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12758] ppid=12747 vsize=13270076 CPUtime=6.43 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12758/stat : 12758 (java) S 12747 12750 10103 0 -1 1077944384 16925 0 0 0 607 36 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476832762640 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12759] ppid=12747 vsize=13270076 CPUtime=6.42 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12759/stat : 12759 (java) S 12747 12750 10103 0 -1 1077944384 14025 0 0 0 604 38 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476831710352 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12760] ppid=12747 vsize=13270076 CPUtime=6.48 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12760/stat : 12760 (java) S 12747 12750 10103 0 -1 1077944384 12218 0 0 0 610 38 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476830657552 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12761] ppid=12747 vsize=13270076 CPUtime=3.54 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12761/stat : 12761 (java) S 12747 12750 10103 0 -1 1077944384 28761 0 0 0 324 30 0 0 20 0 20 0 4629755 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476702251120 140477238876802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12762] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12762/stat : 12762 (java) S 12747 12750 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476701197152 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12763] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12763/stat : 12763 (java) S 12747 12750 10103 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476700144768 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12764] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12764/stat : 12764 (java) S 12747 12750 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476699093072 140477238884251 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12765] ppid=12747 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12765/stat : 12765 (java) S 12747 12750 10103 0 -1 1077944384 3644 0 0 0 144 1 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476698040944 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12766] ppid=12747 vsize=13270076 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12766/stat : 12766 (java) S 12747 12750 10103 0 -1 1077944384 4051 0 0 0 135 1 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476696988144 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12767] ppid=12747 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12767/stat : 12767 (java) S 12747 12750 10103 0 -1 1077944384 4330 0 0 0 142 1 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476695935856 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12768] ppid=12747 vsize=13270076 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12768/stat : 12768 (java) S 12747 12750 10103 0 -1 1077944384 7578 0 0 0 104 1 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476694883056 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12769] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12769/stat : 12769 (java) S 12747 12750 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476693829984 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12770] ppid=12747 vsize=13270076 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12770/stat : 12770 (java) S 12747 12750 10103 0 -1 1077944384 1970 0 0 0 49 59 0 0 20 0 20 0 4629761 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476692777264 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
Current children cumulated CPU time (s) 2370.48
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2351.2 s]
/proc/loadavg: 1.39 1.33 1.40 3/281 12930
/proc/meminfo: memFree=28381584/32770624 swapFree=5852/281900
[pid=12750] ppid=12747 vsize=13270076 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/12750/stat : 12750 (java) S 12747 12750 10103 0 -1 1077944320 272195 0 0 0 239563 437 0 0 20 0 20 0 4629751 13588557824 787231 33554432000 4194304 4196468 140722130313904 140722130296448 140477238865655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
/proc/12750/statm: 3317519 787231 3839 1 0 3305234 0
[pid=12750/tid=12751] ppid=12747 vsize=13270076 CPUtime=2337.92 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12751/stat : 12751 (java) R 12747 12750 10103 0 -1 4202560 94610 0 0 0 233726 66 0 0 20 0 20 0 4629752 13588557824 787231 33554432000 4194304 4196468 140722130313904 140477243104064 140476864609234 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12753] ppid=12747 vsize=13270076 CPUtime=6.51 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12753/stat : 12753 (java) S 12747 12750 10103 0 -1 1077944384 19300 0 0 0 611 40 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140477177829776 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12754] ppid=12747 vsize=13270076 CPUtime=6.42 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12754/stat : 12754 (java) S 12747 12750 10103 0 -1 1077944384 13196 0 0 0 603 39 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140477176776976 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12755] ppid=12747 vsize=13270076 CPUtime=6.4 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12755/stat : 12755 (java) S 12747 12750 10103 0 -1 1077944384 18852 0 0 0 601 39 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140477175724688 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12756] ppid=12747 vsize=13270076 CPUtime=6.46 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12756/stat : 12756 (java) S 12747 12750 10103 0 -1 1077944384 12788 0 0 0 606 40 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140477174671888 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12757] ppid=12747 vsize=13270076 CPUtime=6.56 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12757/stat : 12757 (java) S 12747 12750 10103 0 -1 1077944384 17822 0 0 0 617 39 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476833815440 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12758] ppid=12747 vsize=13270076 CPUtime=6.53 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12758/stat : 12758 (java) S 12747 12750 10103 0 -1 1077944384 16979 0 0 0 617 36 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476832762640 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12759] ppid=12747 vsize=13270076 CPUtime=6.51 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12759/stat : 12759 (java) S 12747 12750 10103 0 -1 1077944384 14172 0 0 0 613 38 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476831710352 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12760] ppid=12747 vsize=13270076 CPUtime=6.57 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12760/stat : 12760 (java) S 12747 12750 10103 0 -1 1077944384 12431 0 0 0 619 38 0 0 20 0 20 0 4629753 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476830657552 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12761] ppid=12747 vsize=13270076 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12761/stat : 12761 (java) S 12747 12750 10103 0 -1 1077944384 29022 0 0 0 329 30 0 0 20 0 20 0 4629755 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476702251120 140477238876802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12762] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12762/stat : 12762 (java) S 12747 12750 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476701197152 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12763] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12763/stat : 12763 (java) S 12747 12750 10103 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4629756 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476700144768 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12764] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12764/stat : 12764 (java) S 12747 12750 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476699093072 140477238884251 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12765] ppid=12747 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12765/stat : 12765 (java) S 12747 12750 10103 0 -1 1077944384 3647 0 0 0 144 1 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476698040944 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12766] ppid=12747 vsize=13270076 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12766/stat : 12766 (java) S 12747 12750 10103 0 -1 1077944384 4053 0 0 0 135 1 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476696988144 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12767] ppid=12747 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12767/stat : 12767 (java) S 12747 12750 10103 0 -1 1077944384 4332 0 0 0 142 1 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476695935856 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12768] ppid=12747 vsize=13270076 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12768/stat : 12768 (java) S 12747 12750 10103 0 -1 1077944384 7580 0 0 0 104 1 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476694883056 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12769] ppid=12747 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12769/stat : 12769 (java) S 12747 12750 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629760 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476693829984 140477238875861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
[pid=12750/tid=12770] ppid=12747 vsize=13270076 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/12750/task/12770/stat : 12770 (java) S 12747 12750 10103 0 -1 1077944384 1989 0 0 0 49 59 0 0 20 0 20 0 4629761 13588557824 787231 33554432000 4194304 4196468 140722130313904 140476692777264 140477238876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14110720 140722130322569 140722130322756 140722130322756 140722130325455 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13270076

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12750 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2351.25
CPU time (s): 2400.07
CPU user time (s): 2395.67
CPU system time (s): 4.3991
CPU usage (%): 102.077
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.67
system time used= 4.39909
maximum resident set size= 3466780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217193
involuntary context switches= 157727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8868 second user time and 19.838 second system time

The end

Launcher Data

Begin job on node119 at 2017-07-22 05:20:11
IDJOB=4244840
IDBENCH=115918
IDSOLVER=2628
FILE ID=node119/4244840-1500693611
RUNJOBID= node119-1500684088-11483
PBS_JOBID= 20623030
Free space on /tmp= 61836 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244840-1500693611/watcher-4244840-1500693611 -o /tmp/evaluation-result-4244840-1500693611/solver-4244840-1500693611 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500684088-11483 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1736560251 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244840-1500693611.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e
RANDOM SEED=1736560251

node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.98
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		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.98
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31254924 kB
MemAvailable:   31517068 kB
Buffers:          116460 kB
Cached:           427688 kB
SwapCached:            0 kB
Active:           797168 kB
Inactive:         288184 kB
Active(anon):     544220 kB
Inactive(anon):     8680 kB
Active(file):     252948 kB
Inactive(file):   279504 kB
Unevictable:        5852 kB
Mlocked:            5852 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             84552 kB
Writeback:             0 kB
AnonPages:        510724 kB
Mapped:            44904 kB
Shmem:              8844 kB
Slab:             124184 kB
SReclaimable:      91056 kB
SUnreclaim:        33128 kB
KernelStack:        4592 kB
PageTables:         6772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1647580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    389120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61792 MiB
End job on node119 at 2017-07-22 05:59:22

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml
MD5SUM	3de3ac871f1e1c584be6c245f66daf9e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	516
Best CPU time to get the best result obtained on this benchmark	2519.78
Satisfiable
(Un)Satisfiability was proved
Number of variables	2347
Number of constraints	1352
Number of domains	4
Minimum domain size	2
Maximum domain size	2313
Distribution of domain sizes	[{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}]
Minimum variable degree	1
Maximum variable degree	35
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	36
Distribution of constraint arities	[{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}]
Number of extensional constraints	1152
Number of intensional constraints	161
Distribution of constraint types	[{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4244840

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data