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
choco-solver 2019-06-14	OPT	14	133.338	33.8591

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393455-1568354436.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393455-1568354436.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
3.19/1.19	c solve instance...
21.74/5.82	o 15 
22.55/6.04	o 14 
133.16/33.84	s OPTIMUM FOUND
133.16/33.84	v <instantiation>
133.16/33.84	v 	<list>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] </list>
133.16/33.84	v 	<values>0 3 4 9 10 13 11 6 12 8 14 1 2 5 7 1 1 2 2 2 3 3 3 3 4 5 5 5 6 6 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 1 1 1 1 2 2 3 3 3 3 3 3 3 3 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 2 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 2 2 2 2 2 2 3 1 2 2 3 3 3 3 4 5 6 6 6 6 6 6 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 1 2 2 2 2 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 0 0 0 0 0 1 1 1 2 2 2 2 3 4 4 0 0 0 1 1 1 2 2 2 2 3 4 4 4 4 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 3 3 3 4 4 4 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 1 1 1 2 2 2 2 2 2 2 2 2 2 3 4 0 1 2 2 2 2 2 2 3 4 5 5 5 5 5 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 2 2 0 0 0 0 0 0 0 1 1 1 2 2 2 2 3 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 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 0 0 0 0 1 0 1 1 0 0 0 1 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 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 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 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 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 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 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 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 1 1 1 1 1 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 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 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 1 1 0 1 1 1 1 1 1 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 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 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 0 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 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 1 1 1 1 1 1 1 1 8 11 12 13 13 13 14 14 14 14 14 14 12 10 5 </values>
133.16/33.84	v </instantiation>

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393455-1568354436/watcher-4393455-1568354436 -o /tmp/evaluation-result-4393455-1568354436/solver-4393455-1568354436 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568352401-13008 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1319652315 HOME/instance-4393455-1568354436.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
Current StackSize limit: 8192 KiB

solver pid=15030, runsolver pid=15027

[startup+0.10066 s]*
/proc/loadavg: 8.01 8.25 8.10 8/233 15046
/proc/meminfo: memFree=25300820/32770624 swapFree=66959224/67108860
[pid=15030] ppid=15027 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15030/stat : 15030 (xcsp3-exec) S 15027 15030 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411383785 115843072 362 33554432000 4194304 5098028 140729293841424 140729293839528 140546043032188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34906112 140729293845370 140729293845613 140729293845613 140729293848522 0
/proc/15030/statm: 28282 362 304 221 0 87 0
[pid=15032] ppid=15030 vsize=15144768 memory=29632 CPUtime=0.13 cores=1,3,5,7
/proc/15032/stat : 15032 (java) S 15030 15030 12119 0 -1 1077944320 5827 0 0 0 11 2 0 0 20 0 15 0 411383785 15508242432 7408 33554432000 4194304 4196468 140732673183168 140732673165712 140559129255671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
/proc/15032/statm: 3786192 7408 3149 1 0 3748377 0
[pid=15032/tid=15033] ppid=15030 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (java) R 15030 15030 12119 0 -1 4202560 3725 0 0 0 8 1 0 0 20 0 15 0 411383785 15508242432 7408 33554432000 4194304 4196468 140732673183168 140559133477728 140559121492798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15034] ppid=15030 vsize=15144768 memory=3472468576432039120 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383786 15508242432 7408 33554432000 4194304 4196468 140732673183168 140559057296528 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15035] ppid=15030 vsize=15144768 memory=140447536887424 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383786 15508242432 7408 33554432000 4194304 4196468 140732673183168 140559056243728 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15036] ppid=15030 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15036/stat : 15036 (java) S 15030 15030 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411383786 15508242432 7408 33554432000 4194304 4196468 140732673183168 140559055190928 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15037] ppid=15030 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15037/stat : 15037 (java) S 15030 15030 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411383786 15508242432 7408 33554432000 4194304 4196468 140732673183168 140559054138128 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15038] ppid=15030 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15038/stat : 15038 (java) S 15030 15030 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411383787 15508242432 7408 33554432000 4194304 4196468 140732673183168 140558597630320 140559129266818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15039] ppid=15030 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15039/stat : 15039 (java) S 15030 15030 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411383788 15508242432 7408 33554432000 4194304 4196468 140732673183168 140558596576288 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15040] ppid=15030 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15040/stat : 15040 (java) S 15030 15030 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411383788 15508242432 7408 33554432000 4194304 4196468 140732673183168 140558595523440 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15041] ppid=15030 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15041/stat : 15041 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411383790 15508242432 7408 33554432000 4194304 4196468 140732673183168 140558594471760 140559129274267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15042] ppid=15030 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15042/stat : 15042 (java) R 15030 15030 12119 0 -1 4202560 458 0 0 0 0 0 0 0 20 0 15 0 411383790 15508242432 7408 33554432000 4194304 4196468 140732673183168 140558593420240 140559121492798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15043] ppid=15030 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15043/stat : 15043 (java) R 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411383791 15508242432 7408 33554432000 4194304 4196468 140732673183168 140558592367344 140559129266818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15044] ppid=15030 vsize=15144768 memory=140447536887424 CPUtime=0.02 cores=1,3,5,7
/proc/15032/task/15044/stat : 15044 (java) R 15030 15030 12119 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 411383791 15508242432 7408 33554432000 4194304 4196468 140732673183168 140558591314544 140559108615584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15045] ppid=15030 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15045/stat : 15045 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411383791 15508242432 7408 33554432000 4194304 4196468 140732673183168 140558590261984 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15046] ppid=15030 vsize=15144768 memory=140447536887424 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15046/stat : 15046 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383791 15508242432 7408 33554432000 4194304 4196468 140732673183168 140558589209264 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31080 KiB

[startup+0.210945 s]*
/proc/loadavg: 8.01 8.25 8.10 8/233 15046
/proc/meminfo: memFree=25288200/32770624 swapFree=66959224/67108860
[pid=15030] ppid=15027 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15030/stat : 15030 (xcsp3-exec) S 15027 15030 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411383785 115843072 362 33554432000 4194304 5098028 140729293841424 140729293839528 140546043032188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34906112 140729293845370 140729293845613 140729293845613 140729293848522 0
/proc/15030/statm: 28282 362 304 221 0 87 0
[pid=15032] ppid=15030 vsize=15144768 memory=40844 CPUtime=0.34 cores=1,3,5,7
/proc/15032/stat : 15032 (java) S 15030 15030 12119 0 -1 1077944320 9448 0 0 0 31 3 0 0 20 0 15 0 411383785 15508242432 10211 33554432000 4194304 4196468 140732673183168 140732673165712 140559129255671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
/proc/15032/statm: 3786192 10211 3297 1 0 3748377 0
[pid=15032/tid=15033] ppid=15030 vsize=15144768 memory=5852835216252043682 CPUtime=0.2 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (java) R 15030 15030 12119 0 -1 4202560 6629 0 0 0 17 3 0 0 20 0 15 0 411383785 15508242432 10211 33554432000 4194304 4196468 140732673183168 140559133493488 140559121933685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15034] ppid=15030 vsize=15144768 memory=3472468576432039120 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383786 15508242432 10211 33554432000 4194304 4196468 140732673183168 140559057296528 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15035] ppid=15030 vsize=15144768 memory=140447536887424 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383786 15508242432 10211 33554432000 4194304 4196468 140732673183168 140559056243728 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15036] ppid=15030 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15036/stat : 15036 (java) S 15030 15030 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411383786 15508242432 10211 33554432000 4194304 4196468 140732673183168 140559055190928 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15037] ppid=15030 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15037/stat : 15037 (java) S 15030 15030 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411383786 15508242432 10211 33554432000 4194304 4196468 140732673183168 140559054138128 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15038] ppid=15030 vsize=15144768 memory=140447536887424 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15038/stat : 15038 (java) S 15030 15030 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411383787 15508242432 10211 33554432000 4194304 4196468 140732673183168 140558597630320 140559129266818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15039] ppid=15030 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15039/stat : 15039 (java) S 15030 15030 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411383788 15508242432 10211 33554432000 4194304 4196468 140732673183168 140558596576288 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15040] ppid=15030 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15040/stat : 15040 (java) S 15030 15030 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411383788 15508242432 10211 33554432000 4194304 4196468 140732673183168 140558595523440 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15041] ppid=15030 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15041/stat : 15041 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411383790 15508242432 10211 33554432000 4194304 4196468 140732673183168 140558594471760 140559129274267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15042] ppid=15030 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15032/task/15042/stat : 15042 (java) S 15030 15030 12119 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 411383790 15508242432 10211 33554432000 4194304 4196468 140732673183168 140558593420144 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15043] ppid=15030 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15032/task/15043/stat : 15043 (java) S 15030 15030 12119 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 411383791 15508242432 10211 33554432000 4194304 4196468 140732673183168 140558592367344 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15044] ppid=15030 vsize=15144768 memory=140447536887424 CPUtime=0.08 cores=1,3,5,7
/proc/15032/task/15044/stat : 15044 (java) R 15030 15030 12119 0 -1 4202560 753 0 0 0 8 0 0 0 20 0 15 0 411383791 15508242432 10211 33554432000 4194304 4196468 140732673183168 140558591314544 140559129277018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15045] ppid=15030 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15045/stat : 15045 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411383791 15508242432 10211 33554432000 4194304 4196468 140732673183168 140558590261984 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15046] ppid=15030 vsize=15144768 memory=140447536887424 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15046/stat : 15046 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383791 15508242432 10211 33554432000 4194304 4196468 140732673183168 140558589209264 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42292 KiB

[startup+0.31071 s]*
/proc/loadavg: 8.01 8.25 8.10 7/233 15046
/proc/meminfo: memFree=25280944/32770624 swapFree=66959224/67108860
[pid=15030] ppid=15027 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15030/stat : 15030 (xcsp3-exec) S 15027 15030 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411383785 115843072 362 33554432000 4194304 5098028 140729293841424 140729293839528 140546043032188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34906112 140729293845370 140729293845613 140729293845613 140729293848522 0
/proc/15030/statm: 28282 362 304 221 0 87 0
[pid=15032] ppid=15030 vsize=15149024 memory=50236 CPUtime=0.53 cores=1,3,5,7
/proc/15032/stat : 15032 (java) S 15030 15030 12119 0 -1 1077944320 10875 0 0 0 49 4 0 0 20 0 15 0 411383785 15512600576 12559 33554432000 4194304 4196468 140732673183168 140732673165712 140559129255671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
/proc/15032/statm: 3787256 12559 3361 1 0 3748377 0
[pid=15032/tid=15033] ppid=15030 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (java) R 15030 15030 12119 0 -1 4202560 7824 0 0 0 27 3 0 0 20 0 15 0 411383785 15512600576 12565 33554432000 4194304 4196468 140732673183168 140559133486784 140559113336158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15034] ppid=15030 vsize=15149024 memory=3472468576432039120 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383786 15512600576 12565 33554432000 4194304 4196468 140732673183168 140559057296528 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15035] ppid=15030 vsize=15149024 memory=140447536887424 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383786 15512600576 12565 33554432000 4194304 4196468 140732673183168 140559056243728 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15036] ppid=15030 vsize=15149024 memory=2 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15036/stat : 15036 (java) S 15030 15030 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411383786 15512600576 12565 33554432000 4194304 4196468 140732673183168 140559055190928 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15037] ppid=15030 vsize=15149024 memory=140447376877599 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15037/stat : 15037 (java) S 15030 15030 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411383786 15512600576 12565 33554432000 4194304 4196468 140732673183168 140559054138128 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15038] ppid=15030 vsize=15149024 memory=280894753715968 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15038/stat : 15038 (java) S 15030 15030 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411383787 15512600576 12565 33554432000 4194304 4196468 140732673183168 140558597630320 140559129266818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15039] ppid=15030 vsize=15149024 memory=140447376854543 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15039/stat : 15039 (java) S 15030 15030 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411383788 15512600576 12565 33554432000 4194304 4196468 140732673183168 140558596576288 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15040] ppid=15030 vsize=15149024 memory=280894913751136 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15040/stat : 15040 (java) S 15030 15030 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411383788 15512600576 12565 33554432000 4194304 4196468 140732673183168 140558595523440 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15041] ppid=15030 vsize=15149024 memory=140447376859151 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15041/stat : 15041 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411383790 15512600576 12565 33554432000 4194304 4196468 140732673183168 140558594471760 140559129274267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15042] ppid=15030 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15032/task/15042/stat : 15042 (java) R 15030 15030 12119 0 -1 4202560 647 0 0 0 5 0 0 0 20 0 15 0 411383790 15512600576 12565 33554432000 4194304 4196468 140732673183168 140558593410528 140559113918748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15043] ppid=15030 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/15032/task/15043/stat : 15043 (java) S 15030 15030 12119 0 -1 1077944384 268 0 0 0 4 0 0 0 20 0 15 0 411383791 15512600576 12565 33554432000 4194304 4196468 140732673183168 140558592367344 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15044] ppid=15030 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15032/task/15044/stat : 15044 (java) S 15030 15030 12119 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 15 0 411383791 15512600576 12565 33554432000 4194304 4196468 140732673183168 140558591314544 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15045] ppid=15030 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15045/stat : 15045 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411383791 15512600576 12565 33554432000 4194304 4196468 140732673183168 140558590261984 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15046] ppid=15030 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15046/stat : 15046 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383791 15512600576 12565 33554432000 4194304 4196468 140732673183168 140558589209264 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51684 KiB

[startup+0.701654 s]
/proc/loadavg: 8.01 8.25 8.10 8/233 15046
/proc/meminfo: memFree=25258700/32770624 swapFree=66959224/67108860
[pid=15030] ppid=15027 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15030/stat : 15030 (xcsp3-exec) S 15027 15030 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411383785 115843072 362 33554432000 4194304 5098028 140729293841424 140729293839528 140546043032188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34906112 140729293845370 140729293845613 140729293845613 140729293848522 0
/proc/15030/statm: 28282 362 304 221 0 87 0
[pid=15032] ppid=15030 vsize=15151148 memory=90280 CPUtime=1.79 cores=1,3,5,7
/proc/15032/stat : 15032 (java) S 15030 15030 12119 0 -1 1077944320 14845 0 0 0 173 6 0 0 20 0 15 0 411383785 15514775552 22570 33554432000 4194304 4196468 140732673183168 140732673165712 140559129255671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
/proc/15032/statm: 3787787 22570 3455 1 0 3748889 0
[pid=15032/tid=15033] ppid=15030 vsize=15151148 memory=4639059877604708710 CPUtime=0.67 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (java) R 15030 15030 12119 0 -1 4202560 8893 0 0 0 63 4 0 0 20 0 15 0 411383785 15514775552 22570 33554432000 4194304 4196468 140732673183168 140559133473904 140558731793909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15034] ppid=15030 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383786 15514775552 22570 33554432000 4194304 4196468 140732673183168 140559057296528 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15035] ppid=15030 vsize=15151148 memory=6935649255978921297 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383786 15514775552 22570 33554432000 4194304 4196468 140732673183168 140559056243728 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15036] ppid=15030 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15036/stat : 15036 (java) S 15030 15030 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411383786 15514775552 22570 33554432000 4194304 4196468 140732673183168 140559055190928 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15037] ppid=15030 vsize=15151148 memory=7100839861499826839 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15037/stat : 15037 (java) S 15030 15030 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411383786 15514775552 22570 33554432000 4194304 4196468 140732673183168 140559054138128 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15038] ppid=15030 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15038/stat : 15038 (java) S 15030 15030 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411383787 15514775552 22570 33554432000 4194304 4196468 140732673183168 140558597630320 140559129266818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15039] ppid=15030 vsize=15151148 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15039/stat : 15039 (java) S 15030 15030 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411383788 15514775552 22570 33554432000 4194304 4196468 140732673183168 140558596576288 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15040] ppid=15030 vsize=15151148 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15040/stat : 15040 (java) S 15030 15030 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411383788 15514775552 22570 33554432000 4194304 4196468 140732673183168 140558595523440 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15041] ppid=15030 vsize=15151148 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15041/stat : 15041 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411383790 15514775552 22570 33554432000 4194304 4196468 140732673183168 140558594471760 140559129274267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15042] ppid=15030 vsize=15151148 memory=1660 CPUtime=0.36 cores=1,3,5,7
/proc/15032/task/15042/stat : 15042 (java) R 15030 15030 12119 0 -1 4202560 1755 0 0 0 36 0 0 0 20 0 15 0 411383790 15514775552 22570 33554432000 4194304 4196468 140732673183168 140558593406112 140559108948712 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15043] ppid=15030 vsize=15151148 memory=38904 CPUtime=0.31 cores=1,3,5,7
/proc/15032/task/15043/stat : 15043 (java) R 15030 15030 12119 0 -1 4202560 932 0 0 0 31 0 0 0 20 0 15 0 411383791 15514775552 22570 33554432000 4194304 4196468 140732673183168 140558592358800 140559110799914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15044] ppid=15030 vsize=15151148 memory=988 CPUtime=0.41 cores=1,3,5,7
/proc/15032/task/15044/stat : 15044 (java) R 15030 15030 12119 0 -1 4202560 1960 0 0 0 41 0 0 0 20 0 15 0 411383791 15514775552 22570 33554432000 4194304 4196468 140732673183168 140558591311480 140559122352507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15045] ppid=15030 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15045/stat : 15045 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411383791 15514775552 22570 33554432000 4194304 4196468 140732673183168 140558590261984 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15046] ppid=15030 vsize=15151148 memory=8099279071866868843 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15046/stat : 15046 (java) S 15030 15030 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411383791 15514775552 22570 33554432000 4194304 4196468 140732673183168 140558589209264 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 91728 KiB

[startup+1.50266 s]
/proc/loadavg: 8.01 8.25 8.10 10/233 15046
/proc/meminfo: memFree=25184796/32770624 swapFree=66959224/67108860
[pid=15030] ppid=15027 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15030/stat : 15030 (xcsp3-exec) S 15027 15030 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411383785 115843072 362 33554432000 4194304 5098028 140729293841424 140729293839528 140546043032188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34906112 140729293845370 140729293845613 140729293845613 140729293848522 0
/proc/15030/statm: 28282 362 304 221 0 87 0

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

/proc/15032/task/15046/stat : 15046 (java) S 15030 15030 12119 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558589209264 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15062] ppid=15030 vsize=15419452 memory=116 CPUtime=25.58 cores=1,3,5,7
/proc/15032/task/15062/stat : 15062 (java) R 15030 15030 12119 0 -1 4202560 292 0 0 0 2558 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558507948640 140558735718243 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15063] ppid=15030 vsize=15419452 memory=3 CPUtime=25.8 cores=1,3,5,7
/proc/15032/task/15063/stat : 15063 (java) R 15030 15030 12119 0 -1 4202560 1334 0 0 0 2580 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558578138904 140558735830775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15064] ppid=15030 vsize=15419452 memory=3 CPUtime=25.58 cores=1,3,5,7
/proc/15032/task/15064/stat : 15064 (java) R 15030 15030 12119 0 -1 4202560 206 0 0 0 2558 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558509002112 140558735830805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15065] ppid=15030 vsize=15419452 memory=3 CPUtime=25.76 cores=1,3,5,7
/proc/15032/task/15065/stat : 15065 (java) R 15030 15030 12119 0 -1 4202560 624 0 0 0 2576 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558506897736 140558736925075 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
Current children cumulated CPU time: 126.03 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 246568 KiB

[startup+32.8017 s]
/proc/loadavg: 8.30 8.31 8.13 11/238 15067
/proc/meminfo: memFree=25002324/32770624 swapFree=66959224/67108860
[pid=15030] ppid=15027 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15030/stat : 15030 (xcsp3-exec) S 15027 15030 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411383785 115843072 362 33554432000 4194304 5098028 140729293841424 140729293839528 140546043032188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34906112 140729293845370 140729293845613 140729293845613 140729293848522 0
/proc/15030/statm: 28282 362 304 221 0 87 0
[pid=15032] ppid=15030 vsize=15419452 memory=245120 CPUtime=129.18 cores=1,3,5,7
/proc/15032/stat : 15032 (java) S 15030 15030 12119 0 -1 1077944320 50920 0 0 0 12898 20 0 0 20 0 19 0 411383785 15789518848 61280 33554432000 4194304 4196468 140732673183168 140732673165712 140559129255671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
/proc/15032/statm: 3854863 61280 3533 1 0 3815965 0
[pid=15032/tid=15033] ppid=15030 vsize=15419452 memory=7523071198212214892 CPUtime=1.16 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (java) S 15030 15030 12119 0 -1 1077944384 12203 0 0 0 110 6 0 0 20 0 19 0 411383785 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559133496448 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15034] ppid=15030 vsize=15419452 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (java) S 15030 15030 12119 0 -1 1077944384 1468 0 0 0 2 2 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559057296528 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15035] ppid=15030 vsize=15419452 memory=38920 CPUtime=0.04 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (java) S 15030 15030 12119 0 -1 1077944384 587 0 0 0 2 2 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559056243728 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15036] ppid=15030 vsize=15419452 memory=988 CPUtime=0.03 cores=1,3,5,7
/proc/15032/task/15036/stat : 15036 (java) S 15030 15030 12119 0 -1 1077944384 361 0 0 0 2 1 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559055190928 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15037] ppid=15030 vsize=15419452 memory=2008 CPUtime=0.04 cores=1,3,5,7
/proc/15032/task/15037/stat : 15037 (java) S 15030 15030 12119 0 -1 1077944384 2066 0 0 0 3 1 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559054138128 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15038] ppid=15030 vsize=15419452 memory=1436 CPUtime=0.01 cores=1,3,5,7
/proc/15032/task/15038/stat : 15038 (java) S 15030 15030 12119 0 -1 1077944384 771 0 0 0 1 0 0 0 20 0 19 0 411383787 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558597630320 140559129266818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15039] ppid=15030 vsize=15419452 memory=580 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15039/stat : 15039 (java) S 15030 15030 12119 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 411383788 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558596576352 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15040] ppid=15030 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15040/stat : 15040 (java) S 15030 15030 12119 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 411383788 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558595523456 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15041] ppid=15030 vsize=15419452 memory=245120 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15041/stat : 15041 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411383790 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558594471760 140559129274267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15042] ppid=15030 vsize=15419452 memory=-4866522518848036719 CPUtime=3.23 cores=1,3,5,7
/proc/15032/task/15042/stat : 15042 (java) S 15030 15030 12119 0 -1 1077944384 11326 0 0 0 322 1 0 0 20 0 19 0 411383790 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558593420144 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15043] ppid=15030 vsize=15419452 memory=0 CPUtime=2.86 cores=1,3,5,7
/proc/15032/task/15043/stat : 15043 (java) S 15030 15030 12119 0 -1 1077944384 7595 0 0 0 286 0 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558592367344 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15044] ppid=15030 vsize=15419452 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/15032/task/15044/stat : 15044 (java) S 15030 15030 12119 0 -1 1077944384 8257 0 0 0 96 1 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558591314544 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15045] ppid=15030 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15045/stat : 15045 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558590261984 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15046] ppid=15030 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15046/stat : 15046 (java) S 15030 15030 12119 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558589209264 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15062] ppid=15030 vsize=15419452 memory=1720 CPUtime=26.37 cores=1,3,5,7
/proc/15032/task/15062/stat : 15062 (java) R 15030 15030 12119 0 -1 4202560 292 0 0 0 2637 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558507948640 140558735715487 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15063] ppid=15030 vsize=15419452 memory=10604 CPUtime=26.59 cores=1,3,5,7
/proc/15032/task/15063/stat : 15063 (java) R 15030 15030 12119 0 -1 4202560 1338 0 0 0 2659 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558578138904 140558734517925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15064] ppid=15030 vsize=15419452 memory=3360 CPUtime=26.37 cores=1,3,5,7
/proc/15032/task/15064/stat : 15064 (java) R 15030 15030 12119 0 -1 4202560 206 0 0 0 2637 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558509002112 140558735907268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15065] ppid=15030 vsize=15419452 memory=776 CPUtime=26.55 cores=1,3,5,7
/proc/15032/task/15065/stat : 15065 (java) R 15030 15030 12119 0 -1 4202560 624 0 0 0 2655 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558506897736 140558734517877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
Current children cumulated CPU time: 129.18 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 246568 KiB

[startup+33.6017 s]
/proc/loadavg: 8.30 8.31 8.13 10/238 15067
/proc/meminfo: memFree=25002324/32770624 swapFree=66959224/67108860
[pid=15030] ppid=15027 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15030/stat : 15030 (xcsp3-exec) S 15027 15030 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411383785 115843072 362 33554432000 4194304 5098028 140729293841424 140729293839528 140546043032188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34906112 140729293845370 140729293845613 140729293845613 140729293848522 0
/proc/15030/statm: 28282 362 304 221 0 87 0
[pid=15032] ppid=15030 vsize=15419452 memory=245120 CPUtime=132.36 cores=1,3,5,7
/proc/15032/stat : 15032 (java) S 15030 15030 12119 0 -1 1077944320 50930 0 0 0 13216 20 0 0 20 0 19 0 411383785 15789518848 61280 33554432000 4194304 4196468 140732673183168 140732673165712 140559129255671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
/proc/15032/statm: 3854863 61280 3533 1 0 3815965 0
[pid=15032/tid=15033] ppid=15030 vsize=15419452 memory=832 CPUtime=1.16 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (java) S 15030 15030 12119 0 -1 1077944384 12203 0 0 0 110 6 0 0 20 0 19 0 411383785 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559133496448 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15034] ppid=15030 vsize=15419452 memory=1436 CPUtime=0.04 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (java) S 15030 15030 12119 0 -1 1077944384 1468 0 0 0 2 2 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559057296528 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15035] ppid=15030 vsize=15419452 memory=1984 CPUtime=0.04 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (java) S 15030 15030 12119 0 -1 1077944384 587 0 0 0 2 2 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559056243728 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15036] ppid=15030 vsize=15419452 memory=1448 CPUtime=0.03 cores=1,3,5,7
/proc/15032/task/15036/stat : 15036 (java) S 15030 15030 12119 0 -1 1077944384 361 0 0 0 2 1 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559055190928 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15037] ppid=15030 vsize=15419452 memory=245116 CPUtime=0.04 cores=1,3,5,7
/proc/15032/task/15037/stat : 15037 (java) S 15030 15030 12119 0 -1 1077944384 2066 0 0 0 3 1 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559054138128 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15038] ppid=15030 vsize=15419452 memory=2828 CPUtime=0.01 cores=1,3,5,7
/proc/15032/task/15038/stat : 15038 (java) S 15030 15030 12119 0 -1 1077944384 771 0 0 0 1 0 0 0 20 0 19 0 411383787 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558597630320 140559129266818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15039] ppid=15030 vsize=15419452 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15039/stat : 15039 (java) S 15030 15030 12119 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 411383788 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558596576352 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15040] ppid=15030 vsize=15419452 memory=984 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15040/stat : 15040 (java) S 15030 15030 12119 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 411383788 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558595523456 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15041] ppid=15030 vsize=15419452 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15041/stat : 15041 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411383790 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558594471760 140559129274267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15042] ppid=15030 vsize=15419452 memory=0 CPUtime=3.23 cores=1,3,5,7
/proc/15032/task/15042/stat : 15042 (java) S 15030 15030 12119 0 -1 1077944384 11326 0 0 0 322 1 0 0 20 0 19 0 411383790 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558593420144 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15043] ppid=15030 vsize=15419452 memory=6944656592455097440 CPUtime=2.86 cores=1,3,5,7
/proc/15032/task/15043/stat : 15043 (java) S 15030 15030 12119 0 -1 1077944384 7595 0 0 0 286 0 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558592367344 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15044] ppid=15030 vsize=15419452 memory=6944656575208382560 CPUtime=0.97 cores=1,3,5,7
/proc/15032/task/15044/stat : 15044 (java) S 15030 15030 12119 0 -1 1077944384 8259 0 0 0 96 1 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558591314544 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15045] ppid=15030 vsize=15419452 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15045/stat : 15045 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558590261984 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15046] ppid=15030 vsize=15419452 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15046/stat : 15046 (java) S 15030 15030 12119 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558589209264 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15062] ppid=15030 vsize=15419452 memory=6944656575208382560 CPUtime=27.15 cores=1,3,5,7
/proc/15032/task/15062/stat : 15062 (java) R 15030 15030 12119 0 -1 4202560 292 0 0 0 2715 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558507948640 140558735831440 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15063] ppid=15030 vsize=15419452 memory=6944656592455359580 CPUtime=27.39 cores=1,3,5,7
/proc/15032/task/15063/stat : 15063 (java) R 15030 15030 12119 0 -1 4202560 1343 0 0 0 2739 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558578138776 140558734517179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15064] ppid=15030 vsize=15419452 memory=7882828121784479853 CPUtime=27.16 cores=1,3,5,7
/proc/15032/task/15064/stat : 15064 (java) R 15030 15030 12119 0 -1 4202560 206 0 0 0 2716 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558509002248 140558734744926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15065] ppid=15030 vsize=15419452 memory=6299802978650451056 CPUtime=27.35 cores=1,3,5,7
/proc/15032/task/15065/stat : 15065 (java) R 15030 15030 12119 0 -1 4202560 625 0 0 0 2735 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558506897736 140558738283067 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
Current children cumulated CPU time: 132.36 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 246568 KiB

[startup+33.8017 s]
/proc/loadavg: 8.30 8.31 8.13 10/238 15067
/proc/meminfo: memFree=25002324/32770624 swapFree=66959224/67108860
[pid=15030] ppid=15027 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15030/stat : 15030 (xcsp3-exec) S 15027 15030 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411383785 115843072 362 33554432000 4194304 5098028 140729293841424 140729293839528 140546043032188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34906112 140729293845370 140729293845613 140729293845613 140729293848522 0
/proc/15030/statm: 28282 362 304 221 0 87 0
[pid=15032] ppid=15030 vsize=15419452 memory=245120 CPUtime=133.16 cores=1,3,5,7
/proc/15032/stat : 15032 (java) S 15030 15030 12119 0 -1 1077944320 50931 0 0 0 13296 20 0 0 20 0 19 0 411383785 15789518848 61280 33554432000 4194304 4196468 140732673183168 140732673165712 140559129255671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
/proc/15032/statm: 3854863 61280 3533 1 0 3815965 0
[pid=15032/tid=15033] ppid=15030 vsize=15419452 memory=5968 CPUtime=1.16 cores=1,3,5,7
/proc/15032/task/15033/stat : 15033 (java) S 15030 15030 12119 0 -1 1077944384 12203 0 0 0 110 6 0 0 20 0 19 0 411383785 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559133496448 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15034] ppid=15030 vsize=15419452 memory=1060 CPUtime=0.04 cores=1,3,5,7
/proc/15032/task/15034/stat : 15034 (java) S 15030 15030 12119 0 -1 1077944384 1468 0 0 0 2 2 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559057296528 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15035] ppid=15030 vsize=15419452 memory=2828 CPUtime=0.04 cores=1,3,5,7
/proc/15032/task/15035/stat : 15035 (java) S 15030 15030 12119 0 -1 1077944384 587 0 0 0 2 2 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559056243728 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15036] ppid=15030 vsize=15419452 memory=1216 CPUtime=0.03 cores=1,3,5,7
/proc/15032/task/15036/stat : 15036 (java) S 15030 15030 12119 0 -1 1077944384 361 0 0 0 2 1 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559055190928 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15037] ppid=15030 vsize=15419452 memory=984 CPUtime=0.04 cores=1,3,5,7
/proc/15032/task/15037/stat : 15037 (java) S 15030 15030 12119 0 -1 1077944384 2066 0 0 0 3 1 0 0 20 0 19 0 411383786 15789518848 61280 33554432000 4194304 4196468 140732673183168 140559054138128 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15038] ppid=15030 vsize=15419452 memory=14004 CPUtime=0.01 cores=1,3,5,7
/proc/15032/task/15038/stat : 15038 (java) S 15030 15030 12119 0 -1 1077944384 771 0 0 0 1 0 0 0 20 0 19 0 411383787 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558597630320 140559129266818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15039] ppid=15030 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15039/stat : 15039 (java) S 15030 15030 12119 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 411383788 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558596576352 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15040] ppid=15030 vsize=15419452 memory=245116 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15040/stat : 15040 (java) S 15030 15030 12119 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 411383788 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558595523456 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15041] ppid=15030 vsize=15419452 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15041/stat : 15041 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411383790 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558594471760 140559129274267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15042] ppid=15030 vsize=15419452 memory=776 CPUtime=3.23 cores=1,3,5,7
/proc/15032/task/15042/stat : 15042 (java) S 15030 15030 12119 0 -1 1077944384 11326 0 0 0 322 1 0 0 20 0 19 0 411383790 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558593420144 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15043] ppid=15030 vsize=15419452 memory=1564 CPUtime=2.86 cores=1,3,5,7
/proc/15032/task/15043/stat : 15043 (java) S 15030 15030 12119 0 -1 1077944384 7595 0 0 0 286 0 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558592367344 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15044] ppid=15030 vsize=15419452 memory=5968 CPUtime=0.97 cores=1,3,5,7
/proc/15032/task/15044/stat : 15044 (java) S 15030 15030 12119 0 -1 1077944384 8259 0 0 0 96 1 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558591314544 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15045] ppid=15030 vsize=15419452 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15045/stat : 15045 (java) S 15030 15030 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558590261984 140559129265877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15046] ppid=15030 vsize=15419452 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/15032/task/15046/stat : 15046 (java) S 15030 15030 12119 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 19 0 411383791 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558589209264 140559129266818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15062] ppid=15030 vsize=15419452 memory=1216 CPUtime=27.35 cores=1,3,5,7
/proc/15032/task/15062/stat : 15062 (java) R 15030 15030 12119 0 -1 4202560 292 0 0 0 2735 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558507948640 140558735718324 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15063] ppid=15030 vsize=15419452 memory=984 CPUtime=27.59 cores=1,3,5,7
/proc/15032/task/15063/stat : 15063 (java) R 15030 15030 12119 0 -1 4202560 1343 0 0 0 2759 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558578138776 140558734239808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15064] ppid=15030 vsize=15419452 memory=14004 CPUtime=27.36 cores=1,3,5,7
/proc/15032/task/15064/stat : 15064 (java) R 15030 15030 12119 0 -1 4202560 207 0 0 0 2736 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558509002248 140558735831056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
[pid=15032/tid=15065] ppid=15030 vsize=15419452 memory=20832 CPUtime=27.55 cores=1,3,5,7
/proc/15032/task/15065/stat : 15065 (java) R 15030 15030 12119 0 -1 4202560 625 0 0 0 2755 0 0 0 20 0 19 0 411384389 15789518848 61280 33554432000 4194304 4196468 140732673183168 140558506897736 140558735751482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7389184 140732673188847 140732673189018 140732673189018 140732673191887 0
Current children cumulated CPU time: 133.16 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 246568 KiB

Child status: 0
Real time (s): 33.8591
CPU time (s): 133.338
CPU user time (s): 133.124
CPU system time (s): 0.214832
CPU usage (%): 393.803
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 246568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 133.124
system time used= 0.214832
maximum resident set size= 246660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3527
involuntary context switches= 2927


# summary of solver processes directly reported to runsolver:
#   pid: 15030
#   total CPU time (s): 133.338
#   total CPU user time (s): 133.124
#   total CPU system time (s): 0.214832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.232966 second user time and 0.425766 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml
MD5SUM	200d8ff13be0114d953e34120514972f
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	66.689
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 4393455

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