2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	1329	2520.1101	2493.6201

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282108-1503120329.xml"  -tl '2520s' -p 1 -x 0
0.20/0.22	c [HOME/instance-4282108-1503120329.xml, -tl, 2520s, -p, 1, -x, 0]
0.20/0.28	c simple solver
0.36/0.35	c parse instance...
1.45/0.74	c solve instance...
3.04/1.24	o 1556 
3.04/1.25	o 1552 
3.04/1.26	o 1539 
3.04/1.26	o 1510 
3.04/1.27	o 1475 
3.04/1.27	o 1446 
3.04/1.28	o 1438 
16.87/13.58	o 1436 
16.87/13.59	o 1425 
16.87/13.59	o 1424 
16.87/13.60	o 1422 
17.01/13.60	o 1411 
17.01/13.61	o 1409 
17.01/13.61	o 1408 
17.01/13.61	o 1397 
17.01/13.62	o 1395 
17.01/13.62	o 1384 
17.01/13.64	o 1368 
17.01/13.66	o 1348 
17.01/13.68	o 1340 
28.96/25.46	o 1339 
279.34/275.44	o 1336 
279.34/275.44	o 1335 
279.44/275.51	o 1329 
2520.07/2493.60	s SATISFIABLE
2520.07/2493.60	v <instantiation>
2520.07/2493.60	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[0][31] x[0][32] 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[1][31] x[1][32] 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[2][31] x[2][32] 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[3][31] x[3][32] 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[4][31] x[4][32] 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[5][31] x[5][32] 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[6][31] x[6][32] 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[7][31] x[7][32] 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[8][31] x[8][32] 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[9][31] x[9][32] 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[10][31] x[10][32] 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[11][31] x[11][32] 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[12][31] x[12][32] 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[13][31] x[13][32] 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[14][31] x[14][32] 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[15][31] x[15][32] 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[16][31] x[16][32] 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[17][31] x[17][32] 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[18][31] x[18][32] 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[19][31] x[19][32] 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[20][31] x[20][32] 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[21][31] x[21][32] 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[22][31] x[22][32] 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[23][31] x[23][32] 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[24][31] x[24][32] 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[25][31] x[25][32] 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[26][31] x[26][32] 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[27][31] x[27][32] 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[28][31] x[28][32] 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[29][31] x[29][32] 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] x[30][31] x[30][32] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] 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] u[31] u[32] </list>
2520.07/2493.60	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 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 1 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 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 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 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 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 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 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 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 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 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 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 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 1 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 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 32 47 51 64 68 82 53 65 74 56 24 34 55 27 92 10 77 37 96 22 25 19 14 60 36 70 93 15 18 97 24 96 </values>
2520.07/2493.60	v </instantiation>
2520.07/2493.60	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 (15225 MiB free)
  memory of node 1: 16384 MiB (15572 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282108-1503120329/watcher-4282108-1503120329 -o /tmp/evaluation-result-4282108-1503120329/solver-4282108-1503120329 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 316085488 HOME/instance-4282108-1503120329.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=23570, runsolver pid=23567
Current StackSize limit: 8192 KiB


[startup+0.107502 s]*
/proc/loadavg: 2.00 2.03 2.06 3/207 23581
/proc/meminfo: memFree=31525556/32770624 swapFree=67108860/67108860
[pid=23570] ppid=23567 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23570/stat : 23570 (xcsp3-exec) S 23567 23570 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10440013 9740288 345 18446744073709551615 4194304 5098028 140731348522944 140731348521048 140621412995708 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 20717568 140731348525434 140731348525638 140731348525638 140731348529131 0
/proc/23570/statm: 2378 345 289 221 0 87 0
[pid=23572] ppid=23570 vsize=13907304 memory=21984 CPUtime=0.06 cores=1,3,5,7
/proc/23572/stat : 23572 (java) S 23570 23570 18108 0 -1 1077944320 4883 0 0 0 5 1 0 0 20 0 14 0 10440018 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 140728089065968 139826399379191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
/proc/23572/statm: 3476826 5496 2579 1 0 3466323 0
[pid=23572/tid=23573] ppid=23570 vsize=13907304 memory=-8713483618642721888 CPUtime=0.04 cores=1,3,5,7
/proc/23572/task/23573/stat : 23573 (java) D 23570 23570 18108 0 -1 4202560 3059 0 0 0 4 0 0 0 20 0 14 0 10440019 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139826403616672 139826399401213 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23574] ppid=23570 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23574/stat : 23574 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10440019 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139826356345488 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23575] ppid=23570 vsize=13907304 memory=140329854514816 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23575/stat : 23575 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10440019 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139826355292688 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23576] ppid=23570 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23576/stat : 23576 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10440019 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139826354239888 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23577] ppid=23570 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23577/stat : 23577 (java) S 23570 23570 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 10440019 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139826353187088 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23578] ppid=23570 vsize=13907304 memory=140329854514816 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23578/stat : 23578 (java) S 23570 23570 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 10440021 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139825877330800 139826399390338 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23579] ppid=23570 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23579/stat : 23579 (java) S 23570 23570 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 10440021 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139825876276768 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23580] ppid=23570 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23580/stat : 23580 (java) S 23570 23570 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 10440021 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139825875223920 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23581] ppid=23570 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23581/stat : 23581 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 10440024 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139825874172240 139826399397787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23582] ppid=23570 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23582/stat : 23582 (java) S 23570 23570 18108 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 14 0 10440024 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139825873119600 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23583] ppid=23570 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23583/stat : 23583 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10440024 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139825872066800 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23584] ppid=23570 vsize=13907304 memory=140329854514816 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23584/stat : 23584 (java) S 23570 23570 18108 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 14 0 10440024 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139825871014000 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23585] ppid=23570 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23585/stat : 23585 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 10440024 14241079296 5496 18446744073709551615 4194304 4196468 140728089083424 139825869961440 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23364 KiB

[startup+0.214466 s]*
/proc/loadavg: 2.00 2.03 2.06 4/212 23586
/proc/meminfo: memFree=31517604/32770624 swapFree=67108860/67108860
[pid=23570] ppid=23567 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23570/stat : 23570 (xcsp3-exec) S 23567 23570 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10440013 9740288 345 18446744073709551615 4194304 5098028 140731348522944 140731348521048 140621412995708 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 20717568 140731348525434 140731348525638 140731348525638 140731348529131 0
/proc/23570/statm: 2378 345 289 221 0 87 0
[pid=23572] ppid=23570 vsize=13974352 memory=31048 CPUtime=0.2 cores=1,3,5,7
/proc/23572/stat : 23572 (java) S 23570 23570 18108 0 -1 1077944320 6198 0 0 0 19 1 0 0 20 0 15 0 10440018 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 140728089065968 139826399379191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
/proc/23572/statm: 3493588 7762 2920 1 0 3482964 0
[pid=23572/tid=23573] ppid=23570 vsize=13974352 memory=7311146985107750967 CPUtime=0.12 cores=1,3,5,7
/proc/23572/task/23573/stat : 23573 (java) R 23570 23570 18108 0 -1 4202560 3528 0 0 0 12 0 0 0 20 0 15 0 10440019 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139826403609536 139826399401117 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23574] ppid=23570 vsize=13974352 memory=12504 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23574/stat : 23574 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440019 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139826356345488 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23575] ppid=23570 vsize=13974352 memory=140329854534385 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23575/stat : 23575 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440019 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139826355292688 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23576] ppid=23570 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23576/stat : 23576 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440019 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139826354239888 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23577] ppid=23570 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23577/stat : 23577 (java) S 23570 23570 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10440019 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139826353187088 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23578] ppid=23570 vsize=13974352 memory=140329854514816 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23578/stat : 23578 (java) S 23570 23570 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10440021 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139825877330800 139826399390338 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23579] ppid=23570 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23579/stat : 23579 (java) S 23570 23570 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10440021 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139825876276768 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23580] ppid=23570 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23580/stat : 23580 (java) S 23570 23570 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10440021 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139825875223920 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23581] ppid=23570 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23581/stat : 23581 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139825874172240 139826399397787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23582] ppid=23570 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23572/task/23582/stat : 23582 (java) S 23570 23570 18108 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 15 0 10440024 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139825873119600 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23583] ppid=23570 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23572/task/23583/stat : 23583 (java) S 23570 23570 18108 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 15 0 10440024 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139825872066800 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23584] ppid=23570 vsize=13974352 memory=140329854514816 CPUtime=0.04 cores=1,3,5,7
/proc/23572/task/23584/stat : 23584 (java) R 23570 23570 18108 0 -1 4202560 685 0 0 0 4 0 0 0 20 0 15 0 10440024 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139825871014000 139826377507189 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23585] ppid=23570 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23585/stat : 23585 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139825869961440 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23586] ppid=23570 vsize=13974352 memory=140329854514816 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23586/stat : 23586 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440027 14309736448 7762 18446744073709551615 4194304 4196468 140728089083424 139825868909744 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32428 KiB

[startup+0.310334 s]*
/proc/loadavg: 2.00 2.03 2.06 4/212 23586
/proc/meminfo: memFree=31506744/32770624 swapFree=67108860/67108860
[pid=23570] ppid=23567 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23570/stat : 23570 (xcsp3-exec) S 23567 23570 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10440013 9740288 345 18446744073709551615 4194304 5098028 140731348522944 140731348521048 140621412995708 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 20717568 140731348525434 140731348525638 140731348525638 140731348529131 0
/proc/23570/statm: 2378 345 289 221 0 87 0
[pid=23572] ppid=23570 vsize=13978608 memory=40396 CPUtime=0.36 cores=1,3,5,7
/proc/23572/stat : 23572 (java) S 23570 23570 18108 0 -1 1077944320 9789 0 0 0 33 3 0 0 20 0 15 0 10440018 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 140728089065968 139826399379191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
/proc/23572/statm: 3494652 10099 3048 1 0 3482964 0
[pid=23572/tid=23573] ppid=23570 vsize=13978608 memory=-8774313645642428999 CPUtime=0.21 cores=1,3,5,7
/proc/23572/task/23573/stat : 23573 (java) R 23570 23570 18108 0 -1 4202560 6982 0 0 0 19 2 0 0 20 0 15 0 10440019 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139826403602528 139826392057205 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23574] ppid=23570 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23574/stat : 23574 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440019 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139826356345488 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23575] ppid=23570 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23575/stat : 23575 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440019 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139826355292688 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23576] ppid=23570 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23576/stat : 23576 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440019 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139826354239888 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23577] ppid=23570 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23577/stat : 23577 (java) S 23570 23570 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10440019 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139826353187088 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23578] ppid=23570 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23578/stat : 23578 (java) S 23570 23570 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10440021 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139825877330800 139826399390338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23579] ppid=23570 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23579/stat : 23579 (java) S 23570 23570 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10440021 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139825876276768 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23580] ppid=23570 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23580/stat : 23580 (java) S 23570 23570 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10440021 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139825875223920 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23581] ppid=23570 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23581/stat : 23581 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139825874172240 139826399397787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23582] ppid=23570 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23572/task/23582/stat : 23582 (java) S 23570 23570 18108 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 15 0 10440024 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139825873119600 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23583] ppid=23570 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23572/task/23583/stat : 23583 (java) S 23570 23570 18108 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 10440024 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139825872066800 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23584] ppid=23570 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23572/task/23584/stat : 23584 (java) S 23570 23570 18108 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 15 0 10440024 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139825871014000 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23585] ppid=23570 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23585/stat : 23585 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139825869961440 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23586] ppid=23570 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23586/stat : 23586 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440027 14314094592 10099 18446744073709551615 4194304 4196468 140728089083424 139825868909744 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41776 KiB

[startup+0.70125 s]
/proc/loadavg: 2.00 2.03 2.06 6/212 23586
/proc/meminfo: memFree=31494652/32770624 swapFree=67108860/67108860
[pid=23570] ppid=23567 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23570/stat : 23570 (xcsp3-exec) S 23567 23570 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10440013 9740288 345 18446744073709551615 4194304 5098028 140731348522944 140731348521048 140621412995708 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 20717568 140731348525434 140731348525638 140731348525638 140731348529131 0
/proc/23570/statm: 2378 345 289 221 0 87 0
[pid=23572] ppid=23570 vsize=13980732 memory=75776 CPUtime=1.45 cores=1,3,5,7
/proc/23572/stat : 23572 (java) S 23570 23570 18108 0 -1 1077944320 13694 0 0 0 140 5 0 0 20 0 15 0 10440018 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 140728089065968 139826399379191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
/proc/23572/statm: 3495183 18944 3170 1 0 3483476 0
[pid=23572/tid=23573] ppid=23570 vsize=13980732 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/23572/task/23573/stat : 23573 (java) R 23570 23570 18108 0 -1 4202560 8091 0 0 0 56 3 0 0 20 0 15 0 10440019 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139826403613824 139826032674517 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23574] ppid=23570 vsize=13980732 memory=280659470236160 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23574/stat : 23574 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440019 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139826356345488 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23575] ppid=23570 vsize=13980732 memory=6916 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23575/stat : 23575 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440019 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139826355292688 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23576] ppid=23570 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23576/stat : 23576 (java) S 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440019 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139826354239888 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23577] ppid=23570 vsize=13980732 memory=4786094775905505632 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23577/stat : 23577 (java) S 23570 23570 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10440019 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139826353187088 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23578] ppid=23570 vsize=13980732 memory=-9103592754265824629 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23578/stat : 23578 (java) S 23570 23570 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10440021 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139825877330800 139826399390338 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23579] ppid=23570 vsize=13980732 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23579/stat : 23579 (java) S 23570 23570 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10440021 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139825876276768 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23580] ppid=23570 vsize=13980732 memory=-7384994778349281184 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23580/stat : 23580 (java) S 23570 23570 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10440021 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139825875223920 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23581] ppid=23570 vsize=13980732 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23581/stat : 23581 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139825874172240 139826399397787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23582] ppid=23570 vsize=13980732 memory=7751995073768813331 CPUtime=0.24 cores=1,3,5,7
/proc/23572/task/23582/stat : 23582 (java) R 23570 23570 18108 0 -1 4202560 1512 0 0 0 24 0 0 0 20 0 15 0 10440024 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139825873105624 139826382765734 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23583] ppid=23570 vsize=13980732 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/23572/task/23583/stat : 23583 (java) R 23570 23570 18108 0 -1 4202560 908 0 0 0 23 0 0 0 20 0 15 0 10440024 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139825872056208 139826380079495 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23584] ppid=23570 vsize=13980732 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/23572/task/23584/stat : 23584 (java) R 23570 23570 18108 0 -1 4202560 1876 0 0 0 36 0 0 0 20 0 15 0 10440024 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139825871009728 139826399391126 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23585] ppid=23570 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23585/stat : 23585 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139825869961440 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23586] ppid=23570 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23586/stat : 23586 (java) R 23570 23570 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10440027 14316269568 18944 18446744073709551615 4194304 4196468 140728089083424 139825868909744 139826399390338 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 77156 KiB

[startup+1.50082 s]
/proc/loadavg: 2.24 2.08 2.08 5/212 23586
/proc/meminfo: memFree=31460052/32770624 swapFree=67108860/67108860
[pid=23570] ppid=23567 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23570/stat : 23570 (xcsp3-exec) S 23567 23570 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10440013 9740288 345 18446744073709551615 4194304 5098028 140731348522944 140731348521048 140621412995708 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 20717568 140731348525434 140731348525638 140731348525638 140731348529131 0
/proc/23570/statm: 2378 345 289 221 0 87 0
[pid=23572] ppid=23570 vsize=13980732 memory=123016 CPUtime=3.95 cores=1,3,5,7
/proc/23572/stat : 23572 (java) S 23570 23570 18108 0 -1 1077944320 24953 0 0 0 389 6 0 0 20 0 15 0 10440018 14316269568 30754 18446744073709551615 4194304 4196468 140728089083424 140728089065968 139826399379191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0

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

/proc/23572/task/23580/stat : 23580 (java) S 23570 23570 18108 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10440021 14316269568 502615 18446744073709551615 4194304 4196468 140728089083424 139825875223920 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23581] ppid=23570 vsize=13980732 memory=1578276 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23581/stat : 23581 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14316269568 502615 18446744073709551615 4194304 4196468 140728089083424 139825874172240 139826399397787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23582] ppid=23570 vsize=13980732 memory=1380 CPUtime=1.52 cores=1,3,5,7
/proc/23572/task/23582/stat : 23582 (java) S 23570 23570 18108 0 -1 1077944384 10350 0 0 0 151 1 0 0 20 0 15 0 10440024 14316269568 502615 18446744073709551615 4194304 4196468 140728089083424 139825873119600 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23583] ppid=23570 vsize=13980732 memory=9208 CPUtime=1.81 cores=1,3,5,7
/proc/23572/task/23583/stat : 23583 (java) S 23570 23570 18108 0 -1 1077944384 10356 0 0 0 180 1 0 0 20 0 15 0 10440024 14316269568 502615 18446744073709551615 4194304 4196468 140728089083424 139825872066800 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23584] ppid=23570 vsize=13980732 memory=1292 CPUtime=0.63 cores=1,3,5,7
/proc/23572/task/23584/stat : 23584 (java) S 23570 23570 18108 0 -1 1077944384 7883 0 0 0 62 1 0 0 20 0 15 0 10440024 14316269568 502615 18446744073709551615 4194304 4196468 140728089083424 139825871014000 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23585] ppid=23570 vsize=13980732 memory=1967284 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23585/stat : 23585 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14316269568 502615 18446744073709551615 4194304 4196468 140728089083424 139825869961440 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23586] ppid=23570 vsize=13980732 memory=1380 CPUtime=0.66 cores=1,3,5,7
/proc/23572/task/23586/stat : 23586 (java) S 23570 23570 18108 0 -1 1077944384 1563 0 0 0 30 36 0 0 20 0 15 0 10440027 14316269568 502615 18446744073709551615 4194304 4196468 140728089083424 139825868909744 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
Current children cumulated CPU time: 2346.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2011840 KiB

[startup+2382.3 s]
/proc/loadavg: 1.73 1.69 1.76 3/215 23801
/proc/meminfo: memFree=29345168/32770624 swapFree=67108860/67108860
[pid=23570] ppid=23567 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23570/stat : 23570 (xcsp3-exec) S 23567 23570 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10440013 9740288 345 18446744073709551615 4194304 5098028 140731348522944 140731348521048 140621412995708 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 20717568 140731348525434 140731348525638 140731348525638 140731348529131 0
/proc/23570/statm: 2378 345 289 221 0 87 0
[pid=23572] ppid=23570 vsize=13980732 memory=2268064 CPUtime=2406.82 cores=1,3,5,7
/proc/23572/stat : 23572 (java) S 23570 23570 18108 0 -1 1077944320 139169 0 0 0 240452 230 0 0 20 0 15 0 10440018 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 140728089065968 139826399379191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
/proc/23572/statm: 3495183 567016 3253 1 0 3483476 0
[pid=23572/tid=23573] ppid=23570 vsize=13980732 memory=1380 CPUtime=2373.22 cores=1,3,5,7
/proc/23572/task/23573/stat : 23573 (java) R 23570 23570 18108 0 -1 4202560 62174 0 0 0 237200 122 0 0 20 0 15 0 10440019 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139826403618320 139826039369629 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23574] ppid=23570 vsize=13980732 memory=2268064 CPUtime=6.9 cores=1,3,5,7
/proc/23572/task/23574/stat : 23574 (java) S 23570 23570 18108 0 -1 1077944384 6616 0 0 0 676 14 0 0 20 0 15 0 10440019 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139826356345488 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23575] ppid=23570 vsize=13980732 memory=2268064 CPUtime=6.91 cores=1,3,5,7
/proc/23572/task/23575/stat : 23575 (java) S 23570 23570 18108 0 -1 1077944384 9284 0 0 0 676 15 0 0 20 0 15 0 10440019 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139826355292688 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23576] ppid=23570 vsize=13980732 memory=2268064 CPUtime=6.89 cores=1,3,5,7
/proc/23572/task/23576/stat : 23576 (java) S 23570 23570 18108 0 -1 1077944384 9406 0 0 0 675 14 0 0 20 0 15 0 10440019 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139826354239888 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23577] ppid=23570 vsize=13980732 memory=1380 CPUtime=6.9 cores=1,3,5,7
/proc/23572/task/23577/stat : 23577 (java) S 23570 23570 18108 0 -1 1077944384 9406 0 0 0 674 16 0 0 20 0 15 0 10440019 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139826353187088 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23578] ppid=23570 vsize=13980732 memory=1380 CPUtime=1.24 cores=1,3,5,7
/proc/23572/task/23578/stat : 23578 (java) S 23570 23570 18108 0 -1 1077944384 10756 0 0 0 106 18 0 0 20 0 15 0 10440021 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139825877330800 139826399390338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23579] ppid=23570 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23579/stat : 23579 (java) S 23570 23570 18108 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10440021 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139825876276768 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23580] ppid=23570 vsize=13980732 memory=2269604 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23580/stat : 23580 (java) S 23570 23570 18108 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10440021 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139825875223920 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23581] ppid=23570 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23581/stat : 23581 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139825874172240 139826399397787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23582] ppid=23570 vsize=13980732 memory=2268064 CPUtime=1.52 cores=1,3,5,7
/proc/23572/task/23582/stat : 23582 (java) S 23570 23570 18108 0 -1 1077944384 10350 0 0 0 151 1 0 0 20 0 15 0 10440024 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139825873119600 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23583] ppid=23570 vsize=13980732 memory=4128 CPUtime=1.81 cores=1,3,5,7
/proc/23572/task/23583/stat : 23583 (java) S 23570 23570 18108 0 -1 1077944384 10356 0 0 0 180 1 0 0 20 0 15 0 10440024 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139825872066800 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23584] ppid=23570 vsize=13980732 memory=9208 CPUtime=0.63 cores=1,3,5,7
/proc/23572/task/23584/stat : 23584 (java) S 23570 23570 18108 0 -1 1077944384 7883 0 0 0 62 1 0 0 20 0 15 0 10440024 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139825871014000 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23585] ppid=23570 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23585/stat : 23585 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139825869961440 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23586] ppid=23570 vsize=13980732 memory=1380 CPUtime=0.68 cores=1,3,5,7
/proc/23572/task/23586/stat : 23586 (java) S 23570 23570 18108 0 -1 1077944384 1567 0 0 0 31 37 0 0 20 0 15 0 10440027 14316269568 567016 18446744073709551615 4194304 4196468 140728089083424 139825868909744 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
Current children cumulated CPU time: 2406.82 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2269444 KiB

[startup+2442.3 s]
/proc/loadavg: 1.61 1.67 1.75 3/212 23803
/proc/meminfo: memFree=29090448/32770624 swapFree=67108860/67108860
[pid=23570] ppid=23567 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23570/stat : 23570 (xcsp3-exec) S 23567 23570 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10440013 9740288 345 18446744073709551615 4194304 5098028 140731348522944 140731348521048 140621412995708 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 20717568 140731348525434 140731348525638 140731348525638 140731348529131 0
/proc/23570/statm: 2378 345 289 221 0 87 0
[pid=23572] ppid=23570 vsize=13980732 memory=2526624 CPUtime=2467.7 cores=1,3,5,7
/proc/23572/stat : 23572 (java) S 23570 23570 18108 0 -1 1077944320 142694 0 0 0 246535 235 0 0 20 0 15 0 10440018 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 140728089065968 139826399379191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
/proc/23572/statm: 3495183 631656 3253 1 0 3483476 0
[pid=23572/tid=23573] ppid=23570 vsize=13980732 memory=706 CPUtime=2432.88 cores=1,3,5,7
/proc/23572/task/23573/stat : 23573 (java) R 23570 23570 18108 0 -1 4202560 63088 0 0 0 243162 126 0 0 20 0 15 0 10440019 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139826403618736 139826039368763 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23574] ppid=23570 vsize=13980732 memory=1380 CPUtime=7.2 cores=1,3,5,7
/proc/23572/task/23574/stat : 23574 (java) S 23570 23570 18108 0 -1 1077944384 7478 0 0 0 706 14 0 0 20 0 15 0 10440019 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139826356345488 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23575] ppid=23570 vsize=13980732 memory=1380 CPUtime=7.21 cores=1,3,5,7
/proc/23572/task/23575/stat : 23575 (java) S 23570 23570 18108 0 -1 1077944384 9889 0 0 0 706 15 0 0 20 0 15 0 10440019 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139826355292688 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23576] ppid=23570 vsize=13980732 memory=1380 CPUtime=7.2 cores=1,3,5,7
/proc/23572/task/23576/stat : 23576 (java) S 23570 23570 18108 0 -1 1077944384 10045 0 0 0 705 15 0 0 20 0 15 0 10440019 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139826354239888 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23577] ppid=23570 vsize=13980732 memory=2527564 CPUtime=7.19 cores=1,3,5,7
/proc/23572/task/23577/stat : 23577 (java) S 23570 23570 18108 0 -1 1077944384 9706 0 0 0 703 16 0 0 20 0 15 0 10440019 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139826353187088 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23578] ppid=23570 vsize=13980732 memory=2527140 CPUtime=1.25 cores=1,3,5,7
/proc/23572/task/23578/stat : 23578 (java) S 23570 23570 18108 0 -1 1077944384 10937 0 0 0 107 18 0 0 20 0 15 0 10440021 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139825877330800 139826399390338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23579] ppid=23570 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23579/stat : 23579 (java) S 23570 23570 18108 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10440021 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139825876276768 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23580] ppid=23570 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23580/stat : 23580 (java) S 23570 23570 18108 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10440021 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139825875223920 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23581] ppid=23570 vsize=13980732 memory=2528076 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23581/stat : 23581 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139825874172240 139826399397787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23582] ppid=23570 vsize=13980732 memory=1380 CPUtime=1.52 cores=1,3,5,7
/proc/23572/task/23582/stat : 23582 (java) S 23570 23570 18108 0 -1 1077944384 10352 0 0 0 151 1 0 0 20 0 15 0 10440024 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139825873119600 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23583] ppid=23570 vsize=13980732 memory=1380 CPUtime=1.81 cores=1,3,5,7
/proc/23572/task/23583/stat : 23583 (java) S 23570 23570 18108 0 -1 1077944384 10358 0 0 0 180 1 0 0 20 0 15 0 10440024 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139825872066800 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23584] ppid=23570 vsize=13980732 memory=1380 CPUtime=0.63 cores=1,3,5,7
/proc/23572/task/23584/stat : 23584 (java) S 23570 23570 18108 0 -1 1077944384 7886 0 0 0 62 1 0 0 20 0 15 0 10440024 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139825871014000 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23585] ppid=23570 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23585/stat : 23585 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139825869961440 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23586] ppid=23570 vsize=13980732 memory=2527140 CPUtime=0.7 cores=1,3,5,7
/proc/23572/task/23586/stat : 23586 (java) S 23570 23570 18108 0 -1 1077944384 1584 0 0 0 32 38 0 0 20 0 15 0 10440027 14316269568 631656 18446744073709551615 4194304 4196468 140728089083424 139825868909744 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
Current children cumulated CPU time: 2467.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2528004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2493.6 s]
/proc/loadavg: 1.60 1.66 1.74 3/212 23805
/proc/meminfo: memFree=29085680/32770624 swapFree=67108860/67108860
[pid=23570] ppid=23567 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23570/stat : 23570 (xcsp3-exec) S 23567 23570 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10440013 9740288 345 18446744073709551615 4194304 5098028 140731348522944 140731348521048 140621412995708 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 20717568 140731348525434 140731348525638 140731348525638 140731348529131 0
/proc/23570/statm: 2378 345 289 221 0 87 0
[pid=23572] ppid=23570 vsize=13980732 memory=2532808 CPUtime=2520.07 cores=1,3,5,7
/proc/23572/stat : 23572 (java) S 23570 23570 18108 0 -1 1077944320 146380 0 0 0 251767 240 0 0 20 0 15 0 10440018 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 140728089065968 139826399379191 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
/proc/23572/statm: 3495183 633202 3253 1 0 3483476 0
[pid=23572/tid=23573] ppid=23570 vsize=13980732 memory=4128 CPUtime=2483.78 cores=1,3,5,7
/proc/23572/task/23573/stat : 23573 (java) R 23570 23570 18108 0 -1 4202560 63778 0 0 0 248252 126 0 0 20 0 15 0 10440019 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139826403618624 139826037546645 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23574] ppid=23570 vsize=13980732 memory=9208 CPUtime=7.56 cores=1,3,5,7
/proc/23572/task/23574/stat : 23574 (java) S 23570 23570 18108 0 -1 1077944384 8454 0 0 0 741 15 0 0 20 0 15 0 10440019 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139826356345488 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23575] ppid=23570 vsize=13980732 memory=1292 CPUtime=7.56 cores=1,3,5,7
/proc/23572/task/23575/stat : 23575 (java) S 23570 23570 18108 0 -1 1077944384 10258 0 0 0 740 16 0 0 20 0 15 0 10440019 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139826355292688 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23576] ppid=23570 vsize=13980732 memory=-8774313645642428999 CPUtime=7.56 cores=1,3,5,7
/proc/23572/task/23576/stat : 23576 (java) S 23570 23570 18108 0 -1 1077944384 10582 0 0 0 740 16 0 0 20 0 15 0 10440019 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139826354239888 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23577] ppid=23570 vsize=13980732 memory=5408 CPUtime=7.56 cores=1,3,5,7
/proc/23572/task/23577/stat : 23577 (java) S 23570 23570 18108 0 -1 1077944384 10595 0 0 0 739 17 0 0 20 0 15 0 10440019 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139826353187088 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23578] ppid=23570 vsize=13980732 memory=8672 CPUtime=1.28 cores=1,3,5,7
/proc/23572/task/23578/stat : 23578 (java) S 23570 23570 18108 0 -1 1077944384 11129 0 0 0 109 19 0 0 20 0 15 0 10440021 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139825877330800 139826399390338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23579] ppid=23570 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23579/stat : 23579 (java) S 23570 23570 18108 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10440021 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139825876276768 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23580] ppid=23570 vsize=13980732 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23580/stat : 23580 (java) S 23570 23570 18108 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10440021 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139825875223920 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23581] ppid=23570 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23581/stat : 23581 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139825874172240 139826399397787 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23582] ppid=23570 vsize=13980732 memory=2004 CPUtime=1.52 cores=1,3,5,7
/proc/23572/task/23582/stat : 23582 (java) S 23570 23570 18108 0 -1 1077944384 10354 0 0 0 151 1 0 0 20 0 15 0 10440024 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139825873119600 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23583] ppid=23570 vsize=13980732 memory=10936 CPUtime=1.81 cores=1,3,5,7
/proc/23572/task/23583/stat : 23583 (java) S 23570 23570 18108 0 -1 1077944384 10360 0 0 0 180 1 0 0 20 0 15 0 10440024 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139825872066800 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23584] ppid=23570 vsize=13980732 memory=792 CPUtime=0.63 cores=1,3,5,7
/proc/23572/task/23584/stat : 23584 (java) S 23570 23570 18108 0 -1 1077944384 7888 0 0 0 62 1 0 0 20 0 15 0 10440024 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139825871014000 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23585] ppid=23570 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/23572/task/23585/stat : 23585 (java) S 23570 23570 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10440024 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139825869961440 139826399389397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
[pid=23572/tid=23586] ppid=23570 vsize=13980732 memory=4616 CPUtime=0.72 cores=1,3,5,7
/proc/23572/task/23586/stat : 23586 (java) S 23570 23570 18108 0 -1 1077944384 1611 0 0 0 33 39 0 0 20 0 15 0 10440027 14316269568 633202 18446744073709551615 4194304 4196468 140728089083424 139825868909744 139826399390338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39780352 140728089084338 140728089084514 140728089084514 140728089087951 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2534188 KiB

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

[startup+2493.61 s]
# the end of solver process 23570 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001681 s, system=0.000622 s

[startup+2493.62 s]
# the end of solver process 23572 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.69 s, system=2.41678 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): 2493.62
CPU time (s): 2520.11
CPU user time (s): 2517.69
CPU system time (s): 2.41678
CPU usage (%): 101.062
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 3012280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.69
system time used= 2.41678
maximum resident set size= 3018232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147207
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87016
involuntary context switches= 2767


# summary of solver processes directly reported to runsolver:
#   pid: 23570,23572
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2517.69
#   total CPU system time (s): 2.41678

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.321 second user time and 21.9011 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml
MD5SUM	7965d79c566fadd70d01c63d02ba9078
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	661
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	1122
Number of constraints	1088
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}]
Minimum variable degree	0
Maximum variable degree	63
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}]
Minimum constraint arity	1
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}]
Number of extensional constraints	0
Number of intensional constraints	32
Distribution of constraint types	[{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4282108

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