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-18)	SAT (TO)	253	2520.1001	2515.02

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281896-1503129951.xml"  -tl '2520s' -p 1 -x 0
0.14/0.34	c [HOME/instance-4281896-1503129951.xml, -tl, 2520s, -p, 1, -x, 0]
0.14/0.40	c simple solver
0.35/0.47	c parse instance...
1.64/0.97	c solve instance...
2.28/1.11	o 629 
2.28/1.13	o 589 
2.28/1.19	o 573 
3.09/1.40	o 477 
3.09/1.42	o 469 
3.09/1.42	o 437 
3.09/1.43	o 413 
4.06/2.01	o 365 
4.83/2.35	o 349 
6.14/2.91	o 309 
15.42/11.79	o 285 
15.83/12.13	o 261 
55.15/51.36	o 253 
2520.07/2515.01	s SATISFIABLE
2520.07/2515.01	v <instantiation>
2520.07/2515.01	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[37][0] y[37][1] y[37][2] y[37][3] y[38][0] y[38][1] y[38][2] y[39][0] y[39][1] y[40][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] </list>
2520.07/2515.01	v 	<values>1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -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.07/2515.01	v </instantiation>
2520.07/2515.01	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15360 MiB free)
  memory of node 1: 16384 MiB (15688 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281896-1503129951/watcher-4281896-1503129951 -o /tmp/evaluation-result-4281896-1503129951/solver-4281896-1503129951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1880811932 HOME/instance-4281896-1503129951.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
solver pid=24609, runsolver pid=24606
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 2.09 2.12 2.07 2/201 24630
/proc/meminfo: memFree=31777668/32770624 swapFree=67108860/67108860
[pid=24609] ppid=24606 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24609/stat : 24609 (xcsp3-exec) S 24606 24609 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11404244 9740288 345 18446744073709551615 4194304 5098028 140736525413968 140736525412072 140518449078908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 15093760 140736525418873 140736525419078 140736525419078 140736525422571 0
/proc/24609/statm: 2378 345 289 221 0 87 0
[pid=24620] ppid=24609 vsize=13507920 memory=18260 CPUtime=0.01 cores=0,2,4,6
/proc/24620/stat : 24620 (java) S 24609 24609 17292 0 -1 1077944320 3845 0 0 0 1 0 0 0 20 0 8 0 11404252 13832110080 4565 18446744073709551615 4194304 4196468 140730524091248 140730524073792 140552723271415 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
/proc/24620/statm: 3377237 4565 2049 1 0 3366734 0
[pid=24620/tid=24621] ppid=24609 vsize=13574484 memory=-6871798056524144002 CPUtime=0.01 cores=0,2,4,6
/proc/24620/task/24621/stat : 24621 (java) R 24609 24609 17292 0 -1 4202560 2599 0 0 0 1 0 0 0 20 0 9 0 11404253 13900271616 4566 18446744073709551615 4194304 4196468 140730524091248 140552727512208 140552715185776 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24627] ppid=24609 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24627/stat : 24627 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11404253 13900271616 4566 18446744073709551615 4194304 4196468 140730524091248 140552680237712 140552723281621 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24628] ppid=24609 vsize=13574484 memory=140674770757248 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24628/stat : 24628 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11404253 13900271616 4610 18446744073709551615 4194304 4196468 140730524091248 140552679184912 140552723281621 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24629] ppid=24609 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24629/stat : 24629 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11404253 13900271616 4612 18446744073709551615 4194304 4196468 140730524091248 140552678132112 140552723281621 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24630] ppid=24609 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24630/stat : 24630 (java) S 24609 24609 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11404253 13900271616 4612 18446744073709551615 4194304 4196468 140730524091248 140552677079312 140552723281621 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24631] ppid=24609 vsize=13574484 memory=140674770757248 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24631/stat : 24631 (java) S 24609 24609 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11404255 13900271616 4612 18446744073709551615 4194304 4196468 140730524091248 140552268942192 140552723282562 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24632] ppid=24609 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24632/stat : 24632 (java) S 24609 24609 17292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 9 0 11404255 13900271616 4612 18446744073709551615 4194304 4196468 140730524091248 140551706109472 140552723281621 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24633] ppid=24609 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24633/stat : 24633 (java) S 24609 24609 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 11404255 13900271616 4612 18446744073709551615 4194304 4196468 140730524091248 140551705056688 140552723281621 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 19640 KiB

[startup+0.209958 s]*
/proc/loadavg: 2.09 2.12 2.07 3/210 24639
/proc/meminfo: memFree=31765988/32770624 swapFree=67108860/67108860
[pid=24609] ppid=24606 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24609/stat : 24609 (xcsp3-exec) S 24606 24609 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11404244 9740288 345 18446744073709551615 4194304 5098028 140736525413968 140736525412072 140518449078908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 15093760 140736525418873 140736525419078 140736525419078 140736525422571 0
/proc/24609/statm: 2378 345 289 221 0 87 0
[pid=24620] ppid=24609 vsize=13907304 memory=23768 CPUtime=0.05 cores=0,2,4,6
/proc/24620/stat : 24620 (java) S 24609 24609 17292 0 -1 1077944320 4862 0 0 0 4 1 0 0 20 0 14 0 11404252 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140730524073792 140552723271415 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
/proc/24620/statm: 3476826 5942 2555 1 0 3466323 0
[pid=24620/tid=24621] ppid=24609 vsize=13907304 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/24620/task/24621/stat : 24621 (java) D 24609 24609 17292 0 -1 4202560 3055 0 0 0 4 1 0 0 20 0 14 0 11404253 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140552727508896 140552723293437 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 3 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24627] ppid=24609 vsize=13907304 memory=10613 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24627/stat : 24627 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 11404253 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140552680237712 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24628] ppid=24609 vsize=13907304 memory=3547069739757037216 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24628/stat : 24628 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 11404253 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140552679184912 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24629] ppid=24609 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24629/stat : 24629 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 11404253 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140552678132112 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24630] ppid=24609 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24630/stat : 24630 (java) S 24609 24609 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 11404253 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140552677079312 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24631] ppid=24609 vsize=13907304 memory=140674770757248 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24631/stat : 24631 (java) S 24609 24609 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 11404255 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140552268942192 140552723282562 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24632] ppid=24609 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24632/stat : 24632 (java) S 24609 24609 17292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 14 0 11404255 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140551706109472 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24633] ppid=24609 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24633/stat : 24633 (java) S 24609 24609 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 11404255 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140551705056624 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24634] ppid=24609 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24634/stat : 24634 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 11404258 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140551704004944 140552723290011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24635] ppid=24609 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24635/stat : 24635 (java) S 24609 24609 17292 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 11404258 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140551702952304 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24636] ppid=24609 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24636/stat : 24636 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 11404258 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140551701899504 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24637] ppid=24609 vsize=13907304 memory=140674770757248 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24637/stat : 24637 (java) S 24609 24609 17292 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 11404258 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140551700846704 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24638] ppid=24609 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24638/stat : 24638 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 11404258 14241079296 5942 18446744073709551615 4194304 4196468 140730524091248 140551699794144 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 25148 KiB

[startup+0.311181 s]*
/proc/loadavg: 2.09 2.12 2.07 4/211 24640
/proc/meminfo: memFree=31747712/32770624 swapFree=67108860/67108860
[pid=24609] ppid=24606 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24609/stat : 24609 (xcsp3-exec) S 24606 24609 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11404244 9740288 345 18446744073709551615 4194304 5098028 140736525413968 140736525412072 140518449078908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 15093760 140736525418873 140736525419078 140736525419078 140736525422571 0
/proc/24609/statm: 2378 345 289 221 0 87 0
[pid=24620] ppid=24609 vsize=13974352 memory=31052 CPUtime=0.14 cores=0,2,4,6
/proc/24620/stat : 24620 (java) S 24609 24609 17292 0 -1 1077944320 5560 0 0 0 13 1 0 0 20 0 15 0 11404252 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140730524073792 140552723271415 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
/proc/24620/statm: 3493588 7763 2944 1 0 3482964 0
[pid=24620/tid=24621] ppid=24609 vsize=13974352 memory=-8774313645642428999 CPUtime=0.1 cores=0,2,4,6
/proc/24620/task/24621/stat : 24621 (java) R 24609 24609 17292 0 -1 4202560 3467 0 0 0 9 1 0 0 20 0 15 0 11404253 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140552727502416 140552707315045 0 4 1 16800974 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24627] ppid=24609 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24627/stat : 24627 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404253 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140552680237712 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24628] ppid=24609 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24628/stat : 24628 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404253 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140552679184912 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24629] ppid=24609 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24629/stat : 24629 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404253 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140552678132112 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24630] ppid=24609 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24630/stat : 24630 (java) S 24609 24609 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11404253 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140552677079312 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24631] ppid=24609 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24631/stat : 24631 (java) S 24609 24609 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11404255 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140552268942192 140552723282562 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24632] ppid=24609 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24632/stat : 24632 (java) S 24609 24609 17292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 11404255 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140551706109472 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24633] ppid=24609 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24633/stat : 24633 (java) S 24609 24609 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11404255 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140551705056624 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24634] ppid=24609 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24634/stat : 24634 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140551704004944 140552723290011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24635] ppid=24609 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24635/stat : 24635 (java) S 24609 24609 17292 0 -1 1077944384 468 0 0 0 0 0 0 0 20 0 15 0 11404258 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140551702952304 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24636] ppid=24609 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24636/stat : 24636 (java) R 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404258 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140551701899600 140552723281621 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24637] ppid=24609 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24620/task/24637/stat : 24637 (java) S 24609 24609 17292 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 15 0 11404258 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140551700846704 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24638] ppid=24609 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24638/stat : 24638 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140551699794144 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24640] ppid=24609 vsize=13974352 memory=140674770757248 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24640/stat : 24640 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404270 14309736448 7763 18446744073709551615 4194304 4196468 140730524091248 140551698742448 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32432 KiB

[startup+0.700728 s]
/proc/loadavg: 2.17 2.13 2.08 4/211 24640
/proc/meminfo: memFree=31720168/32770624 swapFree=67108860/67108860
[pid=24609] ppid=24606 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24609/stat : 24609 (xcsp3-exec) S 24606 24609 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11404244 9740288 345 18446744073709551615 4194304 5098028 140736525413968 140736525412072 140518449078908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 15093760 140736525418873 140736525419078 140736525419078 140736525422571 0
/proc/24609/statm: 2378 345 289 221 0 87 0
[pid=24620] ppid=24609 vsize=13978684 memory=63624 CPUtime=1.03 cores=0,2,4,6
/proc/24620/stat : 24620 (java) S 24609 24609 17292 0 -1 1077944320 11637 0 0 0 98 5 0 0 20 0 15 0 11404252 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140730524073792 140552723271415 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
/proc/24620/statm: 3494671 15906 3160 1 0 3482964 0
[pid=24620/tid=24621] ppid=24609 vsize=13978684 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/24620/task/24621/stat : 24621 (java) R 24609 24609 17292 0 -1 4202560 7943 0 0 0 45 3 0 0 20 0 15 0 11404253 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140552727491280 140552707351902 0 4 1 16800974 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24627] ppid=24609 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24627/stat : 24627 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404253 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140552680237712 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24628] ppid=24609 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24628/stat : 24628 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404253 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140552679184912 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24629] ppid=24609 vsize=13978684 memory=281349348921136 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24629/stat : 24629 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404253 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140552678132112 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24630] ppid=24609 vsize=13978684 memory=2557116155649 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24630/stat : 24630 (java) S 24609 24609 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11404253 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140552677079312 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24631] ppid=24609 vsize=13978684 memory=2565706090241 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24631/stat : 24631 (java) S 24609 24609 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11404255 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140552268942192 140552723282562 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24632] ppid=24609 vsize=13978684 memory=2574296024833 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24632/stat : 24632 (java) S 24609 24609 17292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 11404255 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140551706109472 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24633] ppid=24609 vsize=13978684 memory=2591475894017 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24633/stat : 24633 (java) S 24609 24609 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11404255 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140551705056624 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24634] ppid=24609 vsize=13978684 memory=2651605436161 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24634/stat : 24634 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140551704004944 140552723290011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24635] ppid=24609 vsize=13978684 memory=2793339356929 CPUtime=0.13 cores=0,2,4,6
/proc/24620/task/24635/stat : 24635 (java) R 24609 24609 17292 0 -1 4202560 692 0 0 0 13 0 0 0 20 0 15 0 11404258 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140551702943280 140552704792631 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24636] ppid=24609 vsize=13978684 memory=3828426475265 CPUtime=0.11 cores=0,2,4,6
/proc/24620/task/24636/stat : 24636 (java) S 24609 24609 17292 0 -1 1077944384 554 0 0 0 11 0 0 0 20 0 15 0 11404258 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140551701899504 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24637] ppid=24609 vsize=13978684 memory=3832721442305 CPUtime=0.27 cores=0,2,4,6
/proc/24620/task/24637/stat : 24637 (java) S 24609 24609 17292 0 -1 1077944384 1161 0 0 0 27 0 0 0 20 0 15 0 11404258 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140551700846704 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24638] ppid=24609 vsize=13978684 memory=3897145951745 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24638/stat : 24638 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140551699794144 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24640] ppid=24609 vsize=13978684 memory=49308 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24640/stat : 24640 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404270 14314172416 15906 18446744073709551615 4194304 4196468 140730524091248 140551698742448 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 65004 KiB

[startup+1.50256 s]
/proc/loadavg: 2.17 2.13 2.08 7/211 24640
/proc/meminfo: memFree=31638900/32770624 swapFree=67108860/67108860
[pid=24609] ppid=24606 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24609/stat : 24609 (xcsp3-exec) S 24606 24609 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11404244 9740288 345 18446744073709551615 4194304 5098028 140736525413968 140736525412072 140518449078908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 15093760 140736525418873 140736525419078 140736525419078 140736525422571 0
/proc/24609/statm: 2378 345 289 221 0 87 0
[pid=24620] ppid=24609 vsize=13980732 memory=112832 CPUtime=3.32 cores=0,2,4,6
/proc/24620/stat : 24620 (java) S 24609 24609 17292 0 -1 1077944320 18965 0 0 0 324 8 0 0 20 0 15 0 11404252 14316269568 28208 18446744073709551615 4194304 4196468 140730524091248 140730524073792 140552723271415 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
/proc/24620/statm: 3495183 28208 3192 1 0 3483476 0
[pid=24620/tid=24621] ppid=24609 vsize=13980732 memory=281349349044408 CPUtime=1.28 cores=0,2,4,6
/proc/24620/task/24621/stat : 24621 (java) R 24609 24609 17292 0 -1 4202560 9265 0 0 0 123 5 0 0 20 0 15 0 11404253 14316269568 28208 18446744073709551615 4194304 4196468 140730524091248 140552727508192 140552357283273 0 4 1 16800974 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24627] ppid=24609 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24627/stat : 24627 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404253 14316269568 28208 18446744073709551615 4194304 4196468 140730524091248 140552680237712 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24628] ppid=24609 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24628/stat : 24628 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404253 14316269568 28208 18446744073709551615 4194304 4196468 140730524091248 140552679184912 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24629] ppid=24609 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24629/stat : 24629 (java) S 24609 24609 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11404253 14316269568 28208 18446744073709551615 4194304 4196468 140730524091248 140552678132112 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24630] ppid=24609 vsize=13980732 memory=14181982013714 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24630/stat : 24630 (java) S 24609 24609 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11404253 14316269568 28208 18446744073709551615 4194304 4196468 140730524091248 140552677079312 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24631] ppid=24609 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/24620/task/24633/stat : 24633 (java) S 24609 24609 17292 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11404255 14316269568 44028 18446744073709551615 4194304 4196468 140730524091248 140551705056624 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24634] ppid=24609 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24634/stat : 24634 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14316269568 44028 18446744073709551615 4194304 4196468 140730524091248 140551704004944 140552723290011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24635] ppid=24609 vsize=13980732 memory=0 CPUtime=1.97 cores=0,2,4,6
/proc/24620/task/24635/stat : 24635 (java) S 24609 24609 17292 0 -1 1077944384 15944 0 0 0 195 2 0 0 20 0 15 0 11404258 14316269568 44028 18446744073709551615 4194304 4196468 140730524091248 140551702952304 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24636] ppid=24609 vsize=13980732 memory=1380 CPUtime=1.67 cores=0,2,4,6
/proc/24620/task/24636/stat : 24636 (java) S 24609 24609 17292 0 -1 1077944384 11916 0 0 0 165 2 0 0 20 0 15 0 11404258 14316269568 44028 18446744073709551615 4194304 4196468 140730524091248 140551701899504 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24637] ppid=24609 vsize=13980732 memory=1380 CPUtime=0.71 cores=0,2,4,6
/proc/24620/task/24637/stat : 24637 (java) S 24609 24609 17292 0 -1 1077944384 7797 0 0 0 70 1 0 0 20 0 15 0 11404258 14316269568 44028 18446744073709551615 4194304 4196468 140730524091248 140551700846704 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24638] ppid=24609 vsize=13980732 memory=176112 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24638/stat : 24638 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14316269568 44028 18446744073709551615 4194304 4196468 140730524091248 140551699794144 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24640] ppid=24609 vsize=13980732 memory=1380 CPUtime=0.71 cores=0,2,4,6
/proc/24620/task/24640/stat : 24640 (java) S 24609 24609 17292 0 -1 1077944384 1577 0 0 0 31 40 0 0 20 0 15 0 11404270 14316269568 44028 18446744073709551615 4194304 4196468 140730524091248 140551698742448 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
Current children cumulated CPU time: 2387.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 177492 KiB

[startup+2442.3 s]
/proc/loadavg: 1.62 1.81 1.89 3/212 24884
/proc/meminfo: memFree=31453132/32770624 swapFree=67108860/67108860
[pid=24609] ppid=24606 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24609/stat : 24609 (xcsp3-exec) S 24606 24609 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11404244 9740288 345 18446744073709551615 4194304 5098028 140736525413968 140736525412072 140518449078908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 15093760 140736525418873 140736525419078 140736525419078 140736525422571 0
/proc/24609/statm: 2378 345 289 221 0 87 0
[pid=24620] ppid=24609 vsize=13980732 memory=176116 CPUtime=2447.34 cores=0,2,4,6
/proc/24620/stat : 24620 (java) S 24609 24609 17292 0 -1 1077944320 71874 0 0 0 244690 44 0 0 20 0 15 0 11404252 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140730524073792 140552723271415 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
/proc/24620/statm: 3495183 44029 3231 1 0 3483476 0
[pid=24620/tid=24621] ppid=24609 vsize=13980732 memory=176116 CPUtime=2441.73 cores=0,2,4,6
/proc/24620/task/24621/stat : 24621 (java) R 24609 24609 17292 0 -1 4202560 21481 0 0 0 244164 9 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552727510848 140552357467569 0 4 1 16800974 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24627] ppid=24609 vsize=13980732 memory=176116 CPUtime=0.08 cores=0,2,4,6
/proc/24620/task/24627/stat : 24627 (java) S 24609 24609 17292 0 -1 1077944384 2883 0 0 0 7 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552680237712 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24628] ppid=24609 vsize=13980732 memory=176116 CPUtime=0.08 cores=0,2,4,6
/proc/24620/task/24628/stat : 24628 (java) S 24609 24609 17292 0 -1 1077944384 1122 0 0 0 7 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552679184912 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24629] ppid=24609 vsize=13980732 memory=176116 CPUtime=0.08 cores=0,2,4,6
/proc/24620/task/24629/stat : 24629 (java) S 24609 24609 17292 0 -1 1077944384 601 0 0 0 7 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552678132112 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24630] ppid=24609 vsize=13980732 memory=1380 CPUtime=0.08 cores=0,2,4,6
/proc/24620/task/24630/stat : 24630 (java) S 24609 24609 17292 0 -1 1077944384 3961 0 0 0 7 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552677079312 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24631] ppid=24609 vsize=13980732 memory=1380 CPUtime=0.1 cores=0,2,4,6
/proc/24620/task/24631/stat : 24631 (java) S 24609 24609 17292 0 -1 1077944384 3125 0 0 0 7 3 0 0 20 0 15 0 11404255 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552268942192 140552723282562 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24632] ppid=24609 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24632/stat : 24632 (java) S 24609 24609 17292 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 11404255 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551706109472 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24633] ppid=24609 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24633/stat : 24633 (java) S 24609 24609 17292 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11404255 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551705056624 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24634] ppid=24609 vsize=13980732 memory=176116 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24634/stat : 24634 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551704004944 140552723290011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24635] ppid=24609 vsize=13980732 memory=33 CPUtime=1.98 cores=0,2,4,6
/proc/24620/task/24635/stat : 24635 (java) S 24609 24609 17292 0 -1 1077944384 15966 0 0 0 196 2 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551702952304 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24636] ppid=24609 vsize=13980732 memory=6943526294502006880 CPUtime=1.69 cores=0,2,4,6
/proc/24620/task/24636/stat : 24636 (java) S 24609 24609 17292 0 -1 1077944384 12017 0 0 0 167 2 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551701899504 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24637] ppid=24609 vsize=13980732 memory=1380 CPUtime=0.71 cores=0,2,4,6
/proc/24620/task/24637/stat : 24637 (java) S 24609 24609 17292 0 -1 1077944384 7797 0 0 0 70 1 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551700846704 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24638] ppid=24609 vsize=13980732 memory=176116 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24638/stat : 24638 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551699794144 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24640] ppid=24609 vsize=13980732 memory=1584 CPUtime=0.73 cores=0,2,4,6
/proc/24620/task/24640/stat : 24640 (java) S 24609 24609 17292 0 -1 1077944384 1596 0 0 0 32 41 0 0 20 0 15 0 11404270 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551698742448 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
Current children cumulated CPU time: 2447.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 177496 KiB

[startup+2502.3 s]
/proc/loadavg: 1.67 1.78 1.88 3/212 24886
/proc/meminfo: memFree=31453392/32770624 swapFree=67108860/67108860
[pid=24609] ppid=24606 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24609/stat : 24609 (xcsp3-exec) S 24606 24609 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11404244 9740288 345 18446744073709551615 4194304 5098028 140736525413968 140736525412072 140518449078908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 15093760 140736525418873 140736525419078 140736525419078 140736525422571 0
/proc/24609/statm: 2378 345 289 221 0 87 0
[pid=24620] ppid=24609 vsize=13980732 memory=176116 CPUtime=2507.36 cores=0,2,4,6
/proc/24620/stat : 24620 (java) S 24609 24609 17292 0 -1 1077944320 71910 0 0 0 250691 45 0 0 20 0 15 0 11404252 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140730524073792 140552723271415 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
/proc/24620/statm: 3495183 44029 3231 1 0 3483476 0
[pid=24620/tid=24621] ppid=24609 vsize=13980732 memory=176116 CPUtime=2501.7 cores=0,2,4,6
/proc/24620/task/24621/stat : 24621 (java) R 24609 24609 17292 0 -1 4202560 21504 0 0 0 250161 9 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552727510848 140552358142204 0 4 1 16800974 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24627] ppid=24609 vsize=13980732 memory=176116 CPUtime=0.09 cores=0,2,4,6
/proc/24620/task/24627/stat : 24627 (java) S 24609 24609 17292 0 -1 1077944384 2883 0 0 0 8 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552680237712 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24628] ppid=24609 vsize=13980732 memory=176116 CPUtime=0.09 cores=0,2,4,6
/proc/24620/task/24628/stat : 24628 (java) S 24609 24609 17292 0 -1 1077944384 1126 0 0 0 8 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552679184912 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24629] ppid=24609 vsize=13980732 memory=176116 CPUtime=0.09 cores=0,2,4,6
/proc/24620/task/24629/stat : 24629 (java) S 24609 24609 17292 0 -1 1077944384 601 0 0 0 8 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552678132112 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24630] ppid=24609 vsize=13980732 memory=1380 CPUtime=0.09 cores=0,2,4,6
/proc/24620/task/24630/stat : 24630 (java) S 24609 24609 17292 0 -1 1077944384 3962 0 0 0 8 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552677079312 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24631] ppid=24609 vsize=13980732 memory=176116 CPUtime=0.1 cores=0,2,4,6
/proc/24620/task/24631/stat : 24631 (java) S 24609 24609 17292 0 -1 1077944384 3129 0 0 0 7 3 0 0 20 0 15 0 11404255 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552268942192 140552723282562 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24632] ppid=24609 vsize=13980732 memory=176116 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24632/stat : 24632 (java) S 24609 24609 17292 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 11404255 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551706109472 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24633] ppid=24609 vsize=13980732 memory=176116 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24633/stat : 24633 (java) S 24609 24609 17292 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11404255 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551705056624 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24634] ppid=24609 vsize=13980732 memory=176116 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24634/stat : 24634 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551704004944 140552723290011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24635] ppid=24609 vsize=13980732 memory=176116 CPUtime=1.98 cores=0,2,4,6
/proc/24620/task/24635/stat : 24635 (java) S 24609 24609 17292 0 -1 1077944384 15966 0 0 0 196 2 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551702952304 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24636] ppid=24609 vsize=13980732 memory=176116 CPUtime=1.69 cores=0,2,4,6
/proc/24620/task/24636/stat : 24636 (java) S 24609 24609 17292 0 -1 1077944384 12017 0 0 0 167 2 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551701899504 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24637] ppid=24609 vsize=13980732 memory=1380 CPUtime=0.71 cores=0,2,4,6
/proc/24620/task/24637/stat : 24637 (java) S 24609 24609 17292 0 -1 1077944384 7797 0 0 0 70 1 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551700846704 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24638] ppid=24609 vsize=13980732 memory=176116 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24638/stat : 24638 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551699794144 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24640] ppid=24609 vsize=13980732 memory=9057 CPUtime=0.75 cores=0,2,4,6
/proc/24620/task/24640/stat : 24640 (java) S 24609 24609 17292 0 -1 1077944384 1600 0 0 0 33 42 0 0 20 0 15 0 11404270 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551698742448 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
Current children cumulated CPU time: 2507.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 177496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2515 s]*
/proc/loadavg: 1.72 1.79 1.88 3/212 24886
/proc/meminfo: memFree=31453516/32770624 swapFree=67108860/67108860
[pid=24609] ppid=24606 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24609/stat : 24609 (xcsp3-exec) S 24606 24609 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11404244 9740288 345 18446744073709551615 4194304 5098028 140736525413968 140736525412072 140518449078908 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 15093760 140736525418873 140736525419078 140736525419078 140736525422571 0
/proc/24609/statm: 2378 345 289 221 0 87 0
[pid=24620] ppid=24609 vsize=13980732 memory=176116 CPUtime=2520.07 cores=0,2,4,6
/proc/24620/stat : 24620 (java) S 24609 24609 17292 0 -1 1077944320 71913 0 0 0 251962 45 0 0 20 0 15 0 11404252 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140730524073792 140552723271415 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
/proc/24620/statm: 3495183 44029 3231 1 0 3483476 0
[pid=24620/tid=24621] ppid=24609 vsize=13980732 memory=-8774313645642428999 CPUtime=2514.4 cores=0,2,4,6
/proc/24620/task/24621/stat : 24621 (java) R 24609 24609 17292 0 -1 4202560 21505 0 0 0 251431 9 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552727510848 140552357497090 0 4 1 16800974 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24627] ppid=24609 vsize=13980732 memory=4126316290023845779 CPUtime=0.09 cores=0,2,4,6
/proc/24620/task/24627/stat : 24627 (java) S 24609 24609 17292 0 -1 1077944384 2883 0 0 0 8 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552680237712 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24628] ppid=24609 vsize=13980732 memory=2432 CPUtime=0.09 cores=0,2,4,6
/proc/24620/task/24628/stat : 24628 (java) S 24609 24609 17292 0 -1 1077944384 1126 0 0 0 8 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552679184912 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24629] ppid=24609 vsize=13980732 memory=1728 CPUtime=0.09 cores=0,2,4,6
/proc/24620/task/24629/stat : 24629 (java) S 24609 24609 17292 0 -1 1077944384 601 0 0 0 8 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552678132112 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24630] ppid=24609 vsize=13980732 memory=1228 CPUtime=0.09 cores=0,2,4,6
/proc/24620/task/24630/stat : 24630 (java) S 24609 24609 17292 0 -1 1077944384 3962 0 0 0 8 1 0 0 20 0 15 0 11404253 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552677079312 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24631] ppid=24609 vsize=13980732 memory=12980 CPUtime=0.1 cores=0,2,4,6
/proc/24620/task/24631/stat : 24631 (java) S 24609 24609 17292 0 -1 1077944384 3129 0 0 0 7 3 0 0 20 0 15 0 11404255 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140552268942192 140552723282562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24632] ppid=24609 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24632/stat : 24632 (java) S 24609 24609 17292 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 11404255 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551706109472 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24633] ppid=24609 vsize=13980732 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24633/stat : 24633 (java) S 24609 24609 17292 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11404255 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551705056624 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24634] ppid=24609 vsize=13980732 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24634/stat : 24634 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551704004944 140552723290011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24635] ppid=24609 vsize=13980732 memory=1704 CPUtime=1.98 cores=0,2,4,6
/proc/24620/task/24635/stat : 24635 (java) S 24609 24609 17292 0 -1 1077944384 15966 0 0 0 196 2 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551702952304 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24636] ppid=24609 vsize=13980732 memory=4616 CPUtime=1.69 cores=0,2,4,6
/proc/24620/task/24636/stat : 24636 (java) S 24609 24609 17292 0 -1 1077944384 12017 0 0 0 167 2 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551701899504 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24637] ppid=24609 vsize=13980732 memory=140674675391105 CPUtime=0.71 cores=0,2,4,6
/proc/24620/task/24637/stat : 24637 (java) S 24609 24609 17292 0 -1 1077944384 7797 0 0 0 70 1 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551700846704 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24638] ppid=24609 vsize=13980732 memory=4426639978525455914 CPUtime=0 cores=0,2,4,6
/proc/24620/task/24638/stat : 24638 (java) S 24609 24609 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11404258 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551699794144 140552723281621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
[pid=24620/tid=24640] ppid=24609 vsize=13980732 memory=3047711553219693942 CPUtime=0.75 cores=0,2,4,6
/proc/24620/task/24640/stat : 24640 (java) S 24609 24609 17292 0 -1 1077944384 1602 0 0 0 33 42 0 0 20 0 15 0 11404270 14316269568 44029 18446744073709551615 4194304 4196468 140730524091248 140551698742448 140552723282562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11726848 140730524094898 140730524095074 140730524095074 140730524098511 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 177496 KiB

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

[startup+2515.02 s]
# the end of solver process 24609 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001971 s

[startup+2515.02 s]
# the end of solver process 24620 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.64 s, system=0.46404 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): 2515.02
CPU time (s): 2520.1
CPU user time (s): 2519.64
CPU system time (s): 0.46404
CPU usage (%): 100.202
Max. virtual memory (cumulated for all children) (KiB): 13992272
Max. memory (cumulated for all children) (KiB): 255860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.64
system time used= 0.46404
maximum resident set size= 260124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72648
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58918
involuntary context switches= 2060


# summary of solver processes directly reported to runsolver:
#   pid: 24609,24620
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2519.64
#   total CPU system time (s): 0.46404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1102 second user time and 23.6371 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 4281896

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