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
R1: OscaR - Conflict Ordering 2017-06-30	SAT (TO)	1137	2400.07	2360.53

0.26/0.29	c version: 2017-06-30
0.26/0.29	c seed: 1916546486
0.26/0.29	c timeout: 2400
0.26/0.29	c memlimit: 15500
0.26/0.29	c nbcore: 8
0.44/0.31	c Parsing instance...
2.40/1.09	c Parsing done, starting search...
2.76/1.16	o 1456
2.76/1.17	o 1435
2.76/1.19	o 1430
2.76/1.20	o 1419
3.21/1.22	o 1414
3.21/1.23	o 1407
3.21/1.29	o 1397
3.59/1.32	o 1380
3.98/1.43	o 1368
3.98/1.43	o 1363
3.98/1.46	o 1342
3.98/1.46	o 1320
4.37/1.50	o 1311
4.37/1.51	o 1300
4.37/1.54	o 1294
4.37/1.57	o 1289
4.56/1.65	o 1285
4.91/1.85	o 1278
6.91/3.79	o 1257
9.19/6.00	o 1239
9.29/6.00	o 1227
9.29/6.00	o 1221
9.29/6.09	o 1214
9.39/6.10	o 1206
9.39/6.14	o 1202
9.74/6.43	o 1175
9.74/6.49	o 1172
9.95/6.64	o 1168
13.78/10.31	o 1162
13.78/10.33	o 1161
29.22/25.66	o 1154
35.70/32.03	o 1152
35.70/32.04	o 1149
586.93/575.66	o 1145
586.93/575.66	o 1142
670.62/658.04	o 1139
2257.33/2220.38	o 1138
2274.83/2237.56	o 1137
2400.03/2360.50	s SATISFIABLE
2400.03/2360.51	v <instantiation>
2400.03/2360.51	v 	<list>
2400.03/2360.51	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]
2400.03/2360.51	v 	</list>
2400.03/2360.51	v 	<values>
2400.03/2360.51	v 		0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 25 18 51 51 16 60 69 100 16 26 76 32 73 34 57 54 20 90 100 38 2 38 80 95 24 76 47 95 15 100 
2400.03/2360.51	v 	</values>
2400.03/2360.51	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246362-1500710599/watcher-4246362-1500710599 -o /tmp/evaluation-result-4246362-1500710599/solver-4246362-1500710599 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500683388-8491 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1916546486 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246362-1500710599.xml 

pid=13215
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 1.21 1.44 1.46 3/263 13218
/proc/meminfo: memFree=30572372/32770624 swapFree=5752/140100
[pid=13218] ppid=13215 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 6327310 369864704 1925 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 90299 1925 1072 1 0 79210 0
[pid=13218/tid=13219] ppid=13215 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) S 13215 13218 7995 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 6327310 369864704 1925 33554432000 4194304 4196468 140734626787104 140344479652256 140344475421314 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0

[startup+0.100124 s]
/proc/loadavg: 1.21 1.44 1.46 3/263 13218
/proc/meminfo: memFree=30572372/32770624 swapFree=5752/140100
[pid=13218] ppid=13215 vsize=13261040 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 5502 0 0 0 9 1 0 0 20 0 20 0 6327310 13579304960 5793 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 3315260 5793 2607 1 0 3303698 0
[pid=13218/tid=13219] ppid=13215 vsize=13261040 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) R 13215 13218 7995 0 -1 4202560 3574 0 0 0 8 0 0 0 20 0 20 0 6327310 13579304960 5793 33554432000 4194304 4196468 140734626787104 140344479637136 140344459490625 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13261040

[startup+0.200523 s]
/proc/loadavg: 1.21 1.44 1.46 3/263 13218
/proc/meminfo: memFree=30572372/32770624 swapFree=5752/140100
[pid=13218] ppid=13215 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 8683 0 0 0 24 2 0 0 20 0 20 0 6327310 13582245888 9141 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 3315978 9141 3516 1 0 3303698 0
[pid=13218/tid=13219] ppid=13215 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) R 13215 13218 7995 0 -1 4202560 6401 0 0 0 16 2 0 0 20 0 20 0 6327310 13582245888 9141 33554432000 4194304 4196468 140734626787104 140344479637360 140344459490654 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300366 s]
/proc/loadavg: 1.21 1.44 1.46 3/263 13218
/proc/meminfo: memFree=30572372/32770624 swapFree=5752/140100
[pid=13218] ppid=13215 vsize=13263912 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 9839 0 0 0 41 3 0 0 20 0 20 0 6327310 13582245888 11593 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 3315978 11593 3666 1 0 3303698 0
[pid=13218/tid=13219] ppid=13215 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) R 13215 13218 7995 0 -1 4202560 7103 0 0 0 26 2 0 0 20 0 20 0 6327310 13582245888 11593 33554432000 4194304 4196468 140734626787104 140344479633520 140344459490654 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13263912

[startup+0.700359 s]
/proc/loadavg: 1.21 1.44 1.46 3/263 13218
/proc/meminfo: memFree=30572372/32770624 swapFree=5752/140100
[pid=13218] ppid=13215 vsize=13265980 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 13129 0 0 0 148 5 0 0 20 0 20 0 6327310 13584363520 19976 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 3316495 19976 3774 1 0 3304210 0
[pid=13218/tid=13219] ppid=13215 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) R 13215 13218 7995 0 -1 4202560 8096 0 0 0 64 3 0 0 20 0 20 0 6327310 13584363520 19976 33554432000 4194304 4196468 140734626787104 140344479646440 140344475422102 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 13265980

[startup+1.50121 s]
/proc/loadavg: 1.21 1.44 1.46 5/283 13238
/proc/meminfo: memFree=30466836/32770624 swapFree=5752/140132
[pid=13218] ppid=13215 vsize=13270076 CPUtime=4.37 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 25272 0 0 0 429 8 0 0 20 0 20 0 6327310 13588557824 45829 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 3317519 45829 3796 1 0 3305234 0
[pid=13218/tid=13219] ppid=13215 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) R 13215 13218 7995 0 -1 4202560 10539 0 0 0 141 5 0 0 20 0 20 0 6327310 13588557824 45829 33554432000 4194304 4196468 140734626787104 140344479645528 140344120591997 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13221] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13221/stat : 13221 (java) S 13215 13218 7995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 45829 33554432000 4194304 4196468 140734626787104 140344074894224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13222] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13222/stat : 13222 (java) S 13215 13218 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 45829 33554432000 4194304 4196468 140734626787104 140344073841424 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13223] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13223/stat : 13223 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 45829 33554432000 4194304 4196468 140734626787104 140344072789136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13224] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13224/stat : 13224 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 45829 33554432000 4194304 4196468 140734626787104 140344071736336 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13225] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13225/stat : 13225 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 45829 33554432000 4194304 4196468 140734626787104 140344070683024 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13226] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13226/stat : 13226 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 45829 33554432000 4194304 4196468 140734626787104 140344069630224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13227] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13227/stat : 13227 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 45829 33554432000 4194304 4196468 140734626787104 140344068577936 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13228] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13228/stat : 13228 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 45829 33554432000 4194304 4196468 140734626787104 140344067525136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13229] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13229/stat : 13229 (java) S 13215 13218 7995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6327313 13588557824 45829 33554432000 4194304 4196468 140734626787104 140343140874864 140344475421314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13230] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13230/stat : 13230 (java) S 13215 13218 7995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 45829 33554432000 4194304 4196468 140734626787104 140343139820832 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13231] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13231/stat : 13231 (java) S 13215 13218 7995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 45829 33554432000 4194304 4196468 140734626787104 140343138768496 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13232] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13232/stat : 13232 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 45829 33554432000 4194304 4196468 140734626787104 140343137716816 140344475428763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13233] ppid=13215 vsize=13270076 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13233/stat : 13233 (java) R 13215 13218 7995 0 -1 4202560 2310 0 0 0 65 0 0 0 20 0 20 0 6327318 13588557824 45829 33554432000 4194304 4196468 140734626787104 140343136663960 140344456110782 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13234] ppid=13215 vsize=13270076 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13234/stat : 13234 (java) S 13215 13218 7995 0 -1 1077944384 2390 0 0 0 64 0 0 0 20 0 20 0 6327318 13588557824 45829 33554432000 4194304 4196468 140734626787104 140343135610864 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13235] ppid=13215 vsize=13270076 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13235/stat : 13235 (java) R 13215 13218 7995 0 -1 4202560 2989 0 0 0 79 0 0 0 20 0 20 0 6327318 13588557824 45829 33554432000 4194304 4196468 140734626787104 140343134544784 140344456935038 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13236] ppid=13215 vsize=13270076 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13236/stat : 13236 (java) S 13215 13218 7995 0 -1 1077944384 5634 0 0 0 77 1 0 0 20 0 20 0 6327318 13588557824 45829 33554432000 4194304 4196468 140734626787104 140343133505776 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13237] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13237/stat : 13237 (java) S 13215 13218 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 45829 33554432000 4194304 4196468 140734626787104 140343132453728 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13238] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13238/stat : 13238 (java) S 13215 13218 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6327319 13588557824 45829 33554432000 4194304 4196468 140734626787104 140343131401008 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 13270076

[startup+3.10083 s]
/proc/loadavg: 1.21 1.44 1.46 3/283 13238
/proc/meminfo: memFree=30358912/32770624 swapFree=5752/140132
[pid=13218] ppid=13215 vsize=13270076 CPUtime=6.24 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 26416 0 0 0 610 14 0 0 20 0 20 0 6327310 13588557824 56670 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 3317519 56670 3816 1 0 3305234 0
[pid=13218/tid=13219] ppid=13215 vsize=13270076 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) R 13215 13218 7995 0 -1 4202560 10833 0 0 0 299 6 0 0 20 0 20 0 6327310 13588557824 56670 33554432000 4194304 4196468 140734626787104 140344479647928 140344120591787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13221] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13221/stat : 13221 (java) S 13215 13218 7995 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 56670 33554432000 4194304 4196468 140734626787104 140344074894224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13222] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13222/stat : 13222 (java) S 13215 13218 7995 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 56670 33554432000 4194304 4196468 140734626787104 140344073841424 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13223] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13223/stat : 13223 (java) S 13215 13218 7995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 56670 33554432000 4194304 4196468 140734626787104 140344072789136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13224] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13224/stat : 13224 (java) S 13215 13218 7995 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 56670 33554432000 4194304 4196468 140734626787104 140344071736336 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13225] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13225/stat : 13225 (java) S 13215 13218 7995 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 56670 33554432000 4194304 4196468 140734626787104 140344070683024 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13226] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13226/stat : 13226 (java) S 13215 13218 7995 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 56670 33554432000 4194304 4196468 140734626787104 140344069630224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13227] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13227/stat : 13227 (java) S 13215 13218 7995 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 56670 33554432000 4194304 4196468 140734626787104 140344068577936 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13228] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13228/stat : 13228 (java) S 13215 13218 7995 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 6327311 13588557824 56670 33554432000 4194304 4196468 140734626787104 140344067525136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13229] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13229/stat : 13229 (java) S 13215 13218 7995 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 20 0 6327313 13588557824 56670 33554432000 4194304 4196468 140734626787104 140343140874864 140344475421314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13230] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13230/stat : 13230 (java) S 13215 13218 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 56670 33554432000 4194304 4196468 140734626787104 140343139820896 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13231] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13231/stat : 13231 (java) S 13215 13218 7995 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 56670 33554432000 4194304 4196468 140734626787104 140343138768512 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13232] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13232/stat : 13232 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 56670 33554432000 4194304 4196468 140734626787104 140343137716816 140344475428763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13233] ppid=13215 vsize=13270076 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13233/stat : 13233 (java) S 13215 13218 7995 0 -1 1077944384 2324 0 0 0 70 0 0 0 20 0 20 0 6327318 13588557824 56670 33554432000 4194304 4196468 140734626787104 140343136663664 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13234] ppid=13215 vsize=13270076 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13234/stat : 13234 (java) S 13215 13218 7995 0 -1 1077944384 2398 0 0 0 69 0 0 0 20 0 20 0 6327318 13588557824 56670 33554432000 4194304 4196468 140734626787104 140343135610864 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13235] ppid=13215 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13235/stat : 13235 (java) S 13215 13218 7995 0 -1 1077944384 3004 0 0 0 86 0 0 0 20 0 20 0 6327318 13588557824 56670 33554432000 4194304 4196468 140734626787104 140343134558576 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13236] ppid=13215 vsize=13270076 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13236/stat : 13236 (java) S 13215 13218 7995 0 -1 1077944384 5918 0 0 0 77 1 0 0 20 0 20 0 6327318 13588557824 56670 33554432000 4194304 4196468 140734626787104 140343133505776 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13237] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13237/stat : 13237 (java) S 13215 13218 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 56670 33554432000 4194304 4196468 140734626787104 140343132453728 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13238] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13238/stat : 13238 (java) S 13215 13218 7995 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 6327319 13588557824 56670 33554432000 4194304 4196468 140734626787104 140343131401008 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 13270076

[startup+6.30084 s]
/proc/loadavg: 1.27 1.45 1.46 3/283 13238
/proc/meminfo: memFree=30347932/32770624 swapFree=5752/140132
[pid=13218] ppid=13215 vsize=13270076 CPUtime=9.64 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 31392 0 0 0 945 19 0 0 20 0 20 0 6327310 13588557824 59352 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 3317519 59352 3829 1 0 3305234 0
[pid=13218/tid=13219] ppid=13215 vsize=13270076 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) R 13215 13218 7995 0 -1 4202560 11576 0 0 0 616 6 0 0 20 0 20 0 6327310 13588557824 59352 33554432000 4194304 4196468 140734626787104 140344479648272 140344121031690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13221] ppid=13215 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13221/stat : 13221 (java) S 13215 13218 7995 0 -1 1077944384 293 0 0 0 0 1 0 0 20 0 20 0 6327311 13588557824 59352 33554432000 4194304 4196468 140734626787104 140344074894224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13222] ppid=13215 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13222/stat : 13222 (java) S 13215 13218 7995 0 -1 1077944384 904 0 0 0 1 1 0 0 20 0 20 0 6327311 13588557824 59352 33554432000 4194304 4196468 140734626787104 140344073841424 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13223] ppid=13215 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13223/stat : 13223 (java) S 13215 13218 7995 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 20 0 6327311 13588557824 59352 33554432000 4194304 4196468 140734626787104 140344072789136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13224] ppid=13215 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13224/stat : 13224 (java) S 13215 13218 7995 0 -1 1077944384 116 0 0 0 1 1 0 0 20 0 20 0 6327311 13588557824 59352 33554432000 4194304 4196468 140734626787104 140344071736336 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13225] ppid=13215 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13225/stat : 13225 (java) S 13215 13218 7995 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 20 0 6327311 13588557824 59352 33554432000 4194304 4196468 140734626787104 140344070683024 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13226] ppid=13215 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13226/stat : 13226 (java) S 13215 13218 7995 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 20 0 6327311 13588557824 59352 33554432000 4194304 4196468 140734626787104 140344069630224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13227] ppid=13215 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13227/stat : 13227 (java) S 13215 13218 7995 0 -1 1077944384 89 0 0 0 1 1 0 0 20 0 20 0 6327311 13588557824 59352 33554432000 4194304 4196468 140734626787104 140344068577936 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13228] ppid=13215 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13228/stat : 13228 (java) S 13215 13218 7995 0 -1 1077944384 58 0 0 0 1 1 0 0 20 0 20 0 6327311 13588557824 59352 33554432000 4194304 4196468 140734626787104 140344067525136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13229] ppid=13215 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13229/stat : 13229 (java) S 13215 13218 7995 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 20 0 6327313 13588557824 59352 33554432000 4194304 4196468 140734626787104 140343140874864 140344475421314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13230] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13230/stat : 13230 (java) S 13215 13218 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 59352 33554432000 4194304 4196468 140734626787104 140343139820896 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13231] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13231/stat : 13231 (java) S 13215 13218 7995 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 59352 33554432000 4194304 4196468 140734626787104 140343138768512 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13232] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=13218/tid=13234] ppid=13215 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13234/stat : 13234 (java) S 13215 13218 7995 0 -1 1077944384 5087 0 0 0 85 1 0 0 20 0 20 0 6327318 13588557824 64983 33554432000 4194304 4196468 140734626787104 140343135610864 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13235] ppid=13215 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13235/stat : 13235 (java) S 13215 13218 7995 0 -1 1077944384 4731 0 0 0 93 0 0 0 20 0 20 0 6327318 13588557824 64983 33554432000 4194304 4196468 140734626787104 140343134558576 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13236] ppid=13215 vsize=13270076 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13236/stat : 13236 (java) S 13215 13218 7995 0 -1 1077944384 8111 0 0 0 82 1 0 0 20 0 20 0 6327318 13588557824 64983 33554432000 4194304 4196468 140734626787104 140343133505776 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13237] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13237/stat : 13237 (java) S 13215 13218 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 64983 33554432000 4194304 4196468 140734626787104 140343132453728 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13238] ppid=13215 vsize=13270076 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13238/stat : 13238 (java) S 13215 13218 7995 0 -1 1077944384 1337 0 0 0 33 30 0 0 20 0 20 0 6327319 13588557824 64983 33554432000 4194304 4196468 140734626787104 140343131401008 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
Current children cumulated CPU time (s) 2300.14
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.82 1.79 1.71 3/282 14029
/proc/meminfo: memFree=31387208/32770624 swapFree=5752/142816
[pid=13218] ppid=13215 vsize=13270076 CPUtime=2361.2 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 77700 0 0 0 235869 251 0 0 20 0 20 0 6327310 13588557824 65495 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 3317519 65495 3829 1 0 3305234 0
[pid=13218/tid=13219] ppid=13215 vsize=13270076 CPUtime=2310.42 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) R 13215 13218 7995 0 -1 4202560 28100 0 0 0 231028 14 0 0 20 0 20 0 6327310 13588557824 65495 33554432000 4194304 4196468 140734626787104 140344479648592 140344121483852 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13221] ppid=13215 vsize=13270076 CPUtime=5.39 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13221/stat : 13221 (java) S 13215 13218 7995 0 -1 1077944384 3055 0 0 0 514 25 0 0 20 0 20 0 6327311 13588557824 65495 33554432000 4194304 4196468 140734626787104 140344074894224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13222] ppid=13215 vsize=13270076 CPUtime=5.36 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13222/stat : 13222 (java) S 13215 13218 7995 0 -1 1077944384 2740 0 0 0 510 26 0 0 20 0 20 0 6327311 13588557824 65495 33554432000 4194304 4196468 140734626787104 140344073841424 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13223] ppid=13215 vsize=13270076 CPUtime=5.34 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13223/stat : 13223 (java) S 13215 13218 7995 0 -1 1077944384 2036 0 0 0 508 26 0 0 20 0 20 0 6327311 13588557824 65495 33554432000 4194304 4196468 140734626787104 140344072789136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13224] ppid=13215 vsize=13270076 CPUtime=5.37 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13224/stat : 13224 (java) S 13215 13218 7995 0 -1 1077944384 1661 0 0 0 512 25 0 0 20 0 20 0 6327311 13588557824 65495 33554432000 4194304 4196468 140734626787104 140344071736336 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13225] ppid=13215 vsize=13270076 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13225/stat : 13225 (java) S 13215 13218 7995 0 -1 1077944384 2489 0 0 0 503 26 0 0 20 0 20 0 6327311 13588557824 65495 33554432000 4194304 4196468 140734626787104 140344070683024 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13226] ppid=13215 vsize=13270076 CPUtime=5.31 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13226/stat : 13226 (java) S 13215 13218 7995 0 -1 1077944384 2782 0 0 0 508 23 0 0 20 0 20 0 6327311 13588557824 65495 33554432000 4194304 4196468 140734626787104 140344069630224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13227] ppid=13215 vsize=13270076 CPUtime=5.35 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13227/stat : 13227 (java) S 13215 13218 7995 0 -1 1077944384 2219 0 0 0 510 25 0 0 20 0 20 0 6327311 13588557824 65495 33554432000 4194304 4196468 140734626787104 140344068577936 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13228] ppid=13215 vsize=13270076 CPUtime=5.34 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13228/stat : 13228 (java) S 13215 13218 7995 0 -1 1077944384 2808 0 0 0 509 25 0 0 20 0 20 0 6327311 13588557824 65495 33554432000 4194304 4196468 140734626787104 140344067525136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13229] ppid=13215 vsize=13270076 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13229/stat : 13229 (java) S 13215 13218 7995 0 -1 1077944384 5649 0 0 0 362 25 0 0 20 0 20 0 6327313 13588557824 65495 33554432000 4194304 4196468 140734626787104 140343140874864 140344475421314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13230] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13230/stat : 13230 (java) S 13215 13218 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 65495 33554432000 4194304 4196468 140734626787104 140343139820896 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13231] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13231/stat : 13231 (java) S 13215 13218 7995 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 65495 33554432000 4194304 4196468 140734626787104 140343138768512 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13232] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13232/stat : 13232 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 65495 33554432000 4194304 4196468 140734626787104 140343137716816 140344475428763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13233] ppid=13215 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13233/stat : 13233 (java) S 13215 13218 7995 0 -1 1077944384 3463 0 0 0 74 1 0 0 20 0 20 0 6327318 13588557824 65495 33554432000 4194304 4196468 140734626787104 140343136663664 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13234] ppid=13215 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13234/stat : 13234 (java) S 13215 13218 7995 0 -1 1077944384 5087 0 0 0 85 1 0 0 20 0 20 0 6327318 13588557824 65495 33554432000 4194304 4196468 140734626787104 140343135610864 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13235] ppid=13215 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13235/stat : 13235 (java) S 13215 13218 7995 0 -1 1077944384 4731 0 0 0 93 0 0 0 20 0 20 0 6327318 13588557824 65495 33554432000 4194304 4196468 140734626787104 140343134558576 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13236] ppid=13215 vsize=13270076 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13236/stat : 13236 (java) S 13215 13218 7995 0 -1 1077944384 8111 0 0 0 82 1 0 0 20 0 20 0 6327318 13588557824 65495 33554432000 4194304 4196468 140734626787104 140343133505776 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13237] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13237/stat : 13237 (java) S 13215 13218 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 65495 33554432000 4194304 4196468 140734626787104 140343132453728 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13238] ppid=13215 vsize=13270076 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13238/stat : 13238 (java) S 13215 13218 7995 0 -1 1077944384 1341 0 0 0 34 31 0 0 20 0 20 0 6327319 13588557824 65495 33554432000 4194304 4196468 140734626787104 140343131401008 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
Current children cumulated CPU time (s) 2361.2
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2360.5 s]
/proc/loadavg: 1.74 1.78 1.71 3/282 14030
/proc/meminfo: memFree=31387952/32770624 swapFree=5752/142868
[pid=13218] ppid=13215 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 78543 0 0 0 239750 253 0 0 20 0 20 0 6327310 13588557824 66007 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 3317519 66007 3829 1 0 3305234 0
[pid=13218/tid=13219] ppid=13215 vsize=13270076 CPUtime=2348.42 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) R 13215 13218 7995 0 -1 4202560 28555 0 0 0 234828 14 0 0 20 0 20 0 6327310 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344479648592 140344120688243 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13221] ppid=13215 vsize=13270076 CPUtime=5.49 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13221/stat : 13221 (java) S 13215 13218 7995 0 -1 1077944384 3151 0 0 0 523 26 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344074894224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13222] ppid=13215 vsize=13270076 CPUtime=5.45 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13222/stat : 13222 (java) S 13215 13218 7995 0 -1 1077944384 2745 0 0 0 519 26 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344073841424 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13223] ppid=13215 vsize=13270076 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13223/stat : 13223 (java) S 13215 13218 7995 0 -1 1077944384 2063 0 0 0 518 26 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344072789136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13224] ppid=13215 vsize=13270076 CPUtime=5.48 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13224/stat : 13224 (java) S 13215 13218 7995 0 -1 1077944384 1683 0 0 0 522 26 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344071736336 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13225] ppid=13215 vsize=13270076 CPUtime=5.39 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13225/stat : 13225 (java) S 13215 13218 7995 0 -1 1077944384 2508 0 0 0 512 27 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344070683024 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13226] ppid=13215 vsize=13270076 CPUtime=5.39 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13226/stat : 13226 (java) S 13215 13218 7995 0 -1 1077944384 2784 0 0 0 516 23 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344069630224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13227] ppid=13215 vsize=13270076 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13227/stat : 13227 (java) S 13215 13218 7995 0 -1 1077944384 2233 0 0 0 519 25 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344068577936 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13228] ppid=13215 vsize=13270076 CPUtime=5.43 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13228/stat : 13228 (java) S 13215 13218 7995 0 -1 1077944384 2823 0 0 0 518 25 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344067525136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13229] ppid=13215 vsize=13270076 CPUtime=3.93 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13229/stat : 13229 (java) S 13215 13218 7995 0 -1 1077944384 5815 0 0 0 368 25 0 0 20 0 20 0 6327313 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343140874864 140344475421314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13230] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13230/stat : 13230 (java) S 13215 13218 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343139820896 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13231] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13231/stat : 13231 (java) S 13215 13218 7995 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343138768512 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13232] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13232/stat : 13232 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343137716816 140344475428763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13233] ppid=13215 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13233/stat : 13233 (java) S 13215 13218 7995 0 -1 1077944384 3465 0 0 0 74 1 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343136663664 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13234] ppid=13215 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13234/stat : 13234 (java) S 13215 13218 7995 0 -1 1077944384 5089 0 0 0 85 1 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343135610864 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13235] ppid=13215 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13235/stat : 13235 (java) S 13215 13218 7995 0 -1 1077944384 4734 0 0 0 93 0 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343134558576 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13236] ppid=13215 vsize=13270076 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13236/stat : 13236 (java) S 13215 13218 7995 0 -1 1077944384 8113 0 0 0 82 1 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343133505776 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13237] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13237/stat : 13237 (java) S 13215 13218 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343132453728 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13238] ppid=13215 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13238/stat : 13238 (java) S 13215 13218 7995 0 -1 1077944384 1354 0 0 0 35 31 0 0 20 0 20 0 6327319 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343131401008 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13270076

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

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

[startup+2360.5 s]
/proc/loadavg: 1.74 1.78 1.71 3/282 14030
/proc/meminfo: memFree=31387952/32770624 swapFree=5752/142868
[pid=13218] ppid=13215 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/13218/stat : 13218 (java) S 13215 13218 7995 0 -1 1077944320 78543 0 0 0 239750 253 0 0 20 0 20 0 6327310 13588557824 66007 33554432000 4194304 4196468 140734626787104 140734626769648 140344475410167 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
/proc/13218/statm: 3317519 66007 3829 1 0 3305234 0
[pid=13218/tid=13219] ppid=13215 vsize=13270076 CPUtime=2348.42 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13219/stat : 13219 (java) R 13215 13218 7995 0 -1 4202560 28555 0 0 0 234828 14 0 0 20 0 20 0 6327310 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344479648592 140344120688243 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13221] ppid=13215 vsize=13270076 CPUtime=5.49 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13221/stat : 13221 (java) S 13215 13218 7995 0 -1 1077944384 3151 0 0 0 523 26 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344074894224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13222] ppid=13215 vsize=13270076 CPUtime=5.45 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13222/stat : 13222 (java) S 13215 13218 7995 0 -1 1077944384 2745 0 0 0 519 26 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344073841424 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13223] ppid=13215 vsize=13270076 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13223/stat : 13223 (java) S 13215 13218 7995 0 -1 1077944384 2063 0 0 0 518 26 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344072789136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13224] ppid=13215 vsize=13270076 CPUtime=5.48 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13224/stat : 13224 (java) S 13215 13218 7995 0 -1 1077944384 1683 0 0 0 522 26 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344071736336 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13225] ppid=13215 vsize=13270076 CPUtime=5.39 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13225/stat : 13225 (java) S 13215 13218 7995 0 -1 1077944384 2508 0 0 0 512 27 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344070683024 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13226] ppid=13215 vsize=13270076 CPUtime=5.39 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13226/stat : 13226 (java) S 13215 13218 7995 0 -1 1077944384 2784 0 0 0 516 23 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344069630224 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13227] ppid=13215 vsize=13270076 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13227/stat : 13227 (java) S 13215 13218 7995 0 -1 1077944384 2233 0 0 0 519 25 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344068577936 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13228] ppid=13215 vsize=13270076 CPUtime=5.43 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13228/stat : 13228 (java) S 13215 13218 7995 0 -1 1077944384 2823 0 0 0 518 25 0 0 20 0 20 0 6327311 13588557824 66007 33554432000 4194304 4196468 140734626787104 140344067525136 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13229] ppid=13215 vsize=13270076 CPUtime=3.93 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13229/stat : 13229 (java) S 13215 13218 7995 0 -1 1077944384 5815 0 0 0 368 25 0 0 20 0 20 0 6327313 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343140874864 140344475421314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13230] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13230/stat : 13230 (java) S 13215 13218 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343139820896 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13231] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13231/stat : 13231 (java) S 13215 13218 7995 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 6327314 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343138768512 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13232] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13232/stat : 13232 (java) S 13215 13218 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343137716816 140344475428763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13233] ppid=13215 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13233/stat : 13233 (java) S 13215 13218 7995 0 -1 1077944384 3465 0 0 0 74 1 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343136663664 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13234] ppid=13215 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13234/stat : 13234 (java) S 13215 13218 7995 0 -1 1077944384 5089 0 0 0 85 1 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343135610864 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13235] ppid=13215 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13235/stat : 13235 (java) S 13215 13218 7995 0 -1 1077944384 4734 0 0 0 93 0 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343134558576 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13236] ppid=13215 vsize=13270076 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13236/stat : 13236 (java) S 13215 13218 7995 0 -1 1077944384 8113 0 0 0 82 1 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343133505776 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13237] ppid=13215 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13237/stat : 13237 (java) S 13215 13218 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6327318 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343132453728 140344475420373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
[pid=13218/tid=13238] ppid=13215 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/13218/task/13238/stat : 13238 (java) S 13215 13218 7995 0 -1 1077944384 1354 0 0 0 35 31 0 0 20 0 20 0 6327319 13588557824 66007 33554432000 4194304 4196468 140734626787104 140343131401008 140344475421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 7786496 140734626792585 140734626792772 140734626792772 140734626795471 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2360.53
CPU time (s): 2400.07
CPU user time (s): 2397.53
CPU system time (s): 2.54413
CPU usage (%): 101.675
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.53
system time used= 2.54413
maximum resident set size= 264612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204510
involuntary context switches= 150435

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1155 second user time and 21.2614 second system time

The end

Launcher Data

Begin job on node129 at 2017-07-22 10:03:19
IDJOB=4246362
IDBENCH=124448
IDSOLVER=2628
FILE ID=node129/4246362-1500710599
RUNJOBID= node129-1500683388-8491
PBS_JOBID= 20623036
Free space on /tmp= 61944 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n31-k5.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246362-1500710599/watcher-4246362-1500710599 -o /tmp/evaluation-result-4246362-1500710599/solver-4246362-1500710599 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500683388-8491 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1916546486 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246362-1500710599.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669
RANDOM SEED=1916546486

node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30572112 kB
MemAvailable:   30743880 kB
Buffers:          151200 kB
Cached:           292044 kB
SwapCached:            0 kB
Active:          1534172 kB
Inactive:         205044 kB
Active(anon):    1242732 kB
Inactive(anon):    64944 kB
Active(file):     291440 kB
Inactive(file):   140100 kB
Unevictable:        5752 kB
Mlocked:            5752 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42176 kB
Writeback:             0 kB
AnonPages:       1233756 kB
Mapped:            44924 kB
Shmem:              8844 kB
Slab:             145380 kB
SReclaimable:     112124 kB
SUnreclaim:        33256 kB
KernelStack:        4896 kB
PageTables:         7644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2741104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1097728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61904 MiB
End job on node129 at 2017-07-22 10:42:40

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 4246362

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