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)	1261	2400.09	2368.93

0.41/0.36	c version: 2017-06-30
0.41/0.36	c seed: 1340170558
0.41/0.36	c timeout: 2400
0.41/0.36	c memlimit: 15500
0.41/0.36	c nbcore: 8
0.41/0.38	c Parsing instance...
2.72/1.18	c Parsing done, starting search...
3.10/1.24	o 1669
3.10/1.25	o 1648
3.10/1.26	o 1611
3.48/1.32	o 1564
3.48/1.34	o 1559
3.48/1.36	o 1536
3.48/1.37	o 1521
3.48/1.37	o 1501
3.90/1.44	o 1500
3.90/1.48	o 1493
4.31/1.54	o 1463
5.03/1.73	o 1462
5.17/1.80	o 1446
5.50/2.00	o 1430
5.50/2.01	o 1423
5.50/2.02	o 1410
5.61/2.16	o 1409
5.71/2.24	o 1399
5.71/2.25	o 1398
8.34/4.75	o 1390
8.44/4.85	o 1370
8.44/4.86	o 1369
8.94/5.39	o 1353
18.23/14.38	o 1347
30.46/26.57	o 1345
46.54/42.55	o 1343
47.34/43.34	o 1340
52.07/48.08	o 1339
52.07/48.08	o 1335
52.17/48.11	o 1325
52.17/48.14	o 1313
52.17/48.14	o 1312
56.70/52.64	o 1306
124.65/119.98	o 1301
646.85/635.85	o 1296
666.48/655.39	o 1290
773.02/760.52	o 1281
773.02/760.53	o 1273
786.48/773.82	o 1266
1320.49/1301.94	o 1264
1428.17/1408.32	o 1261
2400.04/2368.90	s SATISFIABLE
2400.04/2368.91	v <instantiation>
2400.04/2368.91	v 	<list>
2400.04/2368.91	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32]
2400.04/2368.91	v 	</list>
2400.04/2368.91	v 	<values>
2400.04/2368.91	v 		0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 26 24 6 72 58 100 62 57 41 100 100 100 61 21 81 28 70 78 95 99 25 23 79 100 36 79 34 25 47 53 7 100 
2400.04/2368.91	v 	</values>
2400.04/2368.91	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-4246320-1500709875/watcher-4246320-1500709875 -o /tmp/evaluation-result-4246320-1500709875/solver-4246320-1500709875 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500709875-18320 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1340170558 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246320-1500709875.xml 

pid=18360
running on 8 cores: 0,2,4,6,8,10,12,14

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.17 1.32 1.39 4/256 18364
/proc/meminfo: memFree=31676492/32770624 swapFree=5848/267568
[pid=18364] ppid=18360 vsize=11515512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/stat : 18364 (java) S 18360 18364 14040 0 -1 1077944320 2279 0 0 0 0 0 0 0 20 0 10 0 6256644 11791884288 2528 33554432000 4194304 4196468 140726481865872 140726481848416 139987824279287 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
/proc/18364/statm: 2876958 2528 1207 1 0 2865869 0
[pid=18364/tid=18366] ppid=18360 vsize=12565436 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18366/stat : 18366 (java) R 18360 18364 14040 0 -1 4202560 1017 0 0 0 0 0 0 0 20 0 10 0 6256644 12867006464 2593 33554432000 4194304 4196468 140726481865872 139987828520280 139987810360575 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18367] ppid=18360 vsize=12565436 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18367/stat : 18367 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 6256645 12867006464 2593 33554432000 4194304 4196468 140726481865872 139987756415632 139987824289493 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18368] ppid=18360 vsize=12565436 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18368/stat : 18368 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 6256645 12867006464 2593 33554432000 4194304 4196468 140726481865872 139987755362832 139987824289493 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18369] ppid=18360 vsize=12565436 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18369/stat : 18369 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 6256645 12867006464 2593 33554432000 4194304 4196468 140726481865872 139987754310032 139987824289493 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18370] ppid=18360 vsize=12565436 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18370/stat : 18370 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 6256645 12867006464 2659 33554432000 4194304 4196468 140726481865872 139987753257232 139987824289493 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18371] ppid=18360 vsize=12565436 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18371/stat : 18371 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 6256645 12867006464 2659 33554432000 4194304 4196468 140726481865872 139987752205456 139987824289493 0 4 0 16784584 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18372] ppid=18360 vsize=12565436 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18372/stat : 18372 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 6256645 12867006464 2659 33554432000 4194304 4196468 140726481865872 139987751152656 139987824289493 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18373] ppid=18360 vsize=12565436 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18373/stat : 18373 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 6256645 12867006464 2659 33554432000 4194304 4196468 140726481865872 139987750099856 139987824289493 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18374] ppid=18360 vsize=12565436 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18374/stat : 18374 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 6256645 12867006464 2659 33554432000 4194304 4196468 140726481865872 139987415698192 139987824289493 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0

[startup+0.100132 s]
/proc/loadavg: 1.17 1.32 1.39 4/256 18364
/proc/meminfo: memFree=31676492/32770624 swapFree=5848/267568
[pid=18364] ppid=18360 vsize=13264380 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/18364/stat : 18364 (java) S 18360 18364 14040 0 -1 1077944320 5152 0 0 0 9 1 0 0 20 0 20 0 6256644 13582725120 5736 33554432000 4194304 4196468 140726481865872 140726481848416 139987824279287 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
/proc/18364/statm: 3316095 5736 2660 1 0 3303815 0
[pid=18364/tid=18366] ppid=18360 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18366/stat : 18366 (java) R 18360 18364 14040 0 -1 4202560 3233 0 0 0 8 0 0 0 20 0 20 0 6256644 13582725120 5736 33554432000 4194304 4196468 140726481865872 139987828521568 139987780915062 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18367] ppid=18360 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18367/stat : 18367 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256645 13582725120 5736 33554432000 4194304 4196468 140726481865872 139987756415632 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18368] ppid=18360 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18368/stat : 18368 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582725120 5736 33554432000 4194304 4196468 140726481865872 139987755362832 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18369] ppid=18360 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18369/stat : 18369 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256645 13582725120 5736 33554432000 4194304 4196468 140726481865872 139987754310032 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18370] ppid=18360 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18370/stat : 18370 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582725120 5736 33554432000 4194304 4196468 140726481865872 139987753257232 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18371] ppid=18360 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18371/stat : 18371 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256645 13582725120 5802 33554432000 4194304 4196468 140726481865872 139987752205456 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18372] ppid=18360 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18372/stat : 18372 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582725120 5802 33554432000 4194304 4196468 140726481865872 139987751152656 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18373] ppid=18360 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18373/stat : 18373 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582725120 5802 33554432000 4194304 4196468 140726481865872 139987750099856 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18374] ppid=18360 vsize=13264380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18374/stat : 18374 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256645 13582725120 5802 33554432000 4194304 4196468 140726481865872 139987415698192 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380

[startup+0.201194 s]
/proc/loadavg: 1.17 1.32 1.39 4/256 18364
/proc/meminfo: memFree=31676492/32770624 swapFree=5848/267568
[pid=18364] ppid=18360 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/18364/stat : 18364 (java) S 18360 18364 14040 0 -1 1077944320 8872 0 0 0 23 2 0 0 20 0 20 0 6256644 13582245888 8411 33554432000 4194304 4196468 140726481865872 140726481848416 139987824279287 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
/proc/18364/statm: 3315978 8411 3535 1 0 3303698 0
[pid=18364/tid=18366] ppid=18360 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18366/stat : 18366 (java) R 18360 18364 14040 0 -1 4202560 6644 0 0 0 17 1 0 0 20 0 20 0 6256644 13582245888 8411 33554432000 4194304 4196468 140726481865872 139987828465664 139987824291222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18367] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18367/stat : 18367 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 8411 33554432000 4194304 4196468 140726481865872 139987756415632 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18368] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18368/stat : 18368 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 8411 33554432000 4194304 4196468 140726481865872 139987755362832 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18369] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18369/stat : 18369 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 8411 33554432000 4194304 4196468 140726481865872 139987754310032 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18370] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18370/stat : 18370 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 8411 33554432000 4194304 4196468 140726481865872 139987753257232 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18371] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18371/stat : 18371 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 8411 33554432000 4194304 4196468 140726481865872 139987752205456 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18372] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18372/stat : 18372 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 8411 33554432000 4194304 4196468 140726481865872 139987751152656 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18373] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18373/stat : 18373 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 8411 33554432000 4194304 4196468 140726481865872 139987750099856 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18374] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18374/stat : 18374 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 8411 33554432000 4194304 4196468 140726481865872 139987415698192 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.30092 s]
/proc/loadavg: 1.17 1.32 1.39 4/256 18364
/proc/meminfo: memFree=31676492/32770624 swapFree=5848/267568
[pid=18364] ppid=18360 vsize=13263912 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/18364/stat : 18364 (java) S 18360 18364 14040 0 -1 1077944320 9506 0 0 0 38 3 0 0 20 0 20 0 6256644 13582245888 9841 33554432000 4194304 4196468 140726481865872 140726481848416 139987824279287 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
/proc/18364/statm: 3315978 9841 3594 1 0 3303698 0
[pid=18364/tid=18366] ppid=18360 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18366/stat : 18366 (java) R 18360 18364 14040 0 -1 4202560 7091 0 0 0 26 2 0 0 20 0 20 0 6256644 13582245888 9841 33554432000 4194304 4196468 140726481865872 139987828479072 139987824301213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18367] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18367/stat : 18367 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 9841 33554432000 4194304 4196468 140726481865872 139987756415632 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18368] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18368/stat : 18368 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 9841 33554432000 4194304 4196468 140726481865872 139987755362832 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18369] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18369/stat : 18369 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 9841 33554432000 4194304 4196468 140726481865872 139987754310032 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18370] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18370/stat : 18370 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 9841 33554432000 4194304 4196468 140726481865872 139987753257232 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18371] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18371/stat : 18371 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 9841 33554432000 4194304 4196468 140726481865872 139987752205456 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18372] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18372/stat : 18372 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 9841 33554432000 4194304 4196468 140726481865872 139987751152656 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18373] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18373/stat : 18373 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 9841 33554432000 4194304 4196468 140726481865872 139987750099856 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18374] ppid=18360 vsize=13263912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18374/stat : 18374 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256645 13582245888 9841 33554432000 4194304 4196468 140726481865872 139987415698192 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912

[startup+0.700653 s]
/proc/loadavg: 1.17 1.32 1.39 4/256 18364
/proc/meminfo: memFree=31676492/32770624 swapFree=5848/267568
[pid=18364] ppid=18360 vsize=13265980 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/18364/stat : 18364 (java) S 18360 18364 14040 0 -1 1077944320 12372 0 0 0 129 5 0 0 20 0 20 0 6256644 13584363520 17758 33554432000 4194304 4196468 140726481865872 140726481848416 139987824279287 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
/proc/18364/statm: 3316495 17758 3759 1 0 3304210 0
[pid=18364/tid=18366] ppid=18360 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18366/stat : 18366 (java) R 18360 18364 14040 0 -1 4202560 8478 0 0 0 64 3 0 0 20 0 20 0 6256644 13584363520 17758 33554432000 4194304 4196468 140726481865872 139987828514896 139987430494008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18367] ppid=18360 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18367/stat : 18367 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256645 13584363520 17758 33554432000 4194304 4196468 140726481865872 139987756415632 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18368] ppid=18360 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18368/stat : 18368 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13584363520 17758 33554432000 4194304 4196468 140726481865872 139987755362832 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18369] ppid=18360 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18369/stat : 18369 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256645 13584363520 17758 33554432000 4194304 4196468 140726481865872 139987754310032 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18370] ppid=18360 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18370/stat : 18370 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13584363520 17758 33554432000 4194304 4196468 140726481865872 139987753257232 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18371] ppid=18360 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18371/stat : 18371 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256645 13584363520 17758 33554432000 4194304 4196468 140726481865872 139987752205456 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18372] ppid=18360 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18372/stat : 18372 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13584363520 17758 33554432000 4194304 4196468 140726481865872 139987751152656 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18373] ppid=18360 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18373/stat : 18373 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13584363520 17758 33554432000 4194304 4196468 140726481865872 139987750099856 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18374] ppid=18360 vsize=13265980 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18374/stat : 18374 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256645 13584363520 17758 33554432000 4194304 4196468 140726481865872 139987415698192 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 13265980

[startup+1.50109 s]
/proc/loadavg: 1.63 1.41 1.42 11/284 18392
/proc/meminfo: memFree=31472560/32770624 swapFree=5848/267684
[pid=18364] ppid=18360 vsize=13270076 CPUtime=4.31 cores=0,2,4,6,8,10,12,14
/proc/18364/stat : 18364 (java) S 18360 18364 14040 0 -1 1077944320 25473 0 0 0 422 9 0 0 20 0 20 0 6256644 13588557824 42954 33554432000 4194304 4196468 140726481865872 140726481848416 139987824279287 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
/proc/18364/statm: 3317519 42954 3792 1 0 3305234 0
[pid=18364/tid=18366] ppid=18360 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18366/stat : 18366 (java) R 18360 18364 14040 0 -1 4202560 11069 0 0 0 141 5 0 0 20 0 20 0 6256644 13588557824 42954 33554432000 4194304 4196468 140726481865872 139987828509056 139987429648992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18367] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18367/stat : 18367 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256645 13588557824 42954 33554432000 4194304 4196468 140726481865872 139987756415632 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18368] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18368/stat : 18368 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13588557824 42954 33554432000 4194304 4196468 140726481865872 139987755362832 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18369] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18369/stat : 18369 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256645 13588557824 42954 33554432000 4194304 4196468 140726481865872 139987754310032 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18370] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18370/stat : 18370 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13588557824 42954 33554432000 4194304 4196468 140726481865872 139987753257232 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18371] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18371/stat : 18371 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256645 13588557824 42954 33554432000 4194304 4196468 140726481865872 139987752205456 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18372] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18372/stat : 18372 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13588557824 42954 33554432000 4194304 4196468 140726481865872 139987751152656 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18373] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18373/stat : 18373 (java) S 18360 18364 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6256645 13588557824 42954 33554432000 4194304 4196468 140726481865872 139987750099856 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18374] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18374/stat : 18374 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256645 13588557824 42954 33554432000 4194304 4196468 140726481865872 139987415698192 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18377] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18377/stat : 18377 (java) S 18360 18364 14040 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 6256647 13588557824 42954 33554432000 4194304 4196468 140726481865872 139986952309104 139987824290434 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18384] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18384/stat : 18384 (java) S 18360 18364 14040 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 42954 33554432000 4194304 4196468 140726481865872 139986951255072 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18385] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18385/stat : 18385 (java) S 18360 18364 14040 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 42954 33554432000 4194304 4196468 140726481865872 139986950202224 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18386] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18386/stat : 18386 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256652 13588557824 42954 33554432000 4194304 4196468 140726481865872 139986949150544 139987824297883 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18387] ppid=18360 vsize=13270076 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18387/stat : 18387 (java) R 18360 18364 14040 0 -1 4202560 1964 0 0 0 65 1 0 0 20 0 20 0 6256652 13588557824 42954 33554432000 4194304 4196468 140726481865872 139986948084608 139987810343429 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18388] ppid=18360 vsize=13270076 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18388/stat : 18388 (java) R 18360 18364 14040 0 -1 4202560 2796 0 0 0 71 0 0 0 20 0 20 0 6256652 13588557824 42954 33554432000 4194304 4196468 140726481865872 139986947032672 139987808666400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18389] ppid=18360 vsize=13270076 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18389/stat : 18389 (java) R 18360 18364 14040 0 -1 4202560 3700 0 0 0 73 0 0 0 20 0 20 0 6256653 13588557824 42954 33554432000 4194304 4196468 140726481865872 139986945978832 139987805802202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18390] ppid=18360 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18390/stat : 18390 (java) S 18360 18364 14040 0 -1 1077944384 4534 0 0 0 70 0 0 0 20 0 20 0 6256653 13588557824 42954 33554432000 4194304 4196468 140726481865872 139986944940528 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18391] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18391/stat : 18391 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256653 13588557824 42954 33554432000 4194304 4196468 140726481865872 139986943887968 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18392] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18392/stat : 18392 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256653 13588557824 42954 33554432000 4194304 4196468 140726481865872 139986548025904 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
Current children cumulated CPU time (s) 4.31

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

[pid=18364/tid=18388] ppid=18360 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18388/stat : 18388 (java) S 18360 18364 14040 0 -1 1077944384 2937 0 0 0 97 0 0 0 20 0 20 0 6256652 13588557824 60276 33554432000 4194304 4196468 140726481865872 139986947046128 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18389] ppid=18360 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18389/stat : 18389 (java) S 18360 18364 14040 0 -1 1077944384 5043 0 0 0 97 1 0 0 20 0 20 0 6256653 13588557824 60276 33554432000 4194304 4196468 140726481865872 139986945993328 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18390] ppid=18360 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18390/stat : 18390 (java) S 18360 18364 14040 0 -1 1077944384 6909 0 0 0 74 1 0 0 20 0 20 0 6256653 13588557824 60276 33554432000 4194304 4196468 140726481865872 139986944940528 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18391] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18391/stat : 18391 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256653 13588557824 60276 33554432000 4194304 4196468 140726481865872 139986943887968 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18392] ppid=18360 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18392/stat : 18392 (java) S 18360 18364 14040 0 -1 1077944384 691 0 0 0 33 37 0 0 20 0 20 0 6256653 13588557824 60276 33554432000 4194304 4196468 140726481865872 139986548025904 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
Current children cumulated CPU time (s) 2292.08
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.35 1.45 1.47 3/281 18479
/proc/meminfo: memFree=30970944/32770624 swapFree=5848/269608
[pid=18364] ppid=18360 vsize=13270076 CPUtime=2352.86 cores=0,2,4,6,8,10,12,14
/proc/18364/stat : 18364 (java) S 18360 18364 14040 0 -1 1077944320 65196 0 0 0 235071 215 0 0 20 0 20 0 6256644 13588557824 60788 33554432000 4194304 4196468 140726481865872 140726481848416 139987824279287 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
/proc/18364/statm: 3317519 60788 3828 1 0 3305234 0
[pid=18364/tid=18366] ppid=18360 vsize=13270076 CPUtime=2313.48 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18366/stat : 18366 (java) R 18360 18364 14040 0 -1 4202560 25581 0 0 0 231330 18 0 0 20 0 20 0 6256644 13588557824 60788 33554432000 4194304 4196468 140726481865872 139987828517728 139987437682872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18367] ppid=18360 vsize=13270076 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18367/stat : 18367 (java) S 18360 18364 14040 0 -1 1077944384 2081 0 0 0 379 19 0 0 20 0 20 0 6256645 13588557824 60788 33554432000 4194304 4196468 140726481865872 139987756415632 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18368] ppid=18360 vsize=13270076 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18368/stat : 18368 (java) S 18360 18364 14040 0 -1 1077944384 1172 0 0 0 387 17 0 0 20 0 20 0 6256645 13588557824 60788 33554432000 4194304 4196468 140726481865872 139987755362832 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18369] ppid=18360 vsize=13270076 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18369/stat : 18369 (java) S 18360 18364 14040 0 -1 1077944384 3300 0 0 0 386 20 0 0 20 0 20 0 6256645 13588557824 60788 33554432000 4194304 4196468 140726481865872 139987754310032 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18370] ppid=18360 vsize=13270076 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18370/stat : 18370 (java) S 18360 18364 14040 0 -1 1077944384 1382 0 0 0 384 20 0 0 20 0 20 0 6256645 13588557824 60788 33554432000 4194304 4196468 140726481865872 139987753257232 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18371] ppid=18360 vsize=13270076 CPUtime=4.01 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18371/stat : 18371 (java) S 18360 18364 14040 0 -1 1077944384 987 0 0 0 383 18 0 0 20 0 20 0 6256645 13588557824 60788 33554432000 4194304 4196468 140726481865872 139987752205456 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18372] ppid=18360 vsize=13270076 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18372/stat : 18372 (java) S 18360 18364 14040 0 -1 1077944384 2127 0 0 0 384 18 0 0 20 0 20 0 6256645 13588557824 60788 33554432000 4194304 4196468 140726481865872 139987751152656 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18373] ppid=18360 vsize=13270076 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18373/stat : 18373 (java) S 18360 18364 14040 0 -1 1077944384 2106 0 0 0 384 20 0 0 20 0 20 0 6256645 13588557824 60788 33554432000 4194304 4196468 140726481865872 139987750099856 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18374] ppid=18360 vsize=13270076 CPUtime=3.95 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18374/stat : 18374 (java) S 18360 18364 14040 0 -1 1077944384 2250 0 0 0 375 20 0 0 20 0 20 0 6256645 13588557824 60788 33554432000 4194304 4196468 140726481865872 139987415698192 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18377] ppid=18360 vsize=13270076 CPUtime=2.7 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18377/stat : 18377 (java) S 18360 18364 14040 0 -1 1077944384 4280 0 0 0 250 20 0 0 20 0 20 0 6256647 13588557824 60788 33554432000 4194304 4196468 140726481865872 139986952309104 139987824290434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18384] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18384/stat : 18384 (java) S 18360 18364 14040 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 60788 33554432000 4194304 4196468 140726481865872 139986951255136 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18385] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18385/stat : 18385 (java) S 18360 18364 14040 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 60788 33554432000 4194304 4196468 140726481865872 139986950202240 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18386] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18386/stat : 18386 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256652 13588557824 60788 33554432000 4194304 4196468 140726481865872 139986949150544 139987824297883 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18387] ppid=18360 vsize=13270076 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18387/stat : 18387 (java) S 18360 18364 14040 0 -1 1077944384 2907 0 0 0 94 1 0 0 20 0 20 0 6256652 13588557824 60788 33554432000 4194304 4196468 140726481865872 139986948098928 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18388] ppid=18360 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18388/stat : 18388 (java) S 18360 18364 14040 0 -1 1077944384 2939 0 0 0 97 0 0 0 20 0 20 0 6256652 13588557824 60788 33554432000 4194304 4196468 140726481865872 139986947046128 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18389] ppid=18360 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18389/stat : 18389 (java) S 18360 18364 14040 0 -1 1077944384 5045 0 0 0 97 1 0 0 20 0 20 0 6256653 13588557824 60788 33554432000 4194304 4196468 140726481865872 139986945993328 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18390] ppid=18360 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18390/stat : 18390 (java) S 18360 18364 14040 0 -1 1077944384 6911 0 0 0 74 1 0 0 20 0 20 0 6256653 13588557824 60788 33554432000 4194304 4196468 140726481865872 139986944940528 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18391] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18391/stat : 18391 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256653 13588557824 60788 33554432000 4194304 4196468 140726481865872 139986943887968 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18392] ppid=18360 vsize=13270076 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18392/stat : 18392 (java) S 18360 18364 14040 0 -1 1077944384 710 0 0 0 34 38 0 0 20 0 20 0 6256653 13588557824 60788 33554432000 4194304 4196468 140726481865872 139986548025904 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
Current children cumulated CPU time (s) 2352.86
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2368.9 s]
/proc/loadavg: 1.29 1.42 1.46 3/282 18575
/proc/meminfo: memFree=31232636/32770624 swapFree=5848/269700
[pid=18364] ppid=18360 vsize=13270076 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/18364/stat : 18364 (java) S 18360 18364 14040 0 -1 1077944320 65321 0 0 0 239786 218 0 0 20 0 20 0 6256644 13588557824 61300 33554432000 4194304 4196468 140726481865872 140726481848416 139987824279287 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
/proc/18364/statm: 3317519 61300 3828 1 0 3305234 0
[pid=18364/tid=18366] ppid=18360 vsize=13270076 CPUtime=2359.92 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18366/stat : 18366 (java) R 18360 18364 14040 0 -1 4202560 25661 0 0 0 235973 19 0 0 20 0 20 0 6256644 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987828517728 139987437978076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18367] ppid=18360 vsize=13270076 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18367/stat : 18367 (java) S 18360 18364 14040 0 -1 1077944384 2082 0 0 0 387 19 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987756415632 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18368] ppid=18360 vsize=13270076 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18368/stat : 18368 (java) S 18360 18364 14040 0 -1 1077944384 1201 0 0 0 396 18 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987755362832 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18369] ppid=18360 vsize=13270076 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18369/stat : 18369 (java) S 18360 18364 14040 0 -1 1077944384 3301 0 0 0 394 20 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987754310032 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18370] ppid=18360 vsize=13270076 CPUtime=4.13 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18370/stat : 18370 (java) S 18360 18364 14040 0 -1 1077944384 1383 0 0 0 393 20 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987753257232 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18371] ppid=18360 vsize=13270076 CPUtime=4.08 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18371/stat : 18371 (java) S 18360 18364 14040 0 -1 1077944384 991 0 0 0 390 18 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987752205456 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18372] ppid=18360 vsize=13270076 CPUtime=4.12 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18372/stat : 18372 (java) S 18360 18364 14040 0 -1 1077944384 2128 0 0 0 393 19 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987751152656 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18373] ppid=18360 vsize=13270076 CPUtime=4.13 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18373/stat : 18373 (java) S 18360 18364 14040 0 -1 1077944384 2108 0 0 0 393 20 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987750099856 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18374] ppid=18360 vsize=13270076 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18374/stat : 18374 (java) S 18360 18364 14040 0 -1 1077944384 2250 0 0 0 382 20 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987415698192 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18377] ppid=18360 vsize=13270076 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18377/stat : 18377 (java) S 18360 18364 14040 0 -1 1077944384 4284 0 0 0 255 21 0 0 20 0 20 0 6256647 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986952309104 139987824290434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18384] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18384/stat : 18384 (java) S 18360 18364 14040 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986951255136 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18385] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18385/stat : 18385 (java) S 18360 18364 14040 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986950202240 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18386] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18386/stat : 18386 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256652 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986949150544 139987824297883 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18387] ppid=18360 vsize=13270076 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18387/stat : 18387 (java) S 18360 18364 14040 0 -1 1077944384 2907 0 0 0 94 1 0 0 20 0 20 0 6256652 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986948098928 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18388] ppid=18360 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18388/stat : 18388 (java) S 18360 18364 14040 0 -1 1077944384 2939 0 0 0 97 0 0 0 20 0 20 0 6256652 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986947046128 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18389] ppid=18360 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18389/stat : 18389 (java) S 18360 18364 14040 0 -1 1077944384 5045 0 0 0 97 1 0 0 20 0 20 0 6256653 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986945993328 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18390] ppid=18360 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18390/stat : 18390 (java) S 18360 18364 14040 0 -1 1077944384 6911 0 0 0 74 1 0 0 20 0 20 0 6256653 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986944940528 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18391] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18391/stat : 18391 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256653 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986943887968 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18392] ppid=18360 vsize=13270076 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18392/stat : 18392 (java) S 18360 18364 14040 0 -1 1077944384 712 0 0 0 35 38 0 0 20 0 20 0 6256653 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986548025904 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
Current children cumulated CPU time (s) 2400.04
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 18364 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2368.9 s]
/proc/loadavg: 1.29 1.42 1.46 3/282 18575
/proc/meminfo: memFree=31232636/32770624 swapFree=5848/269700
[pid=18364] ppid=18360 vsize=13270076 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/18364/stat : 18364 (java) S 18360 18364 14040 0 -1 1077944320 65321 0 0 0 239786 218 0 0 20 0 20 0 6256644 13588557824 61300 33554432000 4194304 4196468 140726481865872 140726481848416 139987824279287 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
/proc/18364/statm: 3317519 61300 3828 1 0 3305234 0
[pid=18364/tid=18366] ppid=18360 vsize=13270076 CPUtime=2359.92 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18366/stat : 18366 (java) R 18360 18364 14040 0 -1 4202560 25661 0 0 0 235973 19 0 0 20 0 20 0 6256644 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987828517728 139987437978076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18367] ppid=18360 vsize=13270076 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18367/stat : 18367 (java) S 18360 18364 14040 0 -1 1077944384 2082 0 0 0 387 19 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987756415632 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18368] ppid=18360 vsize=13270076 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18368/stat : 18368 (java) S 18360 18364 14040 0 -1 1077944384 1201 0 0 0 396 18 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987755362832 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18369] ppid=18360 vsize=13270076 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18369/stat : 18369 (java) S 18360 18364 14040 0 -1 1077944384 3301 0 0 0 394 20 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987754310032 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18370] ppid=18360 vsize=13270076 CPUtime=4.13 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18370/stat : 18370 (java) S 18360 18364 14040 0 -1 1077944384 1383 0 0 0 393 20 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987753257232 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18371] ppid=18360 vsize=13270076 CPUtime=4.08 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18371/stat : 18371 (java) S 18360 18364 14040 0 -1 1077944384 991 0 0 0 390 18 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987752205456 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18372] ppid=18360 vsize=13270076 CPUtime=4.12 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18372/stat : 18372 (java) S 18360 18364 14040 0 -1 1077944384 2128 0 0 0 393 19 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987751152656 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18373] ppid=18360 vsize=13270076 CPUtime=4.13 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18373/stat : 18373 (java) S 18360 18364 14040 0 -1 1077944384 2108 0 0 0 393 20 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987750099856 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18374] ppid=18360 vsize=13270076 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18374/stat : 18374 (java) S 18360 18364 14040 0 -1 1077944384 2250 0 0 0 382 20 0 0 20 0 20 0 6256645 13588557824 61300 33554432000 4194304 4196468 140726481865872 139987415698192 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18377] ppid=18360 vsize=13270076 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18377/stat : 18377 (java) S 18360 18364 14040 0 -1 1077944384 4284 0 0 0 255 21 0 0 20 0 20 0 6256647 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986952309104 139987824290434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18384] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18384/stat : 18384 (java) S 18360 18364 14040 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986951255136 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18385] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18385/stat : 18385 (java) S 18360 18364 14040 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 6256648 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986950202240 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18386] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18386/stat : 18386 (java) S 18360 18364 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6256652 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986949150544 139987824297883 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18387] ppid=18360 vsize=13270076 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18387/stat : 18387 (java) S 18360 18364 14040 0 -1 1077944384 2907 0 0 0 94 1 0 0 20 0 20 0 6256652 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986948098928 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18388] ppid=18360 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18388/stat : 18388 (java) S 18360 18364 14040 0 -1 1077944384 2939 0 0 0 97 0 0 0 20 0 20 0 6256652 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986947046128 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18389] ppid=18360 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18389/stat : 18389 (java) S 18360 18364 14040 0 -1 1077944384 5045 0 0 0 97 1 0 0 20 0 20 0 6256653 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986945993328 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18390] ppid=18360 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18390/stat : 18390 (java) S 18360 18364 14040 0 -1 1077944384 6911 0 0 0 74 1 0 0 20 0 20 0 6256653 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986944940528 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18391] ppid=18360 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18391/stat : 18391 (java) S 18360 18364 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6256653 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986943887968 139987824289493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
[pid=18364/tid=18392] ppid=18360 vsize=13270076 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/18364/task/18392/stat : 18392 (java) S 18360 18364 14040 0 -1 1077944384 712 0 0 0 35 38 0 0 20 0 20 0 6256653 13588557824 61300 33554432000 4194304 4196468 140726481865872 139986548025904 139987824290434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17805312 140726481872009 140726481872196 140726481872196 140726481874895 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2368.93
CPU time (s): 2400.09
CPU user time (s): 2397.9
CPU system time (s): 2.18954
CPU usage (%): 101.315
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.9
system time used= 2.18954
maximum resident set size= 245800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65708
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= 176227
involuntary context switches= 145826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3795 second user time and 21.1694 second system time

The end

Launcher Data

Begin job on node115 at 2017-07-22 09:51:15
IDJOB=4246320
IDBENCH=124413
IDSOLVER=2628
FILE ID=node115/4246320-1500709875
RUNJOBID= node115-1500709875-18320
PBS_JOBID= 20623035
Free space on /tmp= 61984 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k6.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-4246320-1500709875/watcher-4246320-1500709875 -o /tmp/evaluation-result-4246320-1500709875/solver-4246320-1500709875 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500709875-18320 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1340170558 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246320-1500709875.xml

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

MD5SUM BENCH= 65a76f6052f0c7193e3442ad9f3b990a
RANDOM SEED=1340170558

node115.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		: 2667.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.41
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		: 2533.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.41
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		: 1600.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.41
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		: 1600.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.41
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.41
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.41
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		: 1733.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		: 2133.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.41
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		: 1733.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.41
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		: 1600.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:        31679856 kB
MemAvailable:   31996888 kB
Buffers:          123840 kB
Cached:           474048 kB
SwapCached:            0 kB
Active:           377856 kB
Inactive:         276360 kB
Active(anon):      59516 kB
Inactive(anon):     8792 kB
Active(file):     318340 kB
Inactive(file):   267568 kB
Unevictable:        5848 kB
Mlocked:            5848 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             84008 kB
Writeback:             0 kB
AnonPages:         61236 kB
Mapped:            34840 kB
Shmem:              8848 kB
Slab:             127188 kB
SReclaimable:      93916 kB
SUnreclaim:        33272 kB
KernelStack:        4080 kB
PageTables:         4620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1198076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61904 MiB
End job on node115 at 2017-07-22 10:30:45

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

Trace number 4246320

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