2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.8-SuperNG 2018-06-13	SAT	31.6644	18.5776

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294527-1532470593/watcher-4294527-1532470593 -o /tmp/evaluation-result-4294527-1532470593/solver-4294527-1532470593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532470571-27174 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=77294667 -superng HOME/instance-4294527-1532470593.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27658, runsolver pid=27655
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 2.00 1.25 1.11 3/206 27715
/proc/meminfo: memFree=23651828/32770624 swapFree=67108860/67108860
[pid=27658] ppid=27655 vsize=9972712 memory=19256 CPUtime=0.09 cores=1,3,5,7
/proc/27658/stat : 27658 (java) S 27655 27658 27142 0 -1 1077944320 4432 13182 0 0 1 1 5 2 20 0 6 0 64622534 10212057088 4814 33554432000 4194304 4196468 140724782734448 140724782716992 140074325315319 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
/proc/27658/statm: 2493178 4814 1944 1 0 2481616 0
[pid=27658/tid=27711] ppid=27655 vsize=9972712 memory=4279135704013832080 CPUtime=0.08 cores=1,3,5,7
/proc/27658/task/27711/stat : 27711 (java) R 27655 27658 27142 0 -1 4202560 2249 13182 0 0 1 0 5 2 20 0 6 0 64622543 10212057088 4814 33554432000 4194304 4196468 140724782734448 140074297152080 140074310627321 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27712] ppid=27655 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27712/stat : 27712 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 6 0 64622544 10212057088 4814 33554432000 4194304 4196468 140724782734448 140074329557904 140074325325525 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27713] ppid=27655 vsize=9972712 memory=140612386698880 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27713/stat : 27713 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 6 0 64622544 10212057088 4814 33554432000 4194304 4196468 140724782734448 140074252716816 140074325325525 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27714] ppid=27655 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27714/stat : 27714 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 6 0 64622544 10212057088 4814 33554432000 4194304 4196468 140724782734448 140073897794704 140074325325525 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27715] ppid=27655 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27715/stat : 27715 (java) S 27655 27658 27142 0 -1 1077944384 2 13182 0 0 0 0 5 2 20 0 6 0 64622544 10212057088 4814 33554432000 4194304 4196468 140724782734448 140073896741904 140074325325525 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19256 KiB

[startup+0.217034 s]*
/proc/loadavg: 2.00 1.25 1.11 3/215 27724
/proc/meminfo: memFree=23629452/32770624 swapFree=67108860/67108860
[pid=27658] ppid=27655 vsize=10818904 memory=44228 CPUtime=0.26 cores=1,3,5,7
/proc/27658/stat : 27658 (java) S 27655 27658 27142 0 -1 1077944320 8968 13182 0 0 17 2 5 2 20 0 15 0 64622534 11078557696 11057 33554432000 4194304 4196468 140724782734448 140724782716992 140074325315319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
/proc/27658/statm: 2704726 11057 2960 1 0 2667149 0
[pid=27658/tid=27711] ppid=27655 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/27658/task/27711/stat : 27711 (java) R 27655 27658 27142 0 -1 4202560 5615 13182 0 0 11 1 5 2 20 0 15 0 64622543 11078557696 11057 33554432000 4194304 4196468 140724782734448 140074297096416 140074325337245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27712] ppid=27655 vsize=10818904 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27712/stat : 27712 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622544 11078557696 11057 33554432000 4194304 4196468 140724782734448 140074329557904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27713] ppid=27655 vsize=10818904 memory=140612386725834 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27713/stat : 27713 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622544 11078557696 11057 33554432000 4194304 4196468 140724782734448 140074252716816 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27714] ppid=27655 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27714/stat : 27714 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622544 11078557696 11057 33554432000 4194304 4196468 140724782734448 140073897794704 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27715] ppid=27655 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27715/stat : 27715 (java) S 27655 27658 27142 0 -1 1077944384 2 13182 0 0 0 0 5 2 20 0 15 0 64622544 11078557696 11057 33554432000 4194304 4196468 140724782734448 140073896741904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27716] ppid=27655 vsize=10818904 memory=140612386698880 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27716/stat : 27716 (java) S 27655 27658 27142 0 -1 1077944384 2 13182 0 0 0 0 5 2 20 0 15 0 64622545 11078557696 11057 33554432000 4194304 4196468 140724782734448 140073851926640 140074325326466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27717] ppid=27655 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27717/stat : 27717 (java) S 27655 27658 27142 0 -1 1077944384 13 13182 0 0 0 0 5 2 20 0 15 0 64622546 11078557696 11057 33554432000 4194304 4196468 140724782734448 140073781682976 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27718] ppid=27655 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27718/stat : 27718 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622546 11078557696 11057 33554432000 4194304 4196468 140724782734448 140073177703536 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27719] ppid=27655 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27719/stat : 27719 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622548 11078557696 11057 33554432000 4194304 4196468 140724782734448 140072870303824 140074325333915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27720] ppid=27655 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27658/task/27720/stat : 27720 (java) S 27655 27658 27142 0 -1 1077944384 495 13182 0 0 1 0 5 2 20 0 15 0 64622548 11078557696 11057 33554432000 4194304 4196468 140724782734448 140073850874480 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27721] ppid=27655 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27658/task/27721/stat : 27721 (java) S 27655 27658 27142 0 -1 1077944384 89 13182 0 0 1 0 5 2 20 0 15 0 64622549 11078557696 11057 33554432000 4194304 4196468 140724782734448 140073748126192 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27722] ppid=27655 vsize=10818904 memory=140612386698880 CPUtime=0.1 cores=1,3,5,7
/proc/27658/task/27722/stat : 27722 (java) S 27655 27658 27142 0 -1 1077944384 552 13182 0 0 3 0 5 2 20 0 15 0 64622549 11078557696 11057 33554432000 4194304 4196468 140724782734448 140073747073904 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27723] ppid=27655 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27723/stat : 27723 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622549 11078557696 11057 33554432000 4194304 4196468 140724782734448 140072836746208 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27724] ppid=27655 vsize=10818904 memory=140612386698880 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27724/stat : 27724 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622549 11078557696 11057 33554432000 4194304 4196468 140724782734448 140073746020784 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44228 KiB

[startup+0.310337 s]*
/proc/loadavg: 2.00 1.25 1.11 3/215 27724
/proc/meminfo: memFree=23618536/32770624 swapFree=67108860/67108860
[pid=27658] ppid=27655 vsize=10819352 memory=53460 CPUtime=0.38 cores=1,3,5,7
/proc/27658/stat : 27658 (java) S 27655 27658 27142 0 -1 1077944320 10439 13182 0 0 28 3 5 2 20 0 15 0 64622534 11079016448 13365 33554432000 4194304 4196468 140724782734448 140724782716992 140074325315319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
/proc/27658/statm: 2704838 13365 3091 1 0 2667149 0
[pid=27658/tid=27711] ppid=27655 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27711/stat : 27711 (java) R 27655 27658 27142 0 -1 4202560 7077 13182 0 0 19 2 5 2 20 0 15 0 64622543 11079016448 13365 33554432000 4194304 4196468 140724782734448 140074297127328 140074317552446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27712] ppid=27655 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27712/stat : 27712 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622544 11079016448 13365 33554432000 4194304 4196468 140724782734448 140074329557904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27713] ppid=27655 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27713/stat : 27713 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622544 11079016448 13365 33554432000 4194304 4196468 140724782734448 140074252716816 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27714] ppid=27655 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27714/stat : 27714 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622544 11079016448 13365 33554432000 4194304 4196468 140724782734448 140073897794704 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27715] ppid=27655 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27715/stat : 27715 (java) S 27655 27658 27142 0 -1 1077944384 2 13182 0 0 0 0 5 2 20 0 15 0 64622544 11079016448 13365 33554432000 4194304 4196468 140724782734448 140073896741904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27716] ppid=27655 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27716/stat : 27716 (java) S 27655 27658 27142 0 -1 1077944384 2 13182 0 0 0 0 5 2 20 0 15 0 64622545 11079016448 13365 33554432000 4194304 4196468 140724782734448 140073851926640 140074325326466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27717] ppid=27655 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27717/stat : 27717 (java) S 27655 27658 27142 0 -1 1077944384 13 13182 0 0 0 0 5 2 20 0 15 0 64622546 11079016448 13365 33554432000 4194304 4196468 140724782734448 140073781682976 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27718] ppid=27655 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27718/stat : 27718 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622546 11079016448 13365 33554432000 4194304 4196468 140724782734448 140073177703536 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27719] ppid=27655 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27719/stat : 27719 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622548 11079016448 13365 33554432000 4194304 4196468 140724782734448 140072870303824 140074325333915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27720] ppid=27655 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27658/task/27720/stat : 27720 (java) S 27655 27658 27142 0 -1 1077944384 496 13182 0 0 1 0 5 2 20 0 15 0 64622548 11079016448 13365 33554432000 4194304 4196468 140724782734448 140073850874480 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27721] ppid=27655 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27658/task/27721/stat : 27721 (java) S 27655 27658 27142 0 -1 1077944384 89 13182 0 0 1 0 5 2 20 0 15 0 64622549 11079016448 13365 33554432000 4194304 4196468 140724782734448 140073748126192 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27722] ppid=27655 vsize=10819352 memory=140612386698880 CPUtime=0.11 cores=1,3,5,7
/proc/27658/task/27722/stat : 27722 (java) S 27655 27658 27142 0 -1 1077944384 562 13182 0 0 4 0 5 2 20 0 15 0 64622549 11079016448 13365 33554432000 4194304 4196468 140724782734448 140073747073904 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27723] ppid=27655 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27723/stat : 27723 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622549 11079016448 13365 33554432000 4194304 4196468 140724782734448 140072836746208 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27724] ppid=27655 vsize=10819352 memory=140612386698880 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27724/stat : 27724 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622549 11079016448 13365 33554432000 4194304 4196468 140724782734448 140073746020784 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53460 KiB

[startup+0.700744 s]
/proc/loadavg: 2.00 1.25 1.11 3/215 27724
/proc/meminfo: memFree=23609252/32770624 swapFree=67108860/67108860
[pid=27658] ppid=27655 vsize=10819352 memory=86592 CPUtime=0.98 cores=1,3,5,7
/proc/27658/stat : 27658 (java) S 27655 27658 27142 0 -1 1077944320 16833 13182 0 0 86 5 5 2 20 0 15 0 64622534 11079016448 21648 33554432000 4194304 4196468 140724782734448 140724782716992 140074325315319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
/proc/27658/statm: 2704838 21648 3237 1 0 2667149 0
[pid=27658/tid=27711] ppid=27655 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/27658/task/27711/stat : 27711 (java) R 27655 27658 27142 0 -1 4202560 12549 13182 0 0 56 3 5 2 20 0 15 0 64622543 11079016448 21648 33554432000 4194304 4196468 140724782734448 140074297136144 140074306878918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27712] ppid=27655 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27712/stat : 27712 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622544 11079016448 21648 33554432000 4194304 4196468 140724782734448 140074329557904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27713] ppid=27655 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27713/stat : 27713 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622544 11079016448 21648 33554432000 4194304 4196468 140724782734448 140074252716816 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27714] ppid=27655 vsize=10819352 memory=140612263359280 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27714/stat : 27714 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622544 11079016448 21648 33554432000 4194304 4196468 140724782734448 140073897794704 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27715] ppid=27655 vsize=10819352 memory=140612934304337 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27715/stat : 27715 (java) S 27655 27658 27142 0 -1 1077944384 2 13182 0 0 0 0 5 2 20 0 15 0 64622544 11079016448 21648 33554432000 4194304 4196468 140724782734448 140073896741904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27716] ppid=27655 vsize=10819352 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27716/stat : 27716 (java) S 27655 27658 27142 0 -1 1077944384 5 13182 0 0 0 0 5 2 20 0 15 0 64622545 11079016448 21648 33554432000 4194304 4196468 140724782734448 140073851926640 140074325326466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27717] ppid=27655 vsize=10819352 memory=4639098309541127270 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27717/stat : 27717 (java) S 27655 27658 27142 0 -1 1077944384 13 13182 0 0 0 0 5 2 20 0 15 0 64622546 11079016448 21648 33554432000 4194304 4196468 140724782734448 140073781682976 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27718] ppid=27655 vsize=10819352 memory=7885635084775281009 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27718/stat : 27718 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622546 11079016448 21648 33554432000 4194304 4196468 140724782734448 140073177703536 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27719] ppid=27655 vsize=10819352 memory=12556 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27719/stat : 27719 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622548 11079016448 21648 33554432000 4194304 4196468 140724782734448 140072870303824 140074325333915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27720] ppid=27655 vsize=10819352 memory=4052 CPUtime=0.17 cores=1,3,5,7
/proc/27658/task/27720/stat : 27720 (java) S 27655 27658 27142 0 -1 1077944384 1107 13182 0 0 10 0 5 2 20 0 15 0 64622548 11079016448 21648 33554432000 4194304 4196468 140724782734448 140073850874480 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27721] ppid=27655 vsize=10819352 memory=18444 CPUtime=0.13 cores=1,3,5,7
/proc/27658/task/27721/stat : 27721 (java) S 27655 27658 27142 0 -1 1077944384 322 13182 0 0 6 0 5 2 20 0 15 0 64622549 11079016448 21648 33554432000 4194304 4196468 140724782734448 140073748126192 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27722] ppid=27655 vsize=10819352 memory=640 CPUtime=0.19 cores=1,3,5,7
/proc/27658/task/27722/stat : 27722 (java) S 27655 27658 27142 0 -1 1077944384 635 13182 0 0 12 0 5 2 20 0 15 0 64622549 11079016448 21648 33554432000 4194304 4196468 140724782734448 140073747073904 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27723] ppid=27655 vsize=10819352 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27723/stat : 27723 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622549 11079016448 21648 33554432000 4194304 4196468 140724782734448 140072836746208 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27724] ppid=27655 vsize=10819352 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27724/stat : 27724 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622549 11079016448 21648 33554432000 4194304 4196468 140724782734448 140073746020784 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86592 KiB

[startup+1.50065 s]
/proc/loadavg: 2.00 1.25 1.11 4/215 27724
/proc/meminfo: memFree=23562548/32770624 swapFree=67108860/67108860
[pid=27658] ppid=27655 vsize=10832204 memory=183420 CPUtime=3.02 cores=1,3,5,7
/proc/27658/stat : 27658 (java) S 27655 27658 27142 0 -1 1077944320 25016 13182 0 0 285 10 5 2 20 0 15 0 64622534 11092176896 45855 33554432000 4194304 4196468 140724782734448 140724782716992 140074325315319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
/proc/27658/statm: 2708051 45855 3450 1 0 2669709 0
[pid=27658/tid=27711] ppid=27655 vsize=10832204 memory=63188 CPUtime=1.45 cores=1,3,5,7
/proc/27658/task/27711/stat : 27711 (java) S 27655 27658 27142 0 -1 1077944384 17120 13182 0 0 132 6 5 2 20 0 15 0 64622543 11092176896 45855 33554432000 4194304 4196468 140724782734448 140074297127760 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27712] ppid=27655 vsize=10832204 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27712/stat : 27712 (java) S 27655 27658 27142 0 -1 1077944384 40 13182 0 0 0 0 5 2 20 0 15 0 64622544 11092176896 45855 33554432000 4194304 4196468 140724782734448 140074329557904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27713] ppid=27655 vsize=10832204 memory=281224526749856 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27713/stat : 27713 (java) S 27655 27658 27142 0 -1 1077944384 4 13182 0 0 0 0 5 2 20 0 15 0 64622544 11092176896 45855 33554432000 4194304 4196468 140724782734448 140074252716816 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27714] ppid=27655 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27714/stat : 27714 (java) S 27655 27658 27142 0 -1 1077944384 163 13182 0 0 0 0 5 2 20 0 15 0 64622544 11092176896 45855 33554432000 4194304 4196468 140724782734448 140073897794704 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27715] ppid=27655 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27715/stat : 27715 (java) S 27655 27658 27142 0 -1 1077944384 16 13182 0 0 0 0 5 2 20 0 15 0 64622544 11092176896 45855 33554432000 4194304 4196468 140724782734448 140073896741904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27716] ppid=27655 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27716/stat : 27716 (java) R 27655 27658 27142 0 -1 4202560 26 13182 0 0 0 0 5 2 20 0 15 0 64622545 11092176896 45855 33554432000 4194304 4196468 140724782734448 140073851925120 140074310380064 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27717] ppid=27655 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27717/stat : 27717 (java) S 27655 27658 27142 0 -1 1077944384 13 13182 0 0 0 0 5 2 20 0 15 0 64622546 11092176896 45855 33554432000 4194304 4196468 140724782734448 140073781682976 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27718] ppid=27655 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27718/stat : 27718 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622546 11092176896 45855 33554432000 4194304 4196468 140724782734448 140073177703536 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27719] ppid=27655 vsize=10832204 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27719/stat : 27719 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622548 11092176896 45855 33554432000 4194304 4196468 140724782734448 140072870303824 140074325333915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27720] ppid=27655 vsize=10832204 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/27658/task/27720/stat : 27720 (java) S 27655 27658 27142 0 -1 1077944384 1981 13182 0 0 52 0 5 2 20 0 15 0 64622548 11092176896 45855 33554432000 4194304 4196468 140724782734448 140073850865760 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27721] ppid=27655 vsize=10832204 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/27658/task/27721/stat : 27721 (java) S 27655 27658 27142 0 -1 1077944384 1783 13182 0 0 52 0 5 2 20 0 15 0 64622549 11092176896 45855 33554432000 4194304 4196468 140724782734448 140073748106160 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27722] ppid=27655 vsize=10832204 memory=6791534058613427641 CPUtime=0.52 cores=1,3,5,7
/proc/27658/task/27722/stat : 27722 (java) S 27655 27658 27142 0 -1 1077944384 1674 13182 0 0 45 0 5 2 20 0 15 0 64622549 11092176896 45855 33554432000 4194304 4196468 140724782734448 140073747073904 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27723] ppid=27655 vsize=10832204 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27723/stat : 27723 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622549 11092176896 45855 33554432000 4194304 4196468 140724782734448 140072836746208 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27724] ppid=27655 vsize=10832204 memory=281224526994304 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27724/stat : 27724 (java) S 27655 27658 27142 0 -1 1077944384 1 13182 0 0 0 0 5 2 20 0 15 0 64622549 11092176896 45855 33554432000 4194304 4196468 140724782734448 140073746020784 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10832204 KiB

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

[pid=27658/tid=27723] ppid=27655 vsize=10916192 memory=140612386722529 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27723/stat : 27723 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622549 11178180608 231090 33554432000 4194304 4196468 140724782734448 140072836746208 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27724] ppid=27655 vsize=10916192 memory=7738125820235507556 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27724/stat : 27724 (java) S 27655 27658 27142 0 -1 1077944384 133 13182 0 0 0 0 5 2 20 0 15 0 64622549 11178180608 231090 33554432000 4194304 4196468 140724782734448 140073746020784 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
Current children cumulated CPU time: 28.9 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 924360 KiB

[startup+17.6007 s]
/proc/loadavg: 1.85 1.26 1.12 3/215 27724
/proc/meminfo: memFree=22502012/32770624 swapFree=67108860/67108860
[pid=27658] ppid=27655 vsize=10916192 memory=924416 CPUtime=30.57 cores=1,3,5,7
/proc/27658/stat : 27658 (java) S 27655 27658 27142 0 -1 1077944320 82692 13182 0 0 3001 49 5 2 20 0 15 0 64622534 11178180608 231104 33554432000 4194304 4196468 140724782734448 140724782716992 140074325315319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
/proc/27658/statm: 2729048 231104 3531 1 0 2690701 0
[pid=27658/tid=27711] ppid=27655 vsize=10916192 memory=6791534058613427641 CPUtime=17.23 cores=1,3,5,7
/proc/27658/task/27711/stat : 27711 (java) R 27655 27658 27142 0 -1 4202560 46425 13182 0 0 1698 18 5 2 20 0 15 0 64622543 11178180608 231104 33554432000 4194304 4196468 140724782734448 140074297144624 140073951185492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27712] ppid=27655 vsize=10916192 memory=5520 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27712/stat : 27712 (java) S 27655 27658 27142 0 -1 1077944384 292 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140074329557904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27713] ppid=27655 vsize=10916192 memory=792 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27713/stat : 27713 (java) S 27655 27658 27142 0 -1 1077944384 259 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140074252716816 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27714] ppid=27655 vsize=10916192 memory=1228 CPUtime=0.29 cores=1,3,5,7
/proc/27658/task/27714/stat : 27714 (java) S 27655 27658 27142 0 -1 1077944384 1603 13182 0 0 17 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073897794704 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27715] ppid=27655 vsize=10916192 memory=1944 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27715/stat : 27715 (java) S 27655 27658 27142 0 -1 1077944384 253 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073896741904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27716] ppid=27655 vsize=10916192 memory=1416 CPUtime=0.13 cores=1,3,5,7
/proc/27658/task/27716/stat : 27716 (java) S 27655 27658 27142 0 -1 1077944384 4224 13182 0 0 6 0 5 2 20 0 15 0 64622545 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073851926640 140074325326466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27717] ppid=27655 vsize=10916192 memory=877064 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27717/stat : 27717 (java) S 27655 27658 27142 0 -1 1077944384 13 13182 0 0 0 0 5 2 20 0 15 0 64622546 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073781683040 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27718] ppid=27655 vsize=10916192 memory=19704 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27718/stat : 27718 (java) S 27655 27658 27142 0 -1 1077944384 5 13182 0 0 0 0 5 2 20 0 15 0 64622546 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073177703552 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27719] ppid=27655 vsize=10916192 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27719/stat : 27719 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622548 11178180608 231104 33554432000 4194304 4196468 140724782734448 140072870303824 140074325333915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27720] ppid=27655 vsize=10916192 memory=2428 CPUtime=5.07 cores=1,3,5,7
/proc/27658/task/27720/stat : 27720 (java) S 27655 27658 27142 0 -1 1077944384 8281 13182 0 0 498 2 5 2 20 0 15 0 64622548 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073850874480 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27721] ppid=27655 vsize=10916192 memory=1728 CPUtime=4.94 cores=1,3,5,7
/proc/27658/task/27721/stat : 27721 (java) S 27655 27658 27142 0 -1 1077944384 9439 13182 0 0 485 2 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073748126192 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27722] ppid=27655 vsize=10916192 memory=1004 CPUtime=2.54 cores=1,3,5,7
/proc/27658/task/27722/stat : 27722 (java) S 27655 27658 27142 0 -1 1077944384 9570 13182 0 0 243 4 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073747073904 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27723] ppid=27655 vsize=10916192 memory=4052 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27723/stat : 27723 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140072836746208 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27724] ppid=27655 vsize=10916192 memory=18444 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27724/stat : 27724 (java) S 27655 27658 27142 0 -1 1077944384 133 13182 0 0 0 0 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073746020784 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
Current children cumulated CPU time: 30.57 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 924416 KiB

[startup+18.0007 s]*
/proc/loadavg: 1.85 1.26 1.12 3/215 27724
/proc/meminfo: memFree=22502012/32770624 swapFree=67108860/67108860
[pid=27658] ppid=27655 vsize=10916192 memory=924416 CPUtime=30.98 cores=1,3,5,7
/proc/27658/stat : 27658 (java) S 27655 27658 27142 0 -1 1077944320 82720 13182 0 0 3042 49 5 2 20 0 15 0 64622534 11178180608 231104 33554432000 4194304 4196468 140724782734448 140724782716992 140074325315319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
/proc/27658/statm: 2729048 231104 3531 1 0 2690701 0
[pid=27658/tid=27711] ppid=27655 vsize=10916192 memory=6791534058613427641 CPUtime=17.64 cores=1,3,5,7
/proc/27658/task/27711/stat : 27711 (java) R 27655 27658 27142 0 -1 4202560 46453 13182 0 0 1739 18 5 2 20 0 15 0 64622543 11178180608 231104 33554432000 4194304 4196468 140724782734448 140074297144624 140073937284593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27712] ppid=27655 vsize=10916192 memory=4100 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27712/stat : 27712 (java) S 27655 27658 27142 0 -1 1077944384 292 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140074329557904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27713] ppid=27655 vsize=10916192 memory=1692 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27713/stat : 27713 (java) S 27655 27658 27142 0 -1 1077944384 259 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140074252716816 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27714] ppid=27655 vsize=10916192 memory=916 CPUtime=0.29 cores=1,3,5,7
/proc/27658/task/27714/stat : 27714 (java) S 27655 27658 27142 0 -1 1077944384 1603 13182 0 0 17 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073897794704 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27715] ppid=27655 vsize=10916192 memory=3796 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27715/stat : 27715 (java) S 27655 27658 27142 0 -1 1077944384 253 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073896741904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27716] ppid=27655 vsize=10916192 memory=2296 CPUtime=0.13 cores=1,3,5,7
/proc/27658/task/27716/stat : 27716 (java) S 27655 27658 27142 0 -1 1077944384 4224 13182 0 0 6 0 5 2 20 0 15 0 64622545 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073851926640 140074325326466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27717] ppid=27655 vsize=10916192 memory=2600 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27717/stat : 27717 (java) S 27655 27658 27142 0 -1 1077944384 13 13182 0 0 0 0 5 2 20 0 15 0 64622546 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073781683040 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27718] ppid=27655 vsize=10916192 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27718/stat : 27718 (java) S 27655 27658 27142 0 -1 1077944384 5 13182 0 0 0 0 5 2 20 0 15 0 64622546 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073177703552 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27719] ppid=27655 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27719/stat : 27719 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622548 11178180608 231104 33554432000 4194304 4196468 140724782734448 140072870303824 140074325333915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27720] ppid=27655 vsize=10916192 memory=0 CPUtime=5.07 cores=1,3,5,7
/proc/27658/task/27720/stat : 27720 (java) S 27655 27658 27142 0 -1 1077944384 8281 13182 0 0 498 2 5 2 20 0 15 0 64622548 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073850874480 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27721] ppid=27655 vsize=10916192 memory=0 CPUtime=4.94 cores=1,3,5,7
/proc/27658/task/27721/stat : 27721 (java) S 27655 27658 27142 0 -1 1077944384 9439 13182 0 0 485 2 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073748126192 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27722] ppid=27655 vsize=10916192 memory=0 CPUtime=2.54 cores=1,3,5,7
/proc/27658/task/27722/stat : 27722 (java) S 27655 27658 27142 0 -1 1077944384 9570 13182 0 0 243 4 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073747073904 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27723] ppid=27655 vsize=10916192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27723/stat : 27723 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140072836746208 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27724] ppid=27655 vsize=10916192 memory=281224527528032 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27724/stat : 27724 (java) S 27655 27658 27142 0 -1 1077944384 133 13182 0 0 0 0 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073746020784 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
Current children cumulated CPU time: 30.98 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 924416 KiB

[startup+18.4007 s]
/proc/loadavg: 1.85 1.26 1.12 3/215 27724
/proc/meminfo: memFree=22502012/32770624 swapFree=67108860/67108860
[pid=27658] ppid=27655 vsize=10916192 memory=924416 CPUtime=31.37 cores=1,3,5,7
/proc/27658/stat : 27658 (java) S 27655 27658 27142 0 -1 1077944320 82782 13182 0 0 3081 49 5 2 20 0 15 0 64622534 11178180608 231104 33554432000 4194304 4196468 140724782734448 140724782716992 140074325315319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
/proc/27658/statm: 2729048 231104 3531 1 0 2690701 0
[pid=27658/tid=27711] ppid=27655 vsize=10916192 memory=1728 CPUtime=18.03 cores=1,3,5,7
/proc/27658/task/27711/stat : 27711 (java) R 27655 27658 27142 0 -1 4202560 46512 13182 0 0 1778 18 5 2 20 0 15 0 64622543 11178180608 231104 33554432000 4194304 4196468 140724782734448 140074297145424 140073939599488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27712] ppid=27655 vsize=10916192 memory=4028 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27712/stat : 27712 (java) S 27655 27658 27142 0 -1 1077944384 292 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140074329557904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27713] ppid=27655 vsize=10916192 memory=19704 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27713/stat : 27713 (java) S 27655 27658 27142 0 -1 1077944384 259 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140074252716816 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27714] ppid=27655 vsize=10916192 memory=4028 CPUtime=0.29 cores=1,3,5,7
/proc/27658/task/27714/stat : 27714 (java) S 27655 27658 27142 0 -1 1077944384 1603 13182 0 0 17 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073897794704 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27715] ppid=27655 vsize=10916192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27715/stat : 27715 (java) S 27655 27658 27142 0 -1 1077944384 253 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073896741904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27716] ppid=27655 vsize=10916192 memory=924360 CPUtime=0.13 cores=1,3,5,7
/proc/27658/task/27716/stat : 27716 (java) S 27655 27658 27142 0 -1 1077944384 4224 13182 0 0 6 0 5 2 20 0 15 0 64622545 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073851926640 140074325326466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27717] ppid=27655 vsize=10916192 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27717/stat : 27717 (java) S 27655 27658 27142 0 -1 1077944384 13 13182 0 0 0 0 5 2 20 0 15 0 64622546 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073781683040 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27718] ppid=27655 vsize=10916192 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27718/stat : 27718 (java) S 27655 27658 27142 0 -1 1077944384 5 13182 0 0 0 0 5 2 20 0 15 0 64622546 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073177703552 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27719] ppid=27655 vsize=10916192 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27719/stat : 27719 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622548 11178180608 231104 33554432000 4194304 4196468 140724782734448 140072870303824 140074325333915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27720] ppid=27655 vsize=10916192 memory=928 CPUtime=5.07 cores=1,3,5,7
/proc/27658/task/27720/stat : 27720 (java) S 27655 27658 27142 0 -1 1077944384 8284 13182 0 0 498 2 5 2 20 0 15 0 64622548 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073850874480 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27721] ppid=27655 vsize=10916192 memory=1572 CPUtime=4.94 cores=1,3,5,7
/proc/27658/task/27721/stat : 27721 (java) S 27655 27658 27142 0 -1 1077944384 9439 13182 0 0 485 2 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073748126192 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27722] ppid=27655 vsize=10916192 memory=2244 CPUtime=2.54 cores=1,3,5,7
/proc/27658/task/27722/stat : 27722 (java) S 27655 27658 27142 0 -1 1077944384 9570 13182 0 0 243 4 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073747073904 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27723] ppid=27655 vsize=10916192 memory=4124 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27723/stat : 27723 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140072836746208 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27724] ppid=27655 vsize=10916192 memory=2200 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27724/stat : 27724 (java) S 27655 27658 27142 0 -1 1077944384 133 13182 0 0 0 0 5 2 20 0 15 0 64622549 11178180608 231104 33554432000 4194304 4196468 140724782734448 140073746020784 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
Current children cumulated CPU time: 31.37 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 924416 KiB

[startup+18.5007 s]
/proc/loadavg: 1.85 1.26 1.12 3/215 27724
/proc/meminfo: memFree=22502012/32770624 swapFree=67108860/67108860
[pid=27658] ppid=27655 vsize=10916192 memory=924440 CPUtime=31.49 cores=1,3,5,7
/proc/27658/stat : 27658 (java) S 27655 27658 27142 0 -1 1077944320 83798 13182 0 0 3093 49 5 2 20 0 15 0 64622534 11178180608 231110 33554432000 4194304 4196468 140724782734448 140724782716992 140074325315319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
/proc/27658/statm: 2729048 231110 3531 1 0 2690701 0
[pid=27658/tid=27711] ppid=27655 vsize=10916192 memory=924416 CPUtime=18.13 cores=1,3,5,7
/proc/27658/task/27711/stat : 27711 (java) R 27655 27658 27142 0 -1 4202560 47445 13182 0 0 1788 18 5 2 20 0 15 0 64622543 11178180608 231110 33554432000 4194304 4196468 140724782734448 140074297145424 140074325327254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27712] ppid=27655 vsize=10916192 memory=924416 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27712/stat : 27712 (java) S 27655 27658 27142 0 -1 1077944384 292 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231110 33554432000 4194304 4196468 140724782734448 140074329557904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27713] ppid=27655 vsize=10916192 memory=924360 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27713/stat : 27713 (java) S 27655 27658 27142 0 -1 1077944384 259 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231110 33554432000 4194304 4196468 140724782734448 140074252716816 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27714] ppid=27655 vsize=10916192 memory=877060 CPUtime=0.29 cores=1,3,5,7
/proc/27658/task/27714/stat : 27714 (java) S 27655 27658 27142 0 -1 1077944384 1603 13182 0 0 17 5 5 2 20 0 15 0 64622544 11178180608 231110 33554432000 4194304 4196468 140724782734448 140073897794704 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27715] ppid=27655 vsize=10916192 memory=877060 CPUtime=0.28 cores=1,3,5,7
/proc/27658/task/27715/stat : 27715 (java) S 27655 27658 27142 0 -1 1077944384 253 13182 0 0 16 5 5 2 20 0 15 0 64622544 11178180608 231110 33554432000 4194304 4196468 140724782734448 140073896741904 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27716] ppid=27655 vsize=10916192 memory=924400 CPUtime=0.13 cores=1,3,5,7
/proc/27658/task/27716/stat : 27716 (java) S 27655 27658 27142 0 -1 1077944384 4224 13182 0 0 6 0 5 2 20 0 15 0 64622545 11178180608 231110 33554432000 4194304 4196468 140724782734448 140073851926640 140074325326466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27717] ppid=27655 vsize=10916192 memory=924400 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27717/stat : 27717 (java) S 27655 27658 27142 0 -1 1077944384 13 13182 0 0 0 0 5 2 20 0 15 0 64622546 11178180608 231110 33554432000 4194304 4196468 140724782734448 140073781683040 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27718] ppid=27655 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27718/stat : 27718 (java) S 27655 27658 27142 0 -1 1077944384 5 13182 0 0 0 0 5 2 20 0 15 0 64622546 11178180608 231110 33554432000 4194304 4196468 140724782734448 140073177703552 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27719] ppid=27655 vsize=10916192 memory=7233434564187287392 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27719/stat : 27719 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622548 11178180608 231110 33554432000 4194304 4196468 140724782734448 140072870303824 140074325333915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27720] ppid=27655 vsize=10916192 memory=527736 CPUtime=5.07 cores=1,3,5,7
/proc/27658/task/27720/stat : 27720 (java) S 27655 27658 27142 0 -1 1077944384 8284 13182 0 0 498 2 5 2 20 0 15 0 64622548 11178180608 231110 33554432000 4194304 4196468 140724782734448 140073850874480 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27721] ppid=27655 vsize=10916192 memory=0 CPUtime=4.95 cores=1,3,5,7
/proc/27658/task/27721/stat : 27721 (java) R 27655 27658 27142 0 -1 1077944384 9514 13182 0 0 486 2 5 2 20 0 15 0 64622549 11178180608 231110 33554432000 4194304 4196468 140724782734448 140073748126192 140074325326466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27722] ppid=27655 vsize=10916192 memory=8148 CPUtime=2.55 cores=1,3,5,7
/proc/27658/task/27722/stat : 27722 (java) R 27655 27658 27142 0 -1 4202560 9580 13182 0 0 244 4 5 2 20 0 15 0 64622549 11178180608 231110 33554432000 4194304 4196468 140724782734448 140073747073904 140074325329201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27723] ppid=27655 vsize=10916192 memory=848 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27723/stat : 27723 (java) S 27655 27658 27142 0 -1 1077944384 3 13182 0 0 0 0 5 2 20 0 15 0 64622549 11178180608 231110 33554432000 4194304 4196468 140724782734448 140072836746208 140074325325525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
[pid=27658/tid=27724] ppid=27655 vsize=10916192 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/27658/task/27724/stat : 27724 (java) S 27655 27658 27142 0 -1 1077944384 133 13182 0 0 0 0 5 2 20 0 15 0 64622549 11178180608 231110 33554432000 4194304 4196468 140724782734448 140073746020784 140074325326466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34758656 140724782737581 140724782740828 140724782740828 140724782743503 0
Current children cumulated CPU time: 31.49 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 924440 KiB

Child status: 0
Real time (s): 18.5776
CPU time (s): 31.6644
CPU user time (s): 31.1252
CPU system time (s): 0.539189
CPU usage (%): 170.444
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 924440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.1252
system time used= 0.539189
maximum resident set size= 926904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103379
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= 9841
involuntary context switches= 99


# summary of solver processes directly reported to runsolver:
#   pid: 27658
#   total CPU time (s): 31.6644
#   total CPU user time (s): 31.1252
#   total CPU system time (s): 0.539189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.131468 second user time and 0.215719 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 4294527

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data