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 - Hybrid 2017-06-30	SAT (TO)	1213	2400.09	2304.54

0.26/0.29	c version: 2017-06-30
0.26/0.30	c seed: 765905555
0.43/0.30	c timeout: 2400
0.43/0.30	c memlimit: 15500
0.43/0.30	c nbcore: 8
0.43/0.32	c Parsing instance...
2.46/1.10	c Parsing done, starting first complete search...
2.88/1.16	o 1990
2.88/1.17	o 1985
2.88/1.18	o 1981
2.88/1.18	o 1978
2.88/1.19	o 1955
2.88/1.20	o 1948
3.31/1.21	o 1918
3.31/1.22	o 1914
3.31/1.23	o 1899
3.31/1.23	o 1863
3.31/1.24	o 1815
3.31/1.25	o 1781
3.69/1.38	o 1775
4.09/1.42	o 1748
4.86/1.79	o 1719
6.59/3.63	c First complete search done, starting ALNS search...
18.37/13.07	o 1699
18.61/13.27	o 1658
86.14/79.68	o 1633
299.01/285.24	o 1631
399.61/381.84	o 1592
481.43/460.48	o 1536
509.25/487.19	o 1467
586.15/560.97	o 1447
629.42/602.36	o 1415
629.72/602.64	o 1411
686.89/657.52	o 1368
687.33/657.91	o 1363
707.27/677.17	o 1353
828.80/794.04	o 1347
831.71/796.80	o 1344
843.50/808.19	o 1332
1071.82/1026.48	o 1326
1080.83/1035.14	o 1286
1081.82/1036.17	o 1268
1090.07/1044.14	o 1241
1091.01/1045.03	o 1228
1363.31/1307.34	o 1213
1751.99/1682.51	c ALNS done, starting second complete search
1751.99/1682.51	c Best operator: Random(280)_ExtOriented(Max) with improvement of: 195
2400.01/2304.51	s SATISFIABLE
2400.01/2304.52	v <instantiation>
2400.01/2304.52	v 	<list>
2400.01/2304.52	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.01/2304.52	v 	</list>
2400.01/2304.52	v 	<values>
2400.01/2304.52	v 		0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 39 100 73 35 86 100 73 54 44 26 7 67 82 76 35 17 59 67 100 77 86 100 100 86 100 69 58 54 81 78 58 22 
2400.01/2304.52	v 	</values>
2400.01/2304.52	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-4246293-1500701772/watcher-4246293-1500701772 -o /tmp/evaluation-result-4246293-1500701772/solver-4246293-1500701772 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500697194-17819 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 765905555 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246293-1500701772.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.19 1.39 1.56 3/261 18746
/proc/meminfo: memFree=31378412/32770624 swapFree=5780/278776
[pid=18746] ppid=18743 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 2151 0 0 0 0 0 0 0 20 0 2 0 5443494 10889764864 2366 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 2658634 2366 1188 1 0 2647545 0
[pid=18746/tid=18747] ppid=18743 vsize=10635564 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) S 18743 18746 14782 0 -1 1077944384 912 0 0 0 0 0 0 0 20 0 3 0 5443494 10890817536 2432 33554432000 4194304 4196468 140726720090880 140039966815952 140039962584789 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=10635564 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 3 0 5443495 10890817536 2432 33554432000 4194304 4196468 140726720090880 140039894711520 140039962584789 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0

[startup+0.100176 s]
/proc/loadavg: 1.19 1.39 1.56 3/261 18746
/proc/meminfo: memFree=31378412/32770624 swapFree=5780/278776
[pid=18746] ppid=18743 vsize=13264380 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 5664 0 0 0 9 1 0 0 20 0 20 0 5443494 13582725120 6243 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 3316095 6243 3307 1 0 3303815 0
[pid=18746/tid=18747] ppid=18743 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) R 18743 18746 14782 0 -1 4202560 3747 0 0 0 8 0 0 0 20 0 20 0 5443494 13582725120 6243 33554432000 4194304 4196468 140726720090880 140039966816864 140039942180281 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5443495 13582725120 6243 33554432000 4194304 4196468 140726720090880 140039894711184 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380

[startup+0.200485 s]
/proc/loadavg: 1.19 1.39 1.56 3/261 18746
/proc/meminfo: memFree=31378412/32770624 swapFree=5780/278776
[pid=18746] ppid=18743 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 8804 0 0 0 24 2 0 0 20 0 20 0 5443494 13582245888 8835 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 3315978 8835 3564 1 0 3303698 0
[pid=18746/tid=18747] ppid=18743 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) R 18743 18746 14782 0 -1 4202560 6517 0 0 0 17 1 0 0 20 0 20 0 5443494 13582245888 8835 33554432000 4194304 4196468 140726720090880 140039966798480 140039946655070 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5443495 13582245888 8835 33554432000 4194304 4196468 140726720090880 140039894711184 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300384 s]
/proc/loadavg: 1.19 1.39 1.56 3/261 18746
/proc/meminfo: memFree=31378412/32770624 swapFree=5780/278776
[pid=18746] ppid=18743 vsize=13263912 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 9905 0 0 0 40 3 0 0 20 0 20 0 5443494 13582245888 11135 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 3315978 11135 3625 1 0 3303698 0
[pid=18746/tid=18747] ppid=18743 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) R 18743 18746 14782 0 -1 4202560 7285 0 0 0 26 2 0 0 20 0 20 0 5443494 13582245888 11135 33554432000 4194304 4196468 140726720090880 140039966791120 140039962596413 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5443495 13582245888 11135 33554432000 4194304 4196468 140726720090880 140039894711184 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912

[startup+0.700257 s]
/proc/loadavg: 1.19 1.39 1.56 3/261 18746
/proc/meminfo: memFree=31378412/32770624 swapFree=5780/278776
[pid=18746] ppid=18743 vsize=13265980 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 14066 0 0 0 148 5 0 0 20 0 20 0 5443494 13584363520 19974 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 3316495 19974 3775 1 0 3304210 0
[pid=18746/tid=18747] ppid=18743 vsize=13265980 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) R 18743 18746 14782 0 -1 4202560 8560 0 0 0 65 3 0 0 20 0 20 0 5443494 13584363520 19974 33554432000 4194304 4196468 140726720090880 140039966810080 140039962586518 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5443495 13584363520 19974 33554432000 4194304 4196468 140726720090880 140039894711184 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 13265980

[startup+1.50121 s]
/proc/loadavg: 1.42 1.44 1.57 5/281 18766
/proc/meminfo: memFree=31124140/32770624 swapFree=5780/278532
[pid=18746] ppid=18743 vsize=13270076 CPUtime=4.49 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 27447 0 0 0 439 10 0 0 20 0 20 0 5443494 13588557824 45703 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 3317519 45703 3796 1 0 3305234 0
[pid=18746/tid=18747] ppid=18743 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) R 18743 18746 14782 0 -1 4202560 11303 0 0 0 142 5 0 0 20 0 20 0 5443494 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039966810024 140039581198588 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039894711184 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18749] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18749/stat : 18749 (java) S 18743 18746 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039893658384 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18750] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18750/stat : 18750 (java) S 18743 18746 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039559285904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18752] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18752/stat : 18752 (java) S 18743 18746 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039558233104 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18753] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18753/stat : 18753 (java) S 18743 18746 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039557179792 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18754] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18754/stat : 18754 (java) S 18743 18746 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039556126992 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18755] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18755/stat : 18755 (java) S 18743 18746 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039555074704 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18756] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18756/stat : 18756 (java) S 18743 18746 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039554021904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18757] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18757/stat : 18757 (java) S 18743 18746 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 5443497 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039493417584 140039962585730 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18758] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18758/stat : 18758 (java) S 18743 18746 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5443498 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039492363552 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18759] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18759/stat : 18759 (java) S 18743 18746 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5443498 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039491311216 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18760] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18760/stat : 18760 (java) S 18743 18746 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039490259536 140039962593179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18761] ppid=18743 vsize=13270076 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18761/stat : 18761 (java) S 18743 18746 14782 0 -1 1077944384 3727 0 0 0 77 1 0 0 20 0 20 0 5443502 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039421945968 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18762] ppid=18743 vsize=13270076 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18762/stat : 18762 (java) R 18743 18746 14782 0 -1 4202560 2292 0 0 0 73 0 0 0 20 0 20 0 5443502 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039420885008 140039945985376 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18763] ppid=18743 vsize=13270076 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18763/stat : 18763 (java) R 18743 18746 14782 0 -1 4202560 2767 0 0 0 76 1 0 0 20 0 20 0 5443502 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039419823024 140039942267687 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18764] ppid=18743 vsize=13270076 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18764/stat : 18764 (java) R 18743 18746 14782 0 -1 4202560 5943 0 0 0 69 1 0 0 20 0 20 0 5443502 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039418788080 140039962585730 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18765] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18765/stat : 18765 (java) S 18743 18746 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039417736032 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18766] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18766/stat : 18766 (java) S 18743 18746 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 45703 33554432000 4194304 4196468 140726720090880 140039416683312 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 13270076

[startup+3.1009 s]
/proc/loadavg: 1.42 1.44 1.57 3/281 18766
/proc/meminfo: memFree=31022728/32770624 swapFree=5780/278532
[pid=18746] ppid=18743 vsize=13270076 CPUtime=6.41 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 29307 0 0 0 626 15 0 0 20 0 20 0 5443494 13588557824 56051 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 3317519 56051 3812 1 0 3305234 0
[pid=18746/tid=18747] ppid=18743 vsize=13270076 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) R 18743 18746 14782 0 -1 4202560 11604 0 0 0 300 6 0 0 20 0 20 0 5443494 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039966812696 140039580796678 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039894711184 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18749] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18749/stat : 18749 (java) S 18743 18746 14782 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039893658384 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18750] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18750/stat : 18750 (java) S 18743 18746 14782 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039559285904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18752] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18752/stat : 18752 (java) S 18743 18746 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039558233104 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18753] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18753/stat : 18753 (java) S 18743 18746 14782 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039557179792 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18754] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18754/stat : 18754 (java) S 18743 18746 14782 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039556126992 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18755] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18755/stat : 18755 (java) S 18743 18746 14782 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039555074704 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18756] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18756/stat : 18756 (java) S 18743 18746 14782 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 5443495 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039554021904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18757] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18757/stat : 18757 (java) S 18743 18746 14782 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 20 0 5443497 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039493417584 140039962585730 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18758] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18758/stat : 18758 (java) S 18743 18746 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5443498 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039492363616 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18759] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18759/stat : 18759 (java) S 18743 18746 14782 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 5443498 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039491311232 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18760] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18760/stat : 18760 (java) S 18743 18746 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039490259536 140039962593179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18761] ppid=18743 vsize=13270076 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18761/stat : 18761 (java) S 18743 18746 14782 0 -1 1077944384 3761 0 0 0 84 1 0 0 20 0 20 0 5443502 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039421945968 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18762] ppid=18743 vsize=13270076 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18762/stat : 18762 (java) S 18743 18746 14782 0 -1 1077944384 2313 0 0 0 81 0 0 0 20 0 20 0 5443502 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039420893168 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18763] ppid=18743 vsize=13270076 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18763/stat : 18763 (java) S 18743 18746 14782 0 -1 1077944384 2828 0 0 0 84 1 0 0 20 0 20 0 5443502 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039419840880 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18764] ppid=18743 vsize=13270076 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18764/stat : 18764 (java) S 18743 18746 14782 0 -1 1077944384 6862 0 0 0 70 1 0 0 20 0 20 0 5443502 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039418788080 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18765] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18765/stat : 18765 (java) S 18743 18746 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039417736032 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18766] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18766/stat : 18766 (java) S 18743 18746 14782 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 56051 33554432000 4194304 4196468 140726720090880 140039416683312 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 13270076

[startup+6.30229 s]
/proc/loadavg: 1.42 1.44 1.57 3/281 18766
/proc/meminfo: memFree=30809616/32770624 swapFree=5780/278808
[pid=18746] ppid=18743 vsize=13270076 CPUtime=10.62 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 32998 0 0 0 1008 54 0 0 20 0 20 0 5443494 13588557824 140183 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 3317519 140183 3831 1 0 3305234 0
[pid=18746/tid=18747] ppid=18743 vsize=13270076 CPUtime=5.79 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) R 18743 18746 14782 0 -1 4202560 12962 0 0 0 569 10 0 0 20 0 20 0 5443494 13588557824 140183 33554432000 4194304 4196468 140726720090880 140039966811720 140039582082769 0 4 0 16800975 0 0 0 -1 11 0 0 35 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 826 0 0 0 5 4 0 0 20 0 20 0 5443495 13588557824 140183 33554432000 4194304 4196468 140726720090880 140039894711184 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18749] ppid=18743 vsize=13270076 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18749/stat : 18749 (java) S 18743 18746 14782 0 -1 1077944384 64 0 0 0 4 4 0 0 20 0 20 0 5443495 13588557824 140183 33554432000 4194304 4196468 140726720090880 140039893658384 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18750] ppid=18743 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18750/stat : 18750 (java) S 18743 18746 14782 0 -1 1077944384 116 0 0 0 5 4 0 0 20 0 20 0 5443495 13588557824 140183 33554432000 4194304 4196468 140726720090880 140039559285904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18752] ppid=18743 vsize=13270076 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18752/stat : 18752 (java) S 18743 18746 14782 0 -1 1077944384 48 0 0 0 4 4 0 0 20 0 20 0 5443495 13588557824 140183 33554432000 4194304 4196468 140726720090880 140039558233104 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18753] ppid=18743 vsize=13270076 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18753/stat : 18753 (java) S 18743 18746 14782 0 -1 1077944384 71 0 0 0 4 4 0 0 20 0 20 0 5443495 13588557824 140183 33554432000 4194304 4196468 140726720090880 140039557179792 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18754] ppid=18743 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18754/stat : 18754 (java) S 18743 18746 14782 0 -1 1077944384 73 0 0 0 5 5 0 0 20 0 20 0 5443495 13588557824 140183 33554432000 4194304 4196468 140726720090880 140039556126992 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18755] ppid=18743 vsize=13270076 CPUtime=0.08 cores=1,3,5,7,9,11,13,15

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

/proc/18746/task/18762/stat : 18762 (java) S 18743 18746 14782 0 -1 1077944384 18838 0 0 0 179 3 0 0 20 0 20 0 5443502 13588557824 204318 33554432000 4194304 4196468 140726720090880 140039420893168 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18763] ppid=18743 vsize=13270076 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18763/stat : 18763 (java) S 18743 18746 14782 0 -1 1077944384 19448 0 0 0 198 3 0 0 20 0 20 0 5443502 13588557824 204318 33554432000 4194304 4196468 140726720090880 140039419840880 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18764] ppid=18743 vsize=13270076 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18764/stat : 18764 (java) S 18743 18746 14782 0 -1 1077944384 38042 0 0 0 106 3 0 0 20 0 20 0 5443502 13588557824 204318 33554432000 4194304 4196468 140726720090880 140039418788080 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 35 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18765] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18765/stat : 18765 (java) S 18743 18746 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 204318 33554432000 4194304 4196468 140726720090880 140039417736032 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18766] ppid=18743 vsize=13270076 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18766/stat : 18766 (java) S 18743 18746 14782 0 -1 1077944384 2146 0 0 0 52 67 0 0 20 0 20 0 5443502 13588557824 204318 33554432000 4194304 4196468 140726720090880 140039416683312 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
Current children cumulated CPU time (s) 2293.74
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.35 1.42 1.47 3/282 18859
/proc/meminfo: memFree=29268912/32770624 swapFree=5780/281024
[pid=18746] ppid=18743 vsize=13270076 CPUtime=2356.12 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 400594 0 0 0 235106 506 0 0 20 0 20 0 5443494 13588557824 228089 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 3317519 228089 3859 1 0 3305234 0
[pid=18746/tid=18747] ppid=18743 vsize=13270076 CPUtime=2242.06 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) R 18743 18746 14782 0 -1 4202560 104288 0 0 0 224146 60 0 0 20 0 20 0 5443494 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039966812816 140039582429464 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=13270076 CPUtime=12.84 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 14784 0 0 0 1240 44 0 0 20 0 20 0 5443495 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039894711184 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18749] ppid=18743 vsize=13270076 CPUtime=13.08 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18749/stat : 18749 (java) S 18743 18746 14782 0 -1 1077944384 17184 0 0 0 1266 42 0 0 20 0 20 0 5443495 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039893658384 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18750] ppid=18743 vsize=13270076 CPUtime=12.73 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18750/stat : 18750 (java) S 18743 18746 14782 0 -1 1077944384 16890 0 0 0 1231 42 0 0 20 0 20 0 5443495 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039559285904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18752] ppid=18743 vsize=13270076 CPUtime=12.75 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18752/stat : 18752 (java) S 18743 18746 14782 0 -1 1077944384 17137 0 0 0 1234 41 0 0 20 0 20 0 5443495 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039558233104 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18753] ppid=18743 vsize=13270076 CPUtime=12.85 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18753/stat : 18753 (java) S 18743 18746 14782 0 -1 1077944384 15885 0 0 0 1245 40 0 0 20 0 20 0 5443495 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039557179792 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18754] ppid=18743 vsize=13270076 CPUtime=12.86 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18754/stat : 18754 (java) S 18743 18746 14782 0 -1 1077944384 17606 0 0 0 1243 43 0 0 20 0 20 0 5443495 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039556126992 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18755] ppid=18743 vsize=13270076 CPUtime=12.89 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18755/stat : 18755 (java) S 18743 18746 14782 0 -1 1077944384 14076 0 0 0 1246 43 0 0 20 0 20 0 5443495 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039555074704 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18756] ppid=18743 vsize=13270076 CPUtime=12.8 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18756/stat : 18756 (java) S 18743 18746 14782 0 -1 1077944384 15625 0 0 0 1236 44 0 0 20 0 20 0 5443495 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039554021904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18757] ppid=18743 vsize=13270076 CPUtime=3.18 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18757/stat : 18757 (java) S 18743 18746 14782 0 -1 1077944384 65195 0 0 0 265 53 0 0 20 0 20 0 5443497 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039493417584 140039962585730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18758] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18758/stat : 18758 (java) S 18743 18746 14782 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 5443498 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039492363616 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18759] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18759/stat : 18759 (java) S 18743 18746 14782 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 5443498 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039491311232 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18760] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18760/stat : 18760 (java) S 18743 18746 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039490259536 140039962593179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18761] ppid=18743 vsize=13270076 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18761/stat : 18761 (java) S 18743 18746 14782 0 -1 1077944384 21958 0 0 0 179 3 0 0 20 0 20 0 5443502 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039421945968 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18762] ppid=18743 vsize=13270076 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18762/stat : 18762 (java) S 18743 18746 14782 0 -1 1077944384 18840 0 0 0 179 3 0 0 20 0 20 0 5443502 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039420893168 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18763] ppid=18743 vsize=13270076 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18763/stat : 18763 (java) S 18743 18746 14782 0 -1 1077944384 19450 0 0 0 198 3 0 0 20 0 20 0 5443502 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039419840880 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18764] ppid=18743 vsize=13270076 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18764/stat : 18764 (java) S 18743 18746 14782 0 -1 1077944384 38044 0 0 0 106 3 0 0 20 0 20 0 5443502 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039418788080 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 35 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18765] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18765/stat : 18765 (java) S 18743 18746 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039417736032 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18766] ppid=18743 vsize=13270076 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18766/stat : 18766 (java) S 18743 18746 14782 0 -1 1077944384 2162 0 0 0 53 68 0 0 20 0 20 0 5443502 13588557824 228089 33554432000 4194304 4196468 140726720090880 140039416683312 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 48 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
Current children cumulated CPU time (s) 2356.12
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2304.5 s]
/proc/loadavg: 1.55 1.46 1.49 3/282 19033
/proc/meminfo: memFree=30336108/32770624 swapFree=5780/281144
[pid=18746] ppid=18743 vsize=13270076 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 402465 0 0 0 239490 511 0 0 20 0 20 0 5443494 13588557824 217247 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 3317519 217247 3859 1 0 3305234 0
[pid=18746/tid=18747] ppid=18743 vsize=13270076 CPUtime=2283.88 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) R 18743 18746 14782 0 -1 4202560 105962 0 0 0 228327 61 0 0 20 0 20 0 5443494 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039966812816 140039582082305 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=13270076 CPUtime=13.07 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 14793 0 0 0 1263 44 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039894711184 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18749] ppid=18743 vsize=13270076 CPUtime=13.34 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18749/stat : 18749 (java) S 18743 18746 14782 0 -1 1077944384 17192 0 0 0 1292 42 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039893658384 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18750] ppid=18743 vsize=13270076 CPUtime=12.97 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18750/stat : 18750 (java) S 18743 18746 14782 0 -1 1077944384 16950 0 0 0 1255 42 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039559285904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18752] ppid=18743 vsize=13270076 CPUtime=13 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18752/stat : 18752 (java) S 18743 18746 14782 0 -1 1077944384 17171 0 0 0 1259 41 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039558233104 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18753] ppid=18743 vsize=13270076 CPUtime=13.09 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18753/stat : 18753 (java) S 18743 18746 14782 0 -1 1077944384 15892 0 0 0 1268 41 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039557179792 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18754] ppid=18743 vsize=13270076 CPUtime=13.1 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18754/stat : 18754 (java) S 18743 18746 14782 0 -1 1077944384 17626 0 0 0 1266 44 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039556126992 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18755] ppid=18743 vsize=13270076 CPUtime=13.14 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18755/stat : 18755 (java) S 18743 18746 14782 0 -1 1077944384 14077 0 0 0 1271 43 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039555074704 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18756] ppid=18743 vsize=13270076 CPUtime=13.06 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18756/stat : 18756 (java) S 18743 18746 14782 0 -1 1077944384 15639 0 0 0 1261 45 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039554021904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18757] ppid=18743 vsize=13270076 CPUtime=3.25 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18757/stat : 18757 (java) S 18743 18746 14782 0 -1 1077944384 65227 0 0 0 271 54 0 0 20 0 20 0 5443497 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039493417584 140039962585730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18758] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18758/stat : 18758 (java) S 18743 18746 14782 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 5443498 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039492363616 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18759] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18759/stat : 18759 (java) S 18743 18746 14782 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 5443498 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039491311232 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18760] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18760/stat : 18760 (java) S 18743 18746 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039490259536 140039962593179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18761] ppid=18743 vsize=13270076 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18761/stat : 18761 (java) S 18743 18746 14782 0 -1 1077944384 21960 0 0 0 179 3 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039421945968 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18762] ppid=18743 vsize=13270076 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18762/stat : 18762 (java) S 18743 18746 14782 0 -1 1077944384 18842 0 0 0 179 3 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039420893168 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18763] ppid=18743 vsize=13270076 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18763/stat : 18763 (java) S 18743 18746 14782 0 -1 1077944384 19452 0 0 0 198 3 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039419840880 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18764] ppid=18743 vsize=13270076 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18764/stat : 18764 (java) S 18743 18746 14782 0 -1 1077944384 38046 0 0 0 106 3 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039418788080 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 35 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18765] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18765/stat : 18765 (java) S 18743 18746 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039417736032 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18766] ppid=18743 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18766/stat : 18766 (java) S 18743 18746 14782 0 -1 1077944384 2166 0 0 0 55 70 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039416683312 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
Current children cumulated CPU time (s) 2400.01
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 18746 sig 9
??? kill -18746 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2304.5 s]
/proc/loadavg: 1.55 1.46 1.49 3/282 19033
/proc/meminfo: memFree=30336108/32770624 swapFree=5780/281144
[pid=18746] ppid=18743 vsize=13270076 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/18746/stat : 18746 (java) S 18743 18746 14782 0 -1 1077944320 402465 0 0 0 239490 511 0 0 20 0 20 0 5443494 13588557824 217247 33554432000 4194304 4196468 140726720090880 140726720073424 140039962574583 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
/proc/18746/statm: 3317519 217247 3859 1 0 3305234 0
[pid=18746/tid=18747] ppid=18743 vsize=13270076 CPUtime=2283.88 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18747/stat : 18747 (java) R 18743 18746 14782 0 -1 4202560 105962 0 0 0 228327 61 0 0 20 0 20 0 5443494 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039966812816 140039582082305 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18748] ppid=18743 vsize=13270076 CPUtime=13.07 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18748/stat : 18748 (java) S 18743 18746 14782 0 -1 1077944384 14793 0 0 0 1263 44 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039894711184 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18749] ppid=18743 vsize=13270076 CPUtime=13.34 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18749/stat : 18749 (java) S 18743 18746 14782 0 -1 1077944384 17192 0 0 0 1292 42 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039893658384 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18750] ppid=18743 vsize=13270076 CPUtime=12.97 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18750/stat : 18750 (java) S 18743 18746 14782 0 -1 1077944384 16950 0 0 0 1255 42 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039559285904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18752] ppid=18743 vsize=13270076 CPUtime=13 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18752/stat : 18752 (java) S 18743 18746 14782 0 -1 1077944384 17171 0 0 0 1259 41 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039558233104 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18753] ppid=18743 vsize=13270076 CPUtime=13.09 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18753/stat : 18753 (java) S 18743 18746 14782 0 -1 1077944384 15892 0 0 0 1268 41 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039557179792 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18754] ppid=18743 vsize=13270076 CPUtime=13.1 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18754/stat : 18754 (java) S 18743 18746 14782 0 -1 1077944384 17626 0 0 0 1266 44 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039556126992 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18755] ppid=18743 vsize=13270076 CPUtime=13.14 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18755/stat : 18755 (java) S 18743 18746 14782 0 -1 1077944384 14077 0 0 0 1271 43 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039555074704 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18756] ppid=18743 vsize=13270076 CPUtime=13.06 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18756/stat : 18756 (java) S 18743 18746 14782 0 -1 1077944384 15639 0 0 0 1261 45 0 0 20 0 20 0 5443495 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039554021904 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18757] ppid=18743 vsize=13270076 CPUtime=3.25 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18757/stat : 18757 (java) S 18743 18746 14782 0 -1 1077944384 65227 0 0 0 271 54 0 0 20 0 20 0 5443497 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039493417584 140039962585730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18758] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18758/stat : 18758 (java) S 18743 18746 14782 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 5443498 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039492363616 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18759] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18759/stat : 18759 (java) S 18743 18746 14782 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 5443498 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039491311232 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18760] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18760/stat : 18760 (java) S 18743 18746 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039490259536 140039962593179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18761] ppid=18743 vsize=13270076 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18761/stat : 18761 (java) S 18743 18746 14782 0 -1 1077944384 21960 0 0 0 179 3 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039421945968 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18762] ppid=18743 vsize=13270076 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18762/stat : 18762 (java) S 18743 18746 14782 0 -1 1077944384 18842 0 0 0 179 3 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039420893168 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18763] ppid=18743 vsize=13270076 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18763/stat : 18763 (java) S 18743 18746 14782 0 -1 1077944384 19452 0 0 0 198 3 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039419840880 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18764] ppid=18743 vsize=13270076 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18764/stat : 18764 (java) S 18743 18746 14782 0 -1 1077944384 38046 0 0 0 106 3 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039418788080 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 35 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18765] ppid=18743 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18765/stat : 18765 (java) S 18743 18746 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039417736032 140039962584789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
[pid=18746/tid=18766] ppid=18743 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/18746/task/18766/stat : 18766 (java) S 18743 18746 14782 0 -1 1077944384 2166 0 0 0 55 70 0 0 20 0 20 0 5443502 13588557824 217247 33554432000 4194304 4196468 140726720090880 140039416683312 140039962585730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 21524480 140726720095374 140726720095556 140726720095556 140726720098255 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2304.54
CPU time (s): 2400.09
CPU user time (s): 2394.96
CPU system time (s): 5.12708
CPU usage (%): 104.146
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.96
system time used= 5.12708
maximum resident set size= 2754508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 165168
involuntary context switches= 145787

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3692 second user time and 19.0186 second system time

The end

Launcher Data

Begin job on node143 at 2017-07-22 07:36:12
IDJOB=4246293
IDBENCH=124395
IDSOLVER=2629
FILE ID=node143/4246293-1500701772
RUNJOBID= node143-1500697194-17819
PBS_JOBID= 20623040
Free space on /tmp= 61952 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k5.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246293-1500701772/watcher-4246293-1500701772 -o /tmp/evaluation-result-4246293-1500701772/solver-4246293-1500701772 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500697194-17819 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 765905555 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246293-1500701772.xml

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

MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078
RANDOM SEED=765905555

node143.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		: 2133.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.69
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		: 1733.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		: 2668.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.69
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		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
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		: 1733.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		: 1733.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.69
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		: 2267.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		: 2668.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.69
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		: 2667.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		: 2533.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.69
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		: 1867.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		: 2267.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.69
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		: 2133.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.69
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		: 1867.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:        31387536 kB
MemAvailable:   31722388 kB
Buffers:          153832 kB
Cached:           452916 kB
SwapCached:            0 kB
Active:           645372 kB
Inactive:         287536 kB
Active(anon):     329252 kB
Inactive(anon):     8760 kB
Active(file):     316120 kB
Inactive(file):   278776 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42316 kB
Writeback:             0 kB
AnonPages:        319896 kB
Mapped:            45524 kB
Shmem:              8852 kB
Slab:             145824 kB
SReclaimable:     111580 kB
SUnreclaim:        34244 kB
KernelStack:        4496 kB
PageTables:         5440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1388524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

Free space on /tmp at the end= 61908 MiB
End job on node143 at 2017-07-22 08:14:37

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

Trace number 4246293

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