2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - ALNS 2017-07-26	SAT (TO)	1769	248.629	240.03799

0.26/0.46	c version: 2017-07-26
0.26/0.46	c seed: 1863979706
0.26/0.47	c timeout: 264
0.26/0.47	c memlimit: 11000
0.26/0.47	c nbcore: 4
0.26/0.49	c Parsing instance...
2.52/1.30	c Parsing done, starting search...
2.52/1.36	o 2039
14.40/10.61	o 2036
19.64/15.68	o 1889
128.99/123.33	o 1876
146.79/140.77	o 1861
163.79/157.32	o 1851
186.36/179.33	o 1836
196.95/189.68	o 1823
214.95/207.22	o 1796
220.49/212.64	o 1769
248.57/240.01	s SATISFIABLE
248.57/240.01	v <instantiation>
248.57/240.01	v 	<list>
248.57/240.01	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]
248.57/240.01	v 	</list>
248.57/240.01	v 	<values>
248.57/240.01	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 18 32 47 58 76 78 100 17 55 78 90 78 84 100 37 100 82 57 86 28 38 23 10 45 64 77 85 100 32 12 86 98 100 65 42 
248.57/240.01	v 	</values>
248.57/240.01	v </instantiation>

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-4255865-1501630464/watcher-4255865-1501630464 -o /tmp/evaluation-result-4255865-1501630464/solver-4255865-1501630464 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501623099-17026 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1863979706 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255865-1501630464.xml 

pid=21586
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.87 1.77 1.69 3/195 21589
/proc/meminfo: memFree=28838680/32770624 swapFree=0/203896
[pid=21589] ppid=21586 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21589/stat : 21589 (runsolver) D 21586 21589 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11669497 24240128 107 18446744073709551615 4194304 4338465 140726604997552 140726604995192 140541509874391 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 39370752 140726605004908 140726605005382 140726605005382 140726605008842 0
/proc/21589/statm: 5918 107 54 36 0 2156 0

[startup+0.10013 s]
/proc/loadavg: 1.87 1.77 1.69 3/195 21589
/proc/meminfo: memFree=28838680/32770624 swapFree=0/203896
[pid=21589] ppid=21586 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21589/stat : 21589 (runsolver) D 21586 21589 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11669497 24240128 107 18446744073709551615 4194304 4338465 140726604997552 140726604995192 140541509874391 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 39370752 140726605004908 140726605005382 140726605005382 140726605008842 0
/proc/21589/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200308 s]
/proc/loadavg: 1.87 1.77 1.69 3/195 21589
/proc/meminfo: memFree=28838680/32770624 swapFree=0/203896
[pid=21589] ppid=21586 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 5088 0 0 0 4 1 0 0 20 0 14 0 11669497 14240239616 5604 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3476621 5604 2552 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.300294 s]
/proc/loadavg: 1.87 1.77 1.69 3/195 21589
/proc/meminfo: memFree=28838680/32770624 swapFree=0/203896
[pid=21589] ppid=21586 vsize=13975920 CPUtime=0.1 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 7158 0 0 0 9 1 0 0 20 0 15 0 11669497 14311342080 7830 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3493980 7830 3371 1 0 3482767 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13975920

[startup+0.700221 s]
/proc/loadavg: 1.87 1.77 1.69 3/195 21589
/proc/meminfo: memFree=28838680/32770624 swapFree=0/203896
[pid=21589] ppid=21586 vsize=13977988 CPUtime=0.84 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 13403 0 0 0 80 4 0 0 20 0 15 0 11669497 14313459712 16174 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3494497 16174 3701 1 0 3483279 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 13977988

[startup+1.5006 s]
/proc/loadavg: 1.87 1.77 1.69 5/210 21604
/proc/meminfo: memFree=28755516/32770624 swapFree=0/203888
[pid=21589] ppid=21586 vsize=13982084 CPUtime=3.2 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 26540 0 0 0 311 9 0 0 20 0 15 0 11669497 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3495521 47447 3760 1 0 3484303 0
[pid=21589/tid=21591] ppid=21586 vsize=13982084 CPUtime=1.27 cores=0,2,4,6
/proc/21589/task/21591/stat : 21591 (java) R 21586 21589 5091 0 -1 4202560 13774 0 0 0 121 6 0 0 20 0 15 0 11669509 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140660251515024 140659860209940 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21592] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21592/stat : 21592 (java) S 21586 21589 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11669510 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140660181719568 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21593] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21593/stat : 21593 (java) S 21586 21589 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11669510 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140660180667024 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21594] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21594/stat : 21594 (java) S 21586 21589 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11669510 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659845150992 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21595] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21595/stat : 21595 (java) S 21586 21589 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11669510 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659844098448 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21596] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21596/stat : 21596 (java) S 21586 21589 5091 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 11669511 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659793595120 140660247296642 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21597] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21597/stat : 21597 (java) S 21586 21589 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659792541344 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21598] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21598/stat : 21598 (java) S 21586 21589 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659791488240 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21599] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21599/stat : 21599 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659790436816 140660247304091 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21600] ppid=21586 vsize=13982084 CPUtime=0.57 cores=0,2,4,6
/proc/21589/task/21600/stat : 21600 (java) R 21586 21589 5091 0 -1 4202560 3198 0 0 0 57 0 0 0 20 0 15 0 11669515 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659789369824 140660226978572 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21601] ppid=21586 vsize=13982084 CPUtime=0.65 cores=0,2,4,6
/proc/21589/task/21601/stat : 21601 (java) R 21586 21589 5091 0 -1 4202560 2996 0 0 0 65 0 0 0 20 0 15 0 11669515 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659788320048 140660227245761 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21602] ppid=21586 vsize=13982084 CPUtime=0.67 cores=0,2,4,6
/proc/21589/task/21602/stat : 21602 (java) S 21586 21589 5091 0 -1 1077944384 5184 0 0 0 66 1 0 0 20 0 15 0 11669515 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659787278320 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21603] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21603/stat : 21603 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659786226016 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21604] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21604/stat : 21604 (java) S 21586 21589 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11669523 14317654016 47447 18446744073709551615 4194304 4196468 140735151520224 140659785174064 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 13982084

[startup+3.10071 s]
/proc/loadavg: 1.87 1.77 1.69 3/210 21604
/proc/meminfo: memFree=28620744/32770624 swapFree=0/203888
[pid=21589] ppid=21586 vsize=13982084 CPUtime=6.3 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 31611 0 0 0 617 13 0 0 20 0 15 0 11669497 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3495521 60463 3793 1 0 3484303 0
[pid=21589/tid=21591] ppid=21586 vsize=13982084 CPUtime=2.84 cores=0,2,4,6
/proc/21589/task/21591/stat : 21591 (java) R 21586 21589 5091 0 -1 4202560 15026 0 0 0 277 7 0 0 20 0 15 0 11669509 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140660251520520 140659869253036 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21592] ppid=21586 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/21589/task/21592/stat : 21592 (java) S 21586 21589 5091 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 11669510 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140660181719568 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21593] ppid=21586 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/21589/task/21593/stat : 21593 (java) S 21586 21589 5091 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 11669510 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140660180667024 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21594] ppid=21586 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/21589/task/21594/stat : 21594 (java) S 21586 21589 5091 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 11669510 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659845150992 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21595] ppid=21586 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/21589/task/21595/stat : 21595 (java) S 21586 21589 5091 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 15 0 11669510 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659844098448 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21596] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21596/stat : 21596 (java) S 21586 21589 5091 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 11669511 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659793595120 140660247296642 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21597] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21597/stat : 21597 (java) S 21586 21589 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659792541344 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21598] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21598/stat : 21598 (java) S 21586 21589 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659791488240 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21599] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21599/stat : 21599 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659790436816 140660247304091 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21600] ppid=21586 vsize=13982084 CPUtime=1.24 cores=0,2,4,6
/proc/21589/task/21600/stat : 21600 (java) S 21586 21589 5091 0 -1 1077944384 5133 0 0 0 123 1 0 0 20 0 15 0 11669515 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659789383920 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21601] ppid=21586 vsize=13982084 CPUtime=1.32 cores=0,2,4,6
/proc/21589/task/21601/stat : 21601 (java) S 21586 21589 5091 0 -1 1077944384 3917 0 0 0 132 0 0 0 20 0 15 0 11669515 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659788331376 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21602] ppid=21586 vsize=13982084 CPUtime=0.77 cores=0,2,4,6
/proc/21589/task/21602/stat : 21602 (java) S 21586 21589 5091 0 -1 1077944384 5716 0 0 0 76 1 0 0 20 0 15 0 11669515 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659787278320 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21603] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21603/stat : 21603 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659786226016 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21604] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21604/stat : 21604 (java) S 21586 21589 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 11669523 14317654016 60463 18446744073709551615 4194304 4196468 140735151520224 140659785174064 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 13982084

[startup+6.30061 s]
/proc/loadavg: 1.88 1.78 1.69 3/210 21604
/proc/meminfo: memFree=28467596/32770624 swapFree=0/203900
[pid=21589] ppid=21586 vsize=13982084 CPUtime=9.92 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 33441 0 0 0 970 22 0 0 20 0 15 0 11669497 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3495521 98072 3796 1 0 3484303 0
[pid=21589/tid=21591] ppid=21586 vsize=13982084 CPUtime=5.99 cores=0,2,4,6
/proc/21589/task/21591/stat : 21591 (java) R 21586 21589 5091 0 -1 4202560 15220 0 0 0 591 8 0 0 20 0 15 0 11669509 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140660251521048 140659869195344 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21592] ppid=21586 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/21589/task/21592/stat : 21592 (java) S 21586 21589 5091 0 -1 1077944384 129 0 0 0 3 2 0 0 20 0 15 0 11669510 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140660181719568 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21593] ppid=21586 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/21589/task/21593/stat : 21593 (java) S 21586 21589 5091 0 -1 1077944384 79 0 0 0 3 2 0 0 20 0 15 0 11669510 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140660180667024 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21594] ppid=21586 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/21589/task/21594/stat : 21594 (java) S 21586 21589 5091 0 -1 1077944384 149 0 0 0 3 2 0 0 20 0 15 0 11669510 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659845150992 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21595] ppid=21586 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/21589/task/21595/stat : 21595 (java) S 21586 21589 5091 0 -1 1077944384 1038 0 0 0 3 2 0 0 20 0 15 0 11669510 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659844098448 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21596] ppid=21586 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/21589/task/21596/stat : 21596 (java) S 21586 21589 5091 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 15 0 11669511 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659793595120 140660247296642 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21597] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21597/stat : 21597 (java) S 21586 21589 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659792541408 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21598] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21598/stat : 21598 (java) S 21586 21589 5091 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659791488256 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21599] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21599/stat : 21599 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659790436816 140660247304091 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21600] ppid=21586 vsize=13982084 CPUtime=1.38 cores=0,2,4,6
/proc/21589/task/21600/stat : 21600 (java) S 21586 21589 5091 0 -1 1077944384 5214 0 0 0 137 1 0 0 20 0 15 0 11669515 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659789383920 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21601] ppid=21586 vsize=13982084 CPUtime=1.45 cores=0,2,4,6
/proc/21589/task/21601/stat : 21601 (java) S 21586 21589 5091 0 -1 1077944384 3999 0 0 0 145 0 0 0 20 0 15 0 11669515 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659788331376 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21602] ppid=21586 vsize=13982084 CPUtime=0.8 cores=0,2,4,6
/proc/21589/task/21602/stat : 21602 (java) S 21586 21589 5091 0 -1 1077944384 5774 0 0 0 79 1 0 0 20 0 15 0 11669515 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659787278320 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21603] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21603/stat : 21603 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659786226016 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21604] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21604/stat : 21604 (java) S 21586 21589 5091 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 11669523 14317654016 98072 18446744073709551615 4194304 4196468 140735151520224 140659785174064 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (KiB) 13982084

[startup+12.7006 s]
/proc/loadavg: 1.89 1.78 1.69 3/210 21604
/proc/meminfo: memFree=28195988/32770624 swapFree=0/203908
[pid=21589] ppid=21586 vsize=13982084 CPUtime=16.7 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 36751 0 0 0 1638 32 0 0 20 0 15 0 11669497 14317654016 168549 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3495521 168549 3797 1 0 3484303 0
[pid=21589/tid=21591] ppid=21586 vsize=13982084 CPUtime=12.33 cores=0,2,4,6
/proc/21589/task/21591/stat : 21591 (java) R 21586 21589 5091 0 -1 4202560 17365 0 0 0 1221 12 0 0 20 0 15 0 11669509 14317654016 168549 18446744073709551615 4194304 4196468 140735151520224 140660251523200 140659869789464 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21592] ppid=21586 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/21589/task/21592/stat : 21592 (java) S 21586 21589 5091 0 -1 1077944384 197 0 0 0 7 3 0 0 20 0 15 0 11669510 14317654016 168549 18446744073709551615 4194304 4196468 140735151520224 140660181719568 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21593] ppid=21586 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/21589/task/21593/stat : 21593 (java) S 21586 21589 5091 0 -1 1077944384 129 0 0 0 7 3 0 0 20 0 15 0 11669510 14317654016 168549 18446744073709551615 4194304 4196468 140735151520224 140660180667024 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21594] ppid=21586 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/21589/task/21594/stat : 21594 (java) S 21586 21589 5091 0 -1 1077944384 214 0 0 0 7 3 0 0 20 0 15 0 11669510 14317654016 168549 18446744073709551615 4194304 4196468 140735151520224 140659845150992 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21595] ppid=21586 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/21589/task/21595/stat : 21595 (java) S 21586 21589 5091 0 -1 1077944384 1111 0 0 0 7 4 0 0 20 0 15 0 11669510 14317654016 168549 18446744073709551615 4194304 4196468 140735151520224 140659844098448 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21596] ppid=21586 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/21589/task/21596/stat : 21596 (java) S 21586 21589 5091 0 -1 1077944384 664 0 0 0 1 0 0 0 20 0 15 0 11669511 14317654016 168549 18446744073709551615 4194304 4196468 140735151520224 140659793595120 140660247296642 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21597] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21597/stat : 21597 (java) S 21586 21589 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 168549 18446744073709551615 4194304 4196468 140735151520224 140659792541408 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21598] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21598/stat : 21598 (java) S 21586 21589 5091 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 168549 18446744073709551615 4194304 4196468 140735151520224 140659791488256 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21599] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21599/stat : 21599 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 168549 18446744073709551615 4194304 4196468 140735151520224 140659790436816 140660247304091 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0

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

/proc/21589/task/21603/stat : 21603 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 210740 18446744073709551615 4194304 4196468 140735151520224 140659786226016 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21604] ppid=21586 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/21589/task/21604/stat : 21604 (java) S 21586 21589 5091 0 -1 1077944384 363 0 0 0 1 2 0 0 20 0 15 0 11669523 14317654016 210740 18446744073709551615 4194304 4196468 140735151520224 140659785174064 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
Current children cumulated CPU time (s) 107.6
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.70 1.75 1.69 3/210 21686
/proc/meminfo: memFree=30387728/32770624 swapFree=0/204088
[pid=21589] ppid=21586 vsize=13982084 CPUtime=168.92 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 75653 0 0 0 16833 59 0 0 20 0 15 0 11669497 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3495521 179168 3802 1 0 3484303 0
[pid=21589/tid=21591] ppid=21586 vsize=13982084 CPUtime=161.22 cores=0,2,4,6
/proc/21589/task/21591/stat : 21591 (java) R 21586 21589 5091 0 -1 4202560 29328 0 0 0 16102 20 0 0 20 0 15 0 11669509 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140660251523344 140659869848574 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21592] ppid=21586 vsize=13982084 CPUtime=0.65 cores=0,2,4,6
/proc/21589/task/21592/stat : 21592 (java) S 21586 21589 5091 0 -1 1077944384 1238 0 0 0 59 6 0 0 20 0 15 0 11669510 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140660181719568 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21593] ppid=21586 vsize=13982084 CPUtime=0.65 cores=0,2,4,6
/proc/21589/task/21593/stat : 21593 (java) S 21586 21589 5091 0 -1 1077944384 1379 0 0 0 59 6 0 0 20 0 15 0 11669510 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140660180667024 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21594] ppid=21586 vsize=13982084 CPUtime=0.66 cores=0,2,4,6
/proc/21589/task/21594/stat : 21594 (java) S 21586 21589 5091 0 -1 1077944384 3210 0 0 0 59 7 0 0 20 0 15 0 11669510 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659845150992 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21595] ppid=21586 vsize=13982084 CPUtime=0.65 cores=0,2,4,6
/proc/21589/task/21595/stat : 21595 (java) S 21586 21589 5091 0 -1 1077944384 2635 0 0 0 59 6 0 0 20 0 15 0 11669510 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659844098448 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21596] ppid=21586 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/21589/task/21596/stat : 21596 (java) S 21586 21589 5091 0 -1 1077944384 1749 0 0 0 9 2 0 0 20 0 15 0 11669511 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659793595120 140660247296642 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21597] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21597/stat : 21597 (java) S 21586 21589 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659792541408 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21598] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21598/stat : 21598 (java) S 21586 21589 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659791488256 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21599] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21599/stat : 21599 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659790436816 140660247304091 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21600] ppid=21586 vsize=13982084 CPUtime=1.94 cores=0,2,4,6
/proc/21589/task/21600/stat : 21600 (java) S 21586 21589 5091 0 -1 1077944384 12188 0 0 0 192 2 0 0 20 0 15 0 11669515 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659789383920 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21601] ppid=21586 vsize=13982084 CPUtime=1.92 cores=0,2,4,6
/proc/21589/task/21601/stat : 21601 (java) S 21586 21589 5091 0 -1 1077944384 9629 0 0 0 191 1 0 0 20 0 15 0 11669515 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659788331376 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21602] ppid=21586 vsize=13982084 CPUtime=0.93 cores=0,2,4,6
/proc/21589/task/21602/stat : 21602 (java) S 21586 21589 5091 0 -1 1077944384 12523 0 0 0 91 2 0 0 20 0 15 0 11669515 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659787278320 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21603] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21603/stat : 21603 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659786226016 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21604] ppid=21586 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/21589/task/21604/stat : 21604 (java) S 21586 21589 5091 0 -1 1077944384 383 0 0 0 3 5 0 0 20 0 15 0 11669523 14317654016 179168 18446744073709551615 4194304 4196468 140735151520224 140659785174064 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
Current children cumulated CPU time (s) 168.92
Current children cumulated vsize (KiB) 13982084

[startup+222.301 s]
/proc/loadavg: 1.49 1.68 1.67 3/210 21688
/proc/meminfo: memFree=30485664/32770624 swapFree=0/204132
[pid=21589] ppid=21586 vsize=13982084 CPUtime=230.42 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 80678 0 0 0 22971 71 0 0 20 0 15 0 11669497 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3495521 172336 3802 1 0 3484303 0
[pid=21589/tid=21591] ppid=21586 vsize=13982084 CPUtime=220.59 cores=0,2,4,6
/proc/21589/task/21591/stat : 21591 (java) R 21586 21589 5091 0 -1 4202560 30726 0 0 0 22039 20 0 0 20 0 15 0 11669509 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140660251523232 140659869308288 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21592] ppid=21586 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/21589/task/21592/stat : 21592 (java) S 21586 21589 5091 0 -1 1077944384 1600 0 0 0 107 9 0 0 20 0 15 0 11669510 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140660181719568 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21593] ppid=21586 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/21589/task/21593/stat : 21593 (java) S 21586 21589 5091 0 -1 1077944384 1732 0 0 0 107 9 0 0 20 0 15 0 11669510 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140660180667024 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21594] ppid=21586 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/21589/task/21594/stat : 21594 (java) S 21586 21589 5091 0 -1 1077944384 3998 0 0 0 107 9 0 0 20 0 15 0 11669510 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659845150992 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21595] ppid=21586 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/21589/task/21595/stat : 21595 (java) S 21586 21589 5091 0 -1 1077944384 2963 0 0 0 107 9 0 0 20 0 15 0 11669510 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659844098448 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21596] ppid=21586 vsize=13982084 CPUtime=0.18 cores=0,2,4,6
/proc/21589/task/21596/stat : 21596 (java) S 21586 21589 5091 0 -1 1077944384 1889 0 0 0 15 3 0 0 20 0 15 0 11669511 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659793595120 140660247296642 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21597] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21597/stat : 21597 (java) S 21586 21589 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659792541408 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21598] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21598/stat : 21598 (java) S 21586 21589 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659791488256 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21599] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21599/stat : 21599 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659790436816 140660247304091 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21600] ppid=21586 vsize=13982084 CPUtime=1.94 cores=0,2,4,6
/proc/21589/task/21600/stat : 21600 (java) S 21586 21589 5091 0 -1 1077944384 12220 0 0 0 192 2 0 0 20 0 15 0 11669515 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659789383920 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21601] ppid=21586 vsize=13982084 CPUtime=1.92 cores=0,2,4,6
/proc/21589/task/21601/stat : 21601 (java) S 21586 21589 5091 0 -1 1077944384 9986 0 0 0 191 1 0 0 20 0 15 0 11669515 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659788331376 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21602] ppid=21586 vsize=13982084 CPUtime=0.94 cores=0,2,4,6
/proc/21589/task/21602/stat : 21602 (java) S 21586 21589 5091 0 -1 1077944384 13762 0 0 0 92 2 0 0 20 0 15 0 11669515 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659787278320 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21603] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21603/stat : 21603 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659786226016 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21604] ppid=21586 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/21589/task/21604/stat : 21604 (java) S 21586 21589 5091 0 -1 1077944384 411 0 0 0 5 6 0 0 20 0 15 0 11669523 14317654016 172336 18446744073709551615 4194304 4196468 140735151520224 140659785174064 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
Current children cumulated CPU time (s) 230.42
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.006 s]
/proc/loadavg: 1.56 1.68 1.67 3/210 21688
/proc/meminfo: memFree=30484876/32770624 swapFree=0/204140
[pid=21589] ppid=21586 vsize=13982084 CPUtime=248.57 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 81750 0 0 0 24782 75 0 0 20 0 15 0 11669497 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3495521 171684 3802 1 0 3484303 0
[pid=21589/tid=21591] ppid=21586 vsize=13982084 CPUtime=238.11 cores=0,2,4,6
/proc/21589/task/21591/stat : 21591 (java) R 21586 21589 5091 0 -1 4202560 31050 0 0 0 23790 21 0 0 20 0 15 0 11669509 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140660251523232 140659869195320 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21592] ppid=21586 vsize=13982084 CPUtime=1.32 cores=0,2,4,6
/proc/21589/task/21592/stat : 21592 (java) S 21586 21589 5091 0 -1 1077944384 1678 0 0 0 122 10 0 0 20 0 15 0 11669510 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140660181719568 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21593] ppid=21586 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/21589/task/21593/stat : 21593 (java) S 21586 21589 5091 0 -1 1077944384 1817 0 0 0 121 10 0 0 20 0 15 0 11669510 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140660180667024 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21594] ppid=21586 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/21589/task/21594/stat : 21594 (java) S 21586 21589 5091 0 -1 1077944384 4238 0 0 0 121 10 0 0 20 0 15 0 11669510 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659845150992 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21595] ppid=21586 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/21589/task/21595/stat : 21595 (java) S 21586 21589 5091 0 -1 1077944384 3194 0 0 0 121 10 0 0 20 0 15 0 11669510 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659844098448 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21596] ppid=21586 vsize=13982084 CPUtime=0.21 cores=0,2,4,6
/proc/21589/task/21596/stat : 21596 (java) S 21586 21589 5091 0 -1 1077944384 1998 0 0 0 17 4 0 0 20 0 15 0 11669511 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659793595120 140660247296642 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21597] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21597/stat : 21597 (java) S 21586 21589 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659792541408 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21598] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21598/stat : 21598 (java) S 21586 21589 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659791488256 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21599] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21599/stat : 21599 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659790436816 140660247304091 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21600] ppid=21586 vsize=13982084 CPUtime=1.94 cores=0,2,4,6
/proc/21589/task/21600/stat : 21600 (java) S 21586 21589 5091 0 -1 1077944384 12220 0 0 0 192 2 0 0 20 0 15 0 11669515 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659789383920 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21601] ppid=21586 vsize=13982084 CPUtime=1.92 cores=0,2,4,6
/proc/21589/task/21601/stat : 21601 (java) S 21586 21589 5091 0 -1 1077944384 9986 0 0 0 191 1 0 0 20 0 15 0 11669515 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659788331376 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21602] ppid=21586 vsize=13982084 CPUtime=0.94 cores=0,2,4,6
/proc/21589/task/21602/stat : 21602 (java) S 21586 21589 5091 0 -1 1077944384 13762 0 0 0 92 2 0 0 20 0 15 0 11669515 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659787278320 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21603] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21603/stat : 21603 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659786226016 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21604] ppid=21586 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/21589/task/21604/stat : 21604 (java) S 21586 21589 5091 0 -1 1077944384 416 0 0 0 6 6 0 0 20 0 15 0 11669523 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659785174064 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
Current children cumulated CPU time (s) 248.57
Current children cumulated vsize (KiB) 13982084

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 21589 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.006 s]
/proc/loadavg: 1.56 1.68 1.67 3/210 21688
/proc/meminfo: memFree=30484876/32770624 swapFree=0/204140
[pid=21589] ppid=21586 vsize=13982084 CPUtime=248.57 cores=0,2,4,6
/proc/21589/stat : 21589 (java) S 21586 21589 5091 0 -1 1077944320 81750 0 0 0 24782 75 0 0 20 0 15 0 11669497 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140735151502768 140660247285495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
/proc/21589/statm: 3495521 171684 3802 1 0 3484303 0
[pid=21589/tid=21591] ppid=21586 vsize=13982084 CPUtime=238.11 cores=0,2,4,6
/proc/21589/task/21591/stat : 21591 (java) R 21586 21589 5091 0 -1 4202560 31050 0 0 0 23790 21 0 0 20 0 15 0 11669509 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140660251523232 140659869195320 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21592] ppid=21586 vsize=13982084 CPUtime=1.32 cores=0,2,4,6
/proc/21589/task/21592/stat : 21592 (java) S 21586 21589 5091 0 -1 1077944384 1678 0 0 0 122 10 0 0 20 0 15 0 11669510 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140660181719568 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21593] ppid=21586 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/21589/task/21593/stat : 21593 (java) S 21586 21589 5091 0 -1 1077944384 1817 0 0 0 121 10 0 0 20 0 15 0 11669510 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140660180667024 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21594] ppid=21586 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/21589/task/21594/stat : 21594 (java) S 21586 21589 5091 0 -1 1077944384 4238 0 0 0 121 10 0 0 20 0 15 0 11669510 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659845150992 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21595] ppid=21586 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/21589/task/21595/stat : 21595 (java) S 21586 21589 5091 0 -1 1077944384 3194 0 0 0 121 10 0 0 20 0 15 0 11669510 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659844098448 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21596] ppid=21586 vsize=13982084 CPUtime=0.21 cores=0,2,4,6
/proc/21589/task/21596/stat : 21596 (java) S 21586 21589 5091 0 -1 1077944384 1998 0 0 0 17 4 0 0 20 0 15 0 11669511 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659793595120 140660247296642 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21597] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21597/stat : 21597 (java) S 21586 21589 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659792541408 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21598] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21598/stat : 21598 (java) S 21586 21589 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 11669512 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659791488256 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21599] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21599/stat : 21599 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659790436816 140660247304091 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21600] ppid=21586 vsize=13982084 CPUtime=1.94 cores=0,2,4,6
/proc/21589/task/21600/stat : 21600 (java) S 21586 21589 5091 0 -1 1077944384 12220 0 0 0 192 2 0 0 20 0 15 0 11669515 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659789383920 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21601] ppid=21586 vsize=13982084 CPUtime=1.92 cores=0,2,4,6
/proc/21589/task/21601/stat : 21601 (java) S 21586 21589 5091 0 -1 1077944384 9986 0 0 0 191 1 0 0 20 0 15 0 11669515 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659788331376 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21602] ppid=21586 vsize=13982084 CPUtime=0.94 cores=0,2,4,6
/proc/21589/task/21602/stat : 21602 (java) S 21586 21589 5091 0 -1 1077944384 13762 0 0 0 92 2 0 0 20 0 15 0 11669515 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659787278320 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21603] ppid=21586 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/21589/task/21603/stat : 21603 (java) S 21586 21589 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11669515 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659786226016 140660247295701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
[pid=21589/tid=21604] ppid=21586 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/21589/task/21604/stat : 21604 (java) S 21586 21589 5091 0 -1 1077944384 416 0 0 0 6 6 0 0 20 0 15 0 11669523 14317654016 171684 18446744073709551615 4194304 4196468 140735151520224 140659785174064 140660247296642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18272256 140735151522199 140735151522379 140735151522379 140735151525839 0
Current children cumulated CPU time (s) 248.57
Current children cumulated vsize (KiB) 13982084

Child status: 143
Real time (s): 240.038
CPU time (s): 248.629
CPU user time (s): 247.859
CPU system time (s): 0.769901
CPU usage (%): 103.579
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.859
system time used= 0.769901
maximum resident set size= 1170132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13425
involuntary context switches= 503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05965 second user time and 1.42836 second system time

The end

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	251.895
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 4255865

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