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 - ALNS 2017-06-30	SAT (TO)	1661	2400.07	2304.24

0.27/0.26	c version: 2017-06-30
0.27/0.26	c seed: 910131857
0.27/0.26	c timeout: 2400
0.27/0.26	c memlimit: 15500
0.27/0.26	c nbcore: 8
0.27/0.28	c Parsing instance...
3.14/1.12	c Parsing done, starting search...
3.14/1.19	o 2039
27.23/21.82	o 2026
59.22/53.12	o 1931
924.43/884.35	o 1873
930.72/890.33	o 1785
950.99/909.71	o 1683
1012.80/969.07	o 1667
1650.70/1583.27	o 1661
2400.02/2304.21	s SATISFIABLE
2400.02/2304.21	v <instantiation>
2400.02/2304.21	v 	<list>
2400.02/2304.21	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[0][33] x[0][34] x[0][35] 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[1][33] x[1][34] x[1][35] 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[2][33] x[2][34] x[2][35] 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[3][33] x[3][34] x[3][35] 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[4][33] x[4][34] x[4][35] 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[5][33] x[5][34] x[5][35] 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[6][33] x[6][34] x[6][35] 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[7][33] x[7][34] x[7][35] 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[8][33] x[8][34] x[8][35] 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[9][33] x[9][34] x[9][35] 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[10][33] x[10][34] x[10][35] 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[11][33] x[11][34] x[11][35] 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[12][33] x[12][34] x[12][35] 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[13][33] x[13][34] x[13][35] 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[14][33] x[14][34] x[14][35] 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[15][33] x[15][34] x[15][35] 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[16][33] x[16][34] x[16][35] 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[17][33] x[17][34] x[17][35] 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[18][33] x[18][34] x[18][35] 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[19][33] x[19][34] x[19][35] 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[20][33] x[20][34] x[20][35] 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[21][33] x[21][34] x[21][35] 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[22][33] x[22][34] x[22][35] 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[23][33] x[23][34] x[23][35] 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[24][33] x[24][34] x[24][35] 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[25][33] x[25][34] x[25][35] 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[26][33] x[26][34] x[26][35] 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[27][33] x[27][34] x[27][35] 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[28][33] x[28][34] x[28][35] 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[29][33] x[29][34] x[29][35] 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[30][33] x[30][34] x[30][35] 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[31][33] x[31][34] x[31][35] 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] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] 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] u[33] u[34] u[35]
2400.02/2304.21	v 	</list>
2400.02/2304.21	v 	<values>
2400.02/2304.21	v 		0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 5 81 39 43 100 71 100 69 51 53 92 24 38 32 80 18 78 63 41 100 68 100 100 67 24 94 100 53 42 74 82 80 44 30 62 
2400.02/2304.21	v 	</values>
2400.02/2304.21	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-4246312-1500708499/watcher-4246312-1500708499 -o /tmp/evaluation-result-4246312-1500708499/solver-4246312-1500708499 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500697063-2096 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 910131857 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246312-1500708499.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.68 1.62 1.61 3/261 3383
/proc/meminfo: memFree=29620884/32770624 swapFree=5836/307276
[pid=3383] ppid=3380 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 6117313 369864704 1924 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 90299 1924 1072 1 0 79210 0
[pid=3383/tid=3384] ppid=3380 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) R 3380 3383 7411 0 -1 4202560 750 0 0 0 0 0 0 0 20 0 2 0 6117313 10889764864 2318 33554432000 4194304 4196468 140732470060272 140394421049760 140394409097120 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0

[startup+0.100075 s]
/proc/loadavg: 1.68 1.62 1.61 3/261 3383
/proc/meminfo: memFree=29620884/32770624 swapFree=5836/307276
[pid=3383] ppid=3380 vsize=13263912 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 6790 0 0 0 9 1 0 0 20 0 20 0 6117313 13582245888 7073 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 3315978 7073 3405 1 0 3303698 0
[pid=3383/tid=3384] ppid=3380 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) R 3380 3383 7411 0 -1 4202560 4835 0 0 0 7 1 0 0 20 0 20 0 6117313 13582245888 7073 33554432000 4194304 4196468 140732470060272 140394421035712 140394416829597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912

[startup+0.200358 s]
/proc/loadavg: 1.68 1.62 1.61 3/261 3383
/proc/meminfo: memFree=29620884/32770624 swapFree=5836/307276
[pid=3383] ppid=3380 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 9274 0 0 0 25 2 0 0 20 0 20 0 6117313 13582245888 9630 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 3315978 9630 3577 1 0 3303698 0
[pid=3383/tid=3384] ppid=3380 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) R 3380 3383 7411 0 -1 4202560 6804 0 0 0 16 1 0 0 20 0 20 0 6117313 13582245888 9630 33554432000 4194304 4196468 140732470060272 140394421020368 140394400851301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912

[startup+0.300338 s]
/proc/loadavg: 1.68 1.62 1.61 3/261 3383
/proc/meminfo: memFree=29620884/32770624 swapFree=5836/307276
[pid=3383] ppid=3380 vsize=13263932 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 10466 0 0 0 44 3 0 0 20 0 20 0 6117313 13582266368 12258 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 3315983 12258 3716 1 0 3303698 0
[pid=3383/tid=3384] ppid=3380 vsize=13263932 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) R 3380 3383 7411 0 -1 4202560 7479 0 0 0 25 2 0 0 20 0 20 0 6117313 13582266368 12258 33554432000 4194304 4196468 140732470060272 140394421027456 140394400888158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13263932

[startup+0.70024 s]
/proc/loadavg: 1.68 1.62 1.61 3/261 3383
/proc/meminfo: memFree=29620884/32770624 swapFree=5836/307276
[pid=3383] ppid=3380 vsize=13265980 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 15328 0 0 0 160 6 0 0 20 0 20 0 6117313 13584363520 22205 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 3316495 22205 3776 1 0 3304210 0
[pid=3383/tid=3384] ppid=3380 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) R 3380 3383 7411 0 -1 4202560 8581 0 0 0 64 3 0 0 20 0 20 0 6117313 13584363520 22205 33554432000 4194304 4196468 140732470060272 140394421043328 140394042107777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 13265980

[startup+1.50116 s]
/proc/loadavg: 1.68 1.62 1.61 7/281 3403
/proc/meminfo: memFree=29512544/32770624 swapFree=5836/307252
[pid=3383] ppid=3380 vsize=13270076 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 29359 0 0 0 416 10 0 0 20 0 20 0 6117313 13588557824 47821 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 3317519 47821 3800 1 0 3305234 0
[pid=3383/tid=3384] ppid=3380 vsize=13270076 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) R 3380 3383 7411 0 -1 4202560 12385 0 0 0 141 6 0 0 20 0 20 0 6117313 13588557824 47821 33554432000 4194304 4196468 140732470060272 140394421045096 140394050360560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3386] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6117314 13588557824 47821 33554432000 4194304 4196468 140732470060272 140394369427728 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3387] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6117314 13588557824 47821 33554432000 4194304 4196468 140732470060272 140394368375184 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3388] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6117314 13588557824 47821 33554432000 4194304 4196468 140732470060272 140394367322640 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3389] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6117314 13588557824 47821 33554432000 4194304 4196468 140732470060272 140394366270096 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3390] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6117314 13588557824 47821 33554432000 4194304 4196468 140732470060272 140394365217552 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3391] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6117314 13588557824 47821 33554432000 4194304 4196468 140732470060272 140394364165008 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3392] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6117314 13588557824 47821 33554432000 4194304 4196468 140732470060272 140394363112464 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3393] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6117314 13588557824 47821 33554432000 4194304 4196468 140732470060272 140394362059920 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3394] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 7411 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 47821 33554432000 4194304 4196468 140732470060272 140393879386096 140394416818818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3395] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 47821 33554432000 4194304 4196468 140732470060272 140393878332320 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3396] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 47821 33554432000 4194304 4196468 140732470060272 140393877279728 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3397] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 47821 33554432000 4194304 4196468 140732470060272 140393876228304 140394416826267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3398] ppid=3380 vsize=13270076 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 7411 0 -1 1077944384 3057 0 0 0 79 1 0 0 20 0 20 0 6117319 13588557824 47821 33554432000 4194304 4196468 140732470060272 140393875175920 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3399] ppid=3380 vsize=13270076 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3399/stat : 3399 (java) S 3380 3383 7411 0 -1 1077944384 2747 0 0 0 55 0 0 0 20 0 20 0 6117319 13588557824 47821 33554432000 4194304 4196468 140732470060272 140393874123376 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3400] ppid=3380 vsize=13270076 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3400/stat : 3400 (java) S 3380 3383 7411 0 -1 1077944384 3195 0 0 0 67 0 0 0 20 0 20 0 6117319 13588557824 47821 33554432000 4194304 4196468 140732470060272 140393873070832 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3401] ppid=3380 vsize=13270076 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3401/stat : 3401 (java) S 3380 3383 7411 0 -1 1077944384 6218 0 0 0 71 1 0 0 20 0 20 0 6117319 13588557824 47821 33554432000 4194304 4196468 140732470060272 140393872018288 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3402] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3402/stat : 3402 (java) S 3380 3383 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 47821 33554432000 4194304 4196468 140732470060272 140393870964960 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3403] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3403/stat : 3403 (java) S 3380 3383 7411 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 6117320 13588557824 47821 33554432000 4194304 4196468 140732470060272 140393869912496 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 13270076

[startup+3.10087 s]
/proc/loadavg: 1.68 1.62 1.61 3/281 3403
/proc/meminfo: memFree=29398044/32770624 swapFree=5836/307328
[pid=3383] ppid=3380 vsize=13270076 CPUtime=6.83 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 31860 0 0 0 644 39 0 0 20 0 20 0 6117313 13588557824 97385 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 3317519 97385 3823 1 0 3305234 0
[pid=3383/tid=3384] ppid=3380 vsize=13270076 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) R 3380 3383 7411 0 -1 4202560 12651 0 0 0 290 7 0 0 20 0 20 0 6117313 13588557824 97385 33554432000 4194304 4196468 140732470060272 140394421045144 140394050521302 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3386] ppid=3380 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 7411 0 -1 1077944384 73 0 0 0 3 3 0 0 20 0 20 0 6117314 13588557824 97385 33554432000 4194304 4196468 140732470060272 140394369427728 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3387] ppid=3380 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 7411 0 -1 1077944384 164 0 0 0 3 3 0 0 20 0 20 0 6117314 13588557824 97385 33554432000 4194304 4196468 140732470060272 140394368375184 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3388] ppid=3380 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 7411 0 -1 1077944384 60 0 0 0 3 3 0 0 20 0 20 0 6117314 13588557824 97385 33554432000 4194304 4196468 140732470060272 140394367322640 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3389] ppid=3380 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 7411 0 -1 1077944384 305 0 0 0 4 3 0 0 20 0 20 0 6117314 13588557824 97385 33554432000 4194304 4196468 140732470060272 140394366270096 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3390] ppid=3380 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 7411 0 -1 1077944384 50 0 0 0 3 3 0 0 20 0 20 0 6117314 13588557824 97385 33554432000 4194304 4196468 140732470060272 140394365217552 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3391] ppid=3380 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 7411 0 -1 1077944384 34 0 0 0 2 3 0 0 20 0 20 0 6117314 13588557824 97385 33554432000 4194304 4196468 140732470060272 140394364165008 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3392] ppid=3380 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 7411 0 -1 1077944384 50 0 0 0 4 3 0 0 20 0 20 0 6117314 13588557824 97385 33554432000 4194304 4196468 140732470060272 140394363112464 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3393] ppid=3380 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 7411 0 -1 1077944384 57 0 0 0 3 2 0 0 20 0 20 0 6117314 13588557824 97385 33554432000 4194304 4196468 140732470060272 140394362059920 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3394] ppid=3380 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 7411 0 -1 1077944384 702 0 0 0 1 0 0 0 20 0 20 0 6117316 13588557824 97385 33554432000 4194304 4196468 140732470060272 140393879386096 140394416818818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3395] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 97385 33554432000 4194304 4196468 140732470060272 140393878332384 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3396] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 7411 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 97385 33554432000 4194304 4196468 140732470060272 140393877279744 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3397] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 97385 33554432000 4194304 4196468 140732470060272 140393876228304 140394416826267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3398] ppid=3380 vsize=13270076 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 7411 0 -1 1077944384 3102 0 0 0 92 1 0 0 20 0 20 0 6117319 13588557824 97385 33554432000 4194304 4196468 140732470060272 140393875175920 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3399] ppid=3380 vsize=13270076 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3399/stat : 3399 (java) S 3380 3383 7411 0 -1 1077944384 2902 0 0 0 72 0 0 0 20 0 20 0 6117319 13588557824 97385 33554432000 4194304 4196468 140732470060272 140393874123376 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3400] ppid=3380 vsize=13270076 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3400/stat : 3400 (java) S 3380 3383 7411 0 -1 1077944384 3289 0 0 0 81 0 0 0 20 0 20 0 6117319 13588557824 97385 33554432000 4194304 4196468 140732470060272 140393873070832 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3401] ppid=3380 vsize=13270076 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3401/stat : 3401 (java) S 3380 3383 7411 0 -1 1077944384 6990 0 0 0 76 1 0 0 20 0 20 0 6117319 13588557824 97385 33554432000 4194304 4196468 140732470060272 140393872018288 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3402] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3402/stat : 3402 (java) S 3380 3383 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 97385 33554432000 4194304 4196468 140732470060272 140393870964960 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3403] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3403/stat : 3403 (java) S 3380 3383 7411 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 6117320 13588557824 97385 33554432000 4194304 4196468 140732470060272 140393869912496 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 13270076

[startup+6.30081 s]
/proc/loadavg: 1.62 1.61 1.60 3/281 3403
/proc/meminfo: memFree=28998232/32770624 swapFree=5836/307328
[pid=3383] ppid=3380 vsize=13270076 CPUtime=10.71 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 32847 0 0 0 1009 62 0 0 20 0 20 0 6117313 13588557824 162622 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 3317519 162622 3825 1 0 3305234 0
[pid=3383/tid=3384] ppid=3380 vsize=13270076 CPUtime=6.12 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) R 3380 3383 7411 0 -1 4202560 12770 0 0 0 601 11 0 0 20 0 20 0 6117313 13588557824 162622 33554432000 4194304 4196468 140732470060272 140394421042536 140394050521324 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3386] ppid=3380 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 7411 0 -1 1077944384 94 0 0 0 5 6 0 0 20 0 20 0 6117314 13588557824 162622 33554432000 4194304 4196468 140732470060272 140394369427728 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3387] ppid=3380 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 7411 0 -1 1077944384 178 0 0 0 5 5 0 0 20 0 20 0 6117314 13588557824 162622 33554432000 4194304 4196468 140732470060272 140394368375184 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3388] ppid=3380 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 7411 0 -1 1077944384 80 0 0 0 6 5 0 0 20 0 20 0 6117314 13588557824 162622 33554432000 4194304 4196468 140732470060272 140394367322640 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3389] ppid=3380 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 7411 0 -1 1077944384 325 0 0 0 6 5 0 0 20 0 20 0 6117314 13588557824 162622 33554432000 4194304 4196468 140732470060272 140394366270096 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3390] ppid=3380 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 7411 0 -1 1077944384 73 0 0 0 5 5 0 0 20 0 20 0 6117314 13588557824 162622 33554432000 4194304 4196468 140732470060272 140394365217552 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3391] ppid=3380 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 7411 0 -1 1077944384 55 0 0 0 5 5 0 0 20 0 20 0 6117314 13588557824 162622 33554432000 4194304 4196468 140732470060272 140394364165008 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3392] ppid=3380 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 7411 0 -1 1077944384 67 0 0 0 5 5 0 0 20 0 20 0 6117314 13588557824 162622 33554432000 4194304 4196468 140732470060272 140394363112464 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3393] ppid=3380 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 7411 0 -1 1077944384 80 0 0 0 5 5 0 0 20 0 20 0 6117314 13588557824 162622 33554432000 4194304 4196468 140732470060272 140394362059920 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3394] ppid=3380 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 7411 0 -1 1077944384 964 0 0 0 1 0 0 0 20 0 20 0 6117316 13588557824 162622 33554432000 4194304 4196468 140732470060272 140393879386096 140394416818818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3395] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 162622 33554432000 4194304 4196468 140732470060272 140393878332384 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3396] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 7411 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 162622 33554432000 4194304 4196468 140732470060272 140393877279744 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3397] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=3383/tid=3399] ppid=3380 vsize=13270076 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3399/stat : 3399 (java) S 3380 3383 7411 0 -1 1077944384 25920 0 0 0 182 3 0 0 20 0 20 0 6117319 13588557824 375896 33554432000 4194304 4196468 140732470060272 140393874123376 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3400] ppid=3380 vsize=13270076 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3400/stat : 3400 (java) S 3380 3383 7411 0 -1 1077944384 19008 0 0 0 159 2 0 0 20 0 20 0 6117319 13588557824 375896 33554432000 4194304 4196468 140732470060272 140393873070832 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3401] ppid=3380 vsize=13270076 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3401/stat : 3401 (java) S 3380 3383 7411 0 -1 1077944384 37108 0 0 0 104 4 0 0 20 0 20 0 6117319 13588557824 375896 33554432000 4194304 4196468 140732470060272 140393872018288 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3402] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3402/stat : 3402 (java) S 3380 3383 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 375896 33554432000 4194304 4196468 140732470060272 140393870964960 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3403] ppid=3380 vsize=13270076 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3403/stat : 3403 (java) S 3380 3383 7411 0 -1 1077944384 2030 0 0 0 52 62 0 0 20 0 20 0 6117320 13588557824 375896 33554432000 4194304 4196468 140732470060272 140393869912496 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
Current children cumulated CPU time (s) 2232.25
Current children cumulated vsize (KiB) 13270076

[startup+2202.31 s]
/proc/loadavg: 1.77 1.54 1.53 3/282 3580
/proc/meminfo: memFree=28709580/32770624 swapFree=5836/309540
[pid=3383] ppid=3380 vsize=13270076 CPUtime=2294.86 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 405044 0 0 0 228998 488 0 0 20 0 20 0 6117313 13588557824 359480 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 3317519 359480 3859 1 0 3305234 0
[pid=3383/tid=3384] ppid=3380 vsize=13270076 CPUtime=2183.65 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) R 3380 3383 7411 0 -1 4202560 121221 0 0 0 218296 69 0 0 20 0 20 0 6117313 13588557824 359480 33554432000 4194304 4196468 140732470060272 140394421045424 140394050684147 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3386] ppid=3380 vsize=13270076 CPUtime=12.66 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 7411 0 -1 1077944384 15417 0 0 0 1225 41 0 0 20 0 20 0 6117314 13588557824 359480 33554432000 4194304 4196468 140732470060272 140394369427728 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3387] ppid=3380 vsize=13270076 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 7411 0 -1 1077944384 16062 0 0 0 1227 41 0 0 20 0 20 0 6117314 13588557824 359480 33554432000 4194304 4196468 140732470060272 140394368375184 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3388] ppid=3380 vsize=13270076 CPUtime=12.65 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 7411 0 -1 1077944384 16132 0 0 0 1226 39 0 0 20 0 20 0 6117314 13588557824 359480 33554432000 4194304 4196468 140732470060272 140394367322640 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3389] ppid=3380 vsize=13270076 CPUtime=12.79 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 7411 0 -1 1077944384 15018 0 0 0 1240 39 0 0 20 0 20 0 6117314 13588557824 359480 33554432000 4194304 4196468 140732470060272 140394366270096 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3390] ppid=3380 vsize=13270076 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 7411 0 -1 1077944384 15214 0 0 0 1229 40 0 0 20 0 20 0 6117314 13588557824 359480 33554432000 4194304 4196468 140732470060272 140394365217552 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3391] ppid=3380 vsize=13270076 CPUtime=12.48 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 7411 0 -1 1077944384 16444 0 0 0 1208 40 0 0 20 0 20 0 6117314 13588557824 359480 33554432000 4194304 4196468 140732470060272 140394364165008 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3392] ppid=3380 vsize=13270076 CPUtime=12.64 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 7411 0 -1 1077944384 15357 0 0 0 1227 37 0 0 20 0 20 0 6117314 13588557824 359480 33554432000 4194304 4196468 140732470060272 140394363112464 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3393] ppid=3380 vsize=13270076 CPUtime=12.7 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 7411 0 -1 1077944384 14997 0 0 0 1231 39 0 0 20 0 20 0 6117314 13588557824 359480 33554432000 4194304 4196468 140732470060272 140394362059920 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3394] ppid=3380 vsize=13270076 CPUtime=2.44 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 7411 0 -1 1077944384 53268 0 0 0 196 48 0 0 20 0 20 0 6117316 13588557824 359480 33554432000 4194304 4196468 140732470060272 140393879386096 140394416818818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3395] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 7411 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 359480 33554432000 4194304 4196468 140732470060272 140393878332384 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3396] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 7411 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 359480 33554432000 4194304 4196468 140732470060272 140393877279744 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3397] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 359480 33554432000 4194304 4196468 140732470060272 140393876228304 140394416826267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3398] ppid=3380 vsize=13270076 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 7411 0 -1 1077944384 20142 0 0 0 158 3 0 0 20 0 20 0 6117319 13588557824 359480 33554432000 4194304 4196468 140732470060272 140393875175920 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 41 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3399] ppid=3380 vsize=13270076 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3399/stat : 3399 (java) S 3380 3383 7411 0 -1 1077944384 25920 0 0 0 182 3 0 0 20 0 20 0 6117319 13588557824 359480 33554432000 4194304 4196468 140732470060272 140393874123376 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3400] ppid=3380 vsize=13270076 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3400/stat : 3400 (java) S 3380 3383 7411 0 -1 1077944384 19008 0 0 0 159 2 0 0 20 0 20 0 6117319 13588557824 359480 33554432000 4194304 4196468 140732470060272 140393873070832 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3401] ppid=3380 vsize=13270076 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3401/stat : 3401 (java) S 3380 3383 7411 0 -1 1077944384 37309 0 0 0 104 4 0 0 20 0 20 0 6117319 13588557824 359480 33554432000 4194304 4196468 140732470060272 140393872018288 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3402] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3402/stat : 3402 (java) S 3380 3383 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 359480 33554432000 4194304 4196468 140732470060272 140393870964960 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3403] ppid=3380 vsize=13270076 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3403/stat : 3403 (java) S 3380 3383 7411 0 -1 1077944384 2045 0 0 0 54 64 0 0 20 0 20 0 6117320 13588557824 359480 33554432000 4194304 4196468 140732470060272 140393869912496 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
Current children cumulated CPU time (s) 2294.86
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.90 1.61 1.56 3/282 3581
/proc/meminfo: memFree=28831164/32770624 swapFree=5836/309568
[pid=3383] ppid=3380 vsize=13270076 CPUtime=2356.91 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 408747 0 0 0 235199 492 0 0 20 0 20 0 6117313 13588557824 348969 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 3317519 348969 3859 1 0 3305234 0
[pid=3383/tid=3384] ppid=3380 vsize=13270076 CPUtime=2243.19 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) R 3380 3383 7411 0 -1 4202560 121988 0 0 0 224250 69 0 0 20 0 20 0 6117313 13588557824 348969 33554432000 4194304 4196468 140732470060272 140394421044832 140394050588635 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3386] ppid=3380 vsize=13270076 CPUtime=12.96 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 7411 0 -1 1077944384 15510 0 0 0 1255 41 0 0 20 0 20 0 6117314 13588557824 348969 33554432000 4194304 4196468 140732470060272 140394369427728 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3387] ppid=3380 vsize=13270076 CPUtime=12.98 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 7411 0 -1 1077944384 16154 0 0 0 1256 42 0 0 20 0 20 0 6117314 13588557824 348969 33554432000 4194304 4196468 140732470060272 140394368375184 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3388] ppid=3380 vsize=13270076 CPUtime=12.94 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 7411 0 -1 1077944384 16255 0 0 0 1255 39 0 0 20 0 20 0 6117314 13588557824 348969 33554432000 4194304 4196468 140732470060272 140394367322640 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3389] ppid=3380 vsize=13270076 CPUtime=13.11 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 7411 0 -1 1077944384 15148 0 0 0 1271 40 0 0 20 0 20 0 6117314 13588557824 348969 33554432000 4194304 4196468 140732470060272 140394366270096 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3390] ppid=3380 vsize=13270076 CPUtime=12.98 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 7411 0 -1 1077944384 15321 0 0 0 1258 40 0 0 20 0 20 0 6117314 13588557824 348969 33554432000 4194304 4196468 140732470060272 140394365217552 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3391] ppid=3380 vsize=13270076 CPUtime=12.77 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3391/stat : 3391 (java) S 3380 3383 7411 0 -1 1077944384 16509 0 0 0 1237 40 0 0 20 0 20 0 6117314 13588557824 348969 33554432000 4194304 4196468 140732470060272 140394364165008 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3392] ppid=3380 vsize=13270076 CPUtime=12.97 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 7411 0 -1 1077944384 15434 0 0 0 1259 38 0 0 20 0 20 0 6117314 13588557824 348969 33554432000 4194304 4196468 140732470060272 140394363112464 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3393] ppid=3380 vsize=13270076 CPUtime=12.99 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 7411 0 -1 1077944384 15116 0 0 0 1260 39 0 0 20 0 20 0 6117314 13588557824 348969 33554432000 4194304 4196468 140732470060272 140394362059920 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3394] ppid=3380 vsize=13270076 CPUtime=2.5 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 7411 0 -1 1077944384 55279 0 0 0 201 49 0 0 20 0 20 0 6117316 13588557824 348969 33554432000 4194304 4196468 140732470060272 140393879386096 140394416818818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3395] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 7411 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 348969 33554432000 4194304 4196468 140732470060272 140393878332384 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3396] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 7411 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 348969 33554432000 4194304 4196468 140732470060272 140393877279744 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3397] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 348969 33554432000 4194304 4196468 140732470060272 140393876228304 140394416826267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3398] ppid=3380 vsize=13270076 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 7411 0 -1 1077944384 20144 0 0 0 158 3 0 0 20 0 20 0 6117319 13588557824 348969 33554432000 4194304 4196468 140732470060272 140393875175920 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3399] ppid=3380 vsize=13270076 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3399/stat : 3399 (java) S 3380 3383 7411 0 -1 1077944384 25951 0 0 0 184 3 0 0 20 0 20 0 6117319 13588557824 348969 33554432000 4194304 4196468 140732470060272 140393874123376 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 37 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3400] ppid=3380 vsize=13270076 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3400/stat : 3400 (java) S 3380 3383 7411 0 -1 1077944384 19077 0 0 0 160 2 0 0 20 0 20 0 6117319 13588557824 348969 33554432000 4194304 4196468 140732470060272 140393873070832 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3401] ppid=3380 vsize=13270076 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3401/stat : 3401 (java) S 3380 3383 7411 0 -1 1077944384 37322 0 0 0 104 4 0 0 20 0 20 0 6117319 13588557824 348969 33554432000 4194304 4196468 140732470060272 140393872018288 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3402] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3402/stat : 3402 (java) S 3380 3383 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 348969 33554432000 4194304 4196468 140732470060272 140393870964960 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3403] ppid=3380 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3403/stat : 3403 (java) S 3380 3383 7411 0 -1 1077944384 2049 0 0 0 55 66 0 0 20 0 20 0 6117320 13588557824 348969 33554432000 4194304 4196468 140732470060272 140393869912496 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
Current children cumulated CPU time (s) 2356.91
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2304.2 s]
/proc/loadavg: 1.77 1.61 1.56 3/281 3582
/proc/meminfo: memFree=28892920/32770624 swapFree=5836/309616
[pid=3383] ppid=3380 vsize=13270076 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/3383/stat : 3383 (java) S 3380 3383 7411 0 -1 1077944320 410949 0 0 0 239506 496 0 0 20 0 20 0 6117313 13588557824 342301 33554432000 4194304 4196468 140732470060272 140732470042816 140394416807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
/proc/3383/statm: 3317519 342301 3859 1 0 3305234 0
[pid=3383/tid=3384] ppid=3380 vsize=13270076 CPUtime=2284.86 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3384/stat : 3384 (java) S 3380 3383 7411 0 -1 1077944384 123332 0 0 0 228416 70 0 0 20 0 20 0 6117313 13588557824 342301 33554432000 4194304 4196468 140732470060272 140394421045536 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3386] ppid=3380 vsize=13270076 CPUtime=13.13 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3386/stat : 3386 (java) S 3380 3383 7411 0 -1 1077944384 15576 0 0 0 1272 41 0 0 20 0 20 0 6117314 13588557824 342301 33554432000 4194304 4196468 140732470060272 140394369427728 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3387] ppid=3380 vsize=13270076 CPUtime=13.16 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3387/stat : 3387 (java) S 3380 3383 7411 0 -1 1077944384 16185 0 0 0 1274 42 0 0 20 0 20 0 6117314 13588557824 342301 33554432000 4194304 4196468 140732470060272 140394368375184 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3388] ppid=3380 vsize=13270076 CPUtime=13.09 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3388/stat : 3388 (java) S 3380 3383 7411 0 -1 1077944384 16269 0 0 0 1270 39 0 0 20 0 20 0 6117314 13588557824 342301 33554432000 4194304 4196468 140732470060272 140394367322640 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3389] ppid=3380 vsize=13270076 CPUtime=13.26 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3389/stat : 3389 (java) S 3380 3383 7411 0 -1 1077944384 15174 0 0 0 1286 40 0 0 20 0 20 0 6117314 13588557824 342301 33554432000 4194304 4196468 140732470060272 140394366270096 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3390] ppid=3380 vsize=13270076 CPUtime=13.14 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3390/stat : 3390 (java) S 3380 3383 7411 0 -1 1077944384 15333 0 0 0 1274 40 0 0 20 0 20 0 6117314 13588557824 342301 33554432000 4194304 4196468 140732470060272 140394365217552 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3391] ppid=3380 vsize=13270076 CPUtime=12.94 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3391/stat : 3391 (java) R 3380 3383 7411 0 -1 4202560 16519 0 0 0 1253 41 0 0 20 0 20 0 6117314 13588557824 342301 33554432000 4194304 4196468 140732470060272 140394364165128 140394409435879 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3392] ppid=3380 vsize=13270076 CPUtime=13.15 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3392/stat : 3392 (java) S 3380 3383 7411 0 -1 1077944384 15445 0 0 0 1277 38 0 0 20 0 20 0 6117314 13588557824 342301 33554432000 4194304 4196468 140732470060272 140394363112480 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3393] ppid=3380 vsize=13270076 CPUtime=13.16 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3393/stat : 3393 (java) S 3380 3383 7411 0 -1 1077944384 15132 0 0 0 1277 39 0 0 20 0 20 0 6117314 13588557824 342301 33554432000 4194304 4196468 140732470060272 140394362059920 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3394] ppid=3380 vsize=13270076 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3394/stat : 3394 (java) S 3380 3383 7411 0 -1 1077944384 55426 0 0 0 204 49 0 0 20 0 20 0 6117316 13588557824 342301 33554432000 4194304 4196468 140732470060272 140393879384608 140394416817877 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3395] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3395/stat : 3395 (java) S 3380 3383 7411 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 342301 33554432000 4194304 4196468 140732470060272 140393878332384 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3396] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3396/stat : 3396 (java) S 3380 3383 7411 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 6117316 13588557824 342301 33554432000 4194304 4196468 140732470060272 140393877279744 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3397] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3397/stat : 3397 (java) S 3380 3383 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 342301 33554432000 4194304 4196468 140732470060272 140393876228304 140394416826267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3398] ppid=3380 vsize=13270076 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3398/stat : 3398 (java) S 3380 3383 7411 0 -1 1077944384 20333 0 0 0 160 3 0 0 20 0 20 0 6117319 13588557824 342301 33554432000 4194304 4196468 140732470060272 140393875175920 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 41 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3399] ppid=3380 vsize=13270076 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3399/stat : 3399 (java) S 3380 3383 7411 0 -1 1077944384 25955 0 0 0 184 3 0 0 20 0 20 0 6117319 13588557824 342301 33554432000 4194304 4196468 140732470060272 140393874123376 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 37 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3400] ppid=3380 vsize=13270076 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3400/stat : 3400 (java) S 3380 3383 7411 0 -1 1077944384 19102 0 0 0 162 2 0 0 20 0 20 0 6117319 13588557824 342301 33554432000 4194304 4196468 140732470060272 140393873070832 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3401] ppid=3380 vsize=13270076 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3401/stat : 3401 (java) S 3380 3383 7411 0 -1 1077944384 37602 0 0 0 105 4 0 0 20 0 20 0 6117319 13588557824 342301 33554432000 4194304 4196468 140732470060272 140393872018288 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3402] ppid=3380 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3402/stat : 3402 (java) S 3380 3383 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6117319 13588557824 342301 33554432000 4194304 4196468 140732470060272 140393870964960 140394416817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
[pid=3383/tid=3403] ppid=3380 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/3383/task/3403/stat : 3403 (java) S 3380 3383 7411 0 -1 1077944384 2076 0 0 0 56 67 0 0 20 0 20 0 6117320 13588557824 342301 33554432000 4194304 4196468 140732470060272 140393869912496 140394416818818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 9326592 140732470068368 140732470068548 140732470068548 140732470071247 0
Current children cumulated CPU time (s) 2400.02
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 3383 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2304.24
CPU time (s): 2400.07
CPU user time (s): 2395.1
CPU system time (s): 4.97393
CPU usage (%): 104.159
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.1
system time used= 4.97393
maximum resident set size= 3440316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411297
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144609
involuntary context switches= 141252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7372 second user time and 19.5774 second system time

The end

Launcher Data

Begin job on node131 at 2017-07-22 09:28:19
IDJOB=4246312
IDBENCH=124412
IDSOLVER=2627
FILE ID=node131/4246312-1500708499
RUNJOBID= node131-1500697063-2096
PBS_JOBID= 20623041
Free space on /tmp= 61976 MiB

SOLVER NAME= OscaR - ALNS 2017-06-30
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-k5.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246312-1500708499/watcher-4246312-1500708499 -o /tmp/evaluation-result-4246312-1500708499/solver-4246312-1500708499 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500697063-2096 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 910131857 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246312-1500708499.xml

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

MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9
RANDOM SEED=910131857

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29621276 kB
MemAvailable:   29922112 kB
Buffers:          127272 kB
Cached:           454812 kB
SwapCached:            0 kB
Active:          2393504 kB
Inactive:         315980 kB
Active(anon):    2130208 kB
Inactive(anon):     8704 kB
Active(file):     263296 kB
Inactive(file):   307276 kB
Unevictable:        5836 kB
Mlocked:            5836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41804 kB
Writeback:             8 kB
AnonPages:       2132704 kB
Mapped:            45160 kB
Shmem:              8844 kB
Slab:             125916 kB
SReclaimable:      92200 kB
SUnreclaim:        33716 kB
KernelStack:        4496 kB
PageTables:        10396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2665256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1976320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61936 MiB
End job on node131 at 2017-07-22 10:06:43

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml
MD5SUM	bb36812fd58cb568268e8c9b807d30b9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	853
Best CPU time to get the best result obtained on this benchmark	2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	1332
Number of constraints	1295
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}]
Minimum variable degree	0
Maximum variable degree	69
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	35
Distribution of constraint arities	[{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}]
Number of extensional constraints	0
Number of intensional constraints	35
Distribution of constraint types	[{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4246312

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