2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.9.2	SAT	30.1746	18.6238

0.99/0.75	c Concrete v3.9.2.1532736233296 running
29.93/18.60	v <instantiation>
29.93/18.60	v       <list>
29.93/18.60	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]
29.93/18.60	v       </list>
29.93/18.60	v       <values>
29.93/18.60	v         0 11 17 18 29 35 41 1 12 10 34 27 22 40 2 14 26 19 33 9 38 3 15 30 25 23 8 39 4 20 32 6 36 13 24 5 25 40 35 22 12 11 6 37 23 33 26 14 0 7 36 13 20 34 28 2 8 38 16 31 24 1 21 9 32 15 40 20 2 25 10 30 37 5 16 29 18 11 4 38 21 28 33 17 12 41 0 27 19 34 6 13 23 1 8 35 36 26 14 3 31 22 39 24 7 15 24 9 23 32 0 36 16 1 21 26 31 37 8 17 22 5 28 11 39 35 18 40 7 30 14 4 27 19 34 41 29 10 3 12 20 26 14 2 30 41 9 21 0 34 7 17 40 29 22 16 36 3 6 31 28 23 27 33 11 15 38 1 24 19 8 4 37 32 13 25 35 12 39 18 5 10 26 31 19 38 12 10 5 27 33 11 36 21 16 3 28 39 20 32 7 15 4 29 2 35 41 9 17 22 30 13 18 0 25 6 37 31 21 3 37 8 25 16 32 17 4 9 38 27 20 33 28 22 1 40 7 14 34 29 2 12 41 11 23 35 5 39 10 13 26 19 36 18 6 24 0 30 15 37 6 24 13 1 18 30 38 7 25 14 2 19 31 39 8 27 15 3 20 32 40 9 28 16 4 21 33 41 10 29 17 5 23 34 0 21 12 30 36 15 6 1 16 13 33 37 8 23 2 29 34 20 38 9 7 3 14 31 22 39 19 27 4 11 32 24 40 18 28 5 35 17 10 41 25 26 6 37 36 4 22 30 12 7 38 18 21 28 33 14 8 39 24 13 31 3 16 9 40 15 32 29 2 20 10 41 1 35 19 26 25 11 0 27 23 17 34 5 12 1 25 34 26 5 19 13 30 7 37 35 4 24 14 2 20 38 18 6 33 15 3 9 39 23 28 36 16 22 8 40 10 27 31 17 32 0 41 21 29 11 18 36 30 0 25 37 10 19 24 26 2 12 38 35 20 4 28 7 9 39 32 21 31 16 11 27 40 8 22 17 33 14 5 1 29 23 13 6 15 3 41 34 24 15 37 36 8 14 4 25 5 38 3 30 31 9 26 20 2 16 6 35 13 27 23 39 12 1 32 18 28 33 40 17 11 7 22 29 34 41 19 0 10 21 30 10 3 18 20 36 37 31 26 14 8 16 22 38 32 9 4 28 15 24 39 33 27 23 6 2 11 40 34 19 21 1 7 12 41 35 25 29 5 13 0 17 36 7 22 27 4 13 15 37 6 10 31 24 16 30 38 8 11 26 32 23 2 39 28 35 25 14 17 3 40 18 5 9 33 21 1 41 12 19 29 34 20 0 0 1 2 3 4 5 6 0 2 1 5 4 3 6 0 2 4 3 5 1 6 0 2 5 4 3 1 6 0 3 5 1 6 2 4 0 4 6 5 3 2 1 1 6 3 5 4 2 0 1 6 2 3 5 4 0 1 6 2 5 4 0 3 1 5 2 6 3 0 4 1 5 6 0 2 4 3 1 0 6 3 4 5 2 2 6 0 4 3 5 1 2 3 0 1 5 6 4 2 0 5 3 6 4 1 2 4 1 3 5 0 6 2 0 3 4 5 6 1 2 3 0 4 1 6 5 3 6 1 5 2 0 4 3 5 6 4 1 0 2 3 4 2 0 5 6 1 3 0 5 1 2 6 4 3 2 6 0 1 5 4 3 4 5 1 2 6 0 4 3 1 0 6 5 2 4 5 2 6 3 0 1 4 5 3 6 2 1 0 4 5 1 6 3 2 0 4 6 3 5 1 2 0 4 0 5 6 1 2 3 5 2 3 0 4 1 6 5 3 0 6 1 4 2 5 2 0 1 6 4 3 5 4 3 0 6 1 2 5 4 0 2 6 1 3 5 0 6 1 2 4 3 6 3 1 4 0 5 2 6 1 4 2 0 3 5 6 1 4 2 0 3 5 6 1 4 2 0 3 5 6 1 4 2 0 3 5 6 1 4 2 0 3 5 0 4 2 5 6 3 1 0 3 2 6 7 1 4 0 5 6 4 7 2 1 0 2 6 4 7 3 5 0 2 6 4 7 3 5 1 6 3 2 7 4 5 1 7 6 0 4 5 2 1 7 3 4 5 6 2 1 7 4 2 6 0 3 2 7 3 6 5 0 4 2 7 0 6 3 5 4 2 0 5 4 3 6 1 2 0 4 6 5 1 3 2 5 1 7 6 0 4 2 0 4 7 3 1 6 3 0 2 7 4 5 6 3 4 1 7 2 5 6 3 6 0 7 4 5 2 3 6 5 0 4 7 2 3 4 5 0 2 7 6 4 0 5 1 2 7 6 4 6 3 2 5 7 1 4 3 6 2 1 0 5 4 2 1 3 0 7 6 4 3 7 6 1 2 0 4 1 7 0 5 6 2 5 4 0 3 1 6 2 5 4 7 2 0 6 3 5 6 7 3 2 1 4 5 6 7 3 0 2 4 5 2 0 3 4 6 7 6 5 2 1 3 4 7 6 2 0 5 3 4 7 6 5 4 1 0 2 7 6 3 4 0 1 2 7 6 4 5 1 2 0 3 6 1 4 5 0 2 3 7 1 2 6 4 3 5 7 1 2 5 6 4 0 7 5 6 4 2 3 0 7 3 1 2 6 4 0 7 2 3 5 6 4 0
29.93/18.60	v       </values>
29.93/18.60	v     </instantiation>
29.93/18.60	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 (14508 MiB free)
  memory of node 1: 16384 MiB (12025 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305027-1534104046/watcher-4305027-1534104046 -o /tmp/evaluation-result-4305027-1534104046/solver-4305027-1534104046 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534095354-25287 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=776895814 HOME/instance-4305027-1534104046.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
Current StackSize limit: 8192 KiB

solver pid=28254, runsolver pid=28251

[startup+0.100124 s]*
/proc/loadavg: 1.61 1.33 1.34 3/206 28311
/proc/meminfo: memFree=27165396/32770624 swapFree=67030652/67108860
[pid=28254] ppid=28251 vsize=10005480 memory=16812 CPUtime=0.1 cores=0,2,4,6
/proc/28254/stat : 28254 (java) S 28251 28254 25256 0 -1 1077944320 4366 13008 0 0 1 1 5 3 20 0 6 0 227967814 10245611520 4203 33554432000 4194304 4196468 140721564087776 140721564070320 139674839219959 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
/proc/28254/statm: 2501370 4203 1934 1 0 2489808 0
[pid=28254/tid=28307] ppid=28251 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28307/stat : 28307 (java) R 28251 28254 25256 0 -1 4202560 2176 13008 0 0 0 0 5 3 20 0 6 0 227967823 10245611520 4203 33554432000 4194304 4196468 140721564087776 139674811056720 139674839241885 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28308] ppid=28251 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28308/stat : 28308 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 227967824 10245611520 4203 33554432000 4194304 4196468 140721564087776 139674843462032 139674839230165 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28309] ppid=28251 vsize=10005480 memory=140696334096000 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28309/stat : 28309 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 227967824 10245611520 4203 33554432000 4194304 4196468 140721564087776 139674698180880 139674839230165 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28310] ppid=28251 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28310/stat : 28310 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 227967824 10245611520 4203 33554432000 4194304 4196468 140721564087776 139674697128592 139674839230165 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28311] ppid=28251 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28311/stat : 28311 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 6 0 227967824 10245611520 4203 33554432000 4194304 4196468 140721564087776 139674696075792 139674839230165 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.210008 s]*
/proc/loadavg: 1.61 1.33 1.34 3/215 28320
/proc/meminfo: memFree=27142392/32770624 swapFree=67030652/67108860
[pid=28254] ppid=28251 vsize=10982744 memory=44148 CPUtime=0.26 cores=0,2,4,6
/proc/28254/stat : 28254 (java) S 28251 28254 25256 0 -1 1077944320 7761 13008 0 0 16 2 5 3 20 0 15 0 227967814 11246329856 11037 33554432000 4194304 4196468 140721564087776 140721564070320 139674839219959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
/proc/28254/statm: 2745686 11037 2948 1 0 2708109 0
[pid=28254/tid=28307] ppid=28251 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/28254/task/28307/stat : 28307 (java) R 28251 28254 25256 0 -1 4202560 4356 13008 0 0 10 1 5 3 20 0 15 0 227967823 11246329856 11103 33554432000 4194304 4196468 140721564087776 139674811035216 139674819495708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28308] ppid=28251 vsize=10982744 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28308/stat : 28308 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246329856 11103 33554432000 4194304 4196468 140721564087776 139674843462032 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28309] ppid=28251 vsize=10982744 memory=3977158036766054048 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28309/stat : 28309 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246329856 11103 33554432000 4194304 4196468 140721564087776 139674698180880 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28310] ppid=28251 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28310/stat : 28310 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246329856 11103 33554432000 4194304 4196468 140721564087776 139674697128592 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28311] ppid=28251 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28311/stat : 28311 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246329856 11103 33554432000 4194304 4196468 140721564087776 139674696075792 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28312] ppid=28251 vsize=10982744 memory=140696334096000 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28312/stat : 28312 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967825 11246329856 11103 33554432000 4194304 4196468 140721564087776 139674264889968 139674839231106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28313] ppid=28251 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28313/stat : 28313 (java) S 28251 28254 25256 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 227967825 11246329856 11103 33554432000 4194304 4196468 140721564087776 139673625158944 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28314] ppid=28251 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28314/stat : 28314 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967826 11246329856 11103 33554432000 4194304 4196468 140721564087776 139673477310064 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28315] ppid=28251 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28315/stat : 28315 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967828 11246329856 11103 33554432000 4194304 4196468 140721564087776 139673169910352 139674839238555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28316] ppid=28251 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28254/task/28316/stat : 28316 (java) S 28251 28254 25256 0 -1 1077944384 366 13008 0 0 1 0 5 3 20 0 15 0 227967828 11246329856 11169 33554432000 4194304 4196468 140721564087776 139674263836784 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28317] ppid=28251 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28317/stat : 28317 (java) S 28251 28254 25256 0 -1 1077944384 245 13008 0 0 0 0 5 3 20 0 15 0 227967828 11246329856 11169 33554432000 4194304 4196468 140721564087776 139674262783984 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28318] ppid=28251 vsize=10982744 memory=140696334096000 CPUtime=0.11 cores=0,2,4,6
/proc/28254/task/28318/stat : 28318 (java) S 28251 28254 25256 0 -1 1077944384 610 13008 0 0 3 0 5 3 20 0 15 0 227967828 11246329856 11169 33554432000 4194304 4196468 140721564087776 139674261731696 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28319] ppid=28251 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28319/stat : 28319 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967829 11246329856 11169 33554432000 4194304 4196468 140721564087776 139672739113440 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28320] ppid=28251 vsize=10982744 memory=140696334096000 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28320/stat : 28320 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967829 11246329856 11169 33554432000 4194304 4196468 140721564087776 139674260679600 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44148 KiB

[startup+0.310231 s]*
/proc/loadavg: 1.61 1.33 1.34 3/215 28320
/proc/meminfo: memFree=27130856/32770624 swapFree=67030652/67108860
[pid=28254] ppid=28251 vsize=10983192 memory=55640 CPUtime=0.39 cores=0,2,4,6
/proc/28254/stat : 28254 (java) S 28251 28254 25256 0 -1 1077944320 10468 13008 0 0 28 3 5 3 20 0 15 0 227967814 11246788608 13910 33554432000 4194304 4196468 140721564087776 140721564070320 139674839219959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
/proc/28254/statm: 2745798 13910 3067 1 0 2708109 0
[pid=28254/tid=28307] ppid=28251 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/28254/task/28307/stat : 28307 (java) R 28251 28254 25256 0 -1 4202560 7013 13008 0 0 19 1 5 3 20 0 15 0 227967823 11246788608 13910 33554432000 4194304 4196468 140721564087776 139674811031968 139674819495787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28308] ppid=28251 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28308/stat : 28308 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246788608 13910 33554432000 4194304 4196468 140721564087776 139674843462032 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28309] ppid=28251 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28309/stat : 28309 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246788608 13910 33554432000 4194304 4196468 140721564087776 139674698180880 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28310] ppid=28251 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28310/stat : 28310 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246788608 13910 33554432000 4194304 4196468 140721564087776 139674697128592 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28311] ppid=28251 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28311/stat : 28311 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246788608 13910 33554432000 4194304 4196468 140721564087776 139674696075792 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28312] ppid=28251 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28312/stat : 28312 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967825 11246788608 13910 33554432000 4194304 4196468 140721564087776 139674264889968 139674839231106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28313] ppid=28251 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28313/stat : 28313 (java) S 28251 28254 25256 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 227967825 11246788608 13910 33554432000 4194304 4196468 140721564087776 139673625158944 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28314] ppid=28251 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28314/stat : 28314 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967826 11246788608 13910 33554432000 4194304 4196468 140721564087776 139673477310064 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28315] ppid=28251 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28315/stat : 28315 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967828 11246788608 13910 33554432000 4194304 4196468 140721564087776 139673169910352 139674839238555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28316] ppid=28251 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28254/task/28316/stat : 28316 (java) S 28251 28254 25256 0 -1 1077944384 366 13008 0 0 1 0 5 3 20 0 15 0 227967828 11246788608 13910 33554432000 4194304 4196468 140721564087776 139674263836784 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28317] ppid=28251 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/28254/task/28317/stat : 28317 (java) S 28251 28254 25256 0 -1 1077944384 248 13008 0 0 1 0 5 3 20 0 15 0 227967828 11246788608 13910 33554432000 4194304 4196468 140721564087776 139674262783984 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28318] ppid=28251 vsize=10983192 memory=140696334096000 CPUtime=0.12 cores=0,2,4,6
/proc/28254/task/28318/stat : 28318 (java) S 28251 28254 25256 0 -1 1077944384 620 13008 0 0 4 0 5 3 20 0 15 0 227967828 11246788608 13910 33554432000 4194304 4196468 140721564087776 139674261731696 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28319] ppid=28251 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28319/stat : 28319 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967829 11246788608 13910 33554432000 4194304 4196468 140721564087776 139672739113440 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28320] ppid=28251 vsize=10983192 memory=140696334096000 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28320/stat : 28320 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967829 11246788608 13910 33554432000 4194304 4196468 140721564087776 139674260679600 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55640 KiB

[startup+0.700725 s]
/proc/loadavg: 1.61 1.33 1.34 4/215 28320
/proc/meminfo: memFree=27119568/32770624 swapFree=67030652/67108860
[pid=28254] ppid=28251 vsize=10983192 memory=88268 CPUtime=0.99 cores=0,2,4,6
/proc/28254/stat : 28254 (java) S 28251 28254 25256 0 -1 1077944320 16750 13008 0 0 87 4 5 3 20 0 15 0 227967814 11246788608 22067 33554432000 4194304 4196468 140721564087776 140721564070320 139674839219959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
/proc/28254/statm: 2745798 22067 3238 1 0 2708109 0
[pid=28254/tid=28307] ppid=28251 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/28254/task/28307/stat : 28307 (java) R 28251 28254 25256 0 -1 4202560 12223 13008 0 0 56 3 5 3 20 0 15 0 227967823 11246788608 22067 33554432000 4194304 4196468 140721564087776 139674811033728 139674820773272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28308] ppid=28251 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28308/stat : 28308 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246788608 22067 33554432000 4194304 4196468 140721564087776 139674843462032 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28309] ppid=28251 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28309/stat : 28309 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246788608 22067 33554432000 4194304 4196468 140721564087776 139674698180880 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28310] ppid=28251 vsize=10983192 memory=140696216548112 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28310/stat : 28310 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246788608 22067 33554432000 4194304 4196468 140721564087776 139674697128592 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28311] ppid=28251 vsize=10983192 memory=140698833650249 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28311/stat : 28311 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967824 11246788608 22067 33554432000 4194304 4196468 140721564087776 139674696075792 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28312] ppid=28251 vsize=10983192 memory=752 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28312/stat : 28312 (java) S 28251 28254 25256 0 -1 1077944384 5 13008 0 0 0 0 5 3 20 0 15 0 227967825 11246788608 22067 33554432000 4194304 4196468 140721564087776 139674264889968 139674839231106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28313] ppid=28251 vsize=10983192 memory=7014751519650764113 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28313/stat : 28313 (java) S 28251 28254 25256 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 227967825 11246788608 22067 33554432000 4194304 4196468 140721564087776 139673625158944 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28314] ppid=28251 vsize=10983192 memory=6082220498109819240 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28314/stat : 28314 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967826 11246788608 22067 33554432000 4194304 4196468 140721564087776 139673477310064 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28315] ppid=28251 vsize=10983192 memory=2228 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28315/stat : 28315 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967828 11246788608 22067 33554432000 4194304 4196468 140721564087776 139673169910352 139674839238555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28316] ppid=28251 vsize=10983192 memory=30632 CPUtime=0.15 cores=0,2,4,6
/proc/28254/task/28316/stat : 28316 (java) S 28251 28254 25256 0 -1 1077944384 757 13008 0 0 7 0 5 3 20 0 15 0 227967828 11246788608 22067 33554432000 4194304 4196468 140721564087776 139674263836784 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28317] ppid=28251 vsize=10983192 memory=11904 CPUtime=0.18 cores=0,2,4,6
/proc/28254/task/28317/stat : 28317 (java) S 28251 28254 25256 0 -1 1077944384 837 13008 0 0 10 0 5 3 20 0 15 0 227967828 11246788608 22067 33554432000 4194304 4196468 140721564087776 139674262783984 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28318] ppid=28251 vsize=10983192 memory=492 CPUtime=0.21 cores=0,2,4,6
/proc/28254/task/28318/stat : 28318 (java) S 28251 28254 25256 0 -1 1077944384 708 13008 0 0 13 0 5 3 20 0 15 0 227967828 11246788608 22067 33554432000 4194304 4196468 140721564087776 139674261731696 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28319] ppid=28251 vsize=10983192 memory=1560 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28319/stat : 28319 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967829 11246788608 22067 33554432000 4194304 4196468 140721564087776 139672739113440 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28320] ppid=28251 vsize=10983192 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28320/stat : 28320 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967829 11246788608 22067 33554432000 4194304 4196468 140721564087776 139674260679600 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88268 KiB

[startup+1.50129 s]
/proc/loadavg: 1.61 1.33 1.34 5/215 28320
/proc/meminfo: memFree=27071400/32770624 swapFree=67030652/67108860
[pid=28254] ppid=28251 vsize=10997812 memory=189472 CPUtime=3.09 cores=0,2,4,6
/proc/28254/stat : 28254 (java) S 28251 28254 25256 0 -1 1077944320 27867 13008 0 0 290 11 5 3 20 0 15 0 227967814 11261759488 47368 33554432000 4194304 4196468 140721564087776 140721564070320 139674839219959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
/proc/28254/statm: 2749453 47368 3442 1 0 2711111 0
[pid=28254/tid=28307] ppid=28251 vsize=10997812 memory=64976 CPUtime=1.46 cores=0,2,4,6
/proc/28254/task/28307/stat : 28307 (java) R 28251 28254 25256 0 -1 4202560 16632 13008 0 0 130 8 5 3 20 0 15 0 227967823 11261759488 47368 33554432000 4194304 4196468 140721564087776 139674810998864 139674839241885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28308] ppid=28251 vsize=10997812 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28308/stat : 28308 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11261759488 47368 33554432000 4194304 4196468 140721564087776 139674843462032 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28309] ppid=28251 vsize=10997812 memory=281392433127584 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28309/stat : 28309 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11261759488 47368 33554432000 4194304 4196468 140721564087776 139674698180880 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28310] ppid=28251 vsize=10997812 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28310/stat : 28310 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967824 11261759488 47368 33554432000 4194304 4196468 140721564087776 139674697128592 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28311] ppid=28251 vsize=10997812 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28311/stat : 28311 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967824 11261759488 47368 33554432000 4194304 4196468 140721564087776 139674696075792 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28312] ppid=28251 vsize=10997812 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28312/stat : 28312 (java) S 28251 28254 25256 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 227967825 11261759488 47368 33554432000 4194304 4196468 140721564087776 139674264889968 139674839231106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28313] ppid=28251 vsize=10997812 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28313/stat : 28313 (java) S 28251 28254 25256 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 227967825 11261759488 47368 33554432000 4194304 4196468 140721564087776 139673625158944 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28314] ppid=28251 vsize=10997812 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28314/stat : 28314 (java) S 28251 28254 25256 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 227967826 11261759488 47368 33554432000 4194304 4196468 140721564087776 139673477310064 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28315] ppid=28251 vsize=10997812 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28315/stat : 28315 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967828 11261759488 47368 33554432000 4194304 4196468 140721564087776 139673169910352 139674839238555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28316] ppid=28251 vsize=10997812 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/28254/task/28316/stat : 28316 (java) R 28251 28254 25256 0 -1 4202560 3803 13008 0 0 55 0 5 3 20 0 15 0 227967828 11261759488 47368 33554432000 4194304 4196468 140721564087776 139674263822760 139674820764193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28317] ppid=28251 vsize=10997812 memory=10 CPUtime=0.64 cores=0,2,4,6
/proc/28254/task/28317/stat : 28317 (java) R 28251 28254 25256 0 -1 4202560 2953 13008 0 0 56 0 5 3 20 0 15 0 227967828 11261759488 47368 33554432000 4194304 4196468 140721564087776 139674262776472 139674822630831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28318] ppid=28251 vsize=10997812 memory=6791534058613427641 CPUtime=0.54 cores=0,2,4,6
/proc/28254/task/28318/stat : 28318 (java) S 28251 28254 25256 0 -1 1077944384 2246 13008 0 0 46 0 5 3 20 0 15 0 227967828 11261759488 47368 33554432000 4194304 4196468 140721564087776 139674261731696 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28319] ppid=28251 vsize=10997812 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28319/stat : 28319 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967829 11261759488 47368 33554432000 4194304 4196468 140721564087776 139672739113440 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28320] ppid=28251 vsize=10997812 memory=281392433372032 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28320/stat : 28320 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967829 11261759488 47368 33554432000 4194304 4196468 140721564087776 139674260679600 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 10997812 KiB

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

[pid=28254/tid=28318] ppid=28251 vsize=11080032 memory=-3705176732362986910 CPUtime=2.43 cores=0,2,4,6
/proc/28254/task/28318/stat : 28318 (java) S 28251 28254 25256 0 -1 1077944384 10035 13008 0 0 232 3 5 3 20 0 15 0 227967828 11345952768 119512 33554432000 4194304 4196468 140721564087776 139674261731696 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28319] ppid=28251 vsize=11080032 memory=393708 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28319/stat : 28319 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967829 11345952768 119512 33554432000 4194304 4196468 140721564087776 139672739113440 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28320] ppid=28251 vsize=11080032 memory=288230621820748097 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28320/stat : 28320 (java) S 28251 28254 25256 0 -1 1077944384 417 13008 0 0 0 0 5 3 20 0 15 0 227967829 11345952768 119512 33554432000 4194304 4196468 140721564087776 139674260679600 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
Current children cumulated CPU time: 24.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 478048 KiB

[startup+16.0007 s]*
/proc/loadavg: 1.81 1.40 1.36 3/216 28343
/proc/meminfo: memFree=26668088/32770624 swapFree=67030652/67108860
[pid=28254] ppid=28251 vsize=11080032 memory=510924 CPUtime=27.38 cores=0,2,4,6
/proc/28254/stat : 28254 (java) S 28251 28254 25256 0 -1 1077944320 82165 13008 0 0 2701 29 5 3 20 0 15 0 227967814 11345952768 127731 33554432000 4194304 4196468 140721564087776 140721564070320 139674839219959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
/proc/28254/statm: 2770008 127731 3530 1 0 2731661 0
[pid=28254/tid=28307] ppid=28251 vsize=11080032 memory=6791534058613427641 CPUtime=15.7 cores=0,2,4,6
/proc/28254/task/28307/stat : 28307 (java) R 28251 28254 25256 0 -1 4202560 44352 13008 0 0 1548 14 5 3 20 0 15 0 227967823 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674811054368 139674387787744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28308] ppid=28251 vsize=11080032 memory=4872558044660077418 CPUtime=0.16 cores=0,2,4,6
/proc/28254/task/28308/stat : 28308 (java) S 28251 28254 25256 0 -1 1077944384 125 13008 0 0 7 1 5 3 20 0 15 0 227967824 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674843462032 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28309] ppid=28251 vsize=11080032 memory=3160 CPUtime=0.17 cores=0,2,4,6
/proc/28254/task/28309/stat : 28309 (java) S 28251 28254 25256 0 -1 1077944384 581 13008 0 0 8 1 5 3 20 0 15 0 227967824 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674698180880 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28310] ppid=28251 vsize=11080032 memory=2120 CPUtime=0.18 cores=0,2,4,6
/proc/28254/task/28310/stat : 28310 (java) S 28251 28254 25256 0 -1 1077944384 1749 13008 0 0 9 1 5 3 20 0 15 0 227967824 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674697128592 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28311] ppid=28251 vsize=11080032 memory=752 CPUtime=0.17 cores=0,2,4,6
/proc/28254/task/28311/stat : 28311 (java) S 28251 28254 25256 0 -1 1077944384 752 13008 0 0 8 1 5 3 20 0 15 0 227967824 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674696075792 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28312] ppid=28251 vsize=11080032 memory=972 CPUtime=0.14 cores=0,2,4,6
/proc/28254/task/28312/stat : 28312 (java) S 28251 28254 25256 0 -1 1077944384 3891 13008 0 0 6 0 5 3 20 0 15 0 227967825 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674264889968 139674839231106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28313] ppid=28251 vsize=11080032 memory=13888 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28313/stat : 28313 (java) S 28251 28254 25256 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 227967825 11345952768 127731 33554432000 4194304 4196468 140721564087776 139673625159008 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28314] ppid=28251 vsize=11080032 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28314/stat : 28314 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967826 11345952768 127731 33554432000 4194304 4196468 140721564087776 139673477310080 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28315] ppid=28251 vsize=11080032 memory=5264 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28315/stat : 28315 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967828 11345952768 127731 33554432000 4194304 4196468 140721564087776 139673169910352 139674839238555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28316] ppid=28251 vsize=11080032 memory=11068 CPUtime=4.41 cores=0,2,4,6
/proc/28254/task/28316/stat : 28316 (java) S 28251 28254 25256 0 -1 1077944384 10615 13008 0 0 431 2 5 3 20 0 15 0 227967828 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674263836784 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28317] ppid=28251 vsize=11080032 memory=1192 CPUtime=4.55 cores=0,2,4,6
/proc/28254/task/28317/stat : 28317 (java) S 28251 28254 25256 0 -1 1077944384 7318 13008 0 0 445 2 5 3 20 0 15 0 227967828 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674262783984 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28318] ppid=28251 vsize=11080032 memory=1520 CPUtime=2.44 cores=0,2,4,6
/proc/28254/task/28318/stat : 28318 (java) S 28251 28254 25256 0 -1 1077944384 10136 13008 0 0 232 4 5 3 20 0 15 0 227967828 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674261731696 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28319] ppid=28251 vsize=11080032 memory=2680 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28319/stat : 28319 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967829 11345952768 127731 33554432000 4194304 4196468 140721564087776 139672739113440 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28320] ppid=28251 vsize=11080032 memory=3160 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28320/stat : 28320 (java) S 28251 28254 25256 0 -1 1077944384 432 13008 0 0 0 0 5 3 20 0 15 0 227967829 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674260679600 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
Current children cumulated CPU time: 27.38 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 510924 KiB

[startup+17.6007 s]
/proc/loadavg: 1.81 1.40 1.36 3/216 28343
/proc/meminfo: memFree=26667964/32770624 swapFree=67030652/67108860
[pid=28254] ppid=28251 vsize=11080032 memory=510924 CPUtime=28.99 cores=0,2,4,6
/proc/28254/stat : 28254 (java) S 28251 28254 25256 0 -1 1077944320 82292 13008 0 0 2861 30 5 3 20 0 15 0 227967814 11345952768 127731 33554432000 4194304 4196468 140721564087776 140721564070320 139674839219959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
/proc/28254/statm: 2770008 127731 3530 1 0 2731661 0
[pid=28254/tid=28307] ppid=28251 vsize=11080032 memory=2433 CPUtime=17.29 cores=0,2,4,6
/proc/28254/task/28307/stat : 28307 (java) R 28251 28254 25256 0 -1 4202560 44378 13008 0 0 1707 14 5 3 20 0 15 0 227967823 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674811052392 139674824605335 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28308] ppid=28251 vsize=11080032 memory=1283 CPUtime=0.16 cores=0,2,4,6
/proc/28254/task/28308/stat : 28308 (java) S 28251 28254 25256 0 -1 1077944384 125 13008 0 0 7 1 5 3 20 0 15 0 227967824 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674843462032 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28309] ppid=28251 vsize=11080032 memory=2185 CPUtime=0.17 cores=0,2,4,6
/proc/28254/task/28309/stat : 28309 (java) S 28251 28254 25256 0 -1 1077944384 581 13008 0 0 8 1 5 3 20 0 15 0 227967824 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674698180880 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28310] ppid=28251 vsize=11080032 memory=484296 CPUtime=0.18 cores=0,2,4,6
/proc/28254/task/28310/stat : 28310 (java) S 28251 28254 25256 0 -1 1077944384 1749 13008 0 0 9 1 5 3 20 0 15 0 227967824 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674697128592 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28311] ppid=28251 vsize=11080032 memory=1876 CPUtime=0.17 cores=0,2,4,6
/proc/28254/task/28311/stat : 28311 (java) S 28251 28254 25256 0 -1 1077944384 752 13008 0 0 8 1 5 3 20 0 15 0 227967824 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674696075792 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28312] ppid=28251 vsize=11080032 memory=1396 CPUtime=0.14 cores=0,2,4,6
/proc/28254/task/28312/stat : 28312 (java) S 28251 28254 25256 0 -1 1077944384 3893 13008 0 0 6 0 5 3 20 0 15 0 227967825 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674264889968 139674839231106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28313] ppid=28251 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28313/stat : 28313 (java) S 28251 28254 25256 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 227967825 11345952768 127731 33554432000 4194304 4196468 140721564087776 139673625159008 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28314] ppid=28251 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28314/stat : 28314 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967826 11345952768 127731 33554432000 4194304 4196468 140721564087776 139673477310080 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28315] ppid=28251 vsize=11080032 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28315/stat : 28315 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967828 11345952768 127731 33554432000 4194304 4196468 140721564087776 139673169910352 139674839238555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28316] ppid=28251 vsize=11080032 memory=288230583166042426 CPUtime=4.42 cores=0,2,4,6
/proc/28254/task/28316/stat : 28316 (java) S 28251 28254 25256 0 -1 1077944384 10664 13008 0 0 432 2 5 3 20 0 15 0 227967828 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674263836784 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28317] ppid=28251 vsize=11080032 memory=14408220252834352 CPUtime=4.56 cores=0,2,4,6
/proc/28254/task/28317/stat : 28317 (java) S 28251 28254 25256 0 -1 1077944384 7370 13008 0 0 446 2 5 3 20 0 15 0 227967828 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674262783984 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28318] ppid=28251 vsize=11080032 memory=0 CPUtime=2.44 cores=0,2,4,6
/proc/28254/task/28318/stat : 28318 (java) S 28251 28254 25256 0 -1 1077944384 10136 13008 0 0 232 4 5 3 20 0 15 0 227967828 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674261731696 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28319] ppid=28251 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28319/stat : 28319 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967829 11345952768 127731 33554432000 4194304 4196468 140721564087776 139672739113440 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28320] ppid=28251 vsize=11080032 memory=484296 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28320/stat : 28320 (java) S 28251 28254 25256 0 -1 1077944384 432 13008 0 0 0 0 5 3 20 0 15 0 227967829 11345952768 127731 33554432000 4194304 4196468 140721564087776 139674260679600 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
Current children cumulated CPU time: 28.99 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 510924 KiB

[startup+18.4007 s]
/proc/loadavg: 1.74 1.39 1.36 3/216 28343
/proc/meminfo: memFree=26661820/32770624 swapFree=67030652/67108860
[pid=28254] ppid=28251 vsize=11080032 memory=517128 CPUtime=29.83 cores=0,2,4,6
/proc/28254/stat : 28254 (java) S 28251 28254 25256 0 -1 1077944320 82432 13008 0 0 2945 30 5 3 20 0 15 0 227967814 11345952768 129282 33554432000 4194304 4196468 140721564087776 140721564070320 139674839219959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
/proc/28254/statm: 2770008 129282 3530 1 0 2731661 0
[pid=28254/tid=28307] ppid=28251 vsize=11080032 memory=776 CPUtime=18.08 cores=0,2,4,6
/proc/28254/task/28307/stat : 28307 (java) R 28251 28254 25256 0 -1 4202560 44389 13008 0 0 1786 14 5 3 20 0 15 0 227967823 11345952768 129282 33554432000 4194304 4196468 140721564087776 139674811052424 139674373351934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28308] ppid=28251 vsize=11080032 memory=6791534058613427641 CPUtime=0.16 cores=0,2,4,6
/proc/28254/task/28308/stat : 28308 (java) S 28251 28254 25256 0 -1 1077944384 127 13008 0 0 7 1 5 3 20 0 15 0 227967824 11345952768 129282 33554432000 4194304 4196468 140721564087776 139674843462032 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28309] ppid=28251 vsize=11080032 memory=6791534058613427641 CPUtime=0.17 cores=0,2,4,6
/proc/28254/task/28309/stat : 28309 (java) S 28251 28254 25256 0 -1 1077944384 590 13008 0 0 8 1 5 3 20 0 15 0 227967824 11345952768 129282 33554432000 4194304 4196468 140721564087776 139674698180880 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28310] ppid=28251 vsize=11080032 memory=1408 CPUtime=0.18 cores=0,2,4,6
/proc/28254/task/28310/stat : 28310 (java) S 28251 28254 25256 0 -1 1077944384 1752 13008 0 0 9 1 5 3 20 0 15 0 227967824 11345952768 129282 33554432000 4194304 4196468 140721564087776 139674697128592 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28311] ppid=28251 vsize=11080032 memory=2664 CPUtime=0.17 cores=0,2,4,6
/proc/28254/task/28311/stat : 28311 (java) S 28251 28254 25256 0 -1 1077944384 758 13008 0 0 8 1 5 3 20 0 15 0 227967824 11345952768 129282 33554432000 4194304 4196468 140721564087776 139674696075792 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28312] ppid=28251 vsize=11080032 memory=484248 CPUtime=0.14 cores=0,2,4,6
/proc/28254/task/28312/stat : 28312 (java) S 28251 28254 25256 0 -1 1077944384 3893 13008 0 0 6 0 5 3 20 0 15 0 227967825 11345952768 129282 33554432000 4194304 4196468 140721564087776 139674264889968 139674839231106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28313] ppid=28251 vsize=11080032 memory=517128 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28313/stat : 28313 (java) S 28251 28254 25256 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 227967825 11345952768 129282 33554432000 4194304 4196468 140721564087776 139673625159008 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28314] ppid=28251 vsize=11080032 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28314/stat : 28314 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 227967826 11345952768 129282 33554432000 4194304 4196468 140721564087776 139673477310080 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28315] ppid=28251 vsize=11080032 memory=1796 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28315/stat : 28315 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967828 11345952768 129282 33554432000 4194304 4196468 140721564087776 139673169910352 139674839238555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28316] ppid=28251 vsize=11080032 memory=916 CPUtime=4.44 cores=0,2,4,6
/proc/28254/task/28316/stat : 28316 (java) S 28251 28254 25256 0 -1 1077944384 10710 13008 0 0 434 2 5 3 20 0 15 0 227967828 11345952768 129282 33554432000 4194304 4196468 140721564087776 139674263836784 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28317] ppid=28251 vsize=11080032 memory=3848 CPUtime=4.56 cores=0,2,4,6
/proc/28254/task/28317/stat : 28317 (java) S 28251 28254 25256 0 -1 1077944384 7430 13008 0 0 446 2 5 3 20 0 15 0 227967828 11345952768 129282 33554432000 4194304 4196468 140721564087776 139674262783984 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28318] ppid=28251 vsize=11080032 memory=1520 CPUtime=2.44 cores=0,2,4,6
/proc/28254/task/28318/stat : 28318 (java) S 28251 28254 25256 0 -1 1077944384 10137 13008 0 0 232 4 5 3 20 0 15 0 227967828 11345952768 129282 33554432000 4194304 4196468 140721564087776 139674261731696 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28319] ppid=28251 vsize=11080032 memory=2680 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28319/stat : 28319 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 227967829 11345952768 129282 33554432000 4194304 4196468 140721564087776 139672739113440 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28320] ppid=28251 vsize=11080032 memory=3160 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28320/stat : 28320 (java) S 28251 28254 25256 0 -1 1077944384 432 13008 0 0 0 0 5 3 20 0 15 0 227967829 11345952768 129282 33554432000 4194304 4196468 140721564087776 139674260679600 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
Current children cumulated CPU time: 29.83 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 517128 KiB

[startup+18.6013 s]
/proc/loadavg: 1.74 1.39 1.36 3/216 28343
/proc/meminfo: memFree=26661820/32770624 swapFree=67030652/67108860
[pid=28254] ppid=28251 vsize=11210080 memory=517568 CPUtime=30.15 cores=0,2,4,6
/proc/28254/stat : 28254 (java) S 28251 28254 25256 0 -1 1077944320 86903 13008 0 0 2976 31 5 3 20 0 14 0 227967814 11479121920 129392 33554432000 4194304 4196468 140721564087776 140721564070320 139674839219959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
/proc/28254/statm: 2802520 129392 3532 1 0 2764173 0
[pid=28254/tid=28307] ppid=28251 vsize=11210080 memory=752 CPUtime=18.29 cores=0,2,4,6
/proc/28254/task/28307/stat : 28307 (java) S 28251 28254 25256 0 -1 1077944384 46924 13008 0 0 1806 15 5 3 20 0 14 0 227967823 11479121920 129392 33554432000 4194304 4196468 140721564087776 139674811063440 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28308] ppid=28251 vsize=11210080 memory=972 CPUtime=0.16 cores=0,2,4,6
/proc/28254/task/28308/stat : 28308 (java) S 28251 28254 25256 0 -1 1077944384 127 13008 0 0 7 1 5 3 20 0 14 0 227967824 11479121920 129392 33554432000 4194304 4196468 140721564087776 139674843462032 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28309] ppid=28251 vsize=11210080 memory=13888 CPUtime=0.17 cores=0,2,4,6
/proc/28254/task/28309/stat : 28309 (java) S 28251 28254 25256 0 -1 1077944384 590 13008 0 0 8 1 5 3 20 0 14 0 227967824 11479121920 129392 33554432000 4194304 4196468 140721564087776 139674698180880 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28310] ppid=28251 vsize=11210080 memory=2228 CPUtime=0.18 cores=0,2,4,6
/proc/28254/task/28310/stat : 28310 (java) S 28251 28254 25256 0 -1 1077944384 1752 13008 0 0 9 1 5 3 20 0 14 0 227967824 11479121920 129392 33554432000 4194304 4196468 140721564087776 139674697128592 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28311] ppid=28251 vsize=11210080 memory=288230574492221466 CPUtime=0.17 cores=0,2,4,6
/proc/28254/task/28311/stat : 28311 (java) S 28251 28254 25256 0 -1 1077944384 758 13008 0 0 8 1 5 3 20 0 14 0 227967824 11479121920 129392 33554432000 4194304 4196468 140721564087776 139674696075792 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28312] ppid=28251 vsize=11210080 memory=288230583166042426 CPUtime=0.14 cores=0,2,4,6
/proc/28254/task/28312/stat : 28312 (java) S 28251 28254 25256 0 -1 1077944384 5359 13008 0 0 6 0 5 3 20 0 14 0 227967825 11479121920 129392 33554432000 4194304 4196468 140721564087776 139674264890176 139674839231106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28313] ppid=28251 vsize=11210080 memory=14408220252834352 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28313/stat : 28313 (java) S 28251 28254 25256 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 14 0 227967825 11479121920 129392 33554432000 4194304 4196468 140721564087776 139673625159008 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28314] ppid=28251 vsize=11210080 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28314/stat : 28314 (java) S 28251 28254 25256 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 14 0 227967826 11479121920 129392 33554432000 4194304 4196468 140721564087776 139673477310080 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28315] ppid=28251 vsize=11210080 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28315/stat : 28315 (java) S 28251 28254 25256 0 -1 1077944384 6 13008 0 0 0 0 5 3 20 0 14 0 227967828 11479121920 129392 33554432000 4194304 4196468 140721564087776 139673169910000 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28316] ppid=28251 vsize=11210080 memory=6944652177228980320 CPUtime=4.49 cores=0,2,4,6
/proc/28254/task/28316/stat : 28316 (java) R 28251 28254 25256 0 -1 4202560 10773 13008 0 0 439 2 5 3 20 0 14 0 227967828 11479121920 129392 33554432000 4194304 4196468 140721564087776 139674263822880 139674831509248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28317] ppid=28251 vsize=11210080 memory=6656426216303648864 CPUtime=4.6 cores=0,2,4,6
/proc/28254/task/28317/stat : 28317 (java) S 28251 28254 25256 0 -1 1077944384 7540 13008 0 0 450 2 5 3 20 0 14 0 227967828 11479121920 129392 33554432000 4194304 4196468 140721564087776 139674262783984 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28318] ppid=28251 vsize=11210080 memory=4206468019014099040 CPUtime=2.46 cores=0,2,4,6
/proc/28254/task/28318/stat : 28318 (java) S 28251 28254 25256 0 -1 1077944384 10390 13008 0 0 234 4 5 3 20 0 14 0 227967828 11479121920 129392 33554432000 4194304 4196468 140721564087776 139674261731696 139674839231106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
[pid=28254/tid=28319] ppid=28251 vsize=11210080 memory=-7737605721172012177 CPUtime=0.08 cores=0,2,4,6
/proc/28254/task/28319/stat : 28319 (java) S 28251 28254 25256 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 14 0 227967829 11479121920 129392 33554432000 4194304 4196468 140721564087776 139672739113440 139674839230165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31031296 140721564093037 140721564095836 140721564095836 140721564098511 0
Current children cumulated CPU time: 30.15 s
Current children cumulated vsize: 11210080 KiB
Current children cumulated memory: 517568 KiB

Child status: 0
Real time (s): 18.6238
CPU time (s): 30.1746
CPU user time (s): 29.8162
CPU system time (s): 0.358459
CPU usage (%): 162.022
Max. virtual memory (cumulated for all children) (KiB): 11210080
Max. memory (cumulated for all children) (KiB): 517568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.8162
system time used= 0.358459
maximum resident set size= 519568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99941
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= 9082
involuntary context switches= 159


# summary of solver processes directly reported to runsolver:
#   pid: 28254
#   total CPU time (s): 30.1746
#   total CPU user time (s): 29.8162
#   total CPU system time (s): 0.358459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.146882 second user time and 0.2001 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 4305027

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data