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.12.3	OPT	10	840.876	813.622

0.78/0.55	c Concrete v3.12.3.1568965526260 running
12.95/4.97	o 15
13.61/5.16	o 14
17.27/6.64	o 13
17.43/6.71	o 12
64.94/50.34	o 11
64.94/50.39	o 10
840.83/813.60	v <instantiation
840.83/813.60	v         cost = '10'>
840.83/813.60	v       <list>
840.83/813.60	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]
840.83/813.60	v       </list>
840.83/813.60	v       <values>
840.83/813.60	v         10 0 14 12 5 9 3 2 6 8 13 7 11 4 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 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 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 0 0 0 1 1 1 1 1 1 1 1 2 2 2 2 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 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 1 1 0 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 1 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 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 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 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 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 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 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 0 1 1 1 1 1 1 1 1 0 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 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 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 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 4 8 10 10 10 10 10 10 10 10 9 8 8 7 4
840.83/813.60	v       </values>
840.83/813.60	v     </instantiation>
840.83/813.60	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 (1982 MiB free)
  memory of node 1: 16384 MiB (6082 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402838-1568987027/watcher-4402838-1568987027 -o /tmp/evaluation-result-4402838-1568987027/solver-4402838-1568987027 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568967599-29765 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1834842146 HOME/instance-4402838-1568987027.xml 

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

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


[startup+0.100078 s]*
/proc/loadavg: 1.20 1.37 1.45 3/218 1860
/proc/meminfo: memFree=8251604/32770624 swapFree=67002116/67108860
[pid=1800] ppid=1797 vsize=9972712 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/1800/stat : 1800 (java) S 1797 1800 29733 0 -1 1077944320 4494 13048 0 0 1 0 5 2 20 0 6 0 474864264 10212057088 4270 33554432000 4194304 4196468 140720727306384 140720727288928 140623516614391 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
/proc/1800/statm: 2493178 4270 1935 1 0 2481616 0
[pid=1800/tid=1856] ppid=1797 vsize=9988792 memory=576460756329955604 CPUtime=0.08 cores=1,3,5,7
/proc/1800/task/1856/stat : 1856 (java) R 1797 1800 29733 0 -1 4202560 2395 13048 0 0 1 0 5 2 20 0 6 0 474864273 10228523008 4336 33554432000 4194304 4196468 140720727306384 140623488451152 140623502146304 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1857] ppid=1797 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1857/stat : 1857 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 6 0 474864273 10228523008 4336 33554432000 4194304 4196468 140720727306384 140623520857232 140623516624597 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1858] ppid=1797 vsize=9988792 memory=3434058 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1858/stat : 1858 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 6 0 474864273 10228523008 4336 33554432000 4194304 4196468 140720727306384 140623409130512 140623516624597 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1859] ppid=1797 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1859/stat : 1859 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 6 0 474864273 10228523008 4336 33554432000 4194304 4196468 140720727306384 140623408077712 140623516624597 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1860] ppid=1797 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1860/stat : 1860 (java) S 1797 1800 29733 0 -1 1077944384 2 13048 0 0 0 0 5 2 20 0 6 0 474864273 10228523008 4336 33554432000 4194304 4196468 140720727306384 140623407024912 140623516624597 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB

[startup+0.212072 s]*
/proc/loadavg: 1.20 1.37 1.45 3/227 1869
/proc/meminfo: memFree=8232460/32770624 swapFree=67002116/67108860
[pid=1800] ppid=1797 vsize=10820196 memory=40488 CPUtime=0.27 cores=1,3,5,7
/proc/1800/stat : 1800 (java) S 1797 1800 29733 0 -1 1077944320 7551 13048 0 0 18 2 5 2 20 0 15 0 474864264 11079880704 10122 33554432000 4194304 4196468 140720727306384 140720727288928 140623516614391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
/proc/1800/statm: 2705049 10122 3327 1 0 2667149 0
[pid=1800/tid=1856] ppid=1797 vsize=10820196 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/1800/task/1856/stat : 1856 (java) R 1797 1800 29733 0 -1 4202560 4019 13048 0 0 11 1 5 2 20 0 15 0 474864273 11079880704 10122 33554432000 4194304 4196468 140720727306384 140623488428576 140623516636317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1857] ppid=1797 vsize=10820196 memory=4294967641 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1857/stat : 1857 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864273 11079880704 10122 33554432000 4194304 4196468 140720727306384 140623520857232 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1858] ppid=1797 vsize=10820196 memory=3616591161636837024 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1858/stat : 1858 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864273 11079880704 10122 33554432000 4194304 4196468 140720727306384 140623409130512 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1859] ppid=1797 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1859/stat : 1859 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864273 11079880704 10122 33554432000 4194304 4196468 140720727306384 140623408077712 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1860] ppid=1797 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1860/stat : 1860 (java) S 1797 1800 29733 0 -1 1077944384 2 13048 0 0 0 0 5 2 20 0 15 0 474864273 11079880704 10122 33554432000 4194304 4196468 140720727306384 140623407024912 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1861] ppid=1797 vsize=10820196 memory=139980721247872 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1861/stat : 1861 (java) S 1797 1800 29733 0 -1 1077944384 2 13048 0 0 0 0 5 2 20 0 15 0 474864275 11079880704 10122 33554432000 4194304 4196468 140720727306384 140622519433584 140623516625538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1862] ppid=1797 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1862/stat : 1862 (java) S 1797 1800 29733 0 -1 1077944384 33 13048 0 0 0 0 5 2 20 0 15 0 474864275 11079880704 10122 33554432000 4194304 4196468 140720727306384 140622518379552 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1863] ppid=1797 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1863/stat : 1863 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864275 11079880704 10122 33554432000 4194304 4196468 140720727306384 140622396646256 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1864] ppid=1797 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1864/stat : 1864 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11079880704 10122 33554432000 4194304 4196468 140720727306384 140622089246544 140623516632987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1865] ppid=1797 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1800/task/1865/stat : 1865 (java) S 1797 1800 29733 0 -1 1077944384 595 13048 0 0 1 0 5 2 20 0 15 0 474864278 11079880704 10122 33554432000 4194304 4196468 140720727306384 140622484822896 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1866] ppid=1797 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1800/task/1866/stat : 1866 (java) S 1797 1800 29733 0 -1 1077944384 72 13048 0 0 1 0 5 2 20 0 15 0 474864278 11079880704 10122 33554432000 4194304 4196468 140720727306384 140622483770096 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1867] ppid=1797 vsize=10820196 memory=139980721247872 CPUtime=0.1 cores=1,3,5,7
/proc/1800/task/1867/stat : 1867 (java) S 1797 1800 29733 0 -1 1077944384 607 13048 0 0 3 0 5 2 20 0 15 0 474864278 11079880704 10122 33554432000 4194304 4196468 140720727306384 140622482717296 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1868] ppid=1797 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1868/stat : 1868 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11079880704 10122 33554432000 4194304 4196468 140720727306384 140622055688928 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1869] ppid=1797 vsize=10820196 memory=139980721247872 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1869/stat : 1869 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864279 11079880704 10122 33554432000 4194304 4196468 140720727306384 140622481664688 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 40488 KiB

[startup+0.310705 s]*
/proc/loadavg: 1.20 1.37 1.45 3/227 1869
/proc/meminfo: memFree=8222276/32770624 swapFree=67002116/67108860
[pid=1800] ppid=1797 vsize=10820196 memory=48676 CPUtime=0.39 cores=1,3,5,7
/proc/1800/stat : 1800 (java) S 1797 1800 29733 0 -1 1077944320 10886 13048 0 0 29 3 5 2 20 0 15 0 474864264 11079880704 12169 33554432000 4194304 4196468 140720727306384 140720727288928 140623516614391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
/proc/1800/statm: 2705049 12169 3347 1 0 2667149 0
[pid=1800/tid=1856] ppid=1797 vsize=10820196 memory=1692 CPUtime=0.29 cores=1,3,5,7
/proc/1800/task/1856/stat : 1856 (java) R 1797 1800 29733 0 -1 4202560 7349 13048 0 0 19 3 5 2 20 0 15 0 474864273 11079880704 12234 33554432000 4194304 4196468 140720727306384 140623488420528 140623502856944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1857] ppid=1797 vsize=10820196 memory=4294969536 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1857/stat : 1857 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864273 11079880704 12234 33554432000 4194304 4196468 140720727306384 140623520857232 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1858] ppid=1797 vsize=10820196 memory=139980721247872 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1858/stat : 1858 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864273 11079880704 12234 33554432000 4194304 4196468 140720727306384 140623409130512 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1859] ppid=1797 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1859/stat : 1859 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864273 11079880704 12234 33554432000 4194304 4196468 140720727306384 140623408077712 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1860] ppid=1797 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1860/stat : 1860 (java) S 1797 1800 29733 0 -1 1077944384 2 13048 0 0 0 0 5 2 20 0 15 0 474864273 11079880704 12234 33554432000 4194304 4196468 140720727306384 140623407024912 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1861] ppid=1797 vsize=10820196 memory=139980721247871 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1861/stat : 1861 (java) S 1797 1800 29733 0 -1 1077944384 2 13048 0 0 0 0 5 2 20 0 15 0 474864275 11079880704 12234 33554432000 4194304 4196468 140720727306384 140622519433584 140623516625538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1862] ppid=1797 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1862/stat : 1862 (java) S 1797 1800 29733 0 -1 1077944384 33 13048 0 0 0 0 5 2 20 0 15 0 474864275 11079880704 12234 33554432000 4194304 4196468 140720727306384 140622518379552 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1863] ppid=1797 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1863/stat : 1863 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864275 11079880704 12234 33554432000 4194304 4196468 140720727306384 140622396646256 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1864] ppid=1797 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1864/stat : 1864 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11079880704 12234 33554432000 4194304 4196468 140720727306384 140622089246544 140623516632987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1865] ppid=1797 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1800/task/1865/stat : 1865 (java) S 1797 1800 29733 0 -1 1077944384 596 13048 0 0 2 0 5 2 20 0 15 0 474864278 11079880704 12234 33554432000 4194304 4196468 140720727306384 140622484822896 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1866] ppid=1797 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1800/task/1866/stat : 1866 (java) S 1797 1800 29733 0 -1 1077944384 72 13048 0 0 2 0 5 2 20 0 15 0 474864278 11079880704 12234 33554432000 4194304 4196468 140720727306384 140622483770096 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1867] ppid=1797 vsize=10820196 memory=139980721247872 CPUtime=0.12 cores=1,3,5,7
/proc/1800/task/1867/stat : 1867 (java) S 1797 1800 29733 0 -1 1077944384 615 13048 0 0 5 0 5 2 20 0 15 0 474864278 11079880704 12234 33554432000 4194304 4196468 140720727306384 140622482717296 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1868] ppid=1797 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1868/stat : 1868 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11079880704 12234 33554432000 4194304 4196468 140720727306384 140622055688928 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1869] ppid=1797 vsize=10820196 memory=139980721247872 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1869/stat : 1869 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864279 11079880704 12234 33554432000 4194304 4196468 140720727306384 140622481664688 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48676 KiB

[startup+0.700698 s]
/proc/loadavg: 1.20 1.37 1.45 4/227 1869
/proc/meminfo: memFree=8207972/32770624 swapFree=67002116/67108860
[pid=1800] ppid=1797 vsize=10824364 memory=81832 CPUtime=1.15 cores=1,3,5,7
/proc/1800/stat : 1800 (java) S 1797 1800 29733 0 -1 1077944320 15204 13048 0 0 103 5 5 2 20 0 15 0 474864264 11084148736 20458 33554432000 4194304 4196468 140720727306384 140720727288928 140623516614391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
/proc/1800/statm: 2706091 20458 3515 1 0 2668173 0
[pid=1800/tid=1856] ppid=1797 vsize=10824364 memory=3588 CPUtime=0.66 cores=1,3,5,7
/proc/1800/task/1856/stat : 1856 (java) R 1797 1800 29733 0 -1 4202560 10514 13048 0 0 55 4 5 2 20 0 15 0 474864273 11084148736 20458 33554432000 4194304 4196468 140720727306384 140623488441552 140623084551489 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1857] ppid=1797 vsize=10824364 memory=54032 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1857/stat : 1857 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864273 11084148736 20458 33554432000 4194304 4196468 140720727306384 140623520857232 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1858] ppid=1797 vsize=10824364 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1858/stat : 1858 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864273 11084148736 20458 33554432000 4194304 4196468 140720727306384 140623409130512 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1859] ppid=1797 vsize=10824364 memory=1940 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1859/stat : 1859 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864273 11084148736 20458 33554432000 4194304 4196468 140720727306384 140623408077712 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1860] ppid=1797 vsize=10824364 memory=139980567647469 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1860/stat : 1860 (java) S 1797 1800 29733 0 -1 1077944384 2 13048 0 0 0 0 5 2 20 0 15 0 474864273 11084148736 20458 33554432000 4194304 4196468 140720727306384 140623407024912 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1861] ppid=1797 vsize=10824364 memory=279961134974944 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1861/stat : 1861 (java) S 1797 1800 29733 0 -1 1077944384 5 13048 0 0 0 0 5 2 20 0 15 0 474864275 11084148736 20458 33554432000 4194304 4196468 140720727306384 140622519433584 140623516625538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1862] ppid=1797 vsize=10824364 memory=279961134975136 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1862/stat : 1862 (java) S 1797 1800 29733 0 -1 1077944384 33 13048 0 0 0 0 5 2 20 0 15 0 474864275 11084148736 20458 33554432000 4194304 4196468 140720727306384 140622518379552 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1863] ppid=1797 vsize=10824364 memory=279961134975328 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1863/stat : 1863 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864275 11084148736 20458 33554432000 4194304 4196468 140720727306384 140622396646256 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1864] ppid=1797 vsize=10824364 memory=279961134975520 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1864/stat : 1864 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11084148736 20458 33554432000 4194304 4196468 140720727306384 140622089246544 140623516632987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1865] ppid=1797 vsize=10824364 memory=279961134975712 CPUtime=0.19 cores=1,3,5,7
/proc/1800/task/1865/stat : 1865 (java) S 1797 1800 29733 0 -1 1077944384 1085 13048 0 0 12 0 5 2 20 0 15 0 474864278 11084148736 20458 33554432000 4194304 4196468 140720727306384 140622484822896 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1866] ppid=1797 vsize=10824364 memory=279961134975904 CPUtime=0.24 cores=1,3,5,7
/proc/1800/task/1866/stat : 1866 (java) S 1797 1800 29733 0 -1 1077944384 524 13048 0 0 17 0 5 2 20 0 15 0 474864278 11084148736 20458 33554432000 4194304 4196468 140720727306384 140622483770096 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1867] ppid=1797 vsize=10824364 memory=279961134985440 CPUtime=0.24 cores=1,3,5,7
/proc/1800/task/1867/stat : 1867 (java) R 1797 1800 29733 0 -1 4202560 820 13048 0 0 17 0 5 2 20 0 15 0 474864278 11084148736 20458 33554432000 4194304 4196468 140720727306384 140622482712560 140623495138592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1868] ppid=1797 vsize=10824364 memory=279961134981504 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1868/stat : 1868 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11084148736 20458 33554432000 4194304 4196468 140720727306384 140622055688928 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1869] ppid=1797 vsize=10824364 memory=3588 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1869/stat : 1869 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864279 11084148736 20458 33554432000 4194304 4196468 140720727306384 140622481664688 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81832 KiB

[startup+1.50072 s]
/proc/loadavg: 1.20 1.37 1.45 5/227 1869
/proc/meminfo: memFree=8149836/32770624 swapFree=67002116/67108860
[pid=1800] ppid=1797 vsize=10837492 memory=214452 CPUtime=3.42 cores=1,3,5,7
/proc/1800/stat : 1800 (java) S 1797 1800 29733 0 -1 1077944320 35123 13048 0 0 325 10 5 2 20 0 15 0 474864264 11097591808 53613 33554432000 4194304 4196468 140720727306384 140720727288928 140623516614391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
/proc/1800/statm: 2709373 53613 3590 1 0 2671436 0
[pid=1800/tid=1856] ppid=1797 vsize=10837492 memory=7 CPUtime=1.42 cores=1,3,5,7
/proc/1800/task/1856/stat : 1856 (java) R 1797 1800 29733 0 -1 4202560 16206 13048 0 0 129 6 5 2 20 0 15 0 474864273 11097591808 53613 33554432000 4194304 4196468 140720727306384 140623488434904 140623501787366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1857] ppid=1797 vsize=10837492 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1857/stat : 1857 (java) S 1797 1800 29733 0 -1 1077944384 14 13048 0 0 0 0 5 2 20 0 15 0 474864273 11097591808 53613 33554432000 4194304 4196468 140720727306384 140623520857232 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1858] ppid=1797 vsize=10837492 memory=54032 CPUtime=0.08 cores=1,3,5,7
/proc/1800/task/1858/stat : 1858 (java) S 1797 1800 29733 0 -1 1077944384 76 13048 0 0 1 0 5 2 20 0 15 0 474864273 11097591808 53613 33554432000 4194304 4196468 140720727306384 140623409130512 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1859] ppid=1797 vsize=10837492 memory=984 CPUtime=0.08 cores=1,3,5,7
/proc/1800/task/1859/stat : 1859 (java) S 1797 1800 29733 0 -1 1077944384 53 13048 0 0 1 0 5 2 20 0 15 0 474864273 11097591808 53613 33554432000 4194304 4196468 140720727306384 140623408077712 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1860] ppid=1797 vsize=10837492 memory=1940 CPUtime=0.09 cores=1,3,5,7
/proc/1800/task/1860/stat : 1860 (java) S 1797 1800 29733 0 -1 1077944384 321 13048 0 0 2 0 5 2 20 0 15 0 474864273 11097591808 53613 33554432000 4194304 4196468 140720727306384 140623407024912 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1861] ppid=1797 vsize=10837492 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1800/task/1861/stat : 1861 (java) S 1797 1800 29733 0 -1 1077944384 177 13048 0 0 1 0 5 2 20 0 15 0 474864275 11097591808 53613 33554432000 4194304 4196468 140720727306384 140622519433584 140623516625538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1862] ppid=1797 vsize=10837492 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1862/stat : 1862 (java) S 1797 1800 29733 0 -1 1077944384 33 13048 0 0 0 0 5 2 20 0 15 0 474864275 11097591808 53613 33554432000 4194304 4196468 140720727306384 140622518379616 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1863] ppid=1797 vsize=10837492 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1863/stat : 1863 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864275 11097591808 53613 33554432000 4194304 4196468 140720727306384 140622396646272 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1864] ppid=1797 vsize=10837492 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1864/stat : 1864 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11097591808 53613 33554432000 4194304 4196468 140720727306384 140622089246544 140623516632987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1865] ppid=1797 vsize=10837492 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/1800/task/1865/stat : 1865 (java) R 1797 1800 29733 0 -1 4202560 10032 13048 0 0 84 1 5 2 20 0 15 0 474864278 11097591808 53613 33554432000 4194304 4196468 140720727306384 140622484808920 140623500000975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1866] ppid=1797 vsize=10837492 memory=3697 CPUtime=0.66 cores=1,3,5,7
/proc/1800/task/1866/stat : 1866 (java) R 1797 1800 29733 0 -1 4202560 3216 13048 0 0 59 0 5 2 20 0 15 0 474864278 11097591808 53613 33554432000 4194304 4196468 140720727306384 140622483770096 140623496107311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1867] ppid=1797 vsize=10837492 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/1800/task/1867/stat : 1867 (java) S 1797 1800 29733 0 -1 1077944384 2777 13048 0 0 44 0 5 2 20 0 15 0 474864278 11097591808 53613 33554432000 4194304 4196468 140720727306384 140622482717296 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1868] ppid=1797 vsize=10837492 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1868/stat : 1868 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11097591808 53613 33554432000 4194304 4196468 140720727306384 140622055688928 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1869] ppid=1797 vsize=10837492 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1869/stat : 1869 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864279 11097591808 53613 33554432000 4194304 4196468 140720727306384 140622481664688 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
Current children cumulated CPU time: 3.42 s
Current children cumulated vsize: 10837492 KiB

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

[pid=1800/tid=1868] ppid=1797 vsize=10853144 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1868/stat : 1868 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622055688928 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1869] ppid=1797 vsize=10853144 memory=776 CPUtime=0.46 cores=1,3,5,7
/proc/1800/task/1869/stat : 1869 (java) S 1797 1800 29733 0 -1 1077944384 1466 13048 0 0 17 22 5 2 20 0 15 0 474864279 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622481664688 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
Current children cumulated CPU time: 836.76 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 998860 KiB

[startup+811.204 s]
/proc/loadavg: 1.82 1.68 1.54 3/227 1942
/proc/meminfo: memFree=7566056/32770624 swapFree=67002116/67108860
[pid=1800] ppid=1797 vsize=10853144 memory=998860 CPUtime=838.39 cores=1,3,5,7
/proc/1800/stat : 1800 (java) S 1797 1800 29733 0 -1 1077944320 238192 13048 0 0 83679 153 5 2 20 0 15 0 474864264 11113619456 249715 33554432000 4194304 4196468 140720727306384 140720727288928 140623516614391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
/proc/1800/statm: 2713286 249715 3634 1 0 2675341 0
[pid=1800/tid=1856] ppid=1797 vsize=10853144 memory=7548 CPUtime=804.26 cores=1,3,5,7
/proc/1800/task/1856/stat : 1856 (java) R 1797 1800 29733 0 -1 4202560 48634 13048 0 0 80390 29 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623488450192 140623105178644 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1857] ppid=1797 vsize=10853144 memory=8112282956445269571 CPUtime=3.61 cores=1,3,5,7
/proc/1800/task/1857/stat : 1857 (java) S 1797 1800 29733 0 -1 1077944384 10092 13048 0 0 337 17 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623520857232 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1858] ppid=1797 vsize=10853144 memory=8112282956445269571 CPUtime=3.63 cores=1,3,5,7
/proc/1800/task/1858/stat : 1858 (java) S 1797 1800 29733 0 -1 1077944384 7669 13048 0 0 337 19 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623409130512 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1859] ppid=1797 vsize=10853144 memory=1556 CPUtime=3.67 cores=1,3,5,7
/proc/1800/task/1859/stat : 1859 (java) S 1797 1800 29733 0 -1 1077944384 7953 13048 0 0 342 18 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623408077712 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1860] ppid=1797 vsize=10853144 memory=740 CPUtime=3.65 cores=1,3,5,7
/proc/1800/task/1860/stat : 1860 (java) S 1797 1800 29733 0 -1 1077944384 5322 13048 0 0 339 19 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623407024912 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1861] ppid=1797 vsize=10853144 memory=1052 CPUtime=2.92 cores=1,3,5,7
/proc/1800/task/1861/stat : 1861 (java) S 1797 1800 29733 0 -1 1077944384 10225 13048 0 0 264 21 5 2 20 0 15 0 474864275 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622519433584 140623516625538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1862] ppid=1797 vsize=10853144 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1862/stat : 1862 (java) S 1797 1800 29733 0 -1 1077944384 43 13048 0 0 0 0 5 2 20 0 15 0 474864275 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622518379680 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1863] ppid=1797 vsize=10853144 memory=54052 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1863/stat : 1863 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864275 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622396646272 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1864] ppid=1797 vsize=10853144 memory=3588 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1864/stat : 1864 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622089246544 140623516632987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1865] ppid=1797 vsize=10853144 memory=54052 CPUtime=6.26 cores=1,3,5,7
/proc/1800/task/1865/stat : 1865 (java) S 1797 1800 29733 0 -1 1077944384 46726 13048 0 0 615 4 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622484822896 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1866] ppid=1797 vsize=10853144 memory=984 CPUtime=5.82 cores=1,3,5,7
/proc/1800/task/1866/stat : 1866 (java) S 1797 1800 29733 0 -1 1077944384 41506 13048 0 0 570 5 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622483770096 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1867] ppid=1797 vsize=10853144 memory=1940 CPUtime=4.64 cores=1,3,5,7
/proc/1800/task/1867/stat : 1867 (java) S 1797 1800 29733 0 -1 1077944384 56339 13048 0 0 449 8 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622482717296 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1868] ppid=1797 vsize=10853144 memory=1416 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1868/stat : 1868 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622055688928 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1869] ppid=1797 vsize=10853144 memory=8112282956445269571 CPUtime=0.46 cores=1,3,5,7
/proc/1800/task/1869/stat : 1869 (java) S 1797 1800 29733 0 -1 1077944384 1466 13048 0 0 17 22 5 2 20 0 15 0 474864279 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622481664688 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
Current children cumulated CPU time: 838.39 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 998860 KiB

[startup+812.801 s]
/proc/loadavg: 1.82 1.68 1.54 3/227 1942
/proc/meminfo: memFree=7566116/32770624 swapFree=67002116/67108860
[pid=1800] ppid=1797 vsize=10853144 memory=998860 CPUtime=840.01 cores=1,3,5,7
/proc/1800/stat : 1800 (java) S 1797 1800 29733 0 -1 1077944320 238204 13048 0 0 83841 153 5 2 20 0 15 0 474864264 11113619456 249715 33554432000 4194304 4196468 140720727306384 140720727288928 140623516614391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
/proc/1800/statm: 2713286 249715 3634 1 0 2675341 0
[pid=1800/tid=1856] ppid=1797 vsize=10853144 memory=998860 CPUtime=805.84 cores=1,3,5,7
/proc/1800/task/1856/stat : 1856 (java) R 1797 1800 29733 0 -1 4202560 48642 13048 0 0 80548 29 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623488450784 140623106134963 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1857] ppid=1797 vsize=10853144 memory=1408 CPUtime=3.61 cores=1,3,5,7
/proc/1800/task/1857/stat : 1857 (java) S 1797 1800 29733 0 -1 1077944384 10092 13048 0 0 337 17 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623520857232 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1858] ppid=1797 vsize=10853144 memory=998860 CPUtime=3.64 cores=1,3,5,7
/proc/1800/task/1858/stat : 1858 (java) S 1797 1800 29733 0 -1 1077944384 7669 13048 0 0 337 20 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623409130512 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1859] ppid=1797 vsize=10853144 memory=1556 CPUtime=3.68 cores=1,3,5,7
/proc/1800/task/1859/stat : 1859 (java) S 1797 1800 29733 0 -1 1077944384 7953 13048 0 0 343 18 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623408077712 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1860] ppid=1797 vsize=10853144 memory=740 CPUtime=3.66 cores=1,3,5,7
/proc/1800/task/1860/stat : 1860 (java) S 1797 1800 29733 0 -1 1077944384 5322 13048 0 0 340 19 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623407024912 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1861] ppid=1797 vsize=10853144 memory=1052 CPUtime=2.93 cores=1,3,5,7
/proc/1800/task/1861/stat : 1861 (java) S 1797 1800 29733 0 -1 1077944384 10228 13048 0 0 265 21 5 2 20 0 15 0 474864275 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622519433584 140623516625538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1862] ppid=1797 vsize=10853144 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1862/stat : 1862 (java) S 1797 1800 29733 0 -1 1077944384 43 13048 0 0 0 0 5 2 20 0 15 0 474864275 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622518379680 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1863] ppid=1797 vsize=10853144 memory=350 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1863/stat : 1863 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864275 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622396646272 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1864] ppid=1797 vsize=10853144 memory=279 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1864/stat : 1864 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622089246544 140623516632987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1865] ppid=1797 vsize=10853144 memory=0 CPUtime=6.26 cores=1,3,5,7
/proc/1800/task/1865/stat : 1865 (java) S 1797 1800 29733 0 -1 1077944384 46726 13048 0 0 615 4 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622484822896 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1866] ppid=1797 vsize=10853144 memory=776 CPUtime=5.82 cores=1,3,5,7
/proc/1800/task/1866/stat : 1866 (java) S 1797 1800 29733 0 -1 1077944384 41506 13048 0 0 570 5 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622483770096 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1867] ppid=1797 vsize=10853144 memory=1160 CPUtime=4.64 cores=1,3,5,7
/proc/1800/task/1867/stat : 1867 (java) S 1797 1800 29733 0 -1 1077944384 56339 13048 0 0 449 8 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622482717296 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1868] ppid=1797 vsize=10853144 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1868/stat : 1868 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622055688928 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1869] ppid=1797 vsize=10853144 memory=1096 CPUtime=0.46 cores=1,3,5,7
/proc/1800/task/1869/stat : 1869 (java) S 1797 1800 29733 0 -1 1077944384 1467 13048 0 0 17 22 5 2 20 0 15 0 474864279 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622481664688 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
Current children cumulated CPU time: 840.01 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 998860 KiB

[startup+813.201 s]
/proc/loadavg: 1.76 1.67 1.54 3/227 1942
/proc/meminfo: memFree=7566116/32770624 swapFree=67002116/67108860
[pid=1800] ppid=1797 vsize=10853144 memory=998860 CPUtime=840.42 cores=1,3,5,7
/proc/1800/stat : 1800 (java) S 1797 1800 29733 0 -1 1077944320 238220 13048 0 0 83882 153 5 2 20 0 15 0 474864264 11113619456 249715 33554432000 4194304 4196468 140720727306384 140720727288928 140623516614391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
/proc/1800/statm: 2713286 249715 3634 1 0 2675341 0
[pid=1800/tid=1856] ppid=1797 vsize=10853144 memory=1160 CPUtime=806.23 cores=1,3,5,7
/proc/1800/task/1856/stat : 1856 (java) R 1797 1800 29733 0 -1 4202560 48644 13048 0 0 80587 29 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623488450416 140623106133991 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1857] ppid=1797 vsize=10853144 memory=1716 CPUtime=3.62 cores=1,3,5,7
/proc/1800/task/1857/stat : 1857 (java) S 1797 1800 29733 0 -1 1077944384 10092 13048 0 0 338 17 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623520857232 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1858] ppid=1797 vsize=10853144 memory=1096 CPUtime=3.64 cores=1,3,5,7
/proc/1800/task/1858/stat : 1858 (java) S 1797 1800 29733 0 -1 1077944384 7669 13048 0 0 337 20 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623409130512 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1859] ppid=1797 vsize=10853144 memory=6371301977864824425 CPUtime=3.68 cores=1,3,5,7
/proc/1800/task/1859/stat : 1859 (java) S 1797 1800 29733 0 -1 1077944384 7953 13048 0 0 343 18 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623408077712 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1860] ppid=1797 vsize=10853144 memory=3588 CPUtime=3.66 cores=1,3,5,7
/proc/1800/task/1860/stat : 1860 (java) S 1797 1800 29733 0 -1 1077944384 5323 13048 0 0 340 19 5 2 20 0 15 0 474864273 11113619456 249715 33554432000 4194304 4196468 140720727306384 140623407024912 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1861] ppid=1797 vsize=10853144 memory=54052 CPUtime=2.93 cores=1,3,5,7
/proc/1800/task/1861/stat : 1861 (java) S 1797 1800 29733 0 -1 1077944384 10228 13048 0 0 265 21 5 2 20 0 15 0 474864275 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622519433584 140623516625538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1862] ppid=1797 vsize=10853144 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1862/stat : 1862 (java) S 1797 1800 29733 0 -1 1077944384 43 13048 0 0 0 0 5 2 20 0 15 0 474864275 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622518379680 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1863] ppid=1797 vsize=10853144 memory=1940 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1863/stat : 1863 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864275 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622396646272 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1864] ppid=1797 vsize=10853144 memory=1964 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1864/stat : 1864 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622089246544 140623516632987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1865] ppid=1797 vsize=10853144 memory=2456 CPUtime=6.26 cores=1,3,5,7
/proc/1800/task/1865/stat : 1865 (java) S 1797 1800 29733 0 -1 1077944384 46727 13048 0 0 615 4 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622484822896 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1866] ppid=1797 vsize=10853144 memory=1760 CPUtime=5.82 cores=1,3,5,7
/proc/1800/task/1866/stat : 1866 (java) S 1797 1800 29733 0 -1 1077944384 41506 13048 0 0 570 5 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622483770096 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1867] ppid=1797 vsize=10853144 memory=111632 CPUtime=4.64 cores=1,3,5,7
/proc/1800/task/1867/stat : 1867 (java) S 1797 1800 29733 0 -1 1077944384 56351 13048 0 0 449 8 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622482717296 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1868] ppid=1797 vsize=10853144 memory=804 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1868/stat : 1868 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622055688928 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1869] ppid=1797 vsize=10853144 memory=1804 CPUtime=0.46 cores=1,3,5,7
/proc/1800/task/1869/stat : 1869 (java) S 1797 1800 29733 0 -1 1077944384 1467 13048 0 0 17 22 5 2 20 0 15 0 474864279 11113619456 249715 33554432000 4194304 4196468 140720727306384 140622481664688 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
Current children cumulated CPU time: 840.42 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 998860 KiB

[startup+813.601 s]
/proc/loadavg: 1.76 1.67 1.54 3/227 1942
/proc/meminfo: memFree=7566116/32770624 swapFree=67002116/67108860
[pid=1800] ppid=1797 vsize=10853144 memory=1000908 CPUtime=840.83 cores=1,3,5,7
/proc/1800/stat : 1800 (java) S 1797 1800 29733 0 -1 1077944320 238227 13048 0 0 83922 154 5 2 20 0 15 0 474864264 11113619456 250227 33554432000 4194304 4196468 140720727306384 140720727288928 140623516614391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
/proc/1800/statm: 2713286 250227 3634 1 0 2675341 0
[pid=1800/tid=1856] ppid=1797 vsize=10853144 memory=8112282956445269571 CPUtime=806.63 cores=1,3,5,7
/proc/1800/task/1856/stat : 1856 (java) R 1797 1800 29733 0 -1 4202560 48646 13048 0 0 80627 29 5 2 20 0 15 0 474864273 11113619456 250227 33554432000 4194304 4196468 140720727306384 140623488450240 140623085651751 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1857] ppid=1797 vsize=10853144 memory=1556 CPUtime=3.63 cores=1,3,5,7
/proc/1800/task/1857/stat : 1857 (java) S 1797 1800 29733 0 -1 1077944384 10093 13048 0 0 338 18 5 2 20 0 15 0 474864273 11113619456 250227 33554432000 4194304 4196468 140720727306384 140623520857232 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1858] ppid=1797 vsize=10853144 memory=0 CPUtime=3.65 cores=1,3,5,7
/proc/1800/task/1858/stat : 1858 (java) S 1797 1800 29733 0 -1 1077944384 7670 13048 0 0 338 20 5 2 20 0 15 0 474864273 11113619456 250227 33554432000 4194304 4196468 140720727306384 140623409130512 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1859] ppid=1797 vsize=10853144 memory=0 CPUtime=3.68 cores=1,3,5,7
/proc/1800/task/1859/stat : 1859 (java) S 1797 1800 29733 0 -1 1077944384 7955 13048 0 0 343 18 5 2 20 0 15 0 474864273 11113619456 250227 33554432000 4194304 4196468 140720727306384 140623408077712 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1860] ppid=1797 vsize=10853144 memory=998860 CPUtime=3.66 cores=1,3,5,7
/proc/1800/task/1860/stat : 1860 (java) S 1797 1800 29733 0 -1 1077944384 5324 13048 0 0 340 19 5 2 20 0 15 0 474864273 11113619456 250227 33554432000 4194304 4196468 140720727306384 140623407024912 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1861] ppid=1797 vsize=10853144 memory=8514726395715349656 CPUtime=2.93 cores=1,3,5,7
/proc/1800/task/1861/stat : 1861 (java) S 1797 1800 29733 0 -1 1077944384 10228 13048 0 0 265 21 5 2 20 0 15 0 474864275 11113619456 250227 33554432000 4194304 4196468 140720727306384 140622519433584 140623516625538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1862] ppid=1797 vsize=10853144 memory=3047711553320166262 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1862/stat : 1862 (java) S 1797 1800 29733 0 -1 1077944384 43 13048 0 0 0 0 5 2 20 0 15 0 474864275 11113619456 250227 33554432000 4194304 4196468 140720727306384 140622518379680 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1863] ppid=1797 vsize=10853144 memory=7824336315716348491 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1863/stat : 1863 (java) S 1797 1800 29733 0 -1 1077944384 1 13048 0 0 0 0 5 2 20 0 15 0 474864275 11113619456 250227 33554432000 4194304 4196468 140720727306384 140622396646272 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1864] ppid=1797 vsize=10853144 memory=7235983219269594220 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1864/stat : 1864 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11113619456 250227 33554432000 4194304 4196468 140720727306384 140622089246544 140623516632987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1865] ppid=1797 vsize=10853144 memory=740 CPUtime=6.26 cores=1,3,5,7
/proc/1800/task/1865/stat : 1865 (java) S 1797 1800 29733 0 -1 1077944384 46727 13048 0 0 615 4 5 2 20 0 15 0 474864278 11113619456 250227 33554432000 4194304 4196468 140720727306384 140622484822896 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1866] ppid=1797 vsize=10853144 memory=1052 CPUtime=5.82 cores=1,3,5,7
/proc/1800/task/1866/stat : 1866 (java) S 1797 1800 29733 0 -1 1077944384 41506 13048 0 0 570 5 5 2 20 0 15 0 474864278 11113619456 250227 33554432000 4194304 4196468 140720727306384 140622483770096 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1867] ppid=1797 vsize=10853144 memory=7548 CPUtime=4.64 cores=1,3,5,7
/proc/1800/task/1867/stat : 1867 (java) S 1797 1800 29733 0 -1 1077944384 56351 13048 0 0 449 8 5 2 20 0 15 0 474864278 11113619456 250227 33554432000 4194304 4196468 140720727306384 140622482717296 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1868] ppid=1797 vsize=10853144 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/1800/task/1868/stat : 1868 (java) S 1797 1800 29733 0 -1 1077944384 3 13048 0 0 0 0 5 2 20 0 15 0 474864278 11113619456 250227 33554432000 4194304 4196468 140720727306384 140622055688928 140623516624597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
[pid=1800/tid=1869] ppid=1797 vsize=10853144 memory=2832 CPUtime=0.46 cores=1,3,5,7
/proc/1800/task/1869/stat : 1869 (java) S 1797 1800 29733 0 -1 1077944384 1467 13048 0 0 17 22 5 2 20 0 15 0 474864279 11113619456 250227 33554432000 4194304 4196468 140720727306384 140622481664688 140623516625538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26873856 140720727313135 140720727315653 140720727315653 140720727318479 0
Current children cumulated CPU time: 840.83 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 1000908 KiB

Child status: 0
Real time (s): 813.622
CPU time (s): 840.876
CPU user time (s): 839.287
CPU system time (s): 1.58885
CPU usage (%): 103.35
Max. virtual memory (cumulated for all children) (KiB): 10853144
Max. memory (cumulated for all children) (KiB): 1080660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 839.287
system time used= 1.58885
maximum resident set size= 1084224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89068
involuntary context switches= 1688


# summary of solver processes directly reported to runsolver:
#   pid: 1800
#   total CPU time (s): 840.876
#   total CPU user time (s): 839.287
#   total CPU system time (s): 1.58885

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.8398 second user time and 7.68056 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml
MD5SUM	097039f9865a2fa48b7d42a66e75794b
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	10
Best CPU time to get the best result obtained on this benchmark	23.5768
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	4
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":900},{"size":3,"count":450},{"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 4402838

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