2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.10	OPT	14	1876.06	1824.51

0.70/0.56	c Concrete v3.10.1560635388952 running
21.92/9.53	o 15
21.92/9.55	o 14
1875.95/1824.48	v <instantiation
1875.95/1824.48	v         cost = '14'>
1875.95/1824.48	v       <list>
1875.95/1824.48	v         p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14]
1875.95/1824.48	v       </list>
1875.95/1824.48	v       <values>
1875.95/1824.48	v         1 2 5 7 14 8 6 12 11 0 4 10 9 3 13 0 0 1 1 2 3 3 3 3 4 5 5 5 5 6 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 3 3 3 3 0 0 0 0 0 0 0 0 0 1 2 2 2 3 3 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 2 2 3 3 3 3 3 3 3 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 2 3 3 3 3 3 3 3 3 0 0 0 0 0 1 2 3 3 4 4 4 5 6 6 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 2 3 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 1 1 1 1 2 3 3 3 3 3 3 3 3 3 3 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 0 1 2 2 2 2 2 3 3 3 3 3 3 3 4 1 1 1 1 2 2 2 2 3 3 3 3 4 4 4 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 0 1 1 1 1 2 2 2 2 2 3 3 3 4 4 0 0 0 0 0 0 0 0 0 1 2 2 2 2 3 0 0 1 2 2 2 2 2 2 3 3 3 4 4 4 0 0 0 0 1 2 2 3 3 3 4 4 4 5 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 3 3 3 3 3 3 3 3 3 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 5 8 12 13 14 14 14 12 14 13 13 13 12 9 5
1875.95/1824.48	v       </values>
1875.95/1824.48	v     </instantiation>
1875.95/1824.48	s OPTIMUM FOUND

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387153-1568292417/watcher-4387153-1568292417 -o /tmp/evaluation-result-4387153-1568292417/solver-4387153-1568292417 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568286551-1786 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=759367143 HOME/instance-4387153-1568292417.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100526 s]*
/proc/loadavg: 1.22 1.38 1.42 5/218 4065
/proc/meminfo: memFree=22264448/32770624 swapFree=67108848/67108860
[pid=4008] ppid=4005 vsize=9972712 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4005 4008 466 0 -1 1077944320 4466 13179 0 0 1 0 5 3 20 0 6 0 405179117 10212057088 4204 33554432000 4194304 4196468 140729176045408 140729176027952 140335798808311 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
/proc/4008/statm: 2493178 4204 1935 1 0 2481616 0
[pid=4008/tid=4061] ppid=4005 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/4008/task/4061/stat : 4061 (java) R 4005 4008 466 0 -1 4202560 2269 13179 0 0 1 0 5 3 20 0 6 0 405179126 10212057088 4716 33554432000 4194304 4196468 140729176045408 140335770644168 140335798830237 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4062] ppid=4005 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4062/stat : 4062 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 6 0 405179127 10212057088 4716 33554432000 4194304 4196468 140729176045408 140335803051152 140335798818517 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4063] ppid=4005 vsize=9972712 memory=140695388694144 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4063/stat : 4063 (java) S 4005 4008 466 0 -1 1077944384 1 13179 0 0 0 0 5 3 20 0 6 0 405179127 10212057088 4716 33554432000 4194304 4196468 140729176045408 140335717870608 140335798818517 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4064] ppid=4005 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4064/stat : 4064 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 6 0 405179127 10212057088 4716 33554432000 4194304 4196468 140729176045408 140335716817808 140335798818517 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4065] ppid=4005 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4065/stat : 4065 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 6 0 405179127 10212057088 4716 33554432000 4194304 4196468 140729176045408 140335715765008 140335798818517 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB

[startup+0.21033 s]*
/proc/loadavg: 1.22 1.38 1.42 3/227 4074
/proc/meminfo: memFree=22246804/32770624 swapFree=67108848/67108860
[pid=4008] ppid=4005 vsize=10818940 memory=38288 CPUtime=0.26 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4005 4008 466 0 -1 1077944320 6872 13179 0 0 16 2 5 3 20 0 15 0 405179117 11078594560 9572 33554432000 4194304 4196468 140729176045408 140729176027952 140335798808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
/proc/4008/statm: 2704735 9572 3002 1 0 2667149 0
[pid=4008/tid=4061] ppid=4005 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/4008/task/4061/stat : 4061 (java) R 4005 4008 466 0 -1 4202560 3344 13179 0 0 10 1 5 3 20 0 15 0 405179126 11078594560 9572 33554432000 4194304 4196468 140729176045408 140335770625424 140335782888798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4062] ppid=4005 vsize=10818940 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4062/stat : 4062 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179127 11078594560 9572 33554432000 4194304 4196468 140729176045408 140335803051152 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4063] ppid=4005 vsize=10818940 memory=140695388706026 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4063/stat : 4063 (java) S 4005 4008 466 0 -1 1077944384 1 13179 0 0 0 0 5 3 20 0 15 0 405179127 11078594560 9572 33554432000 4194304 4196468 140729176045408 140335717870608 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4064] ppid=4005 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4064/stat : 4064 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179127 11078594560 9572 33554432000 4194304 4196468 140729176045408 140335716817808 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4065] ppid=4005 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4065/stat : 4065 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179127 11078594560 9572 33554432000 4194304 4196468 140729176045408 140335715765008 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4066] ppid=4005 vsize=10818940 memory=140695388694144 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4066/stat : 4066 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179128 11078594560 9572 33554432000 4194304 4196468 140729176045408 140335325321584 140335798819458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4067] ppid=4005 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4067/stat : 4067 (java) S 4005 4008 466 0 -1 1077944384 13 13179 0 0 0 0 5 3 20 0 15 0 405179129 11078594560 9572 33554432000 4194304 4196468 140729176045408 140334700946464 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4068] ppid=4005 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4068/stat : 4068 (java) S 4005 4008 466 0 -1 1077944384 1 13179 0 0 0 0 5 3 20 0 15 0 405179129 11078594560 9572 33554432000 4194304 4196468 140729176045408 140334566728560 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4069] ppid=4005 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4069/stat : 4069 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11078594560 9572 33554432000 4194304 4196468 140729176045408 140334326437712 140335798826907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4070] ppid=4005 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4008/task/4070/stat : 4070 (java) S 4005 4008 466 0 -1 1077944384 475 13179 0 0 1 0 5 3 20 0 15 0 405179132 11078594560 9572 33554432000 4194304 4196468 140729176045408 140335324269424 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4071] ppid=4005 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/4008/task/4071/stat : 4071 (java) S 4005 4008 466 0 -1 1077944384 214 13179 0 0 1 0 5 3 20 0 15 0 405179132 11078594560 9572 33554432000 4194304 4196468 140729176045408 140335323216624 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4072] ppid=4005 vsize=10818940 memory=140695388694144 CPUtime=0.1 cores=0,2,4,6
/proc/4008/task/4072/stat : 4072 (java) R 4005 4008 466 0 -1 4202560 618 13179 0 0 2 0 5 3 20 0 15 0 405179132 11078594560 9572 33554432000 4194304 4196468 140729176045408 140335322163824 140335782888798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4073] ppid=4005 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4073/stat : 4073 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11078594560 9572 33554432000 4194304 4196468 140729176045408 140334292880096 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4074] ppid=4005 vsize=10818940 memory=140695388694144 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4074/stat : 4074 (java) S 4005 4008 466 0 -1 1077944384 1 13179 0 0 0 0 5 3 20 0 15 0 405179132 11078594560 9572 33554432000 4194304 4196468 140729176045408 140335321111216 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38288 KiB

[startup+0.310933 s]*
/proc/loadavg: 1.22 1.38 1.42 4/227 4074
/proc/meminfo: memFree=22236744/32770624 swapFree=67108848/67108860
[pid=4008] ppid=4005 vsize=10819084 memory=47088 CPUtime=0.41 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4005 4008 466 0 -1 1077944320 10459 13179 0 0 29 4 5 3 20 0 15 0 405179117 11078742016 11772 33554432000 4194304 4196468 140729176045408 140729176027952 140335798808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
/proc/4008/statm: 2704771 11772 3060 1 0 2667149 0
[pid=4008/tid=4061] ppid=4005 vsize=10819136 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/4008/task/4061/stat : 4061 (java) R 4005 4008 466 0 -1 4202560 6910 13179 0 0 19 2 5 3 20 0 15 0 405179126 11078795264 11772 33554432000 4194304 4196468 140729176045408 140335770625936 140335721885251 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4062] ppid=4005 vsize=10819136 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4062/stat : 4062 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179127 11078795264 11772 33554432000 4194304 4196468 140729176045408 140335803051152 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4063] ppid=4005 vsize=10819136 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4063/stat : 4063 (java) S 4005 4008 466 0 -1 1077944384 1 13179 0 0 0 0 5 3 20 0 15 0 405179127 11078795264 11772 33554432000 4194304 4196468 140729176045408 140335717870608 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4064] ppid=4005 vsize=10819136 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4064/stat : 4064 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179127 11078795264 11772 33554432000 4194304 4196468 140729176045408 140335716817808 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4065] ppid=4005 vsize=10819136 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4065/stat : 4065 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179127 11078795264 11772 33554432000 4194304 4196468 140729176045408 140335715765008 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4066] ppid=4005 vsize=10819136 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4066/stat : 4066 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179128 11078795264 11772 33554432000 4194304 4196468 140729176045408 140335325321584 140335798819458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4067] ppid=4005 vsize=10819160 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4067/stat : 4067 (java) S 4005 4008 466 0 -1 1077944384 13 13179 0 0 0 0 5 3 20 0 15 0 405179129 11078819840 11772 33554432000 4194304 4196468 140729176045408 140334700946464 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4068] ppid=4005 vsize=10819160 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4068/stat : 4068 (java) S 4005 4008 466 0 -1 1077944384 1 13179 0 0 0 0 5 3 20 0 15 0 405179129 11078819840 11772 33554432000 4194304 4196468 140729176045408 140334566728560 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4069] ppid=4005 vsize=10819160 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4069/stat : 4069 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11078819840 11772 33554432000 4194304 4196468 140729176045408 140334326437712 140335798826907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4070] ppid=4005 vsize=10819160 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4008/task/4070/stat : 4070 (java) S 4005 4008 466 0 -1 1077944384 476 13179 0 0 2 0 5 3 20 0 15 0 405179132 11078819840 11772 33554432000 4194304 4196468 140729176045408 140335324269424 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4071] ppid=4005 vsize=10819160 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/4008/task/4071/stat : 4071 (java) S 4005 4008 466 0 -1 1077944384 215 13179 0 0 2 0 5 3 20 0 15 0 405179132 11078819840 11772 33554432000 4194304 4196468 140729176045408 140335323216624 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4072] ppid=4005 vsize=10819160 memory=140695388694144 CPUtime=0.13 cores=0,2,4,6
/proc/4008/task/4072/stat : 4072 (java) S 4005 4008 466 0 -1 1077944384 643 13179 0 0 5 0 5 3 20 0 15 0 405179132 11078819840 11772 33554432000 4194304 4196468 140729176045408 140335322163824 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4073] ppid=4005 vsize=10819160 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4073/stat : 4073 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11078819840 11772 33554432000 4194304 4196468 140729176045408 140334292880096 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4074] ppid=4005 vsize=10819160 memory=140695388694144 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4074/stat : 4074 (java) S 4005 4008 466 0 -1 1077944384 1 13179 0 0 0 0 5 3 20 0 15 0 405179132 11078819840 11772 33554432000 4194304 4196468 140729176045408 140335321111216 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 47088 KiB

[startup+0.70137 s]
/proc/loadavg: 1.22 1.38 1.42 3/227 4074
/proc/meminfo: memFree=22223716/32770624 swapFree=67108848/67108860
[pid=4008] ppid=4005 vsize=10824340 memory=80316 CPUtime=1.15 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4005 4008 466 0 -1 1077944320 14784 13179 0 0 101 6 5 3 20 0 15 0 405179117 11084124160 20079 33554432000 4194304 4196468 140729176045408 140729176027952 140335798808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
/proc/4008/statm: 2706085 20079 3505 1 0 2668173 0
[pid=4008/tid=4061] ppid=4005 vsize=10824340 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/4008/task/4061/stat : 4061 (java) R 4005 4008 466 0 -1 4202560 10403 13179 0 0 54 4 5 3 20 0 15 0 405179126 11084124160 20079 33554432000 4194304 4196468 140729176045408 140335770621504 140335782888798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4062] ppid=4005 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4062/stat : 4062 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179127 11084124160 20079 33554432000 4194304 4196468 140729176045408 140335803051152 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4063] ppid=4005 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4063/stat : 4063 (java) S 4005 4008 466 0 -1 1077944384 1 13179 0 0 0 0 5 3 20 0 15 0 405179127 11084124160 20079 33554432000 4194304 4196468 140729176045408 140335717870608 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4064] ppid=4005 vsize=10824340 memory=140695277023440 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4064/stat : 4064 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179127 11084124160 20079 33554432000 4194304 4196468 140729176045408 140335716817808 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4065] ppid=4005 vsize=10824340 memory=140698833650258 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4065/stat : 4065 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179127 11084124160 20079 33554432000 4194304 4196468 140729176045408 140335715765008 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4066] ppid=4005 vsize=10824340 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4066/stat : 4066 (java) S 4005 4008 466 0 -1 1077944384 5 13179 0 0 0 0 5 3 20 0 15 0 405179128 11084124160 20079 33554432000 4194304 4196468 140729176045408 140335325321584 140335798819458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4067] ppid=4005 vsize=10824340 memory=7302135314614015849 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4067/stat : 4067 (java) S 4005 4008 466 0 -1 1077944384 13 13179 0 0 0 0 5 3 20 0 15 0 405179129 11084124160 20079 33554432000 4194304 4196468 140729176045408 140334700946464 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4068] ppid=4005 vsize=10824340 memory=6010179516970067026 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4068/stat : 4068 (java) S 4005 4008 466 0 -1 1077944384 1 13179 0 0 0 0 5 3 20 0 15 0 405179129 11084124160 20079 33554432000 4194304 4196468 140729176045408 140334566728560 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4069] ppid=4005 vsize=10824340 memory=1100 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4069/stat : 4069 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11084124160 20079 33554432000 4194304 4196468 140729176045408 140334326437712 140335798826907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4070] ppid=4005 vsize=10824340 memory=15208 CPUtime=0.21 cores=0,2,4,6
/proc/4008/task/4070/stat : 4070 (java) S 4005 4008 466 0 -1 1077944384 742 13179 0 0 13 0 5 3 20 0 15 0 405179132 11084124160 20079 33554432000 4194304 4196468 140729176045408 140335324269424 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4071] ppid=4005 vsize=10824340 memory=22888 CPUtime=0.23 cores=0,2,4,6
/proc/4008/task/4071/stat : 4071 (java) S 4005 4008 466 0 -1 1077944384 559 13179 0 0 15 0 5 3 20 0 15 0 405179132 11084124160 20079 33554432000 4194304 4196468 140729176045408 140335323216624 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4072] ppid=4005 vsize=10824340 memory=4048 CPUtime=0.25 cores=0,2,4,6
/proc/4008/task/4072/stat : 4072 (java) S 4005 4008 466 0 -1 1077944384 843 13179 0 0 17 0 5 3 20 0 15 0 405179132 11084124160 20079 33554432000 4194304 4196468 140729176045408 140335322163824 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4073] ppid=4005 vsize=10824340 memory=14288 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4073/stat : 4073 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11084124160 20079 33554432000 4194304 4196468 140729176045408 140334292880096 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4074] ppid=4005 vsize=10824340 memory=504 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4074/stat : 4074 (java) R 4005 4008 466 0 -1 4202560 1 13179 0 0 0 0 5 3 20 0 15 0 405179132 11084124160 20079 33554432000 4194304 4196468 140729176045408 140335321111216 140335798819458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80316 KiB

[startup+1.50077 s]
/proc/loadavg: 1.22 1.38 1.42 7/227 4074
/proc/meminfo: memFree=22168216/32770624 swapFree=67108848/67108860
[pid=4008] ppid=4005 vsize=10834656 memory=196792 CPUtime=3.09 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4005 4008 466 0 -1 1077944320 28347 13179 0 0 290 11 5 3 20 0 15 0 405179117 11094687744 49198 33554432000 4194304 4196468 140729176045408 140729176027952 140335798808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
/proc/4008/statm: 2708664 49198 3583 1 0 2670733 0
[pid=4008/tid=4061] ppid=4005 vsize=10834656 memory=1398722017469774279 CPUtime=1.43 cores=0,2,4,6
/proc/4008/task/4061/stat : 4061 (java) R 4005 4008 466 0 -1 4202560 15429 13179 0 0 129 6 5 3 20 0 15 0 405179126 11094687744 49198 33554432000 4194304 4196468 140729176045408 140335770636752 140335798830237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4062] ppid=4005 vsize=10834656 memory=4126316290023845779 CPUtime=0.09 cores=0,2,4,6
/proc/4008/task/4062/stat : 4062 (java) S 4005 4008 466 0 -1 1077944384 322 13179 0 0 1 0 5 3 20 0 15 0 405179127 11094687744 49198 33554432000 4194304 4196468 140729176045408 140335803051152 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4063] ppid=4005 vsize=10834656 memory=281390554079200 CPUtime=0.09 cores=0,2,4,6
/proc/4008/task/4063/stat : 4063 (java) S 4005 4008 466 0 -1 1077944384 34 13179 0 0 1 0 5 3 20 0 15 0 405179127 11094687744 49198 33554432000 4194304 4196468 140729176045408 140335717870608 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4064] ppid=4005 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4008/task/4064/stat : 4064 (java) S 4005 4008 466 0 -1 1077944384 48 13179 0 0 1 0 5 3 20 0 15 0 405179127 11094687744 49198 33554432000 4194304 4196468 140729176045408 140335716817808 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4065] ppid=4005 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4008/task/4065/stat : 4065 (java) S 4005 4008 466 0 -1 1077944384 80 13179 0 0 1 0 5 3 20 0 15 0 405179127 11094687744 49198 33554432000 4194304 4196468 140729176045408 140335715765008 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4066] ppid=4005 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4008/task/4066/stat : 4066 (java) S 4005 4008 466 0 -1 1077944384 106 13179 0 0 1 0 5 3 20 0 15 0 405179128 11094687744 49198 33554432000 4194304 4196468 140729176045408 140335325321584 140335798819458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4067] ppid=4005 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4067/stat : 4067 (java) S 4005 4008 466 0 -1 1077944384 13 13179 0 0 0 0 5 3 20 0 15 0 405179129 11094687744 49223 33554432000 4194304 4196468 140729176045408 140334700946528 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4068] ppid=4005 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4068/stat : 4068 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179129 11094687744 49223 33554432000 4194304 4196468 140729176045408 140334566728576 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4069] ppid=4005 vsize=10834656 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4069/stat : 4069 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11094687744 49223 33554432000 4194304 4196468 140729176045408 140334326437712 140335798826907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4070] ppid=4005 vsize=10834656 memory=2867664656873529 CPUtime=0.62 cores=0,2,4,6
/proc/4008/task/4070/stat : 4070 (java) S 4005 4008 466 0 -1 1077944384 5711 13179 0 0 54 0 5 3 20 0 15 0 405179132 11094687744 49223 33554432000 4194304 4196468 140729176045408 140335324269424 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4071] ppid=4005 vsize=10834656 memory=4639948313719891052 CPUtime=0.61 cores=0,2,4,6
/proc/4008/task/4071/stat : 4071 (java) S 4005 4008 466 0 -1 1077944384 2120 13179 0 0 53 0 5 3 20 0 15 0 405179132 11094687744 49223 33554432000 4194304 4196468 140729176045408 140335323216624 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4072] ppid=4005 vsize=10834656 memory=8112282956445269571 CPUtime=0.54 cores=0,2,4,6
/proc/4008/task/4072/stat : 4072 (java) R 4005 4008 466 0 -1 4202560 2289 13179 0 0 45 1 5 3 20 0 15 0 405179132 11094687744 49223 33554432000 4194304 4196468 140729176045408 140335322163824 140335791905147 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4073] ppid=4005 vsize=10834656 memory=7660992747008971605 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4073/stat : 4073 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11094687744 49223 33554432000 4194304 4196468 140729176045408 140334292880096 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4074] ppid=4005 vsize=10834656 memory=281390554323280 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4074/stat : 4074 (java) S 4005 4008 466 0 -1 1077944384 1 13179 0 0 0 0 5 3 20 0 15 0 405179132 11094687744 49223 33554432000 4194304 4196468 140729176045408 140335321111216 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 10834656 KiB

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


[startup+1822.4 s]
/proc/loadavg: 1.25 1.34 1.38 3/227 4392
/proc/meminfo: memFree=21622548/32770624 swapFree=67108848/67108860
[pid=4008] ppid=4005 vsize=10851072 memory=977156 CPUtime=1873.91 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4005 4008 466 0 -1 1077944320 255896 13179 0 0 187091 292 5 3 20 0 15 0 405179117 11111497728 244289 33554432000 4194304 4196468 140729176045408 140729176027952 140335798808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
/proc/4008/statm: 2712768 244289 3629 1 0 2674829 0
[pid=4008/tid=4061] ppid=4005 vsize=10851072 memory=8612 CPUtime=1803.03 cores=0,2,4,6
/proc/4008/task/4061/stat : 4061 (java) R 4005 4008 466 0 -1 4202560 62747 13179 0 0 180250 45 5 3 20 0 15 0 405179126 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335770643712 140335409827765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4062] ppid=4005 vsize=10851072 memory=1192 CPUtime=9.69 cores=0,2,4,6
/proc/4008/task/4062/stat : 4062 (java) S 4005 4008 466 0 -1 1077944384 10563 13179 0 0 918 43 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335803051152 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4063] ppid=4005 vsize=10851072 memory=8112282956445269571 CPUtime=9.73 cores=0,2,4,6
/proc/4008/task/4063/stat : 4063 (java) S 4005 4008 466 0 -1 1077944384 14802 13179 0 0 924 41 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335717870608 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4064] ppid=4005 vsize=10851072 memory=14288 CPUtime=9.67 cores=0,2,4,6
/proc/4008/task/4064/stat : 4064 (java) S 4005 4008 466 0 -1 1077944384 14864 13179 0 0 916 43 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335716817808 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4065] ppid=4005 vsize=10851072 memory=504 CPUtime=9.69 cores=0,2,4,6
/proc/4008/task/4065/stat : 4065 (java) S 4005 4008 466 0 -1 1077944384 17147 13179 0 0 919 42 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335715765008 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4066] ppid=4005 vsize=10851072 memory=1728 CPUtime=7.48 cores=0,2,4,6
/proc/4008/task/4066/stat : 4066 (java) S 4005 4008 466 0 -1 1077944384 16138 13179 0 0 701 39 5 3 20 0 15 0 405179128 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335325321584 140335798819458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4067] ppid=4005 vsize=10851072 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4067/stat : 4067 (java) S 4005 4008 466 0 -1 1077944384 14 13179 0 0 0 0 5 3 20 0 15 0 405179129 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334700946528 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4068] ppid=4005 vsize=10851072 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4068/stat : 4068 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179129 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334566728576 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4069] ppid=4005 vsize=10851072 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4069/stat : 4069 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334326437712 140335798826907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4070] ppid=4005 vsize=10851072 memory=8612 CPUtime=8.94 cores=0,2,4,6
/proc/4008/task/4070/stat : 4070 (java) S 4005 4008 466 0 -1 1077944384 39336 13179 0 0 879 7 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335324269424 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4071] ppid=4005 vsize=10851072 memory=1192 CPUtime=9.64 cores=0,2,4,6
/proc/4008/task/4071/stat : 4071 (java) S 4005 4008 466 0 -1 1077944384 37963 13179 0 0 948 8 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335323216624 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4072] ppid=4005 vsize=10851072 memory=37612 CPUtime=5.5 cores=0,2,4,6
/proc/4008/task/4072/stat : 4072 (java) S 4005 4008 466 0 -1 1077944384 38764 13179 0 0 532 10 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335322163824 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4073] ppid=4005 vsize=10851072 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4073/stat : 4073 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334292880096 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4074] ppid=4005 vsize=10851072 memory=2352 CPUtime=1.14 cores=0,2,4,6
/proc/4008/task/4074/stat : 4074 (java) S 4005 4008 466 0 -1 1077944384 1345 13179 0 0 51 55 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335321111216 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
Current children cumulated CPU time: 1873.91 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 977156 KiB

[startup+1823.2 s]
/proc/loadavg: 1.25 1.34 1.38 3/227 4392
/proc/meminfo: memFree=21622548/32770624 swapFree=67108848/67108860
[pid=4008] ppid=4005 vsize=10851072 memory=977156 CPUtime=1874.73 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4005 4008 466 0 -1 1077944320 255903 13179 0 0 187173 292 5 3 20 0 15 0 405179117 11111497728 244289 33554432000 4194304 4196468 140729176045408 140729176027952 140335798808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
/proc/4008/statm: 2712768 244289 3629 1 0 2674829 0
[pid=4008/tid=4061] ppid=4005 vsize=10851072 memory=37612 CPUtime=1803.82 cores=0,2,4,6
/proc/4008/task/4061/stat : 4061 (java) R 4005 4008 466 0 -1 4202560 62752 13179 0 0 180329 45 5 3 20 0 15 0 405179126 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335770644112 140335389938919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4062] ppid=4005 vsize=10851072 memory=4048 CPUtime=9.7 cores=0,2,4,6
/proc/4008/task/4062/stat : 4062 (java) S 4005 4008 466 0 -1 1077944384 10563 13179 0 0 919 43 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335803051152 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4063] ppid=4005 vsize=10851072 memory=14288 CPUtime=9.74 cores=0,2,4,6
/proc/4008/task/4063/stat : 4063 (java) S 4005 4008 466 0 -1 1077944384 14803 13179 0 0 925 41 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335717870608 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4064] ppid=4005 vsize=10851072 memory=977156 CPUtime=9.67 cores=0,2,4,6
/proc/4008/task/4064/stat : 4064 (java) S 4005 4008 466 0 -1 1077944384 14864 13179 0 0 916 43 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335716817808 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4065] ppid=4005 vsize=10851072 memory=3924 CPUtime=9.7 cores=0,2,4,6
/proc/4008/task/4065/stat : 4065 (java) S 4005 4008 466 0 -1 1077944384 17148 13179 0 0 920 42 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335715765008 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4066] ppid=4005 vsize=10851072 memory=37612 CPUtime=7.48 cores=0,2,4,6
/proc/4008/task/4066/stat : 4066 (java) S 4005 4008 466 0 -1 1077944384 16138 13179 0 0 701 39 5 3 20 0 15 0 405179128 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335325321584 140335798819458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4067] ppid=4005 vsize=10851072 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4067/stat : 4067 (java) S 4005 4008 466 0 -1 1077944384 14 13179 0 0 0 0 5 3 20 0 15 0 405179129 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334700946528 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4068] ppid=4005 vsize=10851072 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4068/stat : 4068 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179129 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334566728576 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4069] ppid=4005 vsize=10851072 memory=4540 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4069/stat : 4069 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334326437712 140335798826907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4070] ppid=4005 vsize=10851072 memory=752 CPUtime=8.94 cores=0,2,4,6
/proc/4008/task/4070/stat : 4070 (java) S 4005 4008 466 0 -1 1077944384 39336 13179 0 0 879 7 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335324269424 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4071] ppid=4005 vsize=10851072 memory=1636 CPUtime=9.64 cores=0,2,4,6
/proc/4008/task/4071/stat : 4071 (java) S 4005 4008 466 0 -1 1077944384 37963 13179 0 0 948 8 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335323216624 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4072] ppid=4005 vsize=10851072 memory=812 CPUtime=5.5 cores=0,2,4,6
/proc/4008/task/4072/stat : 4072 (java) S 4005 4008 466 0 -1 1077944384 38764 13179 0 0 532 10 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335322163824 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4073] ppid=4005 vsize=10851072 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4073/stat : 4073 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334292880096 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4074] ppid=4005 vsize=10851072 memory=1384 CPUtime=1.14 cores=0,2,4,6
/proc/4008/task/4074/stat : 4074 (java) S 4005 4008 466 0 -1 1077944384 1345 13179 0 0 51 55 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335321111216 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
Current children cumulated CPU time: 1874.73 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 977156 KiB

[startup+1824 s]*
/proc/loadavg: 1.25 1.34 1.38 3/227 4392
/proc/meminfo: memFree=21622548/32770624 swapFree=67108848/67108860
[pid=4008] ppid=4005 vsize=10851072 memory=977156 CPUtime=1875.55 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4005 4008 466 0 -1 1077944320 255909 13179 0 0 187255 292 5 3 20 0 15 0 405179117 11111497728 244289 33554432000 4194304 4196468 140729176045408 140729176027952 140335798808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
/proc/4008/statm: 2712768 244289 3629 1 0 2674829 0
[pid=4008/tid=4061] ppid=4005 vsize=10851072 memory=1398722017469774279 CPUtime=1804.62 cores=0,2,4,6
/proc/4008/task/4061/stat : 4061 (java) R 4005 4008 466 0 -1 4202560 62757 13179 0 0 180409 45 5 3 20 0 15 0 405179126 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335770644624 140335409049239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4062] ppid=4005 vsize=10851072 memory=2864 CPUtime=9.7 cores=0,2,4,6
/proc/4008/task/4062/stat : 4062 (java) S 4005 4008 466 0 -1 1077944384 10564 13179 0 0 919 43 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335803051152 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4063] ppid=4005 vsize=10851072 memory=2692 CPUtime=9.74 cores=0,2,4,6
/proc/4008/task/4063/stat : 4063 (java) S 4005 4008 466 0 -1 1077944384 14803 13179 0 0 925 41 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335717870608 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4064] ppid=4005 vsize=10851072 memory=2376 CPUtime=9.68 cores=0,2,4,6
/proc/4008/task/4064/stat : 4064 (java) S 4005 4008 466 0 -1 1077944384 14864 13179 0 0 917 43 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335716817808 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4065] ppid=4005 vsize=10851072 memory=4126316290023845779 CPUtime=9.7 cores=0,2,4,6
/proc/4008/task/4065/stat : 4065 (java) S 4005 4008 466 0 -1 1077944384 17148 13179 0 0 920 42 5 3 20 0 15 0 405179127 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335715765008 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4066] ppid=4005 vsize=10851072 memory=5536 CPUtime=7.49 cores=0,2,4,6
/proc/4008/task/4066/stat : 4066 (java) S 4005 4008 466 0 -1 1077944384 16138 13179 0 0 702 39 5 3 20 0 15 0 405179128 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335325321584 140335798819458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4067] ppid=4005 vsize=10851072 memory=4540 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4067/stat : 4067 (java) S 4005 4008 466 0 -1 1077944384 14 13179 0 0 0 0 5 3 20 0 15 0 405179129 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334700946528 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4068] ppid=4005 vsize=10851072 memory=752 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4068/stat : 4068 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179129 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334566728576 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4069] ppid=4005 vsize=10851072 memory=1636 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4069/stat : 4069 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334326437712 140335798826907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4070] ppid=4005 vsize=10851072 memory=8112282956445269571 CPUtime=8.94 cores=0,2,4,6
/proc/4008/task/4070/stat : 4070 (java) S 4005 4008 466 0 -1 1077944384 39336 13179 0 0 879 7 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335324269424 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4071] ppid=4005 vsize=10851072 memory=1636 CPUtime=9.64 cores=0,2,4,6
/proc/4008/task/4071/stat : 4071 (java) S 4005 4008 466 0 -1 1077944384 37963 13179 0 0 948 8 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335323216624 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4072] ppid=4005 vsize=10851072 memory=812 CPUtime=5.5 cores=0,2,4,6
/proc/4008/task/4072/stat : 4072 (java) S 4005 4008 466 0 -1 1077944384 38764 13179 0 0 532 10 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335322163824 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4073] ppid=4005 vsize=10851072 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4073/stat : 4073 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140334292880096 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4074] ppid=4005 vsize=10851072 memory=1384 CPUtime=1.14 cores=0,2,4,6
/proc/4008/task/4074/stat : 4074 (java) S 4005 4008 466 0 -1 1077944384 1345 13179 0 0 51 55 5 3 20 0 15 0 405179132 11111497728 244289 33554432000 4194304 4196468 140729176045408 140335321111216 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
Current children cumulated CPU time: 1875.55 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 977156 KiB

[startup+1824.4 s]
/proc/loadavg: 1.25 1.34 1.38 3/227 4392
/proc/meminfo: memFree=21622548/32770624 swapFree=67108848/67108860
[pid=4008] ppid=4005 vsize=10851072 memory=979204 CPUtime=1875.95 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4005 4008 466 0 -1 1077944320 255916 13179 0 0 187295 292 5 3 20 0 15 0 405179117 11111497728 244801 33554432000 4194304 4196468 140729176045408 140729176027952 140335798808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
/proc/4008/statm: 2712768 244801 3629 1 0 2674829 0
[pid=4008/tid=4061] ppid=4005 vsize=10851072 memory=3264 CPUtime=1805.01 cores=0,2,4,6
/proc/4008/task/4061/stat : 4061 (java) R 4005 4008 466 0 -1 4202560 62759 13179 0 0 180448 45 5 3 20 0 15 0 405179126 11111497728 244801 33554432000 4194304 4196468 140729176045408 140335770643248 140335389939256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4062] ppid=4005 vsize=10851072 memory=8112282956445269571 CPUtime=9.7 cores=0,2,4,6
/proc/4008/task/4062/stat : 4062 (java) S 4005 4008 466 0 -1 1077944384 10565 13179 0 0 919 43 5 3 20 0 15 0 405179127 11111497728 244801 33554432000 4194304 4196468 140729176045408 140335803051152 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4063] ppid=4005 vsize=10851072 memory=1536 CPUtime=9.74 cores=0,2,4,6
/proc/4008/task/4063/stat : 4063 (java) S 4005 4008 466 0 -1 1077944384 14805 13179 0 0 925 41 5 3 20 0 15 0 405179127 11111497728 244801 33554432000 4194304 4196468 140729176045408 140335717870608 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4064] ppid=4005 vsize=10851072 memory=932 CPUtime=9.68 cores=0,2,4,6
/proc/4008/task/4064/stat : 4064 (java) S 4005 4008 466 0 -1 1077944384 14865 13179 0 0 917 43 5 3 20 0 15 0 405179127 11111497728 244801 33554432000 4194304 4196468 140729176045408 140335716817808 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4065] ppid=4005 vsize=10851072 memory=2008 CPUtime=9.7 cores=0,2,4,6
/proc/4008/task/4065/stat : 4065 (java) S 4005 4008 466 0 -1 1077944384 17149 13179 0 0 920 42 5 3 20 0 15 0 405179127 11111497728 244801 33554432000 4194304 4196468 140729176045408 140335715765008 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4066] ppid=4005 vsize=10851072 memory=111636 CPUtime=7.49 cores=0,2,4,6
/proc/4008/task/4066/stat : 4066 (java) S 4005 4008 466 0 -1 1077944384 16138 13179 0 0 702 39 5 3 20 0 15 0 405179128 11111497728 244801 33554432000 4194304 4196468 140729176045408 140335325321584 140335798819458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4067] ppid=4005 vsize=10851072 memory=804 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4067/stat : 4067 (java) S 4005 4008 466 0 -1 1077944384 14 13179 0 0 0 0 5 3 20 0 15 0 405179129 11111497728 244801 33554432000 4194304 4196468 140729176045408 140334700946528 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4068] ppid=4005 vsize=10851072 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4068/stat : 4068 (java) S 4005 4008 466 0 -1 1077944384 2 13179 0 0 0 0 5 3 20 0 15 0 405179129 11111497728 244801 33554432000 4194304 4196468 140729176045408 140334566728576 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4069] ppid=4005 vsize=10851072 memory=3264 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4069/stat : 4069 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11111497728 244801 33554432000 4194304 4196468 140729176045408 140334326437712 140335798826907 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4070] ppid=4005 vsize=10851072 memory=977156 CPUtime=8.94 cores=0,2,4,6
/proc/4008/task/4070/stat : 4070 (java) S 4005 4008 466 0 -1 1077944384 39336 13179 0 0 879 7 5 3 20 0 15 0 405179132 11111497728 244801 33554432000 4194304 4196468 140729176045408 140335324269424 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4071] ppid=4005 vsize=10851072 memory=1408 CPUtime=9.64 cores=0,2,4,6
/proc/4008/task/4071/stat : 4071 (java) S 4005 4008 466 0 -1 1077944384 37963 13179 0 0 948 8 5 3 20 0 15 0 405179132 11111497728 244801 33554432000 4194304 4196468 140729176045408 140335323216624 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4072] ppid=4005 vsize=10851072 memory=3144 CPUtime=5.5 cores=0,2,4,6
/proc/4008/task/4072/stat : 4072 (java) S 4005 4008 466 0 -1 1077944384 38764 13179 0 0 532 10 5 3 20 0 15 0 405179132 11111497728 244801 33554432000 4194304 4196468 140729176045408 140335322163824 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4073] ppid=4005 vsize=10851072 memory=1325120 CPUtime=0.08 cores=0,2,4,6
/proc/4008/task/4073/stat : 4073 (java) S 4005 4008 466 0 -1 1077944384 3 13179 0 0 0 0 5 3 20 0 15 0 405179132 11111497728 244801 33554432000 4194304 4196468 140729176045408 140334292880096 140335798818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
[pid=4008/tid=4074] ppid=4005 vsize=10851072 memory=4100 CPUtime=1.14 cores=0,2,4,6
/proc/4008/task/4074/stat : 4074 (java) S 4005 4008 466 0 -1 1077944384 1345 13179 0 0 51 55 5 3 20 0 15 0 405179132 11111497728 244801 33554432000 4194304 4196468 140729176045408 140335321111216 140335798819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15056896 140729176054518 140729176057029 140729176057029 140729176059855 0
Current children cumulated CPU time: 1875.95 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 979204 KiB

[startup+1824.5 s]*
/proc/loadavg: 1.31 1.35 1.39 3/214 4393
/proc/meminfo: memFree=21876084/32770624 swapFree=67108848/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 1824.51
CPU time (s): 1876.06
CPU user time (s): 1873.1
CPU system time (s): 2.96666
CPU usage (%): 102.826
Max. virtual memory (cumulated for all children) (KiB): 10851072
Max. memory (cumulated for all children) (KiB): 982852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1873.1
system time used= 2.96666
maximum resident set size= 984900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214330
involuntary context switches= 5874


# summary of solver processes directly reported to runsolver:
#   pid: 4008
#   total CPU time (s): 1876.06
#   total CPU user time (s): 1873.1
#   total CPU system time (s): 2.96666

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5779 second user time and 16.2536 second system time

The end

Name	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml
MD5SUM	1892dc6bbe7f4411da75bff22067cf15
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	69.5267
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	8
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"size":15,"count":15},{"size":16,"count":15}]
Minimum variable degree	2
Maximum variable degree	31
Distribution of variable degrees	[{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}]
Minimum constraint arity	2
Maximum constraint arity	31
Distribution of constraint arities	[{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}]
Number of extensional constraints	450
Number of intensional constraints	450
Distribution of constraint types	[{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4387153

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data