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 par (2017-08-18)	SAT (TO)	205	20091.301	2520.1399

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280426-1503142718.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280426-1503142718.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
4.39/1.38	c solve instance...
6.31/1.60	o 23821 
6.31/1.66	o 20541 
6.31/1.66	o 20389 
6.31/1.67	o 17733 
6.31/1.67	o 17733 
6.31/1.68	o 17581 
6.31/1.69	o 17437 
6.31/1.69	o 15365 
6.86/1.76	o 14933 
6.86/1.76	o 13405 
7.47/1.80	o 13221 
7.47/1.80	o 1021 
7.47/1.81	o 957 
7.47/1.81	o 845 
7.47/1.82	o 629 
7.47/1.87	o 589 
10.28/2.26	o 573 
13.92/2.73	o 565 
15.89/3.02	o 317 
15.89/3.09	o 285 
288.88/37.33	o 277 
902.97/114.39	o 261 
2114.21/266.22	o 229 
9476.05/1188.84	o 221 
18369.48/2303.90	o 205 
20090.37/2520.11	s SATISFIABLE
20090.37/2520.11	v <instantiation>
20090.37/2520.11	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>
20090.37/2520.11	v 	<values>-1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 0 -1 -2 1 -4 1 0 5 -4 1 6 -1 0 1 -2 1 -2 -1 -2 -1 0 3 0 -3 0 1 -2 -1 4 1 -2 1 -2 1 2 1 4 3 2 1 1 0 1 4 1 16 1 0 25 16 1 36 1 0 1 4 1 4 1 4 1 0 9 0 9 0 1 4 1 16 1 4 1 4 1 4 1 16 9 4 1 </values>
20090.37/2520.11	v </instantiation>
20090.37/2520.11	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 (11422 MiB free)
  memory of node 1: 16384 MiB (9830 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280426-1503142718/watcher-4280426-1503142718 -o /tmp/evaluation-result-4280426-1503142718/solver-4280426-1503142718 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503139077-27932 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1604152510 HOME/instance-4280426-1503142718.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100143 s]*
/proc/loadavg: 1.19 4.17 6.58 2/200 28514
/proc/meminfo: memFree=21747096/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28493/stat : 28493 (xcsp3-exec) S 28490 28493 27905 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147359513 9740288 346 33554432000 4194304 5098028 140725501107968 140725501106072 140712432128636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12079104 140725501113444 140725501113655 140725501113655 140725501116395 0
/proc/28493/statm: 2378 346 289 221 0 87 0
[pid=28495] ppid=28493 vsize=25999808 memory=26160 CPUtime=0.12 cores=0-7
/proc/28495/stat : 28495 (java) S 28493 28493 27905 0 -1 1077944320 5476 0 0 0 11 1 0 0 20 0 20 0 147359513 26623803392 6540 33554432000 4194304 4196468 140735732251648 140735732234192 140049209474807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
/proc/28495/statm: 6499952 6540 2848 1 0 6488269 0
[pid=28495/tid=28496] ppid=28493 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28495/task/28496/stat : 28496 (java) R 28493 28493 27905 0 -1 4202560 3489 0 0 0 9 0 0 0 20 0 20 0 147359513 26623803392 6540 33554432000 4194304 4196468 140735732251648 140049213707056 140049209486742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28497] ppid=28493 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28495/task/28497/stat : 28497 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26623803392 6540 33554432000 4194304 4196468 140735732251648 140049162094864 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28498] ppid=28493 vsize=25999808 memory=140003352815232 CPUtime=0 cores=0-7
/proc/28495/task/28498/stat : 28498 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359514 26623803392 6540 33554432000 4194304 4196468 140735732251648 140049161042320 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28499] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28499/stat : 28499 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26623803392 6540 33554432000 4194304 4196468 140735732251648 140049159989776 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28500] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28500/stat : 28500 (java) S 28493 28493 27905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147359514 26623803392 6540 33554432000 4194304 4196468 140735732251648 140049158937232 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28501] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28501/stat : 28501 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359514 26623803392 6540 33554432000 4194304 4196468 140735732251648 140049157884688 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28502] ppid=28493 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28495/task/28502/stat : 28502 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359514 26623803392 6540 33554432000 4194304 4196468 140735732251648 140049156832144 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28503] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28503/stat : 28503 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26623803392 6540 33554432000 4194304 4196468 140735732251648 140049155779600 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28504] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28504/stat : 28504 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26623803392 6540 33554432000 4194304 4196468 140735732251648 140049154727056 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28505] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28505/stat : 28505 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359516 26623803392 6540 33554432000 4194304 4196468 140735732251648 140048402954224 140049209485954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28506] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28506/stat : 28506 (java) S 28493 28493 27905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147359516 26623803392 6540 33554432000 4194304 4196468 140735732251648 140048401900448 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28507] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28507/stat : 28507 (java) S 28493 28493 27905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147359516 26623803392 6540 33554432000 4194304 4196468 140735732251648 140048400847856 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28508] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28508/stat : 28508 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359519 26623803392 6540 33554432000 4194304 4196468 140735732251648 140048399796432 140049209493403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28509] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28509/stat : 28509 (java) S 28493 28493 27905 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 147359519 26623803392 6540 33554432000 4194304 4196468 140735732251648 140048398744048 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28510] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28510/stat : 28510 (java) S 28493 28493 27905 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 147359519 26623803392 6540 33554432000 4194304 4196468 140735732251648 140048397691504 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28511] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28511/stat : 28511 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359519 26623803392 6540 33554432000 4194304 4196468 140735732251648 140048396638960 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28512] ppid=28493 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/28495/task/28512/stat : 28512 (java) R 28493 28493 27905 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 147359519 26623803392 6540 33554432000 4194304 4196468 140735732251648 140048395586416 140049194640446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28513] ppid=28493 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28513/stat : 28513 (java) S 28493 28493 27905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147359519 26623803392 6540 33554432000 4194304 4196468 140735732251648 140048394533088 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28514] ppid=28493 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28495/task/28514/stat : 28514 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359519 26623803392 6540 33554432000 4194304 4196468 140735732251648 140048393480624 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27544 KiB

[startup+0.210177 s]*
/proc/loadavg: 1.19 4.17 6.58 3/200 28514
/proc/meminfo: memFree=21735884/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28493/stat : 28493 (xcsp3-exec) S 28490 28493 27905 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147359513 9740288 346 33554432000 4194304 5098028 140725501107968 140725501106072 140712432128636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12079104 140725501113444 140725501113655 140725501113655 140725501116395 0
/proc/28493/statm: 2378 346 289 221 0 87 0
[pid=28495] ppid=28493 vsize=26004064 memory=39136 CPUtime=0.33 cores=0-7
/proc/28495/stat : 28495 (java) S 28493 28493 27905 0 -1 1077944320 8320 0 0 0 31 2 0 0 20 0 20 0 147359513 26628161536 9784 33554432000 4194304 4196468 140735732251648 140735732234192 140049209474807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
/proc/28495/statm: 6501016 9784 3062 1 0 6488269 0
[pid=28495/tid=28496] ppid=28493 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28495/task/28496/stat : 28496 (java) R 28493 28493 27905 0 -1 4202560 5403 0 0 0 18 1 0 0 20 0 20 0 147359513 26628161536 9784 33554432000 4194304 4196468 140735732251648 140049213695800 140049202152821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28497] ppid=28493 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/28495/task/28497/stat : 28497 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 9784 33554432000 4194304 4196468 140735732251648 140049162094864 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28498] ppid=28493 vsize=26004064 memory=140003353505155 CPUtime=0 cores=0-7
/proc/28495/task/28498/stat : 28498 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 9784 33554432000 4194304 4196468 140735732251648 140049161042320 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28499] ppid=28493 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28495/task/28499/stat : 28499 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 9784 33554432000 4194304 4196468 140735732251648 140049159989776 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28500] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28500/stat : 28500 (java) S 28493 28493 27905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 9784 33554432000 4194304 4196468 140735732251648 140049158937232 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28501] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28501/stat : 28501 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 9784 33554432000 4194304 4196468 140735732251648 140049157884688 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28502] ppid=28493 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28495/task/28502/stat : 28502 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 9784 33554432000 4194304 4196468 140735732251648 140049156832144 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28503] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28503/stat : 28503 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 9784 33554432000 4194304 4196468 140735732251648 140049155779600 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28504] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28504/stat : 28504 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 9784 33554432000 4194304 4196468 140735732251648 140049154727056 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28505] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28505/stat : 28505 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359516 26628161536 9784 33554432000 4194304 4196468 140735732251648 140048402954224 140049209485954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28506] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28506/stat : 28506 (java) S 28493 28493 27905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147359516 26628161536 9784 33554432000 4194304 4196468 140735732251648 140048401900448 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28507] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28507/stat : 28507 (java) S 28493 28493 27905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147359516 26628161536 9784 33554432000 4194304 4196468 140735732251648 140048400847856 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28508] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28508/stat : 28508 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359519 26628161536 9784 33554432000 4194304 4196468 140735732251648 140048399796432 140049209493403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28509] ppid=28493 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28495/task/28509/stat : 28509 (java) S 28493 28493 27905 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 20 0 147359519 26628161536 9784 33554432000 4194304 4196468 140735732251648 140048398744048 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28510] ppid=28493 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28495/task/28510/stat : 28510 (java) S 28493 28493 27905 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 147359519 26628161536 9784 33554432000 4194304 4196468 140735732251648 140048397691504 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28511] ppid=28493 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/28495/task/28511/stat : 28511 (java) S 28493 28493 27905 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 147359519 26628161536 9784 33554432000 4194304 4196468 140735732251648 140048396638960 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28512] ppid=28493 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/28495/task/28512/stat : 28512 (java) R 28493 28493 27905 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 20 0 147359519 26628161536 9784 33554432000 4194304 4196468 140735732251648 140048395586416 140049188008117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28513] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28513/stat : 28513 (java) S 28493 28493 27905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147359519 26628161536 9784 33554432000 4194304 4196468 140735732251648 140048394533088 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28514] ppid=28493 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28495/task/28514/stat : 28514 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359519 26628161536 9784 33554432000 4194304 4196468 140735732251648 140048393480624 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40520 KiB

[startup+0.309488 s]*
/proc/loadavg: 1.19 4.17 6.58 3/200 28514
/proc/meminfo: memFree=21730612/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28493/stat : 28493 (xcsp3-exec) S 28490 28493 27905 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147359513 9740288 346 33554432000 4194304 5098028 140725501107968 140725501106072 140712432128636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12079104 140725501113444 140725501113655 140725501113655 140725501116395 0
/proc/28493/statm: 2378 346 289 221 0 87 0
[pid=28495] ppid=28493 vsize=26004064 memory=44068 CPUtime=0.5 cores=0-7
/proc/28495/stat : 28495 (java) S 28493 28493 27905 0 -1 1077944320 9206 0 0 0 47 3 0 0 20 0 20 0 147359513 26628161536 11017 33554432000 4194304 4196468 140735732251648 140735732234192 140049209474807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
/proc/28495/statm: 6501016 11017 3090 1 0 6488269 0
[pid=28495/tid=28496] ppid=28493 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28495/task/28496/stat : 28496 (java) R 28493 28493 27905 0 -1 4202560 6077 0 0 0 27 2 0 0 20 0 20 0 147359513 26628161536 11017 33554432000 4194304 4196468 140735732251648 140049213713936 140049209486742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28497] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28497/stat : 28497 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 11017 33554432000 4194304 4196468 140735732251648 140049162094864 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28498] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28498/stat : 28498 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 11017 33554432000 4194304 4196468 140735732251648 140049161042320 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28499] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28499/stat : 28499 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 11017 33554432000 4194304 4196468 140735732251648 140049159989776 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28500] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28500/stat : 28500 (java) S 28493 28493 27905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 11017 33554432000 4194304 4196468 140735732251648 140049158937232 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28501] ppid=28493 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/28495/task/28501/stat : 28501 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 11017 33554432000 4194304 4196468 140735732251648 140049157884688 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28502] ppid=28493 vsize=26004064 memory=140003250369455 CPUtime=0 cores=0-7
/proc/28495/task/28502/stat : 28502 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 11017 33554432000 4194304 4196468 140735732251648 140049156832144 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28503] ppid=28493 vsize=26004064 memory=140003250371760 CPUtime=0 cores=0-7
/proc/28495/task/28503/stat : 28503 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 11017 33554432000 4194304 4196468 140735732251648 140049155779600 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28504] ppid=28493 vsize=26004064 memory=140003250374064 CPUtime=0 cores=0-7
/proc/28495/task/28504/stat : 28504 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26628161536 11017 33554432000 4194304 4196468 140735732251648 140049154727056 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28505] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28505/stat : 28505 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359516 26628161536 11017 33554432000 4194304 4196468 140735732251648 140048402954224 140049209485954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28506] ppid=28493 vsize=26004064 memory=280006500755088 CPUtime=0 cores=0-7
/proc/28495/task/28506/stat : 28506 (java) S 28493 28493 27905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147359516 26628161536 11017 33554432000 4194304 4196468 140735732251648 140048401900448 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28507] ppid=28493 vsize=26004064 memory=280006500762000 CPUtime=0 cores=0-7
/proc/28495/task/28507/stat : 28507 (java) S 28493 28493 27905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147359516 26628161536 11017 33554432000 4194304 4196468 140735732251648 140048400847856 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28508] ppid=28493 vsize=26004064 memory=280006500703280 CPUtime=0 cores=0-7
/proc/28495/task/28508/stat : 28508 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359519 26628161536 11017 33554432000 4194304 4196468 140735732251648 140048399796432 140049209493403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28509] ppid=28493 vsize=26004064 memory=280006500775824 CPUtime=0.01 cores=0-7
/proc/28495/task/28509/stat : 28509 (java) S 28493 28493 27905 0 -1 1077944384 550 0 0 0 1 0 0 0 20 0 20 0 147359519 26628161536 11017 33554432000 4194304 4196468 140735732251648 140048398744048 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28510] ppid=28493 vsize=26004064 memory=280006500782736 CPUtime=0.02 cores=0-7
/proc/28495/task/28510/stat : 28510 (java) S 28493 28493 27905 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 20 0 147359519 26628161536 11017 33554432000 4194304 4196468 140735732251648 140048397691504 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28511] ppid=28493 vsize=26004064 memory=280006500780432 CPUtime=0.02 cores=0-7
/proc/28495/task/28511/stat : 28511 (java) S 28493 28493 27905 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 20 0 147359519 26628161536 11017 33554432000 4194304 4196468 140735732251648 140048396638960 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28512] ppid=28493 vsize=26004064 memory=280006500796592 CPUtime=0.12 cores=0-7
/proc/28495/task/28512/stat : 28512 (java) R 28493 28493 27905 0 -1 4202560 878 0 0 0 12 0 0 0 20 0 20 0 147359519 26628161536 11017 33554432000 4194304 4196468 140735732251648 140048395582144 140049188432631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28513] ppid=28493 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28513/stat : 28513 (java) S 28493 28493 27905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147359519 26628161536 11017 33554432000 4194304 4196468 140735732251648 140048394533088 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28514] ppid=28493 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28495/task/28514/stat : 28514 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359519 26628161536 11017 33554432000 4194304 4196468 140735732251648 140048393480624 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45452 KiB

[startup+0.700905 s]
/proc/loadavg: 1.19 4.17 6.58 4/200 28514
/proc/meminfo: memFree=21713984/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28493/stat : 28493 (xcsp3-exec) S 28490 28493 27905 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147359513 9740288 346 33554432000 4194304 5098028 140725501107968 140725501106072 140712432128636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12079104 140725501113444 140725501113655 140725501113655 140725501116395 0
/proc/28493/statm: 2378 346 289 221 0 87 0
[pid=28495] ppid=28493 vsize=26006188 memory=89580 CPUtime=1.72 cores=0-7
/proc/28495/stat : 28495 (java) S 28493 28493 27905 0 -1 1077944320 14015 0 0 0 166 6 0 0 20 0 20 0 147359513 26630336512 22395 33554432000 4194304 4196468 140735732251648 140735732234192 140049209474807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
/proc/28495/statm: 6501547 22395 3210 1 0 6488781 0
[pid=28495/tid=28496] ppid=28493 vsize=26006188 memory=280006501154480 CPUtime=0.67 cores=0-7
/proc/28495/task/28496/stat : 28496 (java) R 28493 28493 27905 0 -1 4202560 6821 0 0 0 64 3 0 0 20 0 20 0 147359513 26630336512 22395 33554432000 4194304 4196468 140735732251648 140049213711024 140048838883440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28497] ppid=28493 vsize=26006188 memory=140003250578288 CPUtime=0 cores=0-7
/proc/28495/task/28497/stat : 28497 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26630336512 22395 33554432000 4194304 4196468 140735732251648 140049162094864 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28498] ppid=28493 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/28495/task/28498/stat : 28498 (java) S 28493 28493 27905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147359514 26630336512 22395 33554432000 4194304 4196468 140735732251648 140049161042320 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28499] ppid=28493 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/28495/task/28499/stat : 28499 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147359514 26630336512 22395 33554432000 4194304 4196468 140735732251648 140049159989776 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0

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

[pid=28495/tid=28781] ppid=28493 vsize=26540748 memory=1384 CPUtime=137.83 cores=0-7
/proc/28495/task/28781/stat : 28781 (java) R 28493 28493 27905 0 -1 4202560 5498 0 0 0 13782 1 0 0 20 0 28 0 147589904 27177725952 774214 33554432000 4194304 4196468 140735732251648 140048378596784 140048844655311 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
Current children cumulated CPU time: 19471.6 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 3098240 KiB

[startup+2502.3 s]
/proc/loadavg: 9.11 8.56 8.24 9/209 28781
/proc/meminfo: memFree=18678700/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28493/stat : 28493 (xcsp3-exec) S 28490 28493 27905 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147359513 9740288 346 33554432000 4194304 5098028 140725501107968 140725501106072 140712432128636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12079104 140725501113444 140725501113655 140725501113655 140725501116395 0
/proc/28493/statm: 2378 346 289 221 0 87 0
[pid=28495] ppid=28493 vsize=26540748 memory=3090172 CPUtime=19949.3 cores=0-7
/proc/28495/stat : 28495 (java) S 28493 28493 27905 0 -1 1077944320 455982 0 0 0 1994460 467 0 0 20 0 28 0 147359513 27177725952 772543 33554432000 4194304 4196468 140735732251648 140735732234192 140049209474807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
/proc/28495/statm: 6635187 772543 3293 1 0 6622421 0
[pid=28495/tid=28496] ppid=28493 vsize=26540748 memory=3090684 CPUtime=1.35 cores=0-7
/proc/28495/task/28496/stat : 28496 (java) S 28493 28493 27905 0 -1 1077944384 7775 0 0 0 131 4 0 0 20 0 28 0 147359513 27177725952 772543 33554432000 4194304 4196468 140735732251648 140049213715584 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28497] ppid=28493 vsize=26540748 memory=3090172 CPUtime=1.08 cores=0-7
/proc/28495/task/28497/stat : 28497 (java) S 28493 28493 27905 0 -1 1077944384 10241 0 0 0 100 8 0 0 20 0 28 0 147359514 27177725952 772543 33554432000 4194304 4196468 140735732251648 140049162094864 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28498] ppid=28493 vsize=26540748 memory=1384 CPUtime=1.13 cores=0-7
/proc/28495/task/28498/stat : 28498 (java) S 28493 28493 27905 0 -1 1077944384 11504 0 0 0 105 8 0 0 20 0 28 0 147359514 27177725952 772543 33554432000 4194304 4196468 140735732251648 140049161042320 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28499] ppid=28493 vsize=26540748 memory=164 CPUtime=1.08 cores=0-7
/proc/28495/task/28499/stat : 28499 (java) S 28493 28493 27905 0 -1 1077944384 9631 0 0 0 101 7 0 0 20 0 28 0 147359514 27177725952 772543 33554432000 4194304 4196468 140735732251648 140049159989776 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28500] ppid=28493 vsize=26540748 memory=3090172 CPUtime=1.08 cores=0-7
/proc/28495/task/28500/stat : 28500 (java) S 28493 28493 27905 0 -1 1077944384 9490 0 0 0 100 8 0 0 20 0 28 0 147359514 27177725952 772543 33554432000 4194304 4196468 140735732251648 140049158937232 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28501] ppid=28493 vsize=26540748 memory=1384 CPUtime=1.1 cores=0-7
/proc/28495/task/28501/stat : 28501 (java) S 28493 28493 27905 0 -1 1077944384 8330 0 0 0 102 8 0 0 20 0 28 0 147359514 27177725952 772543 33554432000 4194304 4196468 140735732251648 140049157884688 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28502] ppid=28493 vsize=26540748 memory=41052 CPUtime=1.12 cores=0-7
/proc/28495/task/28502/stat : 28502 (java) S 28493 28493 27905 0 -1 1077944384 9086 0 0 0 104 8 0 0 20 0 28 0 147359514 27177725952 772543 33554432000 4194304 4196468 140735732251648 140049156832144 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28503] ppid=28493 vsize=26540748 memory=3094800 CPUtime=1.08 cores=0-7
/proc/28495/task/28503/stat : 28503 (java) S 28493 28493 27905 0 -1 1077944384 9301 0 0 0 101 7 0 0 20 0 28 0 147359514 27177725952 772543 33554432000 4194304 4196468 140735732251648 140049155779600 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28504] ppid=28493 vsize=26540748 memory=1384 CPUtime=1.1 cores=0-7
/proc/28495/task/28504/stat : 28504 (java) S 28493 28493 27905 0 -1 1077944384 12068 0 0 0 102 8 0 0 20 0 28 0 147359514 27177725952 772543 33554432000 4194304 4196468 140735732251648 140049154727056 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28505] ppid=28493 vsize=26540748 memory=33 CPUtime=0.52 cores=0-7
/proc/28495/task/28505/stat : 28505 (java) S 28493 28493 27905 0 -1 1077944384 36530 0 0 0 33 19 0 0 20 0 28 0 147359516 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048402954224 140049209485954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28506] ppid=28493 vsize=26540748 memory=3689631397853741889 CPUtime=0 cores=0-7
/proc/28495/task/28506/stat : 28506 (java) S 28493 28493 27905 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 147359516 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048401900512 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28507] ppid=28493 vsize=26540748 memory=3472328296227679313 CPUtime=0 cores=0-7
/proc/28495/task/28507/stat : 28507 (java) S 28493 28493 27905 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 147359516 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048400847872 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28508] ppid=28493 vsize=26540748 memory=7668907062091082581 CPUtime=0 cores=0-7
/proc/28495/task/28508/stat : 28508 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147359519 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048399796432 140049209493403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28509] ppid=28493 vsize=26540748 memory=3092228 CPUtime=3.35 cores=0-7
/proc/28495/task/28509/stat : 28509 (java) S 28493 28493 27905 0 -1 1077944384 26770 0 0 0 331 4 0 0 20 0 28 0 147359519 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048398744048 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28510] ppid=28493 vsize=26540748 memory=1384 CPUtime=3.31 cores=0-7
/proc/28495/task/28510/stat : 28510 (java) S 28493 28493 27905 0 -1 1077944384 16749 0 0 0 327 4 0 0 20 0 28 0 147359519 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048397691504 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28511] ppid=28493 vsize=26540748 memory=1384 CPUtime=3.66 cores=0-7
/proc/28495/task/28511/stat : 28511 (java) S 28493 28493 27905 0 -1 1077944384 25984 0 0 0 361 5 0 0 20 0 28 0 147359519 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048396638960 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28512] ppid=28493 vsize=26540748 memory=3093256 CPUtime=1.14 cores=0-7
/proc/28495/task/28512/stat : 28512 (java) S 28493 28493 27905 0 -1 1077944384 21754 0 0 0 109 5 0 0 20 0 28 0 147359519 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048395586416 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28513] ppid=28493 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/28495/task/28513/stat : 28513 (java) S 28493 28493 27905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147359519 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048394533088 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28514] ppid=28493 vsize=26540748 memory=1384 CPUtime=0.92 cores=0-7
/proc/28495/task/28514/stat : 28514 (java) S 28493 28493 27905 0 -1 1077944384 6169 0 0 0 53 39 0 0 20 0 28 0 147359519 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048393480624 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28774] ppid=28493 vsize=26540748 memory=3093256 CPUtime=197.18 cores=0-7
/proc/28495/task/28774/stat : 28774 (java) R 28493 28493 27905 0 -1 4202560 2064 0 0 0 19717 1 0 0 20 0 28 0 147589904 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048381754280 140048838940352 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28775] ppid=28493 vsize=26540748 memory=1424 CPUtime=196.87 cores=0-7
/proc/28495/task/28775/stat : 28775 (java) R 28493 28493 27905 0 -1 4202560 1834 0 0 0 19686 1 0 0 20 0 28 0 147589904 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048379650184 140048842987846 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28776] ppid=28493 vsize=26540748 memory=1696 CPUtime=197.18 cores=0-7
/proc/28495/task/28776/stat : 28776 (java) R 28493 28493 27905 0 -1 4202560 4294 0 0 0 19717 1 0 0 20 0 28 0 147589904 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048384913624 140048836216811 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28777] ppid=28493 vsize=26540748 memory=920 CPUtime=196.48 cores=0-7
/proc/28495/task/28777/stat : 28777 (java) R 28493 28493 27905 0 -1 4202560 7235 0 0 0 19642 6 0 0 20 0 28 0 147589904 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048385966376 140048842242012 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28778] ppid=28493 vsize=26540748 memory=4424 CPUtime=197.05 cores=0-7
/proc/28495/task/28778/stat : 28778 (java) R 28493 28493 27905 0 -1 4202560 2022 0 0 0 19705 0 0 0 20 0 28 0 147589904 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048383861120 140048843375508 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28779] ppid=28493 vsize=26540748 memory=4104 CPUtime=197.07 cores=0-7
/proc/28495/task/28779/stat : 28779 (java) R 28493 28493 27905 0 -1 4202560 1737 0 0 0 19707 0 0 0 20 0 28 0 147589904 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048382811552 140048838940352 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28780] ppid=28493 vsize=26540748 memory=4140 CPUtime=196.96 cores=0-7
/proc/28495/task/28780/stat : 28780 (java) R 28493 28493 27905 0 -1 4202560 3972 0 0 0 19694 2 0 0 20 0 28 0 147589904 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048380702424 140048844521792 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28781] ppid=28493 vsize=26540748 memory=41052 CPUtime=197.51 cores=0-7
/proc/28495/task/28781/stat : 28781 (java) R 28493 28493 27905 0 -1 4202560 6326 0 0 0 19749 2 0 0 20 0 28 0 147589904 27177725952 772543 33554432000 4194304 4196468 140735732251648 140048378596816 140048842989625 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
Current children cumulated CPU time: 19949.3 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 3091556 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 9.24 8.62 8.26 9/207 28781
/proc/meminfo: memFree=18681292/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28493/stat : 28493 (xcsp3-exec) S 28490 28493 27905 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147359513 9740288 346 33554432000 4194304 5098028 140725501107968 140725501106072 140712432128636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12079104 140725501113444 140725501113655 140725501113655 140725501116395 0
/proc/28493/statm: 2378 346 289 221 0 87 0
[pid=28495] ppid=28493 vsize=26540748 memory=3088628 CPUtime=20090.4 cores=0-7
/proc/28495/stat : 28495 (java) S 28493 28493 27905 0 -1 1077944320 457618 0 0 0 2008568 469 0 0 20 0 28 0 147359513 27177725952 772157 33554432000 4194304 4196468 140735732251648 140735732234192 140049209474807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
/proc/28495/statm: 6635187 772157 3293 1 0 6622421 0
[pid=28495/tid=28496] ppid=28493 vsize=26540748 memory=-3621219715169225006 CPUtime=1.35 cores=0-7
/proc/28495/task/28496/stat : 28496 (java) S 28493 28493 27905 0 -1 1077944384 7775 0 0 0 131 4 0 0 20 0 28 0 147359513 27177725952 772157 33554432000 4194304 4196468 140735732251648 140049213715584 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28497] ppid=28493 vsize=26540748 memory=-8316900901535099443 CPUtime=1.11 cores=0-7
/proc/28495/task/28497/stat : 28497 (java) S 28493 28493 27905 0 -1 1077944384 10257 0 0 0 103 8 0 0 20 0 28 0 147359514 27177725952 772157 33554432000 4194304 4196468 140735732251648 140049162094864 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28498] ppid=28493 vsize=26540748 memory=4872558044660077418 CPUtime=1.15 cores=0-7
/proc/28495/task/28498/stat : 28498 (java) S 28493 28493 27905 0 -1 1077944384 11537 0 0 0 107 8 0 0 20 0 28 0 147359514 27177725952 772157 33554432000 4194304 4196468 140735732251648 140049161042320 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28499] ppid=28493 vsize=26540748 memory=1384 CPUtime=1.12 cores=0-7
/proc/28495/task/28499/stat : 28499 (java) S 28493 28493 27905 0 -1 1077944384 9654 0 0 0 104 8 0 0 20 0 28 0 147359514 27177725952 772157 33554432000 4194304 4196468 140735732251648 140049159989776 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28500] ppid=28493 vsize=26540748 memory=3087096 CPUtime=1.1 cores=0-7
/proc/28495/task/28500/stat : 28500 (java) S 28493 28493 27905 0 -1 1077944384 9528 0 0 0 102 8 0 0 20 0 28 0 147359514 27177725952 772157 33554432000 4194304 4196468 140735732251648 140049158937232 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28501] ppid=28493 vsize=26540748 memory=1232 CPUtime=1.13 cores=0-7
/proc/28495/task/28501/stat : 28501 (java) S 28493 28493 27905 0 -1 1077944384 8374 0 0 0 105 8 0 0 20 0 28 0 147359514 27177725952 772157 33554432000 4194304 4196468 140735732251648 140049157884688 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28502] ppid=28493 vsize=26540748 memory=1792 CPUtime=1.15 cores=0-7
/proc/28495/task/28502/stat : 28502 (java) S 28493 28493 27905 0 -1 1077944384 9428 0 0 0 107 8 0 0 20 0 28 0 147359514 27177725952 772157 33554432000 4194304 4196468 140735732251648 140049156832144 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28503] ppid=28493 vsize=26540748 memory=640 CPUtime=1.11 cores=0-7
/proc/28495/task/28503/stat : 28503 (java) S 28493 28493 27905 0 -1 1077944384 9344 0 0 0 104 7 0 0 20 0 28 0 147359514 27177725952 772157 33554432000 4194304 4196468 140735732251648 140049155779600 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28504] ppid=28493 vsize=26540748 memory=1152 CPUtime=1.13 cores=0-7
/proc/28495/task/28504/stat : 28504 (java) S 28493 28493 27905 0 -1 1077944384 12170 0 0 0 105 8 0 0 20 0 28 0 147359514 27177725952 772157 33554432000 4194304 4196468 140735732251648 140049154727056 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28505] ppid=28493 vsize=26540748 memory=4140 CPUtime=0.54 cores=0-7
/proc/28495/task/28505/stat : 28505 (java) S 28493 28493 27905 0 -1 1077944384 36781 0 0 0 34 20 0 0 20 0 28 0 147359516 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048402954224 140049209485954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28506] ppid=28493 vsize=26540748 memory=41052 CPUtime=0 cores=0-7
/proc/28495/task/28506/stat : 28506 (java) S 28493 28493 27905 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 147359516 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048401900512 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28507] ppid=28493 vsize=26540748 memory=1292 CPUtime=0 cores=0-7
/proc/28495/task/28507/stat : 28507 (java) S 28493 28493 27905 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 147359516 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048400847872 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28508] ppid=28493 vsize=26540748 memory=1384 CPUtime=0 cores=0-7
/proc/28495/task/28508/stat : 28508 (java) S 28493 28493 27905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147359519 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048399796432 140049209493403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28509] ppid=28493 vsize=26540748 memory=3088628 CPUtime=3.35 cores=0-7
/proc/28495/task/28509/stat : 28509 (java) S 28493 28493 27905 0 -1 1077944384 26772 0 0 0 331 4 0 0 20 0 28 0 147359519 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048398744048 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28510] ppid=28493 vsize=26540748 memory=10724 CPUtime=3.31 cores=0-7
/proc/28495/task/28510/stat : 28510 (java) S 28493 28493 27905 0 -1 1077944384 16752 0 0 0 327 4 0 0 20 0 28 0 147359519 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048397691504 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28511] ppid=28493 vsize=26540748 memory=1204 CPUtime=3.66 cores=0-7
/proc/28495/task/28511/stat : 28511 (java) S 28493 28493 27905 0 -1 1077944384 25986 0 0 0 361 5 0 0 20 0 28 0 147359519 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048396638960 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28512] ppid=28493 vsize=26540748 memory=15876 CPUtime=1.14 cores=0-7
/proc/28495/task/28512/stat : 28512 (java) S 28493 28493 27905 0 -1 1077944384 21756 0 0 0 109 5 0 0 20 0 28 0 147359519 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048395586416 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28513] ppid=28493 vsize=26540748 memory=16444 CPUtime=0 cores=0-7
/proc/28495/task/28513/stat : 28513 (java) S 28493 28493 27905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147359519 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048394533088 140049209485013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28514] ppid=28493 vsize=26540748 memory=4052 CPUtime=0.92 cores=0-7
/proc/28495/task/28514/stat : 28514 (java) S 28493 28493 27905 0 -1 1077944384 6192 0 0 0 53 39 0 0 20 0 28 0 147359519 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048393480624 140049209485954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28774] ppid=28493 vsize=26540748 memory=22636 CPUtime=214.82 cores=0-7
/proc/28495/task/28774/stat : 28774 (java) R 28493 28493 27905 0 -1 4202560 2107 0 0 0 21481 1 0 0 20 0 28 0 147589904 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048381754240 140048846305060 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28775] ppid=28493 vsize=26540748 memory=1232 CPUtime=214.53 cores=0-7
/proc/28495/task/28775/stat : 28775 (java) R 28493 28493 27905 0 -1 4202560 1871 0 0 0 21452 1 0 0 20 0 28 0 147589904 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048379653136 140048846298019 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28776] ppid=28493 vsize=26540748 memory=1792 CPUtime=214.83 cores=0-7
/proc/28495/task/28776/stat : 28776 (java) R 28493 28493 27905 0 -1 4202560 4392 0 0 0 21481 2 0 0 20 0 28 0 147589904 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048384913624 140048836219871 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28777] ppid=28493 vsize=26540748 memory=640 CPUtime=213.88 cores=0-7
/proc/28495/task/28777/stat : 28777 (java) R 28493 28493 27905 0 -1 4202560 7401 0 0 0 21382 6 0 0 20 0 28 0 147589904 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048385966648 140048842241892 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28778] ppid=28493 vsize=26540748 memory=1228 CPUtime=214.61 cores=0-7
/proc/28495/task/28778/stat : 28778 (java) R 28493 28493 27905 0 -1 4202560 2098 0 0 0 21461 0 0 0 20 0 28 0 147589904 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048383860944 140048842987855 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28779] ppid=28493 vsize=26540748 memory=5428 CPUtime=214.73 cores=0-7
/proc/28495/task/28779/stat : 28779 (java) R 28493 28493 27905 0 -1 4202560 1775 0 0 0 21473 0 0 0 20 0 28 0 147589904 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048382808576 140048837651132 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28780] ppid=28493 vsize=26540748 memory=4624 CPUtime=214.6 cores=0-7
/proc/28495/task/28780/stat : 28780 (java) R 28493 28493 27905 0 -1 4202560 4078 0 0 0 21458 2 0 0 20 0 28 0 147589904 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048380702288 140048836216811 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
[pid=28495/tid=28781] ppid=28493 vsize=26540748 memory=956 CPUtime=215.16 cores=0-7
/proc/28495/task/28781/stat : 28781 (java) R 28493 28493 27905 0 -1 4202560 6474 0 0 0 21514 2 0 0 20 0 28 0 147589904 27177725952 772157 33554432000 4194304 4196468 140735732251648 140048378596896 140048844654030 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39473152 140735732257938 140735732258115 140735732258115 140735732260815 0
Current children cumulated CPU time: 20090.4 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 3090012 KiB

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

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

[startup+2520.14 s]
# the end of solver process 28495 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20086.6 s, system=4.70525 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): 2520.14
CPU time (s): 20091.3
CPU user time (s): 20086.6
CPU system time (s): 4.70525
CPU usage (%): 797.23
Max. virtual memory (cumulated for all children) (KiB): 26550260
Max. memory (cumulated for all children) (KiB): 3431784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20086.6
system time used= 4.70525
maximum resident set size= 3433548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90573
involuntary context switches= 204125


# summary of solver processes directly reported to runsolver:
#   pid: 28493,28495
#   total CPU time (s): 20091.3
#   total CPU user time (s): 20086.6
#   total CPU system time (s): 4.70525

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.4748 second user time and 24.9359 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 4280426

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