2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	SAT	189.237	183.364

0.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 1465337378
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
4.06/1.85	c Parsing done, starting search...
189.15/183.34	s SATISFIABLE
189.15/183.34	v <instantiation>
189.15/183.34	v 	<list>
189.15/183.34	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]
189.15/183.34	v 	</list>
189.15/183.34	v 	<values>
189.15/183.34	v 		0 9 12 20 24 34 38 1 18 26 35 36 17 10 2 30 39 16 21 7 25 3 15 23 27 41 31 8 4 29 11 33 22 13 40 5 24 22 15 10 35 37 6 13 36 23 25 3 30 7 28 32 41 19 0 12 8 26 33 38 18 14 4 9 34 3 21 38 16 27 10 17 18 36 30 1 28 11 41 31 29 23 15 5 12 25 6 4 35 37 22 13 40 0 26 32 8 19 14 33 7 2 39 20 24 15 31 24 5 8 22 39 16 38 9 32 29 2 20 17 27 4 37 34 21 7 18 36 35 28 11 12 1 19 6 25 30 14 40 0 20 14 1 7 26 33 41 21 8 2 13 37 32 29 22 39 30 0 27 6 16 23 35 10 3 28 38 17 24 4 34 19 9 36 15 25 12 5 31 40 11 18 26 10 20 17 31 5 36 27 16 21 1 33 39 9 28 37 19 34 13 4 11 29 32 40 12 6 23 3 30 2 41 25 7 18 14 31 5 8 24 15 41 23 32 3 28 40 17 9 21 33 11 29 39 16 19 2 34 7 37 18 4 25 13 35 0 38 22 12 10 26 36 1 27 14 20 30 6 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 35 13 22 37 7 19 1 36 20 27 38 10 18 2 30 21 14 39 16 33 3 32 9 23 40 6 29 4 24 17 12 34 28 8 5 31 25 15 41 26 11 6 19 12 37 29 22 36 7 34 14 20 30 2 17 8 21 31 38 15 13 3 9 0 16 39 24 32 27 10 26 23 40 5 35 1 11 33 4 41 18 25 28 12 25 0 29 35 18 7 13 6 37 21 28 4 34 14 20 38 36 19 8 30 15 3 39 5 31 11 24 16 27 40 2 33 9 22 17 10 41 26 32 1 23 18 1 10 34 8 30 25 19 37 28 24 7 33 13 20 38 26 0 36 14 16 21 39 27 9 2 17 32 22 40 5 35 4 15 12 23 41 3 6 11 29 31 24 5 15 31 0 37 14 25 12 19 30 6 34 2 26 8 1 13 20 38 35 27 17 36 3 22 39 9 28 7 32 18 23 40 10 29 4 33 11 16 41 21 30 2 22 19 10 36 6 31 15 11 25 26 3 37 32 29 7 16 13 21 38 33 14 8 4 27 20 39 34 9 24 28 17 0 40 35 23 18 1 12 5 41 36 18 6 10 1 24 26 37 28 34 17 21 12 5 38 16 35 8 9 23 0 39 22 2 33 14 27 15 40 13 29 32 25 19 4 41 11 30 7 3 31 20 0 1 2 3 4 5 6 0 3 4 5 6 2 1 0 5 6 2 3 1 4 0 2 3 4 6 5 1 0 4 1 5 3 2 6 0 4 3 2 1 5 6 1 2 6 3 4 0 5 1 4 5 6 3 0 2 1 4 5 6 3 2 0 1 5 0 3 6 2 4 1 2 3 6 5 0 4 1 6 5 4 3 2 0 2 4 1 0 5 6 3 2 6 0 4 5 1 3 2 5 1 0 6 3 4 2 5 4 0 1 3 6 2 6 1 5 4 0 3 2 4 0 6 5 3 1 3 6 5 4 1 2 0 3 1 4 5 2 6 0 3 2 0 1 4 5 6 3 1 0 2 6 5 4 3 6 5 0 4 1 2 3 5 1 0 4 6 2 4 0 5 3 1 6 2 4 2 0 5 6 1 3 4 1 3 2 5 0 6 4 2 3 0 5 6 1 4 6 3 5 2 0 1 4 5 6 2 1 3 0 5 0 6 4 1 3 2 5 0 1 4 2 6 3 5 0 4 6 2 1 3 5 1 4 6 2 3 0 5 1 6 3 0 4 2 5 0 6 3 2 1 4 6 0 4 2 3 5 1 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 2 4 7 1 3 0 6 4 5 7 2 3 0 5 4 2 7 3 6 0 6 2 4 7 1 5 0 4 3 2 6 5 1 1 6 4 3 7 5 2 1 3 2 7 5 4 6 1 6 2 4 5 0 3 1 4 6 7 3 2 0 2 0 3 7 4 6 5 2 5 4 7 1 6 0 2 6 0 7 3 4 5 2 4 0 5 6 3 1 2 1 7 4 5 0 6 2 4 7 6 3 1 5 3 0 7 1 6 2 4 3 5 7 0 6 2 4 3 2 7 5 6 0 4 3 0 2 6 1 5 4 3 7 5 4 1 6 2 4 7 5 0 6 2 3 4 7 5 2 0 3 6 4 7 1 6 0 3 2 4 7 0 1 2 5 6 4 1 3 6 0 7 2 4 2 3 5 1 6 0 5 1 0 2 4 7 6 5 3 6 0 4 7 2 5 1 6 3 4 7 2 5 0 6 2 3 7 4 5 0 4 3 2 6 1 6 3 2 4 5 0 7 6 5 1 3 2 4 7 6 2 1 0 5 4 7 6 2 4 5 3 0 7 6 4 3 0 2 1 7 6 3 1 2 0 4 5 7 5 6 3 4 2 1 7 3 6 1 2 4 0 7 4 0 6 2 5 3 7 2 5 6 4 3 0 7 2 5 1 0 6 4 
189.15/183.34	v 	</values>
189.15/183.34	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 (13186 MiB free)
  memory of node 1: 16384 MiB (9289 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311992-1534554634/watcher-4311992-1534554634 -o /tmp/evaluation-result-4311992-1534554634/solver-4311992-1534554634 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534541042-1856 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1465337378 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311992-1534554634.xml 

running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB
solver pid=3603, runsolver pid=3600


[startup+0.10014 s]*
/proc/loadavg: 1.68 1.55 1.57 3/221 3618
/proc/meminfo: memFree=22996144/32770624 swapFree=67108852/67108860
[pid=3603] ppid=3600 vsize=14082736 memory=31328 CPUtime=0.12 cores=1,3,5,7
/proc/3603/stat : 3603 (java) S 3600 3603 1824 0 -1 1077944320 6723 0 0 0 11 1 0 0 20 0 15 0 273026523 14420721664 7832 33554432000 4194304 4196468 140731874473760 140731874456304 140714784607991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
/proc/3603/statm: 3520684 7832 3161 1 0 3482761 0
[pid=3603/tid=3605] ppid=3600 vsize=14082736 memory=-8393407302800864448 CPUtime=0.09 cores=1,3,5,7
/proc/3603/task/3605/stat : 3605 (java) R 3600 3603 1824 0 -1 4202560 4782 0 0 0 9 0 0 0 20 0 15 0 273026523 14420721664 7832 33554432000 4194304 4196468 140731874473760 140714788829056 140714768688478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3606] ppid=3600 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3606/stat : 3606 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 7832 33554432000 4194304 4196468 140731874473760 140714741160720 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3607] ppid=3600 vsize=14082736 memory=140575594788480 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3607/stat : 3607 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 7832 33554432000 4194304 4196468 140731874473760 140714740108176 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3608] ppid=3600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3608/stat : 3608 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 7832 33554432000 4194304 4196468 140731874473760 140714378193936 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3609] ppid=3600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3609/stat : 3609 (java) S 3600 3603 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 7832 33554432000 4194304 4196468 140731874473760 140714377141392 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3610] ppid=3600 vsize=14082736 memory=140575594788480 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3610/stat : 3610 (java) S 3600 3603 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273026525 14420721664 7832 33554432000 4194304 4196468 140731874473760 140713697703920 140714784619138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3611] ppid=3600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3611/stat : 3611 (java) S 3600 3603 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273026526 14420721664 7832 33554432000 4194304 4196468 140731874473760 140713696650144 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3612] ppid=3600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3612/stat : 3612 (java) S 3600 3603 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273026526 14420721664 7832 33554432000 4194304 4196468 140731874473760 140713695597552 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3613] ppid=3600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3613/stat : 3613 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026528 14420721664 7832 33554432000 4194304 4196468 140731874473760 140713694546128 140714784626587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3614] ppid=3600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3614/stat : 3614 (java) S 3600 3603 1824 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 273026528 14420721664 7832 33554432000 4194304 4196468 140731874473760 140713693493744 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3615] ppid=3600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3615/stat : 3615 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026528 14420721664 7832 33554432000 4194304 4196468 140731874473760 140713692441200 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3616] ppid=3600 vsize=14082736 memory=140575594788480 CPUtime=0.01 cores=1,3,5,7
/proc/3603/task/3616/stat : 3616 (java) S 3600 3603 1824 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 273026528 14420721664 7832 33554432000 4194304 4196468 140731874473760 140713691388656 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3617] ppid=3600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3617/stat : 3617 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026529 14420721664 7832 33554432000 4194304 4196468 140731874473760 140713690336352 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3618] ppid=3600 vsize=14082736 memory=140575594788480 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3618/stat : 3618 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026529 14420721664 7832 33554432000 4194304 4196468 140731874473760 140713689282864 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31328 KiB

[startup+0.213711 s]*
/proc/loadavg: 1.68 1.55 1.57 4/221 3618
/proc/meminfo: memFree=22980268/32770624 swapFree=67108852/67108860
[pid=3603] ppid=3600 vsize=14082736 memory=47144 CPUtime=0.3 cores=1,3,5,7
/proc/3603/stat : 3603 (java) S 3600 3603 1824 0 -1 1077944320 10390 0 0 0 28 2 0 0 20 0 15 0 273026523 14420721664 11786 33554432000 4194304 4196468 140731874473760 140731874456304 140714784607991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
/proc/3603/statm: 3520684 11786 3368 1 0 3482761 0
[pid=3603/tid=3605] ppid=3600 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3603/task/3605/stat : 3605 (java) R 3600 3603 1824 0 -1 4202560 8114 0 0 0 19 1 0 0 20 0 15 0 273026523 14420721664 11786 33554432000 4194304 4196468 140731874473760 140714788834896 140714776845118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3606] ppid=3600 vsize=14082736 memory=345 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3606/stat : 3606 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 11786 33554432000 4194304 4196468 140731874473760 140714741160720 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3607] ppid=3600 vsize=14082736 memory=140575594796530 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3607/stat : 3607 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 11786 33554432000 4194304 4196468 140731874473760 140714740108176 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3608] ppid=3600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3608/stat : 3608 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 11786 33554432000 4194304 4196468 140731874473760 140714378193936 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3609] ppid=3600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3609/stat : 3609 (java) S 3600 3603 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 11786 33554432000 4194304 4196468 140731874473760 140714377141392 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3610] ppid=3600 vsize=14082736 memory=140575594788480 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3610/stat : 3610 (java) S 3600 3603 1824 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 273026525 14420721664 11786 33554432000 4194304 4196468 140731874473760 140713697703920 140714784619138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3611] ppid=3600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3611/stat : 3611 (java) S 3600 3603 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273026526 14420721664 11786 33554432000 4194304 4196468 140731874473760 140713696650144 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3612] ppid=3600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3612/stat : 3612 (java) S 3600 3603 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273026526 14420721664 11786 33554432000 4194304 4196468 140731874473760 140713695597552 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3613] ppid=3600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3613/stat : 3613 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026528 14420721664 11786 33554432000 4194304 4196468 140731874473760 140713694546128 140714784626587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3614] ppid=3600 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3603/task/3614/stat : 3614 (java) R 3600 3603 1824 0 -1 4202560 388 0 0 0 1 0 0 0 20 0 15 0 273026528 14420721664 11786 33554432000 4194304 4196468 140731874473760 140713693493744 140714765978304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3615] ppid=3600 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3603/task/3615/stat : 3615 (java) R 3600 3603 1824 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 15 0 273026528 14420721664 11786 33554432000 4194304 4196468 140731874473760 140713692441200 140714784619138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3616] ppid=3600 vsize=14082736 memory=140575594788480 CPUtime=0.06 cores=1,3,5,7
/proc/3603/task/3616/stat : 3616 (java) R 3600 3603 1824 0 -1 4202560 292 0 0 0 6 0 0 0 20 0 15 0 273026528 14420721664 11786 33554432000 4194304 4196468 140731874473760 140713691383728 140714764071598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3617] ppid=3600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3617/stat : 3617 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026529 14420721664 11786 33554432000 4194304 4196468 140731874473760 140713690336352 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3618] ppid=3600 vsize=14082736 memory=140575594788480 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3618/stat : 3618 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026529 14420721664 11786 33554432000 4194304 4196468 140731874473760 140713689282864 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47144 KiB

[startup+0.31065 s]*
/proc/loadavg: 1.68 1.55 1.57 3/221 3618
/proc/meminfo: memFree=22976980/32770624 swapFree=67108852/67108860
[pid=3603] ppid=3600 vsize=14082736 memory=50352 CPUtime=0.44 cores=1,3,5,7
/proc/3603/stat : 3603 (java) S 3600 3603 1824 0 -1 1077944320 10772 0 0 0 42 2 0 0 20 0 15 0 273026523 14420721664 12588 33554432000 4194304 4196468 140731874473760 140731874456304 140714784607991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
/proc/3603/statm: 3520684 12588 3371 1 0 3482761 0
[pid=3603/tid=3605] ppid=3600 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/3603/task/3605/stat : 3605 (java) R 3600 3603 1824 0 -1 4202560 8461 0 0 0 28 1 0 0 20 0 15 0 273026523 14420721664 12588 33554432000 4194304 4196468 140731874473760 140714788819504 140714766171566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3606] ppid=3600 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3606/stat : 3606 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 12588 33554432000 4194304 4196468 140731874473760 140714741160720 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3607] ppid=3600 vsize=14082736 memory=16247549919245976 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3607/stat : 3607 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 12588 33554432000 4194304 4196468 140731874473760 140714740108176 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3608] ppid=3600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3608/stat : 3608 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 12588 33554432000 4194304 4196468 140731874473760 140714378193936 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3609] ppid=3600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3609/stat : 3609 (java) S 3600 3603 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273026524 14420721664 12588 33554432000 4194304 4196468 140731874473760 140714377141392 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3610] ppid=3600 vsize=14082736 memory=140575594788480 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3610/stat : 3610 (java) S 3600 3603 1824 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 273026525 14420721664 12588 33554432000 4194304 4196468 140731874473760 140713697703920 140714784619138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3611] ppid=3600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3611/stat : 3611 (java) S 3600 3603 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273026526 14420721664 12588 33554432000 4194304 4196468 140731874473760 140713696650144 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3612] ppid=3600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3612/stat : 3612 (java) S 3600 3603 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273026526 14420721664 12588 33554432000 4194304 4196468 140731874473760 140713695597552 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3613] ppid=3600 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3613/stat : 3613 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026528 14420721664 12588 33554432000 4194304 4196468 140731874473760 140713694546128 140714784626587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3614] ppid=3600 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3603/task/3614/stat : 3614 (java) S 3600 3603 1824 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 273026528 14420721664 12588 33554432000 4194304 4196468 140731874473760 140713693493744 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3615] ppid=3600 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3603/task/3615/stat : 3615 (java) S 3600 3603 1824 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 273026528 14420721664 12588 33554432000 4194304 4196468 140731874473760 140713692441200 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3616] ppid=3600 vsize=14082736 memory=140575594788480 CPUtime=0.08 cores=1,3,5,7
/proc/3603/task/3616/stat : 3616 (java) S 3600 3603 1824 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 15 0 273026528 14420721664 12588 33554432000 4194304 4196468 140731874473760 140713691388656 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3617] ppid=3600 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3617/stat : 3617 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026529 14420721664 12588 33554432000 4194304 4196468 140731874473760 140713690336352 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3618] ppid=3600 vsize=14082736 memory=140575594788480 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3618/stat : 3618 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026529 14420721664 12588 33554432000 4194304 4196468 140731874473760 140713689282864 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50352 KiB

[startup+0.70075 s]
/proc/loadavg: 1.68 1.55 1.57 3/221 3618
/proc/meminfo: memFree=22952672/32770624 swapFree=67108852/67108860
[pid=3603] ppid=3600 vsize=14084804 memory=88948 CPUtime=0.99 cores=1,3,5,7
/proc/3603/stat : 3603 (java) S 3600 3603 1824 0 -1 1077944320 17628 0 0 0 94 5 0 0 20 0 15 0 273026523 14422839296 22237 33554432000 4194304 4196468 140731874473760 140731874456304 140714784607991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
/proc/3603/statm: 3521201 22237 3499 1 0 3483273 0
[pid=3603/tid=3605] ppid=3600 vsize=14084804 memory=3340 CPUtime=0.67 cores=1,3,5,7
/proc/3603/task/3605/stat : 3605 (java) R 3600 3603 1824 0 -1 4202560 14911 0 0 0 63 4 0 0 20 0 15 0 273026523 14422839296 22237 33554432000 4194304 4196468 140731874473760 140714788818768 140714768688478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3606] ppid=3600 vsize=14084804 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3606/stat : 3606 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14422839296 22237 33554432000 4194304 4196468 140731874473760 140714741160720 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3607] ppid=3600 vsize=14084804 memory=3748 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3607/stat : 3607 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14422839296 22237 33554432000 4194304 4196468 140731874473760 140714740108176 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3608] ppid=3600 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3608/stat : 3608 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14422839296 22237 33554432000 4194304 4196468 140731874473760 140714378193936 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3609] ppid=3600 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3609/stat : 3609 (java) S 3600 3603 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273026524 14422839296 22237 33554432000 4194304 4196468 140731874473760 140714377141392 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3610] ppid=3600 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3610/stat : 3610 (java) S 3600 3603 1824 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 273026525 14422839296 22237 33554432000 4194304 4196468 140731874473760 140713697703920 140714784619138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3611] ppid=3600 vsize=14084804 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3611/stat : 3611 (java) S 3600 3603 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273026526 14422839296 22237 33554432000 4194304 4196468 140731874473760 140713696650144 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3612] ppid=3600 vsize=14084804 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3612/stat : 3612 (java) S 3600 3603 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273026526 14422839296 22237 33554432000 4194304 4196468 140731874473760 140713695597552 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3613] ppid=3600 vsize=14084804 memory=7157735280230160482 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3613/stat : 3613 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026528 14422839296 22237 33554432000 4194304 4196468 140731874473760 140713694546128 140714784626587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3614] ppid=3600 vsize=14084804 memory=7812151424140141167 CPUtime=0.07 cores=1,3,5,7
/proc/3603/task/3614/stat : 3614 (java) S 3600 3603 1824 0 -1 1077944384 556 0 0 0 7 0 0 0 20 0 15 0 273026528 14422839296 22237 33554432000 4194304 4196468 140731874473760 140713693493744 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3615] ppid=3600 vsize=14084804 memory=7377267207822863209 CPUtime=0.07 cores=1,3,5,7
/proc/3603/task/3615/stat : 3615 (java) S 3600 3603 1824 0 -1 1077944384 380 0 0 0 7 0 0 0 20 0 15 0 273026528 14422839296 22237 33554432000 4194304 4196468 140731874473760 140713692441200 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3616] ppid=3600 vsize=14084804 memory=7666348541231060838 CPUtime=0.15 cores=1,3,5,7
/proc/3603/task/3616/stat : 3616 (java) S 3600 3603 1824 0 -1 1077944384 399 0 0 0 15 0 0 0 20 0 15 0 273026528 14422839296 22237 33554432000 4194304 4196468 140731874473760 140713691388656 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3617] ppid=3600 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3617/stat : 3617 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026529 14422839296 22237 33554432000 4194304 4196468 140731874473760 140713690336352 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3618] ppid=3600 vsize=14084804 memory=6444 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3618/stat : 3618 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026529 14422839296 22237 33554432000 4194304 4196468 140731874473760 140713689282864 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88948 KiB

[startup+1.5046 s]
/proc/loadavg: 1.70 1.56 1.57 5/221 3618
/proc/meminfo: memFree=22893488/32770624 swapFree=67108852/67108860
[pid=3603] ppid=3600 vsize=14088900 memory=188260 CPUtime=3.14 cores=1,3,5,7
/proc/3603/stat : 3603 (java) S 3600 3603 1824 0 -1 1077944320 23876 0 0 0 306 8 0 0 20 0 15 0 273026523 14427033600 47065 33554432000 4194304 4196468 140731874473760 140731874456304 140714784607991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
/proc/3603/statm: 3522225 47065 3542 1 0 3484297 0
[pid=3603/tid=3605] ppid=3600 vsize=14088900 memory=161244 CPUtime=1.47 cores=1,3,5,7
/proc/3603/task/3605/stat : 3605 (java) R 3600 3603 1824 0 -1 4202560 17648 0 0 0 141 6 0 0 20 0 15 0 273026523 14427033600 47065 33554432000 4194304 4196468 140731874473760 140714788835152 140714768688478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3606] ppid=3600 vsize=14088900 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3606/stat : 3606 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14427033600 47065 33554432000 4194304 4196468 140731874473760 140714741160720 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3607] ppid=3600 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3607/stat : 3607 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14427033600 47065 33554432000 4194304 4196468 140731874473760 140714740108176 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3608] ppid=3600 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3608/stat : 3608 (java) S 3600 3603 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273026524 14427033600 47065 33554432000 4194304 4196468 140731874473760 140714378193936 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3609] ppid=3600 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3609/stat : 3609 (java) S 3600 3603 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273026524 14427033600 47065 33554432000 4194304 4196468 140731874473760 140714377141392 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3610] ppid=3600 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3610/stat : 3610 (java) S 3600 3603 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273026525 14427033600 47065 33554432000 4194304 4196468 140731874473760 140713697703920 140714784619138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0

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

[pid=3603/tid=3617] ppid=3600 vsize=14090948 memory=318948 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3617/stat : 3617 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026529 14429130752 79888 33554432000 4194304 4196468 140731874473760 140713690336352 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3618] ppid=3600 vsize=14090948 memory=3708 CPUtime=0.06 cores=1,3,5,7
/proc/3603/task/3618/stat : 3618 (java) S 3600 3603 1824 0 -1 1077944384 636 0 0 0 2 4 0 0 20 0 15 0 273026529 14429130752 79888 33554432000 4194304 4196468 140731874473760 140713689282864 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
Current children cumulated CPU time: 186.64 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 319552 KiB

[startup+182.401 s]
/proc/loadavg: 1.11 1.42 1.52 3/220 3622
/proc/meminfo: memFree=22675660/32770624 swapFree=67108852/67108860
[pid=3603] ppid=3600 vsize=14090948 memory=318524 CPUtime=188.25 cores=1,3,5,7
/proc/3603/stat : 3603 (java) S 3600 3603 1824 0 -1 1077944320 60339 0 0 0 18780 45 0 0 20 0 15 0 273026523 14429130752 79631 33554432000 4194304 4196468 140731874473760 140731874456304 140714784607991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
/proc/3603/statm: 3522737 79631 3581 1 0 3484809 0
[pid=3603/tid=3605] ppid=3600 vsize=14090948 memory=1616 CPUtime=181.79 cores=1,3,5,7
/proc/3603/task/3605/stat : 3605 (java) R 3600 3603 1824 0 -1 4202560 24951 0 0 0 18167 12 0 0 20 0 15 0 273026523 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714788846256 140714429176464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3606] ppid=3600 vsize=14090948 memory=11584 CPUtime=0.32 cores=1,3,5,7
/proc/3603/task/3606/stat : 3606 (java) S 3600 3603 1824 0 -1 1077944384 1839 0 0 0 27 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714741160720 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3607] ppid=3600 vsize=14090948 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3607/stat : 3607 (java) S 3600 3603 1824 0 -1 1077944384 4457 0 0 0 28 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714740108176 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3608] ppid=3600 vsize=14090948 memory=21176 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3608/stat : 3608 (java) S 3600 3603 1824 0 -1 1077944384 2524 0 0 0 27 6 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714378193936 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3609] ppid=3600 vsize=14090948 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/3603/task/3609/stat : 3609 (java) S 3600 3603 1824 0 -1 1077944384 1445 0 0 0 27 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714377141392 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3610] ppid=3600 vsize=14090948 memory=3840 CPUtime=0.18 cores=1,3,5,7
/proc/3603/task/3610/stat : 3610 (java) S 3600 3603 1824 0 -1 1077944384 1774 0 0 0 16 2 0 0 20 0 15 0 273026525 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713697703920 140714784619138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3611] ppid=3600 vsize=14090948 memory=1280 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3611/stat : 3611 (java) S 3600 3603 1824 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 273026526 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713696650208 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3612] ppid=3600 vsize=14090948 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3612/stat : 3612 (java) S 3600 3603 1824 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 273026526 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713695597568 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3613] ppid=3600 vsize=14090948 memory=876 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3613/stat : 3613 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713694546128 140714784626587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3614] ppid=3600 vsize=14090948 memory=8112282956445269571 CPUtime=1.98 cores=1,3,5,7
/proc/3603/task/3614/stat : 3614 (java) S 3600 3603 1824 0 -1 1077944384 6901 0 0 0 197 1 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713693493744 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3615] ppid=3600 vsize=14090948 memory=1616 CPUtime=1.93 cores=1,3,5,7
/proc/3603/task/3615/stat : 3615 (java) S 3600 3603 1824 0 -1 1077944384 8152 0 0 0 191 2 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713692441200 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3616] ppid=3600 vsize=14090948 memory=11584 CPUtime=0.9 cores=1,3,5,7
/proc/3603/task/3616/stat : 3616 (java) S 3600 3603 1824 0 -1 1077944384 6230 0 0 0 89 1 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713691388656 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3617] ppid=3600 vsize=14090948 memory=4960 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3617/stat : 3617 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026529 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713690336352 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3618] ppid=3600 vsize=14090948 memory=6724 CPUtime=0.06 cores=1,3,5,7
/proc/3603/task/3618/stat : 3618 (java) S 3600 3603 1824 0 -1 1077944384 636 0 0 0 2 4 0 0 20 0 15 0 273026529 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713689282864 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
Current children cumulated CPU time: 188.25 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 318524 KiB

[startup+182.801 s]
/proc/loadavg: 1.11 1.42 1.52 3/220 3622
/proc/meminfo: memFree=22675660/32770624 swapFree=67108852/67108860
[pid=3603] ppid=3600 vsize=14090948 memory=318524 CPUtime=188.65 cores=1,3,5,7
/proc/3603/stat : 3603 (java) S 3600 3603 1824 0 -1 1077944320 60340 0 0 0 18820 45 0 0 20 0 15 0 273026523 14429130752 79631 33554432000 4194304 4196468 140731874473760 140731874456304 140714784607991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
/proc/3603/statm: 3522737 79631 3581 1 0 3484809 0
[pid=3603/tid=3605] ppid=3600 vsize=14090948 memory=3708 CPUtime=182.19 cores=1,3,5,7
/proc/3603/task/3605/stat : 3605 (java) R 3600 3603 1824 0 -1 4202560 24952 0 0 0 18207 12 0 0 20 0 15 0 273026523 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714788845856 140714429175958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3606] ppid=3600 vsize=14090948 memory=8112282956445269571 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3606/stat : 3606 (java) S 3600 3603 1824 0 -1 1077944384 1839 0 0 0 28 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714741160720 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3607] ppid=3600 vsize=14090948 memory=3340 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3607/stat : 3607 (java) S 3600 3603 1824 0 -1 1077944384 4457 0 0 0 28 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714740108176 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3608] ppid=3600 vsize=14090948 memory=1172 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3608/stat : 3608 (java) S 3600 3603 1824 0 -1 1077944384 2524 0 0 0 27 6 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714378193936 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3609] ppid=3600 vsize=14090948 memory=3748 CPUtime=0.32 cores=1,3,5,7
/proc/3603/task/3609/stat : 3609 (java) S 3600 3603 1824 0 -1 1077944384 1445 0 0 0 27 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714377141392 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3610] ppid=3600 vsize=14090948 memory=1624 CPUtime=0.18 cores=1,3,5,7
/proc/3603/task/3610/stat : 3610 (java) S 3600 3603 1824 0 -1 1077944384 1774 0 0 0 16 2 0 0 20 0 15 0 273026525 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713697703920 140714784619138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3611] ppid=3600 vsize=14090948 memory=496 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3611/stat : 3611 (java) S 3600 3603 1824 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 273026526 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713696650208 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3612] ppid=3600 vsize=14090948 memory=928 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3612/stat : 3612 (java) S 3600 3603 1824 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 273026526 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713695597568 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3613] ppid=3600 vsize=14090948 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3613/stat : 3613 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713694546128 140714784626587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3614] ppid=3600 vsize=14090948 memory=1796 CPUtime=1.98 cores=1,3,5,7
/proc/3603/task/3614/stat : 3614 (java) S 3600 3603 1824 0 -1 1077944384 6901 0 0 0 197 1 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713693493744 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3615] ppid=3600 vsize=14090948 memory=916 CPUtime=1.93 cores=1,3,5,7
/proc/3603/task/3615/stat : 3615 (java) S 3600 3603 1824 0 -1 1077944384 8152 0 0 0 191 2 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713692441200 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3616] ppid=3600 vsize=14090948 memory=3844 CPUtime=0.9 cores=1,3,5,7
/proc/3603/task/3616/stat : 3616 (java) S 3600 3603 1824 0 -1 1077944384 6230 0 0 0 89 1 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713691388656 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3617] ppid=3600 vsize=14090948 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3617/stat : 3617 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026529 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713690336352 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3618] ppid=3600 vsize=14090948 memory=2696 CPUtime=0.06 cores=1,3,5,7
/proc/3603/task/3618/stat : 3618 (java) S 3600 3603 1824 0 -1 1077944384 636 0 0 0 2 4 0 0 20 0 15 0 273026529 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713689282864 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
Current children cumulated CPU time: 188.65 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 318524 KiB

[startup+183.201 s]
/proc/loadavg: 1.11 1.42 1.52 3/220 3622
/proc/meminfo: memFree=22675900/32770624 swapFree=67108852/67108860
[pid=3603] ppid=3600 vsize=14090948 memory=318524 CPUtime=189.05 cores=1,3,5,7
/proc/3603/stat : 3603 (java) S 3600 3603 1824 0 -1 1077944320 60344 0 0 0 18860 45 0 0 20 0 15 0 273026523 14429130752 79631 33554432000 4194304 4196468 140731874473760 140731874456304 140714784607991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
/proc/3603/statm: 3522737 79631 3581 1 0 3484809 0
[pid=3603/tid=3605] ppid=3600 vsize=14090948 memory=8112282956445269571 CPUtime=182.58 cores=1,3,5,7
/proc/3603/task/3605/stat : 3605 (java) R 3600 3603 1824 0 -1 4202560 24954 0 0 0 18246 12 0 0 20 0 15 0 273026523 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714788846256 140714430090857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3606] ppid=3600 vsize=14090948 memory=1120 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3606/stat : 3606 (java) S 3600 3603 1824 0 -1 1077944384 1839 0 0 0 28 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714741160720 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3607] ppid=3600 vsize=14090948 memory=6444 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3607/stat : 3607 (java) S 3600 3603 1824 0 -1 1077944384 4457 0 0 0 28 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714740108176 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3608] ppid=3600 vsize=14090948 memory=14892 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3608/stat : 3608 (java) S 3600 3603 1824 0 -1 1077944384 2526 0 0 0 27 6 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714378193936 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3609] ppid=3600 vsize=14090948 memory=8112282956445269571 CPUtime=0.32 cores=1,3,5,7
/proc/3603/task/3609/stat : 3609 (java) S 3600 3603 1824 0 -1 1077944384 1445 0 0 0 27 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714377141392 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3610] ppid=3600 vsize=14090948 memory=1100 CPUtime=0.18 cores=1,3,5,7
/proc/3603/task/3610/stat : 3610 (java) S 3600 3603 1824 0 -1 1077944384 1774 0 0 0 16 2 0 0 20 0 15 0 273026525 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713697703920 140714784619138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3611] ppid=3600 vsize=14090948 memory=2056 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3611/stat : 3611 (java) S 3600 3603 1824 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 273026526 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713696650208 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3612] ppid=3600 vsize=14090948 memory=1780 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3612/stat : 3612 (java) S 3600 3603 1824 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 273026526 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713695597568 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3613] ppid=3600 vsize=14090948 memory=752 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3613/stat : 3613 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713694546128 140714784626587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3614] ppid=3600 vsize=14090948 memory=318524 CPUtime=1.98 cores=1,3,5,7
/proc/3603/task/3614/stat : 3614 (java) S 3600 3603 1824 0 -1 1077944384 6901 0 0 0 197 1 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713693493744 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3615] ppid=3600 vsize=14090948 memory=842252 CPUtime=1.93 cores=1,3,5,7
/proc/3603/task/3615/stat : 3615 (java) S 3600 3603 1824 0 -1 1077944384 8152 0 0 0 191 2 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713692441200 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3616] ppid=3600 vsize=14090948 memory=1408 CPUtime=0.9 cores=1,3,5,7
/proc/3603/task/3616/stat : 3616 (java) S 3600 3603 1824 0 -1 1077944384 6230 0 0 0 89 1 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713691388656 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3617] ppid=3600 vsize=14090948 memory=3040 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3617/stat : 3617 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026529 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713690336352 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3618] ppid=3600 vsize=14090948 memory=318016 CPUtime=0.06 cores=1,3,5,7
/proc/3603/task/3618/stat : 3618 (java) S 3600 3603 1824 0 -1 1077944384 636 0 0 0 2 4 0 0 20 0 15 0 273026529 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713689282864 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
Current children cumulated CPU time: 189.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 318524 KiB

[startup+183.301 s]
/proc/loadavg: 1.11 1.42 1.52 3/220 3622
/proc/meminfo: memFree=22675900/32770624 swapFree=67108852/67108860
[pid=3603] ppid=3600 vsize=14090948 memory=318524 CPUtime=189.15 cores=1,3,5,7
/proc/3603/stat : 3603 (java) S 3600 3603 1824 0 -1 1077944320 60344 0 0 0 18870 45 0 0 20 0 15 0 273026523 14429130752 79631 33554432000 4194304 4196468 140731874473760 140731874456304 140714784607991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
/proc/3603/statm: 3522737 79631 3581 1 0 3484809 0
[pid=3603/tid=3605] ppid=3600 vsize=14090948 memory=318524 CPUtime=182.68 cores=1,3,5,7
/proc/3603/task/3605/stat : 3605 (java) R 3600 3603 1824 0 -1 4202560 24954 0 0 0 18256 12 0 0 20 0 15 0 273026523 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714788846256 140714430090961 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3606] ppid=3600 vsize=14090948 memory=319552 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3606/stat : 3606 (java) S 3600 3603 1824 0 -1 1077944384 1839 0 0 0 28 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714741160720 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3607] ppid=3600 vsize=14090948 memory=319036 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3607/stat : 3607 (java) S 3600 3603 1824 0 -1 1077944384 4457 0 0 0 28 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714740108176 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3608] ppid=3600 vsize=14090948 memory=320064 CPUtime=0.33 cores=1,3,5,7
/proc/3603/task/3608/stat : 3608 (java) S 3600 3603 1824 0 -1 1077944384 2526 0 0 0 27 6 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714378193936 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3609] ppid=3600 vsize=14090948 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/3603/task/3609/stat : 3609 (java) S 3600 3603 1824 0 -1 1077944384 1445 0 0 0 27 5 0 0 20 0 15 0 273026524 14429130752 79631 33554432000 4194304 4196468 140731874473760 140714377141392 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3610] ppid=3600 vsize=14090948 memory=318016 CPUtime=0.18 cores=1,3,5,7
/proc/3603/task/3610/stat : 3610 (java) S 3600 3603 1824 0 -1 1077944384 1774 0 0 0 16 2 0 0 20 0 15 0 273026525 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713697703920 140714784619138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3611] ppid=3600 vsize=14090948 memory=319552 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3611/stat : 3611 (java) S 3600 3603 1824 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 273026526 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713696650208 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3612] ppid=3600 vsize=14090948 memory=318524 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3612/stat : 3612 (java) S 3600 3603 1824 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 273026526 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713695597568 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3613] ppid=3600 vsize=14090948 memory=320064 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3613/stat : 3613 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713694546128 140714784626587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3614] ppid=3600 vsize=14090948 memory=55 CPUtime=1.98 cores=1,3,5,7
/proc/3603/task/3614/stat : 3614 (java) S 3600 3603 1824 0 -1 1077944384 6901 0 0 0 197 1 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713693493744 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3615] ppid=3600 vsize=14090948 memory=318524 CPUtime=1.93 cores=1,3,5,7
/proc/3603/task/3615/stat : 3615 (java) S 3600 3603 1824 0 -1 1077944384 8152 0 0 0 191 2 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713692441200 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3616] ppid=3600 vsize=14090948 memory=2056 CPUtime=0.9 cores=1,3,5,7
/proc/3603/task/3616/stat : 3616 (java) S 3600 3603 1824 0 -1 1077944384 6230 0 0 0 89 1 0 0 20 0 15 0 273026528 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713691388656 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3617] ppid=3600 vsize=14090948 memory=318016 CPUtime=0 cores=1,3,5,7
/proc/3603/task/3617/stat : 3617 (java) S 3600 3603 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273026529 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713690336352 140714784618197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
[pid=3603/tid=3618] ppid=3600 vsize=14090948 memory=318016 CPUtime=0.06 cores=1,3,5,7
/proc/3603/task/3618/stat : 3618 (java) S 3600 3603 1824 0 -1 1077944384 636 0 0 0 2 4 0 0 20 0 15 0 273026529 14429130752 79631 33554432000 4194304 4196468 140731874473760 140713689282864 140714784619138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11837440 140731874481224 140731874481417 140731874481417 140731874484175 0
Current children cumulated CPU time: 189.15 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 318524 KiB

Child status: 0
Real time (s): 183.364
CPU time (s): 189.237
CPU user time (s): 188.774
CPU system time (s): 0.463652
CPU usage (%): 103.203
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 646920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.774
system time used= 0.463652
maximum resident set size= 657632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10707
involuntary context switches= 245


# summary of solver processes directly reported to runsolver:
#   pid: 3603
#   total CPU time (s): 189.237
#   total CPU user time (s): 188.774
#   total CPU system time (s): 0.463652

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04352 second user time and 1.8664 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 4311992

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data