2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.8 2018-06-13	SAT	19.7516	8.21643

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294526-1532474985/watcher-4294526-1532474985 -o /tmp/evaluation-result-4294526-1532474985/solver-4294526-1532474985 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532466475-21334 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1243269190 HOME/instance-4294526-1532474985.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=23711, runsolver pid=23708


[startup+0.100163 s]*
/proc/loadavg: 1.61 1.43 1.38 3/210 23768
/proc/meminfo: memFree=13762476/32770624 swapFree=67108860/67108860
[pid=23711] ppid=23708 vsize=9972712 memory=17212 CPUtime=0.08 cores=0,2,4,6
/proc/23711/stat : 23711 (java) S 23708 23711 21303 0 -1 1077944320 4431 12975 0 0 1 0 5 2 20 0 6 0 65061662 10212057088 4303 33554432000 4194304 4196468 140724807044912 140724807027456 140656156147447 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
/proc/23711/statm: 2493178 4303 1934 1 0 2481616 0
[pid=23711/tid=23764] ppid=23708 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/23711/task/23764/stat : 23764 (java) R 23708 23711 21303 0 -1 4202560 2241 12975 0 0 1 0 5 2 20 0 6 0 65061671 10212057088 4303 33554432000 4194304 4196468 140724807044912 140656127984208 140656140227934 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23765] ppid=23708 vsize=9972712 memory=5793855100961933753 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23765/stat : 23765 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 6 0 65061672 10212057088 4303 33554432000 4194304 4196468 140724807044912 140656160389392 140656156157653 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23766] ppid=23708 vsize=9972712 memory=139849952040576 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23766/stat : 23766 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 6 0 65061672 10212057088 4303 33554432000 4194304 4196468 140724807044912 140655729498512 140656156157653 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23767] ppid=23708 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23767/stat : 23767 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 6 0 65061672 10212057088 4303 33554432000 4194304 4196468 140724807044912 140655728445968 140656156157653 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23768] ppid=23708 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23768/stat : 23768 (java) S 23708 23711 21303 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 6 0 65061672 10212057088 4303 33554432000 4194304 4196468 140724807044912 140655727393424 140656156157653 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17212 KiB

[startup+0.210277 s]*
/proc/loadavg: 1.61 1.43 1.38 3/219 23777
/proc/meminfo: memFree=13739756/32770624 swapFree=67108860/67108860
[pid=23711] ppid=23708 vsize=10818904 memory=42120 CPUtime=0.25 cores=0,2,4,6
/proc/23711/stat : 23711 (java) S 23708 23711 21303 0 -1 1077944320 8242 12975 0 0 17 1 5 2 20 0 15 0 65061662 11078557696 10530 33554432000 4194304 4196468 140724807044912 140724807027456 140656156147447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
/proc/23711/statm: 2704726 10530 2989 1 0 2667149 0
[pid=23711/tid=23764] ppid=23708 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/23711/task/23764/stat : 23764 (java) R 23708 23711 21303 0 -1 4202560 4788 12975 0 0 11 1 5 2 20 0 15 0 65061671 11078557696 10530 33554432000 4194304 4196468 140724807044912 140656127970976 140656140227934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23765] ppid=23708 vsize=10818904 memory=4211973576156831114 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23765/stat : 23765 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11078557696 10530 33554432000 4194304 4196468 140724807044912 140656160389392 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23766] ppid=23708 vsize=10818904 memory=139849952040576 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23766/stat : 23766 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11078557696 10530 33554432000 4194304 4196468 140724807044912 140655729498512 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23767] ppid=23708 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23767/stat : 23767 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11078557696 10530 33554432000 4194304 4196468 140724807044912 140655728445968 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23768] ppid=23708 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23768/stat : 23768 (java) S 23708 23711 21303 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 65061672 11078557696 10530 33554432000 4194304 4196468 140724807044912 140655727393424 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23769] ppid=23708 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23769/stat : 23769 (java) S 23708 23711 21303 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 65061673 11078557696 10530 33554432000 4194304 4196468 140724807044912 140655615535600 140656156158594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23770] ppid=23708 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23770/stat : 23770 (java) S 23708 23711 21303 0 -1 1077944384 33 12975 0 0 0 0 5 2 20 0 15 0 65061674 11078590464 10596 33554432000 4194304 4196468 140724807044912 140655614481824 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23771] ppid=23708 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23771/stat : 23771 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061674 11078590464 10596 33554432000 4194304 4196468 140724807044912 140655011554800 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23772] ppid=23708 vsize=10819896 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23772/stat : 23772 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11079573504 10596 33554432000 4194304 4196468 140724807044912 140654704155344 140656156166043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23773] ppid=23708 vsize=10819896 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23711/task/23773/stat : 23773 (java) S 23708 23711 21303 0 -1 1077944384 539 12975 0 0 1 0 5 2 20 0 15 0 65061677 11079573504 10596 33554432000 4194304 4196468 140724807044912 140655580923888 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23774] ppid=23708 vsize=10819896 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23711/task/23774/stat : 23774 (java) S 23708 23711 21303 0 -1 1077944384 71 12975 0 0 1 0 5 2 20 0 15 0 65061677 11079573504 10596 33554432000 4194304 4196468 140724807044912 140655579871344 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23775] ppid=23708 vsize=10819896 memory=139849952040576 CPUtime=0.1 cores=0,2,4,6
/proc/23711/task/23775/stat : 23775 (java) S 23708 23711 21303 0 -1 1077944384 605 12975 0 0 3 0 5 2 20 0 15 0 65061677 11079573504 10596 33554432000 4194304 4196468 140724807044912 140655578818800 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23776] ppid=23708 vsize=10819896 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23776/stat : 23776 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11079573504 10662 33554432000 4194304 4196468 140724807044912 140654670596704 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23777] ppid=23708 vsize=10819896 memory=139849952040576 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23777/stat : 23777 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061677 11079573504 10662 33554432000 4194304 4196468 140724807044912 140655577766704 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 42120 KiB

[startup+0.31065 s]*
/proc/loadavg: 1.61 1.43 1.38 3/219 23777
/proc/meminfo: memFree=13728096/32770624 swapFree=67108860/67108860
[pid=23711] ppid=23708 vsize=10819352 memory=52836 CPUtime=0.38 cores=0,2,4,6
/proc/23711/stat : 23711 (java) S 23708 23711 21303 0 -1 1077944320 10742 12975 0 0 29 2 5 2 20 0 15 0 65061662 11079016448 13209 33554432000 4194304 4196468 140724807044912 140724807027456 140656156147447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
/proc/23711/statm: 2704838 13209 3108 1 0 2667149 0
[pid=23711/tid=23764] ppid=23708 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/23711/task/23764/stat : 23764 (java) R 23708 23711 21303 0 -1 4202560 7284 12975 0 0 20 1 5 2 20 0 15 0 65061671 11079016448 13209 33554432000 4194304 4196468 140724807044912 140656127959456 140656140227934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23765] ppid=23708 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23765/stat : 23765 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11079016448 13209 33554432000 4194304 4196468 140724807044912 140656160389392 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23766] ppid=23708 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23766/stat : 23766 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11079016448 13209 33554432000 4194304 4196468 140724807044912 140655729498512 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23767] ppid=23708 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23767/stat : 23767 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11079016448 13209 33554432000 4194304 4196468 140724807044912 140655728445968 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23768] ppid=23708 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23768/stat : 23768 (java) S 23708 23711 21303 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 65061672 11079016448 13209 33554432000 4194304 4196468 140724807044912 140655727393424 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23769] ppid=23708 vsize=10819352 memory=139849952040575 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23769/stat : 23769 (java) S 23708 23711 21303 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 65061673 11079016448 13209 33554432000 4194304 4196468 140724807044912 140655615535600 140656156158594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23770] ppid=23708 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23770/stat : 23770 (java) S 23708 23711 21303 0 -1 1077944384 33 12975 0 0 0 0 5 2 20 0 15 0 65061674 11079016448 13209 33554432000 4194304 4196468 140724807044912 140655614481824 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23771] ppid=23708 vsize=10819352 memory=139849952040576 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23771/stat : 23771 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061674 11079016448 13209 33554432000 4194304 4196468 140724807044912 140655011554800 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23772] ppid=23708 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23772/stat : 23772 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11079016448 13209 33554432000 4194304 4196468 140724807044912 140654704155344 140656156166043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23773] ppid=23708 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23711/task/23773/stat : 23773 (java) S 23708 23711 21303 0 -1 1077944384 542 12975 0 0 1 0 5 2 20 0 15 0 65061677 11079016448 13209 33554432000 4194304 4196468 140724807044912 140655580923888 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23774] ppid=23708 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23711/task/23774/stat : 23774 (java) S 23708 23711 21303 0 -1 1077944384 71 12975 0 0 1 0 5 2 20 0 15 0 65061677 11079016448 13209 33554432000 4194304 4196468 140724807044912 140655579871344 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23775] ppid=23708 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23775/stat : 23775 (java) R 23708 23711 21303 0 -1 4202560 610 12975 0 0 5 0 5 2 20 0 15 0 65061677 11079016448 13209 33554432000 4194304 4196468 140724807044912 140655578818800 140656156168794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23776] ppid=23708 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23776/stat : 23776 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11079016448 13209 33554432000 4194304 4196468 140724807044912 140654670596704 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23777] ppid=23708 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23777/stat : 23777 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061677 11079016448 13209 33554432000 4194304 4196468 140724807044912 140655577766704 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52836 KiB

[startup+0.700849 s]
/proc/loadavg: 1.61 1.43 1.38 3/219 23777
/proc/meminfo: memFree=13717180/32770624 swapFree=67108860/67108860
[pid=23711] ppid=23708 vsize=10819352 memory=84564 CPUtime=0.99 cores=0,2,4,6
/proc/23711/stat : 23711 (java) S 23708 23711 21303 0 -1 1077944320 16808 12975 0 0 88 4 5 2 20 0 15 0 65061662 11079016448 21141 33554432000 4194304 4196468 140724807044912 140724807027456 140656156147447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
/proc/23711/statm: 2704838 21141 3230 1 0 2667149 0
[pid=23711/tid=23764] ppid=23708 vsize=10819352 memory=19928 CPUtime=0.66 cores=0,2,4,6
/proc/23711/task/23764/stat : 23764 (java) R 23708 23711 21303 0 -1 4202560 12324 12975 0 0 56 3 5 2 20 0 15 0 65061671 11079016448 21141 33554432000 4194304 4196468 140724807044912 140656127968272 140656141313033 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23765] ppid=23708 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23765/stat : 23765 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11079016448 21141 33554432000 4194304 4196468 140724807044912 140656160389392 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23766] ppid=23708 vsize=10819352 memory=288230587427469581 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23766/stat : 23766 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11079016448 21141 33554432000 4194304 4196468 140724807044912 140655729498512 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23767] ppid=23708 vsize=10819352 memory=15816694631256675 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23767/stat : 23767 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11079016448 21141 33554432000 4194304 4196468 140724807044912 140655728445968 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23768] ppid=23708 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23768/stat : 23768 (java) S 23708 23711 21303 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 65061672 11079016448 21141 33554432000 4194304 4196468 140724807044912 140655727393424 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23769] ppid=23708 vsize=10819352 memory=139849839714816 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23769/stat : 23769 (java) S 23708 23711 21303 0 -1 1077944384 5 12975 0 0 0 0 5 2 20 0 15 0 65061673 11079016448 21141 33554432000 4194304 4196468 140724807044912 140655615535600 140656156158594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23770] ppid=23708 vsize=10819352 memory=139852725093397 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23770/stat : 23770 (java) S 23708 23711 21303 0 -1 1077944384 33 12975 0 0 0 0 5 2 20 0 15 0 65061674 11079016448 21141 33554432000 4194304 4196468 140724807044912 140655614481824 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23771] ppid=23708 vsize=10819352 memory=952 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23771/stat : 23771 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061674 11079016448 21141 33554432000 4194304 4196468 140724807044912 140655011554800 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23772] ppid=23708 vsize=10819352 memory=7305218370954682711 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23772/stat : 23772 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11079016448 21141 33554432000 4194304 4196468 140724807044912 140654704155344 140656156166043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23773] ppid=23708 vsize=10819352 memory=7452169109558027630 CPUtime=0.13 cores=0,2,4,6
/proc/23711/task/23773/stat : 23773 (java) S 23708 23711 21303 0 -1 1077944384 895 12975 0 0 6 0 5 2 20 0 15 0 65061677 11079016448 21141 33554432000 4194304 4196468 140724807044912 140655580923888 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23774] ppid=23708 vsize=10819352 memory=6935653654008516688 CPUtime=0.17 cores=0,2,4,6
/proc/23711/task/23774/stat : 23774 (java) S 23708 23711 21303 0 -1 1077944384 693 12975 0 0 10 0 5 2 20 0 15 0 65061677 11079016448 21141 33554432000 4194304 4196468 140724807044912 140655579871344 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23775] ppid=23708 vsize=10819352 memory=5450909908396308010 CPUtime=0.2 cores=0,2,4,6
/proc/23711/task/23775/stat : 23775 (java) S 23708 23711 21303 0 -1 1077944384 652 12975 0 0 13 0 5 2 20 0 15 0 65061677 11079016448 21141 33554432000 4194304 4196468 140724807044912 140655578818800 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23776] ppid=23708 vsize=10819352 memory=1404238533774450294 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23776/stat : 23776 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11079016448 21141 33554432000 4194304 4196468 140724807044912 140654670596704 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23777] ppid=23708 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23777/stat : 23777 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061677 11079016448 21141 33554432000 4194304 4196468 140724807044912 140655577766704 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84564 KiB

[startup+1.50169 s]
/proc/loadavg: 1.61 1.43 1.38 5/219 23777
/proc/meminfo: memFree=13672660/32770624 swapFree=67108860/67108860
[pid=23711] ppid=23708 vsize=10832204 memory=175200 CPUtime=3.01 cores=0,2,4,6
/proc/23711/stat : 23711 (java) S 23708 23711 21303 0 -1 1077944320 24519 12975 0 0 285 9 5 2 20 0 15 0 65061662 11092176896 43800 33554432000 4194304 4196468 140724807044912 140724807027456 140656156147447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
/proc/23711/statm: 2708051 43800 3449 1 0 2669709 0
[pid=23711/tid=23764] ppid=23708 vsize=10832204 memory=153760 CPUtime=1.45 cores=0,2,4,6
/proc/23711/task/23764/stat : 23764 (java) R 23708 23711 21303 0 -1 4202560 16888 12975 0 0 132 6 5 2 20 0 15 0 65061671 11092176896 43800 33554432000 4194304 4196468 140724807044912 140656127935712 140656156169373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23765] ppid=23708 vsize=10832204 memory=-3117775541953848935 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23765/stat : 23765 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11092176896 43800 33554432000 4194304 4196468 140724807044912 140656160389392 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23766] ppid=23708 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23766/stat : 23766 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11092176896 43800 33554432000 4194304 4196468 140724807044912 140655729498512 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23767] ppid=23708 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23767/stat : 23767 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061672 11092176896 43800 33554432000 4194304 4196468 140724807044912 140655728445968 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23768] ppid=23708 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23768/stat : 23768 (java) S 23708 23711 21303 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 65061672 11092176896 43800 33554432000 4194304 4196468 140724807044912 140655727393424 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23769] ppid=23708 vsize=10832204 memory=241936917140216 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23769/stat : 23769 (java) S 23708 23711 21303 0 -1 1077944384 12 12975 0 0 0 0 5 2 20 0 15 0 65061673 11092176896 43800 33554432000 4194304 4196468 140724807044912 140655615535600 140656156158594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23770] ppid=23708 vsize=10832204 memory=3843371840305377312 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23770/stat : 23770 (java) S 23708 23711 21303 0 -1 1077944384 33 12975 0 0 0 0 5 2 20 0 15 0 65061674 11092176896 43800 33554432000 4194304 4196468 140724807044912 140655614481824 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23771] ppid=23708 vsize=10832204 memory=4638778398333161808 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23771/stat : 23771 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061674 11092176896 43800 33554432000 4194304 4196468 140724807044912 140655011554800 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23772] ppid=23708 vsize=10832204 memory=6935650355271196736 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23772/stat : 23772 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11092176896 43800 33554432000 4194304 4196468 140724807044912 140654704155344 140656156166043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23773] ppid=23708 vsize=10832204 memory=279699678822640 CPUtime=0.54 cores=0,2,4,6
/proc/23711/task/23773/stat : 23773 (java) R 23708 23711 21303 0 -1 4202560 1913 12975 0 0 47 0 5 2 20 0 15 0 65061677 11092176896 43800 33554432000 4194304 4196468 140724807044912 140655580907856 140656139615565 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23774] ppid=23708 vsize=10832204 memory=6935649255759570240 CPUtime=0.65 cores=0,2,4,6
/proc/23711/task/23774/stat : 23774 (java) R 23708 23711 21303 0 -1 4202560 1920 12975 0 0 58 0 5 2 20 0 15 0 65061677 11092176896 43800 33554432000 4194304 4196468 140724807044912 140655579871344 140656140540122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23775] ppid=23708 vsize=10832204 memory=-6941273562531654242 CPUtime=0.53 cores=0,2,4,6
/proc/23711/task/23775/stat : 23775 (java) S 23708 23711 21303 0 -1 1077944384 1547 12975 0 0 46 0 5 2 20 0 15 0 65061677 11092176896 43800 33554432000 4194304 4196468 140724807044912 140655578818800 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23776] ppid=23708 vsize=10832204 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23776/stat : 23776 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11092176896 43800 33554432000 4194304 4196468 140724807044912 140654670596704 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23777] ppid=23708 vsize=10832204 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23777/stat : 23777 (java) S 23708 23711 21303 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 65061677 11092176896 43800 33554432000 4194304 4196468 140724807044912 140655577766704 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 10832204 KiB

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

Current children cumulated memory: 383064 KiB

[startup+8.21637 s]
# the end of solver process 23711 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19.4243 s, system=0.327331 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40094 s]
/proc/loadavg: 1.64 1.44 1.38 5/219 23777
/proc/meminfo: memFree=13409576/32770624 swapFree=67108860/67108860
[pid=23711] ppid=23708 vsize=10916192 memory=396576 CPUtime=16.46 cores=0,2,4,6
/proc/23711/stat : 23711 (java) S 23708 23711 21303 0 -1 1077944320 70655 12975 0 0 1614 25 5 2 20 0 15 0 65061662 11178180608 99144 33554432000 4194304 4196468 140724807044912 140724807027456 140656156147447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
/proc/23711/statm: 2729048 99144 3524 1 0 2690701 0
[pid=23711/tid=23764] ppid=23708 vsize=10916192 memory=1728 CPUtime=6.23 cores=0,2,4,6
/proc/23711/task/23764/stat : 23764 (java) R 23708 23711 21303 0 -1 4202560 43560 12975 0 0 604 12 5 2 20 0 15 0 65061671 11178180608 99144 33554432000 4194304 4196468 140724807044912 140656127980392 140655780400620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23765] ppid=23708 vsize=10916192 memory=792 CPUtime=0.11 cores=0,2,4,6
/proc/23711/task/23765/stat : 23765 (java) S 23708 23711 21303 0 -1 1077944384 104 12975 0 0 4 0 5 2 20 0 15 0 65061672 11178180608 99144 33554432000 4194304 4196468 140724807044912 140656160389392 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23766] ppid=23708 vsize=10916192 memory=1228 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23766/stat : 23766 (java) S 23708 23711 21303 0 -1 1077944384 243 12975 0 0 5 0 5 2 20 0 15 0 65061672 11178180608 99144 33554432000 4194304 4196468 140724807044912 140655729498512 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23767] ppid=23708 vsize=10916192 memory=1948 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23767/stat : 23767 (java) S 23708 23711 21303 0 -1 1077944384 189 12975 0 0 5 0 5 2 20 0 15 0 65061672 11178180608 99144 33554432000 4194304 4196468 140724807044912 140655728445968 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23768] ppid=23708 vsize=10916192 memory=5524 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23768/stat : 23768 (java) S 23708 23711 21303 0 -1 1077944384 176 12975 0 0 4 1 5 2 20 0 15 0 65061672 11178180608 99144 33554432000 4194304 4196468 140724807044912 140655727393424 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23769] ppid=23708 vsize=10916192 memory=1444 CPUtime=0.11 cores=0,2,4,6
/proc/23711/task/23769/stat : 23769 (java) S 23708 23711 21303 0 -1 1077944384 3852 12975 0 0 4 0 5 2 20 0 15 0 65061673 11178180608 99144 33554432000 4194304 4196468 140724807044912 140655615535600 140656156158594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23770] ppid=23708 vsize=10916192 memory=192 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23770/stat : 23770 (java) S 23708 23711 21303 0 -1 1077944384 40 12975 0 0 0 0 5 2 20 0 15 0 65061674 11178180608 99144 33554432000 4194304 4196468 140724807044912 140655614481888 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23771] ppid=23708 vsize=10916192 memory=5307 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23771/stat : 23771 (java) S 23708 23711 21303 0 -1 1077944384 6 12975 0 0 0 0 5 2 20 0 15 0 65061674 11178180608 99144 33554432000 4194304 4196468 140724807044912 140655011554816 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23772] ppid=23708 vsize=10916192 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23772/stat : 23772 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11178180608 99144 33554432000 4194304 4196468 140724807044912 140654704155344 140656156166043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23773] ppid=23708 vsize=10916192 memory=1776 CPUtime=3.99 cores=0,2,4,6
/proc/23711/task/23773/stat : 23773 (java) R 23708 23711 21303 0 -1 4202560 6145 12975 0 0 388 4 5 2 20 0 15 0 65061677 11178180608 99144 33554432000 4194304 4196468 140724807044912 140655580911328 140656137692041 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23774] ppid=23708 vsize=10916192 memory=0 CPUtime=3.79 cores=0,2,4,6
/proc/23711/task/23774/stat : 23774 (java) S 23708 23711 21303 0 -1 1077944384 5522 12975 0 0 370 2 5 2 20 0 15 0 65061677 11178180608 99144 33554432000 4194304 4196468 140724807044912 140655579871344 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23775] ppid=23708 vsize=10916192 memory=0 CPUtime=2.34 cores=0,2,4,6
/proc/23711/task/23775/stat : 23775 (java) S 23708 23711 21303 0 -1 1077944384 8607 12975 0 0 225 2 5 2 20 0 15 0 65061677 11178180608 99144 33554432000 4194304 4196468 140724807044912 140655578818800 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23776] ppid=23708 vsize=10916192 memory=382 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23776/stat : 23776 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11178180608 99144 33554432000 4194304 4196468 140724807044912 140654670596704 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23777] ppid=23708 vsize=10916192 memory=109 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23777/stat : 23777 (java) S 23708 23711 21303 0 -1 1077944384 12 12975 0 0 0 0 5 2 20 0 15 0 65061677 11178180608 99144 33554432000 4194304 4196468 140724807044912 140655577766704 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
Current children cumulated CPU time: 16.46 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 396576 KiB

[startup+7.20071 s]
/proc/loadavg: 1.64 1.44 1.38 3/219 23777
/proc/meminfo: memFree=13345844/32770624 swapFree=67108860/67108860
[pid=23711] ppid=23708 vsize=10916192 memory=437500 CPUtime=18.01 cores=0,2,4,6
/proc/23711/stat : 23711 (java) S 23708 23711 21303 0 -1 1077944320 71794 12975 0 0 1768 26 5 2 20 0 15 0 65061662 11178180608 109375 33554432000 4194304 4196468 140724807044912 140724807027456 140656156147447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
/proc/23711/statm: 2729048 109375 3524 1 0 2690701 0
[pid=23711/tid=23764] ppid=23708 vsize=10916192 memory=6791534058613427641 CPUtime=7.01 cores=0,2,4,6
/proc/23711/task/23764/stat : 23764 (java) R 23708 23711 21303 0 -1 4202560 43583 12975 0 0 682 12 5 2 20 0 15 0 65061671 11178180608 109375 33554432000 4194304 4196468 140724807044912 140656127981512 140655781696657 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23765] ppid=23708 vsize=10916192 memory=3828 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23765/stat : 23765 (java) S 23708 23711 21303 0 -1 1077944384 119 12975 0 0 5 0 5 2 20 0 15 0 65061672 11178180608 109375 33554432000 4194304 4196468 140724807044912 140656160389392 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23766] ppid=23708 vsize=10916192 memory=19928 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23766/stat : 23766 (java) S 23708 23711 21303 0 -1 1077944384 246 12975 0 0 5 0 5 2 20 0 15 0 65061672 11178180608 109375 33554432000 4194304 4196468 140724807044912 140655729498512 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23767] ppid=23708 vsize=10916192 memory=1296 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23767/stat : 23767 (java) S 23708 23711 21303 0 -1 1077944384 191 12975 0 0 5 0 5 2 20 0 15 0 65061672 11178180608 109375 33554432000 4194304 4196468 140724807044912 140655728445968 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23768] ppid=23708 vsize=10916192 memory=370740 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23768/stat : 23768 (java) S 23708 23711 21303 0 -1 1077944384 186 12975 0 0 4 1 5 2 20 0 15 0 65061672 11178180608 109375 33554432000 4194304 4196468 140724807044912 140655727393424 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23769] ppid=23708 vsize=10916192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/23711/task/23769/stat : 23769 (java) S 23708 23711 21303 0 -1 1077944384 3909 12975 0 0 4 0 5 2 20 0 15 0 65061673 11178180608 109375 33554432000 4194304 4196468 140724807044912 140655615535600 140656156158594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23770] ppid=23708 vsize=10916192 memory=7445382915234949737 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23770/stat : 23770 (java) S 23708 23711 21303 0 -1 1077944384 40 12975 0 0 0 0 5 2 20 0 15 0 65061674 11178180608 109375 33554432000 4194304 4196468 140724807044912 140655614481952 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23771] ppid=23708 vsize=10916192 memory=383182 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23771/stat : 23771 (java) S 23708 23711 21303 0 -1 1077944384 6 12975 0 0 0 0 5 2 20 0 15 0 65061674 11178180608 109375 33554432000 4194304 4196468 140724807044912 140655011554816 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23772] ppid=23708 vsize=10916192 memory=-7385037589438827369 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23772/stat : 23772 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11178180608 109375 33554432000 4194304 4196468 140724807044912 140654704155344 140656156166043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23773] ppid=23708 vsize=10916192 memory=9126232286719478932 CPUtime=4.32 cores=0,2,4,6
/proc/23711/task/23773/stat : 23773 (java) R 23708 23711 21303 0 -1 4202560 6656 12975 0 0 421 4 5 2 20 0 15 0 65061677 11178180608 109375 33554432000 4194304 4196468 140724807044912 140655580924184 140656142125633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23774] ppid=23708 vsize=10916192 memory=-6520476117441828254 CPUtime=4.15 cores=0,2,4,6
/proc/23711/task/23774/stat : 23774 (java) R 23708 23711 21303 0 -1 4202560 6020 12975 0 0 406 2 5 2 20 0 15 0 65061677 11178180608 109375 33554432000 4194304 4196468 140724807044912 140655579860432 140656135580539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23775] ppid=23708 vsize=10916192 memory=8695509162339240768 CPUtime=2.39 cores=0,2,4,6
/proc/23711/task/23775/stat : 23775 (java) S 23708 23711 21303 0 -1 1077944384 8627 12975 0 0 230 2 5 2 20 0 15 0 65061677 11178180608 109375 33554432000 4194304 4196468 140724807044912 140655578818800 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23776] ppid=23708 vsize=10916192 memory=7533807676074704953 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23776/stat : 23776 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11178180608 109375 33554432000 4194304 4196468 140724807044912 140654670596704 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23777] ppid=23708 vsize=10916192 memory=8246111205470666818 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23777/stat : 23777 (java) S 23708 23711 21303 0 -1 1077944384 12 12975 0 0 0 0 5 2 20 0 15 0 65061677 11178180608 109375 33554432000 4194304 4196468 140724807044912 140655577766704 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
Current children cumulated CPU time: 18.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 437500 KiB

[startup+8.00069 s]*
/proc/loadavg: 1.64 1.44 1.38 5/219 23777
/proc/meminfo: memFree=13341252/32770624 swapFree=67108860/67108860
[pid=23711] ppid=23708 vsize=10916192 memory=437568 CPUtime=19.2 cores=0,2,4,6
/proc/23711/stat : 23711 (java) S 23708 23711 21303 0 -1 1077944320 72572 12975 0 0 1887 26 5 2 20 0 15 0 65061662 11178180608 109392 33554432000 4194304 4196468 140724807044912 140724807027456 140656156147447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
/proc/23711/statm: 2729048 109392 3524 1 0 2690701 0
[pid=23711/tid=23764] ppid=23708 vsize=10916192 memory=7379521180873486167 CPUtime=7.82 cores=0,2,4,6
/proc/23711/task/23764/stat : 23764 (java) R 23708 23711 21303 0 -1 4202560 43584 12975 0 0 763 12 5 2 20 0 15 0 65061671 11178180608 109392 33554432000 4194304 4196468 140724807044912 140656127975408 140655780891712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23765] ppid=23708 vsize=10916192 memory=3762111407707310516 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23765/stat : 23765 (java) S 23708 23711 21303 0 -1 1077944384 119 12975 0 0 5 0 5 2 20 0 15 0 65061672 11178180608 109392 33554432000 4194304 4196468 140724807044912 140656160389392 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23766] ppid=23708 vsize=10916192 memory=3834166802404461236 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23766/stat : 23766 (java) S 23708 23711 21303 0 -1 1077944384 246 12975 0 0 5 0 5 2 20 0 15 0 65061672 11178180608 109392 33554432000 4194304 4196468 140724807044912 140655729498512 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23767] ppid=23708 vsize=10916192 memory=5787213827113242978 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23767/stat : 23767 (java) S 23708 23711 21303 0 -1 1077944384 191 12975 0 0 5 0 5 2 20 0 15 0 65061672 11178180608 109392 33554432000 4194304 4196468 140724807044912 140655728445968 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23768] ppid=23708 vsize=10916192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23768/stat : 23768 (java) S 23708 23711 21303 0 -1 1077944384 186 12975 0 0 4 1 5 2 20 0 15 0 65061672 11178180608 109392 33554432000 4194304 4196468 140724807044912 140655727393424 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23769] ppid=23708 vsize=10916192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/23711/task/23769/stat : 23769 (java) S 23708 23711 21303 0 -1 1077944384 3909 12975 0 0 4 0 5 2 20 0 15 0 65061673 11178180608 109392 33554432000 4194304 4196468 140724807044912 140655615535600 140656156158594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23770] ppid=23708 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23770/stat : 23770 (java) S 23708 23711 21303 0 -1 1077944384 40 12975 0 0 0 0 5 2 20 0 15 0 65061674 11178180608 109392 33554432000 4194304 4196468 140724807044912 140655614481952 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23771] ppid=23708 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23771/stat : 23771 (java) S 23708 23711 21303 0 -1 1077944384 6 12975 0 0 0 0 5 2 20 0 15 0 65061674 11178180608 109392 33554432000 4194304 4196468 140724807044912 140655011554816 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23772] ppid=23708 vsize=10916192 memory=279699679223008 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23772/stat : 23772 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11178180608 109392 33554432000 4194304 4196468 140724807044912 140654704155344 140656156166043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23773] ppid=23708 vsize=10916192 memory=-5587106306044206369 CPUtime=4.47 cores=0,2,4,6
/proc/23711/task/23773/stat : 23773 (java) R 23708 23711 21303 0 -1 4202560 6670 12975 0 0 436 4 5 2 20 0 15 0 65061677 11178180608 109392 33554432000 4194304 4196468 140724807044912 140655580923888 140656139504479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23774] ppid=23708 vsize=10916192 memory=-7025452035940392864 CPUtime=4.37 cores=0,2,4,6
/proc/23711/task/23774/stat : 23774 (java) R 23708 23711 21303 0 -1 4202560 6779 12975 0 0 428 2 5 2 20 0 15 0 65061677 11178180608 109392 33554432000 4194304 4196468 140724807044912 140655579871344 140656135366046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23775] ppid=23708 vsize=10916192 memory=7308895142485716329 CPUtime=2.4 cores=0,2,4,6
/proc/23711/task/23775/stat : 23775 (java) S 23708 23711 21303 0 -1 1077944384 8631 12975 0 0 231 2 5 2 20 0 15 0 65061677 11178180608 109392 33554432000 4194304 4196468 140724807044912 140655578818800 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23776] ppid=23708 vsize=10916192 memory=6220147656134971493 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23776/stat : 23776 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 65061677 11178180608 109392 33554432000 4194304 4196468 140724807044912 140654670596704 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23777] ppid=23708 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23777/stat : 23777 (java) S 23708 23711 21303 0 -1 1077944384 12 12975 0 0 0 0 5 2 20 0 15 0 65061677 11178180608 109392 33554432000 4194304 4196468 140724807044912 140655577766704 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
Current children cumulated CPU time: 19.2 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 437568 KiB

[startup+8.2007 s]
/proc/loadavg: 1.64 1.44 1.38 5/219 23777
/proc/meminfo: memFree=13341252/32770624 swapFree=67108860/67108860
[pid=23711] ppid=23708 vsize=11014500 memory=447292 CPUtime=19.71 cores=0,2,4,6
/proc/23711/stat : 23711 (java) S 23708 23711 21303 0 -1 1077944320 72968 12975 0 0 1936 28 5 2 20 0 14 0 65061662 11278848000 111823 33554432000 4194304 4196468 140724807044912 140724807027456 140656156147447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
/proc/23711/statm: 2753625 111823 3526 1 0 2715278 0
[pid=23711/tid=23764] ppid=23708 vsize=11014500 memory=307089419490558267 CPUtime=7.99 cores=0,2,4,6
/proc/23711/task/23764/stat : 23764 (java) S 23708 23711 21303 0 -1 1077944384 43715 12975 0 0 780 12 5 2 20 0 14 0 65061671 11278848000 111823 33554432000 4194304 4196468 140724807044912 140656127990928 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23765] ppid=23708 vsize=11014500 memory=14134441857518180 CPUtime=0.13 cores=0,2,4,6
/proc/23711/task/23765/stat : 23765 (java) S 23708 23711 21303 0 -1 1077944384 123 12975 0 0 5 1 5 2 20 0 14 0 65061672 11278848000 111823 33554432000 4194304 4196468 140724807044912 140656160389392 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23766] ppid=23708 vsize=11014500 memory=-6876588461455810464 CPUtime=0.14 cores=0,2,4,6
/proc/23711/task/23766/stat : 23766 (java) S 23708 23711 21303 0 -1 1077944384 255 12975 0 0 6 1 5 2 20 0 14 0 65061672 11278848000 111823 33554432000 4194304 4196468 140724807044912 140655729498512 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23767] ppid=23708 vsize=11014500 memory=5865469458845953637 CPUtime=0.14 cores=0,2,4,6
/proc/23711/task/23767/stat : 23767 (java) S 23708 23711 21303 0 -1 1077944384 195 12975 0 0 6 1 5 2 20 0 14 0 65061672 11278848000 111823 33554432000 4194304 4196468 140724807044912 140655728445968 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23768] ppid=23708 vsize=11014500 memory=279699679128744 CPUtime=0.13 cores=0,2,4,6
/proc/23711/task/23768/stat : 23768 (java) S 23708 23711 21303 0 -1 1077944384 199 12975 0 0 5 1 5 2 20 0 14 0 65061672 11278848000 111823 33554432000 4194304 4196468 140724807044912 140655727393424 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23769] ppid=23708 vsize=11014500 memory=84 CPUtime=0.12 cores=0,2,4,6
/proc/23711/task/23769/stat : 23769 (java) S 23708 23711 21303 0 -1 1077944384 3909 12975 0 0 5 0 5 2 20 0 14 0 65061673 11278848000 111823 33554432000 4194304 4196468 140724807044912 140655615535808 140656156158594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23770] ppid=23708 vsize=11014500 memory=41124 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23770/stat : 23770 (java) S 23708 23711 21303 0 -1 1077944384 40 12975 0 0 0 0 5 2 20 0 14 0 65061674 11278848000 111823 33554432000 4194304 4196468 140724807044912 140655614481952 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23771] ppid=23708 vsize=11014500 memory=-7094132109863559211 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23771/stat : 23771 (java) S 23708 23711 21303 0 -1 1077944384 6 12975 0 0 0 0 5 2 20 0 14 0 65061674 11278848000 111823 33554432000 4194304 4196468 140724807044912 140655011554816 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23772] ppid=23708 vsize=11014500 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23772/stat : 23772 (java) S 23708 23711 21303 0 -1 1077944384 6 12975 0 0 0 0 5 2 20 0 14 0 65061677 11278848000 111823 33554432000 4194304 4196468 140724807044912 140654704154992 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23773] ppid=23708 vsize=11014500 memory=6944656575208382560 CPUtime=4.59 cores=0,2,4,6
/proc/23711/task/23773/stat : 23773 (java) S 23708 23711 21303 0 -1 1077944384 6690 12975 0 0 448 4 5 2 20 0 14 0 65061677 11278848000 111823 33554432000 4194304 4196468 140724807044912 140655580908880 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23774] ppid=23708 vsize=11014500 memory=6944656592387989600 CPUtime=4.52 cores=0,2,4,6
/proc/23711/task/23774/stat : 23774 (java) S 23708 23711 21303 0 -1 1077944384 6952 12975 0 0 443 2 5 2 20 0 14 0 65061677 11278848000 111823 33554432000 4194304 4196468 140724807044912 140655579855856 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23775] ppid=23708 vsize=11014500 memory=8187704045996132461 CPUtime=2.43 cores=0,2,4,6
/proc/23711/task/23775/stat : 23775 (java) S 23708 23711 21303 0 -1 1077944384 8657 12975 0 0 234 2 5 2 20 0 14 0 65061677 11278848000 111823 33554432000 4194304 4196468 140724807044912 140655578818800 140656156158594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
[pid=23711/tid=23776] ppid=23708 vsize=11014500 memory=-6737208495982354336 CPUtime=0.07 cores=0,2,4,6
/proc/23711/task/23776/stat : 23776 (java) S 23708 23711 21303 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 14 0 65061677 11278848000 111823 33554432000 4194304 4196468 140724807044912 140654670596704 140656156157653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140724807051886 140724807054684 140724807054684 140724807057359 0
Current children cumulated CPU time: 19.71 s
Current children cumulated vsize: 11014500 KiB
Current children cumulated memory: 447292 KiB

Child status: 0
Real time (s): 8.21643
CPU time (s): 19.7516
CPU user time (s): 19.4243
CPU system time (s): 0.327331
CPU usage (%): 240.391
Max. virtual memory (cumulated for all children) (KiB): 11014500
Max. memory (cumulated for all children) (KiB): 447292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.4243
system time used= 0.327331
maximum resident set size= 449280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85970
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= 8538
involuntary context switches= 100


# summary of solver processes directly reported to runsolver:
#   pid: 23711
#   total CPU time (s): 19.7516
#   total CPU user time (s): 19.4243
#   total CPU system time (s): 0.327331

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076867 second user time and 0.121678 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 4294526

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data