2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-07-26)	SAT (TO)	253	1920.35	242.041

0.00/0.06	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254584-1501687261.xml"  -tl '1920s' -p 8 -x 0
0.00/0.25	c [HOME/instance-4254584-1501687261.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.30	c 8 solvers in parallel
0.00/0.37	c parse instance...
4.39/1.48	c solve instance...
5.56/1.68	o 23821 
5.56/1.69	o 20541 
6.32/1.70	o 20389 
6.32/1.71	o 17733 
6.32/1.75	o 17581 
6.32/1.75	o 17437 
6.32/1.76	o 15365 
6.32/1.77	o 15197 
6.32/1.78	o 15053 
6.32/1.78	o 14933 
6.84/1.82	o 13405 
6.84/1.83	o 13221 
6.84/1.84	o 13077 
7.37/1.90	o 1021 
7.37/1.94	o 957 
7.37/1.94	o 845 
7.37/1.95	o 629 
7.37/1.96	o 589 
8.77/2.19	o 573 
12.38/2.66	o 565 
14.44/2.99	o 421 
14.74/3.00	o 333 
14.74/3.10	o 277 
203.16/26.81	o 269 
1232.63/155.87	o 253 
1920.35/242.08	s SATISFIABLE
1920.35/242.08	v <instantiation>
1920.35/242.08	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>
1920.35/242.08	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 3 -6 -5 2 1 0 1 -2 3 2 3 0 -1 2 3 -2 1 -2 3 0 1 0 -1 0 3 6 -1 0 -5 -4 1 2 1 4 -1 0 -1 2 -1 1 0 9 36 25 4 1 0 1 4 9 4 9 0 1 4 9 4 1 4 9 0 1 0 1 0 9 36 1 0 25 16 1 4 1 16 1 0 1 4 1 </values>
1920.35/242.08	v </instantiation>
1920.35/242.08	c Unexpected resolution interruption!

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254584-1501687261/watcher-4254584-1501687261 -o /tmp/evaluation-result-4254584-1501687261/solver-4254584-1501687261 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1115693661 HOME/instance-4254584-1501687261.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 7.19 8.05 7.46 2/172 21118
/proc/meminfo: memFree=31742748/32770624 swapFree=0/272736
[pid=21118] ppid=21115 vsize=23672 CPUtime=0 cores=0-7
/proc/21118/stat : 21118 (runsolver) D 21115 21118 31142 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 17349168 24240128 108 18446744073709551615 4194304 4338465 140735354712256 140735354709896 140082535224023 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 10469376 140735354716242 140735354716739 140735354716739 140735354720202 0
/proc/21118/statm: 5918 108 54 36 0 2156 0

[startup+0.100152 s]
/proc/loadavg: 7.19 8.05 7.46 2/172 21118
/proc/meminfo: memFree=31742748/32770624 swapFree=0/272736
[pid=21118] ppid=21115 vsize=9512 CPUtime=0 cores=0-7
/proc/21118/stat : 21118 (xcsp3-exec) S 21115 21118 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17349168 9740288 345 18446744073709551615 4194304 5098028 140724555049216 140724555047320 140193695834748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 14729216 140724555051410 140724555051620 140724555051620 140724555055083 0
/proc/21118/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200297 s]
/proc/loadavg: 7.19 8.05 7.46 2/172 21118
/proc/meminfo: memFree=31742748/32770624 swapFree=0/272736
[pid=21118] ppid=21115 vsize=9512 CPUtime=0 cores=0-7
/proc/21118/stat : 21118 (xcsp3-exec) S 21115 21118 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17349168 9740288 345 18446744073709551615 4194304 5098028 140724555049216 140724555047320 140193695834748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 14729216 140724555051410 140724555051620 140724555051620 140724555055083 0
/proc/21118/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.30257 s]
/proc/loadavg: 7.19 8.05 7.46 2/172 21118
/proc/meminfo: memFree=31742748/32770624 swapFree=0/272736
[pid=21118] ppid=21115 vsize=9512 CPUtime=0 cores=0-7
/proc/21118/stat : 21118 (xcsp3-exec) S 21115 21118 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17349168 9740288 345 18446744073709551615 4194304 5098028 140724555049216 140724555047320 140193695834748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 14729216 140724555051410 140724555051620 140724555051620 140724555055083 0
/proc/21118/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700244 s]
/proc/loadavg: 7.19 8.05 7.46 2/172 21118
/proc/meminfo: memFree=31742748/32770624 swapFree=0/272736
[pid=21118] ppid=21115 vsize=9512 CPUtime=0 cores=0-7
/proc/21118/stat : 21118 (xcsp3-exec) S 21115 21118 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17349168 9740288 345 18446744073709551615 4194304 5098028 140724555049216 140724555047320 140193695834748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 14729216 140724555051410 140724555051620 140724555051620 140724555055083 0
/proc/21118/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50088 s]
/proc/loadavg: 7.19 8.05 7.46 9/193 21139
/proc/meminfo: memFree=31569092/32770624 swapFree=0/272492
[pid=21118] ppid=21115 vsize=9512 CPUtime=0 cores=0-7
/proc/21118/stat : 21118 (xcsp3-exec) S 21115 21118 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17349168 9740288 345 18446744073709551615 4194304 5098028 140724555049216 140724555047320 140193695834748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 14729216 140724555051410 140724555051620 140724555051620 140724555055083 0
/proc/21118/statm: 2378 345 289 221 0 87 0
[pid=21120] ppid=21118 vsize=26068508 CPUtime=4.83 cores=0-7
/proc/21120/stat : 21120 (java) S 21118 21118 31142 0 -1 1077944320 19059 0 0 0 464 19 0 0 20 0 21 0 17349175 26694152192 63864 18446744073709551615 4194304 4196468 140722742964320 140722742946864 140084959174391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
/proc/21120/statm: 6517127 63864 3208 1 0 6505428 0
[pid=21120/tid=21121] ppid=21118 vsize=26068508 CPUtime=1.31 cores=0-7
/proc/21120/task/21121/stat : 21121 (java) S 21118 21118 31142 0 -1 1077944384 9097 0 0 0 126 5 0 0 20 0 21 0 17349175 26694152192 63864 18446744073709551615 4194304 4196468 140722742964320 140084963415168 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21122] ppid=21118 vsize=26068508 CPUtime=0.01 cores=0-7
/proc/21120/task/21122/stat : 21122 (java) S 21118 21118 31142 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 21 0 17349176 26694152192 63864 18446744073709551615 4194304 4196468 140722742964320 140084521749648 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21123] ppid=21118 vsize=26068508 CPUtime=0.03 cores=0-7
/proc/21120/task/21123/stat : 21123 (java) S 21118 21118 31142 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 21 0 17349176 26694152192 63864 18446744073709551615 4194304 4196468 140722742964320 140084520696848 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21124] ppid=21118 vsize=26068508 CPUtime=0.03 cores=0-7
/proc/21120/task/21124/stat : 21124 (java) S 21118 21118 31142 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 21 0 17349176 26694152192 63864 18446744073709551615 4194304 4196468 140722742964320 140084519644048 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21125] ppid=21118 vsize=26069536 CPUtime=0.03 cores=0-7
/proc/21120/task/21125/stat : 21125 (java) S 21118 21118 31142 0 -1 1077944384 37 0 0 0 3 0 0 0 20 0 21 0 17349176 26695204864 63864 18446744073709551615 4194304 4196468 140722742964320 140084518591248 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21126] ppid=21118 vsize=26069536 CPUtime=0.04 cores=0-7
/proc/21120/task/21126/stat : 21126 (java) S 21118 21118 31142 0 -1 1077944384 41 0 0 0 3 1 0 0 20 0 22 0 17349176 26695204864 63864 18446744073709551615 4194304 4196468 140722742964320 140084517538448 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21127] ppid=21118 vsize=26069536 CPUtime=0.03 cores=0-7
/proc/21120/task/21127/stat : 21127 (java) S 21118 21118 31142 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 22 0 17349176 26695204864 63864 18446744073709551615 4194304 4196468 140722742964320 140084516485648 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21128] ppid=21118 vsize=26069536 CPUtime=0.02 cores=0-7
/proc/21120/task/21128/stat : 21128 (java) S 21118 21118 31142 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 22 0 17349176 26695204864 63864 18446744073709551615 4194304 4196468 140722742964320 140084515432848 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21129] ppid=21118 vsize=26069536 CPUtime=0.03 cores=0-7
/proc/21120/task/21129/stat : 21129 (java) S 21118 21118 31142 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 22 0 17349176 26695204864 63864 18446744073709551615 4194304 4196468 140722742964320 140084514380048 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21130] ppid=21118 vsize=26135072 CPUtime=0 cores=0-7
/proc/21120/task/21130/stat : 21130 (java) S 21118 21118 31142 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 22 0 17349177 26762313728 63864 18446744073709551615 4194304 4196468 140722742964320 140083235613552 140084959185538 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21131] ppid=21118 vsize=26136100 CPUtime=0 cores=0-7
/proc/21120/task/21131/stat : 21131 (java) S 21118 21118 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 22 0 17349178 26763366400 63865 18446744073709551615 4194304 4196468 140722742964320 140083234559584 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21132] ppid=21118 vsize=26136100 CPUtime=0 cores=0-7
/proc/21120/task/21132/stat : 21132 (java) S 21118 21118 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 23 0 17349178 26763366400 63865 18446744073709551615 4194304 4196468 140722742964320 140083233506688 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21133] ppid=21118 vsize=26136100 CPUtime=0 cores=0-7
/proc/21120/task/21133/stat : 21133 (java) S 21118 21118 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 17349180 26763366400 63865 18446744073709551615 4194304 4196468 140722742964320 140083232454992 140084959192987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21134] ppid=21118 vsize=26136100 CPUtime=0.81 cores=0-7
/proc/21120/task/21134/stat : 21134 (java) R 21118 21118 31142 0 -1 4202560 1849 0 0 0 81 0 0 0 20 0 23 0 17349180 26763366400 63865 18446744073709551615 4194304 4196468 140722742964320 140083231390784 140084938426328 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21135] ppid=21118 vsize=26136100 CPUtime=0.88 cores=0-7
/proc/21120/task/21135/stat : 21135 (java) R 21118 21118 31142 0 -1 4202560 2023 0 0 0 88 0 0 0 20 0 23 0 17349180 26763366400 63865 18446744073709551615 4194304 4196468 140722742964320 140083230335576 140084942585263 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21136] ppid=21118 vsize=26136100 CPUtime=0.83 cores=0-7
/proc/21120/task/21136/stat : 21136 (java) R 21118 21118 31142 0 -1 4202560 1719 0 0 0 83 0 0 0 20 0 23 0 17349180 26763366400 63865 18446744073709551615 4194304 4196468 140722742964320 140083229277024 140084938390321 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21137] ppid=21118 vsize=26136100 CPUtime=0.61 cores=0-7
/proc/21120/task/21137/stat : 21137 (java) S 21118 21118 31142 0 -1 1077944384 2678 0 0 0 60 1 0 0 20 0 23 0 17349180 26763366400 63865 18446744073709551615 4194304 4196468 140722742964320 140083228243952 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21138] ppid=21118 vsize=26136100 CPUtime=0 cores=0-7
/proc/21120/task/21138/stat : 21138 (java) S 21118 21118 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 17349181 26763366400 63865 18446744073709551615 4194304 4196468 140722742964320 140083227192416 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21139] ppid=21118 vsize=26202664 CPUtime=0 cores=0-7
/proc/21120/task/21139/stat : 21139 (java) S 21118 21118 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 17349185 26831527936 63865 18446744073709551615 4194304 4196468 140722742964320 140083226139696 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 26078020

[startup+3.1008 s]
/proc/loadavg: 7.19 8.05 7.46 6/197 21295
/proc/meminfo: memFree=31370624/32770624 swapFree=0/272492
[pid=21118] ppid=21115 vsize=9512 CPUtime=0 cores=0-7
/proc/21118/stat : 21118 (xcsp3-exec) S 21115 21118 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17349168 9740288 345 18446744073709551615 4194304 5098028 140724555049216 140724555047320 140193695834748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 14729216 140724555051410 140724555051620 140724555051620 140724555055083 0
/proc/21118/statm: 2378 345 289 221 0 87 0
[pid=21120] ppid=21118 vsize=26537532 CPUtime=14.93 cores=0-7
/proc/21120/stat : 21120 (java) S 21118 21118 31142 0 -1 1077944320 27066 0 0 0 1457 36 0 0 20 0 24 0 17349175 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140722742946864 140084959174391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
/proc/21120/statm: 6634383 108442 3243 1 0 6622684 0
[pid=21120/tid=21121] ppid=21118 vsize=26537532 CPUtime=1.36 cores=0-7
/proc/21120/task/21121/stat : 21121 (java) R 21118 21118 31142 0 -1 4202560 9101 0 0 0 130 6 0 0 20 0 22 0 17349175 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140084963415168 140084603312447 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21122] ppid=21118 vsize=26537532 CPUtime=0.04 cores=0-7
/proc/21120/task/21122/stat : 21122 (java) S 21118 21118 31142 0 -1 1077944384 38 0 0 0 3 1 0 0 20 0 22 0 17349176 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140084521749648 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21123] ppid=21118 vsize=26537532 CPUtime=0.06 cores=0-7
/proc/21120/task/21123/stat : 21123 (java) S 21118 21118 31142 0 -1 1077944384 45 0 0 0 4 2 0 0 20 0 22 0 17349176 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140084520696848 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21124] ppid=21118 vsize=26537532 CPUtime=0.07 cores=0-7
/proc/21120/task/21124/stat : 21124 (java) S 21118 21118 31142 0 -1 1077944384 70 0 0 0 5 2 0 0 20 0 22 0 17349176 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140084519644048 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21125] ppid=21118 vsize=26537532 CPUtime=0.07 cores=0-7
/proc/21120/task/21125/stat : 21125 (java) S 21118 21118 31142 0 -1 1077944384 55 0 0 0 5 2 0 0 20 0 22 0 17349176 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140084518591248 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21126] ppid=21118 vsize=26537532 CPUtime=0.09 cores=0-7
/proc/21120/task/21126/stat : 21126 (java) S 21118 21118 31142 0 -1 1077944384 63 0 0 0 6 3 0 0 20 0 22 0 17349176 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140084517538448 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21127] ppid=21118 vsize=26537532 CPUtime=0.07 cores=0-7
/proc/21120/task/21127/stat : 21127 (java) S 21118 21118 31142 0 -1 1077944384 64 0 0 0 5 2 0 0 20 0 22 0 17349176 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140084516485648 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21128] ppid=21118 vsize=26537532 CPUtime=0.06 cores=0-7
/proc/21120/task/21128/stat : 21128 (java) S 21118 21118 31142 0 -1 1077944384 50 0 0 0 5 1 0 0 20 0 22 0 17349176 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140084515432848 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21129] ppid=21118 vsize=26537532 CPUtime=0.05 cores=0-7
/proc/21120/task/21129/stat : 21129 (java) S 21118 21118 31142 0 -1 1077944384 41 0 0 0 3 2 0 0 20 0 22 0 17349176 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140084514380048 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21130] ppid=21118 vsize=26537532 CPUtime=0.01 cores=0-7
/proc/21120/task/21130/stat : 21130 (java) S 21118 21118 31142 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 22 0 17349177 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140083235613552 140084959185538 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21131] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21131/stat : 21131 (java) S 21118 21118 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 22 0 17349178 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140083234559584 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21132] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21132/stat : 21132 (java) S 21118 21118 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 22 0 17349178 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140083233506688 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21133] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21133/stat : 21133 (java) S 21118 21118 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 17349180 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140083232454992 140084959192987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21134] ppid=21118 vsize=26537532 CPUtime=1.92 cores=0-7
/proc/21120/task/21134/stat : 21134 (java) S 21118 21118 31142 0 -1 1077944384 3102 0 0 0 191 1 0 0 20 0 22 0 17349180 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140083231402352 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21135] ppid=21118 vsize=26537532 CPUtime=1.95 cores=0-7
/proc/21120/task/21135/stat : 21135 (java) S 21118 21118 31142 0 -1 1077944384 2872 0 0 0 195 0 0 0 20 0 22 0 17349180 27174432768 108442 18446744073709551615 4194304 4196468 140722742964320 140083230349552 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21136] ppid=21118 vsize=26537532 CPUtime=1.83 cores=0-7
/proc/21120/task/21136/stat : 21136 (java) S 21118 21118 31142 0 -1 1077944384 2781 0 0 0 182 1 0 0 20 0 22 0 17349180 27174432768 108425 18446744073709551615 4194304 4196468 140722742964320 140083229296752 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21137] ppid=21118 vsize=26537532 CPUtime=0.91 cores=0-7
/proc/21120/task/21137/stat : 21137 (java) R 21118 21118 31142 0 -1 4202560 3725 0 0 0 90 1 0 0 20 0 22 0 17349180 27174432768 108425 18446744073709551615 4194304 4196468 140722742964320 140083228244248 140084938308844 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21138] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21138/stat : 21138 (java) S 21118 21118 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 17349181 27174432768 108408 18446744073709551615 4194304 4196468 140722742964320 140083227192416 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21139] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21139/stat : 21139 (java) S 21118 21118 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17349185 27174432768 108408 18446744073709551615 4194304 4196468 140722742964320 140083226139696 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
Current children cumulated CPU time (s) 14.93
Current children cumulated vsize (KiB) 26547044

[startup+6.30135 s]
/proc/loadavg: 7.57 8.11 7.48 9/201 21331
/proc/meminfo: memFree=31081672/32770624 swapFree=0/272496
[pid=21118] ppid=21115 vsize=9512 CPUtime=0 cores=0-7
/proc/21118/stat : 21118 (xcsp3-exec) S 21115 21118 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17349168 9740288 345 18446744073709551615 4194304 5098028 140724555049216 140724555047320 140193695834748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 14729216 140724555051410 140724555051620 140724555051620 140724555055083 0
/proc/21118/statm: 2378 345 289 221 0 87 0
[pid=21120] ppid=21118 vsize=26537532 CPUtime=40.32 cores=0-7
/proc/21120/stat : 21120 (java) S 21118 21118 31142 0 -1 1077944320 36191 0 0 0 3981 51 0 0 20 0 28 0 17349175 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140722742946864 140084959174391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
/proc/21120/statm: 6634383 168096 3256 1 0 6622684 0
[pid=21120/tid=21121] ppid=21118 vsize=26537532 CPUtime=1.36 cores=0-7
/proc/21120/task/21121/stat : 21121 (java) S 21118 21118 31142 0 -1 1077944384 9101 0 0 0 130 6 0 0 20 0 28 0 17349175 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140084963415168 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21122] ppid=21118 vsize=26537532 CPUtime=0.06 cores=0-7
/proc/21120/task/21122/stat : 21122 (java) S 21118 21118 31142 0 -1 1077944384 274 0 0 0 4 2 0 0 20 0 28 0 17349176 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140084521749648 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21123] ppid=21118 vsize=26537532 CPUtime=0.07 cores=0-7
/proc/21120/task/21123/stat : 21123 (java) S 21118 21118 31142 0 -1 1077944384 74 0 0 0 5 2 0 0 20 0 28 0 17349176 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140084520696848 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21124] ppid=21118 vsize=26537532 CPUtime=0.09 cores=0-7
/proc/21120/task/21124/stat : 21124 (java) S 21118 21118 31142 0 -1 1077944384 393 0 0 0 6 3 0 0 20 0 28 0 17349176 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140084519644048 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21125] ppid=21118 vsize=26537532 CPUtime=0.08 cores=0-7
/proc/21120/task/21125/stat : 21125 (java) S 21118 21118 31142 0 -1 1077944384 129 0 0 0 6 2 0 0 20 0 28 0 17349176 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140084518591248 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21126] ppid=21118 vsize=26537532 CPUtime=0.1 cores=0-7
/proc/21120/task/21126/stat : 21126 (java) S 21118 21118 31142 0 -1 1077944384 90 0 0 0 7 3 0 0 20 0 28 0 17349176 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140084517538448 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21127] ppid=21118 vsize=26537532 CPUtime=0.08 cores=0-7
/proc/21120/task/21127/stat : 21127 (java) S 21118 21118 31142 0 -1 1077944384 182 0 0 0 6 2 0 0 20 0 28 0 17349176 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140084516485648 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21128] ppid=21118 vsize=26537532 CPUtime=0.09 cores=0-7
/proc/21120/task/21128/stat : 21128 (java) S 21118 21118 31142 0 -1 1077944384 98 0 0 0 7 2 0 0 20 0 28 0 17349176 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140084515432848 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21129] ppid=21118 vsize=26537532 CPUtime=0.05 cores=0-7
/proc/21120/task/21129/stat : 21129 (java) S 21118 21118 31142 0 -1 1077944384 45 0 0 0 3 2 0 0 20 0 28 0 17349176 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140084514380048 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21130] ppid=21118 vsize=26537532 CPUtime=0.01 cores=0-7
/proc/21120/task/21130/stat : 21130 (java) S 21118 21118 31142 0 -1 1077944384 701 0 0 0 1 0 0 0 20 0 28 0 17349177 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140083235613552 140084959185538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21131] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21131/stat : 21131 (java) S 21118 21118 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17349178 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140083234559584 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21132] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21132/stat : 21132 (java) S 21118 21118 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 17349178 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140083233506688 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21133] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21133/stat : 21133 (java) S 21118 21118 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17349180 27174432768 168096 18446744073709551615 4194304 4196468 140722742964320 140083232454992 140084959192987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0

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

/proc/21120/task/21350/stat : 21350 (java) R 21118 21118 31142 0 -1 4202560 392 0 0 0 638 0 0 0 20 0 28 0 17364756 27174432768 552480 18446744073709551615 4194304 4196468 140722742964320 140083212866168 140084604524036 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21351] ppid=21118 vsize=26537532 CPUtime=6.41 cores=0-7
/proc/21120/task/21351/stat : 21351 (java) R 21118 21118 31142 0 -1 4202560 287 0 0 0 641 0 0 0 20 0 28 0 17364756 27174432768 552480 18446744073709551615 4194304 4196468 140722742964320 140083218129112 140084609723838 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
Current children cumulated CPU time (s) 1284
Current children cumulated vsize (KiB) 26547044

[startup+222.307 s]
/proc/loadavg: 8.67 8.59 7.82 9/203 21362
/proc/meminfo: memFree=29537528/32770624 swapFree=0/272564
[pid=21118] ppid=21115 vsize=9512 CPUtime=0 cores=0-7
/proc/21118/stat : 21118 (xcsp3-exec) S 21115 21118 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17349168 9740288 345 18446744073709551615 4194304 5098028 140724555049216 140724555047320 140193695834748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 14729216 140724555051410 140724555051620 140724555051620 140724555055083 0
/proc/21118/statm: 2378 345 289 221 0 87 0
[pid=21120] ppid=21118 vsize=26537532 CPUtime=1763 cores=0-7
/proc/21120/stat : 21120 (java) S 21118 21118 31142 0 -1 1077944320 134932 0 0 0 176148 152 0 0 20 0 28 0 17349175 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140722742946864 140084959174391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
/proc/21120/statm: 6634383 554017 3256 1 0 6622684 0
[pid=21120/tid=21121] ppid=21118 vsize=26537532 CPUtime=1.36 cores=0-7
/proc/21120/task/21121/stat : 21121 (java) S 21118 21118 31142 0 -1 1077944384 9454 0 0 0 130 6 0 0 20 0 28 0 17349175 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084963415168 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21122] ppid=21118 vsize=26537532 CPUtime=0.1 cores=0-7
/proc/21120/task/21122/stat : 21122 (java) S 21118 21118 31142 0 -1 1077944384 799 0 0 0 7 3 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084521749648 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21123] ppid=21118 vsize=26537532 CPUtime=0.13 cores=0-7
/proc/21120/task/21123/stat : 21123 (java) S 21118 21118 31142 0 -1 1077944384 1278 0 0 0 9 4 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084520696848 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21124] ppid=21118 vsize=26537532 CPUtime=0.14 cores=0-7
/proc/21120/task/21124/stat : 21124 (java) S 21118 21118 31142 0 -1 1077944384 768 0 0 0 10 4 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084519644048 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21125] ppid=21118 vsize=26537532 CPUtime=0.13 cores=0-7
/proc/21120/task/21125/stat : 21125 (java) S 21118 21118 31142 0 -1 1077944384 590 0 0 0 9 4 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084518591248 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21126] ppid=21118 vsize=26537532 CPUtime=0.16 cores=0-7
/proc/21120/task/21126/stat : 21126 (java) S 21118 21118 31142 0 -1 1077944384 261 0 0 0 11 5 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084517538448 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21127] ppid=21118 vsize=26537532 CPUtime=0.14 cores=0-7
/proc/21120/task/21127/stat : 21127 (java) S 21118 21118 31142 0 -1 1077944384 421 0 0 0 10 4 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084516485648 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21128] ppid=21118 vsize=26537532 CPUtime=0.13 cores=0-7
/proc/21120/task/21128/stat : 21128 (java) S 21118 21118 31142 0 -1 1077944384 278 0 0 0 10 3 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084515432848 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21129] ppid=21118 vsize=26537532 CPUtime=0.1 cores=0-7
/proc/21120/task/21129/stat : 21129 (java) S 21118 21118 31142 0 -1 1077944384 282 0 0 0 7 3 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084514380048 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21130] ppid=21118 vsize=26537532 CPUtime=0.03 cores=0-7
/proc/21120/task/21130/stat : 21130 (java) S 21118 21118 31142 0 -1 1077944384 3371 0 0 0 3 0 0 0 20 0 28 0 17349177 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083235613552 140084959185538 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21131] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21131/stat : 21131 (java) S 21118 21118 31142 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 17349178 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083234559584 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21132] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21132/stat : 21132 (java) S 21118 21118 31142 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 17349178 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083233506688 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21133] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21133/stat : 21133 (java) S 21118 21118 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17349180 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083232454992 140084959192987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21134] ppid=21118 vsize=26537532 CPUtime=3.07 cores=0-7
/proc/21120/task/21134/stat : 21134 (java) S 21118 21118 31142 0 -1 1077944384 15894 0 0 0 304 3 0 0 20 0 28 0 17349180 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083231402352 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21135] ppid=21118 vsize=26537532 CPUtime=3.15 cores=0-7
/proc/21120/task/21135/stat : 21135 (java) S 21118 21118 31142 0 -1 1077944384 19114 0 0 0 312 3 0 0 20 0 28 0 17349180 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083230349552 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21136] ppid=21118 vsize=26537532 CPUtime=2.89 cores=0-7
/proc/21120/task/21136/stat : 21136 (java) S 21118 21118 31142 0 -1 1077944384 15701 0 0 0 286 3 0 0 20 0 28 0 17349180 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083229296752 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21137] ppid=21118 vsize=26537532 CPUtime=1.08 cores=0-7
/proc/21120/task/21137/stat : 21137 (java) S 21118 21118 31142 0 -1 1077944384 16212 0 0 0 105 3 0 0 20 0 28 0 17349180 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083228243952 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21138] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21138/stat : 21138 (java) S 21118 21118 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17349181 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083227192416 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21139] ppid=21118 vsize=26537532 CPUtime=0.08 cores=0-7
/proc/21120/task/21139/stat : 21139 (java) S 21118 21118 31142 0 -1 1077944384 2693 0 0 0 2 6 0 0 20 0 28 0 17349185 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083226139696 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21344] ppid=21118 vsize=26537532 CPUtime=65.98 cores=0-7
/proc/21120/task/21344/stat : 21344 (java) R 21118 21118 31142 0 -1 4202560 1128 0 0 0 6598 0 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083217075208 140084602943588 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21345] ppid=21118 vsize=26537532 CPUtime=66.4 cores=0-7
/proc/21120/task/21345/stat : 21345 (java) R 21118 21118 31142 0 -1 4202560 1083 0 0 0 6640 0 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083213918088 140084609724499 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21346] ppid=21118 vsize=26537532 CPUtime=66.4 cores=0-7
/proc/21120/task/21346/stat : 21346 (java) R 21118 21118 31142 0 -1 4202560 2260 0 0 0 6637 3 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083210759960 140084609899953 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21347] ppid=21118 vsize=26537532 CPUtime=66.39 cores=0-7
/proc/21120/task/21347/stat : 21347 (java) R 21118 21118 31142 0 -1 4202560 6751 0 0 0 6627 12 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083211812760 140084608611365 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21348] ppid=21118 vsize=26537532 CPUtime=65.83 cores=0-7
/proc/21120/task/21348/stat : 21348 (java) R 21118 21118 31142 0 -1 4202560 2088 0 0 0 6579 4 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083209707336 140084601924086 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21349] ppid=21118 vsize=26537532 CPUtime=66.36 cores=0-7
/proc/21120/task/21349/stat : 21349 (java) R 21118 21118 31142 0 -1 4202560 796 0 0 0 6636 0 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083216023160 140084609723139 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21350] ppid=21118 vsize=26537532 CPUtime=66.32 cores=0-7
/proc/21120/task/21350/stat : 21350 (java) R 21118 21118 31142 0 -1 4202560 2248 0 0 0 6629 3 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083212865848 140084609724915 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21351] ppid=21118 vsize=26537532 CPUtime=66.37 cores=0-7
/proc/21120/task/21351/stat : 21351 (java) R 21118 21118 31142 0 -1 4202560 1533 0 0 0 6636 1 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083218128768 140084608942725 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
Current children cumulated CPU time (s) 1763
Current children cumulated vsize (KiB) 26547044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+242.011 s]
/proc/loadavg: 8.61 8.58 7.83 9/203 21362
/proc/meminfo: memFree=29537700/32770624 swapFree=0/272572
[pid=21118] ppid=21115 vsize=9512 CPUtime=0 cores=0-7
/proc/21118/stat : 21118 (xcsp3-exec) S 21115 21118 31142 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17349168 9740288 345 18446744073709551615 4194304 5098028 140724555049216 140724555047320 140193695834748 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 14729216 140724555051410 140724555051620 140724555051620 140724555055083 0
/proc/21118/statm: 2378 345 289 221 0 87 0
[pid=21120] ppid=21118 vsize=26537532 CPUtime=1920.35 cores=0-7
/proc/21120/stat : 21120 (java) S 21118 21118 31142 0 -1 1077944320 140386 0 0 0 191877 158 0 0 20 0 28 0 17349175 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140722742946864 140084959174391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
/proc/21120/statm: 6634383 554017 3256 1 0 6622684 0
[pid=21120/tid=21121] ppid=21118 vsize=26537532 CPUtime=1.36 cores=0-7
/proc/21120/task/21121/stat : 21121 (java) S 21118 21118 31142 0 -1 1077944384 9454 0 0 0 130 6 0 0 20 0 28 0 17349175 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084963415168 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21122] ppid=21118 vsize=26537532 CPUtime=0.1 cores=0-7
/proc/21120/task/21122/stat : 21122 (java) S 21118 21118 31142 0 -1 1077944384 799 0 0 0 7 3 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084521749648 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21123] ppid=21118 vsize=26537532 CPUtime=0.13 cores=0-7
/proc/21120/task/21123/stat : 21123 (java) S 21118 21118 31142 0 -1 1077944384 1278 0 0 0 9 4 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084520696848 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21124] ppid=21118 vsize=26537532 CPUtime=0.14 cores=0-7
/proc/21120/task/21124/stat : 21124 (java) S 21118 21118 31142 0 -1 1077944384 768 0 0 0 10 4 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084519644048 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21125] ppid=21118 vsize=26537532 CPUtime=0.13 cores=0-7
/proc/21120/task/21125/stat : 21125 (java) S 21118 21118 31142 0 -1 1077944384 590 0 0 0 9 4 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084518591248 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21126] ppid=21118 vsize=26537532 CPUtime=0.16 cores=0-7
/proc/21120/task/21126/stat : 21126 (java) S 21118 21118 31142 0 -1 1077944384 261 0 0 0 11 5 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084517538448 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21127] ppid=21118 vsize=26537532 CPUtime=0.14 cores=0-7
/proc/21120/task/21127/stat : 21127 (java) S 21118 21118 31142 0 -1 1077944384 421 0 0 0 10 4 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084516485648 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21128] ppid=21118 vsize=26537532 CPUtime=0.13 cores=0-7
/proc/21120/task/21128/stat : 21128 (java) S 21118 21118 31142 0 -1 1077944384 278 0 0 0 10 3 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084515432848 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21129] ppid=21118 vsize=26537532 CPUtime=0.1 cores=0-7
/proc/21120/task/21129/stat : 21129 (java) S 21118 21118 31142 0 -1 1077944384 282 0 0 0 7 3 0 0 20 0 28 0 17349176 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140084514380048 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21130] ppid=21118 vsize=26537532 CPUtime=0.04 cores=0-7
/proc/21120/task/21130/stat : 21130 (java) S 21118 21118 31142 0 -1 1077944384 3467 0 0 0 4 0 0 0 20 0 28 0 17349177 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083235613552 140084959185538 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21131] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21131/stat : 21131 (java) S 21118 21118 31142 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 17349178 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083234559584 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21132] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21132/stat : 21132 (java) S 21118 21118 31142 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 17349178 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083233506688 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21133] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21133/stat : 21133 (java) S 21118 21118 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17349180 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083232454992 140084959192987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21134] ppid=21118 vsize=26537532 CPUtime=3.11 cores=0-7
/proc/21120/task/21134/stat : 21134 (java) S 21118 21118 31142 0 -1 1077944384 16623 0 0 0 307 4 0 0 20 0 28 0 17349180 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083231402352 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21135] ppid=21118 vsize=26537532 CPUtime=3.16 cores=0-7
/proc/21120/task/21135/stat : 21135 (java) S 21118 21118 31142 0 -1 1077944384 19413 0 0 0 313 3 0 0 20 0 28 0 17349180 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083230349552 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21136] ppid=21118 vsize=26537532 CPUtime=2.89 cores=0-7
/proc/21120/task/21136/stat : 21136 (java) S 21118 21118 31142 0 -1 1077944384 15709 0 0 0 286 3 0 0 20 0 28 0 17349180 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083229296752 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21137] ppid=21118 vsize=26537532 CPUtime=1.08 cores=0-7
/proc/21120/task/21137/stat : 21137 (java) S 21118 21118 31142 0 -1 1077944384 16234 0 0 0 105 3 0 0 20 0 28 0 17349180 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083228243952 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21138] ppid=21118 vsize=26537532 CPUtime=0 cores=0-7
/proc/21120/task/21138/stat : 21138 (java) S 21118 21118 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17349181 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083227192416 140084959184597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21139] ppid=21118 vsize=26537532 CPUtime=0.09 cores=0-7
/proc/21120/task/21139/stat : 21139 (java) S 21118 21118 31142 0 -1 1077944384 2792 0 0 0 2 7 0 0 20 0 28 0 17349185 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083226139696 140084959185538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21344] ppid=21118 vsize=26537532 CPUtime=85.39 cores=0-7
/proc/21120/task/21344/stat : 21344 (java) R 21118 21118 31142 0 -1 4202560 1491 0 0 0 8539 0 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083217075480 140084609724590 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21345] ppid=21118 vsize=26537532 CPUtime=86.1 cores=0-7
/proc/21120/task/21345/stat : 21345 (java) R 21118 21118 31142 0 -1 4202560 1419 0 0 0 8610 0 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083213918216 140084609724700 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21346] ppid=21118 vsize=26537532 CPUtime=86.1 cores=0-7
/proc/21120/task/21346/stat : 21346 (java) R 21118 21118 31142 0 -1 4202560 2846 0 0 0 8606 4 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083210759848 140084609899971 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21347] ppid=21118 vsize=26537532 CPUtime=86.09 cores=0-7
/proc/21120/task/21347/stat : 21347 (java) R 21118 21118 31142 0 -1 4202560 7963 0 0 0 8594 15 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083211813096 140084610903854 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21348] ppid=21118 vsize=26537532 CPUtime=85.53 cores=0-7
/proc/21120/task/21348/stat : 21348 (java) R 21118 21118 31142 0 -1 4202560 2548 0 0 0 8549 4 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083209707336 140084607886031 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21349] ppid=21118 vsize=26537532 CPUtime=86.03 cores=0-7
/proc/21120/task/21349/stat : 21349 (java) R 21118 21118 31142 0 -1 4202560 1029 0 0 0 8603 0 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083216023112 140084605716168 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21350] ppid=21118 vsize=26537532 CPUtime=86.02 cores=0-7
/proc/21120/task/21350/stat : 21350 (java) R 21118 21118 31142 0 -1 4202560 2843 0 0 0 8598 4 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083212865848 140084608611690 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
[pid=21120/tid=21351] ppid=21118 vsize=26537532 CPUtime=86.08 cores=0-7
/proc/21120/task/21351/stat : 21351 (java) R 21118 21118 31142 0 -1 4202560 1949 0 0 0 8607 1 0 0 20 0 28 0 17364756 27174432768 554017 18446744073709551615 4194304 4196468 140722742964320 140083218128848 140084610126852 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140722742972880 140722742973056 140722742973056 140722742976463 0
Current children cumulated CPU time (s) 1920.35
Current children cumulated vsize (KiB) 26547044

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21120 sig 9
??? kill 21118 sig 9
??? kill -21118 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21118 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1007
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1007
# CPU time returned by wait4() is 0.002014
# while last known CPU time is 1920.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 242.041
CPU time (s): 1920.35
CPU user time (s): 1918.77
CPU system time (s): 1.58
CPU usage (%): 793.4
Max. virtual memory (cumulated for all children) (KiB): 26547044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001007
system time used= 0.001007
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.69357 second user time and 1.88872 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml
MD5SUM	406abf126875c7059afeaa5170034bef
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	157
Best CPU time to get the best result obtained on this benchmark	1921.3
Satisfiable
(Un)Satisfiability was proved
Number of variables	1805
Number of constraints	943
Number of domains	83
Minimum domain size	2
Maximum domain size	83
Distribution of domain sizes	[{"size":2,"count":904},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}]
Minimum variable degree	0
Maximum variable degree	41
Distribution of variable degrees	[{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	42
Distribution of constraint arities	[{"arity":2,"count":42},{"arity":3,"count":862},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	902
Distribution of constraint types	[{"type":"intension","count":902},{"type":"sum","count":41}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4254584

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