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)	1072	255.439	240.04201

0.31/0.43	c version: 2017-07-26
0.31/0.43	c seed: 1453462725
0.31/0.43	c timeout: 264
0.31/0.43	c memlimit: 11000
0.31/0.43	c nbcore: 4
0.31/0.46	c Parsing instance...
6.61/2.93	c Parsing done, starting search...
26.61/20.95	o 1080
132.68/120.83	o 1075
156.27/143.83	o 1074
169.24/156.23	o 1073
198.48/184.73	o 1072
255.37/240.00	s SATISFIABLE
255.37/240.01	v <instantiation>
255.37/240.01	v 	<list>
255.37/240.01	v 		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[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] 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[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] 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[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] 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[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] 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[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] 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[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] 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[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] 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[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] 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[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] 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[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] 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[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] 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[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] 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[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] 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[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] 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[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] 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[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] 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[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] 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[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] 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[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] 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[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] 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[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] 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[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] 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[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] 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[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] 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[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] 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[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] 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[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] 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[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46]
255.37/240.01	v 	</list>
255.37/240.01	v 	<values>
255.37/240.01	v 		1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1072 1036 1071 1038 1039 1040 1071 1071 1043 1044 1045 1071 1071 1071 1071 1050 1071 1052 1053 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1038 1039 1040 1071 1071 1043 1044 1045 1071 1047 1071 1071 1050 1071 1052 1053 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1038 1039 1040 1070 1070 1043 1044 1045 1070 1070 1070 1070 1050 1070 1052 1053 1054 1055 1056 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1070 1039 1040 1071 1071 1043 1044 1045 1071 1047 1071 1071 1050 1071 1052 1053 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1040 1071 1071 1043 1044 1045 1071 1071 1071 1071 1050 1071 1052 1053 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1043 1044 1045 1071 1047 1071 1071 1050 1071 1052 1053 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1069 1043 1044 1045 1069 1047 1069 1069 1050 1069 1052 1053 1054 1055 1056 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1043 1044 1045 1068 1069 1068 1068 1050 1068 1052 1053 1054 1055 1056 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1068 1044 1045 1071 1071 1071 1071 1050 1071 1052 1053 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1045 1071 1071 1071 1071 1050 1071 1052 1053 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1047 1071 1071 1050 1071 1052 1053 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1069 1067 1067 1050 1067 1052 1053 1054 1055 1056 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1067 1069 1069 1050 1069 1052 1053 1054 1055 1056 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1069 1066 1050 1066 1052 1053 1054 1055 1056 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1066 1050 1065 1052 1053 1054 1055 1056 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1065 1071 1052 1053 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1052 1053 1054 1055 1056 1064 1064 1064 1064 1064 1064 1064 1064 1064 1063 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1053 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1054 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1055 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1056 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1071 1063 1063 1063 1063 1063 1063 1063 1063 1064 1062 1061 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1064 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1061 1061 1061 1061 1061 1061 1064 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1060 1060 1060 1060 1060 1064 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1059 1059 1059 1059 1064 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1058 1058 1058 1064 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1057 1057 1064 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1056 1064 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1064 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1063 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1062 1061 1060 1059 1058 1058 1058 1058 1058 1058 1058 1058 1058 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1062 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1060 1060 1060 1060 1060 1060 1060 1060 1060 1059 1059 1059 1059 1059 1059 1059 1059 1059 1057 1057 1057 1057 1057 1057 1057 1057 1056 1055 1055 1055 1055 1055 1055 1056 1056 1056 1056 1056 1056 2 2 2 2 2 3 3 3 3 1054 1054 1054 5 5 6 
255.37/240.01	v 	</values>
255.37/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-4255724-1501991405/watcher-4255724-1501991405 -o /tmp/evaluation-result-4255724-1501991405/solver-4255724-1501991405 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node126-1501979806-2840 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1453462725 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255724-1501991405.xml 

pid=10784
running on 4 cores: 1,3,5,7

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.79 1.74 1.70 3/194 10787
/proc/meminfo: memFree=27809168/32770624 swapFree=0/295004
[pid=10787] ppid=10784 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10787/stat : 10787 (runsolver) D 10784 10787 2453 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 1336333 24240128 106 18446744073709551615 4194304 4338465 140721701230384 140721701228024 140115614667479 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 16830464 140721701232758 140721701233231 140721701233231 140721701236682 0
/proc/10787/statm: 5918 106 53 36 0 2156 0

[startup+0.100158 s]
/proc/loadavg: 1.79 1.74 1.70 3/194 10787
/proc/meminfo: memFree=27809168/32770624 swapFree=0/295004
[pid=10787] ppid=10784 vsize=13358552 CPUtime=0 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 2855 0 0 0 0 0 0 0 20 0 6 0 1336333 13679157248 3042 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3339638 3042 1473 1 0 3329135 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13358552

[startup+0.200292 s]
/proc/loadavg: 1.79 1.74 1.70 3/194 10787
/proc/meminfo: memFree=27809168/32770624 swapFree=0/295004
[pid=10787] ppid=10784 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 4684 0 0 0 4 1 0 0 20 0 14 0 1336333 14240239616 5231 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3476621 5231 2575 1 0 3466118 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.300242 s]
/proc/loadavg: 1.79 1.74 1.70 3/194 10787
/proc/meminfo: memFree=27809168/32770624 swapFree=0/295004
[pid=10787] ppid=10784 vsize=13975920 CPUtime=0.14 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 9203 0 0 0 12 2 0 0 20 0 15 0 1336333 14311342080 8704 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3493980 8704 3387 1 0 3482759 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13975920

[startup+0.701996 s]
/proc/loadavg: 1.79 1.74 1.70 3/194 10787
/proc/meminfo: memFree=27809168/32770624 swapFree=0/295004
[pid=10787] ppid=10784 vsize=13977988 CPUtime=1 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 14069 0 0 0 95 5 0 0 20 0 15 0 1336333 14313459712 20965 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3494497 20965 3733 1 0 3483271 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13977988

[startup+1.50394 s]
/proc/loadavg: 1.79 1.74 1.70 5/209 10802
/proc/meminfo: memFree=27601152/32770624 swapFree=0/295056
[pid=10787] ppid=10784 vsize=13977988 CPUtime=3.68 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 17701 0 0 0 359 9 0 0 20 0 15 0 1336333 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3494497 54092 3787 1 0 3483271 0
[pid=10787/tid=10789] ppid=10784 vsize=13977988 CPUtime=1.26 cores=1,3,5,7
/proc/10787/task/10789/stat : 10789 (java) R 10784 10787 2453 0 -1 4202560 10234 0 0 0 121 5 0 0 20 0 15 0 1336342 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140226420392992 140226058675998 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10790] ppid=10784 vsize=13977988 CPUtime=0.01 cores=1,3,5,7
/proc/10787/task/10790/stat : 10790 (java) S 10784 10787 2453 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 1336342 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140226016045840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10791] ppid=10784 vsize=13977988 CPUtime=0.01 cores=1,3,5,7
/proc/10787/task/10791/stat : 10791 (java) S 10784 10787 2453 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 1336342 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140226014993296 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10792] ppid=10784 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10792/stat : 10792 (java) S 10784 10787 2453 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 1336342 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140226013940752 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10793] ppid=10784 vsize=13977988 CPUtime=0.01 cores=1,3,5,7
/proc/10787/task/10793/stat : 10793 (java) S 10784 10787 2453 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 15 0 1336342 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140226012888208 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10794] ppid=10784 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10794/stat : 10794 (java) S 10784 10787 2453 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 1336344 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140225895405552 140226416171650 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10795] ppid=10784 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10795/stat : 10795 (java) S 10784 10787 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1336344 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140225894351776 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10796] ppid=10784 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10796/stat : 10796 (java) S 10784 10787 2453 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 1336344 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140225893299184 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10797] ppid=10784 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10797/stat : 10797 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140225892247760 140226416179099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10798] ppid=10784 vsize=13977988 CPUtime=0.89 cores=1,3,5,7
/proc/10787/task/10798/stat : 10798 (java) R 10784 10787 2453 0 -1 4202560 2117 0 0 0 89 0 0 0 20 0 15 0 1336347 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140225891179776 140226399657291 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10799] ppid=10784 vsize=13977988 CPUtime=0.9 cores=1,3,5,7
/proc/10787/task/10799/stat : 10799 (java) R 10784 10787 2453 0 -1 4202560 1841 0 0 0 90 0 0 0 20 0 15 0 1336347 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140225890142832 140226402184392 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10800] ppid=10784 vsize=13977988 CPUtime=0.51 cores=1,3,5,7
/proc/10787/task/10800/stat : 10800 (java) S 10784 10787 2453 0 -1 1077944384 1962 0 0 0 51 0 0 0 20 0 15 0 1336347 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140225889090288 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10801] ppid=10784 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10801/stat : 10801 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140225888037984 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10802] ppid=10784 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10802/stat : 10802 (java) S 10784 10787 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 1336356 14313459712 54092 18446744073709551615 4194304 4196468 140730390885424 140225886984496 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13977988

[startup+3.10074 s]
/proc/loadavg: 1.79 1.74 1.70 6/209 10802
/proc/meminfo: memFree=27468572/32770624 swapFree=0/295056
[pid=10787] ppid=10784 vsize=13982084 CPUtime=7.25 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 26963 0 0 0 703 22 0 0 20 0 15 0 1336333 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3495521 107972 3803 1 0 3484295 0
[pid=10787/tid=10789] ppid=10784 vsize=13982084 CPUtime=2.28 cores=1,3,5,7
/proc/10787/task/10789/stat : 10789 (java) R 10784 10787 2453 0 -1 4202560 13036 0 0 0 219 9 0 0 20 0 15 0 1336342 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140226420397792 140226394155872 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10790] ppid=10784 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/10787/task/10790/stat : 10790 (java) S 10784 10787 2453 0 -1 1077944384 146 0 0 0 6 2 0 0 20 0 15 0 1336342 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140226016045840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10791] ppid=10784 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/10787/task/10791/stat : 10791 (java) S 10784 10787 2453 0 -1 1077944384 111 0 0 0 5 2 0 0 20 0 15 0 1336342 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140226014993296 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10792] ppid=10784 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/10787/task/10792/stat : 10792 (java) S 10784 10787 2453 0 -1 1077944384 137 0 0 0 4 1 0 0 20 0 15 0 1336342 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140226013940752 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10793] ppid=10784 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/10787/task/10793/stat : 10793 (java) S 10784 10787 2453 0 -1 1077944384 189 0 0 0 5 2 0 0 20 0 15 0 1336342 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140226012888208 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10794] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10794/stat : 10794 (java) S 10784 10787 2453 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140225895405552 140226416171650 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10795] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10795/stat : 10795 (java) S 10784 10787 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140225894351840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10796] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10796/stat : 10796 (java) S 10784 10787 2453 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140225893299200 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10797] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10797/stat : 10797 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140225892247760 140226416179099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10798] ppid=10784 vsize=13982084 CPUtime=1.91 cores=1,3,5,7
/proc/10787/task/10798/stat : 10798 (java) R 10784 10787 2453 0 -1 4202560 3564 0 0 0 191 0 0 0 20 0 15 0 1336347 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140225891195504 140226401055799 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10799] ppid=10784 vsize=13982084 CPUtime=1.92 cores=1,3,5,7
/proc/10787/task/10799/stat : 10799 (java) R 10784 10787 2453 0 -1 4202560 4178 0 0 0 192 0 0 0 20 0 15 0 1336347 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140225890122624 140226395820877 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10800] ppid=10784 vsize=13982084 CPUtime=0.76 cores=1,3,5,7
/proc/10787/task/10800/stat : 10800 (java) S 10784 10787 2453 0 -1 1077944384 4018 0 0 0 75 1 0 0 20 0 15 0 1336347 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140225889090288 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10801] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10801/stat : 10801 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140225888037984 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10802] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10802/stat : 10802 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336356 14317654016 107972 18446744073709551615 4194304 4196468 140730390885424 140225886984496 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 13982084

[startup+6.30065 s]
/proc/loadavg: 1.72 1.72 1.69 6/209 10802
/proc/meminfo: memFree=26519500/32770624 swapFree=0/295068
[pid=10787] ppid=10784 vsize=13982084 CPUtime=11.5 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 31885 0 0 0 1101 49 0 0 20 0 15 0 1336333 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3495521 361848 3803 1 0 3484295 0
[pid=10787/tid=10789] ppid=10784 vsize=13982084 CPUtime=5.26 cores=1,3,5,7
/proc/10787/task/10789/stat : 10789 (java) R 10784 10787 2453 0 -1 4202560 15567 0 0 0 504 22 0 0 20 0 15 0 1336342 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140226420396776 140226067165990 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10790] ppid=10784 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/10787/task/10790/stat : 10790 (java) S 10784 10787 2453 0 -1 1077944384 346 0 0 0 23 6 0 0 20 0 15 0 1336342 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140226016045840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10791] ppid=10784 vsize=13982084 CPUtime=0.27 cores=1,3,5,7
/proc/10787/task/10791/stat : 10791 (java) S 10784 10787 2453 0 -1 1077944384 272 0 0 0 22 5 0 0 20 0 15 0 1336342 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140226014993296 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10792] ppid=10784 vsize=13982084 CPUtime=0.23 cores=1,3,5,7
/proc/10787/task/10792/stat : 10792 (java) S 10784 10787 2453 0 -1 1077944384 323 0 0 0 18 5 0 0 20 0 15 0 1336342 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140226013940752 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10793] ppid=10784 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/10787/task/10793/stat : 10793 (java) S 10784 10787 2453 0 -1 1077944384 355 0 0 0 23 6 0 0 20 0 15 0 1336342 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140226012888208 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10794] ppid=10784 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/10787/task/10794/stat : 10794 (java) S 10784 10787 2453 0 -1 1077944384 1015 0 0 0 1 0 0 0 20 0 15 0 1336344 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140225895405552 140226416171650 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10795] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10795/stat : 10795 (java) S 10784 10787 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140225894351840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10796] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10796/stat : 10796 (java) S 10784 10787 2453 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140225893299200 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10797] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10797/stat : 10797 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140225892247760 140226416179099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10798] ppid=10784 vsize=13982084 CPUtime=2.09 cores=1,3,5,7
/proc/10787/task/10798/stat : 10798 (java) S 10784 10787 2453 0 -1 1077944384 3782 0 0 0 209 0 0 0 20 0 15 0 1336347 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140225891195376 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10799] ppid=10784 vsize=13982084 CPUtime=2.2 cores=1,3,5,7
/proc/10787/task/10799/stat : 10799 (java) S 10784 10787 2453 0 -1 1077944384 4832 0 0 0 220 0 0 0 20 0 15 0 1336347 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140225890142832 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10800] ppid=10784 vsize=13982084 CPUtime=0.77 cores=1,3,5,7
/proc/10787/task/10800/stat : 10800 (java) S 10784 10787 2453 0 -1 1077944384 4022 0 0 0 76 1 0 0 20 0 15 0 1336347 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140225889090288 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10801] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10801/stat : 10801 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140225888037984 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10802] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10802/stat : 10802 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336356 14317654016 361848 18446744073709551615 4194304 4196468 140730390885424 140225886984496 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
Current children cumulated CPU time (s) 11.5
Current children cumulated vsize (KiB) 13982084

[startup+12.701 s]
/proc/loadavg: 1.75 1.73 1.69 3/209 10802
/proc/meminfo: memFree=24247540/32770624 swapFree=0/295072
[pid=10787] ppid=10784 vsize=13982084 CPUtime=18.21 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 34878 0 0 0 1737 84 0 0 20 0 15 0 1336333 14317654016 887250 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3495521 887250 3803 1 0 3484295 0
[pid=10787/tid=10789] ppid=10784 vsize=13982084 CPUtime=11.57 cores=1,3,5,7
/proc/10787/task/10789/stat : 10789 (java) R 10784 10787 2453 0 -1 4202560 17004 0 0 0 1105 52 0 0 20 0 15 0 1336342 14317654016 887250 18446744073709551615 4194304 4196468 140730390885424 140226420398816 140226067165893 0 4 1 16800974 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10790] ppid=10784 vsize=13982084 CPUtime=0.37 cores=1,3,5,7
/proc/10787/task/10790/stat : 10790 (java) S 10784 10787 2453 0 -1 1077944384 671 0 0 0 30 7 0 0 20 0 15 0 1336342 14317654016 887250 18446744073709551615 4194304 4196468 140730390885424 140226016045840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10791] ppid=10784 vsize=13982084 CPUtime=0.34 cores=1,3,5,7
/proc/10787/task/10791/stat : 10791 (java) S 10784 10787 2453 0 -1 1077944384 458 0 0 0 28 6 0 0 20 0 15 0 1336342 14317654016 887250 18446744073709551615 4194304 4196468 140730390885424 140226014993296 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10792] ppid=10784 vsize=13982084 CPUtime=0.3 cores=1,3,5,7
/proc/10787/task/10792/stat : 10792 (java) S 10784 10787 2453 0 -1 1077944384 374 0 0 0 24 6 0 0 20 0 15 0 1336342 14317654016 887250 18446744073709551615 4194304 4196468 140730390885424 140226013940752 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10793] ppid=10784 vsize=13982084 CPUtime=0.37 cores=1,3,5,7
/proc/10787/task/10793/stat : 10793 (java) S 10784 10787 2453 0 -1 1077944384 573 0 0 0 30 7 0 0 20 0 15 0 1336342 14317654016 887250 18446744073709551615 4194304 4196468 140730390885424 140226012888208 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10794] ppid=10784 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/10787/task/10794/stat : 10794 (java) S 10784 10787 2453 0 -1 1077944384 1776 0 0 0 1 0 0 0 20 0 15 0 1336344 14317654016 887250 18446744073709551615 4194304 4196468 140730390885424 140225895405552 140226416171650 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10795] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10795/stat : 10795 (java) S 10784 10787 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 887250 18446744073709551615 4194304 4196468 140730390885424 140225894351840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10796] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10796/stat : 10796 (java) S 10784 10787 2453 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 887250 18446744073709551615 4194304 4196468 140730390885424 140225893299200 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10797] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10797/stat : 10797 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 887250 18446744073709551615 4194304 4196468 140730390885424 140225892247760 140226416179099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0

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

/proc/10787/task/10801/stat : 10801 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 996876 18446744073709551615 4194304 4196468 140730390885424 140225888037984 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10802] ppid=10784 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/10787/task/10802/stat : 10802 (java) S 10784 10787 2453 0 -1 1077944384 81 0 0 0 1 2 0 0 20 0 15 0 1336356 14317654016 996876 18446744073709551615 4194304 4196468 140730390885424 140225886984496 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
Current children cumulated CPU time (s) 59.35
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.72 1.70 1.69 3/209 10805
/proc/meminfo: memFree=23733400/32770624 swapFree=0/295148
[pid=10787] ppid=10784 vsize=13982084 CPUtime=113.16 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 68560 0 0 0 11200 116 0 0 20 0 15 0 1336333 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3495521 1009949 3810 1 0 3484295 0
[pid=10787/tid=10789] ppid=10784 vsize=13982084 CPUtime=99.85 cores=1,3,5,7
/proc/10787/task/10789/stat : 10789 (java) R 10784 10787 2453 0 -1 4202560 32939 0 0 0 9925 60 0 0 20 0 15 0 1336342 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140226420397152 140226068225351 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10790] ppid=10784 vsize=13982084 CPUtime=1.65 cores=1,3,5,7
/proc/10787/task/10790/stat : 10790 (java) S 10784 10787 2453 0 -1 1077944384 1978 0 0 0 153 12 0 0 20 0 15 0 1336342 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140226016045840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10791] ppid=10784 vsize=13982084 CPUtime=1.62 cores=1,3,5,7
/proc/10787/task/10791/stat : 10791 (java) S 10784 10787 2453 0 -1 1077944384 1372 0 0 0 152 10 0 0 20 0 15 0 1336342 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140226014993296 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10792] ppid=10784 vsize=13982084 CPUtime=1.58 cores=1,3,5,7
/proc/10787/task/10792/stat : 10792 (java) S 10784 10787 2453 0 -1 1077944384 1432 0 0 0 147 11 0 0 20 0 15 0 1336342 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140226013940752 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10793] ppid=10784 vsize=13982084 CPUtime=1.64 cores=1,3,5,7
/proc/10787/task/10793/stat : 10793 (java) S 10784 10787 2453 0 -1 1077944384 2066 0 0 0 152 12 0 0 20 0 15 0 1336342 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140226012888208 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10794] ppid=10784 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/10787/task/10794/stat : 10794 (java) S 10784 10787 2453 0 -1 1077944384 2520 0 0 0 4 1 0 0 20 0 15 0 1336344 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140225895405552 140226416171650 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10795] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10795/stat : 10795 (java) S 10784 10787 2453 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140225894351840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10796] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10796/stat : 10796 (java) S 10784 10787 2453 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140225893299200 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10797] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10797/stat : 10797 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140225892247760 140226416179099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10798] ppid=10784 vsize=13982084 CPUtime=2.75 cores=1,3,5,7
/proc/10787/task/10798/stat : 10798 (java) S 10784 10787 2453 0 -1 1077944384 6780 0 0 0 274 1 0 0 20 0 15 0 1336347 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140225891195376 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10799] ppid=10784 vsize=13982084 CPUtime=2.85 cores=1,3,5,7
/proc/10787/task/10799/stat : 10799 (java) S 10784 10787 2453 0 -1 1077944384 9124 0 0 0 284 1 0 0 20 0 15 0 1336347 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140225890142832 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10800] ppid=10784 vsize=13982084 CPUtime=1.02 cores=1,3,5,7
/proc/10787/task/10800/stat : 10800 (java) S 10784 10787 2453 0 -1 1077944384 8810 0 0 0 100 2 0 0 20 0 15 0 1336347 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140225889090288 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10801] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10801/stat : 10801 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140225888037984 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10802] ppid=10784 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/10787/task/10802/stat : 10802 (java) S 10784 10787 2453 0 -1 1077944384 156 0 0 0 2 4 0 0 20 0 15 0 1336356 14317654016 1009949 18446744073709551615 4194304 4196468 140730390885424 140225886984496 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
Current children cumulated CPU time (s) 113.16
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.75 1.71 1.69 3/209 10807
/proc/meminfo: memFree=23961520/32770624 swapFree=0/295192
[pid=10787] ppid=10784 vsize=13982084 CPUtime=175.55 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 80999 0 0 0 17432 123 0 0 20 0 15 0 1336333 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3495521 1000838 3812 1 0 3484295 0
[pid=10787/tid=10789] ppid=10784 vsize=13982084 CPUtime=159.19 cores=1,3,5,7
/proc/10787/task/10789/stat : 10789 (java) R 10784 10787 2453 0 -1 4202560 38241 0 0 0 15858 61 0 0 20 0 15 0 1336342 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140226420398176 140226067660106 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10790] ppid=10784 vsize=13982084 CPUtime=2.29 cores=1,3,5,7
/proc/10787/task/10790/stat : 10790 (java) S 10784 10787 2453 0 -1 1077944384 2674 0 0 0 216 13 0 0 20 0 15 0 1336342 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140226016045840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10791] ppid=10784 vsize=13982084 CPUtime=2.25 cores=1,3,5,7
/proc/10787/task/10791/stat : 10791 (java) S 10784 10787 2453 0 -1 1077944384 1510 0 0 0 214 11 0 0 20 0 15 0 1336342 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140226014993296 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10792] ppid=10784 vsize=13982084 CPUtime=2.22 cores=1,3,5,7
/proc/10787/task/10792/stat : 10792 (java) S 10784 10787 2453 0 -1 1077944384 1586 0 0 0 210 12 0 0 20 0 15 0 1336342 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140226013940752 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10793] ppid=10784 vsize=13982084 CPUtime=2.27 cores=1,3,5,7
/proc/10787/task/10793/stat : 10793 (java) S 10784 10787 2453 0 -1 1077944384 2587 0 0 0 214 13 0 0 20 0 15 0 1336342 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140226012888208 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10794] ppid=10784 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/10787/task/10794/stat : 10794 (java) S 10784 10787 2453 0 -1 1077944384 2798 0 0 0 5 1 0 0 20 0 15 0 1336344 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140225895405552 140226416171650 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10795] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10795/stat : 10795 (java) S 10784 10787 2453 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140225894351840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10796] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10796/stat : 10796 (java) S 10784 10787 2453 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140225893299200 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10797] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10797/stat : 10797 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140225892247760 140226416179099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10798] ppid=10784 vsize=13982084 CPUtime=3.05 cores=1,3,5,7
/proc/10787/task/10798/stat : 10798 (java) S 10784 10787 2453 0 -1 1077944384 10145 0 0 0 304 1 0 0 20 0 15 0 1336347 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140225891195376 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10799] ppid=10784 vsize=13982084 CPUtime=2.95 cores=1,3,5,7
/proc/10787/task/10799/stat : 10799 (java) S 10784 10787 2453 0 -1 1077944384 9570 0 0 0 294 1 0 0 20 0 15 0 1336347 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140225890142832 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10800] ppid=10784 vsize=13982084 CPUtime=1.07 cores=1,3,5,7
/proc/10787/task/10800/stat : 10800 (java) S 10784 10787 2453 0 -1 1077944384 10312 0 0 0 105 2 0 0 20 0 15 0 1336347 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140225889090288 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10801] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10801/stat : 10801 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140225888037984 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10802] ppid=10784 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/10787/task/10802/stat : 10802 (java) S 10784 10787 2453 0 -1 1077944384 185 0 0 0 4 5 0 0 20 0 15 0 1336356 14317654016 1000838 18446744073709551615 4194304 4196468 140730390885424 140225886984496 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
Current children cumulated CPU time (s) 175.55
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.34 1.62 1.66 3/209 10886
/proc/meminfo: memFree=24262488/32770624 swapFree=0/295300
[pid=10787] ppid=10784 vsize=13982084 CPUtime=237.17 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 87719 0 0 0 23584 133 0 0 20 0 15 0 1336333 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3495521 982876 3812 1 0 3484295 0
[pid=10787/tid=10789] ppid=10784 vsize=13982084 CPUtime=218.64 cores=1,3,5,7
/proc/10787/task/10789/stat : 10789 (java) R 10784 10787 2453 0 -1 4202560 42829 0 0 0 21802 62 0 0 20 0 15 0 1336342 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140226420398288 140226059245581 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10790] ppid=10784 vsize=13982084 CPUtime=2.81 cores=1,3,5,7
/proc/10787/task/10790/stat : 10790 (java) S 10784 10787 2453 0 -1 1077944384 2853 0 0 0 267 14 0 0 20 0 15 0 1336342 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140226016045840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10791] ppid=10784 vsize=13982084 CPUtime=2.79 cores=1,3,5,7
/proc/10787/task/10791/stat : 10791 (java) S 10784 10787 2453 0 -1 1077944384 1655 0 0 0 266 13 0 0 20 0 15 0 1336342 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140226014993296 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10792] ppid=10784 vsize=13982084 CPUtime=2.75 cores=1,3,5,7
/proc/10787/task/10792/stat : 10792 (java) S 10784 10787 2453 0 -1 1077944384 2245 0 0 0 261 14 0 0 20 0 15 0 1336342 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140226013940752 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10793] ppid=10784 vsize=13982084 CPUtime=2.79 cores=1,3,5,7
/proc/10787/task/10793/stat : 10793 (java) S 10784 10787 2453 0 -1 1077944384 3189 0 0 0 265 14 0 0 20 0 15 0 1336342 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140226012888208 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10794] ppid=10784 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/10787/task/10794/stat : 10794 (java) S 10784 10787 2453 0 -1 1077944384 3054 0 0 0 6 2 0 0 20 0 15 0 1336344 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140225895405552 140226416171650 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10795] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10795/stat : 10795 (java) S 10784 10787 2453 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140225894351840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10796] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10796/stat : 10796 (java) S 10784 10787 2453 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140225893299200 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10797] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10797/stat : 10797 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140225892247760 140226416179099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10798] ppid=10784 vsize=13982084 CPUtime=3.05 cores=1,3,5,7
/proc/10787/task/10798/stat : 10798 (java) S 10784 10787 2453 0 -1 1077944384 10200 0 0 0 304 1 0 0 20 0 15 0 1336347 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140225891195376 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10799] ppid=10784 vsize=13982084 CPUtime=2.96 cores=1,3,5,7
/proc/10787/task/10799/stat : 10799 (java) S 10784 10787 2453 0 -1 1077944384 9780 0 0 0 295 1 0 0 20 0 15 0 1336347 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140225890142832 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10800] ppid=10784 vsize=13982084 CPUtime=1.07 cores=1,3,5,7
/proc/10787/task/10800/stat : 10800 (java) S 10784 10787 2453 0 -1 1077944384 10314 0 0 0 105 2 0 0 20 0 15 0 1336347 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140225889090288 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10801] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10801/stat : 10801 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140225888037984 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10802] ppid=10784 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/10787/task/10802/stat : 10802 (java) S 10784 10787 2453 0 -1 1077944384 209 0 0 0 5 8 0 0 20 0 15 0 1336356 14317654016 982876 18446744073709551615 4194304 4196468 140730390885424 140225886984496 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
Current children cumulated CPU time (s) 237.17
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.46 1.63 1.66 3/213 10901
/proc/meminfo: memFree=23875084/32770624 swapFree=0/295348
[pid=10787] ppid=10784 vsize=13982084 CPUtime=255.37 cores=1,3,5,7
/proc/10787/stat : 10787 (java) S 10784 10787 2453 0 -1 1077944320 91072 0 0 0 25398 139 0 0 20 0 15 0 1336333 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140730390867968 140226416160503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
/proc/10787/statm: 3495521 987559 3812 1 0 3484295 0
[pid=10787/tid=10789] ppid=10784 vsize=13982084 CPUtime=236.16 cores=1,3,5,7
/proc/10787/task/10789/stat : 10789 (java) R 10784 10787 2453 0 -1 4202560 45874 0 0 0 23553 63 0 0 20 0 15 0 1336342 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140226420398176 140226061933702 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10790] ppid=10784 vsize=13982084 CPUtime=2.98 cores=1,3,5,7
/proc/10787/task/10790/stat : 10790 (java) S 10784 10787 2453 0 -1 1077944384 2898 0 0 0 283 15 0 0 20 0 15 0 1336342 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140226016045840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10791] ppid=10784 vsize=13982084 CPUtime=2.95 cores=1,3,5,7
/proc/10787/task/10791/stat : 10791 (java) S 10784 10787 2453 0 -1 1077944384 1682 0 0 0 281 14 0 0 20 0 15 0 1336342 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140226014993296 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10792] ppid=10784 vsize=13982084 CPUtime=2.91 cores=1,3,5,7
/proc/10787/task/10792/stat : 10792 (java) S 10784 10787 2453 0 -1 1077944384 2268 0 0 0 276 15 0 0 20 0 15 0 1336342 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140226013940752 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10793] ppid=10784 vsize=13982084 CPUtime=2.96 cores=1,3,5,7
/proc/10787/task/10793/stat : 10793 (java) S 10784 10787 2453 0 -1 1077944384 3303 0 0 0 281 15 0 0 20 0 15 0 1336342 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140226012888208 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10794] ppid=10784 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/10787/task/10794/stat : 10794 (java) S 10784 10787 2453 0 -1 1077944384 3153 0 0 0 7 2 0 0 20 0 15 0 1336344 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140225895405552 140226416171650 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10795] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10795/stat : 10795 (java) S 10784 10787 2453 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140225894351840 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10796] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10796/stat : 10796 (java) S 10784 10787 2453 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 1336344 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140225893299200 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10797] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10797/stat : 10797 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140225892247760 140226416179099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10798] ppid=10784 vsize=13982084 CPUtime=3.06 cores=1,3,5,7
/proc/10787/task/10798/stat : 10798 (java) S 10784 10787 2453 0 -1 1077944384 10200 0 0 0 305 1 0 0 20 0 15 0 1336347 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140225891195376 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10799] ppid=10784 vsize=13982084 CPUtime=2.96 cores=1,3,5,7
/proc/10787/task/10799/stat : 10799 (java) S 10784 10787 2453 0 -1 1077944384 9780 0 0 0 295 1 0 0 20 0 15 0 1336347 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140225890142832 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10800] ppid=10784 vsize=13982084 CPUtime=1.07 cores=1,3,5,7
/proc/10787/task/10800/stat : 10800 (java) S 10784 10787 2453 0 -1 1077944384 10314 0 0 0 105 2 0 0 20 0 15 0 1336347 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140225889090288 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10801] ppid=10784 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/10787/task/10801/stat : 10801 (java) S 10784 10787 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1336347 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140225888037984 140226416170709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
[pid=10787/tid=10802] ppid=10784 vsize=13982084 CPUtime=0.15 cores=1,3,5,7
/proc/10787/task/10802/stat : 10802 (java) S 10784 10787 2453 0 -1 1077944384 209 0 0 0 6 9 0 0 20 0 15 0 1336356 14317654016 987559 18446744073709551615 4194304 4196468 140730390885424 140225886984496 140226416171650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 22466560 140730390888864 140730390889044 140730390889044 140730390892495 0
Current children cumulated CPU time (s) 255.37
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 10787 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.042
CPU time (s): 255.439
CPU user time (s): 254.022
CPU system time (s): 1.41699
CPU usage (%): 106.414
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.022
system time used= 1.41699
maximum resident set size= 4070032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10400
involuntary context switches= 376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14043 second user time and 1.41399 second system time

The end

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml
MD5SUM	b40b46819fbd3a38fcaaee2fdd389509
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	252.004
Satisfiable
(Un)Satisfiability was proved
Number of variables	2209
Number of constraints	16215
Number of domains	1
Minimum domain size	1081
Maximum domain size	1081
Distribution of domain sizes	[{"size":1081,"count":1081}]
Minimum variable degree	0
Maximum variable degree	46
Distribution of variable degrees	[{"degree":0,"count":1128},{"degree":46,"count":1081}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":16215}]
Number of extensional constraints	0
Number of intensional constraints	16215
Distribution of constraint types	[{"type":"intension","count":16215}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4255724

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