2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-08-22	SAT (TO)	344	1978.1899	252.144

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 324882516
0.29/0.25	c timeout: 2016
0.29/0.25	c memlimit: 22000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
2.13/0.84	c Parsing done, starting search...
34.86/8.28	o 268
34.86/8.29	o 269
35.64/8.31	o 270
35.64/8.33	o 271
36.39/8.42	o 272
36.39/8.43	o 273
36.39/8.44	o 274
36.39/8.44	o 275
37.25/8.54	o 276
38.77/8.76	o 277
39.57/8.81	o 280
39.57/8.82	o 281
39.57/8.85	o 283
39.57/8.86	o 284
40.36/8.92	o 285
40.36/8.93	o 291
40.36/8.94	o 292
40.36/8.95	o 293
40.36/8.96	o 294
51.50/10.32	o 295
53.17/10.52	o 296
61.13/11.53	o 313
61.13/11.53	o 314
61.13/11.53	o 315
61.13/11.59	o 317
61.13/11.59	o 318
62.65/11.73	o 319
62.65/11.74	o 320
62.65/11.74	o 321
63.45/11.84	o 322
63.45/11.87	o 323
63.45/11.88	o 324
64.24/11.99	o 327
64.24/11.99	o 328
64.24/11.99	o 329
83.34/14.30	o 330
83.34/14.37	o 331
83.34/14.38	o 332
106.44/17.27	o 333
110.40/17.77	o 334
221.23/31.63	o 335
230.72/32.83	o 336
235.51/33.44	o 337
235.51/33.51	o 338
364.67/49.62	o 339
364.67/49.64	o 340
460.32/61.68	o 341
460.32/61.69	o 342
1039.47/134.38	o 343
1039.47/134.39	o 344
1977.28/252.08	s SATISFIABLE
1977.28/252.10	v <instantiation>
1977.28/252.10	v 	<list>
1977.28/252.10	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
1977.28/252.10	v 	</list>
1977.28/252.10	v 	<values>
1977.28/252.10	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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 1 1 0 1 2 1 0 1 0 0 1 1 1 1 0 1 1 1 0 1 2 2 1 2 2 2 2 2 2 1 0 2 1 1 1 0 0 1 0 1 0 0 1 1 1 2 1 0 1 1 2 0 0 1 1 0 1 1 2 2 1 2 1 2 0 0 0 1 1 0 1 0 1 0 1 0 0 2 2 0 1 0 0 1 1 1 0 0 1 0 0 1 2 1 1 0 1 0 2 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 2 1 0 0 0 1 1 2 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 2 1 1 1 0 0 1 1 0 1 0 0 0 2 1 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 2 2 1 0 1 1 0 0 0 0 0 1 0 1 1 2 1 1 0 0 0 0 1 0 1 2 1 0 0 0 1 1 0 1 1 2 2 1 1 2 0 0 0 1 0 0 1 0 1 2 2 0 1 0 0 0 0 0 1 0 2 0 0 1 1 0 0 0 1 0 2 1 2 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 2 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 2 1 0 0 1 0 0 0 0 1 0 2 0 2 2 2 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 2 1 1 1 0 0 0 0 0 0 2 0 2 2 2 1 1 0 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 2 2 2 2 2 1 1 2 2 2 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 2 2 2 2 2 2 1 2 2 2 2 2 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 2 2 2 2 2 2 2 0 1 0 2 1 1 1 1 0 0 1 0 0 2 0 0 2 1 0 1 0 0 1 0 1 0 1 1 2 2 2 2 2 1 1 2 0 0 0 0 0 0 1 1 1 1 0 0 0 2 2 1 1 0 0 1 0 1 0 1 0 2 2 2 2 2 2 2 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 1 2 2 1 1 1 1 1 1 0 0 2 2 2 1 1 2 1 1 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 2 1 1 1 0 1 0 1 1 0 2 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 2 0 1 0 0 1 1 1 2 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 2 2 1 2 1 1 2 1 1 2 0 0 1 0 0 0 0 1 1 1 2 1 2 1 1 2 0 1 0 0 0 1 0 2 2 2 2 2 1 2 1 0 1 0 1 0 1 2 1 0 1 1 1 1 0 1 0 2 2 2 2 1 1 0 0 1 2 1 2 2 2 0 1 0 1 0 0 2 1 1 2 1 1 1 0 0 1 0 0 2 0 0 2 2 2 2 1 0 1 1 0 1 0 2 1 1 2 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 0 1 0 1 0 2 0 2 0 0 0 0 0 0 1 2 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 1 2 1 1 2 0 0 1 1 0 1 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 2 0 1 1 2 1 1 2 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 2 0 1 1 0 2 0 1 0 0 0 0 0 0 0 0 1 1 0 2 0 0 1 0 0 2 0 1 0 0 1 2 1 2 1 1 0 0 1 1 2 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 2 2 0 0 0 0 0 2 2 2 2 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 0 1 0 1 0 1 2 1 1 0 0 0 1 1 2 2 2 2 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 27 71 105 133 153 170 186 205 229 249 264 279 299 319 345 378 407 435 467 493 504 520 546 581 615 641 662 684 700 714 739 761 783 800 344 
1977.28/252.10	v 	</values>
1977.28/252.10	v </instantiation>

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9596 MiB free)
  memory of node 1: 16384 MiB (11324 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4286015-1503424821/watcher-4286015-1503424821 -o /tmp/evaluation-result-4286015-1503424821/solver-4286015-1503424821 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503413660-22926 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 324882516 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4286015-1503424821.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=24824, runsolver pid=24821

[startup+0.100115 s]*
/proc/loadavg: 8.96 8.59 8.58 2/198 24844
/proc/meminfo: memFree=21405616/32770624 swapFree=67108860/67108860
[pid=24824] ppid=24821 vsize=26000852 memory=32980 CPUtime=0.13 cores=0-7
/proc/24824/stat : 24824 (java) S 24821 24824 22899 0 -1 1077944320 8654 0 0 0 11 2 0 0 20 0 20 0 175569469 26624872448 8245 33554432000 4194304 4196468 140732393194640 140732393177184 140301940346615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
/proc/24824/statm: 6500213 8245 3403 1 0 6487932 0
[pid=24824/tid=24826] ppid=24821 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24824/task/24826/stat : 24826 (java) R 24821 24824 22899 0 -1 4202560 6590 0 0 0 8 1 0 0 20 0 20 0 175569469 26624872448 8245 33554432000 4194304 4196468 140732393194640 140301944525872 140301924427132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24827] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24827/stat : 24827 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 8245 33554432000 4194304 4196468 140732393194640 140301892967568 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24828] ppid=24821 vsize=26000852 memory=139952520337024 CPUtime=0 cores=0-7
/proc/24824/task/24828/stat : 24828 (java) S 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 8245 33554432000 4194304 4196468 140732393194640 140301891914768 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24829] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24829/stat : 24829 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 8245 33554432000 4194304 4196468 140732393194640 140301890861968 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24830] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24830/stat : 24830 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 8245 33554432000 4194304 4196468 140732393194640 140301889809168 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24831] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24831/stat : 24831 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 8245 33554432000 4194304 4196468 140732393194640 140301888756368 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24832] ppid=24821 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/24824/task/24832/stat : 24832 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 8245 33554432000 4194304 4196468 140732393194640 140301887703568 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24833] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24833/stat : 24833 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 8245 33554432000 4194304 4196468 140732393194640 140301886650768 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24834] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24834/stat : 24834 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 8245 33554432000 4194304 4196468 140732393194640 140301490845968 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24835] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24835/stat : 24835 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569471 26624872448 8245 33554432000 4194304 4196468 140732393194640 140300347472752 140301940357762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24836] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24836/stat : 24836 (java) S 24821 24824 22899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175569472 26624872448 8245 33554432000 4194304 4196468 140732393194640 140300346418720 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24837] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24837/stat : 24837 (java) S 24821 24824 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175569472 26624872448 8245 33554432000 4194304 4196468 140732393194640 140300345365872 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24838] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24838/stat : 24838 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569474 26624872448 8245 33554432000 4194304 4196468 140732393194640 140300344314192 140301940365211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24839] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24839/stat : 24839 (java) S 24821 24824 22899 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 175569474 26624872448 8245 33554432000 4194304 4196468 140732393194640 140300343261552 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24840] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24840/stat : 24840 (java) S 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175569474 26624872448 8245 33554432000 4194304 4196468 140732393194640 140300274100464 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24841] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24841/stat : 24841 (java) S 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175569474 26624872448 8245 33554432000 4194304 4196468 140732393194640 140300273047664 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24842] ppid=24821 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/24824/task/24842/stat : 24842 (java) R 24821 24824 22899 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 175569474 26624872448 8245 33554432000 4194304 4196468 140732393194640 140300271994864 140301932583742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24843] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24843/stat : 24843 (java) S 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175569475 26624872448 8245 33554432000 4194304 4196468 140732393194640 140300270943328 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24844] ppid=24821 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/24824/task/24844/stat : 24844 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569475 26624872448 8245 33554432000 4194304 4196468 140732393194640 140300269890608 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32980 KiB

[startup+0.21036 s]*
/proc/loadavg: 8.96 8.59 8.58 3/198 24844
/proc/meminfo: memFree=21396296/32770624 swapFree=67108860/67108860
[pid=24824] ppid=24821 vsize=26000852 memory=42132 CPUtime=0.29 cores=0-7
/proc/24824/stat : 24824 (java) S 24821 24824 22899 0 -1 1077944320 9674 0 0 0 27 2 0 0 20 0 20 0 175569469 26624872448 10533 33554432000 4194304 4196468 140732393194640 140732393177184 140301940346615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
/proc/24824/statm: 6500213 10533 3630 1 0 6487932 0
[pid=24824/tid=24826] ppid=24821 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/24824/task/24826/stat : 24826 (java) R 24821 24824 22899 0 -1 4202560 7233 0 0 0 18 1 0 0 20 0 20 0 175569469 26624872448 10533 33554432000 4194304 4196468 140732393194640 140301944566304 140301924390245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24827] ppid=24821 vsize=26000852 memory=3382 CPUtime=0 cores=0-7
/proc/24824/task/24827/stat : 24827 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 10533 33554432000 4194304 4196468 140732393194640 140301892967568 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24828] ppid=24821 vsize=26000852 memory=288370328672048768 CPUtime=0 cores=0-7
/proc/24824/task/24828/stat : 24828 (java) S 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 10533 33554432000 4194304 4196468 140732393194640 140301891914768 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24829] ppid=24821 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/24824/task/24829/stat : 24829 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 10533 33554432000 4194304 4196468 140732393194640 140301890861968 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24830] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24830/stat : 24830 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 10533 33554432000 4194304 4196468 140732393194640 140301889809168 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24831] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24831/stat : 24831 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 10533 33554432000 4194304 4196468 140732393194640 140301888756368 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24832] ppid=24821 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/24824/task/24832/stat : 24832 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 10533 33554432000 4194304 4196468 140732393194640 140301887703568 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24833] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24833/stat : 24833 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 10533 33554432000 4194304 4196468 140732393194640 140301886650768 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24834] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24834/stat : 24834 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624872448 10533 33554432000 4194304 4196468 140732393194640 140301490845968 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24835] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24835/stat : 24835 (java) S 24821 24824 22899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175569471 26624872448 10533 33554432000 4194304 4196468 140732393194640 140300347472752 140301940357762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24836] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24836/stat : 24836 (java) S 24821 24824 22899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175569472 26624872448 10533 33554432000 4194304 4196468 140732393194640 140300346418720 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24837] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24837/stat : 24837 (java) S 24821 24824 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175569472 26624872448 10533 33554432000 4194304 4196468 140732393194640 140300345365872 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24838] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24838/stat : 24838 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569474 26624872448 10533 33554432000 4194304 4196468 140732393194640 140300344314192 140301940365211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24839] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24839/stat : 24839 (java) S 24821 24824 22899 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 20 0 175569474 26624872448 10533 33554432000 4194304 4196468 140732393194640 140300343261552 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24840] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24840/stat : 24840 (java) S 24821 24824 22899 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 175569474 26624872448 10533 33554432000 4194304 4196468 140732393194640 140300274100464 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24841] ppid=24821 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/24824/task/24841/stat : 24841 (java) S 24821 24824 22899 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 20 0 175569474 26624872448 10533 33554432000 4194304 4196468 140732393194640 140300273047664 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24842] ppid=24821 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/24824/task/24842/stat : 24842 (java) R 24821 24824 22899 0 -1 4202560 381 0 0 0 5 0 0 0 20 0 20 0 175569474 26624872448 10533 33554432000 4194304 4196468 140732393194640 140300271994864 140301918967712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24843] ppid=24821 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24843/stat : 24843 (java) S 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175569475 26624872448 10533 33554432000 4194304 4196468 140732393194640 140300270943328 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24844] ppid=24821 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/24824/task/24844/stat : 24844 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569475 26624872448 10533 33554432000 4194304 4196468 140732393194640 140300269890608 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 42132 KiB

[startup+0.310153 s]*
/proc/loadavg: 8.96 8.59 8.58 2/198 24844
/proc/meminfo: memFree=21389348/32770624 swapFree=67108860/67108860
[pid=24824] ppid=24821 vsize=26000872 memory=49260 CPUtime=0.48 cores=0-7
/proc/24824/stat : 24824 (java) S 24821 24824 22899 0 -1 1077944320 10605 0 0 0 45 3 0 0 20 0 20 0 175569469 26624892928 12315 33554432000 4194304 4196468 140732393194640 140732393177184 140301940346615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
/proc/24824/statm: 6500218 12315 3702 1 0 6487932 0
[pid=24824/tid=24826] ppid=24821 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24824/task/24826/stat : 24826 (java) R 24821 24824 22899 0 -1 4202560 7789 0 0 0 27 2 0 0 20 0 20 0 175569469 26624892928 12315 33554432000 4194304 4196468 140732393194640 140301944569552 140301940358550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24827] ppid=24821 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24827/stat : 24827 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624892928 12315 33554432000 4194304 4196468 140732393194640 140301892967568 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24828] ppid=24821 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24828/stat : 24828 (java) S 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175569470 26624892928 12315 33554432000 4194304 4196468 140732393194640 140301891914768 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24829] ppid=24821 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24829/stat : 24829 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624892928 12315 33554432000 4194304 4196468 140732393194640 140301890861968 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24830] ppid=24821 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24830/stat : 24830 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569470 26624892928 12315 33554432000 4194304 4196468 140732393194640 140301889809168 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24831] ppid=24821 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/24824/task/24831/stat : 24831 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569470 26624892928 12315 33554432000 4194304 4196468 140732393194640 140301888756368 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24832] ppid=24821 vsize=26000872 memory=139952381850543 CPUtime=0 cores=0-7
/proc/24824/task/24832/stat : 24832 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624892928 12315 33554432000 4194304 4196468 140732393194640 140301887703568 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24833] ppid=24821 vsize=26000872 memory=139952381852848 CPUtime=0 cores=0-7
/proc/24824/task/24833/stat : 24833 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624892928 12315 33554432000 4194304 4196468 140732393194640 140301886650768 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24834] ppid=24821 vsize=26000872 memory=139952381855152 CPUtime=0 cores=0-7
/proc/24824/task/24834/stat : 24834 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26624892928 12315 33554432000 4194304 4196468 140732393194640 140301490845968 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24835] ppid=24821 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24835/stat : 24835 (java) S 24821 24824 22899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175569471 26624892928 12315 33554432000 4194304 4196468 140732393194640 140300347472752 140301940357762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24836] ppid=24821 vsize=26000872 memory=279904763717264 CPUtime=0 cores=0-7
/proc/24824/task/24836/stat : 24836 (java) S 24821 24824 22899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175569472 26624892928 12315 33554432000 4194304 4196468 140732393194640 140300346418720 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24837] ppid=24821 vsize=26000872 memory=279904763724176 CPUtime=0 cores=0-7
/proc/24824/task/24837/stat : 24837 (java) S 24821 24824 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175569472 26624892928 12315 33554432000 4194304 4196468 140732393194640 140300345365872 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24838] ppid=24821 vsize=26000872 memory=279904763665456 CPUtime=0 cores=0-7
/proc/24824/task/24838/stat : 24838 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569474 26624892928 12315 33554432000 4194304 4196468 140732393194640 140300344314192 140301940365211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24839] ppid=24821 vsize=26000872 memory=279904763738000 CPUtime=0.02 cores=0-7
/proc/24824/task/24839/stat : 24839 (java) S 24821 24824 22899 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 20 0 175569474 26624892928 12315 33554432000 4194304 4196468 140732393194640 140300343261552 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24840] ppid=24821 vsize=26000872 memory=279904763744912 CPUtime=0.03 cores=0-7
/proc/24824/task/24840/stat : 24840 (java) S 24821 24824 22899 0 -1 1077944384 175 0 0 0 3 0 0 0 20 0 20 0 175569474 26624892928 12315 33554432000 4194304 4196468 140732393194640 140300274100464 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24841] ppid=24821 vsize=26000872 memory=279904763742608 CPUtime=0.03 cores=0-7
/proc/24824/task/24841/stat : 24841 (java) S 24821 24824 22899 0 -1 1077944384 444 0 0 0 3 0 0 0 20 0 20 0 175569474 26624892928 12315 33554432000 4194304 4196468 140732393194640 140300273047664 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24842] ppid=24821 vsize=26000872 memory=279904763759216 CPUtime=0.08 cores=0-7
/proc/24824/task/24842/stat : 24842 (java) R 24821 24824 22899 0 -1 4202560 445 0 0 0 8 0 0 0 20 0 20 0 175569474 26624892928 12315 33554432000 4194304 4196468 140732393194640 140300271994992 140301940358550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24843] ppid=24821 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24843/stat : 24843 (java) S 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175569475 26624892928 12315 33554432000 4194304 4196468 140732393194640 140300270943328 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24844] ppid=24821 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/24824/task/24844/stat : 24844 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569475 26624892928 12315 33554432000 4194304 4196468 140732393194640 140300269890608 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49260 KiB

[startup+0.70093 s]
/proc/loadavg: 8.96 8.59 8.58 3/198 24844
/proc/meminfo: memFree=21371852/32770624 swapFree=67108860/67108860
[pid=24824] ppid=24821 vsize=26002920 memory=93400 CPUtime=1.67 cores=0-7
/proc/24824/stat : 24824 (java) S 24821 24824 22899 0 -1 1077944320 14434 0 0 0 162 5 0 0 20 0 20 0 175569469 26626990080 23350 33554432000 4194304 4196468 140732393194640 140732393177184 140301940346615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
/proc/24824/statm: 6500730 23350 3779 1 0 6488444 0
[pid=24824/tid=24826] ppid=24821 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/24824/task/24826/stat : 24826 (java) R 24821 24824 22899 0 -1 4202560 8651 0 0 0 64 3 0 0 20 0 20 0 175569469 26626990080 23350 33554432000 4194304 4196468 140732393194640 140301944582128 140301940367962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24827] ppid=24821 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24827/stat : 24827 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26626990080 23350 33554432000 4194304 4196468 140732393194640 140301892967568 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24828] ppid=24821 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24828/stat : 24828 (java) S 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175569470 26626990080 23350 33554432000 4194304 4196468 140732393194640 140301891914768 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24829] ppid=24821 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24829/stat : 24829 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26626990080 23350 33554432000 4194304 4196468 140732393194640 140301890861968 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24830] ppid=24821 vsize=26002920 memory=1712 CPUtime=0 cores=0-7
/proc/24824/task/24830/stat : 24830 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569470 26626990080 23350 33554432000 4194304 4196468 140732393194640 140301889809168 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24831] ppid=24821 vsize=26002920 memory=4612 CPUtime=0 cores=0-7
/proc/24824/task/24831/stat : 24831 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175569470 26626990080 23350 33554432000 4194304 4196468 140732393194640 140301888756368 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24832] ppid=24821 vsize=26002920 memory=1004 CPUtime=0 cores=0-7
/proc/24824/task/24832/stat : 24832 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26626990080 23350 33554432000 4194304 4196468 140732393194640 140301887703568 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24833] ppid=24821 vsize=26002920 memory=1200 CPUtime=0 cores=0-7
/proc/24824/task/24833/stat : 24833 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26626990080 23350 33554432000 4194304 4196468 140732393194640 140301886650768 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24834] ppid=24821 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/24824/task/24834/stat : 24834 (java) S 24821 24824 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175569470 26626990080 23350 33554432000 4194304 4196468 140732393194640 140301490845968 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24835] ppid=24821 vsize=26002920 memory=27060 CPUtime=0 cores=0-7
/proc/24824/task/24835/stat : 24835 (java) S 24821 24824 22899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175569471 26626990080 23350 33554432000 4194304 4196468 140732393194640 140300347472752 140301940357762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0

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

/proc/24824/task/24866/stat : 24866 (java) S 24821 24824 22899 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 46 0 175570314 28411809792 1434143 33554432000 4194304 4196468 140732393194640 140300231164720 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24867] ppid=24821 vsize=27745908 memory=48360 CPUtime=0 cores=0-7
/proc/24824/task/24867/stat : 24867 (java) S 24821 24824 22899 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 46 0 175570316 28411809792 1434143 33554432000 4194304 4196468 140732393194640 140300230113040 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24868] ppid=24821 vsize=27745908 memory=1292 CPUtime=0 cores=0-7
/proc/24824/task/24868/stat : 24868 (java) S 24821 24824 22899 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 46 0 175570318 28411809792 1434143 33554432000 4194304 4196468 140732393194640 140300229060240 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24869] ppid=24821 vsize=27745908 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24869/stat : 24869 (java) S 24821 24824 22899 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 46 0 175570320 28411809792 1434143 33554432000 4194304 4196468 140732393194640 140300228007344 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24870] ppid=24821 vsize=27745908 memory=3472468248610631616 CPUtime=0 cores=0-7
/proc/24824/task/24870/stat : 24870 (java) S 24821 24824 22899 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 46 0 175570321 28411809792 1434143 33554432000 4194304 4196468 140732393194640 140300226954640 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
Current children cumulated CPU time: 1740.66 s
Current children cumulated vsize: 27745908 KiB
Current children cumulated memory: 5736572 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.004 s]
/proc/loadavg: 9.44 8.86 8.67 10/225 24878
/proc/meminfo: memFree=15681516/32770624 swapFree=67108860/67108860
[pid=24824] ppid=24821 vsize=27745908 memory=5747244 CPUtime=1977.28 cores=0-7
/proc/24824/stat : 24824 (java) S 24821 24824 22899 0 -1 1077944320 338080 0 0 0 197057 671 0 0 20 0 46 0 175569469 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140732393177184 140301940346615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
/proc/24824/statm: 6936477 1436811 3874 1 0 6923670 0
[pid=24824/tid=24826] ppid=24821 vsize=27745908 memory=5747244 CPUtime=4.69 cores=0-7
/proc/24824/task/24826/stat : 24826 (java) S 24821 24824 22899 0 -1 1077944384 15646 0 0 0 452 17 0 0 20 0 46 0 175569469 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140301944584320 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24827] ppid=24821 vsize=27745908 memory=5743088 CPUtime=1.7 cores=0-7
/proc/24824/task/24827/stat : 24827 (java) S 24821 24824 22899 0 -1 1077944384 22852 0 0 0 131 39 0 0 20 0 46 0 175569470 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140301892967568 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24828] ppid=24821 vsize=27745908 memory=5747244 CPUtime=1.63 cores=0-7
/proc/24824/task/24828/stat : 24828 (java) S 24821 24824 22899 0 -1 1077944384 9613 0 0 0 126 37 0 0 20 0 46 0 175569470 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140301891914768 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24829] ppid=24821 vsize=27745908 memory=5747244 CPUtime=1.65 cores=0-7
/proc/24824/task/24829/stat : 24829 (java) S 24821 24824 22899 0 -1 1077944384 12664 0 0 0 128 37 0 0 20 0 46 0 175569470 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140301890861968 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24830] ppid=24821 vsize=27745908 memory=8728 CPUtime=1.66 cores=0-7
/proc/24824/task/24830/stat : 24830 (java) S 24821 24824 22899 0 -1 1077944384 12043 0 0 0 131 35 0 0 20 0 46 0 175569470 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140301889809168 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24831] ppid=24821 vsize=27745908 memory=5747244 CPUtime=1.66 cores=0-7
/proc/24824/task/24831/stat : 24831 (java) S 24821 24824 22899 0 -1 1077944384 9451 0 0 0 130 36 0 0 20 0 46 0 175569470 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140301888756368 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24832] ppid=24821 vsize=27745908 memory=1004 CPUtime=1.67 cores=0-7
/proc/24824/task/24832/stat : 24832 (java) S 24821 24824 22899 0 -1 1077944384 11987 0 0 0 131 36 0 0 20 0 46 0 175569470 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140301887703568 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24833] ppid=24821 vsize=27745908 memory=1200 CPUtime=1.68 cores=0-7
/proc/24824/task/24833/stat : 24833 (java) S 24821 24824 22899 0 -1 1077944384 9862 0 0 0 132 36 0 0 20 0 46 0 175569470 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140301886650768 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24834] ppid=24821 vsize=27745908 memory=0 CPUtime=1.65 cores=0-7
/proc/24824/task/24834/stat : 24834 (java) S 24821 24824 22899 0 -1 1077944384 13171 0 0 0 127 38 0 0 20 0 46 0 175569470 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140301490845968 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24835] ppid=24821 vsize=27745908 memory=4206468019030876256 CPUtime=0.18 cores=0-7
/proc/24824/task/24835/stat : 24835 (java) S 24821 24824 22899 0 -1 1077944384 17055 0 0 0 14 4 0 0 20 0 46 0 175569471 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300347472752 140301940357762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24836] ppid=24821 vsize=27745908 memory=4124 CPUtime=0 cores=0-7
/proc/24824/task/24836/stat : 24836 (java) S 24821 24824 22899 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 175569472 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300346418784 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24837] ppid=24821 vsize=27745908 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24837/stat : 24837 (java) S 24821 24824 22899 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 175569472 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300345365888 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24838] ppid=24821 vsize=27745908 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24838/stat : 24838 (java) S 24821 24824 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 175569474 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300344314192 140301940365211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24839] ppid=24821 vsize=27745908 memory=0 CPUtime=2.17 cores=0-7
/proc/24824/task/24839/stat : 24839 (java) S 24821 24824 22899 0 -1 1077944384 9832 0 0 0 214 3 0 0 20 0 46 0 175569474 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300343261552 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24840] ppid=24821 vsize=27745908 memory=4052 CPUtime=2.19 cores=0-7
/proc/24824/task/24840/stat : 24840 (java) S 24821 24824 22899 0 -1 1077944384 9540 0 0 0 217 2 0 0 20 0 46 0 175569474 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300274100464 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24841] ppid=24821 vsize=27745908 memory=16236 CPUtime=2 cores=0-7
/proc/24824/task/24841/stat : 24841 (java) S 24821 24824 22899 0 -1 1077944384 7839 0 0 0 198 2 0 0 20 0 46 0 175569474 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300273047664 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24842] ppid=24821 vsize=27745908 memory=0 CPUtime=1.19 cores=0-7
/proc/24824/task/24842/stat : 24842 (java) S 24821 24824 22899 0 -1 1077944384 11306 0 0 0 115 4 0 0 20 0 46 0 175569474 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300271994864 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24843] ppid=24821 vsize=27745908 memory=5732456 CPUtime=0 cores=0-7
/proc/24824/task/24843/stat : 24843 (java) S 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 175569475 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300270943328 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24844] ppid=24821 vsize=27745908 memory=5730408 CPUtime=0.11 cores=0-7
/proc/24824/task/24844/stat : 24844 (java) R 24821 24824 22899 0 -1 1077944384 680 0 0 0 6 5 0 0 20 0 46 0 175569475 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300269890608 140301940357762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24845] ppid=24821 vsize=27745908 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24845/stat : 24845 (java) S 24821 24824 22899 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 46 0 175569935 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300257502368 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24846] ppid=24821 vsize=27745908 memory=5728140 CPUtime=0.76 cores=0-7
/proc/24824/task/24846/stat : 24846 (java) S 24821 24824 22899 0 -1 1077944384 2457 0 0 0 44 32 0 0 20 0 46 0 175569947 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300256449712 140301940357762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24847] ppid=24821 vsize=27745908 memory=8099531882097108048 CPUtime=0.01 cores=0-7
/proc/24824/task/24847/stat : 24847 (java) S 24821 24824 22899 0 -1 1077944384 653 0 0 0 1 0 0 0 20 0 46 0 175569956 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300253299984 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24848] ppid=24821 vsize=27745908 memory=8099531882097108048 CPUtime=0.68 cores=0-7
/proc/24824/task/24848/stat : 24848 (java) S 24821 24824 22899 0 -1 1077944384 244 0 0 0 67 1 0 0 20 0 46 0 175569957 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300252247088 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24849] ppid=24821 vsize=27745908 memory=800 CPUtime=243.06 cores=0-7
/proc/24824/task/24849/stat : 24849 (java) R 24821 24824 22899 0 -1 4202560 20254 0 0 0 24263 43 0 0 20 0 46 0 175569957 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300251187344 140301575430868 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24850] ppid=24821 vsize=27745908 memory=12132 CPUtime=243.09 cores=0-7
/proc/24824/task/24850/stat : 24850 (java) R 24821 24824 22899 0 -1 4202560 15781 0 0 0 24268 41 0 0 20 0 46 0 175569959 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300250134808 140301571914847 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24851] ppid=24821 vsize=27745908 memory=1440 CPUtime=244.25 cores=0-7
/proc/24824/task/24851/stat : 24851 (java) R 24821 24824 22899 0 -1 4202560 16423 0 0 0 24385 40 0 0 20 0 46 0 175569959 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300249083016 140301574967180 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24852] ppid=24821 vsize=27745908 memory=6791534058613427641 CPUtime=244.25 cores=0-7
/proc/24824/task/24852/stat : 24852 (java) R 24821 24824 22899 0 -1 4202560 24777 0 0 0 24380 45 0 0 20 0 46 0 175569959 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300248030712 140301575956811 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24853] ppid=24821 vsize=27745908 memory=5728140 CPUtime=243.4 cores=0-7
/proc/24824/task/24853/stat : 24853 (java) R 24821 24824 22899 0 -1 4202560 21178 0 0 0 24298 42 0 0 20 0 46 0 175569959 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300246978408 140301574967220 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24854] ppid=24821 vsize=27745908 memory=5728140 CPUtime=0.7 cores=0-7
/proc/24824/task/24854/stat : 24854 (java) S 24821 24824 22899 0 -1 1077944384 289 0 0 0 64 6 0 0 20 0 46 0 175569959 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300245931408 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24855] ppid=24821 vsize=27745908 memory=5738692 CPUtime=243.82 cores=0-7
/proc/24824/task/24855/stat : 24855 (java) R 24821 24824 22899 0 -1 4202560 17139 0 0 0 24340 42 0 0 20 0 46 0 175569960 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300244874416 140301575956290 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24856] ppid=24821 vsize=27745908 memory=6791534058613427641 CPUtime=0.68 cores=0-7
/proc/24824/task/24856/stat : 24856 (java) S 24821 24824 22899 0 -1 1077944384 296 0 0 0 64 4 0 0 20 0 46 0 175569960 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300243825808 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24857] ppid=24821 vsize=27745908 memory=1156 CPUtime=0 cores=0-7
/proc/24824/task/24857/stat : 24857 (java) S 24821 24824 22899 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 46 0 175570094 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300242773008 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24858] ppid=24821 vsize=27745908 memory=4416 CPUtime=242.85 cores=0-7
/proc/24824/task/24858/stat : 24858 (java) R 24821 24824 22899 0 -1 4202560 22035 0 0 0 24252 33 0 0 20 0 46 0 175570094 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300241714248 140301574967220 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24859] ppid=24821 vsize=27745908 memory=5723960 CPUtime=243.6 cores=0-7
/proc/24824/task/24859/stat : 24859 (java) R 24821 24824 22899 0 -1 4202560 18816 0 0 0 24325 35 0 0 20 0 46 0 175570094 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300240662136 140301575957443 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24860] ppid=24821 vsize=27745908 memory=5743088 CPUtime=0 cores=0-7
/proc/24824/task/24860/stat : 24860 (java) S 24821 24824 22899 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 46 0 175570094 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300239615536 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24861] ppid=24821 vsize=27745908 memory=5743088 CPUtime=0 cores=0-7
/proc/24824/task/24861/stat : 24861 (java) S 24821 24824 22899 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 46 0 175570094 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300238562832 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24862] ppid=24821 vsize=27745908 memory=5743144 CPUtime=0 cores=0-7
/proc/24824/task/24862/stat : 24862 (java) S 24821 24824 22899 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 46 0 175570094 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300237510032 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24863] ppid=24821 vsize=27745908 memory=5747244 CPUtime=0 cores=0-7
/proc/24824/task/24863/stat : 24863 (java) S 24821 24824 22899 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 175570297 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300234323120 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24864] ppid=24821 vsize=27745908 memory=5747244 CPUtime=0 cores=0-7
/proc/24824/task/24864/stat : 24864 (java) S 24821 24824 22899 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 46 0 175570298 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300233270416 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24865] ppid=24821 vsize=27745908 memory=5747244 CPUtime=0 cores=0-7
/proc/24824/task/24865/stat : 24865 (java) S 24821 24824 22899 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 175570300 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300232217520 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24866] ppid=24821 vsize=27745908 memory=932 CPUtime=0 cores=0-7
/proc/24824/task/24866/stat : 24866 (java) S 24821 24824 22899 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 46 0 175570314 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300231164720 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24867] ppid=24821 vsize=27745908 memory=5747244 CPUtime=0 cores=0-7
/proc/24824/task/24867/stat : 24867 (java) S 24821 24824 22899 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 46 0 175570316 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300230113040 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24868] ppid=24821 vsize=27745908 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24824/task/24868/stat : 24868 (java) S 24821 24824 22899 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 46 0 175570318 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300229060240 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24869] ppid=24821 vsize=27745908 memory=8044 CPUtime=0 cores=0-7
/proc/24824/task/24869/stat : 24869 (java) S 24821 24824 22899 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 46 0 175570320 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300228007344 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24870] ppid=24821 vsize=27745908 memory=840 CPUtime=0 cores=0-7
/proc/24824/task/24870/stat : 24870 (java) S 24821 24824 22899 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 46 0 175570321 28411809792 1436811 33554432000 4194304 4196468 140732393194640 140300226954640 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
Current children cumulated CPU time: 1977.28 s
Current children cumulated vsize: 27745908 KiB
Current children cumulated memory: 5747244 KiB

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

[startup+252.144 s]
# the end of solver process 24824 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1971.44 s, system=6.75262 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+252.113 s]
/proc/loadavg: 9.44 8.86 8.67 10/225 24878
/proc/meminfo: memFree=15681516/32770624 swapFree=67108860/67108860
[pid=24824] ppid=24821 vsize=27879036 memory=5747456 CPUtime=1978.15 cores=0-7
/proc/24824/stat : 24824 (java) S 24821 24824 22899 0 -1 1077944320 340093 0 0 0 197143 672 0 0 20 0 46 0 175569469 28548132864 1436864 33554432000 4194304 4196468 140732393194640 140732393177184 140301940346615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
/proc/24824/statm: 6969759 1436864 3876 1 0 6956952 0
[pid=24824/tid=24826] ppid=24821 vsize=27879036 memory=916 CPUtime=4.69 cores=0-7
/proc/24824/task/24826/stat : 24826 (java) S 24821 24824 22899 0 -1 1077944384 15646 0 0 0 452 17 0 0 20 0 46 0 175569469 28548132864 1436864 33554432000 4194304 4196468 140732393194640 140301944584320 140301940356821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24827] ppid=24821 vsize=27879036 memory=6791534058613427641 CPUtime=1.7 cores=0-7
/proc/24824/task/24827/stat : 24827 (java) S 24821 24824 22899 0 -1 1077944384 22852 0 0 0 131 39 0 0 20 0 46 0 175569470 28548132864 1436929 33554432000 4194304 4196468 140732393194640 140301892967568 140301940356821 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24828] ppid=24821 vsize=27879036 memory=4104 CPUtime=1.63 cores=0-7
/proc/24824/task/24828/stat : 24828 (java) R 24821 24824 22899 0 -1 1077944384 9613 0 0 0 126 37 0 0 20 0 44 0 175569470 28548132864 1436929 33554432000 4194304 4196468 140732393194640 140301891914768 140301940356821 256 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24829] ppid=24821 vsize=27879036 memory=1156 CPUtime=1.65 cores=0-7
/proc/24824/task/24829/stat : 24829 (java) R 24821 24824 22899 0 -1 1077944384 12664 0 0 0 128 37 0 0 20 0 35 0 175569470 28548132864 1436992 33554432000 4194304 4196468 140732393194640 140301890861968 140301940356821 256 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24830] ppid=24821 vsize=27879036 memory=4436 CPUtime=1.66 cores=0-7
/proc/24824/task/24830/stat : 24830 (java) R 24821 24824 22899 0 -1 4202560 12043 0 0 0 131 35 0 0 20 0 27 0 175569470 28548132864 1437013 33554432000 4194304 4196468 140732393194640 140301889809168 140301940356821 256 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24831] ppid=24821 vsize=27879036 memory=5747244 CPUtime=1.66 cores=0-7
/proc/24824/task/24831/stat : 24831 (java) R 24821 24824 22899 0 -1 1077944384 9451 0 0 0 130 36 0 0 20 0 18 0 175569470 28548132864 1437031 33554432000 4194304 4196468 140732393194640 140301888756368 140301940356821 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24843] ppid=24821 vsize=27879036 memory=16236 CPUtime=0 cores=0-7
/proc/24824/task/24843/stat : 24843 (java) R 24821 24824 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 8 0 175569475 28548132864 1437063 33554432000 4194304 4196468 140732393194640 140300270943328 140301940356821 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24851] ppid=24821 vsize=27879036 memory=0 CPUtime=244.35 cores=0-7
/proc/24824/task/24851/stat : 24851 (java) R 24821 24824 22899 0 -1 1077944384 16423 0 0 0 24395 40 0 0 20 0 8 0 175569959 28548132864 1437063 33554432000 4194304 4196468 140732393194640 140300249083280 140301940356821 256 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24857] ppid=24821 vsize=27879036 memory=11 CPUtime=0 cores=0-7
/proc/24824/task/24857/stat : 24857 (java) R 24821 24824 22899 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 8 0 175570094 28548132864 1437063 33554432000 4194304 4196468 140732393194640 140300242773008 140301940356821 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24861] ppid=24821 vsize=27879036 memory=644 CPUtime=0 cores=0-7
/proc/24824/task/24861/stat : 24861 (java) R 24821 24824 22899 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 8 0 175570094 28548132864 1437063 33554432000 4194304 4196468 140732393194640 140300238562832 140301940356821 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
[pid=24824/tid=24866] ppid=24821 vsize=27879036 memory=0 CPUtime=0 cores=0-7
/proc/24824/task/24866/stat : 24866 (java) R 24821 24824 22899 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 8 0 175570314 28548132864 1437063 33554432000 4194304 4196468 140732393194640 140300231164720 140301940356821 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140732393198696 140732393198880 140732393198880 140732393201615 0
Current children cumulated CPU time: 1978.15 s
Current children cumulated vsize: 27879036 KiB
Current children cumulated memory: 5747456 KiB

Child status: 143
Real time (s): 252.144
CPU time (s): 1978.19
CPU user time (s): 1971.44
CPU system time (s): 6.75262
CPU usage (%): 784.546
Max. virtual memory (cumulated for all children) (KiB): 27879036
Max. memory (cumulated for all children) (KiB): 5747456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1971.44
system time used= 6.75262
maximum resident set size= 5748368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340137
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41018
involuntary context switches= 42227


# summary of solver processes directly reported to runsolver:
#   pid: 24824
#   total CPU time (s): 1978.19
#   total CPU user time (s): 1971.44
#   total CPU system time (s): 6.75262

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.84426 second user time and 3.52354 second system time

The end

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	491
Best CPU time to get the best result obtained on this benchmark	251.978
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 4286015

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