2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT	25.8842	12.2515

0.99/0.74	c Concrete v3.9.2.1532736233296 running
25.82/12.21	v <instantiation>
25.82/12.21	v       <list>
25.82/12.21	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]
25.82/12.21	v       </list>
25.82/12.21	v       <values>
25.82/12.21	v         0 7 15 23 28 31 38 1 19 32 12 41 10 26 2 14 8 30 20 39 25 3 36 34 6 22 27 13 4 40 33 16 18 29 9 5 18 31 15 11 25 36 6 20 38 13 3 28 33 7 21 40 29 35 2 17 8 16 24 34 4 37 22 9 29 19 32 39 3 16 10 35 22 36 17 5 27 11 23 26 37 34 4 15 12 30 2 18 8 38 28 13 33 25 21 1 6 41 14 31 0 20 40 24 7 15 32 36 28 23 8 5 16 34 10 4 21 26 37 17 22 27 31 2 40 11 18 24 1 39 9 12 35 19 25 6 41 14 0 30 20 41 29 0 16 11 34 21 27 39 3 31 13 8 22 26 30 2 36 7 14 23 28 9 40 5 17 32 24 6 35 38 15 19 4 25 12 18 33 37 1 10 26 39 5 22 10 15 31 27 38 11 1 32 23 12 28 37 7 35 13 20 0 29 4 21 14 33 41 6 30 9 3 17 19 36 24 31 17 23 26 0 9 40 32 13 37 27 6 18 2 33 15 41 5 7 21 29 34 11 4 24 12 22 39 35 10 20 25 38 14 3 36 8 28 19 30 16 1 37 0 12 7 24 30 18 38 1 13 8 25 32 19 39 2 14 9 26 33 20 40 3 16 10 27 34 21 41 5 17 11 29 35 23 0 37 14 20 31 19 28 1 38 18 27 13 25 36 2 39 12 22 17 7 32 3 40 30 21 6 9 35 4 29 34 16 8 11 24 5 41 26 33 23 10 15 6 24 19 3 32 13 29 7 0 28 37 33 22 14 8 36 2 38 12 15 21 9 30 23 39 18 31 4 10 35 16 40 26 1 25 11 34 27 41 5 20 17 12 25 37 1 34 18 27 13 32 38 6 28 21 3 14 2 39 29 19 35 22 15 33 0 5 24 26 11 16 8 40 4 20 36 9 17 31 41 30 10 23 7 18 5 25 12 4 32 37 19 1 9 36 30 24 38 20 6 35 14 2 28 39 21 7 29 13 16 33 40 22 17 10 26 3 34 8 23 11 31 0 15 27 41 24 18 8 34 37 14 30 25 19 13 35 38 5 2 26 22 11 31 39 16 1 27 21 17 32 40 3 10 28 23 36 15 0 6 12 29 9 20 7 41 4 33 30 12 22 2 36 37 19 31 14 5 17 21 0 26 32 15 1 9 27 38 23 33 13 4 25 29 39 6 34 16 3 8 11 40 20 35 10 24 28 7 41 18 36 3 15 10 22 30 5 37 28 32 11 25 8 16 38 27 6 24 35 12 0 39 26 21 18 9 2 34 40 4 7 23 14 17 31 41 20 33 19 1 29 13 0 1 2 3 4 5 6 0 3 5 2 6 1 4 0 2 1 5 3 6 4 0 6 5 1 3 4 2 0 6 5 2 3 4 1 0 3 5 2 1 4 6 1 3 6 2 0 4 5 1 3 6 4 5 0 2 1 2 4 5 0 6 3 1 4 3 5 6 0 2 1 5 3 6 2 0 4 1 3 4 6 5 0 2 2 5 0 3 1 6 4 2 5 4 3 0 1 6 2 5 0 3 6 4 1 2 5 6 4 3 1 0 2 5 1 0 3 4 6 2 3 4 5 0 6 1 3 4 0 6 1 2 5 3 4 1 6 2 0 5 3 6 4 0 2 1 5 3 4 6 0 5 2 1 3 4 5 0 6 1 2 3 4 1 6 0 2 5 4 1 5 6 2 3 0 4 2 3 5 6 0 1 4 6 0 3 1 2 5 4 6 1 0 5 3 2 4 6 1 5 2 3 0 4 0 3 2 5 6 1 5 1 0 2 3 6 4 5 2 3 4 0 1 6 5 2 6 4 1 3 0 5 2 6 0 1 3 4 5 1 0 4 2 3 6 5 1 3 4 6 2 0 6 1 4 3 5 2 0 6 0 2 1 4 5 3 6 0 2 1 4 5 3 6 0 2 1 4 5 3 6 0 2 1 4 5 3 6 0 2 1 4 5 3 0 7 2 4 6 3 5 0 7 3 5 2 4 6 0 7 2 4 3 1 6 0 7 5 4 1 2 6 0 5 6 3 1 2 4 1 7 5 6 4 2 3 1 4 3 0 6 2 5 1 0 5 7 6 4 2 1 6 0 7 2 3 4 2 5 4 7 3 6 0 2 6 3 7 5 0 4 2 6 5 7 1 4 3 2 4 7 0 6 3 5 2 6 7 1 5 4 0 2 0 7 5 3 6 4 3 6 0 1 4 5 2 3 1 7 0 4 6 2 3 6 7 5 2 4 1 3 1 4 2 0 6 7 3 0 2 6 5 4 7 4 1 6 2 0 5 7 4 1 5 2 3 6 7 4 3 2 5 0 6 1 4 2 6 0 3 5 7 4 3 1 6 7 2 5 4 3 2 6 7 1 0 5 4 2 6 7 3 0 5 4 3 6 7 0 2 5 4 6 3 0 1 2 5 2 4 1 7 0 6 5 2 4 0 6 7 3 6 2 1 3 4 0 5 6 3 0 2 5 7 4 6 2 0 4 5 7 1 6 3 0 1 2 7 4 6 2 4 5 1 7 3 6 0 3 2 4 5 1 7 5 6 2 4 1 3 7 5 1 4 6 2 0 7 5 4 3 2 0 6 7 0 1 4 2 3 6 7 4 6 3 0 5 2
25.82/12.21	v       </values>
25.82/12.21	v     </instantiation>
25.82/12.21	s SATISFIABLE

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 (7153 MiB free)
  memory of node 1: 16384 MiB (4697 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305028-1534104876/watcher-4305028-1534104876 -o /tmp/evaluation-result-4305028-1534104876/solver-4305028-1534104876 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534099857-27319 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=365378390 -superng HOME/instance-4305028-1534104876.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=29280, runsolver pid=29277
Current StackSize limit: 8192 KiB


[startup+0.101984 s]*
/proc/loadavg: 1.42 1.51 1.50 2/207 29337
/proc/meminfo: memFree=12127580/32770624 swapFree=67108496/67108860
[pid=29280] ppid=29277 vsize=10005480 memory=16812 CPUtime=0.1 cores=0,2,4,6
/proc/29280/stat : 29280 (java) S 29277 29280 27288 0 -1 1077944320 4342 13145 0 0 2 0 5 3 20 0 6 0 228050793 10245611520 4203 33554432000 4194304 4196468 140723867249168 140723867231712 140149819682551 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
/proc/29280/statm: 2501370 4203 1934 1 0 2489808 0
[pid=29280/tid=29333] ppid=29277 vsize=10005480 memory=4279135703946462605 CPUtime=0.09 cores=0,2,4,6
/proc/29280/task/29333/stat : 29333 (java) R 29277 29280 27288 0 -1 4202560 2149 13145 0 0 1 0 5 3 20 0 6 0 228050802 10245611520 4203 33554432000 4194304 4196468 140723867249168 140149791519312 140149803763038 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29334] ppid=29277 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29334/stat : 29334 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 6 0 228050803 10245611520 4203 33554432000 4194304 4196468 140723867249168 140149823925392 140149819692757 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29335] ppid=29277 vsize=10005480 memory=140699185481344 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29335/stat : 29335 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 6 0 228050803 10245611520 4203 33554432000 4194304 4196468 140723867249168 140149689261072 140149819692757 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29336] ppid=29277 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29336/stat : 29336 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 6 0 228050803 10245611520 4203 33554432000 4194304 4196468 140723867249168 140149688208272 140149819692757 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29337] ppid=29277 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29337/stat : 29337 (java) S 29277 29280 27288 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 6 0 228050803 10245611520 4203 33554432000 4194304 4196468 140723867249168 140149687155472 140149819692757 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.209873 s]*
/proc/loadavg: 1.42 1.51 1.50 3/216 29346
/proc/meminfo: memFree=12107376/32770624 swapFree=67108496/67108860
[pid=29280] ppid=29277 vsize=10982744 memory=42292 CPUtime=0.26 cores=0,2,4,6
/proc/29280/stat : 29280 (java) S 29277 29280 27288 0 -1 1077944320 7249 13145 0 0 17 1 5 3 20 0 15 0 228050793 11246329856 10573 33554432000 4194304 4196468 140723867249168 140723867231712 140149819682551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
/proc/29280/statm: 2745686 10573 2957 1 0 2708109 0
[pid=29280/tid=29333] ppid=29277 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/29280/task/29333/stat : 29333 (java) R 29277 29280 27288 0 -1 4202560 3817 13145 0 0 11 0 5 3 20 0 15 0 228050802 11246329856 10573 33554432000 4194304 4196468 140723867249168 140149791479472 140149801246055 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29334] ppid=29277 vsize=10982744 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29334/stat : 29334 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246329856 10573 33554432000 4194304 4196468 140723867249168 140149823925392 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29335] ppid=29277 vsize=10982744 memory=3979412051339282080 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29335/stat : 29335 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246329856 10573 33554432000 4194304 4196468 140723867249168 140149689261072 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29336] ppid=29277 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29336/stat : 29336 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246329856 10573 33554432000 4194304 4196468 140723867249168 140149688208272 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29337] ppid=29277 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29337/stat : 29337 (java) S 29277 29280 27288 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246329856 10573 33554432000 4194304 4196468 140723867249168 140149687155472 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29338] ppid=29277 vsize=10982744 memory=140699185481344 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29338/stat : 29338 (java) S 29277 29280 27288 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 228050805 11246329856 10573 33554432000 4194304 4196468 140723867249168 140149245368688 140149819693698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29339] ppid=29277 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29339/stat : 29339 (java) S 29277 29280 27288 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 228050805 11246329856 10573 33554432000 4194304 4196468 140723867249168 140148621698080 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29340] ppid=29277 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29340/stat : 29340 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050806 11246329856 10573 33554432000 4194304 4196468 140723867249168 140148473848688 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29341] ppid=29277 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29341/stat : 29341 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050808 11246329856 10573 33554432000 4194304 4196468 140723867249168 140148166448976 140149819701147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29342] ppid=29277 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29280/task/29342/stat : 29342 (java) S 29277 29280 27288 0 -1 1077944384 361 13145 0 0 1 0 5 3 20 0 15 0 228050808 11246329856 10573 33554432000 4194304 4196468 140723867249168 140149244316528 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29343] ppid=29277 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29343/stat : 29343 (java) S 29277 29280 27288 0 -1 1077944384 252 13145 0 0 0 0 5 3 20 0 15 0 228050808 11246329856 10573 33554432000 4194304 4196468 140723867249168 140149243263728 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29344] ppid=29277 vsize=10982744 memory=140699185481344 CPUtime=0.11 cores=0,2,4,6
/proc/29280/task/29344/stat : 29344 (java) S 29277 29280 27288 0 -1 1077944384 596 13145 0 0 3 0 5 3 20 0 15 0 228050808 11246329856 10573 33554432000 4194304 4196468 140723867249168 140149242210928 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29345] ppid=29277 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29345/stat : 29345 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050809 11246329856 10639 33554432000 4194304 4196468 140723867249168 140147735653088 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29346] ppid=29277 vsize=10982744 memory=140699185481344 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29346/stat : 29346 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050809 11246329856 10639 33554432000 4194304 4196468 140723867249168 140149241158320 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42292 KiB

[startup+0.310253 s]*
/proc/loadavg: 1.42 1.51 1.50 3/216 29346
/proc/meminfo: memFree=12094184/32770624 swapFree=67108496/67108860
[pid=29280] ppid=29277 vsize=10983192 memory=56008 CPUtime=0.38 cores=0,2,4,6
/proc/29280/stat : 29280 (java) S 29277 29280 27288 0 -1 1077944320 10573 13145 0 0 29 1 5 3 20 0 15 0 228050793 11246788608 14002 33554432000 4194304 4196468 140723867249168 140723867231712 140149819682551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
/proc/29280/statm: 2745798 14002 3076 1 0 2708109 0
[pid=29280/tid=29333] ppid=29277 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29280/task/29333/stat : 29333 (java) R 29277 29280 27288 0 -1 4202560 7129 13145 0 0 20 1 5 3 20 0 15 0 228050802 11246788608 14002 33554432000 4194304 4196468 140723867249168 140149791494560 140149801246126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29334] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29334/stat : 29334 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246788608 14002 33554432000 4194304 4196468 140723867249168 140149823925392 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29335] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29335/stat : 29335 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246788608 14002 33554432000 4194304 4196468 140723867249168 140149689261072 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29336] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29336/stat : 29336 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246788608 14002 33554432000 4194304 4196468 140723867249168 140149688208272 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29337] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29337/stat : 29337 (java) S 29277 29280 27288 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246788608 14002 33554432000 4194304 4196468 140723867249168 140149687155472 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29338] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29338/stat : 29338 (java) S 29277 29280 27288 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 228050805 11246788608 14002 33554432000 4194304 4196468 140723867249168 140149245368688 140149819693698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29339] ppid=29277 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29339/stat : 29339 (java) S 29277 29280 27288 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 228050805 11246788608 14002 33554432000 4194304 4196468 140723867249168 140148621698080 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29340] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29340/stat : 29340 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050806 11246788608 14002 33554432000 4194304 4196468 140723867249168 140148473848688 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29341] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29341/stat : 29341 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050808 11246788608 14002 33554432000 4194304 4196468 140723867249168 140148166448976 140149819701147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29342] ppid=29277 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29280/task/29342/stat : 29342 (java) S 29277 29280 27288 0 -1 1077944384 361 13145 0 0 1 0 5 3 20 0 15 0 228050808 11246788608 14002 33554432000 4194304 4196468 140723867249168 140149244316528 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29343] ppid=29277 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/29280/task/29343/stat : 29343 (java) S 29277 29280 27288 0 -1 1077944384 255 13145 0 0 1 0 5 3 20 0 15 0 228050808 11246788608 14002 33554432000 4194304 4196468 140723867249168 140149243263728 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29344] ppid=29277 vsize=10983192 memory=140699185481344 CPUtime=0.13 cores=0,2,4,6
/proc/29280/task/29344/stat : 29344 (java) S 29277 29280 27288 0 -1 1077944384 605 13145 0 0 5 0 5 3 20 0 15 0 228050808 11246788608 14002 33554432000 4194304 4196468 140723867249168 140149242210928 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29345] ppid=29277 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29345/stat : 29345 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050809 11246788608 14002 33554432000 4194304 4196468 140723867249168 140147735653088 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29346] ppid=29277 vsize=10983192 memory=140699185481344 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29346/stat : 29346 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050809 11246788608 14002 33554432000 4194304 4196468 140723867249168 140149241158320 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56008 KiB

[startup+0.700805 s]
/proc/loadavg: 1.42 1.51 1.50 3/216 29346
/proc/meminfo: memFree=12083684/32770624 swapFree=67108496/67108860
[pid=29280] ppid=29277 vsize=10983192 memory=88344 CPUtime=0.99 cores=0,2,4,6
/proc/29280/stat : 29280 (java) S 29277 29280 27288 0 -1 1077944320 16748 13145 0 0 88 3 5 3 20 0 15 0 228050793 11246788608 22086 33554432000 4194304 4196468 140723867249168 140723867231712 140149819682551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
/proc/29280/statm: 2745798 22086 3238 1 0 2708109 0
[pid=29280/tid=29333] ppid=29277 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/29280/task/29333/stat : 29333 (java) R 29277 29280 27288 0 -1 4202560 12229 13145 0 0 56 2 5 3 20 0 15 0 228050802 11246788608 22086 33554432000 4194304 4196468 140723867249168 140149791505072 140149819704477 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29334] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29334/stat : 29334 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246788608 22086 33554432000 4194304 4196468 140723867249168 140149823925392 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29335] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29335/stat : 29335 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246788608 22086 33554432000 4194304 4196468 140723867249168 140149689261072 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29336] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29336/stat : 29336 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246788608 22086 33554432000 4194304 4196468 140723867249168 140149688208272 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29337] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29337/stat : 29337 (java) S 29277 29280 27288 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 228050803 11246788608 22086 33554432000 4194304 4196468 140723867249168 140149687155472 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29338] ppid=29277 vsize=10983192 memory=5788922481001195351 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29338/stat : 29338 (java) S 29277 29280 27288 0 -1 1077944384 5 13145 0 0 0 0 5 3 20 0 15 0 228050805 11246788608 22086 33554432000 4194304 4196468 140723867249168 140149245368688 140149819693698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29339] ppid=29277 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29339/stat : 29339 (java) S 29277 29280 27288 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 228050805 11246788608 22086 33554432000 4194304 4196468 140723867249168 140148621698080 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29340] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29340/stat : 29340 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050806 11246788608 22086 33554432000 4194304 4196468 140723867249168 140148473848688 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29341] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29341/stat : 29341 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050808 11246788608 22086 33554432000 4194304 4196468 140723867249168 140148166448976 140149819701147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29342] ppid=29277 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/29280/task/29342/stat : 29342 (java) S 29277 29280 27288 0 -1 1077944384 984 13145 0 0 10 0 5 3 20 0 15 0 228050808 11246788608 22086 33554432000 4194304 4196468 140723867249168 140149244316528 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29343] ppid=29277 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/29280/task/29343/stat : 29343 (java) S 29277 29280 27288 0 -1 1077944384 629 13145 0 0 7 0 5 3 20 0 15 0 228050808 11246788608 22086 33554432000 4194304 4196468 140723867249168 140149243263728 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29344] ppid=29277 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/29280/task/29344/stat : 29344 (java) S 29277 29280 27288 0 -1 1077944384 680 13145 0 0 13 0 5 3 20 0 15 0 228050808 11246788608 22086 33554432000 4194304 4196468 140723867249168 140149242210928 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29345] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29345/stat : 29345 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050809 11246788608 22086 33554432000 4194304 4196468 140723867249168 140147735653088 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29346] ppid=29277 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29346/stat : 29346 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050809 11246788608 22086 33554432000 4194304 4196468 140723867249168 140149241158320 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88344 KiB

[startup+1.50168 s]
/proc/loadavg: 1.42 1.51 1.50 3/216 29346
/proc/meminfo: memFree=12040088/32770624 swapFree=67108496/67108860
[pid=29280] ppid=29277 vsize=10996044 memory=183700 CPUtime=3.13 cores=0,2,4,6
/proc/29280/stat : 29280 (java) S 29277 29280 27288 0 -1 1077944320 27679 13145 0 0 297 8 5 3 20 0 15 0 228050793 11259949056 45925 33554432000 4194304 4196468 140723867249168 140723867231712 140149819682551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
/proc/29280/statm: 2749011 45925 3442 1 0 2710669 0
[pid=29280/tid=29333] ppid=29277 vsize=10996044 memory=4951091520830867572 CPUtime=1.46 cores=0,2,4,6
/proc/29280/task/29333/stat : 29333 (java) R 29277 29280 27288 0 -1 4202560 16638 13145 0 0 133 5 5 3 20 0 15 0 228050802 11259949056 45925 33554432000 4194304 4196468 140723867249168 140149791502792 140149803763038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29334] ppid=29277 vsize=10996044 memory=4134606225630022328 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29334/stat : 29334 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11259949056 45925 33554432000 4194304 4196468 140723867249168 140149823925392 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29335] ppid=29277 vsize=10996044 memory=-5185266903443596906 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29335/stat : 29335 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11259949056 45925 33554432000 4194304 4196468 140723867249168 140149689261072 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29336] ppid=29277 vsize=10996044 memory=-7622553036054173335 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29336/stat : 29336 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050803 11259949056 45925 33554432000 4194304 4196468 140723867249168 140149688208272 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29337] ppid=29277 vsize=10996044 memory=122492 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29337/stat : 29337 (java) S 29277 29280 27288 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 228050803 11259949056 45925 33554432000 4194304 4196468 140723867249168 140149687155472 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29338] ppid=29277 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29338/stat : 29338 (java) S 29277 29280 27288 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 228050805 11259949056 45925 33554432000 4194304 4196468 140723867249168 140149245368688 140149819693698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29339] ppid=29277 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29339/stat : 29339 (java) S 29277 29280 27288 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 228050805 11259949056 45925 33554432000 4194304 4196468 140723867249168 140148621698080 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29340] ppid=29277 vsize=10996044 memory=281398070018336 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29340/stat : 29340 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050806 11259949056 45925 33554432000 4194304 4196468 140723867249168 140148473848688 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29341] ppid=29277 vsize=10996044 memory=281398070433280 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29341/stat : 29341 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050808 11259949056 45925 33554432000 4194304 4196468 140723867249168 140148166448976 140149819701147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29342] ppid=29277 vsize=10996044 memory=140699035018880 CPUtime=0.67 cores=0,2,4,6
/proc/29280/task/29342/stat : 29342 (java) R 29277 29280 27288 0 -1 4202560 3335 13145 0 0 59 0 5 3 20 0 15 0 228050808 11259949056 45925 33554432000 4194304 4196468 140723867249168 140149244302504 140149801226785 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29343] ppid=29277 vsize=10996044 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/29280/task/29343/stat : 29343 (java) R 29277 29280 27288 0 -1 4202560 3311 13145 0 0 56 0 5 3 20 0 15 0 228050808 11259949056 45925 33554432000 4194304 4196468 140723867249168 140149243250272 140149802894212 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29344] ppid=29277 vsize=10996044 memory=1128 CPUtime=0.54 cores=0,2,4,6
/proc/29280/task/29344/stat : 29344 (java) S 29277 29280 27288 0 -1 1077944384 2165 13145 0 0 46 0 5 3 20 0 15 0 228050808 11259949056 45925 33554432000 4194304 4196468 140723867249168 140149242210928 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29345] ppid=29277 vsize=10996044 memory=15188 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29345/stat : 29345 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050809 11259949056 45925 33554432000 4194304 4196468 140723867249168 140147735653088 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29346] ppid=29277 vsize=10996044 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29346/stat : 29346 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050809 11259949056 45925 33554432000 4194304 4196468 140723867249168 140149241158320 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10996044 KiB

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

[pid=29280/tid=29345] ppid=29277 vsize=11080032 memory=288230583166042426 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29345/stat : 29345 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050809 11345952768 188907 33554432000 4194304 4196468 140723867249168 140147735653088 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29346] ppid=29277 vsize=11080032 memory=16097078719811842 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29346/stat : 29346 (java) S 29277 29280 27288 0 -1 1077944384 12 13145 0 0 0 0 5 3 20 0 15 0 228050809 11345952768 188907 33554432000 4194304 4196468 140723867249168 140149241158320 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
Current children cumulated CPU time: 22.24 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 755628 KiB

[startup+11.3007 s]
/proc/loadavg: 1.81 1.59 1.53 3/216 29346
/proc/meminfo: memFree=11396048/32770624 swapFree=67108496/67108860
[pid=29280] ppid=29277 vsize=11080032 memory=751688 CPUtime=24.24 cores=0,2,4,6
/proc/29280/stat : 29280 (java) S 29277 29280 27288 0 -1 1077944320 74731 13145 0 0 2364 52 5 3 20 0 15 0 228050793 11345952768 187922 33554432000 4194304 4196468 140723867249168 140723867231712 140149819682551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
/proc/29280/statm: 2770008 187922 3531 1 0 2731661 0
[pid=29280/tid=29333] ppid=29277 vsize=11080032 memory=6005094254251765865 CPUtime=10.88 cores=0,2,4,6
/proc/29280/task/29333/stat : 29333 (java) R 29277 29280 27288 0 -1 4202560 42455 13145 0 0 1065 15 5 3 20 0 15 0 228050802 11345952768 187922 33554432000 4194304 4196468 140723867249168 140149791514832 140149386160319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29334] ppid=29277 vsize=11080032 memory=6791534058613427641 CPUtime=0.32 cores=0,2,4,6
/proc/29280/task/29334/stat : 29334 (java) S 29277 29280 27288 0 -1 1077944384 414 13145 0 0 18 6 5 3 20 0 15 0 228050803 11345952768 187922 33554432000 4194304 4196468 140723867249168 140149823925392 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29335] ppid=29277 vsize=11080032 memory=4629771062077588875 CPUtime=0.3 cores=0,2,4,6
/proc/29280/task/29335/stat : 29335 (java) S 29277 29280 27288 0 -1 1077944384 137 13145 0 0 17 5 5 3 20 0 15 0 228050803 11345952768 187922 33554432000 4194304 4196468 140723867249168 140149689261072 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29336] ppid=29277 vsize=11080032 memory=-8961168018402230209 CPUtime=0.32 cores=0,2,4,6
/proc/29280/task/29336/stat : 29336 (java) S 29277 29280 27288 0 -1 1077944384 156 13145 0 0 18 6 5 3 20 0 15 0 228050803 11345952768 187922 33554432000 4194304 4196468 140723867249168 140149688208272 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29337] ppid=29277 vsize=11080032 memory=6944652177228980320 CPUtime=0.31 cores=0,2,4,6
/proc/29280/task/29337/stat : 29337 (java) S 29277 29280 27288 0 -1 1077944384 346 13145 0 0 17 6 5 3 20 0 15 0 228050803 11345952768 187922 33554432000 4194304 4196468 140723867249168 140149687155472 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29338] ppid=29277 vsize=11080032 memory=6656426216303648864 CPUtime=0.13 cores=0,2,4,6
/proc/29280/task/29338/stat : 29338 (java) S 29277 29280 27288 0 -1 1077944384 3963 13145 0 0 5 0 5 3 20 0 15 0 228050805 11345952768 187922 33554432000 4194304 4196468 140723867249168 140149245368688 140149819693698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29339] ppid=29277 vsize=11080032 memory=3472328296227682913 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29339/stat : 29339 (java) S 29277 29280 27288 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 228050805 11345952768 187922 33554432000 4194304 4196468 140723867249168 140148621698144 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29340] ppid=29277 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29340/stat : 29340 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050806 11345952768 187922 33554432000 4194304 4196468 140723867249168 140148473848704 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29341] ppid=29277 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29341/stat : 29341 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050808 11345952768 187922 33554432000 4194304 4196468 140723867249168 140148166448976 140149819701147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29342] ppid=29277 vsize=11080032 memory=0 CPUtime=4.92 cores=0,2,4,6
/proc/29280/task/29342/stat : 29342 (java) R 29277 29280 27288 0 -1 4202560 6226 13145 0 0 482 2 5 3 20 0 15 0 228050808 11345952768 187922 33554432000 4194304 4196468 140723867249168 140149244316528 140149803158108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29343] ppid=29277 vsize=11080032 memory=0 CPUtime=5.05 cores=0,2,4,6
/proc/29280/task/29343/stat : 29343 (java) S 29277 29280 27288 0 -1 1077944384 8907 13145 0 0 494 3 5 3 20 0 15 0 228050808 11345952768 187922 33554432000 4194304 4196468 140723867249168 140149243263728 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29344] ppid=29277 vsize=11080032 memory=0 CPUtime=2.53 cores=0,2,4,6
/proc/29280/task/29344/stat : 29344 (java) S 29277 29280 27288 0 -1 1077944384 9900 13145 0 0 242 3 5 3 20 0 15 0 228050808 11345952768 187922 33554432000 4194304 4196468 140723867249168 140149242210928 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29345] ppid=29277 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29345/stat : 29345 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050809 11345952768 187922 33554432000 4194304 4196468 140723867249168 140147735653088 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29346] ppid=29277 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29346/stat : 29346 (java) S 29277 29280 27288 0 -1 1077944384 12 13145 0 0 0 0 5 3 20 0 15 0 228050809 11345952768 187922 33554432000 4194304 4196468 140723867249168 140149241158320 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
Current children cumulated CPU time: 24.24 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 751688 KiB

[startup+11.7007 s]
/proc/loadavg: 1.81 1.59 1.53 3/216 29346
/proc/meminfo: memFree=11396048/32770624 swapFree=67108496/67108860
[pid=29280] ppid=29277 vsize=11080032 memory=812876 CPUtime=25.21 cores=0,2,4,6
/proc/29280/stat : 29280 (java) S 29277 29280 27288 0 -1 1077944320 76819 13145 0 0 2454 59 5 3 20 0 15 0 228050793 11345952768 203219 33554432000 4194304 4196468 140723867249168 140723867231712 140149819682551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
/proc/29280/statm: 2770008 203219 3532 1 0 2731661 0
[pid=29280/tid=29333] ppid=29277 vsize=11080032 memory=1128 CPUtime=11.24 cores=0,2,4,6
/proc/29280/task/29333/stat : 29333 (java) R 29277 29280 27288 0 -1 4202560 42479 13145 0 0 1101 15 5 3 20 0 15 0 228050802 11345952768 203219 33554432000 4194304 4196468 140723867249168 140149791515392 140149386161644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29334] ppid=29277 vsize=11080032 memory=15188 CPUtime=0.36 cores=0,2,4,6
/proc/29280/task/29334/stat : 29334 (java) S 29277 29280 27288 0 -1 1077944384 436 13145 0 0 20 8 5 3 20 0 15 0 228050803 11345952768 203219 33554432000 4194304 4196468 140723867249168 140149823925392 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29335] ppid=29277 vsize=11080032 memory=4000 CPUtime=0.34 cores=0,2,4,6
/proc/29280/task/29335/stat : 29335 (java) S 29277 29280 27288 0 -1 1077944384 160 13145 0 0 20 6 5 3 20 0 15 0 228050803 11345952768 203219 33554432000 4194304 4196468 140723867249168 140149689261072 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29336] ppid=29277 vsize=11080032 memory=14204 CPUtime=0.36 cores=0,2,4,6
/proc/29280/task/29336/stat : 29336 (java) S 29277 29280 27288 0 -1 1077944384 182 13145 0 0 20 8 5 3 20 0 15 0 228050803 11345952768 203219 33554432000 4194304 4196468 140723867249168 140149688208272 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29337] ppid=29277 vsize=11080032 memory=34664 CPUtime=0.36 cores=0,2,4,6
/proc/29280/task/29337/stat : 29337 (java) S 29277 29280 27288 0 -1 1077944384 370 13145 0 0 20 8 5 3 20 0 15 0 228050803 11345952768 203219 33554432000 4194304 4196468 140723867249168 140149687155472 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29338] ppid=29277 vsize=11080032 memory=1180 CPUtime=0.13 cores=0,2,4,6
/proc/29280/task/29338/stat : 29338 (java) S 29277 29280 27288 0 -1 1077944384 3963 13145 0 0 5 0 5 3 20 0 15 0 228050805 11345952768 203219 33554432000 4194304 4196468 140723867249168 140149245368688 140149819693698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29339] ppid=29277 vsize=11080032 memory=504 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29339/stat : 29339 (java) S 29277 29280 27288 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 228050805 11345952768 203219 33554432000 4194304 4196468 140723867249168 140148621698144 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29340] ppid=29277 vsize=11080032 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29340/stat : 29340 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050806 11345952768 203219 33554432000 4194304 4196468 140723867249168 140148473848704 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29341] ppid=29277 vsize=11080032 memory=6296139276938465376 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29341/stat : 29341 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050808 11345952768 203219 33554432000 4194304 4196468 140723867249168 140148166448976 140149819701147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29342] ppid=29277 vsize=11080032 memory=6081669754067251557 CPUtime=5.03 cores=0,2,4,6
/proc/29280/task/29342/stat : 29342 (java) S 29277 29280 27288 0 -1 1077944384 7763 13145 0 0 493 2 5 3 20 0 15 0 228050808 11345952768 203219 33554432000 4194304 4196468 140723867249168 140149244316528 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29343] ppid=29277 vsize=11080032 memory=6935653653941407824 CPUtime=5.38 cores=0,2,4,6
/proc/29280/task/29343/stat : 29343 (java) S 29277 29280 27288 0 -1 1077944384 9339 13145 0 0 527 3 5 3 20 0 15 0 228050808 11345952768 203219 33554432000 4194304 4196468 140723867249168 140149243263728 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29344] ppid=29277 vsize=11080032 memory=0 CPUtime=2.53 cores=0,2,4,6
/proc/29280/task/29344/stat : 29344 (java) S 29277 29280 27288 0 -1 1077944384 9900 13145 0 0 242 3 5 3 20 0 15 0 228050808 11345952768 203219 33554432000 4194304 4196468 140723867249168 140149242210928 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29345] ppid=29277 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29345/stat : 29345 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050809 11345952768 203219 33554432000 4194304 4196468 140723867249168 140147735653088 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29346] ppid=29277 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29346/stat : 29346 (java) S 29277 29280 27288 0 -1 1077944384 12 13145 0 0 0 0 5 3 20 0 15 0 228050809 11345952768 203219 33554432000 4194304 4196468 140723867249168 140149241158320 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 812876 KiB

[startup+12.1007 s]*
/proc/loadavg: 1.81 1.59 1.53 5/216 29346
/proc/meminfo: memFree=11334492/32770624 swapFree=67108496/67108860
[pid=29280] ppid=29277 vsize=11080032 memory=813200 CPUtime=25.63 cores=0,2,4,6
/proc/29280/stat : 29280 (java) S 29277 29280 27288 0 -1 1077944320 77519 13145 0 0 2496 59 5 3 20 0 15 0 228050793 11345952768 203300 33554432000 4194304 4196468 140723867249168 140723867231712 140149819682551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
/proc/29280/statm: 2770008 203300 3532 1 0 2731661 0
[pid=29280/tid=29333] ppid=29277 vsize=11080032 memory=6791534058613427641 CPUtime=11.65 cores=0,2,4,6
/proc/29280/task/29333/stat : 29333 (java) R 29277 29280 27288 0 -1 4202560 42633 13145 0 0 1142 15 5 3 20 0 15 0 228050802 11345952768 203300 33554432000 4194304 4196468 140723867249168 140149791516312 140149385500933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29334] ppid=29277 vsize=11080032 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/29280/task/29334/stat : 29334 (java) S 29277 29280 27288 0 -1 1077944384 436 13145 0 0 20 8 5 3 20 0 15 0 228050803 11345952768 203300 33554432000 4194304 4196468 140723867249168 140149823925392 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29335] ppid=29277 vsize=11080032 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/29280/task/29335/stat : 29335 (java) S 29277 29280 27288 0 -1 1077944384 160 13145 0 0 20 6 5 3 20 0 15 0 228050803 11345952768 203300 33554432000 4194304 4196468 140723867249168 140149689261072 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29336] ppid=29277 vsize=11080032 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/29280/task/29336/stat : 29336 (java) S 29277 29280 27288 0 -1 1077944384 182 13145 0 0 20 8 5 3 20 0 15 0 228050803 11345952768 203300 33554432000 4194304 4196468 140723867249168 140149688208272 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29337] ppid=29277 vsize=11080032 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/29280/task/29337/stat : 29337 (java) S 29277 29280 27288 0 -1 1077944384 370 13145 0 0 20 8 5 3 20 0 15 0 228050803 11345952768 203300 33554432000 4194304 4196468 140723867249168 140149687155472 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29338] ppid=29277 vsize=11080032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29280/task/29338/stat : 29338 (java) S 29277 29280 27288 0 -1 1077944384 3963 13145 0 0 5 0 5 3 20 0 15 0 228050805 11345952768 203300 33554432000 4194304 4196468 140723867249168 140149245368688 140149819693698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29339] ppid=29277 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29339/stat : 29339 (java) S 29277 29280 27288 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 228050805 11345952768 203300 33554432000 4194304 4196468 140723867249168 140148621698144 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29340] ppid=29277 vsize=11080032 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29340/stat : 29340 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050806 11345952768 203300 33554432000 4194304 4196468 140723867249168 140148473848704 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29341] ppid=29277 vsize=11080032 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29341/stat : 29341 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050808 11345952768 203300 33554432000 4194304 4196468 140723867249168 140148166448976 140149819701147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29342] ppid=29277 vsize=11080032 memory=6944656592387989600 CPUtime=5.03 cores=0,2,4,6
/proc/29280/task/29342/stat : 29342 (java) S 29277 29280 27288 0 -1 1077944384 7793 13145 0 0 493 2 5 3 20 0 15 0 228050808 11345952768 203300 33554432000 4194304 4196468 140723867249168 140149244316528 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29343] ppid=29277 vsize=11080032 memory=-7161732098442470212 CPUtime=5.39 cores=0,2,4,6
/proc/29280/task/29343/stat : 29343 (java) S 29277 29280 27288 0 -1 1077944384 9644 13145 0 0 528 3 5 3 20 0 15 0 228050808 11345952768 203300 33554432000 4194304 4196468 140723867249168 140149243263728 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29344] ppid=29277 vsize=11080032 memory=7733349412572982358 CPUtime=2.53 cores=0,2,4,6
/proc/29280/task/29344/stat : 29344 (java) S 29277 29280 27288 0 -1 1077944384 10111 13145 0 0 242 3 5 3 20 0 15 0 228050808 11345952768 203300 33554432000 4194304 4196468 140723867249168 140149242210928 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29345] ppid=29277 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29345/stat : 29345 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050809 11345952768 203300 33554432000 4194304 4196468 140723867249168 140147735653088 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29346] ppid=29277 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29346/stat : 29346 (java) S 29277 29280 27288 0 -1 1077944384 12 13145 0 0 0 0 5 3 20 0 15 0 228050809 11345952768 203300 33554432000 4194304 4196468 140723867249168 140149241158320 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
Current children cumulated CPU time: 25.63 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 813200 KiB

[startup+12.2101 s]
/proc/loadavg: 1.81 1.59 1.53 5/216 29346
/proc/meminfo: memFree=11334492/32770624 swapFree=67108496/67108860
[pid=29280] ppid=29277 vsize=11080032 memory=813572 CPUtime=25.82 cores=0,2,4,6
/proc/29280/stat : 29280 (java) S 29277 29280 27288 0 -1 1077944320 79748 13145 0 0 2515 59 5 3 20 0 15 0 228050793 11345952768 203393 33554432000 4194304 4196468 140723867249168 140723867231712 140149819682551 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
/proc/29280/statm: 2770008 203393 3532 1 0 2731661 0
[pid=29280/tid=29333] ppid=29277 vsize=11080032 memory=8 CPUtime=11.75 cores=0,2,4,6
/proc/29280/task/29333/stat : 29333 (java) R 29277 29280 27288 0 -1 4202560 43761 13145 0 0 1151 16 5 3 20 0 15 0 228050802 11345952768 203393 33554432000 4194304 4196468 140723867249168 140149791506944 140149363366948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29334] ppid=29277 vsize=11080032 memory=8 CPUtime=0.36 cores=0,2,4,6
/proc/29280/task/29334/stat : 29334 (java) S 29277 29280 27288 0 -1 1077944384 436 13145 0 0 20 8 5 3 20 0 15 0 228050803 11345952768 203393 33554432000 4194304 4196468 140723867249168 140149823925392 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29335] ppid=29277 vsize=11080032 memory=336416 CPUtime=0.34 cores=0,2,4,6
/proc/29280/task/29335/stat : 29335 (java) S 29277 29280 27288 0 -1 1077944384 160 13145 0 0 20 6 5 3 20 0 15 0 228050803 11345952768 203393 33554432000 4194304 4196468 140723867249168 140149689261072 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29336] ppid=29277 vsize=11080032 memory=9168 CPUtime=0.36 cores=0,2,4,6
/proc/29280/task/29336/stat : 29336 (java) S 29277 29280 27288 0 -1 1077944384 182 13145 0 0 20 8 5 3 20 0 15 0 228050803 11345952768 203393 33554432000 4194304 4196468 140723867249168 140149688208272 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29337] ppid=29277 vsize=11080032 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/29280/task/29337/stat : 29337 (java) S 29277 29280 27288 0 -1 1077944384 370 13145 0 0 20 8 5 3 20 0 15 0 228050803 11345952768 203393 33554432000 4194304 4196468 140723867249168 140149687155472 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29338] ppid=29277 vsize=11080032 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/29280/task/29338/stat : 29338 (java) S 29277 29280 27288 0 -1 1077944384 3975 13145 0 0 6 0 5 3 20 0 15 0 228050805 11345952768 203393 33554432000 4194304 4196468 140723867249168 140149245368688 140149819693698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29339] ppid=29277 vsize=11080032 memory=339400 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29339/stat : 29339 (java) S 29277 29280 27288 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 228050805 11345952768 203393 33554432000 4194304 4196468 140723867249168 140148621698144 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29340] ppid=29277 vsize=11080032 memory=281398070202312 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29340/stat : 29340 (java) S 29277 29280 27288 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 228050806 11345952768 203393 33554432000 4194304 4196468 140723867249168 140148473848704 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29341] ppid=29277 vsize=11080032 memory=755628 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29341/stat : 29341 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050808 11345952768 203393 33554432000 4194304 4196468 140723867249168 140148166448976 140149819701147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29342] ppid=29277 vsize=11080032 memory=755628 CPUtime=5.07 cores=0,2,4,6
/proc/29280/task/29342/stat : 29342 (java) R 29277 29280 27288 0 -1 1077944384 8289 13145 0 0 497 2 5 3 20 0 15 0 228050808 11345952768 203393 33554432000 4194304 4196468 140723867249168 140149244307856 140149819692757 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29343] ppid=29277 vsize=11080032 memory=7669746066184759400 CPUtime=5.42 cores=0,2,4,6
/proc/29280/task/29343/stat : 29343 (java) R 29277 29280 27288 0 -1 4202560 9994 13145 0 0 531 3 5 3 20 0 15 0 228050808 11345952768 203393 33554432000 4194304 4196468 140723867249168 140149243251280 140149803069349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29344] ppid=29277 vsize=11080032 memory=2257 CPUtime=2.56 cores=0,2,4,6
/proc/29280/task/29344/stat : 29344 (java) S 29277 29280 27288 0 -1 1077944384 10354 13145 0 0 245 3 5 3 20 0 15 0 228050808 11345952768 203393 33554432000 4194304 4196468 140723867249168 140149242210928 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29345] ppid=29277 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29345/stat : 29345 (java) S 29277 29280 27288 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 228050809 11345952768 203393 33554432000 4194304 4196468 140723867249168 140147735653088 140149819692757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
[pid=29280/tid=29346] ppid=29277 vsize=11080032 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/29280/task/29346/stat : 29346 (java) S 29277 29280 27288 0 -1 1077944384 12 13145 0 0 0 0 5 3 20 0 15 0 228050809 11345952768 203393 33554432000 4194304 4196468 140723867249168 140149241158320 140149819693698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37769216 140723867257444 140723867260252 140723867260252 140723867262927 0
Current children cumulated CPU time: 25.82 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 813572 KiB

Child status: 0
Real time (s): 12.2515
CPU time (s): 25.8842
CPU user time (s): 25.2377
CPU system time (s): 0.646409
CPU usage (%): 211.274
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 813572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.2377
system time used= 0.646409
maximum resident set size= 815716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9489
involuntary context switches= 121


# summary of solver processes directly reported to runsolver:
#   pid: 29280
#   total CPU time (s): 25.8842
#   total CPU user time (s): 25.2377
#   total CPU system time (s): 0.646409

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.109426 second user time and 0.147668 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 4305028

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data