2017 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 4.0.5 seq (2017-08-09)	SAT (TO)	253	2520.05	2514.4099

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269146-1502791575.xml"  -tl '2520s' -p 1 -x 0
0.11/0.14	c [HOME/instance-4269146-1502791575.xml, -tl, 2520s, -p, 1, -x, 0]
0.11/0.20	c simple solver
0.34/0.26	c parse instance...
1.64/0.77	c solve instance...
2.28/0.91	o 629 
2.28/0.92	o 589 
2.28/0.98	o 573 
2.95/1.20	o 477 
3.14/1.21	o 469 
3.14/1.21	o 437 
3.14/1.22	o 413 
4.11/1.80	o 365 
4.95/2.13	o 349 
6.01/2.66	o 309 
15.34/11.42	o 285 
15.65/11.74	o 261 
54.30/50.25	o 253 
2520.03/2514.40	s SATISFIABLE
2520.03/2514.40	v <instantiation>
2520.03/2514.40	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>
2520.03/2514.40	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 -7 -2 -5 -2 -3 -4 5 2 -1 -4 -1 2 -3 2 -1 2 1 -2 3 0 1 -2 -1 4 -3 0 -1 0 1 0 -1 -2 3 0 1 2 -3 0 -1 0 1 49 4 25 4 9 16 25 4 1 16 1 4 9 4 1 4 1 4 9 0 1 4 1 16 9 0 1 0 1 0 1 4 9 0 1 4 9 0 1 0 1 </values>
2520.03/2514.40	v </instantiation>
2520.03/2514.40	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 (12254 MiB free)
  memory of node 1: 16384 MiB (12862 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269146-1502791575/watcher-4269146-1502791575 -o /tmp/evaluation-result-4269146-1502791575/solver-4269146-1502791575 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502785522-15705 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1105694332 HOME/instance-4269146-1502791575.xml 

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

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


[startup+0.100123 s]*
/proc/loadavg: 1.89 1.95 2.04 4/218 17562
/proc/meminfo: memFree=25701748/32770624 swapFree=67108860/67108860
[pid=17546] ppid=17543 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (xcsp3-exec) S 17543 17546 15674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112229126 9740288 346 33554432000 4194304 5098028 140728009242592 140728009240696 140672481264252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140728009245806 140728009246011 140728009246011 140728009248747 0
/proc/17546/statm: 2378 346 289 221 0 87 0
[pid=17548] ppid=17546 vsize=13978596 memory=29900 CPUtime=0.11 cores=0,2,4,6
/proc/17548/stat : 17548 (java) S 17546 17546 15674 0 -1 1077944320 5399 0 0 0 10 1 0 0 20 0 15 0 112229126 14314082304 7475 33554432000 4194304 4196468 140737157356640 140737157339184 140227160329975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
/proc/17548/statm: 3494649 7475 2841 1 0 3482966 0
[pid=17548/tid=17549] ppid=17546 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/17548/task/17549/stat : 17549 (java) R 17546 17546 15674 0 -1 4202560 3401 0 0 0 8 1 0 0 20 0 15 0 112229126 14314082304 7475 33554432000 4194304 4196468 140737157356640 140227164561888 140227160341910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17550] ppid=17546 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17550/stat : 17550 (java) S 17546 17546 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112229127 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226756459152 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17551] ppid=17546 vsize=13978596 memory=139993959491200 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17551/stat : 17551 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229127 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226755406352 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17552] ppid=17546 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17552/stat : 17552 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229127 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226754353552 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17553] ppid=17546 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17553/stat : 17553 (java) S 17546 17546 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112229127 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226753300752 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17554] ppid=17546 vsize=13978596 memory=139993959491200 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17554/stat : 17554 (java) S 17546 17546 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112229128 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226139855728 140227160341122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17555] ppid=17546 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17555/stat : 17555 (java) S 17546 17546 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112229129 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226138801696 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17556] ppid=17546 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17556/stat : 17556 (java) S 17546 17546 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112229129 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226137748848 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17557] ppid=17546 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17557/stat : 17557 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229131 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226136697168 140227160348571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17558] ppid=17546 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17558/stat : 17558 (java) S 17546 17546 15674 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 112229131 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226135644528 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17559] ppid=17546 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17559/stat : 17559 (java) S 17546 17546 15674 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 112229131 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226134591728 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17560] ppid=17546 vsize=13978596 memory=139993959491200 CPUtime=0.01 cores=0,2,4,6
/proc/17548/task/17560/stat : 17560 (java) R 17546 17546 15674 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 112229131 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226133538928 140227139465431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17561] ppid=17546 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17561/stat : 17561 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229132 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226132486368 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17562] ppid=17546 vsize=13978596 memory=139993959491200 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17562/stat : 17562 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229132 14314082304 7475 33554432000 4194304 4196468 140737157356640 140226131434672 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 31284 KiB

[startup+0.210823 s]*
/proc/loadavg: 1.89 1.95 2.04 3/218 17562
/proc/meminfo: memFree=25690956/32770624 swapFree=67108860/67108860
[pid=17546] ppid=17543 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (xcsp3-exec) S 17543 17546 15674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112229126 9740288 346 33554432000 4194304 5098028 140728009242592 140728009240696 140672481264252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140728009245806 140728009246011 140728009246011 140728009248747 0
/proc/17546/statm: 2378 346 289 221 0 87 0
[pid=17548] ppid=17546 vsize=13982852 memory=42276 CPUtime=0.34 cores=0,2,4,6
/proc/17548/stat : 17548 (java) S 17546 17546 15674 0 -1 1077944320 8101 0 0 0 31 3 0 0 20 0 15 0 112229126 14318440448 10569 33554432000 4194304 4196468 140737157356640 140737157339184 140227160329975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
/proc/17548/statm: 3495721 10569 3080 1 0 3482974 0
[pid=17548/tid=17549] ppid=17546 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/17548/task/17549/stat : 17549 (java) D 17546 17546 15674 0 -1 1077944384 5327 0 0 0 18 2 0 0 20 0 15 0 112229126 14318440448 10569 33554432000 4194304 4196468 140737157356640 140227164539760 140227153009197 0 4 0 16800975 18446744072101613092 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17550] ppid=17546 vsize=13982884 memory=12543 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17550/stat : 17550 (java) S 17546 17546 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112229127 14318473216 10569 33554432000 4194304 4196468 140737157356640 140226756459152 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17551] ppid=17546 vsize=13982884 memory=139993959507158 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17551/stat : 17551 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229127 14318473216 10569 33554432000 4194304 4196468 140737157356640 140226755406352 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17552] ppid=17546 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17552/stat : 17552 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229127 14318440448 10569 33554432000 4194304 4196468 140737157356640 140226754353552 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17553] ppid=17546 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17553/stat : 17553 (java) S 17546 17546 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112229127 14318440448 10569 33554432000 4194304 4196468 140737157356640 140226753300752 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17554] ppid=17546 vsize=13982852 memory=139993959491200 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17554/stat : 17554 (java) S 17546 17546 15674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112229128 14318440448 10569 33554432000 4194304 4196468 140737157356640 140226139855728 140227160341122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17555] ppid=17546 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17555/stat : 17555 (java) S 17546 17546 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112229129 14318440448 10569 33554432000 4194304 4196468 140737157356640 140226138801696 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17556] ppid=17546 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17556/stat : 17556 (java) S 17546 17546 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112229129 14318440448 10569 33554432000 4194304 4196468 140737157356640 140226137748848 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17557] ppid=17546 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17557/stat : 17557 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229131 14318473216 10569 33554432000 4194304 4196468 140737157356640 140226136697168 140227160348571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17558] ppid=17546 vsize=13982884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17548/task/17558/stat : 17558 (java) S 17546 17546 15674 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 15 0 112229131 14318473216 10569 33554432000 4194304 4196468 140737157356640 140226135644528 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17559] ppid=17546 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17548/task/17559/stat : 17559 (java) S 17546 17546 15674 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 15 0 112229131 14318440448 10569 33554432000 4194304 4196468 140737157356640 140226134591728 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17560] ppid=17546 vsize=13982852 memory=139993959491200 CPUtime=0.08 cores=0,2,4,6
/proc/17548/task/17560/stat : 17560 (java) S 17546 17546 15674 0 -1 1077944384 719 0 0 0 8 0 0 0 20 0 15 0 112229131 14318440448 10569 33554432000 4194304 4196468 140737157356640 140226133538928 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17561] ppid=17546 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17561/stat : 17561 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229132 14318440448 10569 33554432000 4194304 4196468 140737157356640 140226132486368 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17562] ppid=17546 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17562/stat : 17562 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229132 14318440448 10569 33554432000 4194304 4196468 140737157356640 140226131434672 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 43660 KiB

[startup+0.310535 s]*
/proc/loadavg: 1.89 1.95 2.04 4/218 17562
/proc/meminfo: memFree=25683852/32770624 swapFree=67108860/67108860
[pid=17546] ppid=17543 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (xcsp3-exec) S 17543 17546 15674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112229126 9740288 346 33554432000 4194304 5098028 140728009242592 140728009240696 140672481264252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140728009245806 140728009246011 140728009246011 140728009248747 0
/proc/17546/statm: 2378 346 289 221 0 87 0
[pid=17548] ppid=17546 vsize=13982852 memory=49108 CPUtime=0.51 cores=0,2,4,6
/proc/17548/stat : 17548 (java) S 17546 17546 15674 0 -1 1077944320 8937 0 0 0 48 3 0 0 20 0 15 0 112229126 14318440448 12277 33554432000 4194304 4196468 140737157356640 140737157339184 140227160329975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
/proc/17548/statm: 3495713 12277 3101 1 0 3482966 0
[pid=17548/tid=17549] ppid=17546 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17548/task/17549/stat : 17549 (java) R 17546 17546 15674 0 -1 4202560 5940 0 0 0 27 2 0 0 20 0 15 0 112229126 14318440448 12277 33554432000 4194304 4196468 140737157356640 140227164564032 140227160341910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17550] ppid=17546 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17550/stat : 17550 (java) S 17546 17546 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112229127 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226756459152 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17551] ppid=17546 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17551/stat : 17551 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229127 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226755406352 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17552] ppid=17546 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17552/stat : 17552 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229127 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226754353552 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17553] ppid=17546 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17553/stat : 17553 (java) S 17546 17546 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112229127 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226753300752 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17554] ppid=17546 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17554/stat : 17554 (java) S 17546 17546 15674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112229128 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226139855728 140227160341122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17555] ppid=17546 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17555/stat : 17555 (java) S 17546 17546 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112229129 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226138801696 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17556] ppid=17546 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17556/stat : 17556 (java) S 17546 17546 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112229129 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226137748848 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17557] ppid=17546 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17557/stat : 17557 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229131 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226136697168 140227160348571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17558] ppid=17546 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/17548/task/17558/stat : 17558 (java) R 17546 17546 15674 0 -1 1077944384 640 0 0 0 4 0 0 0 20 0 15 0 112229131 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226135644528 140227160341122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17559] ppid=17546 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17548/task/17559/stat : 17559 (java) R 17546 17546 15674 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 15 0 112229131 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226134591728 140227160341122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17560] ppid=17546 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17548/task/17560/stat : 17560 (java) R 17546 17546 15674 0 -1 4202560 823 0 0 0 13 0 0 0 20 0 15 0 112229131 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226133536592 140227139763024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17561] ppid=17546 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17561/stat : 17561 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229132 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226132486368 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17562] ppid=17546 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17562/stat : 17562 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229132 14318440448 12277 33554432000 4194304 4196468 140737157356640 140226131434672 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 50492 KiB

[startup+0.702863 s]
/proc/loadavg: 1.89 1.95 2.04 5/218 17562
/proc/meminfo: memFree=25669584/32770624 swapFree=67108860/67108860
[pid=17546] ppid=17543 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (xcsp3-exec) S 17543 17546 15674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112229126 9740288 346 33554432000 4194304 5098028 140728009242592 140728009240696 140672481264252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140728009245806 140728009246011 140728009246011 140728009248747 0
/proc/17546/statm: 2378 346 289 221 0 87 0
[pid=17548] ppid=17546 vsize=13984976 memory=88868 CPUtime=1.64 cores=0,2,4,6
/proc/17548/stat : 17548 (java) S 17546 17546 15674 0 -1 1077944320 13357 0 0 0 160 4 0 0 20 0 15 0 112229126 14320615424 22217 33554432000 4194304 4196468 140737157356640 140737157339184 140227160329975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
/proc/17548/statm: 3496244 22217 3213 1 0 3483478 0
[pid=17548/tid=17549] ppid=17546 vsize=13984976 memory=31672 CPUtime=0.67 cores=0,2,4,6
/proc/17548/task/17549/stat : 17549 (java) R 17546 17546 15674 0 -1 4202560 6692 0 0 0 64 3 0 0 20 0 15 0 112229126 14320615424 22217 33554432000 4194304 4196468 140737157356640 140227164563904 140227160341910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17550] ppid=17546 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17550/stat : 17550 (java) S 17546 17546 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112229127 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226756459152 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17551] ppid=17546 vsize=13984976 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17551/stat : 17551 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229127 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226755406352 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17552] ppid=17546 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17552/stat : 17552 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229127 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226754353552 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17553] ppid=17546 vsize=13984976 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17553/stat : 17553 (java) S 17546 17546 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112229127 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226753300752 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17554] ppid=17546 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17554/stat : 17554 (java) S 17546 17546 15674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112229128 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226139855728 140227160341122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17555] ppid=17546 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17555/stat : 17555 (java) S 17546 17546 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112229129 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226138801696 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17556] ppid=17546 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17556/stat : 17556 (java) S 17546 17546 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112229129 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226137748848 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17557] ppid=17546 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17557/stat : 17557 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229131 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226136697168 140227160348571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17558] ppid=17546 vsize=13984976 memory=5300 CPUtime=0.26 cores=0,2,4,6
/proc/17548/task/17558/stat : 17558 (java) S 17546 17546 15674 0 -1 1077944384 1701 0 0 0 26 0 0 0 20 0 15 0 112229131 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226135644528 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17559] ppid=17546 vsize=13984976 memory=4616 CPUtime=0.25 cores=0,2,4,6
/proc/17548/task/17559/stat : 17559 (java) R 17546 17546 15674 0 -1 1077944384 1319 0 0 0 25 0 0 0 20 0 15 0 112229131 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226134591728 140227160341122 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17560] ppid=17546 vsize=13984976 memory=1928 CPUtime=0.43 cores=0,2,4,6
/proc/17548/task/17560/stat : 17560 (java) R 17546 17546 15674 0 -1 4202560 2336 0 0 0 43 0 0 0 20 0 15 0 112229131 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226133534000 140227139199176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17561] ppid=17546 vsize=13984976 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17561/stat : 17561 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229132 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226132486368 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17562] ppid=17546 vsize=13984976 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17562/stat : 17562 (java) S 17546 17546 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112229132 14320615424 22217 33554432000 4194304 4196468 140737157356640 140226131434672 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 90252 KiB

[startup+1.50083 s]
/proc/loadavg: 1.89 1.95 2.04 5/218 17562
/proc/meminfo: memFree=25620820/32770624 swapFree=67108860/67108860
[pid=17546] ppid=17543 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (xcsp3-exec) S 17543 17546 15674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112229126 9740288 346 33554432000 4194304 5098028 140728009242592 140728009240696 140672481264252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140728009245806 140728009246011 140728009246011 140728009248747 0
/proc/17546/statm: 2378 346 289 221 0 87 0

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

/proc/17548/task/17556/stat : 17556 (java) S 17546 17546 15674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 112229129 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226137748848 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17557] ppid=17546 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17557/stat : 17557 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226136697168 140227160348571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17558] ppid=17546 vsize=13984976 memory=1384 CPUtime=1.94 cores=0,2,4,6
/proc/17548/task/17558/stat : 17558 (java) S 17546 17546 15674 0 -1 1077944384 16583 0 0 0 192 2 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226135644528 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17559] ppid=17546 vsize=13984976 memory=1576 CPUtime=1.73 cores=0,2,4,6
/proc/17548/task/17559/stat : 17559 (java) S 17546 17546 15674 0 -1 1077944384 12111 0 0 0 171 2 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226134591728 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17560] ppid=17546 vsize=13984976 memory=928 CPUtime=0.72 cores=0,2,4,6
/proc/17548/task/17560/stat : 17560 (java) S 17546 17546 15674 0 -1 1077944384 9286 0 0 0 71 1 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226133538928 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17561] ppid=17546 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17561/stat : 17561 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229132 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226132486368 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17562] ppid=17546 vsize=13984976 memory=1384 CPUtime=0.7 cores=0,2,4,6
/proc/17548/task/17562/stat : 17562 (java) S 17546 17546 15674 0 -1 1077944384 1488 0 0 0 31 39 0 0 20 0 15 0 112229132 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226131434672 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
Current children cumulated CPU time: 2387.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 174200 KiB

[startup+2442.3 s]
/proc/loadavg: 1.88 1.94 2.01 3/218 17742
/proc/meminfo: memFree=25859584/32770624 swapFree=67108860/67108860
[pid=17546] ppid=17543 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (xcsp3-exec) S 17543 17546 15674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112229126 9740288 346 33554432000 4194304 5098028 140728009242592 140728009240696 140672481264252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140728009245806 140728009246011 140728009246011 140728009248747 0
/proc/17546/statm: 2378 346 289 221 0 87 0
[pid=17548] ppid=17546 vsize=13984976 memory=172816 CPUtime=2447.89 cores=0,2,4,6
/proc/17548/stat : 17548 (java) S 17546 17546 15674 0 -1 1077944320 70519 0 0 0 244746 43 0 0 20 0 15 0 112229126 14320615424 43204 33554432000 4194304 4196468 140737157356640 140737157339184 140227160329975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
/proc/17548/statm: 3496244 43204 3259 1 0 3483478 0
[pid=17548/tid=17549] ppid=17546 vsize=13984976 memory=172816 CPUtime=2442.25 cores=0,2,4,6
/proc/17548/task/17549/stat : 17549 (java) R 17546 17546 15674 0 -1 4202560 17881 0 0 0 244219 6 0 0 20 0 15 0 112229126 14320615424 43204 33554432000 4194304 4196468 140737157356640 140227164569552 140226798285895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17550] ppid=17546 vsize=13984976 memory=172816 CPUtime=0.08 cores=0,2,4,6
/proc/17548/task/17550/stat : 17550 (java) S 17546 17546 15674 0 -1 1077944384 1575 0 0 0 7 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226756459152 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17551] ppid=17546 vsize=13984976 memory=172816 CPUtime=0.08 cores=0,2,4,6
/proc/17548/task/17551/stat : 17551 (java) S 17546 17546 15674 0 -1 1077944384 3180 0 0 0 7 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226755406352 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17552] ppid=17546 vsize=13984976 memory=172816 CPUtime=0.08 cores=0,2,4,6
/proc/17548/task/17552/stat : 17552 (java) S 17546 17546 15674 0 -1 1077944384 2679 0 0 0 7 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226754353552 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17553] ppid=17546 vsize=13984976 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/17548/task/17553/stat : 17553 (java) S 17546 17546 15674 0 -1 1077944384 1420 0 0 0 7 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226753300752 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17554] ppid=17546 vsize=13984976 memory=1384 CPUtime=0.1 cores=0,2,4,6
/proc/17548/task/17554/stat : 17554 (java) S 17546 17546 15674 0 -1 1077944384 2938 0 0 0 7 3 0 0 20 0 15 0 112229128 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226139855728 140227160341122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17555] ppid=17546 vsize=13984976 memory=172816 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17555/stat : 17555 (java) S 17546 17546 15674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 112229129 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226138801696 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17556] ppid=17546 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17556/stat : 17556 (java) S 17546 17546 15674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 112229129 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226137748848 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17557] ppid=17546 vsize=13984976 memory=172816 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17557/stat : 17557 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226136697168 140227160348571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17558] ppid=17546 vsize=13984976 memory=1928 CPUtime=1.94 cores=0,2,4,6
/proc/17548/task/17558/stat : 17558 (java) S 17546 17546 15674 0 -1 1077944384 16585 0 0 0 192 2 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226135644528 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17559] ppid=17546 vsize=13984976 memory=1428 CPUtime=1.73 cores=0,2,4,6
/proc/17548/task/17559/stat : 17559 (java) S 17546 17546 15674 0 -1 1077944384 12113 0 0 0 171 2 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226134591728 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17560] ppid=17546 vsize=13984976 memory=1384 CPUtime=0.72 cores=0,2,4,6
/proc/17548/task/17560/stat : 17560 (java) S 17546 17546 15674 0 -1 1077944384 9288 0 0 0 71 1 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226133538928 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17561] ppid=17546 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17561/stat : 17561 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229132 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226132486368 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17562] ppid=17546 vsize=13984976 memory=172816 CPUtime=0.72 cores=0,2,4,6
/proc/17548/task/17562/stat : 17562 (java) S 17546 17546 15674 0 -1 1077944384 1494 0 0 0 32 40 0 0 20 0 15 0 112229132 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226131434672 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
Current children cumulated CPU time: 2447.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 174200 KiB

[startup+2502.3 s]
/proc/loadavg: 1.89 1.92 2.00 3/218 17743
/proc/meminfo: memFree=25859956/32770624 swapFree=67108860/67108860
[pid=17546] ppid=17543 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (xcsp3-exec) S 17543 17546 15674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112229126 9740288 346 33554432000 4194304 5098028 140728009242592 140728009240696 140672481264252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140728009245806 140728009246011 140728009246011 140728009248747 0
/proc/17546/statm: 2378 346 289 221 0 87 0
[pid=17548] ppid=17546 vsize=13984976 memory=172816 CPUtime=2507.92 cores=0,2,4,6
/proc/17548/stat : 17548 (java) S 17546 17546 15674 0 -1 1077944320 70786 0 0 0 250748 44 0 0 20 0 15 0 112229126 14320615424 43204 33554432000 4194304 4196468 140737157356640 140737157339184 140227160329975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
/proc/17548/statm: 3496244 43204 3259 1 0 3483478 0
[pid=17548/tid=17549] ppid=17546 vsize=13984976 memory=172816 CPUtime=2502.24 cores=0,2,4,6
/proc/17548/task/17549/stat : 17549 (java) R 17546 17546 15674 0 -1 4202560 18064 0 0 0 250218 6 0 0 20 0 15 0 112229126 14320615424 43204 33554432000 4194304 4196468 140737157356640 140227164569440 140226803719027 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17550] ppid=17546 vsize=13984976 memory=1384 CPUtime=0.09 cores=0,2,4,6
/proc/17548/task/17550/stat : 17550 (java) S 17546 17546 15674 0 -1 1077944384 1578 0 0 0 8 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226756459152 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17551] ppid=17546 vsize=13984976 memory=1384 CPUtime=0.09 cores=0,2,4,6
/proc/17548/task/17551/stat : 17551 (java) S 17546 17546 15674 0 -1 1077944384 3193 0 0 0 8 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226755406352 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17552] ppid=17546 vsize=13984976 memory=172816 CPUtime=0.09 cores=0,2,4,6
/proc/17548/task/17552/stat : 17552 (java) S 17546 17546 15674 0 -1 1077944384 2684 0 0 0 8 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226754353552 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17553] ppid=17546 vsize=13984976 memory=172816 CPUtime=0.09 cores=0,2,4,6
/proc/17548/task/17553/stat : 17553 (java) S 17546 17546 15674 0 -1 1077944384 1425 0 0 0 8 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226753300752 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17554] ppid=17546 vsize=13984976 memory=172816 CPUtime=0.1 cores=0,2,4,6
/proc/17548/task/17554/stat : 17554 (java) S 17546 17546 15674 0 -1 1077944384 2976 0 0 0 7 3 0 0 20 0 15 0 112229128 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226139855728 140227160341122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17555] ppid=17546 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17555/stat : 17555 (java) S 17546 17546 15674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 112229129 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226138801696 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17556] ppid=17546 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17556/stat : 17556 (java) S 17546 17546 15674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 112229129 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226137748848 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17557] ppid=17546 vsize=13984976 memory=172816 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17557/stat : 17557 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226136697168 140227160348571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17558] ppid=17546 vsize=13984976 memory=172816 CPUtime=1.94 cores=0,2,4,6
/proc/17548/task/17558/stat : 17558 (java) S 17546 17546 15674 0 -1 1077944384 16585 0 0 0 192 2 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226135644528 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17559] ppid=17546 vsize=13984976 memory=172816 CPUtime=1.73 cores=0,2,4,6
/proc/17548/task/17559/stat : 17559 (java) S 17546 17546 15674 0 -1 1077944384 12113 0 0 0 171 2 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226134591728 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17560] ppid=17546 vsize=13984976 memory=172816 CPUtime=0.72 cores=0,2,4,6
/proc/17548/task/17560/stat : 17560 (java) S 17546 17546 15674 0 -1 1077944384 9289 0 0 0 71 1 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226133538928 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17561] ppid=17546 vsize=13984976 memory=172816 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17561/stat : 17561 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229132 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226132486368 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17562] ppid=17546 vsize=13984976 memory=1012 CPUtime=0.73 cores=0,2,4,6
/proc/17548/task/17562/stat : 17562 (java) S 17546 17546 15674 0 -1 1077944384 1513 0 0 0 32 41 0 0 20 0 15 0 112229132 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226131434672 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
Current children cumulated CPU time: 2507.92 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 174200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.4 s]
/proc/loadavg: 1.85 1.91 1.99 3/218 17743
/proc/meminfo: memFree=25860080/32770624 swapFree=67108860/67108860
[pid=17546] ppid=17543 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17546/stat : 17546 (xcsp3-exec) S 17543 17546 15674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112229126 9740288 346 33554432000 4194304 5098028 140728009242592 140728009240696 140672481264252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140728009245806 140728009246011 140728009246011 140728009248747 0
/proc/17546/statm: 2378 346 289 221 0 87 0
[pid=17548] ppid=17546 vsize=13984976 memory=172816 CPUtime=2520.03 cores=0,2,4,6
/proc/17548/stat : 17548 (java) S 17546 17546 15674 0 -1 1077944320 70791 0 0 0 251959 44 0 0 20 0 15 0 112229126 14320615424 43204 33554432000 4194304 4196468 140737157356640 140737157339184 140227160329975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
/proc/17548/statm: 3496244 43204 3259 1 0 3483478 0
[pid=17548/tid=17549] ppid=17546 vsize=13984976 memory=640 CPUtime=2514.34 cores=0,2,4,6
/proc/17548/task/17549/stat : 17549 (java) R 17546 17546 15674 0 -1 4202560 18066 0 0 0 251428 6 0 0 20 0 15 0 112229126 14320615424 43204 33554432000 4194304 4196468 140737157356640 140227164569440 140226804367296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17550] ppid=17546 vsize=13984976 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/17548/task/17550/stat : 17550 (java) S 17546 17546 15674 0 -1 1077944384 1578 0 0 0 8 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226756459152 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17551] ppid=17546 vsize=13984976 memory=172816 CPUtime=0.09 cores=0,2,4,6
/proc/17548/task/17551/stat : 17551 (java) S 17546 17546 15674 0 -1 1077944384 3193 0 0 0 8 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226755406352 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17552] ppid=17546 vsize=13984976 memory=796 CPUtime=0.09 cores=0,2,4,6
/proc/17548/task/17552/stat : 17552 (java) S 17546 17546 15674 0 -1 1077944384 2684 0 0 0 8 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226754353552 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17553] ppid=17546 vsize=13984976 memory=1228 CPUtime=0.09 cores=0,2,4,6
/proc/17548/task/17553/stat : 17553 (java) S 17546 17546 15674 0 -1 1077944384 1426 0 0 0 8 1 0 0 20 0 15 0 112229127 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226753300752 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17554] ppid=17546 vsize=13984976 memory=4012 CPUtime=0.1 cores=0,2,4,6
/proc/17548/task/17554/stat : 17554 (java) S 17546 17546 15674 0 -1 1077944384 2978 0 0 0 7 3 0 0 20 0 15 0 112229128 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226139855728 140227160341122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17555] ppid=17546 vsize=13984976 memory=31736 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17555/stat : 17555 (java) S 17546 17546 15674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 112229129 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226138801696 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17556] ppid=17546 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17556/stat : 17556 (java) S 17546 17546 15674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 112229129 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226137748848 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17557] ppid=17546 vsize=13984976 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17557/stat : 17557 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226136697168 140227160348571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17558] ppid=17546 vsize=13984976 memory=6791534058613427641 CPUtime=1.94 cores=0,2,4,6
/proc/17548/task/17558/stat : 17558 (java) S 17546 17546 15674 0 -1 1077944384 16585 0 0 0 192 2 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226135644528 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17559] ppid=17546 vsize=13984976 memory=1384 CPUtime=1.73 cores=0,2,4,6
/proc/17548/task/17559/stat : 17559 (java) S 17546 17546 15674 0 -1 1077944384 12113 0 0 0 171 2 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226134591728 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17560] ppid=17546 vsize=13984976 memory=172816 CPUtime=0.72 cores=0,2,4,6
/proc/17548/task/17560/stat : 17560 (java) S 17546 17546 15674 0 -1 1077944384 9289 0 0 0 71 1 0 0 20 0 15 0 112229131 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226133538928 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17561] ppid=17546 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/17548/task/17561/stat : 17561 (java) S 17546 17546 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112229132 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226132486368 140227160340181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
[pid=17548/tid=17562] ppid=17546 vsize=13984976 memory=1384 CPUtime=0.73 cores=0,2,4,6
/proc/17548/task/17562/stat : 17562 (java) S 17546 17546 15674 0 -1 1077944384 1513 0 0 0 32 41 0 0 20 0 15 0 112229132 14320615424 43204 33554432000 4194304 4196468 140737157356640 140226131434672 140227160341122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 11374592 140737157362839 140737157363015 140737157363015 140737157365711 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 174200 KiB

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

[startup+2514.41 s]
# the end of solver process 17546 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000952 s, system=0.000952 s

[startup+2514.41 s]
# the end of solver process 17548 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.6 s, system=0.450075 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): 2514.41
CPU time (s): 2520.05
CPU user time (s): 2519.6
CPU system time (s): 0.450075
CPU usage (%): 100.224
Max. virtual memory (cumulated for all children) (KiB): 13996520
Max. memory (cumulated for all children) (KiB): 248032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.6
system time used= 0.450075
maximum resident set size= 246648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58989
involuntary context switches= 2356


# summary of solver processes directly reported to runsolver:
#   pid: 17546,17548
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.6
#   total CPU system time (s): 0.450075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.281 second user time and 23.2181 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	20003.6
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 4269146

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