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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - ALNS 2017-06-30	SAT (TO)	371	2400.07	2286.53

0.25/0.29	c version: 2017-06-30
0.25/0.29	c seed: 191787322
0.25/0.29	c timeout: 2400
0.25/0.29	c memlimit: 15500
0.25/0.29	c nbcore: 8
0.43/0.31	c Parsing instance...
5.07/1.99	c Parsing done, starting search...
7.38/2.78	o 299
13.08/7.25	o 300
138.10/128.87	o 302
190.37/179.88	o 305
364.48/346.37	o 306
380.53/361.66	o 317
425.87/404.97	o 318
597.20/567.71	o 327
679.49/646.08	o 328
905.51/860.62	o 329
1641.49/1563.21	o 339
1721.69/1639.80	o 342
1857.93/1769.52	o 354
1954.71/1861.64	o 364
2355.23/2243.69	o 371
2400.02/2286.50	s SATISFIABLE
2400.02/2286.51	v <instantiation>
2400.02/2286.51	v 	<list>
2400.02/2286.51	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] z
2400.02/2286.51	v 	</list>
2400.02/2286.51	v 	<values>
2400.02/2286.51	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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 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 1 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 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 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 0 0 0 1 2 1 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 1 2 1 1 2 1 1 1 1 2 0 1 1 0 2 1 1 0 1 2 2 2 2 2 1 1 2 1 1 1 0 0 2 0 1 0 0 1 1 1 1 2 2 1 1 0 0 1 1 1 0 0 1 0 2 2 2 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 2 1 1 2 2 2 0 1 0 0 1 1 0 0 0 1 1 2 2 2 0 0 0 1 0 0 1 1 2 0 0 0 1 1 2 1 1 2 2 2 2 1 0 0 0 0 0 0 1 0 2 1 1 2 0 0 1 1 1 1 0 1 0 0 0 1 0 2 2 1 1 2 2 2 2 2 1 1 0 0 0 0 1 2 1 0 0 0 0 0 1 2 2 0 1 0 0 0 0 1 2 2 2 1 1 2 2 2 2 2 2 1 2 2 1 2 2 2 1 0 0 0 0 0 2 2 2 2 1 1 0 0 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 2 0 2 0 2 2 2 2 1 0 1 1 1 1 2 1 1 1 2 2 2 2 2 2 0 0 0 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 2 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 2 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 1 1 2 0 1 0 2 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 1 1 1 0 1 1 2 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 1 1 0 0 0 0 0 2 2 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 2 1 0 0 0 0 1 0 1 2 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 2 0 0 1 0 1 0 0 0 1 0 1 1 2 0 0 0 0 1 0 2 2 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 2 0 0 0 1 2 1 2 2 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 2 1 2 2 0 1 0 2 2 0 0 0 1 0 1 0 0 0 0 1 1 2 1 1 0 1 0 0 0 1 0 0 0 2 2 2 2 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 2 1 0 1 0 1 0 0 0 0 0 1 0 2 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 2 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 2 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 2 1 1 0 0 0 0 1 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 2 2 1 2 1 1 0 0 1 1 2 0 2 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 2 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 30 88 135 170 194 222 250 281 328 379 392 399 409 416 425 438 455 474 490 508 531 549 563 580 595 602 617 642 649 654 670 673 679 692 371 
2400.02/2286.51	v 	</values>
2400.02/2286.51	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244839-1500695116/watcher-4244839-1500695116 -o /tmp/evaluation-result-4244839-1500695116/solver-4244839-1500695116 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500683390-16362 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 191787322 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244839-1500695116.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.75 1.74 1.68 3/261 17666
/proc/meminfo: memFree=30073452/32770624 swapFree=5872/249220
[pid=17666] ppid=17663 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 2115 0 0 0 0 0 0 0 20 0 2 0 4776818 10889764864 2366 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 2658634 2366 1188 1 0 2647545 0
[pid=17666/tid=17667] ppid=17663 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 895 0 0 0 0 0 0 0 20 0 2 0 4776818 10889764864 2432 33554432000 4194304 4196468 140726874416896 139883065313696 139883054255729 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0

[startup+0.100111 s]
/proc/loadavg: 1.75 1.74 1.68 3/261 17666
/proc/meminfo: memFree=30073452/32770624 swapFree=5872/249220
[pid=17666] ppid=17663 vsize=13263912 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 5993 0 0 0 8 1 0 0 20 0 20 0 4776818 13582245888 6227 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 3315978 6227 2619 1 0 3303698 0
[pid=17666/tid=17667] ppid=17663 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 4076 0 0 0 7 1 0 0 20 0 20 0 4776818 13582245888 6292 33554432000 4194304 4196468 140726874416896 139883065313888 139883017707382 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13263912

[startup+0.200402 s]
/proc/loadavg: 1.75 1.74 1.68 3/261 17666
/proc/meminfo: memFree=30073452/32770624 swapFree=5872/249220
[pid=17666] ppid=17663 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 9145 0 0 0 23 2 0 0 20 0 20 0 4776818 13582245888 9576 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 3315978 9576 3536 1 0 3303698 0
[pid=17666/tid=17667] ppid=17663 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 6856 0 0 0 16 2 0 0 20 0 20 0 4776818 13582245888 9576 33554432000 4194304 4196468 140726874416896 139883065298800 139883061093533 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300411 s]
/proc/loadavg: 1.75 1.74 1.68 3/261 17666
/proc/meminfo: memFree=30073452/32770624 swapFree=5872/249220
[pid=17666] ppid=17663 vsize=13263912 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 10347 0 0 0 40 3 0 0 20 0 20 0 4776818 13582245888 11595 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 3315978 11595 3686 1 0 3303698 0
[pid=17666/tid=17667] ppid=17663 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 7546 0 0 0 25 2 0 0 20 0 20 0 4776818 13582245888 11595 33554432000 4194304 4196468 140726874416896 139883065283936 139883061093533 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912

[startup+0.700313 s]
/proc/loadavg: 1.75 1.74 1.68 3/261 17666
/proc/meminfo: memFree=30073452/32770624 swapFree=5872/249220
[pid=17666] ppid=17663 vsize=13265980 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 13145 0 0 0 153 5 0 0 20 0 20 0 4776818 13584363520 20467 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 3316495 20467 3775 1 0 3304210 0
[pid=17666/tid=17667] ppid=17663 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 8533 0 0 0 64 3 0 0 20 0 20 0 4776818 13584363520 20467 33554432000 4194304 4196468 140726874416896 139883065305760 139883045115237 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 13265980

[startup+1.5008 s]
/proc/loadavg: 1.75 1.74 1.68 4/281 17686
/proc/meminfo: memFree=29969808/32770624 swapFree=5872/249608
[pid=17666] ppid=17663 vsize=13270076 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 26704 0 0 0 403 16 0 0 20 0 20 0 4776818 13588557824 57302 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 3317519 57302 3802 1 0 3305234 0
[pid=17666/tid=17667] ppid=17663 vsize=13270076 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 11649 0 0 0 138 6 0 0 20 0 20 0 4776818 13588557824 57302 33554432000 4194304 4196468 140726874416896 139883065302328 139883061083542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17668] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17668/stat : 17668 (java) S 17663 17666 16330 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 4776819 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882993208208 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17670] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17670/stat : 17670 (java) S 17663 17666 16330 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 4776819 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882658761488 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17671] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17671/stat : 17671 (java) S 17663 17666 16330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4776819 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882657709200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17672] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17672/stat : 17672 (java) S 17663 17666 16330 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 20 0 4776819 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882656656400 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17673] ppid=17663 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17673/stat : 17673 (java) S 17663 17666 16330 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 4776819 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882655603088 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17674] ppid=17663 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17674/stat : 17674 (java) S 17663 17666 16330 0 -1 1077944384 39 0 0 0 0 1 0 0 20 0 20 0 4776819 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882654550288 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17675] ppid=17663 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17675/stat : 17675 (java) S 17663 17666 16330 0 -1 1077944384 59 0 0 0 0 1 0 0 20 0 20 0 4776819 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882653498000 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17676] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17676/stat : 17676 (java) S 17663 17666 16330 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 4776819 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882652445200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17677] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17677/stat : 17677 (java) S 17663 17666 16330 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 4776821 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882591840880 139883061082754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17678] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17678/stat : 17678 (java) S 17663 17666 16330 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882590786848 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17679] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17679/stat : 17679 (java) S 17663 17666 16330 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882589734512 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17680] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17680/stat : 17680 (java) S 17663 17666 16330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882387204688 139883061090203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17681] ppid=17663 vsize=13270076 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17681/stat : 17681 (java) R 17663 17666 16330 0 -1 4202560 2504 0 0 0 57 0 0 0 20 0 20 0 4776826 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882386140096 139883045998275 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17682] ppid=17663 vsize=13270076 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17682/stat : 17682 (java) R 17663 17666 16330 0 -1 4202560 2313 0 0 0 63 0 0 0 20 0 20 0 4776826 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882385098736 139883040358783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17683] ppid=17663 vsize=13270076 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17683/stat : 17683 (java) S 17663 17666 16330 0 -1 1077944384 1787 0 0 0 59 1 0 0 20 0 20 0 4776826 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882384046448 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17684] ppid=17663 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17684/stat : 17684 (java) S 17663 17666 16330 0 -1 1077944384 6450 0 0 0 75 0 0 0 20 0 20 0 4776826 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882382993648 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17685] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17685/stat : 17685 (java) S 17663 17666 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882381941600 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17686] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17686/stat : 17686 (java) S 17663 17666 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 57302 33554432000 4194304 4196468 140726874416896 139882380888880 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 13270076

[startup+3.10083 s]
/proc/loadavg: 1.77 1.74 1.69 6/281 17686
/proc/meminfo: memFree=29721784/32770624 swapFree=5872/249604
[pid=17666] ppid=17663 vsize=13270076 CPUtime=8.08 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 32260 0 0 0 748 60 0 0 20 0 20 0 4776818 13588557824 108022 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 3317519 108022 3837 1 0 3305234 0
[pid=17666/tid=17667] ppid=17663 vsize=13270076 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 12931 0 0 0 285 7 0 0 20 0 20 0 4776818 13588557824 108022 33554432000 4194304 4196468 140726874416896 139883065308792 139882682617642 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17668] ppid=17663 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17668/stat : 17668 (java) S 17663 17666 16330 0 -1 1077944384 94 0 0 0 4 6 0 0 20 0 20 0 4776819 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882993208208 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17670] ppid=17663 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17670/stat : 17670 (java) S 17663 17666 16330 0 -1 1077944384 90 0 0 0 5 6 0 0 20 0 20 0 4776819 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882658761488 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17671] ppid=17663 vsize=13270076 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17671/stat : 17671 (java) S 17663 17666 16330 0 -1 1077944384 364 0 0 0 3 5 0 0 20 0 20 0 4776819 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882657709200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17672] ppid=17663 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17672/stat : 17672 (java) S 17663 17666 16330 0 -1 1077944384 283 0 0 0 5 5 0 0 20 0 20 0 4776819 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882656656400 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17673] ppid=17663 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17673/stat : 17673 (java) S 17663 17666 16330 0 -1 1077944384 74 0 0 0 4 5 0 0 20 0 20 0 4776819 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882655603088 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17674] ppid=17663 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17674/stat : 17674 (java) S 17663 17666 16330 0 -1 1077944384 162 0 0 0 4 6 0 0 20 0 20 0 4776819 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882654550288 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17675] ppid=17663 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17675/stat : 17675 (java) S 17663 17666 16330 0 -1 1077944384 118 0 0 0 5 6 0 0 20 0 20 0 4776819 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882653498000 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17676] ppid=17663 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17676/stat : 17676 (java) S 17663 17666 16330 0 -1 1077944384 114 0 0 0 5 6 0 0 20 0 20 0 4776819 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882652445200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17677] ppid=17663 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17677/stat : 17677 (java) S 17663 17666 16330 0 -1 1077944384 1383 0 0 0 1 0 0 0 20 0 20 0 4776821 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882591840880 139883061082754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17678] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17678/stat : 17678 (java) S 17663 17666 16330 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882590786912 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17679] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17679/stat : 17679 (java) S 17663 17666 16330 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882589734528 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17680] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17680/stat : 17680 (java) S 17663 17666 16330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882387204688 139883061090203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17681] ppid=17663 vsize=13270076 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17681/stat : 17681 (java) S 17663 17666 16330 0 -1 1077944384 3084 0 0 0 109 0 0 0 20 0 20 0 4776826 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882386151536 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17682] ppid=17663 vsize=13270076 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17682/stat : 17682 (java) S 17663 17666 16330 0 -1 1077944384 2901 0 0 0 110 0 0 0 20 0 20 0 4776826 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882385098736 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17683] ppid=17663 vsize=13270076 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17683/stat : 17683 (java) S 17663 17666 16330 0 -1 1077944384 2517 0 0 0 109 1 0 0 20 0 20 0 4776826 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882384046448 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17684] ppid=17663 vsize=13270076 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17684/stat : 17684 (java) S 17663 17666 16330 0 -1 1077944384 6708 0 0 0 90 0 0 0 20 0 20 0 4776826 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882382993648 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17685] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17685/stat : 17685 (java) S 17663 17666 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882381941600 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17686] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17686/stat : 17686 (java) S 17663 17666 16330 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 108022 33554432000 4194304 4196468 140726874416896 139882380888880 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 13270076

[startup+6.3007 s]
/proc/loadavg: 1.77 1.74 1.69 7/280 17722
/proc/meminfo: memFree=30994104/32770624 swapFree=5872/249580
[pid=17666] ppid=17663 vsize=13270076 CPUtime=12.16 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 33524 0 0 0 1114 102 0 0 20 0 20 0 4776818 13588557824 180234 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 3317519 180234 3837 1 0 3305234 0
[pid=17666/tid=17667] ppid=17663 vsize=13270076 CPUtime=6.03 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 13201 0 0 0 592 11 0 0 20 0 20 0 4776818 13588557824 180234 33554432000 4194304 4196468 140726874416896 139883065306400 139882683023468 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17668] ppid=17663 vsize=13270076 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17668/stat : 17668 (java) S 17663 17666 16330 0 -1 1077944384 122 0 0 0 8 10 0 0 20 0 20 0 4776819 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882993208208 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17670] ppid=17663 vsize=13270076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17670/stat : 17670 (java) S 17663 17666 16330 0 -1 1077944384 133 0 0 0 9 10 0 0 20 0 20 0 4776819 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882658761488 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17671] ppid=17663 vsize=13270076 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17671/stat : 17671 (java) S 17663 17666 16330 0 -1 1077944384 430 0 0 0 7 10 0 0 20 0 20 0 4776819 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882657709200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17672] ppid=17663 vsize=13270076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17672/stat : 17672 (java) S 17663 17666 16330 0 -1 1077944384 325 0 0 0 10 9 0 0 20 0 20 0 4776819 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882656656400 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17673] ppid=17663 vsize=13270076 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17673/stat : 17673 (java) S 17663 17666 16330 0 -1 1077944384 111 0 0 0 8 10 0 0 20 0 20 0 4776819 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882655603088 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17674] ppid=17663 vsize=13270076 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17674/stat : 17674 (java) S 17663 17666 16330 0 -1 1077944384 227 0 0 0 6 11 0 0 20 0 20 0 4776819 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882654550288 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17675] ppid=17663 vsize=13270076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17675/stat : 17675 (java) S 17663 17666 16330 0 -1 1077944384 162 0 0 0 8 11 0 0 20 0 20 0 4776819 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882653498000 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17676] ppid=17663 vsize=13270076 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17676/stat : 17676 (java) S 17663 17666 16330 0 -1 1077944384 147 0 0 0 8 10 0 0 20 0 20 0 4776819 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882652445200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17677] ppid=17663 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17677/stat : 17677 (java) S 17663 17666 16330 0 -1 1077944384 1677 0 0 0 2 0 0 0 20 0 20 0 4776821 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882591840880 139883061082754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17678] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17678/stat : 17678 (java) S 17663 17666 16330 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882590786912 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17679] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17679/stat : 17679 (java) S 17663 17666 16330 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 180234 33554432000 4194304 4196468 140726874416896 139882589734528 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17680] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=17666/tid=17682] ppid=17663 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17682/stat : 17682 (java) S 17663 17666 16330 0 -1 1077944384 14453 0 0 0 194 2 0 0 20 0 20 0 4776826 13588557824 383707 33554432000 4194304 4196468 140726874416896 139882385098736 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17683] ppid=17663 vsize=13270076 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17683/stat : 17683 (java) S 17663 17666 16330 0 -1 1077944384 13514 0 0 0 187 3 0 0 20 0 20 0 4776826 13588557824 383707 33554432000 4194304 4196468 140726874416896 139882384046448 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17684] ppid=17663 vsize=13270076 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17684/stat : 17684 (java) S 17663 17666 16330 0 -1 1077944384 26755 0 0 0 118 2 0 0 20 0 20 0 4776826 13588557824 383707 33554432000 4194304 4196468 140726874416896 139882382993648 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17685] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17685/stat : 17685 (java) S 17663 17666 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 383707 33554432000 4194304 4196468 140726874416896 139882381941600 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17686] ppid=17663 vsize=13270076 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17686/stat : 17686 (java) S 17663 17666 16330 0 -1 1077944384 1548 0 0 0 55 66 0 0 20 0 20 0 4776826 13588557824 383707 33554432000 4194304 4196468 140726874416896 139882380888880 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
Current children cumulated CPU time (s) 2312.06
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.73 1.65 1.61 3/281 17872
/proc/meminfo: memFree=29650932/32770624 swapFree=5872/251856
[pid=17666] ppid=17663 vsize=13270076 CPUtime=2374.75 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 347833 0 0 0 236861 614 0 0 20 0 20 0 4776818 13588557824 364238 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 3317519 364238 3868 1 0 3305234 0
[pid=17666/tid=17667] ppid=17663 vsize=13270076 CPUtime=2241.2 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 113785 0 0 0 224039 81 0 0 20 0 20 0 4776818 13588557824 364238 33554432000 4194304 4196468 140726874416896 139883065309440 139882682318714 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17668] ppid=17663 vsize=13270076 CPUtime=15.52 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17668/stat : 17668 (java) S 17663 17666 16330 0 -1 1077944384 10705 0 0 0 1497 55 0 0 20 0 20 0 4776819 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882993208208 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17670] ppid=17663 vsize=13270076 CPUtime=15.29 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17670/stat : 17670 (java) S 17663 17666 16330 0 -1 1077944384 15928 0 0 0 1476 53 0 0 20 0 20 0 4776819 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882658761488 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17671] ppid=17663 vsize=13270076 CPUtime=15.35 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17671/stat : 17671 (java) S 17663 17666 16330 0 -1 1077944384 13123 0 0 0 1482 53 0 0 20 0 20 0 4776819 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882657709200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17672] ppid=17663 vsize=13270076 CPUtime=15.37 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17672/stat : 17672 (java) S 17663 17666 16330 0 -1 1077944384 11612 0 0 0 1483 54 0 0 20 0 20 0 4776819 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882656656400 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17673] ppid=17663 vsize=13270076 CPUtime=15.21 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17673/stat : 17673 (java) S 17663 17666 16330 0 -1 1077944384 13115 0 0 0 1470 51 0 0 20 0 20 0 4776819 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882655603088 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17674] ppid=17663 vsize=13270076 CPUtime=15.4 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17674/stat : 17674 (java) S 17663 17666 16330 0 -1 1077944384 11767 0 0 0 1482 58 0 0 20 0 20 0 4776819 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882654550288 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17675] ppid=17663 vsize=13270076 CPUtime=15.52 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17675/stat : 17675 (java) S 17663 17666 16330 0 -1 1077944384 12435 0 0 0 1497 55 0 0 20 0 20 0 4776819 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882653498000 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17676] ppid=17663 vsize=13270076 CPUtime=15.42 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17676/stat : 17676 (java) S 17663 17666 16330 0 -1 1077944384 11258 0 0 0 1486 56 0 0 20 0 20 0 4776819 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882652445200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17677] ppid=17663 vsize=13270076 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17677/stat : 17677 (java) S 17663 17666 16330 0 -1 1077944384 62103 0 0 0 173 38 0 0 20 0 20 0 4776821 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882591840880 139883061082754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17678] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17678/stat : 17678 (java) S 17663 17666 16330 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882590786912 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17679] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17679/stat : 17679 (java) S 17663 17666 16330 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882589734528 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17680] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17680/stat : 17680 (java) S 17663 17666 16330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882387204688 139883061090203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17681] ppid=17663 vsize=13270076 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17681/stat : 17681 (java) S 17663 17666 16330 0 -1 1077944384 14242 0 0 0 184 1 0 0 20 0 20 0 4776826 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882386151536 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17682] ppid=17663 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17682/stat : 17682 (java) S 17663 17666 16330 0 -1 1077944384 14455 0 0 0 194 2 0 0 20 0 20 0 4776826 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882385098736 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17683] ppid=17663 vsize=13270076 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17683/stat : 17683 (java) S 17663 17666 16330 0 -1 1077944384 13516 0 0 0 188 3 0 0 20 0 20 0 4776826 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882384046448 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17684] ppid=17663 vsize=13270076 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17684/stat : 17684 (java) S 17663 17666 16330 0 -1 1077944384 26758 0 0 0 118 2 0 0 20 0 20 0 4776826 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882382993648 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17685] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17685/stat : 17685 (java) S 17663 17666 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882381941600 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17686] ppid=17663 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17686/stat : 17686 (java) S 17663 17666 16330 0 -1 1077944384 1563 0 0 0 57 67 0 0 20 0 20 0 4776826 13588557824 364238 33554432000 4194304 4196468 140726874416896 139882380888880 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
Current children cumulated CPU time (s) 2374.75
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2286.5 s]
/proc/loadavg: 1.42 1.58 1.58 3/281 17872
/proc/meminfo: memFree=29680204/32770624 swapFree=5872/251872
[pid=17666] ppid=17663 vsize=13270076 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 348309 0 0 0 239387 615 0 0 20 0 20 0 4776818 13588557824 357312 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 3317519 357312 3868 1 0 3305234 0
[pid=17666/tid=17667] ppid=17663 vsize=13270076 CPUtime=2265.18 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 114207 0 0 0 226437 81 0 0 20 0 20 0 4776818 13588557824 357312 33554432000 4194304 4196468 140726874416896 139883065309392 139882682708295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17668] ppid=17663 vsize=13270076 CPUtime=15.67 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17668/stat : 17668 (java) S 17663 17666 16330 0 -1 1077944384 10710 0 0 0 1512 55 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882993208208 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17670] ppid=17663 vsize=13270076 CPUtime=15.45 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17670/stat : 17670 (java) S 17663 17666 16330 0 -1 1077944384 15934 0 0 0 1492 53 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882658761488 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17671] ppid=17663 vsize=13270076 CPUtime=15.52 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17671/stat : 17671 (java) S 17663 17666 16330 0 -1 1077944384 13131 0 0 0 1499 53 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882657709200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17672] ppid=17663 vsize=13270076 CPUtime=15.52 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17672/stat : 17672 (java) S 17663 17666 16330 0 -1 1077944384 11618 0 0 0 1498 54 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882656656400 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17673] ppid=17663 vsize=13270076 CPUtime=15.36 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17673/stat : 17673 (java) S 17663 17666 16330 0 -1 1077944384 13124 0 0 0 1485 51 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882655603088 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17674] ppid=17663 vsize=13270076 CPUtime=15.56 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17674/stat : 17674 (java) S 17663 17666 16330 0 -1 1077944384 11775 0 0 0 1498 58 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882654550288 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17675] ppid=17663 vsize=13270076 CPUtime=15.69 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17675/stat : 17675 (java) S 17663 17666 16330 0 -1 1077944384 12440 0 0 0 1514 55 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882653498000 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17676] ppid=17663 vsize=13270076 CPUtime=15.57 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17676/stat : 17676 (java) S 17663 17666 16330 0 -1 1077944384 11260 0 0 0 1501 56 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882652445200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17677] ppid=17663 vsize=13270076 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17677/stat : 17677 (java) S 17663 17666 16330 0 -1 1077944384 62105 0 0 0 175 38 0 0 20 0 20 0 4776821 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882591840880 139883061082754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17678] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17678/stat : 17678 (java) S 17663 17666 16330 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882590786912 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17679] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17679/stat : 17679 (java) S 17663 17666 16330 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882589734528 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17680] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17680/stat : 17680 (java) S 17663 17666 16330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882387204688 139883061090203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17681] ppid=17663 vsize=13270076 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17681/stat : 17681 (java) S 17663 17666 16330 0 -1 1077944384 14242 0 0 0 184 1 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882386151536 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17682] ppid=17663 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17682/stat : 17682 (java) S 17663 17666 16330 0 -1 1077944384 14456 0 0 0 194 2 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882385098736 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17683] ppid=17663 vsize=13270076 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17683/stat : 17683 (java) S 17663 17666 16330 0 -1 1077944384 13516 0 0 0 188 3 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882384046448 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17684] ppid=17663 vsize=13270076 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17684/stat : 17684 (java) S 17663 17666 16330 0 -1 1077944384 26758 0 0 0 118 2 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882382993648 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17685] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17685/stat : 17685 (java) S 17663 17666 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882381941600 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17686] ppid=17663 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17686/stat : 17686 (java) S 17663 17666 16330 0 -1 1077944384 1565 0 0 0 57 68 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882380888880 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076

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

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

[startup+2286.5 s]
/proc/loadavg: 1.42 1.58 1.58 3/281 17872
/proc/meminfo: memFree=29680204/32770624 swapFree=5872/251872
[pid=17666] ppid=17663 vsize=13270076 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/17666/stat : 17666 (java) S 17663 17666 16330 0 -1 1077944320 348309 0 0 0 239387 615 0 0 20 0 20 0 4776818 13588557824 357312 33554432000 4194304 4196468 140726874416896 140726874399440 139883061071607 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
/proc/17666/statm: 3317519 357312 3868 1 0 3305234 0
[pid=17666/tid=17667] ppid=17663 vsize=13270076 CPUtime=2265.18 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17667/stat : 17667 (java) R 17663 17666 16330 0 -1 4202560 114207 0 0 0 226437 81 0 0 20 0 20 0 4776818 13588557824 357312 33554432000 4194304 4196468 140726874416896 139883065309392 139882682708295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17668] ppid=17663 vsize=13270076 CPUtime=15.67 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17668/stat : 17668 (java) S 17663 17666 16330 0 -1 1077944384 10710 0 0 0 1512 55 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882993208208 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17670] ppid=17663 vsize=13270076 CPUtime=15.45 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17670/stat : 17670 (java) S 17663 17666 16330 0 -1 1077944384 15934 0 0 0 1492 53 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882658761488 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17671] ppid=17663 vsize=13270076 CPUtime=15.52 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17671/stat : 17671 (java) S 17663 17666 16330 0 -1 1077944384 13131 0 0 0 1499 53 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882657709200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17672] ppid=17663 vsize=13270076 CPUtime=15.52 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17672/stat : 17672 (java) S 17663 17666 16330 0 -1 1077944384 11618 0 0 0 1498 54 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882656656400 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17673] ppid=17663 vsize=13270076 CPUtime=15.36 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17673/stat : 17673 (java) S 17663 17666 16330 0 -1 1077944384 13124 0 0 0 1485 51 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882655603088 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17674] ppid=17663 vsize=13270076 CPUtime=15.56 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17674/stat : 17674 (java) S 17663 17666 16330 0 -1 1077944384 11775 0 0 0 1498 58 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882654550288 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17675] ppid=17663 vsize=13270076 CPUtime=15.69 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17675/stat : 17675 (java) S 17663 17666 16330 0 -1 1077944384 12440 0 0 0 1514 55 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882653498000 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17676] ppid=17663 vsize=13270076 CPUtime=15.57 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17676/stat : 17676 (java) S 17663 17666 16330 0 -1 1077944384 11260 0 0 0 1501 56 0 0 20 0 20 0 4776819 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882652445200 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17677] ppid=17663 vsize=13270076 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17677/stat : 17677 (java) S 17663 17666 16330 0 -1 1077944384 62105 0 0 0 175 38 0 0 20 0 20 0 4776821 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882591840880 139883061082754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17678] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17678/stat : 17678 (java) S 17663 17666 16330 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882590786912 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17679] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17679/stat : 17679 (java) S 17663 17666 16330 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4776822 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882589734528 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17680] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17680/stat : 17680 (java) S 17663 17666 16330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882387204688 139883061090203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17681] ppid=17663 vsize=13270076 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17681/stat : 17681 (java) S 17663 17666 16330 0 -1 1077944384 14242 0 0 0 184 1 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882386151536 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17682] ppid=17663 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17682/stat : 17682 (java) S 17663 17666 16330 0 -1 1077944384 14456 0 0 0 194 2 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882385098736 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17683] ppid=17663 vsize=13270076 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17683/stat : 17683 (java) S 17663 17666 16330 0 -1 1077944384 13516 0 0 0 188 3 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882384046448 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17684] ppid=17663 vsize=13270076 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17684/stat : 17684 (java) S 17663 17666 16330 0 -1 1077944384 26758 0 0 0 118 2 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882382993648 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17685] ppid=17663 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17685/stat : 17685 (java) S 17663 17666 16330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882381941600 139883061081813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
[pid=17666/tid=17686] ppid=17663 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17666/task/17686/stat : 17686 (java) S 17663 17666 16330 0 -1 1077944384 1565 0 0 0 57 68 0 0 20 0 20 0 4776826 13588557824 357312 33554432000 4194304 4196468 140726874416896 139882380888880 139883061082754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140726874420368 140726874420548 140726874420548 140726874423247 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2286.53
CPU time (s): 2400.07
CPU user time (s): 2393.9
CPU system time (s): 6.16588
CPU usage (%): 104.965
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.9
system time used= 6.16588
maximum resident set size= 3499888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123477
involuntary context switches= 135400

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7936 second user time and 19.0269 second system time

The end

Launcher Data

Begin job on node147 at 2017-07-22 05:45:16
IDJOB=4244839
IDBENCH=115918
IDSOLVER=2627
FILE ID=node147/4244839-1500695116
RUNJOBID= node147-1500683390-16362
PBS_JOBID= 20623340
Free space on /tmp= 61892 MiB

SOLVER NAME= OscaR - ALNS 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244839-1500695116/watcher-4244839-1500695116 -o /tmp/evaluation-result-4244839-1500695116/solver-4244839-1500695116 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500683390-16362 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 191787322 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244839-1500695116.xml

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

MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e
RANDOM SEED=191787322

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30073492 kB
MemAvailable:   30324256 kB
Buffers:          111016 kB
Cached:           420456 kB
SwapCached:            0 kB
Active:          2003004 kB
Inactive:         257896 kB
Active(anon):    1732296 kB
Inactive(anon):     8676 kB
Active(file):     270708 kB
Inactive(file):   249220 kB
Unevictable:        5872 kB
Mlocked:            5872 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42240 kB
Writeback:            12 kB
AnonPages:       1734692 kB
Mapped:            45412 kB
Shmem:              8852 kB
Slab:             126688 kB
SReclaimable:      93340 kB
SUnreclaim:        33348 kB
KernelStack:        4528 kB
PageTables:        10240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2265520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1576960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61852 MiB
End job on node147 at 2017-07-22 06:23:23

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

Trace number 4244839

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