2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	269	253.33299	240.02499

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284356-1503212716.xml"  -tl '264s' -p 1 -x 3
0.13/0.14	c [HOME/instance-4284356-1503212716.xml, -tl, 264s, -p, 1, -x, 3]
0.13/0.19	c simple solver
0.34/0.26	c parse instance...
1.64/0.78	c solve instance...
2.23/0.94	o 629 
2.61/1.10	o 589 
3.84/1.49	o 573 
10.72/4.44	o 557 
11.43/4.88	o 533 
12.19/5.45	o 517 
12.94/6.10	o 485 
13.17/6.28	o 445 
13.82/6.85	o 421 
14.40/7.27	o 333 
21.68/13.31	o 285 
157.21/146.57	o 269 
253.31/240.01	s SATISFIABLE
253.31/240.01	v <instantiation>
253.31/240.01	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[37][0] y[37][1] y[37][2] y[37][3] y[38][0] y[38][1] y[38][2] y[39][0] y[39][1] y[40][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] </list>
253.31/240.01	v 	<values>1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 0 5 2 5 2 -3 -2 5 0 3 4 1 0 1 4 1 -6 -1 -2 -1 -4 -1 0 1 -2 1 2 1 -2 -1 -2 1 0 -3 4 1 -4 1 2 -1 1 0 25 4 25 4 9 4 25 0 9 16 1 0 1 16 1 36 1 4 1 16 1 0 1 4 1 4 1 4 1 4 1 0 9 16 1 16 1 4 1 </values>
253.31/240.01	v </instantiation>
253.31/240.01	c Unexpected resolution interruption!

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284356-1503212716/watcher-4284356-1503212716 -o /tmp/evaluation-result-4284356-1503212716/solver-4284356-1503212716 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13389 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1428117761 HOME/instance-4284356-1503212716.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=15709, runsolver pid=15706

[startup+0.102105 s]*
/proc/loadavg: 1.97 1.81 1.76 4/218 15725
/proc/meminfo: memFree=24539280/32770624 swapFree=67108860/67108860
[pid=15709] ppid=15706 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15709/stat : 15709 (xcsp3-exec) S 15706 15709 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154359236 9740288 346 33554432000 4194304 5098028 140731594928384 140731594926488 140273327952508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9744384 140731594937460 140731594937664 140731594937664 140731594940395 0
/proc/15709/statm: 2378 346 289 221 0 87 0
[pid=15711] ppid=15709 vsize=13978596 memory=28820 CPUtime=0.13 cores=0,2,4,6
/proc/15711/stat : 15711 (java) S 15709 15709 13358 0 -1 1077944320 5136 0 0 0 12 1 0 0 20 0 15 0 154359236 14314082304 7205 33554432000 4194304 4196468 140737083759504 140737083742048 140430824926967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
/proc/15711/statm: 3494649 7205 2867 1 0 3482966 0
[pid=15711/tid=15712] ppid=15709 vsize=13978596 memory=-6962121287837372198 CPUtime=0.1 cores=0,2,4,6
/proc/15711/task/15712/stat : 15712 (java) R 15709 15709 13358 0 -1 4202560 3071 0 0 0 9 1 0 0 20 0 15 0 154359236 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430829151440 140430824938902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15713] ppid=15709 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15713/stat : 15713 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430739994896 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15714] ppid=15709 vsize=13978596 memory=140095824893568 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15714/stat : 15714 (java) S 15709 15709 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359237 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430738942352 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15715] ppid=15709 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15715/stat : 15715 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430737889808 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15716] ppid=15709 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15716/stat : 15716 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430736837264 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15717] ppid=15709 vsize=13978596 memory=140095824893568 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15717/stat : 15717 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359239 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430299077104 140430824938114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15718] ppid=15709 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15718/stat : 15718 (java) S 15709 15709 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154359239 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430298023328 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15719] ppid=15709 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15719/stat : 15719 (java) S 15709 15709 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154359239 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430296970736 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15720] ppid=15709 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15720/stat : 15720 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430295919312 140430824945563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15721] ppid=15709 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15721/stat : 15721 (java) S 15709 15709 13358 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 154359242 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430294865904 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15722] ppid=15709 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15722/stat : 15722 (java) S 15709 15709 13358 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154359242 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430293813360 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15723] ppid=15709 vsize=13978596 memory=140095824893568 CPUtime=0.01 cores=0,2,4,6
/proc/15711/task/15723/stat : 15723 (java) R 15709 15709 13358 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 154359242 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430292760816 140430824948314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15724] ppid=15709 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15724/stat : 15724 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430291708512 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15725] ppid=15709 vsize=13978596 memory=140095824893568 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15725/stat : 15725 (java) S 15709 15709 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359242 14314082304 7205 33554432000 4194304 4196468 140737083759504 140430290656048 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30204 KiB

[startup+0.211198 s]*
/proc/loadavg: 1.97 1.81 1.76 3/218 15725
/proc/meminfo: memFree=24528084/32770624 swapFree=67108860/67108860
[pid=15709] ppid=15706 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15709/stat : 15709 (xcsp3-exec) S 15706 15709 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154359236 9740288 346 33554432000 4194304 5098028 140731594928384 140731594926488 140273327952508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9744384 140731594937460 140731594937664 140731594937664 140731594940395 0
/proc/15709/statm: 2378 346 289 221 0 87 0
[pid=15711] ppid=15709 vsize=13982852 memory=40552 CPUtime=0.34 cores=0,2,4,6
/proc/15711/stat : 15711 (java) S 15709 15709 13358 0 -1 1077944320 7782 0 0 0 32 2 0 0 20 0 15 0 154359236 14318440448 10138 33554432000 4194304 4196468 140737083759504 140737083742048 140430824926967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
/proc/15711/statm: 3495713 10138 3051 1 0 3482966 0
[pid=15711/tid=15712] ppid=15709 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/15711/task/15712/stat : 15712 (java) R 15709 15709 13358 0 -1 4202560 4921 0 0 0 18 2 0 0 20 0 15 0 154359236 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430829137872 140430824948893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15713] ppid=15709 vsize=13982852 memory=2898 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15713/stat : 15713 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430739994896 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15714] ppid=15709 vsize=13982852 memory=288370471976605312 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15714/stat : 15714 (java) S 15709 15709 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359237 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430738942352 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15715] ppid=15709 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15715/stat : 15715 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430737889808 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15716] ppid=15709 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15716/stat : 15716 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430736837264 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15717] ppid=15709 vsize=13982852 memory=140095824893568 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15717/stat : 15717 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359239 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430299077104 140430824938114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15718] ppid=15709 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15718/stat : 15718 (java) S 15709 15709 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154359239 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430298023328 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15719] ppid=15709 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15719/stat : 15719 (java) S 15709 15709 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154359239 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430296970736 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15720] ppid=15709 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15720/stat : 15720 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430295919312 140430824945563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15721] ppid=15709 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15711/task/15721/stat : 15721 (java) S 15709 15709 13358 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 15 0 154359242 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430294865904 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15722] ppid=15709 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15711/task/15722/stat : 15722 (java) S 15709 15709 13358 0 -1 1077944384 307 0 0 0 2 0 0 0 20 0 15 0 154359242 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430293813360 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15723] ppid=15709 vsize=13982852 memory=140095824893568 CPUtime=0.08 cores=0,2,4,6
/proc/15711/task/15723/stat : 15723 (java) R 15709 15709 13358 0 -1 4202560 742 0 0 0 8 0 0 0 20 0 15 0 154359242 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430292760816 140430804061440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15724] ppid=15709 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15724/stat : 15724 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430291708512 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15725] ppid=15709 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15725/stat : 15725 (java) S 15709 15709 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359242 14318440448 10138 33554432000 4194304 4196468 140737083759504 140430290656048 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41936 KiB

[startup+0.310661 s]*
/proc/loadavg: 1.97 1.81 1.76 5/218 15725
/proc/meminfo: memFree=24521260/32770624 swapFree=67108860/67108860
[pid=15709] ppid=15706 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15709/stat : 15709 (xcsp3-exec) S 15706 15709 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154359236 9740288 346 33554432000 4194304 5098028 140731594928384 140731594926488 140273327952508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9744384 140731594937460 140731594937664 140731594937664 140731594940395 0
/proc/15709/statm: 2378 346 289 221 0 87 0
[pid=15711] ppid=15709 vsize=13982852 memory=47120 CPUtime=0.51 cores=0,2,4,6
/proc/15711/stat : 15711 (java) S 15709 15709 13358 0 -1 1077944320 8491 0 0 0 49 2 0 0 20 0 15 0 154359236 14318440448 11780 33554432000 4194304 4196468 140737083759504 140737083742048 140430824926967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
/proc/15711/statm: 3495713 11780 3080 1 0 3482966 0
[pid=15711/tid=15712] ppid=15709 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15711/task/15712/stat : 15712 (java) R 15709 15709 13358 0 -1 4202560 5445 0 0 0 27 2 0 0 20 0 15 0 154359236 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430829163088 140430417174996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15713] ppid=15709 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15713/stat : 15713 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430739994896 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15714] ppid=15709 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15714/stat : 15714 (java) S 15709 15709 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359237 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430738942352 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15715] ppid=15709 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15715/stat : 15715 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430737889808 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15716] ppid=15709 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15716/stat : 15716 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430736837264 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15717] ppid=15709 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15717/stat : 15717 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359239 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430299077104 140430824938114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15718] ppid=15709 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15718/stat : 15718 (java) S 15709 15709 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154359239 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430298023328 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15719] ppid=15709 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15719/stat : 15719 (java) S 15709 15709 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154359239 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430296970736 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15720] ppid=15709 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15720/stat : 15720 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430295919312 140430824945563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15721] ppid=15709 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/15711/task/15721/stat : 15721 (java) R 15709 15709 13358 0 -1 4202560 590 0 0 0 4 0 0 0 20 0 15 0 154359242 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430294865904 140430817164094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15722] ppid=15709 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15711/task/15722/stat : 15722 (java) R 15709 15709 13358 0 -1 1077944384 313 0 0 0 3 0 0 0 20 0 15 0 154359242 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430293813360 140430824938114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15723] ppid=15709 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/15711/task/15723/stat : 15723 (java) R 15709 15709 13358 0 -1 4202560 839 0 0 0 13 0 0 0 20 0 15 0 154359242 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430292757184 140430803954965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15724] ppid=15709 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15724/stat : 15724 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430291708512 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15725] ppid=15709 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15725/stat : 15725 (java) S 15709 15709 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359242 14318440448 11780 33554432000 4194304 4196468 140737083759504 140430290656048 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48504 KiB

[startup+0.705061 s]
/proc/loadavg: 1.97 1.81 1.76 6/218 15725
/proc/meminfo: memFree=24506216/32770624 swapFree=67108860/67108860
[pid=15709] ppid=15706 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15709/stat : 15709 (xcsp3-exec) S 15706 15709 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154359236 9740288 346 33554432000 4194304 5098028 140731594928384 140731594926488 140273327952508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9744384 140731594937460 140731594937664 140731594937664 140731594940395 0
/proc/15709/statm: 2378 346 289 221 0 87 0
[pid=15711] ppid=15709 vsize=13984976 memory=89116 CPUtime=1.64 cores=0,2,4,6
/proc/15711/stat : 15711 (java) S 15709 15709 13358 0 -1 1077944320 11887 0 0 0 159 5 0 0 20 0 15 0 154359236 14320615424 22279 33554432000 4194304 4196468 140737083759504 140737083742048 140430824926967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
/proc/15711/statm: 3496244 22279 3210 1 0 3483478 0
[pid=15711/tid=15712] ppid=15709 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/15711/task/15712/stat : 15712 (java) R 15709 15709 13358 0 -1 4202560 6189 0 0 0 64 3 0 0 20 0 15 0 154359236 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430829163184 140430415047816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15713] ppid=15709 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15713/stat : 15713 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430739994896 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15714] ppid=15709 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15714/stat : 15714 (java) S 15709 15709 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359237 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430738942352 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15715] ppid=15709 vsize=13984976 memory=42988 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15715/stat : 15715 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430737889808 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15716] ppid=15709 vsize=13984976 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15716/stat : 15716 (java) S 15709 15709 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359237 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430736837264 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15717] ppid=15709 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15717/stat : 15717 (java) S 15709 15709 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154359239 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430299077104 140430824938114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15718] ppid=15709 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15718/stat : 15718 (java) S 15709 15709 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154359239 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430298023328 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15719] ppid=15709 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15719/stat : 15719 (java) S 15709 15709 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154359239 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430296970736 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15720] ppid=15709 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15720/stat : 15720 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430295919312 140430824945563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15721] ppid=15709 vsize=13984976 memory=796 CPUtime=0.28 cores=0,2,4,6
/proc/15711/task/15721/stat : 15721 (java) R 15709 15709 13358 0 -1 4202560 1306 0 0 0 28 0 0 0 20 0 15 0 154359242 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430294865904 140430805627264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15722] ppid=15709 vsize=13984976 memory=10088 CPUtime=0.25 cores=0,2,4,6
/proc/15711/task/15722/stat : 15722 (java) R 15709 15709 13358 0 -1 4202560 1126 0 0 0 25 0 0 0 20 0 15 0 154359242 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430293799928 140430806471928 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15723] ppid=15709 vsize=13984976 memory=1948 CPUtime=0.42 cores=0,2,4,6
/proc/15711/task/15723/stat : 15723 (java) S 15709 15709 13358 0 -1 1077944384 1967 0 0 0 42 0 0 0 20 0 15 0 154359242 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430292760816 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15724] ppid=15709 vsize=13984976 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15724/stat : 15724 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430291708512 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15725] ppid=15709 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15725/stat : 15725 (java) S 15709 15709 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359242 14320615424 22279 33554432000 4194304 4196468 140737083759504 140430290656048 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 90500 KiB

[startup+1.50079 s]
/proc/loadavg: 1.97 1.81 1.76 6/218 15725
/proc/meminfo: memFree=24456580/32770624 swapFree=67108860/67108860
[pid=15709] ppid=15706 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15709/stat : 15709 (xcsp3-exec) S 15706 15709 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154359236 9740288 346 33554432000 4194304 5098028 140731594928384 140731594926488 140273327952508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9744384 140731594937460 140731594937664 140731594937664 140731594940395 0
/proc/15709/statm: 2378 346 289 221 0 87 0

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

/proc/15711/task/15719/stat : 15719 (java) S 15709 15709 13358 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154359239 14322712576 123248 33554432000 4194304 4196468 140737083759504 140430296970752 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15720] ppid=15709 vsize=13987024 memory=494356 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15720/stat : 15720 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14322712576 123248 33554432000 4194304 4196468 140737083759504 140430295919312 140430824945563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15721] ppid=15709 vsize=13987024 memory=1384 CPUtime=3.92 cores=0,2,4,6
/proc/15711/task/15721/stat : 15721 (java) S 15709 15709 13358 0 -1 1077944384 17365 0 0 0 390 2 0 0 20 0 15 0 154359242 14322712576 123248 33554432000 4194304 4196468 140737083759504 140430294865904 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15722] ppid=15709 vsize=13987024 memory=4132 CPUtime=4 cores=0,2,4,6
/proc/15711/task/15722/stat : 15722 (java) S 15709 15709 13358 0 -1 1077944384 23465 0 0 0 398 2 0 0 20 0 15 0 154359242 14322712576 123248 33554432000 4194304 4196468 140737083759504 140430293813360 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15723] ppid=15709 vsize=13987024 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/15711/task/15723/stat : 15723 (java) S 15709 15709 13358 0 -1 1077944384 6207 0 0 0 90 1 0 0 20 0 15 0 154359242 14322712576 123248 33554432000 4194304 4196468 140737083759504 140430292760816 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15724] ppid=15709 vsize=13987024 memory=4640517895132560944 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15724/stat : 15724 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14322712576 123248 33554432000 4194304 4196468 140737083759504 140430291708512 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15725] ppid=15709 vsize=13987024 memory=280191453380704 CPUtime=0.03 cores=0,2,4,6
/proc/15711/task/15725/stat : 15725 (java) S 15709 15709 13358 0 -1 1077944384 517 0 0 0 1 2 0 0 20 0 15 0 154359242 14322712576 123248 33554432000 4194304 4196468 140737083759504 140430290656048 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
Current children cumulated CPU time: 112.55 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 494376 KiB

[startup+162.301 s]
/proc/loadavg: 2.08 1.94 1.82 3/218 15806
/proc/meminfo: memFree=24132576/32770624 swapFree=67108860/67108860
[pid=15709] ppid=15706 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15709/stat : 15709 (xcsp3-exec) S 15706 15709 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154359236 9740288 346 33554432000 4194304 5098028 140731594928384 140731594926488 140273327952508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9744384 140731594937460 140731594937664 140731594937664 140731594940395 0
/proc/15709/statm: 2378 346 289 221 0 87 0
[pid=15711] ppid=15709 vsize=13987024 memory=536592 CPUtime=173.25 cores=0,2,4,6
/proc/15711/stat : 15711 (java) S 15709 15709 13358 0 -1 1077944320 77977 0 0 0 17264 61 0 0 20 0 15 0 154359236 14322712576 134148 33554432000 4194304 4196468 140737083759504 140737083742048 140430824926967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
/proc/15711/statm: 3496756 134148 3264 1 0 3483990 0
[pid=15711/tid=15712] ppid=15709 vsize=13987024 memory=527284 CPUtime=161.56 cores=0,2,4,6
/proc/15711/task/15712/stat : 15712 (java) R 15709 15709 13358 0 -1 4202560 15607 0 0 0 16149 7 0 0 20 0 15 0 154359236 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430829163928 140430421522848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15713] ppid=15709 vsize=13987024 memory=527284 CPUtime=0.65 cores=0,2,4,6
/proc/15711/task/15713/stat : 15713 (java) S 15709 15709 13358 0 -1 1077944384 3163 0 0 0 55 10 0 0 20 0 15 0 154359237 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430739994896 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15714] ppid=15709 vsize=13987024 memory=527284 CPUtime=0.65 cores=0,2,4,6
/proc/15711/task/15714/stat : 15714 (java) S 15709 15709 13358 0 -1 1077944384 1544 0 0 0 55 10 0 0 20 0 15 0 154359237 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430738942352 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15715] ppid=15709 vsize=13987024 memory=1384 CPUtime=0.64 cores=0,2,4,6
/proc/15711/task/15715/stat : 15715 (java) S 15709 15709 13358 0 -1 1077944384 2343 0 0 0 55 9 0 0 20 0 15 0 154359237 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430737889808 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15716] ppid=15709 vsize=13987024 memory=536592 CPUtime=0.64 cores=0,2,4,6
/proc/15711/task/15716/stat : 15716 (java) S 15709 15709 13358 0 -1 1077944384 2241 0 0 0 54 10 0 0 20 0 15 0 154359237 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430736837264 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15717] ppid=15709 vsize=13987024 memory=536592 CPUtime=0.03 cores=0,2,4,6
/proc/15711/task/15717/stat : 15717 (java) S 15709 15709 13358 0 -1 1077944384 1289 0 0 0 3 0 0 0 20 0 15 0 154359239 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430299077104 140430824938114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15718] ppid=15709 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15718/stat : 15718 (java) S 15709 15709 13358 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154359239 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430298023392 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15719] ppid=15709 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15719/stat : 15719 (java) S 15709 15709 13358 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154359239 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430296970752 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15720] ppid=15709 vsize=13987024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15720/stat : 15720 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430295919312 140430824945563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15721] ppid=15709 vsize=13987024 memory=0 CPUtime=3.97 cores=0,2,4,6
/proc/15711/task/15721/stat : 15721 (java) S 15709 15709 13358 0 -1 1077944384 19266 0 0 0 395 2 0 0 20 0 15 0 154359242 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430294865904 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15722] ppid=15709 vsize=13987024 memory=1384 CPUtime=4.01 cores=0,2,4,6
/proc/15711/task/15722/stat : 15722 (java) S 15709 15709 13358 0 -1 1077944384 24398 0 0 0 399 2 0 0 20 0 15 0 154359242 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430293813360 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15723] ppid=15709 vsize=13987024 memory=1384 CPUtime=0.91 cores=0,2,4,6
/proc/15711/task/15723/stat : 15723 (java) S 15709 15709 13358 0 -1 1077944384 6242 0 0 0 90 1 0 0 20 0 15 0 154359242 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430292760816 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15724] ppid=15709 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15724/stat : 15724 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430291708512 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15725] ppid=15709 vsize=13987024 memory=536592 CPUtime=0.06 cores=0,2,4,6
/proc/15711/task/15725/stat : 15725 (java) S 15709 15709 13358 0 -1 1077944384 539 0 0 0 2 4 0 0 20 0 15 0 154359242 14322712576 134148 33554432000 4194304 4196468 140737083759504 140430290656048 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
Current children cumulated CPU time: 173.25 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 537976 KiB

[startup+222.301 s]
/proc/loadavg: 2.09 1.98 1.84 3/218 15807
/proc/meminfo: memFree=24090436/32770624 swapFree=67108860/67108860
[pid=15709] ppid=15706 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15709/stat : 15709 (xcsp3-exec) S 15706 15709 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154359236 9740288 346 33554432000 4194304 5098028 140731594928384 140731594926488 140273327952508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9744384 140731594937460 140731594937664 140731594937664 140731594940395 0
/proc/15709/statm: 2378 346 289 221 0 87 0
[pid=15711] ppid=15709 vsize=13987024 memory=542908 CPUtime=235.07 cores=0,2,4,6
/proc/15711/stat : 15711 (java) S 15709 15709 13358 0 -1 1077944320 86737 0 0 0 23429 78 0 0 20 0 15 0 154359236 14322712576 135727 33554432000 4194304 4196468 140737083759504 140737083742048 140430824926967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
/proc/15711/statm: 3496756 135727 3279 1 0 3483990 0
[pid=15711/tid=15712] ppid=15709 vsize=13987024 memory=542908 CPUtime=220.92 cores=0,2,4,6
/proc/15711/task/15712/stat : 15712 (java) R 15709 15709 13358 0 -1 4202560 16686 0 0 0 22085 7 0 0 20 0 15 0 154359236 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430829163216 140430421524978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15713] ppid=15709 vsize=13987024 memory=546868 CPUtime=1.21 cores=0,2,4,6
/proc/15711/task/15713/stat : 15713 (java) S 15709 15709 13358 0 -1 1077944384 3639 0 0 0 107 14 0 0 20 0 15 0 154359237 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430739994896 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15714] ppid=15709 vsize=13987024 memory=546868 CPUtime=1.21 cores=0,2,4,6
/proc/15711/task/15714/stat : 15714 (java) S 15709 15709 13358 0 -1 1077944384 1908 0 0 0 107 14 0 0 20 0 15 0 154359237 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430738942352 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15715] ppid=15709 vsize=13987024 memory=280191452973840 CPUtime=1.2 cores=0,2,4,6
/proc/15711/task/15715/stat : 15715 (java) S 15709 15709 13358 0 -1 1077944384 2772 0 0 0 107 13 0 0 20 0 15 0 154359237 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430737889808 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15716] ppid=15709 vsize=13987024 memory=542908 CPUtime=1.21 cores=0,2,4,6
/proc/15711/task/15716/stat : 15716 (java) S 15709 15709 13358 0 -1 1077944384 2821 0 0 0 107 14 0 0 20 0 15 0 154359237 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430736837264 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15717] ppid=15709 vsize=13987024 memory=1384 CPUtime=0.1 cores=0,2,4,6
/proc/15711/task/15717/stat : 15717 (java) S 15709 15709 13358 0 -1 1077944384 4256 0 0 0 9 1 0 0 20 0 15 0 154359239 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430299077104 140430824938114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15718] ppid=15709 vsize=13987024 memory=4 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15718/stat : 15718 (java) S 15709 15709 13358 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154359239 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430298023392 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15719] ppid=15709 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15719/stat : 15719 (java) S 15709 15709 13358 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154359239 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430296970752 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15720] ppid=15709 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15720/stat : 15720 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430295919312 140430824945563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15721] ppid=15709 vsize=13987024 memory=1384 CPUtime=4.08 cores=0,2,4,6
/proc/15711/task/15721/stat : 15721 (java) S 15709 15709 13358 0 -1 1077944384 21501 0 0 0 406 2 0 0 20 0 15 0 154359242 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430294865904 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15722] ppid=15709 vsize=13987024 memory=1384 CPUtime=4.01 cores=0,2,4,6
/proc/15711/task/15722/stat : 15722 (java) S 15709 15709 13358 0 -1 1077944384 24424 0 0 0 399 2 0 0 20 0 15 0 154359242 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430293813360 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15723] ppid=15709 vsize=13987024 memory=916 CPUtime=0.92 cores=0,2,4,6
/proc/15711/task/15723/stat : 15723 (java) S 15709 15709 13358 0 -1 1077944384 6818 0 0 0 90 2 0 0 20 0 15 0 154359242 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430292760816 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15724] ppid=15709 vsize=13987024 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15724/stat : 15724 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430291708512 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15725] ppid=15709 vsize=13987024 memory=542908 CPUtime=0.09 cores=0,2,4,6
/proc/15711/task/15725/stat : 15725 (java) S 15709 15709 13358 0 -1 1077944384 567 0 0 0 4 5 0 0 20 0 15 0 154359242 14322712576 135727 33554432000 4194304 4196468 140737083759504 140430290656048 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
Current children cumulated CPU time: 235.07 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 544292 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.92 1.94 1.83 3/218 15807
/proc/meminfo: memFree=24085704/32770624 swapFree=67108860/67108860
[pid=15709] ppid=15706 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15709/stat : 15709 (xcsp3-exec) S 15706 15709 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154359236 9740288 346 33554432000 4194304 5098028 140731594928384 140731594926488 140273327952508 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9744384 140731594937460 140731594937664 140731594937664 140731594940395 0
/proc/15709/statm: 2378 346 289 221 0 87 0
[pid=15711] ppid=15709 vsize=13987024 memory=529280 CPUtime=253.31 cores=0,2,4,6
/proc/15711/stat : 15711 (java) S 15709 15709 13358 0 -1 1077944320 89455 0 0 0 25252 79 0 0 20 0 15 0 154359236 14322712576 132320 33554432000 4194304 4196468 140737083759504 140737083742048 140430824926967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
/proc/15711/statm: 3496756 132320 3280 1 0 3483990 0
[pid=15711/tid=15712] ppid=15709 vsize=13987024 memory=6791534058613427641 CPUtime=238.53 cores=0,2,4,6
/proc/15711/task/15712/stat : 15712 (java) R 15709 15709 13358 0 -1 4202560 16802 0 0 0 23846 7 0 0 20 0 15 0 154359236 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430829166320 140430421523216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15713] ppid=15709 vsize=13987024 memory=4872558044660077418 CPUtime=1.31 cores=0,2,4,6
/proc/15711/task/15713/stat : 15713 (java) S 15709 15709 13358 0 -1 1077944384 3681 0 0 0 117 14 0 0 20 0 15 0 154359237 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430739994896 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15714] ppid=15709 vsize=13987024 memory=1792 CPUtime=1.31 cores=0,2,4,6
/proc/15711/task/15714/stat : 15714 (java) S 15709 15709 13358 0 -1 1077944384 1958 0 0 0 117 14 0 0 20 0 15 0 154359237 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430738942352 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15715] ppid=15709 vsize=13987024 memory=648 CPUtime=1.3 cores=0,2,4,6
/proc/15711/task/15715/stat : 15715 (java) S 15709 15709 13358 0 -1 1077944384 2842 0 0 0 117 13 0 0 20 0 15 0 154359237 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430737889808 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15716] ppid=15709 vsize=13987024 memory=1236 CPUtime=1.31 cores=0,2,4,6
/proc/15711/task/15716/stat : 15716 (java) S 15709 15709 13358 0 -1 1077944384 3080 0 0 0 117 14 0 0 20 0 15 0 154359237 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430736837264 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15717] ppid=15709 vsize=13987024 memory=960 CPUtime=0.11 cores=0,2,4,6
/proc/15711/task/15717/stat : 15717 (java) S 15709 15709 13358 0 -1 1077944384 4277 0 0 0 10 1 0 0 20 0 15 0 154359239 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430299077104 140430824938114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15718] ppid=15709 vsize=13987024 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15718/stat : 15718 (java) S 15709 15709 13358 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154359239 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430298023392 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15719] ppid=15709 vsize=13987024 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15719/stat : 15719 (java) S 15709 15709 13358 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154359239 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430296970752 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15720] ppid=15709 vsize=13987024 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15720/stat : 15720 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430295919312 140430824945563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15721] ppid=15709 vsize=13987024 memory=1384 CPUtime=4.16 cores=0,2,4,6
/proc/15711/task/15721/stat : 15721 (java) S 15709 15709 13358 0 -1 1077944384 21698 0 0 0 414 2 0 0 20 0 15 0 154359242 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430294865904 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15722] ppid=15709 vsize=13987024 memory=532872 CPUtime=4.17 cores=0,2,4,6
/proc/15711/task/15722/stat : 15722 (java) S 15709 15709 13358 0 -1 1077944384 26386 0 0 0 414 3 0 0 20 0 15 0 154359242 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430293813360 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15723] ppid=15709 vsize=13987024 memory=1792 CPUtime=0.92 cores=0,2,4,6
/proc/15711/task/15723/stat : 15723 (java) S 15709 15709 13358 0 -1 1077944384 6818 0 0 0 90 2 0 0 20 0 15 0 154359242 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430292760816 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15724] ppid=15709 vsize=13987024 memory=648 CPUtime=0 cores=0,2,4,6
/proc/15711/task/15724/stat : 15724 (java) S 15709 15709 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359242 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430291708512 140430824937173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
[pid=15711/tid=15725] ppid=15709 vsize=13987024 memory=1236 CPUtime=0.09 cores=0,2,4,6
/proc/15711/task/15725/stat : 15725 (java) S 15709 15709 13358 0 -1 1077944384 568 0 0 0 4 5 0 0 20 0 15 0 154359242 14322712576 132320 33554432000 4194304 4196468 140737083759504 140430290656048 140430824938114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9957376 140737083761821 140737083761996 140737083761996 140737083764687 0
Current children cumulated CPU time: 253.31 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 530664 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+240.02 s]
# the end of solver process 15709 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001604 s, system=0.000864 s

[startup+240.025 s]
# the end of solver process 15711 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=252.534 s, system=0.799275 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 240.025
CPU time (s): 253.333
CPU user time (s): 252.534
CPU system time (s): 0.799275
CPU usage (%): 105.544
Max. virtual memory (cumulated for all children) (KiB): 13998620
Max. memory (cumulated for all children) (KiB): 635948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.534
system time used= 0.799275
maximum resident set size= 634716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9437
involuntary context switches= 411


# summary of solver processes directly reported to runsolver:
#   pid: 15709,15711
#   total CPU time (s): 253.333
#   total CPU user time (s): 252.534
#   total CPU system time (s): 0.799275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.67861 second user time and 2.24196 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml
MD5SUM	406abf126875c7059afeaa5170034bef
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	157
Best CPU time to get the best result obtained on this benchmark	1921.3
Satisfiable
(Un)Satisfiability was proved
Number of variables	1805
Number of constraints	943
Number of domains	83
Minimum domain size	2
Maximum domain size	83
Distribution of domain sizes	[{"size":2,"count":904},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}]
Minimum variable degree	0
Maximum variable degree	41
Distribution of variable degrees	[{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	42
Distribution of constraint arities	[{"arity":2,"count":42},{"arity":3,"count":862},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	902
Distribution of constraint types	[{"type":"intension","count":902},{"type":"sum","count":41}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4284356

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