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
OscaR - ALNS 2017-07-26	SAT (TO)	1159	2520.1399	2457.9299

0.26/0.38	c version: 2017-07-26
0.26/0.38	c seed: 1548948449
0.26/0.38	c timeout: 2520
0.26/0.38	c memlimit: 11000
0.26/0.38	c nbcore: 4
0.26/0.41	c Parsing instance...
2.20/1.19	c Parsing done, starting search...
2.47/1.25	o 1990
19.94/15.54	o 1641
172.10/164.91	o 1640
679.69/660.28	o 1636
848.30/824.98	o 1622
917.02/892.03	o 1611
917.33/892.34	o 1522
917.73/892.71	o 1491
1018.71/991.37	o 1457
1024.51/997.09	o 1431
1241.26/1208.60	o 1407
1241.66/1209.09	o 1392
1242.27/1209.61	o 1384
1494.40/1455.96	o 1381
1494.71/1456.26	o 1378
1658.03/1615.81	o 1376
1761.30/1716.75	o 1366
1761.60/1717.06	o 1331
2009.72/1959.49	o 1319
2141.79/2088.34	o 1196
2149.45/2095.87	o 1173
2153.23/2099.51	o 1159
2520.10/2457.90	s SATISFIABLE
2520.10/2457.91	v <instantiation>
2520.10/2457.91	v 	<list>
2520.10/2457.91	v 		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]
2520.10/2457.91	v 	</list>
2520.10/2457.91	v 	<values>
2520.10/2457.91	v 		0 1 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 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 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 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 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 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 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 11 36 33 81 40 74 74 86 66 86 23 55 62 36 100 46 100 36 100 82 46 100 100 13 76 76 63 48 19 20 24 39 
2520.10/2457.91	v 	</values>
2520.10/2457.91	v </instantiation>

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 (14712 MiB free)
  memory of node 1: 16384 MiB (15468 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273288-1502832341/watcher-4273288-1502832341 -o /tmp/evaluation-result-4273288-1502832341/solver-4273288-1502832341 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502806776-30868 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1548948449 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273288-1502832341.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=1735, runsolver pid=1732
Current StackSize limit: 8192 KiB


[startup+0.105761 s]*
/proc/loadavg: 1.78 1.74 1.76 3/205 1742
/proc/meminfo: memFree=30893612/32770624 swapFree=67108860/67108860
[pid=1735] ppid=1732 vsize=13573664 memory=16572 CPUtime=0.02 cores=1,3,5,7
/proc/1735/stat : 1735 (java) S 1732 1735 17093 0 -1 1077944320 4029 0 0 0 2 0 0 0 20 0 9 0 85427294 13899431936 4143 18446744073709551615 4194304 4196468 140732799482096 140732799464640 140259710066423 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
/proc/1735/statm: 3393416 4143 2072 1 0 3382913 0
[pid=1735/tid=1737] ppid=1732 vsize=13573664 memory=6933928925625698159 CPUtime=0.02 cores=1,3,5,7
/proc/1735/task/1737/stat : 1737 (java) R 1732 1735 17093 0 -1 4202560 2716 0 0 0 2 0 0 0 20 0 9 0 85427302 13899431936 4208 18446744073709551615 4194304 4196468 140732799482096 140259714302568 140259694146910 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1738] ppid=1732 vsize=13573664 memory=3677534773662714415 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1738/stat : 1738 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 85427303 13899431936 4208 18446744073709551615 4194304 4196468 140732799482096 140259675347216 140259710076629 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1739] ppid=1732 vsize=13573664 memory=140034149566080 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1739/stat : 1739 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 85427303 13899431936 4208 18446744073709551615 4194304 4196468 140732799482096 140259674294672 140259710076629 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1740] ppid=1732 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1740/stat : 1740 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 85427303 13899431936 4208 18446744073709551615 4194304 4196468 140732799482096 140259308603920 140259710076629 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1741] ppid=1732 vsize=13573664 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1741/stat : 1741 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 85427303 13899431936 4208 18446744073709551615 4194304 4196468 140732799482096 140259307551376 140259710076629 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1742] ppid=1732 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1742/stat : 1742 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 85427304 13899431936 4208 18446744073709551615 4194304 4196468 140732799482096 140259188738544 140259710077570 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1743] ppid=1732 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1743/stat : 1743 (java) S 1732 1735 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 85427305 13899431936 4208 18446744073709551615 4194304 4196468 140732799482096 140259187684768 140259710076629 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1744] ppid=1732 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1744/stat : 1744 (java) S 1732 1735 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 85427305 13899431936 4208 18446744073709551615 4194304 4196468 140732799482096 140259186632240 140259710076629 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16572 KiB

[startup+0.210891 s]*
/proc/loadavg: 1.78 1.74 1.76 4/213 1750
/proc/meminfo: memFree=30877740/32770624 swapFree=67108860/67108860
[pid=1735] ppid=1732 vsize=13975920 memory=30564 CPUtime=0.1 cores=1,3,5,7
/proc/1735/stat : 1735 (java) S 1732 1735 17093 0 -1 1077944320 6939 0 0 0 9 1 0 0 20 0 15 0 85427294 14311342080 7641 18446744073709551615 4194304 4196468 140732799482096 140732799464640 140259710066423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
/proc/1735/statm: 3493980 7641 3377 1 0 3482759 0
[pid=1735/tid=1737] ppid=1732 vsize=13975920 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/1735/task/1737/stat : 1737 (java) R 1732 1735 17093 0 -1 4202560 5011 0 0 0 7 0 0 0 20 0 15 0 85427302 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259714285472 140259710088349 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1738] ppid=1732 vsize=13975920 memory=330 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1738/stat : 1738 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427303 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259675347216 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1739] ppid=1732 vsize=13975920 memory=140034149585347 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1739/stat : 1739 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85427303 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259674294672 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1740] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1740/stat : 1740 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427303 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259308603920 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1741] ppid=1732 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1741/stat : 1741 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85427303 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259307551376 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1742] ppid=1732 vsize=13975920 memory=140034149566080 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1742/stat : 1742 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85427304 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259188738544 140259710077570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1743] ppid=1732 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1743/stat : 1743 (java) S 1732 1735 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85427305 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259187684768 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1744] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1744/stat : 1744 (java) S 1732 1735 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85427305 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259186632176 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1745] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1745/stat : 1745 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259185580752 140259710085019 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1746] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1746/stat : 1746 (java) S 1732 1735 17093 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 85427308 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259184527344 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1747] ppid=1732 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1747/stat : 1747 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259183474800 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1748] ppid=1732 vsize=13975920 memory=140034149566080 CPUtime=0.01 cores=1,3,5,7
/proc/1735/task/1748/stat : 1748 (java) S 1732 1735 17093 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 85427308 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259182422256 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1749] ppid=1732 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1749/stat : 1749 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259181369952 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1750] ppid=1732 vsize=13975920 memory=140034149566080 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1750/stat : 1750 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427312 14311342080 7773 18446744073709551615 4194304 4196468 140732799482096 140259180317488 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30564 KiB

[startup+0.310303 s]*
/proc/loadavg: 1.78 1.74 1.76 3/213 1750
/proc/meminfo: memFree=30863868/32770624 swapFree=67108860/67108860
[pid=1735] ppid=1732 vsize=13975920 memory=39788 CPUtime=0.26 cores=1,3,5,7
/proc/1735/stat : 1735 (java) S 1732 1735 17093 0 -1 1077944320 10723 0 0 0 23 3 0 0 20 0 15 0 85427294 14311342080 9947 18446744073709551615 4194304 4196468 140732799482096 140732799464640 140259710066423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
/proc/1735/statm: 3493980 9947 3486 1 0 3482759 0
[pid=1735/tid=1737] ppid=1732 vsize=13975920 memory=6933928925625698159 CPUtime=0.17 cores=1,3,5,7
/proc/1735/task/1737/stat : 1737 (java) R 1732 1735 17093 0 -1 4202560 8451 0 0 0 15 2 0 0 20 0 15 0 85427302 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259714266176 140259693259190 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1738] ppid=1732 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1738/stat : 1738 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427303 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259675347216 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1739] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1739/stat : 1739 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85427303 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259674294672 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1740] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1740/stat : 1740 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427303 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259308603920 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1741] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1741/stat : 1741 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85427303 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259307551376 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1742] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1742/stat : 1742 (java) S 1732 1735 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 85427304 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259188738544 140259710077570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1743] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1743/stat : 1743 (java) S 1732 1735 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85427305 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259187684768 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1744] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1744/stat : 1744 (java) S 1732 1735 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85427305 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259186632176 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1745] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1745/stat : 1745 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259185580752 140259710085019 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1746] ppid=1732 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1735/task/1746/stat : 1746 (java) S 1732 1735 17093 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 15 0 85427308 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259184527344 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1747] ppid=1732 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1735/task/1747/stat : 1747 (java) S 1732 1735 17093 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 15 0 85427308 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259183474800 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1748] ppid=1732 vsize=13975920 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/1735/task/1748/stat : 1748 (java) R 1732 1735 17093 0 -1 4202560 456 0 0 0 5 0 0 0 20 0 15 0 85427308 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259182422256 140259689007891 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1749] ppid=1732 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1749/stat : 1749 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259181369952 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1750] ppid=1732 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1750/stat : 1750 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427312 14311342080 10013 18446744073709551615 4194304 4196468 140732799482096 140259180317488 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39788 KiB

[startup+0.702948 s]
/proc/loadavg: 1.78 1.74 1.76 5/213 1750
/proc/meminfo: memFree=30840452/32770624 swapFree=67108860/67108860
[pid=1735] ppid=1732 vsize=13977988 memory=69160 CPUtime=1.1 cores=1,3,5,7
/proc/1735/stat : 1735 (java) S 1732 1735 17093 0 -1 1077944320 13984 0 0 0 105 5 0 0 20 0 15 0 85427294 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140732799464640 140259710066423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
/proc/1735/statm: 3494497 17290 3725 1 0 3483271 0
[pid=1735/tid=1737] ppid=1732 vsize=13977988 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/1735/task/1737/stat : 1737 (java) R 1732 1735 17093 0 -1 4202560 10394 0 0 0 53 3 0 0 20 0 15 0 85427302 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259714298784 140259694110053 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1738] ppid=1732 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1738/stat : 1738 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427303 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259675347216 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1739] ppid=1732 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1739/stat : 1739 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85427303 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259674294672 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1740] ppid=1732 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1740/stat : 1740 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427303 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259308603920 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1741] ppid=1732 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1741/stat : 1741 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85427303 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259307551376 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1742] ppid=1732 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1742/stat : 1742 (java) S 1732 1735 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 85427304 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259188738544 140259710077570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1743] ppid=1732 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1743/stat : 1743 (java) S 1732 1735 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85427305 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259187684768 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1744] ppid=1732 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1744/stat : 1744 (java) S 1732 1735 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85427305 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259186632176 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1745] ppid=1732 vsize=13977988 memory=19 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1745/stat : 1745 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259185580752 140259710085019 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1746] ppid=1732 vsize=13977988 memory=69 CPUtime=0.14 cores=1,3,5,7
/proc/1735/task/1746/stat : 1746 (java) S 1732 1735 17093 0 -1 1077944384 869 0 0 0 14 0 0 0 20 0 15 0 85427308 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259184527344 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1747] ppid=1732 vsize=13977988 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/1735/task/1747/stat : 1747 (java) S 1732 1735 17093 0 -1 1077944384 508 0 0 0 14 0 0 0 20 0 15 0 85427308 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259183474800 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1748] ppid=1732 vsize=13977988 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/1735/task/1748/stat : 1748 (java) R 1732 1735 17093 0 -1 4202560 831 0 0 0 23 0 0 0 20 0 15 0 85427308 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259182417984 140259710078358 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1749] ppid=1732 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1749/stat : 1749 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259181369952 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1750] ppid=1732 vsize=13977988 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1750/stat : 1750 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427312 14313459712 17290 18446744073709551615 4194304 4196468 140732799482096 140259180317488 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69160 KiB

[startup+1.50088 s]
/proc/loadavg: 1.78 1.74 1.76 5/213 1750
/proc/meminfo: memFree=30796280/32770624 swapFree=67108860/67108860
[pid=1735] ppid=1732 vsize=13982084 memory=177940 CPUtime=3.45 cores=1,3,5,7
/proc/1735/stat : 1735 (java) S 1732 1735 17093 0 -1 1077944320 30497 0 0 0 335 10 0 0 20 0 15 0 85427294 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140732799464640 140259710066423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
/proc/1735/statm: 3495521 44485 3767 1 0 3484295 0
[pid=1735/tid=1737] ppid=1732 vsize=13982084 memory=6297812982458586025 CPUtime=1.34 cores=1,3,5,7
/proc/1735/task/1737/stat : 1737 (java) R 1732 1735 17093 0 -1 4202560 15376 0 0 0 128 6 0 0 20 0 15 0 85427302 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259714303312 140259358033103 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1738] ppid=1732 vsize=13982084 memory=14398887015 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1738/stat : 1738 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427303 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259675347216 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1739] ppid=1732 vsize=13982084 memory=280068106653200 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1739/stat : 1739 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85427303 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259674294672 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1740] ppid=1732 vsize=13982084 memory=280068106673552 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1740/stat : 1740 (java) S 1732 1735 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85427303 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259308603920 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1741] ppid=1732 vsize=13982084 memory=7444819964895188565 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1741/stat : 1741 (java) S 1732 1735 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85427303 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259307551376 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1742] ppid=1732 vsize=13982084 memory=5865188000529146989 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1742/stat : 1742 (java) S 1732 1735 17093 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 85427304 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259188738544 140259710077570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1743] ppid=1732 vsize=13982084 memory=4638778411218063696 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1743/stat : 1743 (java) S 1732 1735 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85427305 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259187684768 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1744] ppid=1732 vsize=13982084 memory=7444819964895188821 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1744/stat : 1744 (java) S 1732 1735 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85427305 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259186632176 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1745] ppid=1732 vsize=13982084 memory=6148935659200796009 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1745/stat : 1745 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259185580752 140259710085019 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1746] ppid=1732 vsize=13982084 memory=-6800859132029471843 CPUtime=0.73 cores=1,3,5,7
/proc/1735/task/1746/stat : 1746 (java) R 1732 1735 17093 0 -1 4202560 4614 0 0 0 72 1 0 0 20 0 15 0 85427308 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259184526520 140259696090285 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1747] ppid=1732 vsize=13982084 memory=6656426216303648864 CPUtime=0.67 cores=1,3,5,7
/proc/1735/task/1747/stat : 1747 (java) R 1732 1735 17093 0 -1 4202560 2461 0 0 0 67 0 0 0 20 0 15 0 85427308 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259183474800 140259710080272 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1748] ppid=1732 vsize=13982084 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/1735/task/1748/stat : 1748 (java) R 1732 1735 17093 0 -1 4202560 6639 0 0 0 65 1 0 0 20 0 15 0 85427308 14317654016 44485 18446744073709551615 4194304 4196468 140732799482096 140259182422256 140259688603327 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0

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

/proc/1735/task/1737/stat : 1737 (java) R 1732 1735 17093 0 -1 4202560 108891 0 0 0 235681 63 0 0 20 0 15 0 85427302 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259714304272 140259357730917 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1738] ppid=1732 vsize=13982084 memory=641372 CPUtime=18.46 cores=1,3,5,7
/proc/1735/task/1738/stat : 1738 (java) S 1732 1735 17093 0 -1 1077944384 20325 0 0 0 1773 73 0 0 20 0 15 0 85427303 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259675347216 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1739] ppid=1732 vsize=13982084 memory=641372 CPUtime=18.44 cores=1,3,5,7
/proc/1735/task/1739/stat : 1739 (java) S 1732 1735 17093 0 -1 1077944384 21622 0 0 0 1769 75 0 0 20 0 15 0 85427303 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259674294672 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1740] ppid=1732 vsize=13982084 memory=280068106745920 CPUtime=18.43 cores=1,3,5,7
/proc/1735/task/1740/stat : 1740 (java) S 1732 1735 17093 0 -1 1077944384 22952 0 0 0 1770 73 0 0 20 0 15 0 85427303 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259308603920 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1741] ppid=1732 vsize=13982084 memory=4028 CPUtime=18.46 cores=1,3,5,7
/proc/1735/task/1741/stat : 1741 (java) S 1732 1735 17093 0 -1 1077944384 22812 0 0 0 1772 74 0 0 20 0 15 0 85427303 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259307551376 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1742] ppid=1732 vsize=13982084 memory=0 CPUtime=3.98 cores=1,3,5,7
/proc/1735/task/1742/stat : 1742 (java) S 1732 1735 17093 0 -1 1077944384 108772 0 0 0 333 65 0 0 20 0 15 0 85427304 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259188738544 140259710077570 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1743] ppid=1732 vsize=13982084 memory=641372 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1743/stat : 1743 (java) S 1732 1735 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 85427305 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259187684832 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1744] ppid=1732 vsize=13982084 memory=589664 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1744/stat : 1744 (java) S 1732 1735 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 85427305 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259186632192 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1745] ppid=1732 vsize=13982084 memory=597360 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1745/stat : 1745 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259185580752 140259710085019 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1746] ppid=1732 vsize=13982084 memory=616264 CPUtime=2.3 cores=1,3,5,7
/proc/1735/task/1746/stat : 1746 (java) S 1732 1735 17093 0 -1 1077944384 25817 0 0 0 227 3 0 0 20 0 15 0 85427308 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259184527344 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1747] ppid=1732 vsize=13982084 memory=654736 CPUtime=2.55 cores=1,3,5,7
/proc/1735/task/1747/stat : 1747 (java) S 1732 1735 17093 0 -1 1077944384 26725 0 0 0 252 3 0 0 20 0 15 0 85427308 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259183474800 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1748] ppid=1732 vsize=13982084 memory=594792 CPUtime=1.04 cores=1,3,5,7
/proc/1735/task/1748/stat : 1748 (java) S 1732 1735 17093 0 -1 1077944384 37535 0 0 0 101 3 0 0 20 0 15 0 85427308 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259182422256 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1749] ppid=1732 vsize=13982084 memory=643936 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1749/stat : 1749 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259181369952 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1750] ppid=1732 vsize=13982084 memory=638808 CPUtime=1.49 cores=1,3,5,7
/proc/1735/task/1750/stat : 1750 (java) S 1732 1735 17093 0 -1 1077944384 2461 0 0 0 68 81 0 0 20 0 15 0 85427312 14317654016 159702 18446744073709551615 4194304 4196468 140732799482096 140259180317488 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
Current children cumulated CPU time: 2442.7 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 638808 KiB

[startup+2442.31 s]
/proc/loadavg: 1.20 1.46 1.56 3/210 1893
/proc/meminfo: memFree=29546108/32770624 swapFree=67108860/67108860
[pid=1735] ppid=1732 vsize=13982084 memory=596908 CPUtime=2504.14 cores=1,3,5,7
/proc/1735/stat : 1735 (java) S 1732 1735 17093 0 -1 1077944320 405338 0 0 0 249927 487 0 0 20 0 15 0 85427294 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140732799464640 140259710066423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
/proc/1735/statm: 3495521 149227 3834 1 0 3484295 0
[pid=1735/tid=1737] ppid=1732 vsize=13982084 memory=1732 CPUtime=2416.79 cores=1,3,5,7
/proc/1735/task/1737/stat : 1737 (java) R 1732 1735 17093 0 -1 4202560 111786 0 0 0 241615 64 0 0 20 0 15 0 85427302 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259714304160 140259358606898 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1738] ppid=1732 vsize=13982084 memory=596908 CPUtime=18.94 cores=1,3,5,7
/proc/1735/task/1738/stat : 1738 (java) S 1732 1735 17093 0 -1 1077944384 20661 0 0 0 1820 74 0 0 20 0 15 0 85427303 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259675347216 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1739] ppid=1732 vsize=13982084 memory=592688 CPUtime=18.93 cores=1,3,5,7
/proc/1735/task/1739/stat : 1739 (java) S 1732 1735 17093 0 -1 1077944384 21915 0 0 0 1817 76 0 0 20 0 15 0 85427303 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259674294672 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1740] ppid=1732 vsize=13982084 memory=599628 CPUtime=18.92 cores=1,3,5,7
/proc/1735/task/1740/stat : 1740 (java) S 1732 1735 17093 0 -1 1077944384 23343 0 0 0 1818 74 0 0 20 0 15 0 85427303 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259308603920 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1741] ppid=1732 vsize=13982084 memory=602192 CPUtime=18.93 cores=1,3,5,7
/proc/1735/task/1741/stat : 1741 (java) S 1732 1735 17093 0 -1 1077944384 23079 0 0 0 1819 74 0 0 20 0 15 0 85427303 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259307551376 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1742] ppid=1732 vsize=13982084 memory=604756 CPUtime=4.09 cores=1,3,5,7
/proc/1735/task/1742/stat : 1742 (java) S 1732 1735 17093 0 -1 1077944384 110554 0 0 0 343 66 0 0 20 0 15 0 85427304 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259188738544 140259710077570 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1743] ppid=1732 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1743/stat : 1743 (java) S 1732 1735 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 85427305 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259187684832 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1744] ppid=1732 vsize=13982084 memory=590436 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1744/stat : 1744 (java) S 1732 1735 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 85427305 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259186632192 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1745] ppid=1732 vsize=13982084 memory=616264 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1745/stat : 1745 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259185580752 140259710085019 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1746] ppid=1732 vsize=13982084 memory=596908 CPUtime=2.3 cores=1,3,5,7
/proc/1735/task/1746/stat : 1746 (java) S 1732 1735 17093 0 -1 1077944384 25817 0 0 0 227 3 0 0 20 0 15 0 85427308 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259184527344 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1747] ppid=1732 vsize=13982084 memory=4048 CPUtime=2.55 cores=1,3,5,7
/proc/1735/task/1747/stat : 1747 (java) S 1732 1735 17093 0 -1 1077944384 26725 0 0 0 252 3 0 0 20 0 15 0 85427308 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259183474800 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1748] ppid=1732 vsize=13982084 memory=596908 CPUtime=1.04 cores=1,3,5,7
/proc/1735/task/1748/stat : 1748 (java) S 1732 1735 17093 0 -1 1077944384 37535 0 0 0 101 3 0 0 20 0 15 0 85427308 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259182422256 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1749] ppid=1732 vsize=13982084 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1749/stat : 1749 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259181369952 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1750] ppid=1732 vsize=13982084 memory=4126316290023845779 CPUtime=1.53 cores=1,3,5,7
/proc/1735/task/1750/stat : 1750 (java) S 1732 1735 17093 0 -1 1077944384 2465 0 0 0 70 83 0 0 20 0 15 0 85427312 14317654016 149227 18446744073709551615 4194304 4196468 140732799482096 140259180317488 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
Current children cumulated CPU time: 2504.14 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 596908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457.9 s]
/proc/loadavg: 1.09 1.42 1.55 3/210 1893
/proc/meminfo: memFree=29363356/32770624 swapFree=67108860/67108860
[pid=1735] ppid=1732 vsize=13982084 memory=587288 CPUtime=2520.1 cores=1,3,5,7
/proc/1735/stat : 1735 (java) S 1732 1735 17093 0 -1 1077944320 406404 0 0 0 251521 489 0 0 20 0 15 0 85427294 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140732799464640 140259710066423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
/proc/1735/statm: 3495521 146822 3834 1 0 3484295 0
[pid=1735/tid=1737] ppid=1732 vsize=13982084 memory=0 CPUtime=2432.21 cores=1,3,5,7
/proc/1735/task/1737/stat : 1737 (java) R 1732 1735 17093 0 -1 4202560 112574 0 0 0 243157 64 0 0 20 0 15 0 85427302 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259714304160 140259358607056 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1738] ppid=1732 vsize=13982084 memory=589648 CPUtime=19.07 cores=1,3,5,7
/proc/1735/task/1738/stat : 1738 (java) S 1732 1735 17093 0 -1 1077944384 20714 0 0 0 1833 74 0 0 20 0 15 0 85427303 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259675347216 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1739] ppid=1732 vsize=13982084 memory=604756 CPUtime=19.05 cores=1,3,5,7
/proc/1735/task/1739/stat : 1739 (java) S 1732 1735 17093 0 -1 1077944384 21995 0 0 0 1829 76 0 0 20 0 15 0 85427303 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259674294672 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1740] ppid=1732 vsize=13982084 memory=587288 CPUtime=19.04 cores=1,3,5,7
/proc/1735/task/1740/stat : 1740 (java) S 1732 1735 17093 0 -1 1077944384 23354 0 0 0 1830 74 0 0 20 0 15 0 85427303 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259308603920 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1741] ppid=1732 vsize=13982084 memory=1204 CPUtime=19.07 cores=1,3,5,7
/proc/1735/task/1741/stat : 1741 (java) S 1732 1735 17093 0 -1 1077944384 23112 0 0 0 1832 75 0 0 20 0 15 0 85427303 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259307551376 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1742] ppid=1732 vsize=13982084 memory=0 CPUtime=4.11 cores=1,3,5,7
/proc/1735/task/1742/stat : 1742 (java) S 1732 1735 17093 0 -1 1077944384 110645 0 0 0 345 66 0 0 20 0 15 0 85427304 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259188738544 140259710077570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1743] ppid=1732 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1743/stat : 1743 (java) S 1732 1735 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 85427305 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259187684832 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1744] ppid=1732 vsize=13982084 memory=164 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1744/stat : 1744 (java) S 1732 1735 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 85427305 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259186632192 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1745] ppid=1732 vsize=13982084 memory=280068107518448 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1745/stat : 1745 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259185580752 140259710085019 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1746] ppid=1732 vsize=13982084 memory=280068106806240 CPUtime=2.3 cores=1,3,5,7
/proc/1735/task/1746/stat : 1746 (java) S 1732 1735 17093 0 -1 1077944384 25819 0 0 0 227 3 0 0 20 0 15 0 85427308 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259184527344 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1747] ppid=1732 vsize=13982084 memory=55 CPUtime=2.55 cores=1,3,5,7
/proc/1735/task/1747/stat : 1747 (java) S 1732 1735 17093 0 -1 1077944384 26727 0 0 0 252 3 0 0 20 0 15 0 85427308 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259183474800 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1748] ppid=1732 vsize=13982084 memory=164 CPUtime=1.04 cores=1,3,5,7
/proc/1735/task/1748/stat : 1748 (java) S 1732 1735 17093 0 -1 1077944384 37537 0 0 0 101 3 0 0 20 0 15 0 85427308 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259182422256 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1749] ppid=1732 vsize=13982084 memory=6944652027076318631 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1749/stat : 1749 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259181369952 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1750] ppid=1732 vsize=13982084 memory=280068107864736 CPUtime=1.55 cores=1,3,5,7
/proc/1735/task/1750/stat : 1750 (java) S 1732 1735 17093 0 -1 1077944384 2469 0 0 0 71 84 0 0 20 0 15 0 85427312 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259180317488 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 587288 KiB

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

[startup+2457.93 s]
# the end of solver process 1735 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.24 s, system=4.89617 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2457.9 s]
/proc/loadavg: 1.09 1.42 1.55 3/210 1893
/proc/meminfo: memFree=29363356/32770624 swapFree=67108860/67108860
[pid=1735] ppid=1732 vsize=13982084 memory=587288 CPUtime=2520.1 cores=1,3,5,7
/proc/1735/stat : 1735 (java) S 1732 1735 17093 0 -1 1077944320 406404 0 0 0 251521 489 0 0 20 0 15 0 85427294 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140732799464640 140259710066423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
/proc/1735/statm: 3495521 146822 3834 1 0 3484295 0
[pid=1735/tid=1737] ppid=1732 vsize=13982084 memory=0 CPUtime=2432.21 cores=1,3,5,7
/proc/1735/task/1737/stat : 1737 (java) R 1732 1735 17093 0 -1 4202560 112574 0 0 0 243157 64 0 0 20 0 15 0 85427302 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259714304160 140259358607056 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1738] ppid=1732 vsize=13982084 memory=589648 CPUtime=19.07 cores=1,3,5,7
/proc/1735/task/1738/stat : 1738 (java) S 1732 1735 17093 0 -1 1077944384 20714 0 0 0 1833 74 0 0 20 0 15 0 85427303 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259675347216 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1739] ppid=1732 vsize=13982084 memory=604756 CPUtime=19.05 cores=1,3,5,7
/proc/1735/task/1739/stat : 1739 (java) S 1732 1735 17093 0 -1 1077944384 21995 0 0 0 1829 76 0 0 20 0 15 0 85427303 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259674294672 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1740] ppid=1732 vsize=13982084 memory=587288 CPUtime=19.04 cores=1,3,5,7
/proc/1735/task/1740/stat : 1740 (java) S 1732 1735 17093 0 -1 1077944384 23354 0 0 0 1830 74 0 0 20 0 15 0 85427303 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259308603920 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1741] ppid=1732 vsize=13982084 memory=1204 CPUtime=19.07 cores=1,3,5,7
/proc/1735/task/1741/stat : 1741 (java) S 1732 1735 17093 0 -1 1077944384 23112 0 0 0 1832 75 0 0 20 0 15 0 85427303 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259307551376 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1742] ppid=1732 vsize=13982084 memory=0 CPUtime=4.11 cores=1,3,5,7
/proc/1735/task/1742/stat : 1742 (java) S 1732 1735 17093 0 -1 1077944384 110645 0 0 0 345 66 0 0 20 0 15 0 85427304 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259188738544 140259710077570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1743] ppid=1732 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1743/stat : 1743 (java) S 1732 1735 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 85427305 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259187684832 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1744] ppid=1732 vsize=13982084 memory=164 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1744/stat : 1744 (java) S 1732 1735 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 85427305 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259186632192 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1745] ppid=1732 vsize=13982084 memory=280068107518448 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1745/stat : 1745 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259185580752 140259710085019 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1746] ppid=1732 vsize=13982084 memory=280068106806240 CPUtime=2.3 cores=1,3,5,7
/proc/1735/task/1746/stat : 1746 (java) S 1732 1735 17093 0 -1 1077944384 25819 0 0 0 227 3 0 0 20 0 15 0 85427308 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259184527344 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1747] ppid=1732 vsize=13982084 memory=55 CPUtime=2.55 cores=1,3,5,7
/proc/1735/task/1747/stat : 1747 (java) S 1732 1735 17093 0 -1 1077944384 26727 0 0 0 252 3 0 0 20 0 15 0 85427308 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259183474800 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1748] ppid=1732 vsize=13982084 memory=164 CPUtime=1.04 cores=1,3,5,7
/proc/1735/task/1748/stat : 1748 (java) S 1732 1735 17093 0 -1 1077944384 37537 0 0 0 101 3 0 0 20 0 15 0 85427308 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259182422256 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1749] ppid=1732 vsize=13982084 memory=6944652027076318631 CPUtime=0 cores=1,3,5,7
/proc/1735/task/1749/stat : 1749 (java) S 1732 1735 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85427308 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259181369952 140259710076629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
[pid=1735/tid=1750] ppid=1732 vsize=13982084 memory=280068107864736 CPUtime=1.55 cores=1,3,5,7
/proc/1735/task/1750/stat : 1750 (java) S 1732 1735 17093 0 -1 1077944384 2469 0 0 0 71 84 0 0 20 0 15 0 85427312 14317654016 146822 18446744073709551615 4194304 4196468 140732799482096 140259180317488 140259710077570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140732799488372 140732799488553 140732799488553 140732799492047 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 587288 KiB

Child status: 143
Real time (s): 2457.93
CPU time (s): 2520.14
CPU user time (s): 2515.24
CPU system time (s): 4.89617
CPU usage (%): 102.531
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2511088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.24
system time used= 4.89617
maximum resident set size= 2528420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406992
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146200
involuntary context switches= 5485


# summary of solver processes directly reported to runsolver:
#   pid: 1735
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2515.24
#   total CPU system time (s): 4.89617

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6145 second user time and 25.6443 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 4273288

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