2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-14	SAT	59.7413	54.5156

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 2016533329
0.67/0.57	c timeout: 2520
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 4
0.67/0.59	c Parsing instance...
3.88/1.76	c Parsing done, starting search...
59.59/54.49	s SATISFIABLE
59.59/54.49	v <instantiation>
59.59/54.49	v 	<list>
59.59/54.49	v 		vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[0][6] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[1][6] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[2][6] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[3][6] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[4][6] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[5][6] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[6][6] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[7][6] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[8][6] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[9][6] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[10][6] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[11][6] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[12][6] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[13][6] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[14][6] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[15][6] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[16][6] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[17][6] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[18][6] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[19][6] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[20][6] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[21][6] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[22][6] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[23][6] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[24][6] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[25][6] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[26][6] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[27][6] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[28][6] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[29][6] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[30][6] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[31][6] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[32][6] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[33][6] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[34][6] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] vr[35][6] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[36][5] vr[36][6] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[37][5] vr[37][6] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[38][5] vr[38][6] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[39][5] vr[39][6] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[40][5] vr[40][6] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[41][5] vr[41][6] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[0][6] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[1][6] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[2][6] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[3][6] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[4][6] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[5][6] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[6][6] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[7][6] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[8][6] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[9][6] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[10][6] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[11][6] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[12][6] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[13][6] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[14][6] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[15][6] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[16][6] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[17][6] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[18][6] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[19][6] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[20][6] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[21][6] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[22][6] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[23][6] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[24][6] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[25][6] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[26][6] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[27][6] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[28][6] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[29][6] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[30][6] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[31][6] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[32][6] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[33][6] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[34][6] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] ve[35][6] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[36][5] ve[36][6] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[37][5] ve[37][6] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[38][5] ve[38][6] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[39][5] ve[39][6] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[40][5] ve[40][6] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[41][5] ve[41][6] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[0][6] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[1][6] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[2][6] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[3][6] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[4][6] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[5][6] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[6][6] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[7][6] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[8][6] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[9][6] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[10][6] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[11][6] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[12][6] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[13][6] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[14][6] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[15][6] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[16][6] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[17][6] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[18][6] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[19][6] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[20][6] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[21][6] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[22][6] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[23][6] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[24][6] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[25][6] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[26][6] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[27][6] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[28][6] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[29][6] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[30][6] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[31][6] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[32][6] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[33][6] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[34][6] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gvr[35][6] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[36][5] gvr[36][6] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[37][5] gvr[37][6] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[38][5] gvr[38][6] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[39][5] gvr[39][6] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[40][5] gvr[40][6] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[41][5] gvr[41][6] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[0][6] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[1][6] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[2][6] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[3][6] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[4][6] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[5][6] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[6][6] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[7][6] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[8][6] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[9][6] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[10][6] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[11][6] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[12][6] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[13][6] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[14][6] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[15][6] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[16][6] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[17][6] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[18][6] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[19][6] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[20][6] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[21][6] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[22][6] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[23][6] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[24][6] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[25][6] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[26][6] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[27][6] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[28][6] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[29][6] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[30][6] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[31][6] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[32][6] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[33][6] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[34][6] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5] gve[35][6] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[36][5] gve[36][6] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[37][5] gve[37][6] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[38][5] gve[38][6] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[39][5] gve[39][6] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[40][5] gve[40][6] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[41][5] gve[41][6]
59.59/54.49	v 	</list>
59.59/54.49	v 	<values>
59.59/54.49	v 		0 7 12 20 27 34 41 1 24 32 19 9 13 39 2 26 18 16 35 10 38 3 14 30 28 6 23 37 4 36 31 21 11 25 17 5 33 29 41 10 21 14 6 1 24 23 31 36 13 7 18 37 25 15 30 4 8 35 2 27 12 22 40 9 31 28 2 39 16 21 10 29 38 15 23 32 0 11 5 22 30 17 41 26 12 34 27 36 18 7 3 13 6 20 24 40 35 1 14 25 33 37 4 8 19 15 40 4 22 8 33 28 16 9 0 31 21 37 29 17 3 25 7 30 20 36 18 38 1 32 24 6 12 19 39 26 14 34 11 5 20 37 35 29 14 0 8 21 28 40 4 16 9 30 22 17 7 33 41 5 27 23 32 36 26 13 3 6 24 11 39 34 19 12 2 25 15 10 1 38 31 18 26 8 34 18 36 2 16 27 41 5 35 7 17 22 28 12 23 0 32 40 11 29 10 19 3 33 38 15 30 4 9 13 20 39 25 31 0 41 17 29 19 9 32 2 8 39 26 15 23 33 16 6 40 25 1 20 34 27 21 12 37 4 10 35 13 3 38 28 18 7 36 30 11 5 22 14 24 37 19 13 6 0 24 31 38 20 14 8 1 26 32 39 21 15 9 2 27 33 40 22 16 10 3 28 34 41 23 17 11 5 29 35 0 31 16 28 37 20 10 1 6 18 25 38 33 13 2 32 8 9 39 26 24 3 17 35 29 40 23 12 4 30 15 21 14 34 7 5 11 27 36 41 22 19 6 13 33 37 3 18 23 7 0 22 17 27 12 35 8 26 32 38 15 14 20 9 16 30 39 1 21 31 10 29 25 40 5 2 34 11 24 36 41 4 19 28 12 28 0 34 8 24 18 13 35 37 30 23 1 6 14 3 38 19 20 36 5 15 25 39 10 7 32 29 16 33 40 2 21 9 26 17 22 41 31 11 27 4 18 7 2 26 12 35 25 19 37 29 1 24 31 14 20 38 13 0 30 17 33 21 39 34 4 16 5 9 22 40 11 15 36 8 27 23 41 28 6 10 3 32 24 1 6 13 18 37 36 25 14 17 7 33 4 30 26 2 19 23 32 38 11 27 34 12 8 0 39 22 28 21 9 3 35 40 15 29 10 5 20 31 41 16 30 36 3 11 17 7 21 31 9 4 16 6 25 37 32 23 1 18 28 10 38 33 5 14 22 29 15 39 34 12 26 24 19 0 40 35 8 20 27 2 13 41 36 4 23 12 26 6 17 37 20 7 14 34 16 3 38 18 10 35 25 29 2 39 19 24 32 9 30 1 40 15 21 33 13 28 8 41 27 31 5 22 11 0 0 1 2 3 4 5 6 0 4 5 3 1 2 6 0 4 3 2 5 1 6 0 2 5 4 1 3 6 0 6 5 3 1 4 2 0 5 4 6 1 3 2 1 0 4 3 5 6 2 1 3 6 4 2 5 0 1 5 0 4 2 3 6 1 5 4 0 6 2 3 1 4 6 2 3 5 0 1 0 3 5 2 6 4 2 5 4 6 3 1 0 2 1 3 4 6 5 0 2 4 5 6 0 1 3 2 6 0 3 1 5 4 2 1 0 5 3 6 4 2 0 4 1 5 3 6 3 6 0 5 4 1 2 3 6 4 2 5 1 0 3 6 5 4 2 0 1 3 4 6 0 2 1 5 3 2 1 5 6 0 4 3 5 6 4 2 0 1 4 1 6 5 3 2 0 4 2 1 0 6 5 3 4 1 5 3 6 0 2 4 6 0 5 1 2 3 4 2 3 0 5 6 1 4 1 3 0 5 6 2 5 0 1 2 3 6 4 5 0 6 2 4 3 1 5 0 1 6 4 2 3 5 2 1 6 4 0 3 5 4 3 2 6 0 1 5 2 0 6 4 3 1 6 5 1 0 3 2 4 6 3 2 1 0 4 5 6 3 2 1 0 4 5 6 3 2 1 0 4 5 6 3 2 1 0 4 5 6 3 2 1 0 4 5 0 6 3 5 7 4 2 0 1 3 4 7 6 2 0 6 1 2 7 5 4 0 3 6 5 7 4 2 0 5 3 4 2 6 1 1 2 5 6 7 4 3 1 2 6 7 0 3 4 1 0 4 3 5 2 6 1 5 6 7 3 2 4 2 3 5 7 0 4 6 2 5 4 7 1 0 6 2 4 6 7 0 3 5 2 5 0 6 1 4 3 2 6 7 5 4 0 1 2 0 7 3 4 6 1 3 4 7 2 1 6 5 3 6 7 0 4 2 5 3 4 7 6 2 5 0 3 1 0 5 2 6 4 3 7 5 0 4 6 2 4 7 2 0 5 3 6 4 7 6 0 3 1 2 4 7 2 3 6 1 5 4 7 5 1 2 0 6 4 0 1 2 3 7 6 4 2 3 1 6 0 5 5 0 3 4 6 7 2 5 6 2 1 0 7 4 5 4 2 0 6 7 3 5 2 1 4 6 7 3 5 6 0 2 3 1 4 6 2 0 3 1 4 7 6 4 0 3 5 2 7 6 1 2 4 5 3 7 6 2 5 4 3 0 7 6 1 4 5 0 2 7 6 0 4 2 5 1 3 7 4 1 2 6 3 0 7 3 2 6 4 5 0 7 3 4 6 2 5 0 7 3 4 6 2 5 1 7 5 6 1 4 2 0 
59.59/54.49	v 	</values>
59.59/54.49	v </instantiation>

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308256-1534323363/watcher-4308256-1534323363 -o /tmp/evaluation-result-4308256-1534323363/solver-4308256-1534323363 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534323343-19101 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2016533329 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308256-1534323363.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19382, runsolver pid=19379
Current StackSize limit: 8192 KiB


[startup+0.100126 s]*
/proc/loadavg: 1.50 1.18 1.46 4/219 19397
/proc/meminfo: memFree=24082472/32770624 swapFree=67108840/67108860
[pid=19382] ppid=19379 vsize=14082736 memory=33608 CPUtime=0.11 cores=0,2,4,6
/proc/19382/stat : 19382 (java) S 19379 19382 15138 0 -1 1077944320 6785 0 0 0 10 1 0 0 20 0 15 0 249899449 14420721664 8402 33554432000 4194304 4196468 140736685058288 140736685040832 139899290201847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
/proc/19382/statm: 3520684 8402 3153 1 0 3482761 0
[pid=19382/tid=19384] ppid=19379 vsize=14082736 memory=-8557575366716069245 CPUtime=0.09 cores=0,2,4,6
/proc/19382/task/19384/stat : 19384 (java) R 19379 19382 15138 0 -1 4202560 4831 0 0 0 8 1 0 0 20 0 15 0 249899450 14420721664 8402 33554432000 4194304 4196468 140736685058288 139899294432496 139899290223773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19385] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19385/stat : 19385 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 8402 33554432000 4194304 4196468 140736685058288 139899242822032 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19386] ppid=19379 vsize=14082736 memory=139658558781056 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19386/stat : 19386 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 8402 33554432000 4194304 4196468 140736685058288 139899241769232 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19387] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19387/stat : 19387 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 8402 33554432000 4194304 4196468 140736685058288 139899240716944 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19388] ppid=19379 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19388/stat : 19388 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 8402 33554432000 4194304 4196468 140736685058288 139899239664144 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19389] ppid=19379 vsize=14082736 memory=139658558781056 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19389/stat : 19389 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899452 14420721664 8402 33554432000 4194304 4196468 140736685058288 139898269477488 139899290212994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19390] ppid=19379 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19390/stat : 19390 (java) S 19379 19382 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899452 14420721664 8402 33554432000 4194304 4196468 140736685058288 139898268423456 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19391] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19391/stat : 19391 (java) S 19379 19382 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899452 14420721664 8402 33554432000 4194304 4196468 140736685058288 139898267371120 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19392] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19392/stat : 19392 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 8402 33554432000 4194304 4196468 140736685058288 139898266319440 139899290220443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19393] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19393/stat : 19393 (java) S 19379 19382 15138 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 8402 33554432000 4194304 4196468 140736685058288 139898265266288 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19394] ppid=19379 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19394/stat : 19394 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 8402 33554432000 4194304 4196468 140736685058288 139898264213488 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19395] ppid=19379 vsize=14082736 memory=139658558781056 CPUtime=0.01 cores=0,2,4,6
/proc/19382/task/19395/stat : 19395 (java) R 19379 19382 15138 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 15 0 249899455 14420721664 8402 33554432000 4194304 4196468 140736685058288 139898263161200 139899290213782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19396] ppid=19379 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19396/stat : 19396 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 8402 33554432000 4194304 4196468 140736685058288 139898262108640 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19397] ppid=19379 vsize=14082736 memory=139658558781056 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19397/stat : 19397 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 8402 33554432000 4194304 4196468 140736685058288 139898261056432 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33608 KiB

[startup+0.210745 s]*
/proc/loadavg: 1.50 1.18 1.46 5/219 19397
/proc/meminfo: memFree=24066748/32770624 swapFree=67108840/67108860
[pid=19382] ppid=19379 vsize=14082736 memory=48876 CPUtime=0.3 cores=0,2,4,6
/proc/19382/stat : 19382 (java) S 19379 19382 15138 0 -1 1077944320 10366 0 0 0 27 3 0 0 20 0 15 0 249899449 14420721664 12219 33554432000 4194304 4196468 140736685058288 140736685040832 139899290201847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
/proc/19382/statm: 3520684 12219 3267 1 0 3482761 0
[pid=19382/tid=19384] ppid=19379 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/19382/task/19384/stat : 19384 (java) R 19379 19382 15138 0 -1 4202560 8165 0 0 0 18 2 0 0 20 0 15 0 249899450 14420721664 12219 33554432000 4194304 4196468 140736685058288 139899294428752 139899276333408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19385] ppid=19379 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19385/stat : 19385 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 12219 33554432000 4194304 4196468 140736685058288 139899242822032 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19386] ppid=19379 vsize=14082736 memory=288370034710492800 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19386/stat : 19386 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 12219 33554432000 4194304 4196468 140736685058288 139899241769232 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19387] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19387/stat : 19387 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 12219 33554432000 4194304 4196468 140736685058288 139899240716944 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19388] ppid=19379 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19388/stat : 19388 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 12219 33554432000 4194304 4196468 140736685058288 139899239664144 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19389] ppid=19379 vsize=14082736 memory=139658558781056 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19389/stat : 19389 (java) S 19379 19382 15138 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249899452 14420721664 12219 33554432000 4194304 4196468 140736685058288 139898269477488 139899290212994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19390] ppid=19379 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19390/stat : 19390 (java) S 19379 19382 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899452 14420721664 12219 33554432000 4194304 4196468 140736685058288 139898268423456 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19391] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19391/stat : 19391 (java) S 19379 19382 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899452 14420721664 12219 33554432000 4194304 4196468 140736685058288 139898267371120 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19392] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19392/stat : 19392 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 12219 33554432000 4194304 4196468 140736685058288 139898266319440 139899290220443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19393] ppid=19379 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19382/task/19393/stat : 19393 (java) R 19379 19382 15138 0 -1 4202560 387 0 0 0 1 0 0 0 20 0 15 0 249899455 14420721664 12219 33554432000 4194304 4196468 140736685058288 139898265266288 139899271723029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19394] ppid=19379 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19382/task/19394/stat : 19394 (java) R 19379 19382 15138 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 15 0 249899455 14420721664 12219 33554432000 4194304 4196468 140736685058288 139898264213488 139899290212994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19395] ppid=19379 vsize=14082736 memory=139658558781056 CPUtime=0.05 cores=0,2,4,6
/proc/19382/task/19395/stat : 19395 (java) R 19379 19382 15138 0 -1 4202560 301 0 0 0 5 0 0 0 20 0 15 0 249899455 14420721664 12219 33554432000 4194304 4196468 140736685058288 139898263161200 139899282438974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19396] ppid=19379 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19396/stat : 19396 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 12219 33554432000 4194304 4196468 140736685058288 139898262108640 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19397] ppid=19379 vsize=14082736 memory=139658558781056 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19397/stat : 19397 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 12219 33554432000 4194304 4196468 140736685058288 139898261056432 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 48876 KiB

[startup+0.310731 s]*
/proc/loadavg: 1.62 1.21 1.47 3/219 19397
/proc/meminfo: memFree=24063708/32770624 swapFree=67108840/67108860
[pid=19382] ppid=19379 vsize=14082736 memory=52792 CPUtime=0.44 cores=0,2,4,6
/proc/19382/stat : 19382 (java) S 19379 19382 15138 0 -1 1077944320 10806 0 0 0 41 3 0 0 20 0 15 0 249899449 14420721664 13198 33554432000 4194304 4196468 140736685058288 140736685040832 139899290201847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
/proc/19382/statm: 3520684 13198 3422 1 0 3482761 0
[pid=19382/tid=19384] ppid=19379 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/19382/task/19384/stat : 19384 (java) R 19379 19382 15138 0 -1 4202560 8498 0 0 0 28 2 0 0 20 0 15 0 249899450 14420721664 13198 33554432000 4194304 4196468 140736685058288 139899294413360 139899274282364 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19385] ppid=19379 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19385/stat : 19385 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 13198 33554432000 4194304 4196468 140736685058288 139899242822032 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19386] ppid=19379 vsize=14082736 memory=288370034710492800 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19386/stat : 19386 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 13198 33554432000 4194304 4196468 140736685058288 139899241769232 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19387] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19387/stat : 19387 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 13198 33554432000 4194304 4196468 140736685058288 139899240716944 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19388] ppid=19379 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19388/stat : 19388 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899450 14420721664 13198 33554432000 4194304 4196468 140736685058288 139899239664144 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19389] ppid=19379 vsize=14082736 memory=139658558781056 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19389/stat : 19389 (java) S 19379 19382 15138 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249899452 14420721664 13198 33554432000 4194304 4196468 140736685058288 139898269477488 139899290212994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19390] ppid=19379 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19390/stat : 19390 (java) S 19379 19382 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899452 14420721664 13198 33554432000 4194304 4196468 140736685058288 139898268423456 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19391] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19391/stat : 19391 (java) S 19379 19382 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899452 14420721664 13198 33554432000 4194304 4196468 140736685058288 139898267371120 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19392] ppid=19379 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19392/stat : 19392 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 13198 33554432000 4194304 4196468 140736685058288 139898266319440 139899290220443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19393] ppid=19379 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19382/task/19393/stat : 19393 (java) S 19379 19382 15138 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 249899455 14420721664 13198 33554432000 4194304 4196468 140736685058288 139898265266288 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19394] ppid=19379 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19382/task/19394/stat : 19394 (java) S 19379 19382 15138 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 15 0 249899455 14420721664 13198 33554432000 4194304 4196468 140736685058288 139898264213488 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19395] ppid=19379 vsize=14082736 memory=139658558781056 CPUtime=0.08 cores=0,2,4,6
/proc/19382/task/19395/stat : 19395 (java) S 19379 19382 15138 0 -1 1077944384 310 0 0 0 8 0 0 0 20 0 15 0 249899455 14420721664 13198 33554432000 4194304 4196468 140736685058288 139898263161200 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19396] ppid=19379 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19396/stat : 19396 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 13198 33554432000 4194304 4196468 140736685058288 139898262108640 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19397] ppid=19379 vsize=14082736 memory=139658558781056 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19397/stat : 19397 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899455 14420721664 13198 33554432000 4194304 4196468 140736685058288 139898261056432 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52792 KiB

[startup+0.700704 s]
/proc/loadavg: 1.62 1.21 1.47 3/219 19397
/proc/meminfo: memFree=24040764/32770624 swapFree=67108840/67108860
[pid=19382] ppid=19379 vsize=14084804 memory=90772 CPUtime=0.97 cores=0,2,4,6
/proc/19382/stat : 19382 (java) S 19379 19382 15138 0 -1 1077944320 17562 0 0 0 92 5 0 0 20 0 15 0 249899449 14422839296 22693 33554432000 4194304 4196468 140736685058288 140736685040832 139899290201847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
/proc/19382/statm: 3521201 22693 3499 1 0 3483273 0
[pid=19382/tid=19384] ppid=19379 vsize=14084804 memory=1784 CPUtime=0.68 cores=0,2,4,6
/proc/19382/task/19384/stat : 19384 (java) R 19379 19382 15138 0 -1 4202560 14901 0 0 0 64 4 0 0 20 0 15 0 249899450 14422839296 22693 33554432000 4194304 4196468 140736685058288 139899294416896 139899274282334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19385] ppid=19379 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19385/stat : 19385 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899450 14422839296 22693 33554432000 4194304 4196468 140736685058288 139899242822032 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19386] ppid=19379 vsize=14084804 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19386/stat : 19386 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899450 14422839296 22693 33554432000 4194304 4196468 140736685058288 139899241769232 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19387] ppid=19379 vsize=14084804 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19387/stat : 19387 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899450 14422839296 22693 33554432000 4194304 4196468 140736685058288 139899240716944 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19388] ppid=19379 vsize=14084804 memory=5728 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19388/stat : 19388 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899450 14422839296 22693 33554432000 4194304 4196468 140736685058288 139899239664144 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19389] ppid=19379 vsize=14084804 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19389/stat : 19389 (java) S 19379 19382 15138 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249899452 14422839296 22693 33554432000 4194304 4196468 140736685058288 139898269477488 139899290212994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19390] ppid=19379 vsize=14084804 memory=1092 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19390/stat : 19390 (java) S 19379 19382 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899452 14422839296 22693 33554432000 4194304 4196468 140736685058288 139898268423456 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19391] ppid=19379 vsize=14084804 memory=836 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19391/stat : 19391 (java) S 19379 19382 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899452 14422839296 22693 33554432000 4194304 4196468 140736685058288 139898267371120 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19392] ppid=19379 vsize=14084804 memory=10692 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19392/stat : 19392 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14422839296 22693 33554432000 4194304 4196468 140736685058288 139898266319440 139899290220443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19393] ppid=19379 vsize=14084804 memory=7450174591119418944 CPUtime=0.07 cores=0,2,4,6
/proc/19382/task/19393/stat : 19393 (java) S 19379 19382 15138 0 -1 1077944384 615 0 0 0 7 0 0 0 20 0 15 0 249899455 14422839296 22693 33554432000 4194304 4196468 140736685058288 139898265266288 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19394] ppid=19379 vsize=14084804 memory=6444198537895111255 CPUtime=0.06 cores=0,2,4,6
/proc/19382/task/19394/stat : 19394 (java) S 19379 19382 15138 0 -1 1077944384 273 0 0 0 6 0 0 0 20 0 15 0 249899455 14422839296 22693 33554432000 4194304 4196468 140736685058288 139898264213488 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19395] ppid=19379 vsize=14084804 memory=7523071198212214892 CPUtime=0.15 cores=0,2,4,6
/proc/19382/task/19395/stat : 19395 (java) S 19379 19382 15138 0 -1 1077944384 392 0 0 0 15 0 0 0 20 0 15 0 249899455 14422839296 22693 33554432000 4194304 4196468 140736685058288 139898263161200 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19396] ppid=19379 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19396/stat : 19396 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14422839296 22693 33554432000 4194304 4196468 140736685058288 139898262108640 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19397] ppid=19379 vsize=14084804 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19397/stat : 19397 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899455 14422839296 22693 33554432000 4194304 4196468 140736685058288 139898261056432 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90772 KiB

[startup+1.50636 s]
/proc/loadavg: 1.62 1.21 1.47 5/219 19397
/proc/meminfo: memFree=23983244/32770624 swapFree=67108840/67108860
[pid=19382] ppid=19379 vsize=14090980 memory=198868 CPUtime=3.28 cores=0,2,4,6
/proc/19382/stat : 19382 (java) S 19379 19382 15138 0 -1 1077944320 25411 0 0 0 320 8 0 0 20 0 15 0 249899449 14429163520 49660 33554432000 4194304 4196468 140736685058288 140736685040832 139899290201847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
/proc/19382/statm: 3522745 49717 3548 1 0 3484817 0
[pid=19382/tid=19384] ppid=19379 vsize=14090980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/19382/task/19384/stat : 19384 (java) R 19379 19382 15138 0 -1 4202560 18694 0 0 0 142 6 0 0 20 0 15 0 249899450 14429163520 49717 33554432000 4194304 4196468 140736685058288 139899294424800 139899282881565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19385] ppid=19379 vsize=14090980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19385/stat : 19385 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899450 14429163520 49717 33554432000 4194304 4196468 140736685058288 139899242822032 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19386] ppid=19379 vsize=14090980 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19386/stat : 19386 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899450 14429163520 49783 33554432000 4194304 4196468 140736685058288 139899241769232 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19387] ppid=19379 vsize=14090980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19387/stat : 19387 (java) S 19379 19382 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899450 14429163520 49783 33554432000 4194304 4196468 140736685058288 139899240716944 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19388] ppid=19379 vsize=14090980 memory=-7096649868621430206 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19388/stat : 19388 (java) S 19379 19382 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899450 14429163520 49783 33554432000 4194304 4196468 140736685058288 139899239664144 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19389] ppid=19379 vsize=14090980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19389/stat : 19389 (java) S 19379 19382 15138 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 249899452 14429163520 49783 33554432000 4194304 4196468 140736685058288 139898269477488 139899290212994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0

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

[pid=19382/tid=19394] ppid=19379 vsize=14090948 memory=2948 CPUtime=1.8 cores=0,2,4,6
/proc/19382/task/19394/stat : 19394 (java) S 19379 19382 15138 0 -1 1077944384 4378 0 0 0 180 0 0 0 20 0 15 0 249899455 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898264213488 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19395] ppid=19379 vsize=14090948 memory=688648 CPUtime=0.91 cores=0,2,4,6
/proc/19382/task/19395/stat : 19395 (java) S 19379 19382 15138 0 -1 1077944384 6307 0 0 0 90 1 0 0 20 0 15 0 249899455 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898263161200 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19396] ppid=19379 vsize=14090948 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19396/stat : 19396 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898262108640 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19397] ppid=19379 vsize=14090948 memory=366368 CPUtime=0.02 cores=0,2,4,6
/proc/19382/task/19397/stat : 19397 (java) S 19379 19382 15138 0 -1 1077944384 584 0 0 0 1 1 0 0 20 0 15 0 249899455 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898261056432 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
Current children cumulated CPU time: 57.99 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 352004 KiB

[startup+53.6008 s]
/proc/loadavg: 1.68 1.28 1.49 3/219 19397
/proc/meminfo: memFree=23742004/32770624 swapFree=67108840/67108860
[pid=19382] ppid=19379 vsize=14090948 memory=352004 CPUtime=58.79 cores=0,2,4,6
/proc/19382/stat : 19382 (java) S 19379 19382 15138 0 -1 1077944320 50948 0 0 0 5845 34 0 0 20 0 15 0 249899449 14429130752 88001 33554432000 4194304 4196468 140736685058288 140736685040832 139899290201847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
/proc/19382/statm: 3522737 88001 3582 1 0 3484809 0
[pid=19382/tid=19384] ppid=19379 vsize=14090948 memory=288292168735654713 CPUtime=53.32 cores=0,2,4,6
/proc/19382/task/19384/stat : 19384 (java) R 19379 19382 15138 0 -1 4202560 23285 0 0 0 5324 8 0 0 20 0 15 0 249899450 14429130752 88001 33554432000 4194304 4196468 140736685058288 139899294439584 139898922399986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19385] ppid=19379 vsize=14090948 memory=297272799414126907 CPUtime=0.16 cores=0,2,4,6
/proc/19382/task/19385/stat : 19385 (java) S 19379 19382 15138 0 -1 1077944384 2284 0 0 0 12 4 0 0 20 0 15 0 249899450 14429130752 88001 33554432000 4194304 4196468 140736685058288 139899242822032 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19386] ppid=19379 vsize=14090948 memory=352004 CPUtime=0.16 cores=0,2,4,6
/proc/19382/task/19386/stat : 19386 (java) S 19379 19382 15138 0 -1 1077944384 1105 0 0 0 11 5 0 0 20 0 15 0 249899450 14429130752 88001 33554432000 4194304 4196468 140736685058288 139899241769232 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19387] ppid=19379 vsize=14090948 memory=6944657691966988345 CPUtime=0.17 cores=0,2,4,6
/proc/19382/task/19387/stat : 19387 (java) S 19379 19382 15138 0 -1 1077944384 1192 0 0 0 12 5 0 0 20 0 15 0 249899450 14429130752 88001 33554432000 4194304 4196468 140736685058288 139899240716944 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19388] ppid=19379 vsize=14090948 memory=8329294824090543255 CPUtime=0.16 cores=0,2,4,6
/proc/19382/task/19388/stat : 19388 (java) S 19379 19382 15138 0 -1 1077944384 1161 0 0 0 11 5 0 0 20 0 15 0 249899450 14429130752 88001 33554432000 4194304 4196468 140736685058288 139899239664144 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19389] ppid=19379 vsize=14090948 memory=-7384994774051102368 CPUtime=0.04 cores=0,2,4,6
/proc/19382/task/19389/stat : 19389 (java) S 19379 19382 15138 0 -1 1077944384 1272 0 0 0 4 0 0 0 20 0 15 0 249899452 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898269477488 139899290212994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19390] ppid=19379 vsize=14090948 memory=7684433386921362234 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19390/stat : 19390 (java) S 19379 19382 15138 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 249899452 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898268423520 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19391] ppid=19379 vsize=14090948 memory=-7533511066075829596 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19391/stat : 19391 (java) S 19379 19382 15138 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 249899452 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898267371136 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19392] ppid=19379 vsize=14090948 memory=8116781154467152954 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19392/stat : 19392 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898266319440 139899290220443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19393] ppid=19379 vsize=14090948 memory=6791534058613427641 CPUtime=1.94 cores=0,2,4,6
/proc/19382/task/19393/stat : 19393 (java) S 19379 19382 15138 0 -1 1077944384 7952 0 0 0 193 1 0 0 20 0 15 0 249899455 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898265266288 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19394] ppid=19379 vsize=14090948 memory=7528 CPUtime=1.8 cores=0,2,4,6
/proc/19382/task/19394/stat : 19394 (java) S 19379 19382 15138 0 -1 1077944384 4378 0 0 0 180 0 0 0 20 0 15 0 249899455 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898264213488 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19395] ppid=19379 vsize=14090948 memory=800 CPUtime=0.91 cores=0,2,4,6
/proc/19382/task/19395/stat : 19395 (java) S 19379 19382 15138 0 -1 1077944384 6307 0 0 0 90 1 0 0 20 0 15 0 249899455 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898263161200 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19396] ppid=19379 vsize=14090948 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19396/stat : 19396 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898262108640 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19397] ppid=19379 vsize=14090948 memory=916 CPUtime=0.02 cores=0,2,4,6
/proc/19382/task/19397/stat : 19397 (java) S 19379 19382 15138 0 -1 1077944384 584 0 0 0 1 1 0 0 20 0 15 0 249899455 14429130752 88001 33554432000 4194304 4196468 140736685058288 139898261056432 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
Current children cumulated CPU time: 58.79 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 352004 KiB

[startup+54.0008 s]*
/proc/loadavg: 1.68 1.28 1.49 3/219 19397
/proc/meminfo: memFree=23745540/32770624 swapFree=67108840/67108860
[pid=19382] ppid=19379 vsize=14090948 memory=346364 CPUtime=59.2 cores=0,2,4,6
/proc/19382/stat : 19382 (java) S 19379 19382 15138 0 -1 1077944320 50951 0 0 0 5886 34 0 0 20 0 15 0 249899449 14429130752 86591 33554432000 4194304 4196468 140736685058288 140736685040832 139899290201847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
/proc/19382/statm: 3522737 86591 3582 1 0 3484809 0
[pid=19382/tid=19384] ppid=19379 vsize=14090948 memory=6791534058613427641 CPUtime=53.73 cores=0,2,4,6
/proc/19382/task/19384/stat : 19384 (java) R 19379 19382 15138 0 -1 4202560 23287 0 0 0 5365 8 0 0 20 0 15 0 249899450 14429130752 86591 33554432000 4194304 4196468 140736685058288 139899294440000 139898922302936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19385] ppid=19379 vsize=14090948 memory=2216 CPUtime=0.16 cores=0,2,4,6
/proc/19382/task/19385/stat : 19385 (java) S 19379 19382 15138 0 -1 1077944384 2285 0 0 0 12 4 0 0 20 0 15 0 249899450 14429130752 86591 33554432000 4194304 4196468 140736685058288 139899242822032 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19386] ppid=19379 vsize=14090948 memory=3988 CPUtime=0.17 cores=0,2,4,6
/proc/19382/task/19386/stat : 19386 (java) S 19379 19382 15138 0 -1 1077944384 1105 0 0 0 12 5 0 0 20 0 15 0 249899450 14429130752 86591 33554432000 4194304 4196468 140736685058288 139899241769232 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19387] ppid=19379 vsize=14090948 memory=31076 CPUtime=0.17 cores=0,2,4,6
/proc/19382/task/19387/stat : 19387 (java) S 19379 19382 15138 0 -1 1077944384 1192 0 0 0 12 5 0 0 20 0 15 0 249899450 14429130752 86591 33554432000 4194304 4196468 140736685058288 139899240716944 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19388] ppid=19379 vsize=14090948 memory=139658445485233 CPUtime=0.16 cores=0,2,4,6
/proc/19382/task/19388/stat : 19388 (java) S 19379 19382 15138 0 -1 1077944384 1161 0 0 0 11 5 0 0 20 0 15 0 249899450 14429130752 86591 33554432000 4194304 4196468 140736685058288 139899239664144 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19389] ppid=19379 vsize=14090948 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/19382/task/19389/stat : 19389 (java) S 19379 19382 15138 0 -1 1077944384 1272 0 0 0 4 0 0 0 20 0 15 0 249899452 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898269477488 139899290212994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19390] ppid=19379 vsize=14090948 memory=303711719770030395 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19390/stat : 19390 (java) S 19379 19382 15138 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 249899452 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898268423520 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19391] ppid=19379 vsize=14090948 memory=16101468159609437 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19391/stat : 19391 (java) S 19379 19382 15138 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 249899452 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898267371136 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19392] ppid=19379 vsize=14090948 memory=5931348939795754594 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19392/stat : 19392 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898266319440 139899290220443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19393] ppid=19379 vsize=14090948 memory=7012755953475086958 CPUtime=1.94 cores=0,2,4,6
/proc/19382/task/19393/stat : 19393 (java) S 19379 19382 15138 0 -1 1077944384 7952 0 0 0 193 1 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898265266288 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19394] ppid=19379 vsize=14090948 memory=7811606156464509026 CPUtime=1.8 cores=0,2,4,6
/proc/19382/task/19394/stat : 19394 (java) S 19379 19382 15138 0 -1 1077944384 4378 0 0 0 180 0 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898264213488 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19395] ppid=19379 vsize=14090948 memory=7379536470587109219 CPUtime=0.91 cores=0,2,4,6
/proc/19382/task/19395/stat : 19395 (java) S 19379 19382 15138 0 -1 1077944384 6307 0 0 0 90 1 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898263161200 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19396] ppid=19379 vsize=14090948 memory=8514726395715349656 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19396/stat : 19396 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898262108640 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19397] ppid=19379 vsize=14090948 memory=3047711553320166262 CPUtime=0.02 cores=0,2,4,6
/proc/19382/task/19397/stat : 19397 (java) S 19379 19382 15138 0 -1 1077944384 584 0 0 0 1 1 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898261056432 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
Current children cumulated CPU time: 59.2 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 346364 KiB

[startup+54.4008 s]
/proc/loadavg: 1.68 1.28 1.49 3/219 19397
/proc/meminfo: memFree=23745540/32770624 swapFree=67108840/67108860
[pid=19382] ppid=19379 vsize=14090948 memory=346364 CPUtime=59.59 cores=0,2,4,6
/proc/19382/stat : 19382 (java) S 19379 19382 15138 0 -1 1077944320 50951 0 0 0 5925 34 0 0 20 0 15 0 249899449 14429130752 86591 33554432000 4194304 4196468 140736685058288 140736685040832 139899290201847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
/proc/19382/statm: 3522737 86591 3582 1 0 3484809 0
[pid=19382/tid=19384] ppid=19379 vsize=14090948 memory=352004 CPUtime=54.12 cores=0,2,4,6
/proc/19382/task/19384/stat : 19384 (java) R 19379 19382 15138 0 -1 4202560 23287 0 0 0 5404 8 0 0 20 0 15 0 249899450 14429130752 86591 33554432000 4194304 4196468 140736685058288 139899294440000 139898922943929 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19385] ppid=19379 vsize=14090948 memory=279316890246336 CPUtime=0.16 cores=0,2,4,6
/proc/19382/task/19385/stat : 19385 (java) S 19379 19382 15138 0 -1 1077944384 2285 0 0 0 12 4 0 0 20 0 15 0 249899450 14429130752 86591 33554432000 4194304 4196468 140736685058288 139899242822032 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19386] ppid=19379 vsize=14090948 memory=375092 CPUtime=0.17 cores=0,2,4,6
/proc/19382/task/19386/stat : 19386 (java) S 19379 19382 15138 0 -1 1077944384 1105 0 0 0 12 5 0 0 20 0 15 0 249899450 14429130752 86591 33554432000 4194304 4196468 140736685058288 139899241769232 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19387] ppid=19379 vsize=14090948 memory=10692 CPUtime=0.17 cores=0,2,4,6
/proc/19382/task/19387/stat : 19387 (java) S 19379 19382 15138 0 -1 1077944384 1192 0 0 0 12 5 0 0 20 0 15 0 249899450 14429130752 86591 33554432000 4194304 4196468 140736685058288 139899240716944 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19388] ppid=19379 vsize=14090948 memory=1620 CPUtime=0.16 cores=0,2,4,6
/proc/19382/task/19388/stat : 19388 (java) S 19379 19382 15138 0 -1 1077944384 1161 0 0 0 11 5 0 0 20 0 15 0 249899450 14429130752 86591 33554432000 4194304 4196468 140736685058288 139899239664144 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19389] ppid=19379 vsize=14090948 memory=6864 CPUtime=0.04 cores=0,2,4,6
/proc/19382/task/19389/stat : 19389 (java) S 19379 19382 15138 0 -1 1077944384 1272 0 0 0 4 0 0 0 20 0 15 0 249899452 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898269477488 139899290212994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19390] ppid=19379 vsize=14090948 memory=3500 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19390/stat : 19390 (java) S 19379 19382 15138 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 249899452 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898268423520 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19391] ppid=19379 vsize=14090948 memory=68032 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19391/stat : 19391 (java) S 19379 19382 15138 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 249899452 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898267371136 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19392] ppid=19379 vsize=14090948 memory=1100 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19392/stat : 19392 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898266319440 139899290220443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19393] ppid=19379 vsize=14090948 memory=2356 CPUtime=1.94 cores=0,2,4,6
/proc/19382/task/19393/stat : 19393 (java) S 19379 19382 15138 0 -1 1077944384 7952 0 0 0 193 1 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898265266288 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19394] ppid=19379 vsize=14090948 memory=6791534058613427641 CPUtime=1.8 cores=0,2,4,6
/proc/19382/task/19394/stat : 19394 (java) S 19379 19382 15138 0 -1 1077944384 4378 0 0 0 180 0 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898264213488 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19395] ppid=19379 vsize=14090948 memory=4548 CPUtime=0.91 cores=0,2,4,6
/proc/19382/task/19395/stat : 19395 (java) S 19379 19382 15138 0 -1 1077944384 6307 0 0 0 90 1 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898263161200 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19396] ppid=19379 vsize=14090948 memory=15188 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19396/stat : 19396 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898262108640 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19397] ppid=19379 vsize=14090948 memory=4008 CPUtime=0.02 cores=0,2,4,6
/proc/19382/task/19397/stat : 19397 (java) S 19379 19382 15138 0 -1 1077944384 584 0 0 0 1 1 0 0 20 0 15 0 249899455 14429130752 86591 33554432000 4194304 4196468 140736685058288 139898261056432 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
Current children cumulated CPU time: 59.59 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 346364 KiB

[startup+54.5006 s]
/proc/loadavg: 1.68 1.28 1.49 3/219 19397
/proc/meminfo: memFree=23745540/32770624 swapFree=67108840/67108860
[pid=19382] ppid=19379 vsize=14157512 memory=346732 CPUtime=59.72 cores=0,2,4,6
/proc/19382/stat : 19382 (java) S 19379 19382 15138 0 -1 1077944320 55199 0 0 0 5938 34 0 0 20 0 13 0 249899449 14497292288 86683 33554432000 4194304 4196468 140736685058288 140736685040832 139899290201847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
/proc/19382/statm: 3539378 86683 3584 1 0 3501450 0
[pid=19382/tid=19384] ppid=19379 vsize=14157512 memory=3500 CPUtime=54.21 cores=0,2,4,6
/proc/19382/task/19384/stat : 19384 (java) S 19379 19382 15138 0 -1 1077944384 24981 0 0 0 5413 8 0 0 20 0 13 0 249899450 14497292288 86683 33554432000 4194304 4196468 140736685058288 139899294444688 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19385] ppid=19379 vsize=14157512 memory=56 CPUtime=0.16 cores=0,2,4,6
/proc/19382/task/19385/stat : 19385 (java) S 19379 19382 15138 0 -1 1077944384 2285 0 0 0 12 4 0 0 20 0 13 0 249899450 14497292288 86683 33554432000 4194304 4196468 140736685058288 139899242822032 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19386] ppid=19379 vsize=14157512 memory=352004 CPUtime=0.17 cores=0,2,4,6
/proc/19382/task/19386/stat : 19386 (java) S 19379 19382 15138 0 -1 1077944384 1156 0 0 0 12 5 0 0 20 0 13 0 249899450 14497292288 86683 33554432000 4194304 4196468 140736685058288 139899241769232 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19387] ppid=19379 vsize=14157512 memory=358676 CPUtime=0.17 cores=0,2,4,6
/proc/19382/task/19387/stat : 19387 (java) S 19379 19382 15138 0 -1 1077944384 1195 0 0 0 12 5 0 0 20 0 13 0 249899450 14497292288 86683 33554432000 4194304 4196468 140736685058288 139899240716944 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19388] ppid=19379 vsize=14157512 memory=366368 CPUtime=0.17 cores=0,2,4,6
/proc/19382/task/19388/stat : 19388 (java) S 19379 19382 15138 0 -1 1077944384 1161 0 0 0 12 5 0 0 20 0 13 0 249899450 14497292288 86683 33554432000 4194304 4196468 140736685058288 139899239664144 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19389] ppid=19379 vsize=14157512 memory=2372 CPUtime=0.04 cores=0,2,4,6
/proc/19382/task/19389/stat : 19389 (java) S 19379 19382 15138 0 -1 1077944384 1274 0 0 0 4 0 0 0 20 0 13 0 249899452 14497292288 86683 33554432000 4194304 4196468 140736685058288 139898269477696 139899290212994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19390] ppid=19379 vsize=14157512 memory=164 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19390/stat : 19390 (java) S 19379 19382 15138 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 13 0 249899452 14497292288 86683 33554432000 4194304 4196468 140736685058288 139898268423520 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19391] ppid=19379 vsize=14157512 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19391/stat : 19391 (java) S 19379 19382 15138 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 13 0 249899452 14497292288 86683 33554432000 4194304 4196468 140736685058288 139898267371136 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19393] ppid=19379 vsize=14157512 memory=752 CPUtime=1.95 cores=0,2,4,6
/proc/19382/task/19393/stat : 19393 (java) S 19379 19382 15138 0 -1 1077944384 8160 0 0 0 194 1 0 0 20 0 13 0 249899455 14497292288 86683 33554432000 4194304 4196468 140736685058288 139898265250800 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19394] ppid=19379 vsize=14157512 memory=346364 CPUtime=1.82 cores=0,2,4,6
/proc/19382/task/19394/stat : 19394 (java) S 19379 19382 15138 0 -1 1077944384 4580 0 0 0 181 1 0 0 20 0 13 0 249899455 14497292288 86683 33554432000 4194304 4196468 140736685058288 139898264198000 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19395] ppid=19379 vsize=14157512 memory=366368 CPUtime=0.92 cores=0,2,4,6
/proc/19382/task/19395/stat : 19395 (java) S 19379 19382 15138 0 -1 1077944384 8343 0 0 0 91 1 0 0 20 0 13 0 249899455 14497292288 86683 33554432000 4194304 4196468 140736685058288 139898263161200 139899290212994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
[pid=19382/tid=19396] ppid=19379 vsize=14157512 memory=3500 CPUtime=0 cores=0,2,4,6
/proc/19382/task/19396/stat : 19396 (java) S 19379 19382 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 249899455 14497292288 86683 33554432000 4194304 4196468 140736685058288 139898262108640 139899290212053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20561920 140736685065288 140736685065481 140736685065481 140736685068239 0
Current children cumulated CPU time: 59.72 s
Current children cumulated vsize: 14157512 KiB
Current children cumulated memory: 346732 KiB

Child status: 0
Real time (s): 54.5156
CPU time (s): 59.7413
CPU user time (s): 59.3856
CPU system time (s): 0.35574
CPU usage (%): 109.586
Max. virtual memory (cumulated for all children) (KiB): 14157512
Max. memory (cumulated for all children) (KiB): 443124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.3856
system time used= 0.35574
maximum resident set size= 444696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4870
involuntary context switches= 172


# summary of solver processes directly reported to runsolver:
#   pid: 19382
#   total CPU time (s): 59.7413
#   total CPU user time (s): 59.3856
#   total CPU system time (s): 0.35574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.361607 second user time and 0.547894 second system time

The end

Name	MisteryShopper/ MisteryShopper-06d_c18.xml
MD5SUM	71f002b78114a95e8a0fa642f39b0e56
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	8.06246
Satisfiable
(Un)Satisfiability was proved
Number of variables	1176
Number of constraints	701
Number of domains	3
Minimum domain size	7
Maximum domain size	42
Distribution of domain sizes	[{"size":7,"count":294},{"size":8,"count":294},{"size":42,"count":588}]
Minimum variable degree	2
Maximum variable degree	5
Distribution of variable degrees	[{"degree":2,"count":588},{"degree":3,"count":294},{"degree":4,"count":259},{"degree":5,"count":35}]
Minimum constraint arity	2
Maximum constraint arity	294
Distribution of constraint arities	[{"arity":2,"count":588},{"arity":5,"count":7},{"arity":7,"count":84},{"arity":42,"count":14},{"arity":84,"count":7},{"arity":294,"count":1}]
Number of extensional constraints	588
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":588},{"type":"allDifferent","count":98},{"type":"ordered","count":7},{"type":"lex","count":1},{"type":"channel","count":7}]
Optimization problem	NO
Type of objective

Trace number 4308256

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data