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)	5	2400.11	2265.74

0.26/0.27	c version: 2017-06-30
0.26/0.27	c seed: 1444064944
0.26/0.27	c timeout: 2400
0.26/0.27	c memlimit: 15500
0.26/0.27	c nbcore: 8
0.26/0.29	c Parsing instance...
3.57/1.28	c Parsing done, starting search...
4.44/1.43	o 35
7.19/2.25	o 34
14.36/6.82	o 10
283.91/265.10	o 9
289.48/270.47	o 8
488.40/457.50	o 7
664.78/622.13	o 6
687.96/644.24	o 5
2400.06/2265.70	s SATISFIABLE
2400.06/2265.71	v <instantiation>
2400.06/2265.71	v 	<list>
2400.06/2265.71	v 		z 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34]
2400.06/2265.71	v 	</list>
2400.06/2265.71	v 	<values>
2400.06/2265.71	v 		5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 
2400.06/2265.71	v 	</values>
2400.06/2265.71	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-4245574-1500701606/watcher-4245574-1500701606 -o /tmp/evaluation-result-4245574-1500701606/solver-4245574-1500701606 -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 1444064944 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245574-1500701606.xml 

pid=2594
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.93 1.86 1.87 3/261 2597
/proc/meminfo: memFree=30463904/32770624 swapFree=5860/299736
[pid=2597] ppid=2594 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 5428016 369864704 1925 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 90299 1925 1072 1 0 79210 0
[pid=2597/tid=2598] ppid=2594 vsize=10621200 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 4202560 526 0 0 0 0 0 0 0 20 0 2 0 5428017 10876108800 2102 33554432000 4194304 4196468 140727735615088 139693888612768 139693876660128 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0

[startup+0.100068 s]
/proc/loadavg: 1.93 1.86 1.87 3/261 2597
/proc/meminfo: memFree=30463904/32770624 swapFree=5860/299736
[pid=2597] ppid=2594 vsize=13263912 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 6730 0 0 0 9 1 0 0 20 0 20 0 5428016 13582245888 7000 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 3315978 7000 3377 1 0 3303698 0
[pid=2597/tid=2598] ppid=2594 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 4202560 4810 0 0 0 7 1 0 0 20 0 20 0 5428017 13582245888 7000 33554432000 4194304 4196468 140727735615088 139693888601984 139693870438798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912

[startup+0.200364 s]
/proc/loadavg: 1.93 1.86 1.87 3/261 2597
/proc/meminfo: memFree=30463904/32770624 swapFree=5860/299736
[pid=2597] ppid=2594 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 9127 0 0 0 23 3 0 0 20 0 20 0 5428016 13582245888 9496 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 3315978 9496 3544 1 0 3303698 0
[pid=2597/tid=2598] ppid=2594 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 4202560 6806 0 0 0 15 2 0 0 20 0 20 0 5428017 13582245888 9496 33554432000 4194304 4196468 140727735615088 139693888570432 139693868451166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300266 s]
/proc/loadavg: 1.93 1.86 1.87 3/261 2597
/proc/meminfo: memFree=30463904/32770624 swapFree=5860/299736
[pid=2597] ppid=2594 vsize=13263932 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 10416 0 0 0 42 3 0 0 20 0 20 0 5428016 13582266368 11598 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 3315983 11598 3673 1 0 3303698 0
[pid=2597/tid=2598] ppid=2594 vsize=13263932 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 1077944384 7503 0 0 0 25 2 0 0 20 0 20 0 5428017 13582266368 11598 33554432000 4194304 4196468 140727735615088 139693888578896 139693877049901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13263932

[startup+0.700197 s]
/proc/loadavg: 1.93 1.86 1.87 3/261 2597
/proc/meminfo: memFree=30463904/32770624 swapFree=5860/299736
[pid=2597] ppid=2594 vsize=13265980 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 13439 0 0 0 150 5 0 0 20 0 20 0 5428016 13584363520 20298 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 3316495 20298 3779 1 0 3304210 0
[pid=2597/tid=2598] ppid=2594 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 4202560 8595 0 0 0 63 4 0 0 20 0 20 0 5428017 13584363520 20298 33554432000 4194304 4196468 140727735615088 139693888607264 139693492612803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13265980

[startup+1.50109 s]
/proc/loadavg: 1.93 1.87 1.87 7/281 2617
/proc/meminfo: memFree=30341804/32770624 swapFree=5860/299940
[pid=2597] ppid=2594 vsize=13270076 CPUtime=4.87 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 31043 0 0 0 455 32 0 0 20 0 20 0 5428016 13588557824 69963 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 3317519 69963 3819 1 0 3305234 0
[pid=2597/tid=2598] ppid=2594 vsize=13270076 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 4202560 11078 0 0 0 134 6 0 0 20 0 20 0 5428017 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693888606200 139693500138525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2600] ppid=2594 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2600/stat : 2600 (java) S 2594 2597 7411 0 -1 1077944384 65 0 0 0 3 2 0 0 20 0 20 0 5428018 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693816506896 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2601] ppid=2594 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2601/stat : 2601 (java) S 2594 2597 7411 0 -1 1077944384 100 0 0 0 2 2 0 0 20 0 20 0 5428018 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693815454352 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2602] ppid=2594 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2602/stat : 2602 (java) S 2594 2597 7411 0 -1 1077944384 77 0 0 0 2 2 0 0 20 0 20 0 5428018 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693814401296 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2603] ppid=2594 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2603/stat : 2603 (java) S 2594 2597 7411 0 -1 1077944384 341 0 0 0 2 2 0 0 20 0 20 0 5428018 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693813348752 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2604] ppid=2594 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2604/stat : 2604 (java) S 2594 2597 7411 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 20 0 5428018 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693478874128 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2605] ppid=2594 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2605/stat : 2605 (java) S 2594 2597 7411 0 -1 1077944384 76 0 0 0 2 2 0 0 20 0 20 0 5428018 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693477821584 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2606] ppid=2594 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2606/stat : 2606 (java) S 2594 2597 7411 0 -1 1077944384 69 0 0 0 2 2 0 0 20 0 20 0 5428018 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693476768528 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2607] ppid=2594 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2607/stat : 2607 (java) S 2594 2597 7411 0 -1 1077944384 93 0 0 0 2 2 0 0 20 0 20 0 5428018 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693475715984 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2608] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2608/stat : 2608 (java) S 2594 2597 7411 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693415110896 139693884381826 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2609] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2609/stat : 2609 (java) S 2594 2597 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693414057120 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2610] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2610/stat : 2610 (java) S 2594 2597 7411 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693413004016 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2611] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2611/stat : 2611 (java) S 2594 2597 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5428023 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693411952592 139693884389275 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2612] ppid=2594 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2612/stat : 2612 (java) R 2594 2597 7411 0 -1 4202560 3545 0 0 0 70 0 0 0 20 0 20 0 5428023 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693410887000 139693867896465 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2613] ppid=2594 vsize=13270076 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2613/stat : 2613 (java) R 2594 2597 7411 0 -1 4202560 4615 0 0 0 75 1 0 0 20 0 20 0 5428023 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693409834056 139693869290468 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2614] ppid=2594 vsize=13270076 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2614/stat : 2614 (java) R 2594 2597 7411 0 -1 4202560 3423 0 0 0 79 0 0 0 20 0 20 0 5428023 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693341521328 139693865914778 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2615] ppid=2594 vsize=13270076 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2615/stat : 2615 (java) S 2594 2597 7411 0 -1 1077944384 5958 0 0 0 70 1 0 0 20 0 20 0 5428023 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693340482160 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2616] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2616/stat : 2616 (java) S 2594 2597 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5428024 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693339429344 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2617] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2617/stat : 2617 (java) S 2594 2597 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5428024 13588557824 69963 33554432000 4194304 4196468 140727735615088 139693338376880 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 13270076

[startup+3.10076 s]
/proc/loadavg: 1.93 1.87 1.87 4/281 2617
/proc/meminfo: memFree=30146380/32770624 swapFree=5860/299984
[pid=2597] ppid=2594 vsize=13270076 CPUtime=8.52 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 34387 0 0 0 796 56 0 0 20 0 20 0 5428016 13588557824 83315 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 3317519 83315 3822 1 0 3305234 0
[pid=2597/tid=2598] ppid=2594 vsize=13270076 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 4202560 12200 0 0 0 287 6 0 0 20 0 20 0 5428017 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693888605488 139693501772976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2600] ppid=2594 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2600/stat : 2600 (java) S 2594 2597 7411 0 -1 1077944384 94 0 0 0 7 4 0 0 20 0 20 0 5428018 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693816506896 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2601] ppid=2594 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2601/stat : 2601 (java) S 2594 2597 7411 0 -1 1077944384 123 0 0 0 6 5 0 0 20 0 20 0 5428018 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693815454352 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2602] ppid=2594 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2602/stat : 2602 (java) S 2594 2597 7411 0 -1 1077944384 101 0 0 0 6 5 0 0 20 0 20 0 5428018 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693814401296 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2603] ppid=2594 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2603/stat : 2603 (java) S 2594 2597 7411 0 -1 1077944384 358 0 0 0 5 4 0 0 20 0 20 0 5428018 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693813348752 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2604] ppid=2594 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2604/stat : 2604 (java) S 2594 2597 7411 0 -1 1077944384 62 0 0 0 4 4 0 0 20 0 20 0 5428018 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693478874128 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2605] ppid=2594 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2605/stat : 2605 (java) S 2594 2597 7411 0 -1 1077944384 99 0 0 0 5 5 0 0 20 0 20 0 5428018 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693477821584 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2606] ppid=2594 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2606/stat : 2606 (java) S 2594 2597 7411 0 -1 1077944384 93 0 0 0 5 6 0 0 20 0 20 0 5428018 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693476768528 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2607] ppid=2594 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2607/stat : 2607 (java) S 2594 2597 7411 0 -1 1077944384 118 0 0 0 5 6 0 0 20 0 20 0 5428018 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693475715984 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2608] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2608/stat : 2608 (java) S 2594 2597 7411 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693415110896 139693884381826 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2609] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2609/stat : 2609 (java) S 2594 2597 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693414057120 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2610] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2610/stat : 2610 (java) S 2594 2597 7411 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693413004016 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2611] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2611/stat : 2611 (java) S 2594 2597 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5428023 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693411952592 139693884389275 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2612] ppid=2594 vsize=13270076 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2612/stat : 2612 (java) S 2594 2597 7411 0 -1 1077944384 3945 0 0 0 117 0 0 0 20 0 20 0 5428023 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693410900720 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2613] ppid=2594 vsize=13270076 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2613/stat : 2613 (java) S 2594 2597 7411 0 -1 1077944384 4820 0 0 0 116 1 0 0 20 0 20 0 5428023 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693409848176 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2614] ppid=2594 vsize=13270076 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2614/stat : 2614 (java) S 2594 2597 7411 0 -1 1077944384 4340 0 0 0 141 1 0 0 20 0 20 0 5428023 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693341534704 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2615] ppid=2594 vsize=13270076 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2615/stat : 2615 (java) S 2594 2597 7411 0 -1 1077944384 6447 0 0 0 84 2 0 0 20 0 20 0 5428023 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693340482160 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2616] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2616/stat : 2616 (java) S 2594 2597 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5428024 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693339429344 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2617] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2617/stat : 2617 (java) S 2594 2597 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 5428024 13588557824 83315 33554432000 4194304 4196468 140727735615088 139693338376880 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 13270076

[startup+6.30139 s]
/proc/loadavg: 1.93 1.87 1.87 3/281 2617
/proc/meminfo: memFree=29721988/32770624 swapFree=5860/299984
[pid=2597] ppid=2594 vsize=13270076 CPUtime=13.83 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 37675 0 0 0 1270 113 0 0 20 0 20 0 5428016 13588557824 195014 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 3317519 195014 3826 1 0 3305234 0
[pid=2597/tid=2598] ppid=2594 vsize=13270076 CPUtime=5.93 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 4202560 12839 0 0 0 582 11 0 0 20 0 20 0 5428017 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693888608304 139693501211168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2600] ppid=2594 vsize=13270076 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2600/stat : 2600 (java) S 2594 2597 7411 0 -1 1077944384 155 0 0 0 18 11 0 0 20 0 20 0 5428018 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693816506896 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2601] ppid=2594 vsize=13270076 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2601/stat : 2601 (java) S 2594 2597 7411 0 -1 1077944384 194 0 0 0 17 11 0 0 20 0 20 0 5428018 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693815454352 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2602] ppid=2594 vsize=13270076 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2602/stat : 2602 (java) S 2594 2597 7411 0 -1 1077944384 808 0 0 0 17 12 0 0 20 0 20 0 5428018 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693814401296 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2603] ppid=2594 vsize=13270076 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2603/stat : 2603 (java) S 2594 2597 7411 0 -1 1077944384 478 0 0 0 17 11 0 0 20 0 20 0 5428018 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693813348752 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2604] ppid=2594 vsize=13270076 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2604/stat : 2604 (java) S 2594 2597 7411 0 -1 1077944384 126 0 0 0 15 11 0 0 20 0 20 0 5428018 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693478874128 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2605] ppid=2594 vsize=13270076 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2605/stat : 2605 (java) S 2594 2597 7411 0 -1 1077944384 178 0 0 0 15 11 0 0 20 0 20 0 5428018 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693477821584 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2606] ppid=2594 vsize=13270076 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2606/stat : 2606 (java) S 2594 2597 7411 0 -1 1077944384 149 0 0 0 17 12 0 0 20 0 20 0 5428018 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693476768528 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2607] ppid=2594 vsize=13270076 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2607/stat : 2607 (java) S 2594 2597 7411 0 -1 1077944384 240 0 0 0 16 12 0 0 20 0 20 0 5428018 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693475715984 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2608] ppid=2594 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2608/stat : 2608 (java) S 2594 2597 7411 0 -1 1077944384 707 0 0 0 1 0 0 0 20 0 20 0 5428020 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693415110896 139693884381826 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2609] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2609/stat : 2609 (java) S 2594 2597 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693414057120 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2610] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2610/stat : 2610 (java) S 2594 2597 7411 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 195014 33554432000 4194304 4196468 140727735615088 139693413004016 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2611] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=2597/tid=2613] ppid=2594 vsize=13270076 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2613/stat : 2613 (java) S 2594 2597 7411 0 -1 1077944384 18102 0 0 0 262 3 0 0 20 0 20 0 5428023 13588557824 548627 33554432000 4194304 4196468 140727735615088 139693409848176 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 39 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2614] ppid=2594 vsize=13270076 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2614/stat : 2614 (java) S 2594 2597 7411 0 -1 1077944384 17691 0 0 0 241 2 0 0 20 0 20 0 5428023 13588557824 548627 33554432000 4194304 4196468 140727735615088 139693341534704 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2615] ppid=2594 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2615/stat : 2615 (java) S 2594 2597 7411 0 -1 1077944384 29356 0 0 0 119 4 0 0 20 0 20 0 5428023 13588557824 548627 33554432000 4194304 4196468 140727735615088 139693340482160 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2616] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2616/stat : 2616 (java) S 2594 2597 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5428024 13588557824 548627 33554432000 4194304 4196468 140727735615088 139693339429344 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2617] ppid=2594 vsize=13270076 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2617/stat : 2617 (java) S 2594 2597 7411 0 -1 1077944384 1075 0 0 0 66 61 0 0 20 0 20 0 5428024 13588557824 548627 33554432000 4194304 4196468 140727735615088 139693338376880 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
Current children cumulated CPU time (s) 2333.65
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.45 1.50 1.54 3/282 2797
/proc/meminfo: memFree=27564092/32770624 swapFree=5860/302280
[pid=2597] ppid=2594 vsize=13270076 CPUtime=2396.53 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 365981 0 0 0 238536 1117 0 0 20 0 20 0 5428016 13588557824 473474 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 3317519 473474 3864 1 0 3305234 0
[pid=2597/tid=2598] ppid=2594 vsize=13270076 CPUtime=2240.48 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 4202560 116292 0 0 0 223916 132 0 0 20 0 20 0 5428017 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693888609088 139693495965995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2600] ppid=2594 vsize=13270076 CPUtime=18.23 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2600/stat : 2600 (java) S 2594 2597 7411 0 -1 1077944384 14789 0 0 0 1713 110 0 0 20 0 20 0 5428018 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693816506896 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2601] ppid=2594 vsize=13270076 CPUtime=18.1 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2601/stat : 2601 (java) S 2594 2597 7411 0 -1 1077944384 13731 0 0 0 1696 114 0 0 20 0 20 0 5428018 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693815454352 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2602] ppid=2594 vsize=13270076 CPUtime=18 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2602/stat : 2602 (java) S 2594 2597 7411 0 -1 1077944384 12629 0 0 0 1689 111 0 0 20 0 20 0 5428018 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693814401296 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2603] ppid=2594 vsize=13270076 CPUtime=17.96 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2603/stat : 2603 (java) S 2594 2597 7411 0 -1 1077944384 13002 0 0 0 1686 110 0 0 20 0 20 0 5428018 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693813348752 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2604] ppid=2594 vsize=13270076 CPUtime=18.04 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2604/stat : 2604 (java) S 2594 2597 7411 0 -1 1077944384 12937 0 0 0 1693 111 0 0 20 0 20 0 5428018 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693478874128 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2605] ppid=2594 vsize=13270076 CPUtime=18.25 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2605/stat : 2605 (java) S 2594 2597 7411 0 -1 1077944384 13739 0 0 0 1712 113 0 0 20 0 20 0 5428018 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693477821584 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2606] ppid=2594 vsize=13270076 CPUtime=18 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2606/stat : 2606 (java) S 2594 2597 7411 0 -1 1077944384 12668 0 0 0 1689 111 0 0 20 0 20 0 5428018 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693476768528 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2607] ppid=2594 vsize=13270076 CPUtime=18.2 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2607/stat : 2607 (java) S 2594 2597 7411 0 -1 1077944384 14616 0 0 0 1706 114 0 0 20 0 20 0 5428018 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693475715984 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2608] ppid=2594 vsize=13270076 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2608/stat : 2608 (java) S 2594 2597 7411 0 -1 1077944384 52635 0 0 0 85 31 0 0 20 0 20 0 5428020 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693415110896 139693884381826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2609] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2609/stat : 2609 (java) S 2594 2597 7411 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693414057184 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2610] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2610/stat : 2610 (java) S 2594 2597 7411 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693413004032 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2611] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2611/stat : 2611 (java) S 2594 2597 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5428023 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693411952592 139693884389275 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2612] ppid=2594 vsize=13270076 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2612/stat : 2612 (java) S 2594 2597 7411 0 -1 1077944384 20989 0 0 0 231 2 0 0 20 0 20 0 5428023 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693410900720 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2613] ppid=2594 vsize=13270076 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2613/stat : 2613 (java) S 2594 2597 7411 0 -1 1077944384 18220 0 0 0 262 3 0 0 20 0 20 0 5428023 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693409848176 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 39 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2614] ppid=2594 vsize=13270076 CPUtime=2.44 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2614/stat : 2614 (java) S 2594 2597 7411 0 -1 1077944384 17785 0 0 0 242 2 0 0 20 0 20 0 5428023 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693341534704 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 38 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2615] ppid=2594 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2615/stat : 2615 (java) S 2594 2597 7411 0 -1 1077944384 29358 0 0 0 119 4 0 0 20 0 20 0 5428023 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693340482160 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2616] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2616/stat : 2616 (java) S 2594 2597 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5428024 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693339429344 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2617] ppid=2594 vsize=13270076 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2617/stat : 2617 (java) S 2594 2597 7411 0 -1 1077944384 1096 0 0 0 67 62 0 0 20 0 20 0 5428024 13588557824 473474 33554432000 4194304 4196468 140727735615088 139693338376880 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
Current children cumulated CPU time (s) 2396.53
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2265.7 s]
/proc/loadavg: 1.45 1.50 1.54 3/282 2797
/proc/meminfo: memFree=27586008/32770624 swapFree=5860/302276
[pid=2597] ppid=2594 vsize=13270076 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 366129 0 0 0 238888 1118 0 0 20 0 20 0 5428016 13588557824 469883 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 3317519 469883 3864 1 0 3305234 0
[pid=2597/tid=2598] ppid=2594 vsize=13270076 CPUtime=2243.86 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 4202560 116422 0 0 0 224254 132 0 0 20 0 20 0 5428017 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693888609088 139693502825671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2600] ppid=2594 vsize=13270076 CPUtime=18.25 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2600/stat : 2600 (java) S 2594 2597 7411 0 -1 1077944384 14794 0 0 0 1715 110 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693816506896 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2601] ppid=2594 vsize=13270076 CPUtime=18.12 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2601/stat : 2601 (java) S 2594 2597 7411 0 -1 1077944384 13731 0 0 0 1698 114 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693815454352 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2602] ppid=2594 vsize=13270076 CPUtime=18.02 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2602/stat : 2602 (java) S 2594 2597 7411 0 -1 1077944384 12629 0 0 0 1691 111 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693814401296 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2603] ppid=2594 vsize=13270076 CPUtime=17.98 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2603/stat : 2603 (java) S 2594 2597 7411 0 -1 1077944384 13008 0 0 0 1688 110 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693813348752 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2604] ppid=2594 vsize=13270076 CPUtime=18.05 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2604/stat : 2604 (java) S 2594 2597 7411 0 -1 1077944384 12941 0 0 0 1694 111 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693478874128 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2605] ppid=2594 vsize=13270076 CPUtime=18.25 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2605/stat : 2605 (java) S 2594 2597 7411 0 -1 1077944384 13739 0 0 0 1712 113 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693477821584 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2606] ppid=2594 vsize=13270076 CPUtime=18.02 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2606/stat : 2606 (java) S 2594 2597 7411 0 -1 1077944384 12668 0 0 0 1691 111 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693476768528 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2607] ppid=2594 vsize=13270076 CPUtime=18.22 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2607/stat : 2607 (java) S 2594 2597 7411 0 -1 1077944384 14619 0 0 0 1708 114 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693475715984 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2608] ppid=2594 vsize=13270076 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2608/stat : 2608 (java) S 2594 2597 7411 0 -1 1077944384 52635 0 0 0 85 31 0 0 20 0 20 0 5428020 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693415110896 139693884381826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2609] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2609/stat : 2609 (java) S 2594 2597 7411 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693414057184 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2610] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2610/stat : 2610 (java) S 2594 2597 7411 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693413004032 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2611] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2611/stat : 2611 (java) S 2594 2597 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5428023 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693411952592 139693884389275 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2612] ppid=2594 vsize=13270076 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2612/stat : 2612 (java) S 2594 2597 7411 0 -1 1077944384 20989 0 0 0 231 2 0 0 20 0 20 0 5428023 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693410900720 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2613] ppid=2594 vsize=13270076 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2613/stat : 2613 (java) S 2594 2597 7411 0 -1 1077944384 18220 0 0 0 262 3 0 0 20 0 20 0 5428023 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693409848176 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 39 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2614] ppid=2594 vsize=13270076 CPUtime=2.44 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2614/stat : 2614 (java) S 2594 2597 7411 0 -1 1077944384 17785 0 0 0 242 2 0 0 20 0 20 0 5428023 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693341534704 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 38 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2615] ppid=2594 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2615/stat : 2615 (java) S 2594 2597 7411 0 -1 1077944384 29358 0 0 0 119 4 0 0 20 0 20 0 5428023 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693340482160 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2616] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2616/stat : 2616 (java) S 2594 2597 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5428024 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693339429344 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2617] ppid=2594 vsize=13270076 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2617/stat : 2617 (java) S 2594 2597 7411 0 -1 1077944384 1096 0 0 0 67 62 0 0 20 0 20 0 5428024 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693338376880 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
Current children cumulated CPU time (s) 2400.06
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 2597 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2265.7 s]
/proc/loadavg: 1.45 1.50 1.54 3/282 2797
/proc/meminfo: memFree=27586008/32770624 swapFree=5860/302276
[pid=2597] ppid=2594 vsize=13270076 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/2597/stat : 2597 (java) S 2594 2597 7411 0 -1 1077944320 366129 0 0 0 238888 1118 0 0 20 0 20 0 5428016 13588557824 469883 33554432000 4194304 4196468 140727735615088 140727735597632 139693884370679 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
/proc/2597/statm: 3317519 469883 3864 1 0 3305234 0
[pid=2597/tid=2598] ppid=2594 vsize=13270076 CPUtime=2243.86 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2598/stat : 2598 (java) R 2594 2597 7411 0 -1 4202560 116422 0 0 0 224254 132 0 0 20 0 20 0 5428017 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693888609088 139693502825671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2600] ppid=2594 vsize=13270076 CPUtime=18.25 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2600/stat : 2600 (java) S 2594 2597 7411 0 -1 1077944384 14794 0 0 0 1715 110 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693816506896 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2601] ppid=2594 vsize=13270076 CPUtime=18.12 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2601/stat : 2601 (java) S 2594 2597 7411 0 -1 1077944384 13731 0 0 0 1698 114 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693815454352 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2602] ppid=2594 vsize=13270076 CPUtime=18.02 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2602/stat : 2602 (java) S 2594 2597 7411 0 -1 1077944384 12629 0 0 0 1691 111 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693814401296 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2603] ppid=2594 vsize=13270076 CPUtime=17.98 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2603/stat : 2603 (java) S 2594 2597 7411 0 -1 1077944384 13008 0 0 0 1688 110 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693813348752 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2604] ppid=2594 vsize=13270076 CPUtime=18.05 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2604/stat : 2604 (java) S 2594 2597 7411 0 -1 1077944384 12941 0 0 0 1694 111 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693478874128 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2605] ppid=2594 vsize=13270076 CPUtime=18.25 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2605/stat : 2605 (java) S 2594 2597 7411 0 -1 1077944384 13739 0 0 0 1712 113 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693477821584 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2606] ppid=2594 vsize=13270076 CPUtime=18.02 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2606/stat : 2606 (java) S 2594 2597 7411 0 -1 1077944384 12668 0 0 0 1691 111 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693476768528 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2607] ppid=2594 vsize=13270076 CPUtime=18.22 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2607/stat : 2607 (java) S 2594 2597 7411 0 -1 1077944384 14619 0 0 0 1708 114 0 0 20 0 20 0 5428018 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693475715984 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2608] ppid=2594 vsize=13270076 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2608/stat : 2608 (java) S 2594 2597 7411 0 -1 1077944384 52635 0 0 0 85 31 0 0 20 0 20 0 5428020 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693415110896 139693884381826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2609] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2609/stat : 2609 (java) S 2594 2597 7411 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693414057184 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2610] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2610/stat : 2610 (java) S 2594 2597 7411 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 20 0 5428020 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693413004032 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2611] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2611/stat : 2611 (java) S 2594 2597 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5428023 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693411952592 139693884389275 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2612] ppid=2594 vsize=13270076 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2612/stat : 2612 (java) S 2594 2597 7411 0 -1 1077944384 20989 0 0 0 231 2 0 0 20 0 20 0 5428023 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693410900720 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2613] ppid=2594 vsize=13270076 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2613/stat : 2613 (java) S 2594 2597 7411 0 -1 1077944384 18220 0 0 0 262 3 0 0 20 0 20 0 5428023 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693409848176 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 39 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2614] ppid=2594 vsize=13270076 CPUtime=2.44 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2614/stat : 2614 (java) S 2594 2597 7411 0 -1 1077944384 17785 0 0 0 242 2 0 0 20 0 20 0 5428023 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693341534704 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 38 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2615] ppid=2594 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2615/stat : 2615 (java) S 2594 2597 7411 0 -1 1077944384 29358 0 0 0 119 4 0 0 20 0 20 0 5428023 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693340482160 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2616] ppid=2594 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2616/stat : 2616 (java) S 2594 2597 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5428024 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693339429344 139693884380885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
[pid=2597/tid=2617] ppid=2594 vsize=13270076 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/2597/task/2617/stat : 2617 (java) S 2594 2597 7411 0 -1 1077944384 1096 0 0 0 67 62 0 0 20 0 20 0 5428024 13588557824 469883 33554432000 4194304 4196468 140727735615088 139693338376880 139693884381826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 23662592 140727735620751 140727735620932 140727735620932 140727735623631 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2265.74
CPU time (s): 2400.11
CPU user time (s): 2388.92
CPU system time (s): 11.1924
CPU usage (%): 105.931
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.92
system time used= 11.1924
maximum resident set size= 3585016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84242
involuntary context switches= 129386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4289 second user time and 19.3908 second system time

The end

Launcher Data

Begin job on node131 at 2017-07-22 07:33:26
IDJOB=4245574
IDBENCH=122959
IDSOLVER=2627
FILE ID=node131/4245574-1500701606
RUNJOBID= node131-1500697063-2096
PBS_JOBID= 20623041
Free space on /tmp= 61976 MiB

SOLVER NAME= OscaR - ALNS 2017-06-30
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-46-035-010.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-4245574-1500701606/watcher-4245574-1500701606 -o /tmp/evaluation-result-4245574-1500701606/solver-4245574-1500701606 -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 1444064944 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245574-1500701606.xml

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

MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8
RANDOM SEED=1444064944

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

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

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

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

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.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:        30464432 kB
MemAvailable:   30756856 kB
Buffers:          121940 kB
Cached:           451484 kB
SwapCached:            0 kB
Active:          1564104 kB
Inactive:         308416 kB
Active(anon):    1301680 kB
Inactive(anon):     8680 kB
Active(file):     262424 kB
Inactive(file):   299736 kB
Unevictable:        5860 kB
Mlocked:            5860 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42112 kB
Writeback:             0 kB
AnonPages:       1510532 kB
Mapped:            45132 kB
Shmem:              8844 kB
Slab:             125384 kB
SReclaimable:      92200 kB
SUnreclaim:        33184 kB
KernelStack:        4848 kB
PageTables:         8260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2035992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1376256 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 08:11:12

Name	Opd/Opd-sum-large/ Opd-46-035-010.xml
MD5SUM	9882d57d510e95008d99aa62e0238ec8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	1611
Number of constraints	1082
Number of domains	2
Minimum domain size	2
Maximum domain size	33
Distribution of domain sizes	[{"size":2,"count":1610},{"size":33,"count":1}]
Minimum variable degree	47
Maximum variable degree	1036
Distribution of variable degrees	[{"degree":47,"count":1610},{"degree":1036,"count":1}]
Minimum constraint arity	35
Maximum constraint arity	1610
Distribution of constraint arities	[{"arity":35,"count":46},{"arity":71,"count":1035},{"arity":1610,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"lex","count":1},{"type":"sum","count":1081}]
Optimization problem	YES
Type of objective	min VAR

Trace number 4245574

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