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 5a (2017-07-26)	SAT (TO)	269	2520.0601	2448.02

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272086-1502790062.xml"  -tl '2520s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4272086-1502790062.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
1.64/0.78	c solve instance...
2.22/0.94	o 629 
2.91/1.13	o 589 
4.13/1.52	o 573 
11.13/4.50	o 557 
11.79/4.94	o 533 
12.59/5.52	o 517 
13.39/6.16	o 485 
13.59/6.34	o 445 
14.26/6.91	o 421 
14.80/7.33	o 333 
22.14/13.40	o 285 
156.66/145.59	o 269 
2520.03/2448.01	s SATISFIABLE
2520.03/2448.01	v <instantiation>
2520.03/2448.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.03/2448.01	v 	<values>1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 0 5 2 5 2 -3 -2 5 0 3 4 1 0 1 4 1 -6 -1 -2 -1 -4 -1 0 1 -2 1 2 1 -2 -1 -2 1 0 -3 4 1 -4 1 2 -1 1 0 25 4 25 4 9 4 25 0 9 16 1 0 1 16 1 36 1 4 1 16 1 0 1 4 1 4 1 4 1 4 1 0 9 16 1 16 1 4 1 </values>
2520.03/2448.01	v </instantiation>
2520.03/2448.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 (15265 MiB free)
  memory of node 1: 16384 MiB (15286 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272086-1502790062/watcher-4272086-1502790062 -o /tmp/evaluation-result-4272086-1502790062/solver-4272086-1502790062 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502786318-30226 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2022774630 HOME/instance-4272086-1502790062.xml 

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

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

solver pid=32605, runsolver pid=32602

[startup+0.100173 s]*
/proc/loadavg: 2.93 2.38 2.54 5/217 32621
/proc/meminfo: memFree=31258252/32770624 swapFree=67108860/67108860
[pid=32605] ppid=32602 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32605/stat : 32605 (xcsp3-exec) S 32602 32605 30195 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112094440 9740288 345 33554432000 4194304 5098028 140720375286736 140720375284840 139907993674364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25735168 140720375288942 140720375289147 140720375289147 140720375291883 0
/proc/32605/statm: 2378 345 289 221 0 87 0
[pid=32607] ppid=32605 vsize=13978596 memory=28828 CPUtime=0.12 cores=0,2,4,6
/proc/32607/stat : 32607 (java) S 32605 32605 30195 0 -1 1077944320 5507 0 0 0 11 1 0 0 20 0 15 0 112094440 14314082304 7207 33554432000 4194304 4196468 140722420657216 140722420639760 140272568180471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
/proc/32607/statm: 3494649 7207 2896 1 0 3482966 0
[pid=32607/tid=32608] ppid=32605 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/32607/task/32608/stat : 32608 (java) R 32605 32605 30195 0 -1 4202560 3445 0 0 0 8 1 0 0 20 0 15 0 112094440 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272572412720 140272546625262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32609] ppid=32605 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32609/stat : 32609 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094441 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272498268432 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32610] ppid=32605 vsize=13978596 memory=140121192961664 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32610/stat : 32610 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094441 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272497215888 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32611] ppid=32605 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32611/stat : 32611 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094441 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272496163344 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32612] ppid=32605 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32612/stat : 32612 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094441 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272495110800 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32613] ppid=32605 vsize=13978596 memory=140121192961664 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32613/stat : 32613 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094443 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272042318320 140272568191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32614] ppid=32605 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32614/stat : 32614 (java) S 32605 32605 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112094443 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272041264544 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32615] ppid=32605 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32615/stat : 32615 (java) S 32605 32605 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112094443 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272040211952 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32616] ppid=32605 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32616/stat : 32616 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272039160528 140272568199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32617] ppid=32605 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32617/stat : 32617 (java) S 32605 32605 30195 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 112094446 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272038107120 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32618] ppid=32605 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32618/stat : 32618 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272037054576 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32619] ppid=32605 vsize=13978596 memory=140121192961664 CPUtime=0.01 cores=0,2,4,6
/proc/32607/task/32619/stat : 32619 (java) R 32605 32605 30195 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 112094446 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272036002032 140272546809559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32620] ppid=32605 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32620/stat : 32620 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272034949728 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32621] ppid=32605 vsize=13978596 memory=140121192961664 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32621/stat : 32621 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094446 14314082304 7207 33554432000 4194304 4196468 140722420657216 140272033897264 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30208 KiB

[startup+0.210724 s]*
/proc/loadavg: 2.93 2.38 2.54 6/217 32621
/proc/meminfo: memFree=31238220/32770624 swapFree=67108860/67108860
[pid=32605] ppid=32602 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32605/stat : 32605 (xcsp3-exec) S 32602 32605 30195 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112094440 9740288 345 33554432000 4194304 5098028 140720375286736 140720375284840 139907993674364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25735168 140720375288942 140720375289147 140720375289147 140720375291883 0
/proc/32605/statm: 2378 345 289 221 0 87 0
[pid=32607] ppid=32605 vsize=13982852 memory=40364 CPUtime=0.34 cores=0,2,4,6
/proc/32607/stat : 32607 (java) S 32605 32605 30195 0 -1 1077944320 8169 0 0 0 32 2 0 0 20 0 15 0 112094440 14318440448 10091 33554432000 4194304 4196468 140722420657216 140722420639760 140272568180471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
/proc/32607/statm: 3495713 10091 3064 1 0 3482966 0
[pid=32607/tid=32608] ppid=32605 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/32607/task/32608/stat : 32608 (java) R 32605 32605 30195 0 -1 4202560 5288 0 0 0 19 1 0 0 20 0 15 0 112094440 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272572403280 140272568202397 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32609] ppid=32605 vsize=13982852 memory=8959 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32609/stat : 32609 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094441 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272498268432 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32610] ppid=32605 vsize=13982852 memory=140121193465311 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32610/stat : 32610 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094441 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272497215888 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32611] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32611/stat : 32611 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094441 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272496163344 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32612] ppid=32605 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32612/stat : 32612 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094441 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272495110800 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32613] ppid=32605 vsize=13982852 memory=140121192961664 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32613/stat : 32613 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094443 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272042318320 140272568191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32614] ppid=32605 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32614/stat : 32614 (java) S 32605 32605 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112094443 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272041264544 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32615] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32615/stat : 32615 (java) S 32605 32605 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112094443 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272040211952 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32616] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32616/stat : 32616 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272039160528 140272568199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32617] ppid=32605 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32607/task/32617/stat : 32617 (java) S 32605 32605 30195 0 -1 1077944384 698 0 0 0 2 0 0 0 20 0 15 0 112094446 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272038107120 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32618] ppid=32605 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32607/task/32618/stat : 32618 (java) S 32605 32605 30195 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 112094446 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272037054576 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32619] ppid=32605 vsize=13982852 memory=140121192961664 CPUtime=0.08 cores=0,2,4,6
/proc/32607/task/32619/stat : 32619 (java) S 32605 32605 30195 0 -1 1077944384 719 0 0 0 8 0 0 0 20 0 15 0 112094446 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272036002032 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32620] ppid=32605 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32620/stat : 32620 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272034949728 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32621] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32621/stat : 32621 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094446 14318440448 10091 33554432000 4194304 4196468 140722420657216 140272033897264 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41744 KiB

[startup+0.310377 s]*
/proc/loadavg: 2.93 2.38 2.54 6/217 32621
/proc/meminfo: memFree=31227424/32770624 swapFree=67108860/67108860
[pid=32605] ppid=32602 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32605/stat : 32605 (xcsp3-exec) S 32602 32605 30195 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112094440 9740288 345 33554432000 4194304 5098028 140720375286736 140720375284840 139907993674364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25735168 140720375288942 140720375289147 140720375289147 140720375291883 0
/proc/32605/statm: 2378 345 289 221 0 87 0
[pid=32607] ppid=32605 vsize=13982852 memory=47308 CPUtime=0.52 cores=0,2,4,6
/proc/32607/stat : 32607 (java) S 32605 32605 30195 0 -1 1077944320 9025 0 0 0 50 2 0 0 20 0 15 0 112094440 14318440448 11827 33554432000 4194304 4196468 140722420657216 140722420639760 140272568180471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
/proc/32607/statm: 3495713 11827 3100 1 0 3482966 0
[pid=32607/tid=32608] ppid=32605 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/32607/task/32608/stat : 32608 (java) R 32605 32605 30195 0 -1 4202560 5937 0 0 0 28 2 0 0 20 0 15 0 112094440 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272572419280 140272174374773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32609] ppid=32605 vsize=13982852 memory=9302 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32609/stat : 32609 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094441 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272498268432 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32610] ppid=32605 vsize=13982852 memory=530681 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32610/stat : 32610 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094441 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272497215888 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32611] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32611/stat : 32611 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094441 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272496163344 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32612] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32612/stat : 32612 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094441 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272495110800 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32613] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32613/stat : 32613 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094443 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272042318320 140272568191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32614] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32614/stat : 32614 (java) S 32605 32605 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112094443 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272041264544 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32615] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32615/stat : 32615 (java) S 32605 32605 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112094443 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272040211952 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32616] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32616/stat : 32616 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272039160528 140272568199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32617] ppid=32605 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32607/task/32617/stat : 32617 (java) R 32605 32605 30195 0 -1 1077944384 764 0 0 0 4 0 0 0 20 0 15 0 112094446 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272038107216 140272568190677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32618] ppid=32605 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32607/task/32618/stat : 32618 (java) R 32605 32605 30195 0 -1 4202560 179 0 0 0 3 0 0 0 20 0 15 0 112094446 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272037041424 140272551663960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32619] ppid=32605 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/32607/task/32619/stat : 32619 (java) R 32605 32605 30195 0 -1 4202560 839 0 0 0 13 0 0 0 20 0 15 0 112094446 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272035997792 140272547099240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32620] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32620/stat : 32620 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272034949728 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32621] ppid=32605 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32621/stat : 32621 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094446 14318440448 11827 33554432000 4194304 4196468 140722420657216 140272033897264 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48688 KiB

[startup+0.700769 s]
/proc/loadavg: 2.93 2.38 2.54 6/217 32621
/proc/meminfo: memFree=31199564/32770624 swapFree=67108860/67108860
[pid=32605] ppid=32602 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32605/stat : 32605 (xcsp3-exec) S 32602 32605 30195 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112094440 9740288 345 33554432000 4194304 5098028 140720375286736 140720375284840 139907993674364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25735168 140720375288942 140720375289147 140720375289147 140720375291883 0
/proc/32605/statm: 2378 345 289 221 0 87 0
[pid=32607] ppid=32605 vsize=13984976 memory=87528 CPUtime=1.64 cores=0,2,4,6
/proc/32607/stat : 32607 (java) S 32605 32605 30195 0 -1 1077944320 12490 0 0 0 159 5 0 0 20 0 15 0 112094440 14320615424 21882 33554432000 4194304 4196468 140722420657216 140722420639760 140272568180471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
/proc/32607/statm: 3496244 21882 3213 1 0 3483478 0
[pid=32607/tid=32608] ppid=32605 vsize=13984976 memory=18488 CPUtime=0.67 cores=0,2,4,6
/proc/32607/task/32608/stat : 32608 (java) R 32605 32605 30195 0 -1 4202560 6690 0 0 0 64 3 0 0 20 0 15 0 112094440 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272572415152 140272177255446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32609] ppid=32605 vsize=13984976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32609/stat : 32609 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094441 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272498268432 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32610] ppid=32605 vsize=13984976 memory=648 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32610/stat : 32610 (java) S 32605 32605 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112094441 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272497215888 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32611] ppid=32605 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32611/stat : 32611 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094441 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272496163344 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32612] ppid=32605 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32612/stat : 32612 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094441 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272495110800 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32613] ppid=32605 vsize=13984976 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32613/stat : 32613 (java) S 32605 32605 30195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112094443 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272042318320 140272568191618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32614] ppid=32605 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32614/stat : 32614 (java) S 32605 32605 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112094443 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272041264544 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32615] ppid=32605 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32615/stat : 32615 (java) S 32605 32605 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112094443 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272040211952 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32616] ppid=32605 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32616/stat : 32616 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272039160528 140272568199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32617] ppid=32605 vsize=13984976 memory=4316 CPUtime=0.25 cores=0,2,4,6
/proc/32607/task/32617/stat : 32617 (java) R 32605 32605 30195 0 -1 4202560 1553 0 0 0 24 1 0 0 20 0 15 0 112094446 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272038107120 140272551674675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32618] ppid=32605 vsize=13984976 memory=2196 CPUtime=0.26 cores=0,2,4,6
/proc/32607/task/32618/stat : 32618 (java) R 32605 32605 30195 0 -1 4202560 974 0 0 0 26 0 0 0 20 0 15 0 112094446 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272037043136 140272568187868 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32619] ppid=32605 vsize=13984976 memory=6760 CPUtime=0.43 cores=0,2,4,6
/proc/32607/task/32619/stat : 32619 (java) R 32605 32605 30195 0 -1 1077944384 1964 0 0 0 43 0 0 0 20 0 15 0 112094446 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272036002032 140272568191618 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32620] ppid=32605 vsize=13984976 memory=832 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32620/stat : 32620 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272034949728 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32621] ppid=32605 vsize=13984976 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32621/stat : 32621 (java) S 32605 32605 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112094446 14320615424 21882 33554432000 4194304 4196468 140722420657216 140272033897264 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 88908 KiB

[startup+1.50116 s]
/proc/loadavg: 2.93 2.38 2.54 7/217 32621
/proc/meminfo: memFree=31137020/32770624 swapFree=67108860/67108860
[pid=32605] ppid=32602 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32605/stat : 32605 (xcsp3-exec) S 32602 32605 30195 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112094440 9740288 345 33554432000 4194304 5098028 140720375286736 140720375284840 139907993674364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25735168 140720375288942 140720375289147 140720375289147 140720375291883 0
/proc/32605/statm: 2378 345 289 221 0 87 0

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

/proc/32607/task/32615/stat : 32615 (java) S 32605 32605 30195 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 112094443 14322712576 168140 33554432000 4194304 4196468 140722420657216 140272040211968 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32616] ppid=32605 vsize=13987024 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32616/stat : 32616 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14322712576 168140 33554432000 4194304 4196468 140722420657216 140272039160528 140272568199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32617] ppid=32605 vsize=13987024 memory=647804 CPUtime=4.3 cores=0,2,4,6
/proc/32607/task/32617/stat : 32617 (java) S 32605 32605 30195 0 -1 1077944384 25322 0 0 0 427 3 0 0 20 0 15 0 112094446 14322712576 168140 33554432000 4194304 4196468 140722420657216 140272038107120 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32618] ppid=32605 vsize=13987024 memory=4136 CPUtime=5.12 cores=0,2,4,6
/proc/32607/task/32618/stat : 32618 (java) S 32605 32605 30195 0 -1 1077944384 28548 0 0 0 509 3 0 0 20 0 15 0 112094446 14322712576 168140 33554432000 4194304 4196468 140722420657216 140272037054576 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32619] ppid=32605 vsize=13987024 memory=1380 CPUtime=0.99 cores=0,2,4,6
/proc/32607/task/32619/stat : 32619 (java) S 32605 32605 30195 0 -1 1077944384 10117 0 0 0 97 2 0 0 20 0 15 0 112094446 14322712576 168140 33554432000 4194304 4196468 140722420657216 140272036002032 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32620] ppid=32605 vsize=13987024 memory=672560 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32620/stat : 32620 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14322712576 168140 33554432000 4194304 4196468 140722420657216 140272034949728 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32621] ppid=32605 vsize=13987024 memory=1380 CPUtime=1.01 cores=0,2,4,6
/proc/32607/task/32621/stat : 32621 (java) S 32605 32605 30195 0 -1 1077944384 1165 0 0 0 50 51 0 0 20 0 15 0 112094446 14322712576 168140 33554432000 4194304 4196468 140722420657216 140272033897264 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
Current children cumulated CPU time: 2390.81 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 673940 KiB

[startup+2382.3 s]
/proc/loadavg: 1.97 1.90 1.95 3/217 329
/proc/meminfo: memFree=26370600/32770624 swapFree=67108860/67108860
[pid=32605] ppid=32602 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32605/stat : 32605 (xcsp3-exec) S 32602 32605 30195 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112094440 9740288 345 33554432000 4194304 5098028 140720375286736 140720375284840 139907993674364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25735168 140720375288942 140720375289147 140720375289147 140720375291883 0
/proc/32605/statm: 2378 345 289 221 0 87 0
[pid=32607] ppid=32605 vsize=13987024 memory=686668 CPUtime=2452.41 cores=0,2,4,6
/proc/32607/stat : 32607 (java) S 32605 32605 30195 0 -1 1077944320 227853 0 0 0 245007 234 0 0 20 0 15 0 112094440 14322712576 171667 33554432000 4194304 4196468 140722420657216 140722420639760 140272568180471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
/proc/32607/statm: 3496756 171667 3284 1 0 3483990 0
[pid=32607/tid=32608] ppid=32605 vsize=13987024 memory=242456 CPUtime=2361.34 cores=0,2,4,6
/proc/32607/task/32608/stat : 32608 (java) R 32605 32605 30195 0 -1 4202560 52448 0 0 0 236123 11 0 0 20 0 15 0 112094440 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272572419952 140272178911910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32609] ppid=32605 vsize=13987024 memory=709744 CPUtime=19.67 cores=0,2,4,6
/proc/32607/task/32609/stat : 32609 (java) S 32605 32605 30195 0 -1 1077944384 18853 0 0 0 1927 40 0 0 20 0 15 0 112094441 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272498268432 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32610] ppid=32605 vsize=13987024 memory=704104 CPUtime=19.66 cores=0,2,4,6
/proc/32607/task/32610/stat : 32610 (java) S 32605 32605 30195 0 -1 1077944384 20157 0 0 0 1925 41 0 0 20 0 15 0 112094441 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272497215888 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32611] ppid=32605 vsize=13987024 memory=1380 CPUtime=19.62 cores=0,2,4,6
/proc/32607/task/32611/stat : 32611 (java) S 32605 32605 30195 0 -1 1077944384 21033 0 0 0 1922 40 0 0 20 0 15 0 112094441 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272496163344 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32612] ppid=32605 vsize=13987024 memory=686668 CPUtime=19.64 cores=0,2,4,6
/proc/32607/task/32612/stat : 32612 (java) S 32605 32605 30195 0 -1 1077944384 18659 0 0 0 1925 39 0 0 20 0 15 0 112094441 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272495110800 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32613] ppid=32605 vsize=13987024 memory=686668 CPUtime=0.89 cores=0,2,4,6
/proc/32607/task/32613/stat : 32613 (java) S 32605 32605 30195 0 -1 1077944384 30060 0 0 0 78 11 0 0 20 0 15 0 112094443 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272042318320 140272568191618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32614] ppid=32605 vsize=13987024 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32614/stat : 32614 (java) S 32605 32605 30195 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 112094443 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272041264608 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32615] ppid=32605 vsize=13987024 memory=2305 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32615/stat : 32615 (java) S 32605 32605 30195 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 112094443 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272040211968 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32616] ppid=32605 vsize=13987024 memory=686668 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32616/stat : 32616 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272039160528 140272568199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32617] ppid=32605 vsize=13987024 memory=686668 CPUtime=4.33 cores=0,2,4,6
/proc/32607/task/32617/stat : 32617 (java) S 32605 32605 30195 0 -1 1077944384 25358 0 0 0 430 3 0 0 20 0 15 0 112094446 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272038107120 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32618] ppid=32605 vsize=13987024 memory=1380 CPUtime=5.12 cores=0,2,4,6
/proc/32607/task/32618/stat : 32618 (java) S 32605 32605 30195 0 -1 1077944384 28602 0 0 0 509 3 0 0 20 0 15 0 112094446 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272037054576 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32619] ppid=32605 vsize=13987024 memory=1380 CPUtime=0.99 cores=0,2,4,6
/proc/32607/task/32619/stat : 32619 (java) S 32605 32605 30195 0 -1 1077944384 10146 0 0 0 97 2 0 0 20 0 15 0 112094446 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272036002032 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32620] ppid=32605 vsize=13987024 memory=686668 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32620/stat : 32620 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272034949728 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32621] ppid=32605 vsize=13987024 memory=1380 CPUtime=1.04 cores=0,2,4,6
/proc/32607/task/32621/stat : 32621 (java) S 32605 32605 30195 0 -1 1077944384 1180 0 0 0 52 52 0 0 20 0 15 0 112094446 14322712576 171667 33554432000 4194304 4196468 140722420657216 140272033897264 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
Current children cumulated CPU time: 2452.41 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 688048 KiB

[startup+2442.3 s]
/proc/loadavg: 1.83 1.87 1.94 3/217 330
/proc/meminfo: memFree=26366864/32770624 swapFree=67108860/67108860
[pid=32605] ppid=32602 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32605/stat : 32605 (xcsp3-exec) S 32602 32605 30195 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112094440 9740288 345 33554432000 4194304 5098028 140720375286736 140720375284840 139907993674364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25735168 140720375288942 140720375289147 140720375289147 140720375291883 0
/proc/32605/statm: 2378 345 289 221 0 87 0
[pid=32607] ppid=32605 vsize=13987024 memory=689248 CPUtime=2514.32 cores=0,2,4,6
/proc/32607/stat : 32607 (java) S 32605 32605 30195 0 -1 1077944320 230993 0 0 0 251191 241 0 0 20 0 15 0 112094440 14322712576 172312 33554432000 4194304 4196468 140722420657216 140722420639760 140272568180471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
/proc/32607/statm: 3496756 172312 3284 1 0 3483990 0
[pid=32607/tid=32608] ppid=32605 vsize=13987024 memory=689244 CPUtime=2420.7 cores=0,2,4,6
/proc/32607/task/32608/stat : 32608 (java) R 32605 32605 30195 0 -1 4202560 53476 0 0 0 242059 11 0 0 20 0 15 0 112094440 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272572420112 140272178974512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32609] ppid=32605 vsize=13987024 memory=654412 CPUtime=20.28 cores=0,2,4,6
/proc/32607/task/32609/stat : 32609 (java) S 32605 32605 30195 0 -1 1077944384 19163 0 0 0 1987 41 0 0 20 0 15 0 112094441 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272498268432 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32610] ppid=32605 vsize=13987024 memory=677948 CPUtime=20.28 cores=0,2,4,6
/proc/32607/task/32610/stat : 32610 (java) S 32605 32605 30195 0 -1 1077944384 20578 0 0 0 1985 43 0 0 20 0 15 0 112094441 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272497215888 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32611] ppid=32605 vsize=13987024 memory=1380 CPUtime=20.23 cores=0,2,4,6
/proc/32607/task/32611/stat : 32611 (java) S 32605 32605 30195 0 -1 1077944384 21692 0 0 0 1982 41 0 0 20 0 15 0 112094441 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272496163344 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32612] ppid=32605 vsize=13987024 memory=660528 CPUtime=20.26 cores=0,2,4,6
/proc/32607/task/32612/stat : 32612 (java) S 32605 32605 30195 0 -1 1077944384 19037 0 0 0 1985 41 0 0 20 0 15 0 112094441 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272495110800 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32613] ppid=32605 vsize=13987024 memory=689244 CPUtime=0.9 cores=0,2,4,6
/proc/32607/task/32613/stat : 32613 (java) S 32605 32605 30195 0 -1 1077944384 30355 0 0 0 79 11 0 0 20 0 15 0 112094443 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272042318320 140272568191618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32614] ppid=32605 vsize=13987024 memory=689244 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32614/stat : 32614 (java) S 32605 32605 30195 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 112094443 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272041264608 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32615] ppid=32605 vsize=13987024 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32615/stat : 32615 (java) S 32605 32605 30195 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 112094443 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272040211968 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32616] ppid=32605 vsize=13987024 memory=689248 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32616/stat : 32616 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272039160528 140272568199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32617] ppid=32605 vsize=13987024 memory=689248 CPUtime=4.35 cores=0,2,4,6
/proc/32607/task/32617/stat : 32617 (java) S 32605 32605 30195 0 -1 1077944384 25379 0 0 0 432 3 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272038107120 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32618] ppid=32605 vsize=13987024 memory=1380 CPUtime=5.14 cores=0,2,4,6
/proc/32607/task/32618/stat : 32618 (java) S 32605 32605 30195 0 -1 1077944384 28609 0 0 0 511 3 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272037054576 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32619] ppid=32605 vsize=13987024 memory=1380 CPUtime=0.99 cores=0,2,4,6
/proc/32607/task/32619/stat : 32619 (java) S 32605 32605 30195 0 -1 1077944384 10148 0 0 0 97 2 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272036002032 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32620] ppid=32605 vsize=13987024 memory=689248 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32620/stat : 32620 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272034949728 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32621] ppid=32605 vsize=13987024 memory=1380 CPUtime=1.07 cores=0,2,4,6
/proc/32607/task/32621/stat : 32621 (java) S 32605 32605 30195 0 -1 1077944384 1199 0 0 0 53 54 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272033897264 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
Current children cumulated CPU time: 2514.32 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 690628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2448 s]*
/proc/loadavg: 1.84 1.87 1.94 3/217 330
/proc/meminfo: memFree=26366856/32770624 swapFree=67108860/67108860
[pid=32605] ppid=32602 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32605/stat : 32605 (xcsp3-exec) S 32602 32605 30195 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112094440 9740288 345 33554432000 4194304 5098028 140720375286736 140720375284840 139907993674364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25735168 140720375288942 140720375289147 140720375289147 140720375291883 0
/proc/32605/statm: 2378 345 289 221 0 87 0
[pid=32607] ppid=32605 vsize=13987024 memory=689248 CPUtime=2520.03 cores=0,2,4,6
/proc/32607/stat : 32607 (java) S 32605 32605 30195 0 -1 1077944320 230993 0 0 0 251762 241 0 0 20 0 15 0 112094440 14322712576 172312 33554432000 4194304 4196468 140722420657216 140722420639760 140272568180471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
/proc/32607/statm: 3496756 172312 3284 1 0 3483990 0
[pid=32607/tid=32608] ppid=32605 vsize=13987024 memory=1398720917958146503 CPUtime=2426.41 cores=0,2,4,6
/proc/32607/task/32608/stat : 32608 (java) R 32605 32605 30195 0 -1 4202560 53476 0 0 0 242630 11 0 0 20 0 15 0 112094440 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272572420112 140272178911910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32609] ppid=32605 vsize=13987024 memory=4126316290023845779 CPUtime=20.28 cores=0,2,4,6
/proc/32607/task/32609/stat : 32609 (java) S 32605 32605 30195 0 -1 1077944384 19163 0 0 0 1987 41 0 0 20 0 15 0 112094441 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272498268432 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32610] ppid=32605 vsize=13987024 memory=1296 CPUtime=20.28 cores=0,2,4,6
/proc/32607/task/32610/stat : 32610 (java) S 32605 32605 30195 0 -1 1077944384 20578 0 0 0 1985 43 0 0 20 0 15 0 112094441 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272497215888 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32611] ppid=32605 vsize=13987024 memory=2404 CPUtime=20.23 cores=0,2,4,6
/proc/32607/task/32611/stat : 32611 (java) S 32605 32605 30195 0 -1 1077944384 21692 0 0 0 1982 41 0 0 20 0 15 0 112094441 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272496163344 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32612] ppid=32605 vsize=13987024 memory=1732 CPUtime=20.26 cores=0,2,4,6
/proc/32607/task/32612/stat : 32612 (java) S 32605 32605 30195 0 -1 1077944384 19037 0 0 0 1985 41 0 0 20 0 15 0 112094441 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272495110800 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32613] ppid=32605 vsize=13987024 memory=4136 CPUtime=0.9 cores=0,2,4,6
/proc/32607/task/32613/stat : 32613 (java) S 32605 32605 30195 0 -1 1077944384 30355 0 0 0 79 11 0 0 20 0 15 0 112094443 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272042318320 140272568191618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32614] ppid=32605 vsize=13987024 memory=31948 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32614/stat : 32614 (java) S 32605 32605 30195 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 112094443 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272041264608 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32615] ppid=32605 vsize=13987024 memory=31948 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32615/stat : 32615 (java) S 32605 32605 30195 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 112094443 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272040211968 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32616] ppid=32605 vsize=13987024 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32616/stat : 32616 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272039160528 140272568199067 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32617] ppid=32605 vsize=13987024 memory=2404 CPUtime=4.35 cores=0,2,4,6
/proc/32607/task/32617/stat : 32617 (java) S 32605 32605 30195 0 -1 1077944384 25379 0 0 0 432 3 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272038107120 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32618] ppid=32605 vsize=13987024 memory=1732 CPUtime=5.14 cores=0,2,4,6
/proc/32607/task/32618/stat : 32618 (java) S 32605 32605 30195 0 -1 1077944384 28609 0 0 0 511 3 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272037054576 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32619] ppid=32605 vsize=13987024 memory=796 CPUtime=0.99 cores=0,2,4,6
/proc/32607/task/32619/stat : 32619 (java) S 32605 32605 30195 0 -1 1077944384 10148 0 0 0 97 2 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272036002032 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32620] ppid=32605 vsize=13987024 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/32607/task/32620/stat : 32620 (java) S 32605 32605 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272034949728 140272568190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
[pid=32607/tid=32621] ppid=32605 vsize=13987024 memory=1940 CPUtime=1.08 cores=0,2,4,6
/proc/32607/task/32621/stat : 32621 (java) S 32605 32605 30195 0 -1 1077944384 1199 0 0 0 54 54 0 0 20 0 15 0 112094446 14322712576 172312 33554432000 4194304 4196468 140722420657216 140272033897264 140272568191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31752192 140722420659351 140722420659527 140722420659527 140722420662223 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 690628 KiB

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

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

[startup+2448.02 s]
# the end of solver process 32607 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.64 s, system=2.42161 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): 2448.02
CPU time (s): 2520.06
CPU user time (s): 2517.64
CPU system time (s): 2.42161
CPU usage (%): 102.943
Max. virtual memory (cumulated for all children) (KiB): 13996764
Max. memory (cumulated for all children) (KiB): 711128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.64
system time used= 2.42161
maximum resident set size= 709748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67939
involuntary context switches= 4089


# summary of solver processes directly reported to runsolver:
#   pid: 32605,32607
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2517.64
#   total CPU system time (s): 2.42161

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5142 second user time and 24.4732 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 4272086

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