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 - Hybrid 2017-07-26	SAT (TO)	919	2520.0901	2458.1299

0.24/0.39	c version: 2017-07-26
0.24/0.39	c seed: 902903820
0.24/0.39	c timeout: 2520
0.24/0.39	c memlimit: 11000
0.24/0.39	c nbcore: 4
0.24/0.41	c Parsing instance...
2.09/1.16	c Parsing done, starting first complete search...
2.40/1.23	o 1456
2.40/1.24	o 1435
2.40/1.25	o 1430
2.40/1.26	o 1419
2.40/1.29	o 1414
2.40/1.29	o 1407
2.72/1.35	o 1397
2.72/1.39	o 1380
3.37/1.51	o 1368
3.37/1.52	o 1363
3.37/1.54	o 1342
3.37/1.55	o 1320
3.37/1.57	o 1311
3.37/1.58	o 1300
3.64/1.61	o 1294
3.64/1.64	o 1289
3.94/1.73	o 1285
4.28/1.92	o 1278
5.55/3.73	c First complete search done, starting ALNS search...
51.39/46.97	o 1251
88.87/83.89	o 1180
509.88/494.94	o 1156
903.56/878.91	o 1145
1025.66/998.29	o 1125
1062.13/1033.89	o 1106
1064.17/1035.88	o 1090
1064.57/1036.21	o 1089
1064.67/1036.37	o 1082
1065.18/1036.81	o 1081
1166.31/1135.67	o 1060
1214.65/1182.82	o 1053
1222.02/1190.06	o 1050
1222.12/1190.17	o 1038
1222.87/1190.82	o 1036
1224.20/1192.10	o 1032
1224.20/1192.17	o 1031
1224.60/1192.56	o 1016
1289.69/1256.15	o 1014
1290.21/1256.68	o 1013
1290.50/1257.00	o 1012
1292.25/1258.69	o 997
1293.27/1259.63	o 991
1300.64/1266.89	o 990
1301.33/1267.58	o 988
1316.40/1282.28	o 981
1474.16/1436.47	o 978
1474.76/1437.00	o 968
1481.00/1443.10	o 966
1481.10/1443.21	o 934
1481.71/1443.84	o 926
1483.16/1445.26	o 919
1809.10/1763.64	c ALNS done, starting second complete search
1809.10/1763.64	c Best operator: ValGuided(248,MaxGroup)_LastConf(valLearnMin) with improvement of: 181
2520.05/2458.10	s SATISFIABLE
2520.05/2458.11	v <instantiation>
2520.05/2458.11	v 	<list>
2520.05/2458.11	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[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30]
2520.05/2458.11	v 	</list>
2520.05/2458.11	v 	<values>
2520.05/2458.11	v 		0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 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 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 25 84 66 94 54 35 53 18 43 8 77 38 100 74 64 82 81 100 90 81 96 26 77 40 8 22 69 100 31 66 
2520.05/2458.11	v 	</values>
2520.05/2458.11	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 (12745 MiB free)
  memory of node 1: 16384 MiB (15176 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274765-1502825296/watcher-4274765-1502825296 -o /tmp/evaluation-result-4274765-1502825296/solver-4274765-1502825296 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 902903820 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274765-1502825296.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
Current StackSize limit: 8192 KiB

solver pid=6056, runsolver pid=6053

[startup+0.100111 s]*
/proc/loadavg: 1.62 1.68 1.60 3/205 6062
/proc/meminfo: memFree=28584100/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=13440536 memory=16976 CPUtime=0.01 cores=1,3,5,7
/proc/6056/stat : 6056 (java) S 6053 6056 12395 0 -1 1077944320 3563 0 0 0 1 0 0 0 20 0 7 0 124441061 13763108864 4244 18446744073709551615 4194304 4196468 140725075674752 140725075657296 139949784030967 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
/proc/6056/statm: 3360134 4244 1992 1 0 3349631 0
[pid=6056/tid=6058] ppid=6053 vsize=13440536 memory=7078086954469309281 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 12395 0 -1 4202560 2267 0 0 0 0 0 0 0 20 0 7 0 124441069 13763108864 4244 18446744073709551615 4194304 4196468 140725075674752 139949788273424 139949784052893 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6059] ppid=6053 vsize=13440536 memory=3461361991549258287 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 124441070 13763108864 4244 18446744073709551615 4194304 4196468 140725075674752 139949703445648 139949784041173 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6060] ppid=6053 vsize=13440536 memory=140588575196800 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 124441070 13763108864 4244 18446744073709551615 4194304 4196468 140725075674752 139949702392848 139949784041173 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6061] ppid=6053 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 124441070 13763108864 4244 18446744073709551615 4194304 4196468 140725075674752 139949701340048 139949784041173 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6062] ppid=6053 vsize=13440536 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 124441070 13763108864 4244 18446744073709551615 4194304 4196468 140725075674752 139949700287248 139949784041173 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6063] ppid=6053 vsize=13440536 memory=140588575196800 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 124441071 13763108864 4244 18446744073709551615 4194304 4196468 140725075674752 139949262739824 139949784042114 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 16976 KiB

[startup+0.210047 s]*
/proc/loadavg: 1.62 1.68 1.60 5/214 6071
/proc/meminfo: memFree=28576448/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=13975920 memory=31228 CPUtime=0.08 cores=1,3,5,7
/proc/6056/stat : 6056 (java) S 6053 6056 12395 0 -1 1077944320 6585 0 0 0 7 1 0 0 20 0 15 0 124441061 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 140725075657296 139949784030967 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
/proc/6056/statm: 3493980 7807 3370 1 0 3482759 0
[pid=6056/tid=6058] ppid=6053 vsize=13975920 memory=8390339637985935414 CPUtime=0.07 cores=1,3,5,7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 12395 0 -1 4202560 4625 0 0 0 6 1 0 0 20 0 15 0 124441069 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949788260128 139949768111454 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6059] ppid=6053 vsize=13975920 memory=4294967627 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441070 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949703445648 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6060] ppid=6053 vsize=13975920 memory=140588575203110 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441070 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949702392848 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6061] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124441070 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949701340048 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6062] ppid=6053 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124441070 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949700287248 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6063] ppid=6053 vsize=13975920 memory=140588575196800 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124441071 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949262739824 139949784042114 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6064] ppid=6053 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124441072 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949261685792 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6065] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124441072 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949260632944 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6066] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441074 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949259581264 139949784049563 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6067] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 12395 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 124441074 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949258529648 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6068] ppid=6053 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124441074 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949257476848 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6069] ppid=6053 vsize=13975920 memory=140588575196800 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6069/stat : 6069 (java) R 6053 6056 12395 0 -1 4202560 304 0 0 0 0 0 0 0 20 0 15 0 124441074 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949256424048 139949784052314 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6070] ppid=6053 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441075 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949255371488 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6071] ppid=6053 vsize=13975920 memory=140588575196800 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6071/stat : 6071 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441080 14311342080 7807 18446744073709551615 4194304 4196468 140725075674752 139949254318768 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 31228 KiB

[startup+0.31101 s]*
/proc/loadavg: 1.62 1.68 1.60 3/214 6071
/proc/meminfo: memFree=28564648/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=13975920 memory=40500 CPUtime=0.24 cores=1,3,5,7
/proc/6056/stat : 6056 (java) S 6053 6056 12395 0 -1 1077944320 9860 0 0 0 21 3 0 0 20 0 15 0 124441061 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 140725075657296 139949784030967 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
/proc/6056/statm: 3493980 10125 3547 1 0 3482759 0
[pid=6056/tid=6058] ppid=6053 vsize=13975920 memory=6933928925625698159 CPUtime=0.16 cores=1,3,5,7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 12395 0 -1 4202560 7587 0 0 0 14 2 0 0 20 0 15 0 124441069 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949788263808 139949784042902 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6059] ppid=6053 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441070 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949703445648 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6060] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441070 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949702392848 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6061] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124441070 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949701340048 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6062] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124441070 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949700287248 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6063] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124441071 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949262739824 139949784042114 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6064] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124441072 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949261685792 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6065] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124441072 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949260632944 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6066] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441074 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949259581264 139949784049563 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6067] ppid=6053 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 12395 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 15 0 124441074 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949258529648 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6068] ppid=6053 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 12395 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 15 0 124441074 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949257476848 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6069] ppid=6053 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6056/task/6069/stat : 6069 (java) R 6053 6056 12395 0 -1 4202560 393 0 0 0 4 0 0 0 20 0 15 0 124441074 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949256424048 139949784042902 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6070] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441075 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949255371488 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6071] ppid=6053 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6071/stat : 6071 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441080 14311342080 10125 18446744073709551615 4194304 4196468 140725075674752 139949254318768 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40500 KiB

[startup+0.701417 s]
/proc/loadavg: 1.62 1.68 1.60 4/214 6071
/proc/meminfo: memFree=28552192/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=13977988 memory=68536 CPUtime=1.05 cores=1,3,5,7
/proc/6056/stat : 6056 (java) S 6053 6056 12395 0 -1 1077944320 13295 0 0 0 100 5 0 0 20 0 15 0 124441061 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 140725075657296 139949784030967 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
/proc/6056/statm: 3494497 17134 3726 1 0 3483271 0
[pid=6056/tid=6058] ppid=6053 vsize=13977988 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 12395 0 -1 4202560 9878 0 0 0 50 4 0 0 20 0 15 0 124441069 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949788266528 139949768111454 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6059] ppid=6053 vsize=13977988 memory=6737 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441070 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949703445648 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6060] ppid=6053 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441070 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949702392848 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6061] ppid=6053 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124441070 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949701340048 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6062] ppid=6053 vsize=13977988 memory=903 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124441070 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949700287248 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6063] ppid=6053 vsize=13977988 memory=140588439612911 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124441071 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949262739824 139949784042114 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6064] ppid=6053 vsize=13977988 memory=6935649255894896720 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124441072 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949261685792 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6065] ppid=6053 vsize=13977988 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124441072 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949260632944 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6066] ppid=6053 vsize=13977988 memory=7229491607711535185 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441074 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949259581264 139949784049563 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6067] ppid=6053 vsize=13977988 memory=6935649255759569216 CPUtime=0.15 cores=1,3,5,7
/proc/6056/task/6067/stat : 6067 (java) R 6053 6056 12395 0 -1 1077944384 902 0 0 0 15 0 0 0 20 0 15 0 124441074 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949258529648 139949784042114 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6068] ppid=6053 vsize=13977988 memory=6935649255759568960 CPUtime=0.11 cores=1,3,5,7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 12395 0 -1 1077944384 321 0 0 0 11 0 0 0 20 0 15 0 124441074 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949257476848 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6069] ppid=6053 vsize=13977988 memory=5859271421084128616 CPUtime=0.23 cores=1,3,5,7
/proc/6056/task/6069/stat : 6069 (java) R 6053 6056 12395 0 -1 4202560 812 0 0 0 23 0 0 0 20 0 15 0 124441074 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949256420416 139949784052314 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6070] ppid=6053 vsize=13977988 memory=6935651454782824512 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441075 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949255371488 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6071] ppid=6053 vsize=13977988 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6071/stat : 6071 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441080 14313459712 17134 18446744073709551615 4194304 4196468 140725075674752 139949254318768 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68536 KiB

[startup+1.51099 s]
/proc/loadavg: 1.62 1.68 1.60 3/214 6071
/proc/meminfo: memFree=28512396/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=13982084 memory=168568 CPUtime=3.37 cores=1,3,5,7
/proc/6056/stat : 6056 (java) S 6053 6056 12395 0 -1 1077944320 29851 0 0 0 328 9 0 0 20 0 15 0 124441061 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 140725075657296 139949784030967 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
/proc/6056/statm: 3495521 42142 3774 1 0 3484295 0
[pid=6056/tid=6058] ppid=6053 vsize=13982084 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 12395 0 -1 4202560 14880 0 0 0 128 6 0 0 20 0 15 0 124441069 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949788268584 139949384628812 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6059] ppid=6053 vsize=13982084 memory=-7751062316387021378 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441070 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949703445648 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6060] ppid=6053 vsize=13982084 memory=6737 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124441070 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949702392848 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6061] ppid=6053 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124441070 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949701340048 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6062] ppid=6053 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124441070 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949700287248 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6063] ppid=6053 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 12395 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 124441071 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949262739824 139949784042114 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6064] ppid=6053 vsize=13982084 memory=140588439688304 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124441072 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949261685792 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6065] ppid=6053 vsize=13982084 memory=140588439688400 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124441072 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949260632944 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6066] ppid=6053 vsize=13982084 memory=140588439688496 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441074 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949259581264 139949784049563 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6067] ppid=6053 vsize=13982084 memory=140588439688592 CPUtime=0.69 cores=1,3,5,7
/proc/6056/task/6067/stat : 6067 (java) R 6053 6056 12395 0 -1 4202560 2845 0 0 0 69 0 0 0 20 0 15 0 124441074 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949258516192 139949769156902 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6068] ppid=6053 vsize=13982084 memory=140588439688688 CPUtime=0.66 cores=1,3,5,7
/proc/6056/task/6068/stat : 6068 (java) R 6053 6056 12395 0 -1 4202560 3561 0 0 0 66 0 0 0 20 0 15 0 124441074 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949257462816 139949767531364 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6069] ppid=6053 vsize=13982084 memory=140588439688784 CPUtime=0.64 cores=1,3,5,7
/proc/6056/task/6069/stat : 6069 (java) S 6053 6056 12395 0 -1 1077944384 6764 0 0 0 63 1 0 0 20 0 15 0 124441074 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949256424048 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6070] ppid=6053 vsize=13982084 memory=140588439706576 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441075 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949255371488 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6071] ppid=6053 vsize=13982084 memory=144314480 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6071/stat : 6071 (java) S 6053 6056 12395 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 124441080 14317654016 42142 18446744073709551615 4194304 4196468 140725075674752 139949254318768 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0

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

/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 12395 0 -1 4202560 98624 0 0 0 235623 71 0 0 20 0 15 0 124441069 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949788269280 139949388808762 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6059] ppid=6053 vsize=13982084 memory=718888 CPUtime=18.51 cores=1,3,5,7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 12395 0 -1 1077944384 19274 0 0 0 1779 72 0 0 20 0 15 0 124441070 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949703445648 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6060] ppid=6053 vsize=13982084 memory=714784 CPUtime=18.55 cores=1,3,5,7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 12395 0 -1 1077944384 19808 0 0 0 1782 73 0 0 20 0 15 0 124441070 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949702392848 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6061] ppid=6053 vsize=13982084 memory=644 CPUtime=18.57 cores=1,3,5,7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 12395 0 -1 1077944384 17896 0 0 0 1788 69 0 0 20 0 15 0 124441070 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949701340048 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6062] ppid=6053 vsize=13982084 memory=597708 CPUtime=18.52 cores=1,3,5,7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 12395 0 -1 1077944384 21784 0 0 0 1783 69 0 0 20 0 15 0 124441070 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949700287248 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6063] ppid=6053 vsize=13982084 memory=591564 CPUtime=4.23 cores=1,3,5,7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 12395 0 -1 1077944384 79266 0 0 0 362 61 0 0 20 0 15 0 124441071 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949262739824 139949784042114 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6064] ppid=6053 vsize=13982084 memory=716836 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 12395 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 124441072 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949261685856 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6065] ppid=6053 vsize=13982084 memory=716836 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 12395 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 124441072 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949260632960 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6066] ppid=6053 vsize=13982084 memory=129 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441074 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949259581264 139949784049563 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6067] ppid=6053 vsize=13982084 memory=241 CPUtime=2.24 cores=1,3,5,7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 12395 0 -1 1077944384 18705 0 0 0 221 3 0 0 20 0 15 0 124441074 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949258529648 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6068] ppid=6053 vsize=13982084 memory=9052 CPUtime=2.33 cores=1,3,5,7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 12395 0 -1 1077944384 23467 0 0 0 231 2 0 0 20 0 15 0 124441074 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949257476848 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6069] ppid=6053 vsize=13982084 memory=1436 CPUtime=1.02 cores=1,3,5,7
/proc/6056/task/6069/stat : 6069 (java) S 6053 6056 12395 0 -1 1077944384 34427 0 0 0 99 3 0 0 20 0 15 0 124441074 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949256424048 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 42 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6070] ppid=6053 vsize=13982084 memory=716836 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441075 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949255371488 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6071] ppid=6053 vsize=13982084 memory=4132 CPUtime=1.46 cores=1,3,5,7
/proc/6056/task/6071/stat : 6071 (java) S 6053 6056 12395 0 -1 1077944384 1490 0 0 0 60 86 0 0 20 0 15 0 124441080 14317654016 178696 18446744073709551615 4194304 4196468 140725075674752 139949254318768 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 61 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
Current children cumulated CPU time: 2442.45 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 714784 KiB

[startup+2442.3 s]
/proc/loadavg: 1.19 1.39 1.48 3/214 6301
/proc/meminfo: memFree=29592788/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=13982084 memory=622672 CPUtime=2503.88 cores=1,3,5,7
/proc/6056/stat : 6056 (java) S 6053 6056 12395 0 -1 1077944320 341419 0 0 0 249914 474 0 0 20 0 15 0 124441061 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 140725075657296 139949784030967 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
/proc/6056/statm: 3495521 155668 3833 1 0 3484295 0
[pid=6056/tid=6058] ppid=6053 vsize=13982084 memory=622672 CPUtime=2416.26 cores=1,3,5,7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 12395 0 -1 4202560 100178 0 0 0 241555 71 0 0 20 0 15 0 124441069 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949788269280 139949388808762 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6059] ppid=6053 vsize=13982084 memory=624724 CPUtime=18.99 cores=1,3,5,7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 12395 0 -1 1077944384 19661 0 0 0 1827 72 0 0 20 0 15 0 124441070 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949703445648 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6060] ppid=6053 vsize=13982084 memory=655504 CPUtime=19.03 cores=1,3,5,7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 12395 0 -1 1077944384 20142 0 0 0 1830 73 0 0 20 0 15 0 124441070 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949702392848 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6061] ppid=6053 vsize=13982084 memory=673884 CPUtime=19.04 cores=1,3,5,7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 12395 0 -1 1077944384 18188 0 0 0 1835 69 0 0 20 0 15 0 124441070 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949701340048 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6062] ppid=6053 vsize=13982084 memory=639088 CPUtime=19 cores=1,3,5,7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 12395 0 -1 1077944384 22133 0 0 0 1831 69 0 0 20 0 15 0 124441070 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949700287248 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6063] ppid=6053 vsize=13982084 memory=622672 CPUtime=4.35 cores=1,3,5,7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 12395 0 -1 1077944384 81540 0 0 0 372 63 0 0 20 0 15 0 124441071 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949262739824 139949784042114 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6064] ppid=6053 vsize=13982084 memory=1840 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 12395 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 124441072 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949261685856 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6065] ppid=6053 vsize=13982084 memory=671832 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 12395 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 124441072 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949260632960 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6066] ppid=6053 vsize=13982084 memory=634984 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441074 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949259581264 139949784049563 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6067] ppid=6053 vsize=13982084 memory=622672 CPUtime=2.24 cores=1,3,5,7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 12395 0 -1 1077944384 18708 0 0 0 221 3 0 0 20 0 15 0 124441074 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949258529648 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6068] ppid=6053 vsize=13982084 memory=4132 CPUtime=2.33 cores=1,3,5,7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 12395 0 -1 1077944384 23469 0 0 0 231 2 0 0 20 0 15 0 124441074 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949257476848 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6069] ppid=6053 vsize=13982084 memory=624724 CPUtime=1.02 cores=1,3,5,7
/proc/6056/task/6069/stat : 6069 (java) S 6053 6056 12395 0 -1 1077944384 34429 0 0 0 99 3 0 0 20 0 15 0 124441074 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949256424048 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 42 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6070] ppid=6053 vsize=13982084 memory=632932 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441075 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949255371488 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6071] ppid=6053 vsize=13982084 memory=632932 CPUtime=1.5 cores=1,3,5,7
/proc/6056/task/6071/stat : 6071 (java) S 6053 6056 12395 0 -1 1077944384 1505 0 0 0 62 88 0 0 20 0 15 0 124441080 14317654016 155668 18446744073709551615 4194304 4196468 140725075674752 139949254318768 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 61 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
Current children cumulated CPU time: 2503.88 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 622672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2458.1 s]
/proc/loadavg: 1.30 1.41 1.48 3/214 6301
/proc/meminfo: memFree=29757176/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=13982084 memory=598048 CPUtime=2520.05 cores=1,3,5,7
/proc/6056/stat : 6056 (java) S 6053 6056 12395 0 -1 1077944320 341789 0 0 0 251528 477 0 0 20 0 15 0 124441061 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 140725075657296 139949784030967 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
/proc/6056/statm: 3495521 149512 3833 1 0 3484295 0
[pid=6056/tid=6058] ppid=6053 vsize=13982084 memory=618568 CPUtime=2431.89 cores=1,3,5,7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 12395 0 -1 4202560 100436 0 0 0 243117 72 0 0 20 0 15 0 124441069 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949788269280 139949387583253 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6059] ppid=6053 vsize=13982084 memory=602152 CPUtime=19.13 cores=1,3,5,7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 12395 0 -1 1077944384 19674 0 0 0 1840 73 0 0 20 0 15 0 124441070 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949703445648 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6060] ppid=6053 vsize=13982084 memory=598048 CPUtime=19.15 cores=1,3,5,7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 12395 0 -1 1077944384 20196 0 0 0 1842 73 0 0 20 0 15 0 124441070 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949702392848 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6061] ppid=6053 vsize=13982084 memory=0 CPUtime=19.18 cores=1,3,5,7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 12395 0 -1 1077944384 18213 0 0 0 1848 70 0 0 20 0 15 0 124441070 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949701340048 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6062] ppid=6053 vsize=13982084 memory=644 CPUtime=19.13 cores=1,3,5,7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 12395 0 -1 1077944384 22148 0 0 0 1843 70 0 0 20 0 15 0 124441070 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949700287248 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6063] ppid=6053 vsize=13982084 memory=281176879500608 CPUtime=4.38 cores=1,3,5,7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 12395 0 -1 1077944384 81543 0 0 0 374 64 0 0 20 0 15 0 124441071 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949262739824 139949784042114 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6064] ppid=6053 vsize=13982084 memory=140588440517249 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 12395 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 124441072 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949261685856 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6065] ppid=6053 vsize=13982084 memory=250050 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 12395 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 124441072 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949260632960 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6066] ppid=6053 vsize=13982084 memory=241300 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441074 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949259581264 139949784049563 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6067] ppid=6053 vsize=13982084 memory=655416 CPUtime=2.24 cores=1,3,5,7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 12395 0 -1 1077944384 18708 0 0 0 221 3 0 0 20 0 15 0 124441074 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949258529648 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6068] ppid=6053 vsize=13982084 memory=288230583166042426 CPUtime=2.33 cores=1,3,5,7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 12395 0 -1 1077944384 23469 0 0 0 231 2 0 0 20 0 15 0 124441074 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949257476848 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6069] ppid=6053 vsize=13982084 memory=4296 CPUtime=1.02 cores=1,3,5,7
/proc/6056/task/6069/stat : 6069 (java) S 6053 6056 12395 0 -1 1077944384 34429 0 0 0 99 3 0 0 20 0 15 0 124441074 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949256424048 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6070] ppid=6053 vsize=13982084 memory=15884 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441075 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949255371488 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6071] ppid=6053 vsize=13982084 memory=4048 CPUtime=1.5 cores=1,3,5,7
/proc/6056/task/6071/stat : 6071 (java) S 6053 6056 12395 0 -1 1077944384 1507 0 0 0 62 88 0 0 20 0 15 0 124441080 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949254318768 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 61 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 598048 KiB

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

[startup+2458.13 s]
# the end of solver process 6056 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.32 s, system=4.77753 s

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

[startup+2458.1 s]
/proc/loadavg: 1.30 1.41 1.48 3/214 6301
/proc/meminfo: memFree=29757176/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=13982084 memory=598048 CPUtime=2520.05 cores=1,3,5,7
/proc/6056/stat : 6056 (java) S 6053 6056 12395 0 -1 1077944320 341789 0 0 0 251528 477 0 0 20 0 15 0 124441061 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 140725075657296 139949784030967 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
/proc/6056/statm: 3495521 149512 3833 1 0 3484295 0
[pid=6056/tid=6058] ppid=6053 vsize=13982084 memory=618568 CPUtime=2431.89 cores=1,3,5,7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 12395 0 -1 4202560 100436 0 0 0 243117 72 0 0 20 0 15 0 124441069 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949788269280 139949387583253 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6059] ppid=6053 vsize=13982084 memory=602152 CPUtime=19.13 cores=1,3,5,7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 12395 0 -1 1077944384 19674 0 0 0 1840 73 0 0 20 0 15 0 124441070 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949703445648 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6060] ppid=6053 vsize=13982084 memory=598048 CPUtime=19.15 cores=1,3,5,7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 12395 0 -1 1077944384 20196 0 0 0 1842 73 0 0 20 0 15 0 124441070 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949702392848 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6061] ppid=6053 vsize=13982084 memory=0 CPUtime=19.18 cores=1,3,5,7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 12395 0 -1 1077944384 18213 0 0 0 1848 70 0 0 20 0 15 0 124441070 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949701340048 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6062] ppid=6053 vsize=13982084 memory=644 CPUtime=19.13 cores=1,3,5,7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 12395 0 -1 1077944384 22148 0 0 0 1843 70 0 0 20 0 15 0 124441070 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949700287248 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6063] ppid=6053 vsize=13982084 memory=281176879500608 CPUtime=4.38 cores=1,3,5,7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 12395 0 -1 1077944384 81543 0 0 0 374 64 0 0 20 0 15 0 124441071 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949262739824 139949784042114 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6064] ppid=6053 vsize=13982084 memory=140588440517249 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 12395 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 124441072 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949261685856 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6065] ppid=6053 vsize=13982084 memory=250050 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 12395 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 124441072 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949260632960 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6066] ppid=6053 vsize=13982084 memory=241300 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441074 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949259581264 139949784049563 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6067] ppid=6053 vsize=13982084 memory=655416 CPUtime=2.24 cores=1,3,5,7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 12395 0 -1 1077944384 18708 0 0 0 221 3 0 0 20 0 15 0 124441074 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949258529648 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6068] ppid=6053 vsize=13982084 memory=288230583166042426 CPUtime=2.33 cores=1,3,5,7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 12395 0 -1 1077944384 23469 0 0 0 231 2 0 0 20 0 15 0 124441074 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949257476848 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6069] ppid=6053 vsize=13982084 memory=4296 CPUtime=1.02 cores=1,3,5,7
/proc/6056/task/6069/stat : 6069 (java) S 6053 6056 12395 0 -1 1077944384 34429 0 0 0 99 3 0 0 20 0 15 0 124441074 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949256424048 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6070] ppid=6053 vsize=13982084 memory=15884 CPUtime=0 cores=1,3,5,7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124441075 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949255371488 139949784041173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
[pid=6056/tid=6071] ppid=6053 vsize=13982084 memory=4048 CPUtime=1.5 cores=1,3,5,7
/proc/6056/task/6071/stat : 6071 (java) S 6053 6056 12395 0 -1 1077944384 1507 0 0 0 62 88 0 0 20 0 15 0 124441080 14317654016 149512 18446744073709551615 4194304 4196468 140725075674752 139949254318768 139949784042114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 61 0 0 6293624 6294260 24707072 140725075681651 140725075681833 140725075681833 140725075685327 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 598048 KiB

Child status: 143
Real time (s): 2458.13
CPU time (s): 2520.09
CPU user time (s): 2515.32
CPU system time (s): 4.77753
CPU usage (%): 102.521
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2094300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.32
system time used= 4.77753
maximum resident set size= 2113048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157044
involuntary context switches= 7894


# summary of solver processes directly reported to runsolver:
#   pid: 6056
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2515.32
#   total CPU system time (s): 4.77753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6191 second user time and 23.0584 second system time

The end

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

Trace number 4274765

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