2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - Hybrid 2017-06-30	SAT (TO)	1637	2400.11	2293.14

0.41/0.31	c version: 2017-06-30
0.41/0.31	c seed: 515147714
0.41/0.31	c timeout: 2400
0.41/0.31	c memlimit: 15500
0.41/0.31	c nbcore: 8
0.41/0.34	c Parsing instance...
2.96/1.21	c Parsing done, starting first complete search...
3.32/1.28	o 2039
3.32/1.30	o 2037
3.65/1.31	o 2034
3.65/1.32	o 1993
3.65/1.33	o 1991
3.65/1.37	o 1989
3.65/1.37	o 1987
4.10/1.43	o 1974
4.50/1.59	o 1970
4.87/1.60	o 1963
4.87/1.65	o 1962
4.87/1.65	o 1960
5.21/1.72	o 1946
5.21/1.72	o 1943
5.21/1.73	o 1940
5.21/1.74	o 1937
5.21/1.75	o 1914
5.21/1.76	o 1908
5.21/1.76	o 1885
5.21/1.77	o 1882
5.21/1.78	o 1878
5.21/1.78	o 1870
5.21/1.78	o 1856
5.37/1.88	o 1854
5.58/1.90	o 1850
5.87/2.12	o 1808
5.87/2.12	o 1796
5.87/2.12	o 1790
5.87/2.13	o 1771
5.87/2.13	o 1769
6.02/2.21	o 1755
6.02/2.22	o 1706
7.58/4.12	c First complete search done, starting ALNS search...
60.53/53.64	o 1662
458.18/434.83	o 1637
1758.69/1679.94	c ALNS done, starting second complete search
1758.69/1679.94	c Best operator: ValGuided(333,MinGroup)_FirstFail(valLearnMin) with improvement of: 69
2400.06/2293.10	s SATISFIABLE
2400.06/2293.11	v <instantiation>
2400.06/2293.11	v 	<list>
2400.06/2293.11	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35]
2400.06/2293.11	v 	</list>
2400.06/2293.11	v 	<values>
2400.06/2293.11	v 		0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 88 28 100 18 30 100 19 37 100 12 49 66 51 13 28 93 68 95 100 54 89 58 17 77 43 62 52 37 79 38 78 64 74 100 
2400.06/2293.11	v 	</values>
2400.06/2293.11	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-4246314-1500702082/watcher-4246314-1500702082 -o /tmp/evaluation-result-4246314-1500702082/solver-4246314-1500702082 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500683444-15057 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 515147714 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246314-1500702082.xml 

pid=17843
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.62 1.58 1.55 3/262 17846
/proc/meminfo: memFree=29446824/32770624 swapFree=5688/258476
[pid=17846] ppid=17843 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 5474876 369864704 1413 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 90299 1413 1072 1 0 79210 0
[pid=17846/tid=17847] ppid=17843 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) S 17843 17846 14714 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 5474877 369864704 1413 33554432000 4194304 4196468 140732900275152 139861618817440 139861614586498 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0

[startup+0.100128 s]
/proc/loadavg: 1.62 1.58 1.55 3/262 17846
/proc/meminfo: memFree=29446824/32770624 swapFree=5688/258476
[pid=17846] ppid=17843 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 5578 0 0 0 8 1 0 0 20 0 20 0 5474876 13582725120 6149 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 3316095 6149 3288 1 0 3303815 0
[pid=17846/tid=17847] ppid=17843 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) R 17843 17846 14714 0 -1 4202560 3646 0 0 0 7 1 0 0 20 0 20 0 5474877 13582725120 6149 33554432000 4194304 4196468 140732900275152 139861618811392 139861614597277 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200333 s]
/proc/loadavg: 1.62 1.58 1.55 3/262 17846
/proc/meminfo: memFree=29446824/32770624 swapFree=5688/258476
[pid=17846] ppid=17843 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 8752 0 0 0 23 3 0 0 20 0 20 0 5474876 13582245888 8788 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 3315978 8788 3565 1 0 3303698 0
[pid=17846/tid=17847] ppid=17843 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) R 17843 17846 14714 0 -1 4202560 6414 0 0 0 16 2 0 0 20 0 20 0 5474877 13582245888 8788 33554432000 4194304 4196468 140732900275152 139861618803728 140732900813000 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300448 s]
/proc/loadavg: 1.62 1.58 1.55 3/262 17846
/proc/meminfo: memFree=29446824/32770624 swapFree=5688/258476
[pid=17846] ppid=17843 vsize=13263912 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 9687 0 0 0 38 3 0 0 20 0 20 0 5474876 13582245888 10449 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 3315978 10449 3658 1 0 3303698 0
[pid=17846/tid=17847] ppid=17843 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) R 17843 17846 14714 0 -1 4202560 7103 0 0 0 25 2 0 0 20 0 20 0 5474877 13582245888 10449 33554432000 4194304 4196468 140732900275152 139861618797936 139861614597277 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912

[startup+0.700265 s]
/proc/loadavg: 1.62 1.58 1.55 3/262 17846
/proc/meminfo: memFree=29446824/32770624 swapFree=5688/258476
[pid=17846] ppid=17843 vsize=13265980 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 12847 0 0 0 141 5 0 0 20 0 20 0 5474876 13584363520 18553 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 3316495 18553 3771 1 0 3304210 0
[pid=17846/tid=17847] ppid=17843 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) R 17843 17846 14714 0 -1 4202560 8112 0 0 0 64 3 0 0 20 0 20 0 5474877 13584363520 18553 33554432000 4194304 4196468 140732900275152 139861618809936 139861253453891 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13265980

[startup+1.50103 s]
/proc/loadavg: 1.62 1.58 1.55 4/282 17866
/proc/meminfo: memFree=29353064/32770624 swapFree=5688/258464
[pid=17846] ppid=17843 vsize=13270076 CPUtime=4.5 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 26744 0 0 0 441 9 0 0 20 0 20 0 5474876 13588557824 43279 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 3317519 43279 3795 1 0 3305234 0
[pid=17846/tid=17847] ppid=17843 vsize=13270076 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) R 17843 17846 14714 0 -1 4202560 11011 0 0 0 142 5 0 0 20 0 20 0 5474877 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861618810904 139861259444984 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17849] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17849/stat : 17849 (java) S 17843 17846 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861213456784 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17850] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17850/stat : 17850 (java) S 17843 17846 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861212403984 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17851] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17851/stat : 17851 (java) S 17843 17846 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861211351696 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17852] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17852/stat : 17852 (java) S 17843 17846 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861210298896 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17853] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17853/stat : 17853 (java) S 17843 17846 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861209246608 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17854] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17854/stat : 17854 (java) S 17843 17846 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861208193808 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17855] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17855/stat : 17855 (java) S 17843 17846 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861207141520 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17856] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17856/stat : 17856 (java) S 17843 17846 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861206088720 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17857] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17857/stat : 17857 (java) S 17843 17846 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5474880 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861077936240 139861614586498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17858] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17858/stat : 17858 (java) S 17843 17846 14714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861076882208 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17859] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17859/stat : 17859 (java) S 17843 17846 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861075829872 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17860] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17860/stat : 17860 (java) S 17843 17846 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861074778192 139861614593947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17861] ppid=17843 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17861/stat : 17861 (java) R 17843 17846 14714 0 -1 4202560 3475 0 0 0 74 0 0 0 20 0 20 0 5474885 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861073712416 139861597787035 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17862] ppid=17843 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17862/stat : 17862 (java) R 17843 17846 14714 0 -1 4202560 2605 0 0 0 75 0 0 0 20 0 20 0 5474885 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861072659288 139861596098544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17863] ppid=17843 vsize=13270076 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17863/stat : 17863 (java) R 17843 17846 14714 0 -1 4202560 3608 0 0 0 71 1 0 0 20 0 20 0 5474885 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861071607520 139861592066881 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17864] ppid=17843 vsize=13270076 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17864/stat : 17864 (java) S 17843 17846 14714 0 -1 1077944384 4632 0 0 0 78 1 0 0 20 0 20 0 5474885 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861070568176 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17865] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17865/stat : 17865 (java) S 17843 17846 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861069515104 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17866] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17866/stat : 17866 (java) S 17843 17846 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5474886 13588557824 43279 33554432000 4194304 4196468 140732900275152 139861068462384 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 13270076

[startup+3.10072 s]
/proc/loadavg: 1.57 1.57 1.54 3/282 17866
/proc/meminfo: memFree=29232672/32770624 swapFree=5688/258464
[pid=17846] ppid=17843 vsize=13270076 CPUtime=6.83 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 29116 0 0 0 668 15 0 0 20 0 20 0 5474876 13588557824 57578 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 3317519 57578 3815 1 0 3305234 0
[pid=17846/tid=17847] ppid=17843 vsize=13270076 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) S 17843 17846 14714 0 -1 1077944384 11572 0 0 0 291 5 0 0 20 0 20 0 5474877 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861618813728 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17849] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17849/stat : 17849 (java) S 17843 17846 14714 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861213456784 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17850] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17850/stat : 17850 (java) S 17843 17846 14714 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861212403984 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17851] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17851/stat : 17851 (java) S 17843 17846 14714 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861211351696 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17852] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17852/stat : 17852 (java) S 17843 17846 14714 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861210298896 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17853] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17853/stat : 17853 (java) S 17843 17846 14714 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861209246608 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17854] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17854/stat : 17854 (java) S 17843 17846 14714 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861208193808 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17855] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17855/stat : 17855 (java) S 17843 17846 14714 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861207141520 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17856] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17856/stat : 17856 (java) S 17843 17846 14714 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 5474878 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861206088720 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17857] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17857/stat : 17857 (java) D 17843 17846 14714 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 20 0 5474880 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861077936160 139861599787629 0 0 0 16800975 18446744072100473989 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17858] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17858/stat : 17858 (java) S 17843 17846 14714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861076882208 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17859] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17859/stat : 17859 (java) S 17843 17846 14714 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861075829888 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17860] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17860/stat : 17860 (java) S 17843 17846 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861074778192 139861614593947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17861] ppid=17843 vsize=13270076 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17861/stat : 17861 (java) S 17843 17846 14714 0 -1 1077944384 3759 0 0 0 94 0 0 0 20 0 20 0 5474885 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861073726064 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17862] ppid=17843 vsize=13270076 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17862/stat : 17862 (java) S 17843 17846 14714 0 -1 1077944384 2972 0 0 0 104 0 0 0 20 0 20 0 5474885 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861072673264 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17863] ppid=17843 vsize=13270076 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17863/stat : 17863 (java) S 17843 17846 14714 0 -1 1077944384 3635 0 0 0 90 1 0 0 20 0 20 0 5474885 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861071620976 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17864] ppid=17843 vsize=13270076 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17864/stat : 17864 (java) S 17843 17846 14714 0 -1 1077944384 5207 0 0 0 80 1 0 0 20 0 20 0 5474885 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861070568176 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17865] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17865/stat : 17865 (java) S 17843 17846 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861069515104 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17866] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17866/stat : 17866 (java) D 17843 17846 14714 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 5474886 13588557824 57578 33554432000 4194304 4196468 140732900275152 139861068462304 139861599431438 0 4 0 16800975 18446744072100473989 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 13270076

[startup+6.3007 s]
/proc/loadavg: 1.57 1.57 1.54 3/282 17866
/proc/meminfo: memFree=29188628/32770624 swapFree=5688/258476
[pid=17846] ppid=17843 vsize=13270076 CPUtime=10.98 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 32615 0 0 0 1053 45 0 0 20 0 20 0 5474876 13588557824 97706 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 3317519 97706 3828 1 0 3305234 0
[pid=17846/tid=17847] ppid=17843 vsize=13270076 CPUtime=5.74 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) R 17843 17846 14714 0 -1 4202560 12967 0 0 0 567 7 0 0 20 0 20 0 5474877 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861618813176 139861614587286 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17849] ppid=17843 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17849/stat : 17849 (java) S 17843 17846 14714 0 -1 1077944384 964 0 0 0 5 3 0 0 20 0 20 0 5474878 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861213456784 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17850] ppid=17843 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17850/stat : 17850 (java) S 17843 17846 14714 0 -1 1077944384 54 0 0 0 4 3 0 0 20 0 20 0 5474878 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861212403984 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17851] ppid=17843 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17851/stat : 17851 (java) S 17843 17846 14714 0 -1 1077944384 84 0 0 0 5 3 0 0 20 0 20 0 5474878 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861211351696 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17852] ppid=17843 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17852/stat : 17852 (java) S 17843 17846 14714 0 -1 1077944384 55 0 0 0 4 4 0 0 20 0 20 0 5474878 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861210298896 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17853] ppid=17843 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17853/stat : 17853 (java) S 17843 17846 14714 0 -1 1077944384 217 0 0 0 4 4 0 0 20 0 20 0 5474878 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861209246608 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17854] ppid=17843 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17854/stat : 17854 (java) S 17843 17846 14714 0 -1 1077944384 80 0 0 0 5 3 0 0 20 0 20 0 5474878 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861208193808 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17855] ppid=17843 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17855/stat : 17855 (java) S 17843 17846 14714 0 -1 1077944384 69 0 0 0 4 3 0 0 20 0 20 0 5474878 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861207141520 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17856] ppid=17843 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17856/stat : 17856 (java) S 17843 17846 14714 0 -1 1077944384 122 0 0 0 4 4 0 0 20 0 20 0 5474878 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861206088720 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17857] ppid=17843 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17857/stat : 17857 (java) S 17843 17846 14714 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 5474880 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861077936240 139861614586498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17858] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17858/stat : 17858 (java) S 17843 17846 14714 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861076882272 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17859] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17859/stat : 17859 (java) S 17843 17846 14714 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 97706 33554432000 4194304 4196468 140732900275152 139861075829888 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17860] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=17846/tid=17862] ppid=17843 vsize=13270076 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17862/stat : 17862 (java) S 17843 17846 14714 0 -1 1077944384 18759 0 0 0 206 2 0 0 20 0 20 0 5474885 13588557824 279719 33554432000 4194304 4196468 140732900275152 139861072673264 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17863] ppid=17843 vsize=13270076 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17863/stat : 17863 (java) S 17843 17846 14714 0 -1 1077944384 16624 0 0 0 170 3 0 0 20 0 20 0 5474885 13588557824 279719 33554432000 4194304 4196468 140732900275152 139861071620976 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17864] ppid=17843 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17864/stat : 17864 (java) S 17843 17846 14714 0 -1 1077944384 34371 0 0 0 116 3 0 0 20 0 20 0 5474885 13588557824 279719 33554432000 4194304 4196468 140732900275152 139861070568176 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17865] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17865/stat : 17865 (java) S 17843 17846 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 279719 33554432000 4194304 4196468 140732900275152 139861069515104 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17866] ppid=17843 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17866/stat : 17866 (java) S 17843 17846 14714 0 -1 1077944384 1454 0 0 0 60 61 0 0 20 0 20 0 5474886 13588557824 279719 33554432000 4194304 4196468 140732900275152 139861068462384 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
Current children cumulated CPU time (s) 2242.22
Current children cumulated vsize (KiB) 13270076

[startup+2202.3 s]
/proc/loadavg: 1.81 1.71 1.67 3/281 17949
/proc/meminfo: memFree=28878468/32770624 swapFree=5688/260608
[pid=17846] ppid=17843 vsize=13270076 CPUtime=2305.14 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 376094 0 0 0 229679 835 0 0 20 0 20 0 5474876 13588557824 266180 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 3317519 266180 3859 1 0 3305234 0
[pid=17846/tid=17847] ppid=17843 vsize=13270076 CPUtime=2181.81 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) R 17843 17846 14714 0 -1 4202560 96853 0 0 0 218134 47 0 0 20 0 20 0 5474877 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861618813440 139861261131862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17849] ppid=17843 vsize=13270076 CPUtime=14.07 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17849/stat : 17849 (java) S 17843 17846 14714 0 -1 1077944384 17465 0 0 0 1316 91 0 0 20 0 20 0 5474878 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861213456784 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17850] ppid=17843 vsize=13270076 CPUtime=13.95 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17850/stat : 17850 (java) S 17843 17846 14714 0 -1 1077944384 15318 0 0 0 1307 88 0 0 20 0 20 0 5474878 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861212403984 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17851] ppid=17843 vsize=13270076 CPUtime=14.06 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17851/stat : 17851 (java) S 17843 17846 14714 0 -1 1077944384 16017 0 0 0 1318 88 0 0 20 0 20 0 5474878 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861211351696 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17852] ppid=17843 vsize=13270076 CPUtime=14.11 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17852/stat : 17852 (java) S 17843 17846 14714 0 -1 1077944384 15393 0 0 0 1326 85 0 0 20 0 20 0 5474878 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861210298896 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17853] ppid=17843 vsize=13270076 CPUtime=14.11 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17853/stat : 17853 (java) S 17843 17846 14714 0 -1 1077944384 18053 0 0 0 1323 88 0 0 20 0 20 0 5474878 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861209246608 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17854] ppid=17843 vsize=13270076 CPUtime=14.03 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17854/stat : 17854 (java) S 17843 17846 14714 0 -1 1077944384 15219 0 0 0 1316 87 0 0 20 0 20 0 5474878 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861208193808 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17855] ppid=17843 vsize=13270076 CPUtime=14.05 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17855/stat : 17855 (java) S 17843 17846 14714 0 -1 1077944384 14947 0 0 0 1319 86 0 0 20 0 20 0 5474878 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861207141520 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17856] ppid=17843 vsize=13270076 CPUtime=13.99 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17856/stat : 17856 (java) S 17843 17846 14714 0 -1 1077944384 15975 0 0 0 1308 91 0 0 20 0 20 0 5474878 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861206088720 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17857] ppid=17843 vsize=13270076 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17857/stat : 17857 (java) S 17843 17846 14714 0 -1 1077944384 63692 0 0 0 225 47 0 0 20 0 20 0 5474880 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861077936240 139861614586498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17858] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17858/stat : 17858 (java) S 17843 17846 14714 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861076882272 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17859] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17859/stat : 17859 (java) S 17843 17846 14714 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861075829888 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17860] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17860/stat : 17860 (java) S 17843 17846 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861074778192 139861614593947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17861] ppid=17843 vsize=13270076 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17861/stat : 17861 (java) S 17843 17846 14714 0 -1 1077944384 13567 0 0 0 176 2 0 0 20 0 20 0 5474885 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861073726064 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17862] ppid=17843 vsize=13270076 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17862/stat : 17862 (java) S 17843 17846 14714 0 -1 1077944384 18761 0 0 0 206 2 0 0 20 0 20 0 5474885 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861072673264 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17863] ppid=17843 vsize=13270076 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17863/stat : 17863 (java) S 17843 17846 14714 0 -1 1077944384 17504 0 0 0 175 3 0 0 20 0 20 0 5474885 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861071620976 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17864] ppid=17843 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17864/stat : 17864 (java) S 17843 17846 14714 0 -1 1077944384 34373 0 0 0 116 3 0 0 20 0 20 0 5474885 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861070568176 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17865] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17865/stat : 17865 (java) S 17843 17846 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861069515104 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17866] ppid=17843 vsize=13270076 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17866/stat : 17866 (java) S 17843 17846 14714 0 -1 1077944384 1475 0 0 0 62 62 0 0 20 0 20 0 5474886 13588557824 266180 33554432000 4194304 4196468 140732900275152 139861068462384 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
Current children cumulated CPU time (s) 2305.14
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.70 1.71 1.67 3/281 18037
/proc/meminfo: memFree=30546056/32770624 swapFree=5688/260716
[pid=17846] ppid=17843 vsize=13270076 CPUtime=2367.83 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 379460 0 0 0 235942 841 0 0 20 0 20 0 5474876 13588557824 249251 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 3317519 249251 3859 1 0 3305234 0
[pid=17846/tid=17847] ppid=17843 vsize=13270076 CPUtime=2241.25 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) R 17843 17846 14714 0 -1 4202560 97791 0 0 0 224078 47 0 0 20 0 20 0 5474877 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861618813568 139861261131817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17849] ppid=17843 vsize=13270076 CPUtime=14.45 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17849/stat : 17849 (java) S 17843 17846 14714 0 -1 1077944384 17658 0 0 0 1354 91 0 0 20 0 20 0 5474878 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861213456784 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17850] ppid=17843 vsize=13270076 CPUtime=14.35 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17850/stat : 17850 (java) S 17843 17846 14714 0 -1 1077944384 15466 0 0 0 1347 88 0 0 20 0 20 0 5474878 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861212403984 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17851] ppid=17843 vsize=13270076 CPUtime=14.47 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17851/stat : 17851 (java) S 17843 17846 14714 0 -1 1077944384 16253 0 0 0 1359 88 0 0 20 0 20 0 5474878 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861211351696 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17852] ppid=17843 vsize=13270076 CPUtime=14.51 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17852/stat : 17852 (java) S 17843 17846 14714 0 -1 1077944384 15631 0 0 0 1366 85 0 0 20 0 20 0 5474878 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861210298896 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17853] ppid=17843 vsize=13270076 CPUtime=14.49 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17853/stat : 17853 (java) S 17843 17846 14714 0 -1 1077944384 18365 0 0 0 1360 89 0 0 20 0 20 0 5474878 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861209246608 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17854] ppid=17843 vsize=13270076 CPUtime=14.4 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17854/stat : 17854 (java) S 17843 17846 14714 0 -1 1077944384 15454 0 0 0 1353 87 0 0 20 0 20 0 5474878 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861208193808 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17855] ppid=17843 vsize=13270076 CPUtime=14.42 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17855/stat : 17855 (java) S 17843 17846 14714 0 -1 1077944384 15366 0 0 0 1355 87 0 0 20 0 20 0 5474878 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861207141520 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17856] ppid=17843 vsize=13270076 CPUtime=14.41 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17856/stat : 17856 (java) S 17843 17846 14714 0 -1 1077944384 16288 0 0 0 1349 92 0 0 20 0 20 0 5474878 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861206088720 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17857] ppid=17843 vsize=13270076 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17857/stat : 17857 (java) S 17843 17846 14714 0 -1 1077944384 63996 0 0 0 231 48 0 0 20 0 20 0 5474880 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861077936240 139861614586498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17858] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17858/stat : 17858 (java) S 17843 17846 14714 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861076882272 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17859] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17859/stat : 17859 (java) S 17843 17846 14714 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861075829888 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17860] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17860/stat : 17860 (java) S 17843 17846 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861074778192 139861614593947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17861] ppid=17843 vsize=13270076 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17861/stat : 17861 (java) S 17843 17846 14714 0 -1 1077944384 13570 0 0 0 176 2 0 0 20 0 20 0 5474885 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861073726064 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17862] ppid=17843 vsize=13270076 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17862/stat : 17862 (java) S 17843 17846 14714 0 -1 1077944384 18763 0 0 0 206 2 0 0 20 0 20 0 5474885 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861072673264 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17863] ppid=17843 vsize=13270076 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17863/stat : 17863 (java) S 17843 17846 14714 0 -1 1077944384 17506 0 0 0 175 3 0 0 20 0 20 0 5474885 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861071620976 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17864] ppid=17843 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17864/stat : 17864 (java) S 17843 17846 14714 0 -1 1077944384 34375 0 0 0 116 3 0 0 20 0 20 0 5474885 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861070568176 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17865] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17865/stat : 17865 (java) S 17843 17846 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861069515104 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17866] ppid=17843 vsize=13270076 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17866/stat : 17866 (java) S 17843 17846 14714 0 -1 1077944384 1496 0 0 0 64 64 0 0 20 0 20 0 5474886 13588557824 249251 33554432000 4194304 4196468 140732900275152 139861068462384 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
Current children cumulated CPU time (s) 2367.83
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2293.1 s]
/proc/loadavg: 1.61 1.68 1.66 3/281 18038
/proc/meminfo: memFree=30525168/32770624 swapFree=5688/260772
[pid=17846] ppid=17843 vsize=13270076 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/17846/stat : 17846 (java) S 17843 17846 14714 0 -1 1077944320 381498 0 0 0 239157 849 0 0 20 0 20 0 5474876 13588557824 258453 33554432000 4194304 4196468 140732900275152 140732900257696 139861614575351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
/proc/17846/statm: 3317519 258453 3859 1 0 3305234 0
[pid=17846/tid=17847] ppid=17843 vsize=13270076 CPUtime=2271.76 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17847/stat : 17847 (java) R 17843 17846 14714 0 -1 4202560 98577 0 0 0 227128 48 0 0 20 0 20 0 5474877 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861618813568 139861261131817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17849] ppid=17843 vsize=13270076 CPUtime=14.64 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17849/stat : 17849 (java) S 17843 17846 14714 0 -1 1077944384 17892 0 0 0 1372 92 0 0 20 0 20 0 5474878 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861213456784 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17850] ppid=17843 vsize=13270076 CPUtime=14.58 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17850/stat : 17850 (java) S 17843 17846 14714 0 -1 1077944384 15568 0 0 0 1369 89 0 0 20 0 20 0 5474878 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861212403984 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17851] ppid=17843 vsize=13270076 CPUtime=14.68 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17851/stat : 17851 (java) S 17843 17846 14714 0 -1 1077944384 16425 0 0 0 1379 89 0 0 20 0 20 0 5474878 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861211351696 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17852] ppid=17843 vsize=13270076 CPUtime=14.74 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17852/stat : 17852 (java) S 17843 17846 14714 0 -1 1077944384 15735 0 0 0 1388 86 0 0 20 0 20 0 5474878 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861210298896 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17853] ppid=17843 vsize=13270076 CPUtime=14.69 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17853/stat : 17853 (java) S 17843 17846 14714 0 -1 1077944384 18492 0 0 0 1379 90 0 0 20 0 20 0 5474878 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861209246608 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17854] ppid=17843 vsize=13270076 CPUtime=14.62 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17854/stat : 17854 (java) S 17843 17846 14714 0 -1 1077944384 15594 0 0 0 1374 88 0 0 20 0 20 0 5474878 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861208193808 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17855] ppid=17843 vsize=13270076 CPUtime=14.62 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17855/stat : 17855 (java) S 17843 17846 14714 0 -1 1077944384 15491 0 0 0 1374 88 0 0 20 0 20 0 5474878 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861207141520 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17856] ppid=17843 vsize=13270076 CPUtime=14.6 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17856/stat : 17856 (java) S 17843 17846 14714 0 -1 1077944384 16463 0 0 0 1368 92 0 0 20 0 20 0 5474878 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861206088720 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17857] ppid=17843 vsize=13270076 CPUtime=2.82 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17857/stat : 17857 (java) S 17843 17846 14714 0 -1 1077944384 64067 0 0 0 234 48 0 0 20 0 20 0 5474880 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861077936240 139861614586498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17858] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17858/stat : 17858 (java) S 17843 17846 14714 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861076882272 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17859] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17859/stat : 17859 (java) S 17843 17846 14714 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 5474881 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861075829888 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17860] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17860/stat : 17860 (java) S 17843 17846 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861074778192 139861614593947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17861] ppid=17843 vsize=13270076 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17861/stat : 17861 (java) S 17843 17846 14714 0 -1 1077944384 13570 0 0 0 176 2 0 0 20 0 20 0 5474885 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861073726064 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17862] ppid=17843 vsize=13270076 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17862/stat : 17862 (java) S 17843 17846 14714 0 -1 1077944384 18763 0 0 0 206 2 0 0 20 0 20 0 5474885 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861072673264 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17863] ppid=17843 vsize=13270076 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17863/stat : 17863 (java) S 17843 17846 14714 0 -1 1077944384 17506 0 0 0 175 3 0 0 20 0 20 0 5474885 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861071620976 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17864] ppid=17843 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17864/stat : 17864 (java) S 17843 17846 14714 0 -1 1077944384 34375 0 0 0 116 3 0 0 20 0 20 0 5474885 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861070568176 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17865] ppid=17843 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17865/stat : 17865 (java) S 17843 17846 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5474885 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861069515104 139861614585557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 0
[pid=17846/tid=17866] ppid=17843 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/17846/task/17866/stat : 17866 (java) S 17843 17846 14714 0 -1 1077944384 1498 0 0 0 66 65 0 0 20 0 20 0 5474886 13588557824 258453 33554432000 4194304 4196468 140732900275152 139861068462384 139861614586498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 20893696 140732900283534 140732900283716 140732900283716 140732900286415 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 17846 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2293.14
CPU time (s): 2400.11
CPU user time (s): 2391.61
CPU system time (s): 8.50921
CPU usage (%): 104.665
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.61
system time used= 8.50921
maximum resident set size= 2127900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153547
involuntary context switches= 142076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0213 second user time and 19.3285 second system time

The end

Launcher Data

Begin job on node137 at 2017-07-22 07:41:22
IDJOB=4246314
IDBENCH=124412
IDSOLVER=2629
FILE ID=node137/4246314-1500702082
RUNJOBID= node137-1500683444-15057
PBS_JOBID= 20623042
Free space on /tmp= 61976 MiB

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

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

MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9
RANDOM SEED=515147714

node137.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		: 2533.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	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
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		: 2533.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		: 2668.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	: 5332.93
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
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		: 2668.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		: 2400.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	: 5332.93
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:        29446332 kB
MemAvailable:   29713672 kB
Buffers:          116252 kB
Cached:           431760 kB
SwapCached:            0 kB
Active:          2617336 kB
Inactive:         267632 kB
Active(anon):    2339672 kB
Inactive(anon):     8852 kB
Active(file):     277664 kB
Inactive(file):   258780 kB
Unevictable:        5688 kB
Mlocked:            5688 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42192 kB
Writeback:             0 kB
AnonPages:       2342644 kB
Mapped:            45524 kB
Shmem:              8852 kB
Slab:             126968 kB
SReclaimable:      93464 kB
SUnreclaim:        33504 kB
KernelStack:        4480 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4463848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2205696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61932 MiB
End job on node137 at 2017-07-22 08:19:35

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

Trace number 4246314

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