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

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270136-1502622031.xml"  -tl '264s' -p 1 -x 0
0.07/0.29	c [HOME/instance-4270136-1502622031.xml, -tl, 264s, -p, 1, -x, 0]
0.26/0.35	c simple solver
0.26/0.41	c parse instance...
1.81/0.92	c solve instance...
2.12/1.06	o 629 
2.12/1.07	o 589 
2.43/1.14	o 573 
3.03/1.36	o 477 
3.03/1.38	o 469 
3.03/1.38	o 437 
3.03/1.38	o 413 
4.08/1.97	o 365 
5.03/2.31	o 349 
6.24/2.86	o 309 
15.66/11.73	o 285 
15.97/12.06	o 261 
55.25/51.17	o 253 
244.40/240.02	s SATISFIABLE
244.40/240.02	v <instantiation>
244.40/240.02	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>
244.40/240.02	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>
244.40/240.02	v </instantiation>
244.40/240.02	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 (14987 MiB free)
  memory of node 1: 16384 MiB (15196 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270136-1502622031/watcher-4270136-1502622031 -o /tmp/evaluation-result-4270136-1502622031/solver-4270136-1502622031 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 391221173 HOME/instance-4270136-1502622031.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=25350, runsolver pid=25347

[startup+0.100153 s]*
/proc/loadavg: 1.72 1.92 1.88 2/196 25351
/proc/meminfo: memFree=30897764/32770624 swapFree=67108860/67108860
[pid=25350] ppid=25347 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (xcsp3-exec) S 25347 25350 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64423823 9740288 345 18446744073709551615 4194304 5098028 140723097694432 140723097692536 140164359737980 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 28938240 140723097698687 140723097698890 140723097698890 140723097702379 0
/proc/25350/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.214711 s]*
/proc/loadavg: 1.72 1.92 1.88 4/211 25366
/proc/meminfo: memFree=30873176/32770624 swapFree=67108860/67108860
[pid=25350] ppid=25347 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (xcsp3-exec) S 25347 25350 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64423823 9740288 345 18446744073709551615 4194304 5098028 140723097694432 140723097692536 140164359737980 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 28938240 140723097698687 140723097698890 140723097698890 140723097702379 0
/proc/25350/statm: 2378 345 289 221 0 87 0
[pid=25352] ppid=25350 vsize=13974352 memory=25796 CPUtime=0.07 cores=0,2,4,6
/proc/25352/stat : 25352 (java) S 25350 25350 897 0 -1 1077944320 4839 0 0 0 6 1 0 0 20 0 15 0 64423834 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 140726564609568 139811607195383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
/proc/25352/statm: 3493588 6449 2722 1 0 3482964 0
[pid=25352/tid=25353] ppid=25350 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/25352/task/25353/stat : 25353 (java) R 25350 25350 897 0 -1 4202560 2992 0 0 0 5 0 0 0 20 0 15 0 64423834 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139811611421072 139811607207318 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25354] ppid=25350 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25354/stat : 25354 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139811526610064 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25355] ppid=25350 vsize=13974352 memory=288371071516698240 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25355/stat : 25355 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139811525557264 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25356] ppid=25350 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25356/stat : 25356 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139811524504464 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25357] ppid=25350 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25357/stat : 25357 (java) S 25350 25350 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64423835 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139811523451664 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25358] ppid=25350 vsize=13974352 memory=140695364986496 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25358/stat : 25358 (java) S 25350 25350 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64423836 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139810590923120 139811607206530 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25359] ppid=25350 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25359/stat : 25359 (java) S 25350 25350 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64423836 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139810589869088 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25360] ppid=25350 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25360/stat : 25360 (java) S 25350 25350 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64423837 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139810588816240 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25361] ppid=25350 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25361/stat : 25361 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139810587764560 139811607213979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25362] ppid=25350 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25362/stat : 25362 (java) S 25350 25350 897 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 64423839 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139810586712944 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25363] ppid=25350 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25363/stat : 25363 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139810585660144 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25364] ppid=25350 vsize=13974352 memory=140695364986496 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25364/stat : 25364 (java) R 25350 25350 897 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 15 0 64423839 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139810584607344 139811599432510 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25365] ppid=25350 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25365/stat : 25365 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139810583554784 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25366] ppid=25350 vsize=13974352 memory=140695364986496 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25366/stat : 25366 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423844 14309736448 6449 18446744073709551615 4194304 4196468 140726564627024 139810582502064 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 27176 KiB

[startup+0.310293 s]*
/proc/loadavg: 1.72 1.92 1.88 4/211 25366
/proc/meminfo: memFree=30840332/32770624 swapFree=67108860/67108860
[pid=25350] ppid=25347 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (xcsp3-exec) S 25347 25350 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64423823 9740288 345 18446744073709551615 4194304 5098028 140723097694432 140723097692536 140164359737980 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 28938240 140723097698687 140723097698890 140723097698890 140723097702379 0
/proc/25350/statm: 2378 345 289 221 0 87 0
[pid=25352] ppid=25350 vsize=13974352 memory=37236 CPUtime=0.26 cores=0,2,4,6
/proc/25352/stat : 25352 (java) S 25350 25350 897 0 -1 1077944320 8438 0 0 0 23 3 0 0 20 0 15 0 64423834 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 140726564609568 139811607195383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
/proc/25352/statm: 3493588 9309 2972 1 0 3482964 0
[pid=25352/tid=25353] ppid=25350 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/25352/task/25353/stat : 25353 (java) R 25350 25350 897 0 -1 4202560 5665 0 0 0 14 2 0 0 20 0 15 0 64423834 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139811611423152 139811591275870 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25354] ppid=25350 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25354/stat : 25354 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139811526610064 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25355] ppid=25350 vsize=13974352 memory=140695364986496 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25355/stat : 25355 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139811525557264 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25356] ppid=25350 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25356/stat : 25356 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139811524504464 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25357] ppid=25350 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25357/stat : 25357 (java) S 25350 25350 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64423835 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139811523451664 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25358] ppid=25350 vsize=13974352 memory=140695364986496 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25358/stat : 25358 (java) S 25350 25350 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64423836 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139810590923120 139811607206530 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25359] ppid=25350 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25359/stat : 25359 (java) S 25350 25350 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64423836 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139810589869088 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25360] ppid=25350 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25360/stat : 25360 (java) S 25350 25350 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64423837 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139810588816240 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25361] ppid=25350 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25361/stat : 25361 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139810587764560 139811607213979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25362] ppid=25350 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25352/task/25362/stat : 25362 (java) S 25350 25350 897 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 15 0 64423839 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139810586712944 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25363] ppid=25350 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25352/task/25363/stat : 25363 (java) S 25350 25350 897 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 64423839 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139810585660144 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25364] ppid=25350 vsize=13974352 memory=140695364986496 CPUtime=0.05 cores=0,2,4,6
/proc/25352/task/25364/stat : 25364 (java) S 25350 25350 897 0 -1 1077944384 710 0 0 0 5 0 0 0 20 0 15 0 64423839 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139810584607344 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25365] ppid=25350 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25365/stat : 25365 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139810583554784 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25366] ppid=25350 vsize=13974352 memory=140695364986496 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25366/stat : 25366 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423844 14309736448 9309 18446744073709551615 4194304 4196468 140726564627024 139810582502064 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38616 KiB

[startup+0.700746 s]
/proc/loadavg: 1.72 1.92 1.88 5/211 25366
/proc/meminfo: memFree=30817092/32770624 swapFree=67108860/67108860
[pid=25350] ppid=25347 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (xcsp3-exec) S 25347 25350 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64423823 9740288 345 18446744073709551615 4194304 5098028 140723097694432 140723097692536 140164359737980 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 28938240 140723097698687 140723097698890 140723097698890 140723097702379 0
/proc/25350/statm: 2378 345 289 221 0 87 0
[pid=25352] ppid=25350 vsize=13980732 memory=64692 CPUtime=1.16 cores=0,2,4,6
/proc/25352/stat : 25352 (java) S 25350 25350 897 0 -1 1077944320 11785 0 0 0 111 5 0 0 20 0 15 0 64423834 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 140726564609568 139811607195383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
/proc/25352/statm: 3495183 16173 3163 1 0 3483476 0
[pid=25352/tid=25353] ppid=25350 vsize=13980732 memory=1228 CPUtime=0.53 cores=0,2,4,6
/proc/25352/task/25353/stat : 25353 (java) R 25350 25350 897 0 -1 4202560 7972 0 0 0 50 3 0 0 20 0 15 0 64423834 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139811611423456 139811586771144 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25354] ppid=25350 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25354/stat : 25354 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139811526610064 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25355] ppid=25350 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25355/stat : 25355 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139811525557264 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25356] ppid=25350 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25356/stat : 25356 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139811524504464 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25357] ppid=25350 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25357/stat : 25357 (java) S 25350 25350 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139811523451664 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25358] ppid=25350 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25358/stat : 25358 (java) S 25350 25350 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64423836 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139810590923120 139811607206530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25359] ppid=25350 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25359/stat : 25359 (java) S 25350 25350 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64423836 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139810589869088 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25360] ppid=25350 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25360/stat : 25360 (java) S 25350 25350 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64423837 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139810588816240 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25361] ppid=25350 vsize=13980732 memory=3689910583545653349 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25361/stat : 25361 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139810587764560 139811607213979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25362] ppid=25350 vsize=13980732 memory=281390419627072 CPUtime=0.14 cores=0,2,4,6
/proc/25352/task/25362/stat : 25362 (java) R 25350 25350 897 0 -1 4202560 771 0 0 0 14 0 0 0 20 0 15 0 64423839 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139810586712944 139811586410064 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25363] ppid=25350 vsize=13980732 memory=281390419627264 CPUtime=0.14 cores=0,2,4,6
/proc/25352/task/25363/stat : 25363 (java) R 25350 25350 897 0 -1 4202560 498 0 0 0 14 0 0 0 20 0 15 0 64423839 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139810585660144 139811591612112 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25364] ppid=25350 vsize=13980732 memory=281390419627456 CPUtime=0.31 cores=0,2,4,6
/proc/25352/task/25364/stat : 25364 (java) S 25350 25350 897 0 -1 1077944384 1240 0 0 0 31 0 0 0 20 0 15 0 64423839 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139810584607344 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25365] ppid=25350 vsize=13980732 memory=281390419627648 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25365/stat : 25365 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139810583554784 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25366] ppid=25350 vsize=13980732 memory=281390419627840 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25366/stat : 25366 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423844 14316269568 16173 18446744073709551615 4194304 4196468 140726564627024 139810582502064 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66072 KiB

[startup+1.50079 s]
/proc/loadavg: 1.98 1.97 1.90 10/211 25366
/proc/meminfo: memFree=30680952/32770624 swapFree=67108860/67108860
[pid=25350] ppid=25347 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (xcsp3-exec) S 25347 25350 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64423823 9740288 345 18446744073709551615 4194304 5098028 140723097694432 140723097692536 140164359737980 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 28938240 140723097698687 140723097698890 140723097698890 140723097702379 0
/proc/25350/statm: 2378 345 289 221 0 87 0
[pid=25352] ppid=25350 vsize=13980732 memory=112584 CPUtime=3.46 cores=0,2,4,6
/proc/25352/stat : 25352 (java) S 25350 25350 897 0 -1 1077944320 18413 0 0 0 339 7 0 0 20 0 15 0 64423834 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 140726564609568 139811607195383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
/proc/25352/statm: 3495183 28146 3192 1 0 3483476 0
[pid=25352/tid=25353] ppid=25350 vsize=13980732 memory=15541816741092861 CPUtime=1.33 cores=0,2,4,6
/proc/25352/task/25353/stat : 25353 (java) R 25350 25350 897 0 -1 4202560 8785 0 0 0 129 4 0 0 20 0 15 0 64423834 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139811611431576 139811207011337 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25354] ppid=25350 vsize=13980732 memory=281390419562016 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25354/stat : 25354 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139811526610064 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25355] ppid=25350 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25355/stat : 25355 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139811525557264 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25356] ppid=25350 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25356/stat : 25356 (java) S 25350 25350 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139811524504464 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25357] ppid=25350 vsize=13980732 memory=102376 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25357/stat : 25357 (java) S 25350 25350 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139811523451664 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25358] ppid=25350 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25358/stat : 25358 (java) S 25350 25350 897 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 64423836 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139810590923120 139811607206530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25359] ppid=25350 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25359/stat : 25359 (java) S 25350 25350 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64423836 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139810589869088 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25360] ppid=25350 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25360/stat : 25360 (java) S 25350 25350 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64423837 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139810588816240 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25361] ppid=25350 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25361/stat : 25361 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139810587764560 139811607213979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25362] ppid=25350 vsize=13980732 memory=36408 CPUtime=0.73 cores=0,2,4,6
/proc/25352/task/25362/stat : 25362 (java) S 25350 25350 897 0 -1 1077944384 3453 0 0 0 73 0 0 0 20 0 15 0 64423839 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139810586712944 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25363] ppid=25350 vsize=13980732 memory=1292 CPUtime=0.74 cores=0,2,4,6
/proc/25352/task/25363/stat : 25363 (java) S 25350 25350 897 0 -1 1077944384 2449 0 0 0 74 0 0 0 20 0 15 0 64423839 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139810585660144 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25364] ppid=25350 vsize=13980732 memory=33 CPUtime=0.62 cores=0,2,4,6
/proc/25352/task/25364/stat : 25364 (java) S 25350 25350 897 0 -1 1077944384 2408 0 0 0 61 1 0 0 20 0 15 0 64423839 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139810584607344 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25365] ppid=25350 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25365/stat : 25365 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139810583554784 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25366] ppid=25350 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25366/stat : 25366 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423844 14316269568 28146 18446744073709551615 4194304 4196468 140726564627024 139810582502064 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0

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

/proc/25352/task/25360/stat : 25360 (java) S 25350 25350 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64423837 14316269568 56079 18446744073709551615 4194304 4196468 140726564627024 139810588816240 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25361] ppid=25350 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25361/stat : 25361 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 56079 18446744073709551615 4194304 4196468 140726564627024 139810587764560 139811607213979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25362] ppid=25350 vsize=13980732 memory=1728 CPUtime=1.7 cores=0,2,4,6
/proc/25352/task/25362/stat : 25362 (java) S 25350 25350 897 0 -1 1077944384 13665 0 0 0 169 1 0 0 20 0 15 0 64423839 14316269568 56079 18446744073709551615 4194304 4196468 140726564627024 139810586712944 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25363] ppid=25350 vsize=13980732 memory=1380 CPUtime=1.92 cores=0,2,4,6
/proc/25352/task/25363/stat : 25363 (java) S 25350 25350 897 0 -1 1077944384 12899 0 0 0 190 2 0 0 20 0 15 0 64423839 14316269568 56079 18446744073709551615 4194304 4196468 140726564627024 139810585660144 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25364] ppid=25350 vsize=13980732 memory=224292 CPUtime=0.69 cores=0,2,4,6
/proc/25352/task/25364/stat : 25364 (java) S 25350 25350 897 0 -1 1077944384 6436 0 0 0 68 1 0 0 20 0 15 0 64423839 14316269568 56079 18446744073709551615 4194304 4196468 140726564627024 139810584607344 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25365] ppid=25350 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25365/stat : 25365 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 56079 18446744073709551615 4194304 4196468 140726564627024 139810583554784 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25366] ppid=25350 vsize=13980732 memory=281390420815168 CPUtime=0.02 cores=0,2,4,6
/proc/25352/task/25366/stat : 25366 (java) S 25350 25350 897 0 -1 1077944384 1074 0 0 0 1 1 0 0 20 0 15 0 64423844 14316269568 56079 18446744073709551615 4194304 4196468 140726564627024 139810582502064 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
Current children cumulated CPU time: 106.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 225696 KiB

[startup+162.301 s]
/proc/loadavg: 2.06 2.07 1.95 3/211 25370
/proc/meminfo: memFree=29436976/32770624 swapFree=67108860/67108860
[pid=25350] ppid=25347 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (xcsp3-exec) S 25347 25350 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64423823 9740288 345 18446744073709551615 4194304 5098028 140723097694432 140723097692536 140164359737980 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 28938240 140723097698687 140723097698890 140723097698890 140723097702379 0
/proc/25350/statm: 2378 345 289 221 0 87 0
[pid=25352] ppid=25350 vsize=13980732 memory=232568 CPUtime=166.58 cores=0,2,4,6
/proc/25352/stat : 25352 (java) S 25350 25350 897 0 -1 1077944320 52723 0 0 0 16642 16 0 0 20 0 15 0 64423834 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 140726564609568 139811607195383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
/proc/25352/statm: 3495183 58142 3228 1 0 3483476 0
[pid=25352/tid=25353] ppid=25350 vsize=13980732 memory=232564 CPUtime=162.11 cores=0,2,4,6
/proc/25352/task/25353/stat : 25353 (java) R 25350 25350 897 0 -1 4202560 13253 0 0 0 16205 6 0 0 20 0 15 0 64423834 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139811611434504 139811207384245 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25354] ppid=25350 vsize=13980732 memory=232564 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25354/stat : 25354 (java) S 25350 25350 897 0 -1 1077944384 1715 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139811526610064 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25355] ppid=25350 vsize=13980732 memory=224328 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25355/stat : 25355 (java) S 25350 25350 897 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139811525557264 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25356] ppid=25350 vsize=13980732 memory=232564 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25356/stat : 25356 (java) S 25350 25350 897 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139811524504464 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25357] ppid=25350 vsize=13980732 memory=232564 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25357/stat : 25357 (java) S 25350 25350 897 0 -1 1077944384 452 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139811523451664 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25358] ppid=25350 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25358/stat : 25358 (java) S 25350 25350 897 0 -1 1077944384 828 0 0 0 0 0 0 0 20 0 15 0 64423836 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139810590923120 139811607206530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25359] ppid=25350 vsize=13980732 memory=232564 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25359/stat : 25359 (java) S 25350 25350 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 64423836 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139810589869088 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25360] ppid=25350 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25360/stat : 25360 (java) S 25350 25350 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64423837 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139810588816240 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25361] ppid=25350 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25361/stat : 25361 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139810587764560 139811607213979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25362] ppid=25350 vsize=13980732 memory=1240 CPUtime=1.7 cores=0,2,4,6
/proc/25352/task/25362/stat : 25362 (java) S 25350 25350 897 0 -1 1077944384 13747 0 0 0 169 1 0 0 20 0 15 0 64423839 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139810586712944 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25363] ppid=25350 vsize=13980732 memory=2248 CPUtime=1.92 cores=0,2,4,6
/proc/25352/task/25363/stat : 25363 (java) S 25350 25350 897 0 -1 1077944384 12901 0 0 0 190 2 0 0 20 0 15 0 64423839 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139810585660144 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25364] ppid=25350 vsize=13980732 memory=232564 CPUtime=0.7 cores=0,2,4,6
/proc/25352/task/25364/stat : 25364 (java) S 25350 25350 897 0 -1 1077944384 6854 0 0 0 69 1 0 0 20 0 15 0 64423839 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139810584607344 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25365] ppid=25350 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25365/stat : 25365 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139810583554784 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25366] ppid=25350 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/25352/task/25366/stat : 25366 (java) S 25350 25350 897 0 -1 1077944384 1084 0 0 0 1 2 0 0 20 0 15 0 64423844 14316269568 58142 18446744073709551615 4194304 4196468 140726564627024 139810582502064 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
Current children cumulated CPU time: 166.58 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233948 KiB

[startup+222.301 s]
/proc/loadavg: 2.02 2.05 1.95 3/214 25386
/proc/meminfo: memFree=29430604/32770624 swapFree=67108860/67108860
[pid=25350] ppid=25347 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (xcsp3-exec) S 25347 25350 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64423823 9740288 345 18446744073709551615 4194304 5098028 140723097694432 140723097692536 140164359737980 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 28938240 140723097698687 140723097698890 140723097698890 140723097702379 0
/proc/25350/statm: 2378 345 289 221 0 87 0
[pid=25352] ppid=25350 vsize=13980732 memory=232608 CPUtime=226.66 cores=0,2,4,6
/proc/25352/stat : 25352 (java) S 25350 25350 897 0 -1 1077944320 54697 0 0 0 22649 17 0 0 20 0 15 0 64423834 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 140726564609568 139811607195383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
/proc/25352/statm: 3495183 58152 3232 1 0 3483476 0
[pid=25352/tid=25353] ppid=25350 vsize=13980732 memory=232608 CPUtime=222.12 cores=0,2,4,6
/proc/25352/task/25353/stat : 25353 (java) R 25350 25350 897 0 -1 4202560 13638 0 0 0 22206 6 0 0 20 0 15 0 64423834 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139811611434200 139811207196085 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25354] ppid=25350 vsize=13980732 memory=232608 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25354/stat : 25354 (java) S 25350 25350 897 0 -1 1077944384 1715 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139811526610064 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25355] ppid=25350 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25355/stat : 25355 (java) S 25350 25350 897 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139811525557264 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25356] ppid=25350 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25356/stat : 25356 (java) S 25350 25350 897 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139811524504464 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25357] ppid=25350 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25357/stat : 25357 (java) S 25350 25350 897 0 -1 1077944384 452 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139811523451664 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25358] ppid=25350 vsize=13980732 memory=232608 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25358/stat : 25358 (java) S 25350 25350 897 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 15 0 64423836 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139810590923120 139811607206530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25359] ppid=25350 vsize=13980732 memory=232608 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25359/stat : 25359 (java) S 25350 25350 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 64423836 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139810589869088 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25360] ppid=25350 vsize=13980732 memory=281390419799824 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25360/stat : 25360 (java) S 25350 25350 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64423837 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139810588816240 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25361] ppid=25350 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25361/stat : 25361 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139810587764560 139811607213979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25362] ppid=25350 vsize=13980732 memory=1380 CPUtime=1.75 cores=0,2,4,6
/proc/25352/task/25362/stat : 25362 (java) S 25350 25350 897 0 -1 1077944384 15257 0 0 0 174 1 0 0 20 0 15 0 64423839 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139810586712944 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25363] ppid=25350 vsize=13980732 memory=1380 CPUtime=1.92 cores=0,2,4,6
/proc/25352/task/25363/stat : 25363 (java) S 25350 25350 897 0 -1 1077944384 12903 0 0 0 190 2 0 0 20 0 15 0 64423839 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139810585660144 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25364] ppid=25350 vsize=13980732 memory=232608 CPUtime=0.7 cores=0,2,4,6
/proc/25352/task/25364/stat : 25364 (java) S 25350 25350 897 0 -1 1077944384 6886 0 0 0 69 1 0 0 20 0 15 0 64423839 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139810584607344 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25365] ppid=25350 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25365/stat : 25365 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139810583554784 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25366] ppid=25350 vsize=13980732 memory=1292 CPUtime=0.05 cores=0,2,4,6
/proc/25352/task/25366/stat : 25366 (java) S 25350 25350 897 0 -1 1077944384 1122 0 0 0 2 3 0 0 20 0 15 0 64423844 14316269568 58152 18446744073709551615 4194304 4196468 140726564627024 139810582502064 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
Current children cumulated CPU time: 226.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233988 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.02 2.05 1.95 2/195 25506
/proc/meminfo: memFree=30918932/32770624 swapFree=67108860/67108860
[pid=25350] ppid=25347 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25350/stat : 25350 (xcsp3-exec) S 25347 25350 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64423823 9740288 345 18446744073709551615 4194304 5098028 140723097694432 140723097692536 140164359737980 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 28938240 140723097698687 140723097698890 140723097698890 140723097702379 0
/proc/25350/statm: 2378 345 289 221 0 87 0
[pid=25352] ppid=25350 vsize=13980732 memory=232640 CPUtime=244.4 cores=0,2,4,6
/proc/25352/stat : 25352 (java) S 25350 25350 897 0 -1 1077944320 54791 0 0 0 24422 18 0 0 20 0 15 0 64423834 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 140726564609568 139811607195383 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
/proc/25352/statm: 3495183 58160 3232 1 0 3483476 0
[pid=25352/tid=25353] ppid=25350 vsize=13980732 memory=-7677926825137650786 CPUtime=239.83 cores=0,2,4,6
/proc/25352/task/25353/stat : 25353 (java) R 25350 25350 897 0 -1 4202560 13658 0 0 0 23976 7 0 0 20 0 15 0 64423834 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139811611432280 139811207011250 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25354] ppid=25350 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25354/stat : 25354 (java) S 25350 25350 897 0 -1 1077944384 1715 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139811526610064 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25355] ppid=25350 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25355/stat : 25355 (java) S 25350 25350 897 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139811525557264 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25356] ppid=25350 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25356/stat : 25356 (java) S 25350 25350 897 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139811524504464 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25357] ppid=25350 vsize=13980732 memory=20308 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25357/stat : 25357 (java) S 25350 25350 897 0 -1 1077944384 452 0 0 0 0 0 0 0 20 0 15 0 64423835 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139811523451664 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25358] ppid=25350 vsize=13980732 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25358/stat : 25358 (java) S 25350 25350 897 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 15 0 64423836 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139810590923120 139811607206530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25359] ppid=25350 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25359/stat : 25359 (java) S 25350 25350 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 64423836 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139810589869088 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25360] ppid=25350 vsize=13980732 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25360/stat : 25360 (java) S 25350 25350 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64423837 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139810588816240 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25361] ppid=25350 vsize=13980732 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25361/stat : 25361 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139810587764560 139811607213979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25362] ppid=25350 vsize=13980732 memory=-8774313645642428999 CPUtime=1.77 cores=0,2,4,6
/proc/25352/task/25362/stat : 25362 (java) S 25350 25350 897 0 -1 1077944384 15284 0 0 0 176 1 0 0 20 0 15 0 64423839 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139810586712944 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25363] ppid=25350 vsize=13980732 memory=232608 CPUtime=1.92 cores=0,2,4,6
/proc/25352/task/25363/stat : 25363 (java) S 25350 25350 897 0 -1 1077944384 12943 0 0 0 190 2 0 0 20 0 15 0 64423839 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139810585660144 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25364] ppid=25350 vsize=13980732 memory=4116 CPUtime=0.7 cores=0,2,4,6
/proc/25352/task/25364/stat : 25364 (java) S 25350 25350 897 0 -1 1077944384 6893 0 0 0 69 1 0 0 20 0 15 0 64423839 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139810584607344 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25365] ppid=25350 vsize=13980732 memory=36432 CPUtime=0 cores=0,2,4,6
/proc/25352/task/25365/stat : 25365 (java) S 25350 25350 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64423839 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139810583554784 139811607205589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
[pid=25352/tid=25366] ppid=25350 vsize=13980732 memory=-8774313645642428999 CPUtime=0.06 cores=0,2,4,6
/proc/25352/task/25366/stat : 25366 (java) S 25350 25350 897 0 -1 1077944384 1122 0 0 0 2 4 0 0 20 0 15 0 64423844 14316269568 58160 18446744073709551615 4194304 4196468 140726564627024 139810582502064 139811607206530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140726564635063 140726564635238 140726564635238 140726564638671 0
Current children cumulated CPU time: 244.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 234020 KiB

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

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

[startup+240.031 s]
# the end of solver process 25352 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.255 s, system=0.197068 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.031
CPU time (s): 244.452
CPU user time (s): 244.255
CPU system time (s): 0.197068
CPU usage (%): 101.842
Max. virtual memory (cumulated for all children) (KiB): 13992276
Max. memory (cumulated for all children) (KiB): 234020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.255
system time used= 0.197068
maximum resident set size= 233316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8270
involuntary context switches= 404


# summary of solver processes directly reported to runsolver:
#   pid: 25350,25352
#   total CPU time (s): 244.452
#   total CPU user time (s): 244.255
#   total CPU system time (s): 0.197068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41131 second user time and 2.16258 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 4270136

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