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-08-18)	SAT (TO)	1115	2520.05	2441.8101

0.00/0.12	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283585-1503199056.xml"  -tl '2520s' -p 1 -x 3
0.05/0.29	c [HOME/instance-4283585-1503199056.xml, -tl, 2520s, -p, 1, -x, 3]
0.24/0.35	c simple solver
0.42/0.42	c parse instance...
1.49/0.80	c solve instance...
8.43/3.08	o 1535 
8.43/3.09	o 1526 
8.75/3.14	o 1435 
8.75/3.14	o 1431 
8.75/3.17	o 1418 
9.03/3.22	o 1409 
9.03/3.23	o 1401 
9.03/3.25	o 1395 
9.03/3.29	o 1390 
9.34/3.30	o 1388 
10.85/3.80	o 1371 
15.50/5.77	o 1245 
15.50/5.79	o 1220 
15.50/5.79	o 1219 
15.73/5.80	o 1218 
15.73/5.81	o 1216 
15.73/5.82	o 1215 
15.73/5.84	o 1212 
16.03/5.98	o 1209 
16.03/5.98	o 1207 
16.54/6.11	o 1205 
16.54/6.11	o 1196 
47.43/35.28	o 1155 
1325.17/1278.97	o 1153 
1325.28/1279.09	o 1149 
1325.38/1279.18	o 1148 
1981.81/1917.62	o 1142 
1986.34/1922.04	o 1134 
1987.44/1923.12	o 1122 
1987.83/1923.54	o 1115 
2520.03/2441.80	s SATISFIABLE
2520.03/2441.80	v <instantiation>
2520.03/2441.80	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] </list>
2520.03/2441.80	v 	<values>0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 80 83 91 20 88 100 41 48 38 76 3 64 31 100 55 57 15 78 62 88 90 18 53 68 26 22 98 72 33 19 </values>
2520.03/2441.80	v </instantiation>
2520.03/2441.80	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 (14434 MiB free)
  memory of node 1: 16384 MiB (15323 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283585-1503199056/watcher-4283585-1503199056 -o /tmp/evaluation-result-4283585-1503199056/solver-4283585-1503199056 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21713 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1341294314 HOME/instance-4283585-1503199056.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100154 s]*
/proc/loadavg: 2.08 1.70 1.64 2/197 27165
/proc/meminfo: memFree=30471428/32770624 swapFree=67105588/67108860
[pid=27164] ppid=27161 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/27164/stat : 27164 (runsolver) D 27161 27164 8557 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 122100649 34791424 113 18446744073709551615 4194304 4346622 140730471029712 140730471026344 140196637737687 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 9875456 140730471034934 140730471035428 140730471035428 140730471038922 0
/proc/27164/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.208949 s]*
/proc/loadavg: 2.08 1.70 1.64 2/211 27179
/proc/meminfo: memFree=30459868/32770624 swapFree=67105588/67108860
[pid=27164] ppid=27161 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27164/stat : 27164 (xcsp3-exec) S 27161 27164 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122100649 9740288 345 18446744073709551615 4194304 5098028 140722491576032 140722491574136 140198094471804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 15351808 140722491584888 140722491585093 140722491585093 140722491588587 0
/proc/27164/statm: 2378 345 289 221 0 87 0
[pid=27166] ppid=27164 vsize=13973868 memory=21708 CPUtime=0.05 cores=1,3,5,7
/proc/27166/stat : 27166 (java) S 27164 27164 8557 0 -1 1077944320 4865 0 0 0 5 0 0 0 20 0 15 0 122100662 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 140735984171872 139876899507959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
/proc/27166/statm: 3493467 5427 2578 1 0 3482964 0
[pid=27166/tid=27167] ppid=27164 vsize=13973868 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (java) R 27164 27164 8557 0 -1 4202560 3020 0 0 0 4 0 0 0 20 0 15 0 122100662 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139876903737840 139876899529885 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27168] ppid=27164 vsize=13973868 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139876818921872 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27169] ppid=27164 vsize=13973868 memory=3473881386815555232 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139876498401552 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27170] ppid=27164 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27170/stat : 27170 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139876497349264 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27171] ppid=27164 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27171/stat : 27171 (java) S 27164 27164 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122100663 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139876496296464 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27172] ppid=27164 vsize=13973868 memory=140196640687744 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27172/stat : 27172 (java) S 27164 27164 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122100664 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139875816258160 139876899519106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27173] ppid=27164 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27173/stat : 27173 (java) S 27164 27164 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122100664 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139875815204128 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27174] ppid=27164 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27174/stat : 27174 (java) S 27164 27164 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122100665 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139875814151792 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27175] ppid=27164 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27175/stat : 27175 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139875813100112 139876899526555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27176] ppid=27164 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27176/stat : 27176 (java) S 27164 27164 8557 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 122100667 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139875812046960 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27177] ppid=27164 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27177/stat : 27177 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100667 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139875474991088 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27178] ppid=27164 vsize=13973868 memory=140196640687744 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27178/stat : 27178 (java) S 27164 27164 8557 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 122100667 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139875473938800 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27179] ppid=27164 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27179/stat : 27179 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139875472886240 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27180] ppid=27164 vsize=13973868 memory=140196640687744 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27180/stat : 27180 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100671 14309240832 5427 18446744073709551615 4194304 4196468 140735984189328 139875471834032 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23088 KiB

[startup+0.310189 s]*
/proc/loadavg: 2.08 1.70 1.64 3/212 27180
/proc/meminfo: memFree=30446844/32770624 swapFree=67105588/67108860
[pid=27164] ppid=27161 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27164/stat : 27164 (xcsp3-exec) S 27161 27164 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122100649 9740288 345 18446744073709551615 4194304 5098028 140722491576032 140722491574136 140198094471804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 15351808 140722491584888 140722491585093 140722491585093 140722491588587 0
/proc/27164/statm: 2378 345 289 221 0 87 0
[pid=27166] ppid=27164 vsize=13974352 memory=36628 CPUtime=0.24 cores=1,3,5,7
/proc/27166/stat : 27166 (java) S 27164 27164 8557 0 -1 1077944320 8728 0 0 0 22 2 0 0 20 0 15 0 122100662 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 140735984171872 139876899507959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
/proc/27166/statm: 3493588 9157 2977 1 0 3482964 0
[pid=27166/tid=27167] ppid=27164 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (java) R 27164 27164 8557 0 -1 4202560 5945 0 0 0 13 1 0 0 20 0 15 0 122100662 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139876903730336 139876899529885 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27168] ppid=27164 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139876818921872 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27169] ppid=27164 vsize=13974352 memory=140196640687744 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139876498401552 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27170] ppid=27164 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27170/stat : 27170 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139876497349264 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27171] ppid=27164 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27171/stat : 27171 (java) S 27164 27164 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122100663 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139876496296464 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27172] ppid=27164 vsize=13974352 memory=140196640687744 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27172/stat : 27172 (java) S 27164 27164 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122100664 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139875816258160 139876899519106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27173] ppid=27164 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27173/stat : 27173 (java) S 27164 27164 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122100664 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139875815204128 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27174] ppid=27164 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27174/stat : 27174 (java) S 27164 27164 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122100665 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139875814151792 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27175] ppid=27164 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27175/stat : 27175 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139875813100112 139876899526555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27176] ppid=27164 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27166/task/27176/stat : 27176 (java) S 27164 27164 8557 0 -1 1077944384 563 0 0 0 1 0 0 0 20 0 15 0 122100667 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139875812046960 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27177] ppid=27164 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27166/task/27177/stat : 27177 (java) S 27164 27164 8557 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 15 0 122100667 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139875474991088 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27178] ppid=27164 vsize=13974352 memory=140196640687744 CPUtime=0.05 cores=1,3,5,7
/proc/27166/task/27178/stat : 27178 (java) S 27164 27164 8557 0 -1 1077944384 698 0 0 0 5 0 0 0 20 0 15 0 122100667 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139875473938800 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27179] ppid=27164 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27179/stat : 27179 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139875472886240 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27180] ppid=27164 vsize=13974352 memory=140196640687744 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27180/stat : 27180 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100671 14309736448 9157 18446744073709551615 4194304 4196468 140735984189328 139875471834032 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38008 KiB

[startup+0.700757 s]
/proc/loadavg: 2.08 1.70 1.64 3/212 27180
/proc/meminfo: memFree=30433720/32770624 swapFree=67105588/67108860
[pid=27164] ppid=27161 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27164/stat : 27164 (xcsp3-exec) S 27161 27164 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122100649 9740288 345 18446744073709551615 4194304 5098028 140722491576032 140722491574136 140198094471804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 15351808 140722491584888 140722491585093 140722491585093 140722491588587 0
/proc/27164/statm: 2378 345 289 221 0 87 0
[pid=27166] ppid=27164 vsize=13980732 memory=70072 CPUtime=1.2 cores=1,3,5,7
/proc/27166/stat : 27166 (java) S 27164 27164 8557 0 -1 1077944320 12713 0 0 0 115 5 0 0 20 0 15 0 122100662 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 140735984171872 139876899507959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
/proc/27166/statm: 3495183 17518 3165 1 0 3483476 0
[pid=27166/tid=27167] ppid=27164 vsize=13980732 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (java) R 27164 27164 8557 0 -1 4202560 8016 0 0 0 49 3 0 0 20 0 15 0 122100662 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139876903744864 139876882890896 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27168] ppid=27164 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139876818921872 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27169] ppid=27164 vsize=13980732 memory=7735039375045584471 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139876498401552 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27170] ppid=27164 vsize=13980732 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27170/stat : 27170 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139876497349264 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27171] ppid=27164 vsize=13980732 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27171/stat : 27171 (java) S 27164 27164 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122100663 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139876496296464 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27172] ppid=27164 vsize=13980732 memory=7100839870037596261 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27172/stat : 27172 (java) S 27164 27164 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122100664 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139875816258160 139876899519106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27173] ppid=27164 vsize=13980732 memory=-8412661042793834637 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27173/stat : 27173 (java) S 27164 27164 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122100664 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139875815204128 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27174] ppid=27164 vsize=13980732 memory=4137282616176187523 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27174/stat : 27174 (java) S 27164 27164 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122100665 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139875814151792 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27175] ppid=27164 vsize=13980732 memory=-7531822216215565666 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27175/stat : 27175 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139875813100112 139876899526555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27176] ppid=27164 vsize=13980732 memory=7682475212697334586 CPUtime=0.17 cores=1,3,5,7
/proc/27166/task/27176/stat : 27176 (java) R 27164 27164 8557 0 -1 1077944384 1085 0 0 0 17 0 0 0 20 0 15 0 122100667 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139875812046960 139876899519106 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27177] ppid=27164 vsize=13980732 memory=50820 CPUtime=0.17 cores=1,3,5,7
/proc/27166/task/27177/stat : 27177 (java) S 27164 27164 8557 0 -1 1077944384 801 0 0 0 17 0 0 0 20 0 15 0 122100667 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139875474991088 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27178] ppid=27164 vsize=13980732 memory=-8774313645642428999 CPUtime=0.31 cores=1,3,5,7
/proc/27166/task/27178/stat : 27178 (java) R 27164 27164 8557 0 -1 4202560 1505 0 0 0 31 0 0 0 20 0 15 0 122100667 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139875473938800 139876899519894 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27179] ppid=27164 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27179/stat : 27179 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139875472886240 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27180] ppid=27164 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27180/stat : 27180 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100671 14316269568 17518 18446744073709551615 4194304 4196468 140735984189328 139875471834032 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 71452 KiB

[startup+1.50085 s]
/proc/loadavg: 2.08 1.70 1.64 5/212 27180
/proc/meminfo: memFree=30394760/32770624 swapFree=67105588/67108860
[pid=27164] ppid=27161 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27164/stat : 27164 (xcsp3-exec) S 27161 27164 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122100649 9740288 345 18446744073709551615 4194304 5098028 140722491576032 140722491574136 140198094471804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 15351808 140722491584888 140722491585093 140722491585093 140722491588587 0
/proc/27164/statm: 2378 345 289 221 0 87 0
[pid=27166] ppid=27164 vsize=13980732 memory=145116 CPUtime=3.78 cores=1,3,5,7
/proc/27166/stat : 27166 (java) S 27164 27164 8557 0 -1 1077944320 37020 0 0 0 369 9 0 0 20 0 15 0 122100662 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 140735984171872 139876899507959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
/proc/27166/statm: 3495183 36279 3193 1 0 3483476 0
[pid=27166/tid=27167] ppid=27164 vsize=13980732 memory=-8774313645642428999 CPUtime=1.32 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (java) R 27164 27164 8557 0 -1 4202560 8562 0 0 0 128 4 0 0 20 0 15 0 122100662 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139876903747080 139876499588184 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27168] ppid=27164 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139876818921872 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27169] ppid=27164 vsize=13980732 memory=4211126171624291159 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139876498401552 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27170] ppid=27164 vsize=13980732 memory=280393048124720 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27170/stat : 27170 (java) S 27164 27164 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122100663 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139876497349264 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27171] ppid=27164 vsize=13980732 memory=280393048124784 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27171/stat : 27171 (java) S 27164 27164 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122100663 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139876496296464 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27172] ppid=27164 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27172/stat : 27172 (java) S 27164 27164 8557 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 122100664 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139875816258160 139876899519106 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27173] ppid=27164 vsize=13980732 memory=-2748367524519556131 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27173/stat : 27173 (java) S 27164 27164 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122100664 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139875815204128 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27174] ppid=27164 vsize=13980732 memory=-7606742951091920751 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27174/stat : 27174 (java) S 27164 27164 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122100665 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139875814151792 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27175] ppid=27164 vsize=13980732 memory=-9001734000804784231 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27175/stat : 27175 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139875813100112 139876899526555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27176] ppid=27164 vsize=13980732 memory=-8458152057954561420 CPUtime=0.92 cores=1,3,5,7
/proc/27166/task/27176/stat : 27176 (java) R 27164 27164 8557 0 -1 4202560 8862 0 0 0 91 1 0 0 20 0 15 0 122100667 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139875812036752 139876883418944 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27177] ppid=27164 vsize=13980732 memory=-8813974798734826869 CPUtime=0.89 cores=1,3,5,7
/proc/27166/task/27177/stat : 27177 (java) R 27164 27164 8557 0 -1 4202560 13468 0 0 0 88 1 0 0 20 0 15 0 122100667 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139875474972056 139876884615896 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27178] ppid=27164 vsize=13980732 memory=19031000092388 CPUtime=0.61 cores=1,3,5,7
/proc/27166/task/27178/stat : 27178 (java) S 27164 27164 8557 0 -1 1077944384 4804 0 0 0 60 1 0 0 20 0 15 0 122100667 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139875473938800 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27179] ppid=27164 vsize=13980732 memory=301741394933064372 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27179/stat : 27179 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139875472886240 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27180] ppid=27164 vsize=13980732 memory=14408220252855607 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27180/stat : 27180 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100671 14316269568 36279 18446744073709551615 4194304 4196468 140735984189328 139875471834032 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0

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

/proc/27166/task/27174/stat : 27174 (java) S 27164 27164 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 122100665 14316269568 169073 18446744073709551615 4194304 4196468 140735984189328 139875814151808 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27175] ppid=27164 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27175/stat : 27175 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 169073 18446744073709551615 4194304 4196468 140735984189328 139875813100112 139876899526555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27176] ppid=27164 vsize=13980732 memory=956 CPUtime=6.16 cores=1,3,5,7
/proc/27166/task/27176/stat : 27176 (java) S 27164 27164 8557 0 -1 1077944384 34891 0 0 0 611 5 0 0 20 0 15 0 122100667 14316269568 169073 18446744073709551615 4194304 4196468 140735984189328 139875812046960 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27177] ppid=27164 vsize=13980732 memory=1232 CPUtime=6.16 cores=1,3,5,7
/proc/27166/task/27177/stat : 27177 (java) S 27164 27164 8557 0 -1 1077944384 30071 0 0 0 613 3 0 0 20 0 15 0 122100667 14316269568 169073 18446744073709551615 4194304 4196468 140735984189328 139875474991088 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27178] ppid=27164 vsize=13980732 memory=4144 CPUtime=1.04 cores=1,3,5,7
/proc/27166/task/27178/stat : 27178 (java) S 27164 27164 8557 0 -1 1077944384 14118 0 0 0 101 3 0 0 20 0 15 0 122100667 14316269568 169073 18446744073709551615 4194304 4196468 140735984189328 139875473938800 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27179] ppid=27164 vsize=13980732 memory=65856 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27179/stat : 27179 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 169073 18446744073709551615 4194304 4196468 140735984189328 139875472886240 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27180] ppid=27164 vsize=13980732 memory=1380 CPUtime=1.14 cores=1,3,5,7
/proc/27166/task/27180/stat : 27180 (java) S 27164 27164 8557 0 -1 1077944384 793 0 0 0 47 67 0 0 20 0 15 0 122100671 14316269568 169073 18446744073709551615 4194304 4196468 140735984189328 139875471834032 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
Current children cumulated CPU time: 2335.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 677672 KiB

[startup+2322.3 s]
/proc/loadavg: 1.42 1.54 1.62 3/211 28159
/proc/meminfo: memFree=30154224/32770624 swapFree=67105588/67108860
[pid=27164] ppid=27161 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27164/stat : 27164 (xcsp3-exec) S 27161 27164 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122100649 9740288 345 18446744073709551615 4194304 5098028 140722491576032 140722491574136 140198094471804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 15351808 140722491584888 140722491585093 140722491585093 140722491588587 0
/proc/27164/statm: 2378 345 289 221 0 87 0
[pid=27166] ppid=27164 vsize=13980732 memory=834920 CPUtime=2396.84 cores=1,3,5,7
/proc/27166/stat : 27166 (java) S 27164 27164 8557 0 -1 1077944320 242418 0 0 0 239159 525 0 0 20 0 15 0 122100662 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 140735984171872 139876899507959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
/proc/27166/statm: 3495183 208730 3254 1 0 3483476 0
[pid=27166/tid=27167] ppid=27164 vsize=13980732 memory=1380 CPUtime=2300.1 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (java) R 27164 27164 8557 0 -1 4202560 58766 0 0 0 229988 22 0 0 20 0 15 0 122100662 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139876903747360 139876504777693 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27168] ppid=27164 vsize=13980732 memory=834920 CPUtime=20.3 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (java) S 27164 27164 8557 0 -1 1077944384 14190 0 0 0 1927 103 0 0 20 0 15 0 122100663 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139876818921872 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27169] ppid=27164 vsize=13980732 memory=1380 CPUtime=20.27 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (java) S 27164 27164 8557 0 -1 1077944384 14724 0 0 0 1920 107 0 0 20 0 15 0 122100663 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139876498401552 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27170] ppid=27164 vsize=13980732 memory=616 CPUtime=20.28 cores=1,3,5,7
/proc/27166/task/27170/stat : 27170 (java) S 27164 27164 8557 0 -1 1077944384 14881 0 0 0 1923 105 0 0 20 0 15 0 122100663 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139876497349264 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27171] ppid=27164 vsize=13980732 memory=1380 CPUtime=20.33 cores=1,3,5,7
/proc/27166/task/27171/stat : 27171 (java) S 27164 27164 8557 0 -1 1077944384 15185 0 0 0 1929 104 0 0 20 0 15 0 122100663 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139876496296464 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27172] ppid=27164 vsize=13980732 memory=834920 CPUtime=0.93 cores=1,3,5,7
/proc/27166/task/27172/stat : 27172 (java) S 27164 27164 8557 0 -1 1077944384 43442 0 0 0 75 18 0 0 20 0 15 0 122100664 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139875816258160 139876899519106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27173] ppid=27164 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27173/stat : 27173 (java) S 27164 27164 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 122100664 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139875815204192 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27174] ppid=27164 vsize=13980732 memory=847636 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27174/stat : 27174 (java) S 27164 27164 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 122100665 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139875814151808 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27175] ppid=27164 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27175/stat : 27175 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139875813100112 139876899526555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27176] ppid=27164 vsize=13980732 memory=834920 CPUtime=6.16 cores=1,3,5,7
/proc/27166/task/27176/stat : 27176 (java) S 27164 27164 8557 0 -1 1077944384 34893 0 0 0 611 5 0 0 20 0 15 0 122100667 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139875812046960 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27177] ppid=27164 vsize=13980732 memory=1380 CPUtime=6.16 cores=1,3,5,7
/proc/27166/task/27177/stat : 27177 (java) S 27164 27164 8557 0 -1 1077944384 30073 0 0 0 613 3 0 0 20 0 15 0 122100667 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139875474991088 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27178] ppid=27164 vsize=13980732 memory=1380 CPUtime=1.04 cores=1,3,5,7
/proc/27166/task/27178/stat : 27178 (java) S 27164 27164 8557 0 -1 1077944384 14120 0 0 0 101 3 0 0 20 0 15 0 122100667 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139875473938800 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27179] ppid=27164 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27179/stat : 27179 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139875472886240 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27180] ppid=27164 vsize=13980732 memory=834920 CPUtime=1.18 cores=1,3,5,7
/proc/27166/task/27180/stat : 27180 (java) S 27164 27164 8557 0 -1 1077944384 799 0 0 0 48 70 0 0 20 0 15 0 122100671 14316269568 208730 18446744073709551615 4194304 4196468 140735984189328 139875471834032 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
Current children cumulated CPU time: 2396.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 836300 KiB

[startup+2382.3 s]
/proc/loadavg: 1.42 1.51 1.61 3/211 28161
/proc/meminfo: memFree=30187320/32770624 swapFree=67105588/67108860
[pid=27164] ppid=27161 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27164/stat : 27164 (xcsp3-exec) S 27161 27164 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122100649 9740288 345 18446744073709551615 4194304 5098028 140722491576032 140722491574136 140198094471804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 15351808 140722491584888 140722491585093 140722491585093 140722491588587 0
/proc/27164/statm: 2378 345 289 221 0 87 0
[pid=27166] ppid=27164 vsize=13980732 memory=782520 CPUtime=2458.75 cores=1,3,5,7
/proc/27166/stat : 27166 (java) S 27164 27164 8557 0 -1 1077944320 246389 0 0 0 245343 532 0 0 20 0 15 0 122100662 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 140735984171872 139876899507959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
/proc/27166/statm: 3495183 195630 3254 1 0 3483476 0
[pid=27166/tid=27167] ppid=27164 vsize=13980732 memory=1380 CPUtime=2359.42 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (java) R 27164 27164 8557 0 -1 4202560 60948 0 0 0 235920 22 0 0 20 0 15 0 122100662 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139876903747360 139876507896076 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27168] ppid=27164 vsize=13980732 memory=757868 CPUtime=20.93 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (java) S 27164 27164 8557 0 -1 1077944384 14264 0 0 0 1989 104 0 0 20 0 15 0 122100663 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139876818921872 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27169] ppid=27164 vsize=13980732 memory=757868 CPUtime=20.91 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (java) S 27164 27164 8557 0 -1 1077944384 14961 0 0 0 1982 109 0 0 20 0 15 0 122100663 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139876498401552 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27170] ppid=27164 vsize=13980732 memory=741960 CPUtime=20.92 cores=1,3,5,7
/proc/27166/task/27170/stat : 27170 (java) S 27164 27164 8557 0 -1 1077944384 14943 0 0 0 1986 106 0 0 20 0 15 0 122100663 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139876497349264 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27171] ppid=27164 vsize=13980732 memory=741416 CPUtime=20.95 cores=1,3,5,7
/proc/27166/task/27171/stat : 27171 (java) S 27164 27164 8557 0 -1 1077944384 15243 0 0 0 1990 105 0 0 20 0 15 0 122100663 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139876496296464 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27172] ppid=27164 vsize=13980732 memory=757868 CPUtime=0.95 cores=1,3,5,7
/proc/27166/task/27172/stat : 27172 (java) S 27164 27164 8557 0 -1 1077944384 44784 0 0 0 77 18 0 0 20 0 15 0 122100664 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139875816258160 139876899519106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27173] ppid=27164 vsize=13980732 memory=741484 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27173/stat : 27173 (java) S 27164 27164 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 122100664 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139875815204192 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27174] ppid=27164 vsize=13980732 memory=757868 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27174/stat : 27174 (java) S 27164 27164 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 122100665 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139875814151808 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27175] ppid=27164 vsize=13980732 memory=782520 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27175/stat : 27175 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139875813100112 139876899526555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27176] ppid=27164 vsize=13980732 memory=1380 CPUtime=6.16 cores=1,3,5,7
/proc/27166/task/27176/stat : 27176 (java) S 27164 27164 8557 0 -1 1077944384 34893 0 0 0 611 5 0 0 20 0 15 0 122100667 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139875812046960 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27177] ppid=27164 vsize=13980732 memory=782520 CPUtime=6.16 cores=1,3,5,7
/proc/27166/task/27177/stat : 27177 (java) S 27164 27164 8557 0 -1 1077944384 30073 0 0 0 613 3 0 0 20 0 15 0 122100667 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139875474991088 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27178] ppid=27164 vsize=13980732 memory=56 CPUtime=1.04 cores=1,3,5,7
/proc/27166/task/27178/stat : 27178 (java) S 27164 27164 8557 0 -1 1077944384 14120 0 0 0 101 3 0 0 20 0 15 0 122100667 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139875473938800 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27179] ppid=27164 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27179/stat : 27179 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139875472886240 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27180] ppid=27164 vsize=13980732 memory=391160 CPUtime=1.2 cores=1,3,5,7
/proc/27166/task/27180/stat : 27180 (java) S 27164 27164 8557 0 -1 1077944384 815 0 0 0 49 71 0 0 20 0 15 0 122100671 14316269568 195630 18446744073709551615 4194304 4196468 140735984189328 139875471834032 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
Current children cumulated CPU time: 2458.75 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 783900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2441.8 s]
/proc/loadavg: 2.23 1.74 1.68 3/211 28163
/proc/meminfo: memFree=30185560/32770624 swapFree=67105588/67108860
[pid=27164] ppid=27161 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27164/stat : 27164 (xcsp3-exec) S 27161 27164 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122100649 9740288 345 18446744073709551615 4194304 5098028 140722491576032 140722491574136 140198094471804 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 15351808 140722491584888 140722491585093 140722491585093 140722491588587 0
/proc/27164/statm: 2378 345 289 221 0 87 0
[pid=27166] ppid=27164 vsize=13980732 memory=795884 CPUtime=2520.03 cores=1,3,5,7
/proc/27166/stat : 27166 (java) S 27164 27164 8557 0 -1 1077944320 249747 0 0 0 251461 542 0 0 20 0 15 0 122100662 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 140735984171872 139876899507959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
/proc/27166/statm: 3495183 198971 3254 1 0 3483476 0
[pid=27166/tid=27167] ppid=27164 vsize=13980732 memory=1228 CPUtime=2418.29 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (java) R 27164 27164 8557 0 -1 4202560 61548 0 0 0 241806 23 0 0 20 0 15 0 122100662 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139876903747472 139876508688375 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27168] ppid=27164 vsize=13980732 memory=1400 CPUtime=21.52 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (java) S 27164 27164 8557 0 -1 1077944384 14523 0 0 0 2046 106 0 0 20 0 15 0 122100663 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139876818921872 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27169] ppid=27164 vsize=13980732 memory=-8774313645642428999 CPUtime=21.5 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (java) S 27164 27164 8557 0 -1 1077944384 15435 0 0 0 2039 111 0 0 20 0 15 0 122100663 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139876498401552 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27170] ppid=27164 vsize=13980732 memory=1380 CPUtime=21.5 cores=1,3,5,7
/proc/27166/task/27170/stat : 27170 (java) S 27164 27164 8557 0 -1 1077944384 15215 0 0 0 2042 108 0 0 20 0 15 0 122100663 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139876497349264 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27171] ppid=27164 vsize=13980732 memory=831776 CPUtime=21.55 cores=1,3,5,7
/proc/27166/task/27171/stat : 27171 (java) S 27164 27164 8557 0 -1 1077944384 15657 0 0 0 2047 108 0 0 20 0 15 0 122100663 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139876496296464 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27172] ppid=27164 vsize=13980732 memory=4584 CPUtime=0.97 cores=1,3,5,7
/proc/27166/task/27172/stat : 27172 (java) S 27164 27164 8557 0 -1 1077944384 46102 0 0 0 79 18 0 0 20 0 15 0 122100664 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139875816258160 139876899519106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27173] ppid=27164 vsize=13980732 memory=872 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27173/stat : 27173 (java) S 27164 27164 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 122100664 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139875815204192 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27174] ppid=27164 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27174/stat : 27174 (java) S 27164 27164 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 122100665 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139875814151808 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27175] ppid=27164 vsize=13980732 memory=808700 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27175/stat : 27175 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139875813100112 139876899526555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27176] ppid=27164 vsize=13980732 memory=1672 CPUtime=6.16 cores=1,3,5,7
/proc/27166/task/27176/stat : 27176 (java) S 27164 27164 8557 0 -1 1077944384 34895 0 0 0 611 5 0 0 20 0 15 0 122100667 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139875812046960 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27177] ppid=27164 vsize=13980732 memory=5768 CPUtime=6.16 cores=1,3,5,7
/proc/27166/task/27177/stat : 27177 (java) S 27164 27164 8557 0 -1 1077944384 30075 0 0 0 613 3 0 0 20 0 15 0 122100667 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139875474991088 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27178] ppid=27164 vsize=13980732 memory=1380 CPUtime=1.04 cores=1,3,5,7
/proc/27166/task/27178/stat : 27178 (java) S 27164 27164 8557 0 -1 1077944384 14122 0 0 0 101 3 0 0 20 0 15 0 122100667 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139875473938800 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27179] ppid=27164 vsize=13980732 memory=3312 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27179/stat : 27179 (java) S 27164 27164 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122100667 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139875472886240 139876899518165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
[pid=27166/tid=27180] ppid=27164 vsize=13980732 memory=-8253362762722141311 CPUtime=1.24 cores=1,3,5,7
/proc/27166/task/27180/stat : 27180 (java) S 27164 27164 8557 0 -1 1077944384 830 0 0 0 51 73 0 0 20 0 15 0 122100671 14316269568 198971 18446744073709551615 4194304 4196468 140735984189328 139875471834032 139876899519106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7233536 140735984198065 140735984198241 140735984198241 140735984201679 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 797264 KiB

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

[startup+2441.81 s]
# the end of solver process 27164 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001774 s, system=0.000184 s

[startup+2441.81 s]
# the end of solver process 27166 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.63 s, system=5.42592 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): 2441.81
CPU time (s): 2520.05
CPU user time (s): 2514.63
CPU system time (s): 5.42592
CPU usage (%): 103.204
Max. virtual memory (cumulated for all children) (KiB): 13992668
Max. memory (cumulated for all children) (KiB): 1019596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.63
system time used= 5.42593
maximum resident set size= 1018216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69089
involuntary context switches= 4553


# summary of solver processes directly reported to runsolver:
#   pid: 27164,27166
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2514.63
#   total CPU system time (s): 5.42592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8554 second user time and 24.2868 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml
MD5SUM	72502af2971f560ebaea982d6c1ff669
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	684
Best CPU time to get the best result obtained on this benchmark	2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables	992
Number of constraints	960
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}]
Minimum variable degree	0
Maximum variable degree	59
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}]
Minimum constraint arity	1
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}]
Number of extensional constraints	0
Number of intensional constraints	30
Distribution of constraint types	[{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4283585

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