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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2017-07-26	SAT (TO)	1175	256.89499	240.032

0.22/0.40	c version: 2017-07-26
0.22/0.40	c seed: 945669589
0.22/0.40	c timeout: 264
0.22/0.40	c memlimit: 11000
0.22/0.40	c nbcore: 4
0.39/0.42	c Parsing instance...
6.60/2.45	c Parsing done, starting first complete search...
31.91/25.39	o 1175
35.15/28.18	c First complete search done, starting ALNS search...
223.92/208.02	c ALNS done, starting second complete search
256.83/240.00	s SATISFIABLE
256.83/240.01	v <instantiation>
256.83/240.01	v 	<list>
256.83/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[0][47] x[0][48] 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[1][47] x[1][48] 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[2][47] x[2][48] 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[3][47] x[3][48] 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[4][47] x[4][48] 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[5][47] x[5][48] 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[6][47] x[6][48] 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[7][47] x[7][48] 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[8][47] x[8][48] 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[9][47] x[9][48] 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[10][47] x[10][48] 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[11][47] x[11][48] 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[12][47] x[12][48] 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[13][47] x[13][48] 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[14][47] x[14][48] 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[15][47] x[15][48] 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[16][47] x[16][48] 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[17][47] x[17][48] 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[18][47] x[18][48] 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[19][47] x[19][48] 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[20][47] x[20][48] 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[21][47] x[21][48] 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[22][47] x[22][48] 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[23][47] x[23][48] 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[24][47] x[24][48] 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[25][47] x[25][48] 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[26][47] x[26][48] 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[27][47] x[27][48] 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[28][47] x[28][48] 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[29][47] x[29][48] 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[30][47] x[30][48] 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[31][47] x[31][48] 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[32][47] x[32][48] 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[33][47] x[33][48] 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[34][47] x[34][48] 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[35][47] x[35][48] 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[36][47] x[36][48] 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[37][47] x[37][48] 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[38][47] x[38][48] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[44][45] x[44][46] x[44][47] x[44][48] x[45][46] x[45][47] x[45][48] x[46][47] x[46][48] x[47][48]
256.83/240.01	v 	</list>
256.83/240.01	v 	<values>
256.83/240.01	v 		1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1175 1174 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1167 1168 1169 1170 1171 1172 1173 1174 1175 1168 1169 1170 1171 1172 1173 1174 1175 1169 1170 1171 1172 1173 1174 1175 1170 1171 1172 1173 1174 1175 1171 1172 1173 1174 1175 1172 1173 1174 1175 1173 1174 1175 1174 1175 1175 
256.83/240.01	v 	</values>
256.83/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-4256719-1501995767/watcher-4256719-1501995767 -o /tmp/evaluation-result-4256719-1501995767/solver-4256719-1501995767 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501986359-8059 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 945669589 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256719-1501995767.xml 

pid=15921
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.71 1.69 1.67 3/198 15924
/proc/meminfo: memFree=27484164/32770624 swapFree=0/297032
[pid=15924] ppid=15921 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15924/stat : 15924 (runsolver) D 15921 15924 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 47391953 24240128 107 18446744073709551615 4194304 4338465 140732728594864 140732728592504 139644000240343 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 19496960 140732728598642 140732728599116 140732728599116 140732728602570 0
/proc/15924/statm: 5918 107 54 36 0 2156 0

[startup+0.100452 s]
/proc/loadavg: 1.71 1.69 1.67 3/198 15924
/proc/meminfo: memFree=27484164/32770624 swapFree=0/297032
[pid=15924] ppid=15921 vsize=10648 CPUtime=0 cores=0,2,4,6
/proc/15924/stat : 15924 (java) R 15921 15924 30500 0 -1 1077944320 324 0 0 0 0 0 0 0 20 0 1 0 47391953 10903552 149 18446744073709551615 4194304 4196468 140730853428160 140730853406360 140263473306128 0 0 1 0 0 0 0 17 0 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 2662 149 119 1 0 84 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10648

[startup+0.20028 s]
/proc/loadavg: 1.71 1.69 1.67 3/198 15924
/proc/meminfo: memFree=27484164/32770624 swapFree=0/297032
[pid=15924] ppid=15921 vsize=13973048 CPUtime=0.05 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 4958 0 0 0 4 1 0 0 20 0 15 0 47391953 14308401152 5506 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3493262 5506 2585 1 0 3482759 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13973048

[startup+0.30353 s]
/proc/loadavg: 1.71 1.69 1.67 3/198 15924
/proc/meminfo: memFree=27484164/32770624 swapFree=0/297032
[pid=15924] ppid=15921 vsize=13976944 CPUtime=0.22 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 10106 0 0 0 19 3 0 0 20 0 15 0 47391953 14312390656 9866 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3494236 9866 3553 1 0 3483015 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 13976944

[startup+0.700219 s]
/proc/loadavg: 1.71 1.69 1.67 3/198 15924
/proc/meminfo: memFree=27484164/32770624 swapFree=0/297032
[pid=15924] ppid=15921 vsize=13977988 CPUtime=1.13 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 16088 0 0 0 108 5 0 0 20 0 15 0 47391953 14313459712 23876 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3494497 23876 3727 1 0 3483271 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 13977988

[startup+1.50072 s]
/proc/loadavg: 1.82 1.71 1.67 5/213 15939
/proc/meminfo: memFree=27283828/32770624 swapFree=0/297052
[pid=15924] ppid=15921 vsize=13977988 CPUtime=3.74 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 19316 0 0 0 364 10 0 0 20 0 15 0 47391953 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3494497 56212 3782 1 0 3483271 0
[pid=15924/tid=15926] ppid=15921 vsize=13977988 CPUtime=1.3 cores=0,2,4,6
/proc/15924/task/15926/stat : 15926 (java) R 15921 15924 30500 0 -1 4202560 10744 0 0 0 125 5 0 0 20 0 15 0 47391963 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140263484859952 140263466012323 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15927] ppid=15921 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15927/stat : 15927 (java) S 15921 15924 30500 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 47391964 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140263437593232 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15928] ppid=15921 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15928/stat : 15928 (java) S 15921 15924 30500 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 47391964 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140263436540432 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15929] ppid=15921 vsize=13977988 CPUtime=0.01 cores=0,2,4,6
/proc/15924/task/15929/stat : 15929 (java) S 15921 15924 30500 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 47391964 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140263435487632 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15930] ppid=15921 vsize=13977988 CPUtime=0.01 cores=0,2,4,6
/proc/15924/task/15930/stat : 15930 (java) S 15921 15924 30500 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 15 0 47391964 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140263434434832 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15931] ppid=15921 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15931/stat : 15931 (java) S 15921 15924 30500 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 47391965 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140262958414704 140263480638082 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15932] ppid=15921 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15932/stat : 15932 (java) S 15921 15924 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47391966 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140262957360672 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15933] ppid=15921 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15933/stat : 15933 (java) S 15921 15924 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 47391966 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140262956307824 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15934] ppid=15921 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15934/stat : 15934 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391968 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140262955256144 140263480645531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15935] ppid=15921 vsize=13977988 CPUtime=0.9 cores=0,2,4,6
/proc/15924/task/15935/stat : 15935 (java) R 15921 15924 30500 0 -1 4202560 2454 0 0 0 90 0 0 0 20 0 15 0 47391968 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140262954195520 140263459928464 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15936] ppid=15921 vsize=13977988 CPUtime=0.87 cores=0,2,4,6
/proc/15924/task/15936/stat : 15936 (java) R 15921 15924 30500 0 -1 4202560 2198 0 0 0 87 0 0 0 20 0 15 0 47391968 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140262953141680 140263459840311 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15937] ppid=15921 vsize=13977988 CPUtime=0.54 cores=0,2,4,6
/proc/15924/task/15937/stat : 15937 (java) S 15921 15924 30500 0 -1 1077944384 2377 0 0 0 54 0 0 0 20 0 15 0 47391968 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140262952097904 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15938] ppid=15921 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15938/stat : 15938 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391969 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140262951045344 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15939] ppid=15921 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15939/stat : 15939 (java) S 15921 15924 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 47391973 14313459712 56212 18446744073709551615 4194304 4196468 140730853428160 140262949993648 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 13977988

[startup+3.10075 s]
/proc/loadavg: 1.82 1.71 1.67 5/213 15939
/proc/meminfo: memFree=27083160/32770624 swapFree=0/297052
[pid=15924] ppid=15921 vsize=13982084 CPUtime=8.49 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 30417 0 0 0 818 31 0 0 20 0 15 0 47391953 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3495521 147190 3803 1 0 3484295 0
[pid=15924/tid=15926] ppid=15921 vsize=13982084 CPUtime=2.74 cores=0,2,4,6
/proc/15924/task/15926/stat : 15926 (java) R 15921 15924 30500 0 -1 4202560 14076 0 0 0 264 10 0 0 20 0 15 0 47391963 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140263484862584 140263480638870 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15927] ppid=15921 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/15924/task/15927/stat : 15927 (java) S 15921 15924 30500 0 -1 1077944384 168 0 0 0 9 3 0 0 20 0 15 0 47391964 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140263437593232 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15928] ppid=15921 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/15924/task/15928/stat : 15928 (java) S 15921 15924 30500 0 -1 1077944384 181 0 0 0 9 3 0 0 20 0 15 0 47391964 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140263436540432 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15929] ppid=15921 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/15924/task/15929/stat : 15929 (java) S 15921 15924 30500 0 -1 1077944384 176 0 0 0 11 4 0 0 20 0 15 0 47391964 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140263435487632 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15930] ppid=15921 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/15924/task/15930/stat : 15930 (java) S 15921 15924 30500 0 -1 1077944384 248 0 0 0 9 3 0 0 20 0 15 0 47391964 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140263434434832 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15931] ppid=15921 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/15924/task/15931/stat : 15931 (java) S 15921 15924 30500 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 47391965 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140262958414704 140263480638082 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15932] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15932/stat : 15932 (java) S 15921 15924 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140262957360736 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15933] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15933/stat : 15933 (java) S 15921 15924 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140262956307840 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15934] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15934/stat : 15934 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391968 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140262955256144 140263480645531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15935] ppid=15921 vsize=13982084 CPUtime=2.18 cores=0,2,4,6
/proc/15924/task/15935/stat : 15935 (java) S 15921 15924 30500 0 -1 1077944384 5271 0 0 0 217 1 0 0 20 0 15 0 47391968 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140262954203504 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15936] ppid=15921 vsize=13982084 CPUtime=2.15 cores=0,2,4,6
/proc/15924/task/15936/stat : 15936 (java) S 15921 15924 30500 0 -1 1077944384 4379 0 0 0 213 2 0 0 20 0 15 0 47391968 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140262953150704 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15937] ppid=15921 vsize=13982084 CPUtime=0.81 cores=0,2,4,6
/proc/15924/task/15937/stat : 15937 (java) R 15921 15924 30500 0 -1 4202560 4338 0 0 0 80 1 0 0 20 0 15 0 47391968 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140262952097904 140263480638870 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15938] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15938/stat : 15938 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391969 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140262951045344 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15939] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15939/stat : 15939 (java) S 15921 15924 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 47391973 14317654016 147190 18446744073709551615 4194304 4196468 140730853428160 140262949993648 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 13982084

[startup+6.30065 s]
/proc/loadavg: 1.83 1.72 1.68 3/213 15939
/proc/meminfo: memFree=26195800/32770624 swapFree=0/297044
[pid=15924] ppid=15921 vsize=13982084 CPUtime=12.22 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 34038 0 0 0 1161 61 0 0 20 0 15 0 47391953 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3495521 519763 3803 1 0 3484295 0
[pid=15924/tid=15926] ppid=15921 vsize=13982084 CPUtime=5.79 cores=0,2,4,6
/proc/15924/task/15926/stat : 15926 (java) R 15921 15924 30500 0 -1 4202560 16560 0 0 0 550 29 0 0 20 0 15 0 47391963 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140263484863048 140263122295394 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15927] ppid=15921 vsize=13982084 CPUtime=0.26 cores=0,2,4,6
/proc/15924/task/15927/stat : 15927 (java) S 15921 15924 30500 0 -1 1077944384 261 0 0 0 20 6 0 0 20 0 15 0 47391964 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140263437593232 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15928] ppid=15921 vsize=13982084 CPUtime=0.27 cores=0,2,4,6
/proc/15924/task/15928/stat : 15928 (java) S 15921 15924 30500 0 -1 1077944384 273 0 0 0 21 6 0 0 20 0 15 0 47391964 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140263436540432 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15929] ppid=15921 vsize=13982084 CPUtime=0.31 cores=0,2,4,6
/proc/15924/task/15929/stat : 15929 (java) S 15921 15924 30500 0 -1 1077944384 260 0 0 0 24 7 0 0 20 0 15 0 47391964 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140263435487632 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15930] ppid=15921 vsize=13982084 CPUtime=0.28 cores=0,2,4,6
/proc/15924/task/15930/stat : 15930 (java) S 15921 15924 30500 0 -1 1077944384 282 0 0 0 22 6 0 0 20 0 15 0 47391964 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140263434434832 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15931] ppid=15921 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/15924/task/15931/stat : 15931 (java) S 15921 15924 30500 0 -1 1077944384 1023 0 0 0 2 0 0 0 20 0 15 0 47391965 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140262958414704 140263480638082 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15932] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15932/stat : 15932 (java) S 15921 15924 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140262957360736 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15933] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15933/stat : 15933 (java) S 15921 15924 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140262956307840 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15934] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15934/stat : 15934 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391968 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140262955256144 140263480645531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15935] ppid=15921 vsize=13982084 CPUtime=2.21 cores=0,2,4,6
/proc/15924/task/15935/stat : 15935 (java) S 15921 15924 30500 0 -1 1077944384 5276 0 0 0 220 1 0 0 20 0 15 0 47391968 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140262954203504 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15936] ppid=15921 vsize=13982084 CPUtime=2.2 cores=0,2,4,6
/proc/15924/task/15936/stat : 15936 (java) S 15921 15924 30500 0 -1 1077944384 4389 0 0 0 218 2 0 0 20 0 15 0 47391968 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140262953150704 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15937] ppid=15921 vsize=13982084 CPUtime=0.82 cores=0,2,4,6
/proc/15924/task/15937/stat : 15937 (java) S 15921 15924 30500 0 -1 1077944384 4346 0 0 0 81 1 0 0 20 0 15 0 47391968 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140262952097904 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15938] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15938/stat : 15938 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391969 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140262951045344 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15939] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15939/stat : 15939 (java) S 15921 15924 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 47391973 14317654016 519763 18446744073709551615 4194304 4196468 140730853428160 140262949993648 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 13982084

[startup+12.7008 s]
/proc/loadavg: 1.84 1.72 1.68 3/212 15940
/proc/meminfo: memFree=23930508/32770624 swapFree=0/297044
[pid=15924] ppid=15921 vsize=13982084 CPUtime=18.99 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 36707 0 0 0 1808 91 0 0 20 0 15 0 47391953 14317654016 891076 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3495521 891076 3804 1 0 3484295 0
[pid=15924/tid=15926] ppid=15921 vsize=13982084 CPUtime=12.11 cores=0,2,4,6
/proc/15924/task/15926/stat : 15926 (java) R 15921 15924 30500 0 -1 4202560 17702 0 0 0 1159 52 0 0 20 0 15 0 47391963 14317654016 891076 18446744073709551615 4194304 4196468 140730853428160 140263484865280 140263122295117 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15927] ppid=15921 vsize=13982084 CPUtime=0.33 cores=0,2,4,6
/proc/15924/task/15927/stat : 15927 (java) S 15921 15924 30500 0 -1 1077944384 383 0 0 0 26 7 0 0 20 0 15 0 47391964 14317654016 891076 18446744073709551615 4194304 4196468 140730853428160 140263437593232 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15928] ppid=15921 vsize=13982084 CPUtime=0.34 cores=0,2,4,6
/proc/15924/task/15928/stat : 15928 (java) S 15921 15924 30500 0 -1 1077944384 375 0 0 0 27 7 0 0 20 0 15 0 47391964 14317654016 891076 18446744073709551615 4194304 4196468 140730853428160 140263436540432 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15929] ppid=15921 vsize=13982084 CPUtime=0.38 cores=0,2,4,6
/proc/15924/task/15929/stat : 15929 (java) S 15921 15924 30500 0 -1 1077944384 491 0 0 0 30 8 0 0 20 0 15 0 47391964 14317654016 891076 18446744073709551615 4194304 4196468 140730853428160 140263435487632 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15930] ppid=15921 vsize=13982084 CPUtime=0.35 cores=0,2,4,6
/proc/15924/task/15930/stat : 15930 (java) S 15921 15924 30500 0 -1 1077944384 580 0 0 0 27 8 0 0 20 0 15 0 47391964 14317654016 891076 18446744073709551615 4194304 4196468 140730853428160 140263434434832 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15931] ppid=15921 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/15924/task/15931/stat : 15931 (java) S 15921 15924 30500 0 -1 1077944384 1775 0 0 0 2 0 0 0 20 0 15 0 47391965 14317654016 891076 18446744073709551615 4194304 4196468 140730853428160 140262958414704 140263480638082 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15932] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15932/stat : 15932 (java) S 15921 15924 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 891076 18446744073709551615 4194304 4196468 140730853428160 140262957360736 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15933] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15933/stat : 15933 (java) S 15921 15924 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 891076 18446744073709551615 4194304 4196468 140730853428160 140262956307840 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15934] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15934/stat : 15934 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391968 14317654016 891076 18446744073709551615 4194304 4196468 140730853428160 140262955256144 140263480645531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0

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

/proc/15924/task/15938/stat : 15938 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391969 14317654016 1001415 18446744073709551615 4194304 4196468 140730853428160 140262951045344 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15939] ppid=15921 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/15924/task/15939/stat : 15939 (java) S 15921 15924 30500 0 -1 1077944384 258 0 0 0 1 2 0 0 20 0 15 0 47391973 14317654016 1001415 18446744073709551615 4194304 4196468 140730853428160 140262949993648 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
Current children cumulated CPU time (s) 60.04
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.58 1.67 1.66 2/196 16006
/proc/meminfo: memFree=27526024/32770624 swapFree=0/297120
[pid=15924] ppid=15921 vsize=13982084 CPUtime=113.89 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 70722 0 0 0 11264 125 0 0 20 0 15 0 47391953 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3495521 1015772 3809 1 0 3484295 0
[pid=15924/tid=15926] ppid=15921 vsize=13982084 CPUtime=100.41 cores=0,2,4,6
/proc/15924/task/15926/stat : 15926 (java) R 15921 15924 30500 0 -1 4202560 33620 0 0 0 9982 59 0 0 20 0 15 0 47391963 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140263484863536 140263122155023 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15927] ppid=15921 vsize=13982084 CPUtime=1.58 cores=0,2,4,6
/proc/15924/task/15927/stat : 15927 (java) S 15921 15924 30500 0 -1 1077944384 1794 0 0 0 144 14 0 0 20 0 15 0 47391964 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140263437593232 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15928] ppid=15921 vsize=13982084 CPUtime=1.57 cores=0,2,4,6
/proc/15924/task/15928/stat : 15928 (java) S 15921 15924 30500 0 -1 1077944384 2404 0 0 0 145 12 0 0 20 0 15 0 47391964 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140263436540432 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15929] ppid=15921 vsize=13982084 CPUtime=1.62 cores=0,2,4,6
/proc/15924/task/15929/stat : 15929 (java) S 15921 15924 30500 0 -1 1077944384 1896 0 0 0 148 14 0 0 20 0 15 0 47391964 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140263435487632 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15930] ppid=15921 vsize=13982084 CPUtime=1.6 cores=0,2,4,6
/proc/15924/task/15930/stat : 15930 (java) S 15921 15924 30500 0 -1 1077944384 2099 0 0 0 146 14 0 0 20 0 15 0 47391964 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140263434434832 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15931] ppid=15921 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/15924/task/15931/stat : 15931 (java) S 15921 15924 30500 0 -1 1077944384 2524 0 0 0 5 0 0 0 20 0 15 0 47391965 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140262958414704 140263480638082 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15932] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15932/stat : 15932 (java) S 15921 15924 30500 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140262957360736 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15933] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15933/stat : 15933 (java) S 15921 15924 30500 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140262956307840 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15934] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15934/stat : 15934 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391968 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140262955256144 140263480645531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15935] ppid=15921 vsize=13982084 CPUtime=2.98 cores=0,2,4,6
/proc/15924/task/15935/stat : 15935 (java) S 15921 15924 30500 0 -1 1077944384 8618 0 0 0 296 2 0 0 20 0 15 0 47391968 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140262954203504 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15936] ppid=15921 vsize=13982084 CPUtime=2.87 cores=0,2,4,6
/proc/15924/task/15936/stat : 15936 (java) S 15921 15924 30500 0 -1 1077944384 6442 0 0 0 285 2 0 0 20 0 15 0 47391968 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140262953150704 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15937] ppid=15921 vsize=13982084 CPUtime=1.06 cores=0,2,4,6
/proc/15924/task/15937/stat : 15937 (java) S 15921 15924 30500 0 -1 1077944384 9642 0 0 0 104 2 0 0 20 0 15 0 47391968 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140262952097904 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15938] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15938/stat : 15938 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391969 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140262951045344 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15939] ppid=15921 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/15924/task/15939/stat : 15939 (java) S 15921 15924 30500 0 -1 1077944384 301 0 0 0 2 3 0 0 20 0 15 0 47391973 14317654016 1015772 18446744073709551615 4194304 4196468 140730853428160 140262949993648 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
Current children cumulated CPU time (s) 113.89
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 0.93 1.47 1.60 2/196 16008
/proc/meminfo: memFree=27473904/32770624 swapFree=0/297172
[pid=15924] ppid=15921 vsize=13982084 CPUtime=176.7 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 85757 0 0 0 17536 134 0 0 20 0 15 0 47391953 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3495521 1028994 3814 1 0 3484295 0
[pid=15924/tid=15926] ppid=15921 vsize=13982084 CPUtime=159.63 cores=0,2,4,6
/proc/15924/task/15926/stat : 15926 (java) R 15921 15924 30500 0 -1 4202560 38834 0 0 0 15904 59 0 0 20 0 15 0 47391963 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140263484861600 140263114340123 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15927] ppid=15921 vsize=13982084 CPUtime=2.32 cores=0,2,4,6
/proc/15924/task/15927/stat : 15927 (java) S 15921 15924 30500 0 -1 1077944384 1888 0 0 0 217 15 0 0 20 0 15 0 47391964 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140263437593232 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15928] ppid=15921 vsize=13982084 CPUtime=2.32 cores=0,2,4,6
/proc/15924/task/15928/stat : 15928 (java) S 15921 15924 30500 0 -1 1077944384 2496 0 0 0 219 13 0 0 20 0 15 0 47391964 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140263436540432 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15929] ppid=15921 vsize=13982084 CPUtime=2.37 cores=0,2,4,6
/proc/15924/task/15929/stat : 15929 (java) S 15921 15924 30500 0 -1 1077944384 2332 0 0 0 221 16 0 0 20 0 15 0 47391964 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140263435487632 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15930] ppid=15921 vsize=13982084 CPUtime=2.34 cores=0,2,4,6
/proc/15924/task/15930/stat : 15930 (java) S 15921 15924 30500 0 -1 1077944384 3145 0 0 0 219 15 0 0 20 0 15 0 47391964 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140263434434832 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15931] ppid=15921 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/15924/task/15931/stat : 15931 (java) S 15921 15924 30500 0 -1 1077944384 2746 0 0 0 6 0 0 0 20 0 15 0 47391965 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140262958414704 140263480638082 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15932] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15932/stat : 15932 (java) S 15921 15924 30500 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140262957360736 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15933] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15933/stat : 15933 (java) S 15921 15924 30500 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140262956307840 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15934] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15934/stat : 15934 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391968 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140262955256144 140263480645531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15935] ppid=15921 vsize=13982084 CPUtime=3.04 cores=0,2,4,6
/proc/15924/task/15935/stat : 15935 (java) S 15921 15924 30500 0 -1 1077944384 9892 0 0 0 302 2 0 0 20 0 15 0 47391968 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140262954203504 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15936] ppid=15921 vsize=13982084 CPUtime=3.31 cores=0,2,4,6
/proc/15924/task/15936/stat : 15936 (java) S 15921 15924 30500 0 -1 1077944384 11426 0 0 0 328 3 0 0 20 0 15 0 47391968 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140262953150704 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15937] ppid=15921 vsize=13982084 CPUtime=1.11 cores=0,2,4,6
/proc/15924/task/15937/stat : 15937 (java) S 15921 15924 30500 0 -1 1077944384 11238 0 0 0 109 2 0 0 20 0 15 0 47391968 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140262952097904 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15938] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15938/stat : 15938 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391969 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140262951045344 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15939] ppid=15921 vsize=13982084 CPUtime=0.09 cores=0,2,4,6
/proc/15924/task/15939/stat : 15939 (java) S 15921 15924 30500 0 -1 1077944384 370 0 0 0 4 5 0 0 20 0 15 0 47391973 14317654016 1028994 18446744073709551615 4194304 4196468 140730853428160 140262949993648 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
Current children cumulated CPU time (s) 176.7
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 0.82 1.34 1.54 2/193 16010
/proc/meminfo: memFree=27663644/32770624 swapFree=0/297180
[pid=15924] ppid=15921 vsize=13982084 CPUtime=238.67 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 102908 0 0 0 23728 139 0 0 20 0 15 0 47391953 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3495521 982290 3814 1 0 3484295 0
[pid=15924/tid=15926] ppid=15921 vsize=13982084 CPUtime=219.16 cores=0,2,4,6
/proc/15924/task/15926/stat : 15926 (java) R 15921 15924 30500 0 -1 4202560 42787 0 0 0 21856 60 0 0 20 0 15 0 47391963 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140263484864848 140263115976174 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15927] ppid=15921 vsize=13982084 CPUtime=2.78 cores=0,2,4,6
/proc/15924/task/15927/stat : 15927 (java) S 15921 15924 30500 0 -1 1077944384 2467 0 0 0 263 15 0 0 20 0 15 0 47391964 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140263437593232 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15928] ppid=15921 vsize=13982084 CPUtime=2.78 cores=0,2,4,6
/proc/15924/task/15928/stat : 15928 (java) S 15921 15924 30500 0 -1 1077944384 3221 0 0 0 265 13 0 0 20 0 15 0 47391964 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140263436540432 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15929] ppid=15921 vsize=13982084 CPUtime=2.82 cores=0,2,4,6
/proc/15924/task/15929/stat : 15929 (java) S 15921 15924 30500 0 -1 1077944384 3535 0 0 0 266 16 0 0 20 0 15 0 47391964 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140263435487632 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15930] ppid=15921 vsize=13982084 CPUtime=2.8 cores=0,2,4,6
/proc/15924/task/15930/stat : 15930 (java) S 15921 15924 30500 0 -1 1077944384 3465 0 0 0 265 15 0 0 20 0 15 0 47391964 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140263434434832 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15931] ppid=15921 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/15924/task/15931/stat : 15931 (java) S 15921 15924 30500 0 -1 1077944384 3001 0 0 0 8 0 0 0 20 0 15 0 47391965 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140262958414704 140263480638082 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15932] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15932/stat : 15932 (java) S 15921 15924 30500 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140262957360736 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15933] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15933/stat : 15933 (java) S 15921 15924 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140262956307840 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15934] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15934/stat : 15934 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391968 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140262955256144 140263480645531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15935] ppid=15921 vsize=13982084 CPUtime=3.35 cores=0,2,4,6
/proc/15924/task/15935/stat : 15935 (java) S 15921 15924 30500 0 -1 1077944384 14427 0 0 0 332 3 0 0 20 0 15 0 47391968 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140262954203504 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15936] ppid=15921 vsize=13982084 CPUtime=3.54 cores=0,2,4,6
/proc/15924/task/15936/stat : 15936 (java) S 15921 15924 30500 0 -1 1077944384 15642 0 0 0 350 4 0 0 20 0 15 0 47391968 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140262953150704 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15937] ppid=15921 vsize=13982084 CPUtime=1.12 cores=0,2,4,6
/proc/15924/task/15937/stat : 15937 (java) S 15921 15924 30500 0 -1 1077944384 12560 0 0 0 110 2 0 0 20 0 15 0 47391968 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140262952097904 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15938] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15938/stat : 15938 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391969 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140262951045344 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15939] ppid=15921 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/15924/task/15939/stat : 15939 (java) S 15921 15924 30500 0 -1 1077944384 405 0 0 0 6 7 0 0 20 0 15 0 47391973 14317654016 982290 18446744073709551615 4194304 4196468 140730853428160 140262949993648 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
Current children cumulated CPU time (s) 238.67
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 0.86 1.32 1.54 2/193 16010
/proc/meminfo: memFree=27695680/32770624 swapFree=0/297204
[pid=15924] ppid=15921 vsize=13982084 CPUtime=256.83 cores=0,2,4,6
/proc/15924/stat : 15924 (java) S 15921 15924 30500 0 -1 1077944320 105087 0 0 0 25543 140 0 0 20 0 15 0 47391953 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140730853410704 140263480626935 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
/proc/15924/statm: 3495521 974338 3814 1 0 3484295 0
[pid=15924/tid=15926] ppid=15921 vsize=13982084 CPUtime=236.69 cores=0,2,4,6
/proc/15924/task/15926/stat : 15926 (java) R 15921 15924 30500 0 -1 4202560 44519 0 0 0 23609 60 0 0 20 0 15 0 47391963 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140263484864960 140263118357294 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15927] ppid=15921 vsize=13982084 CPUtime=2.93 cores=0,2,4,6
/proc/15924/task/15927/stat : 15927 (java) S 15921 15924 30500 0 -1 1077944384 2481 0 0 0 278 15 0 0 20 0 15 0 47391964 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140263437593232 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15928] ppid=15921 vsize=13982084 CPUtime=2.93 cores=0,2,4,6
/proc/15924/task/15928/stat : 15928 (java) S 15921 15924 30500 0 -1 1077944384 3227 0 0 0 280 13 0 0 20 0 15 0 47391964 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140263436540432 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15929] ppid=15921 vsize=13982084 CPUtime=2.97 cores=0,2,4,6
/proc/15924/task/15929/stat : 15929 (java) S 15921 15924 30500 0 -1 1077944384 3585 0 0 0 281 16 0 0 20 0 15 0 47391964 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140263435487632 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15930] ppid=15921 vsize=13982084 CPUtime=2.95 cores=0,2,4,6
/proc/15924/task/15930/stat : 15930 (java) S 15921 15924 30500 0 -1 1077944384 3796 0 0 0 280 15 0 0 20 0 15 0 47391964 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140263434434832 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15931] ppid=15921 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/15924/task/15931/stat : 15931 (java) S 15921 15924 30500 0 -1 1077944384 3003 0 0 0 8 0 0 0 20 0 15 0 47391965 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140262958414704 140263480638082 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15932] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15932/stat : 15932 (java) S 15921 15924 30500 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140262957360736 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15933] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15933/stat : 15933 (java) S 15921 15924 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47391966 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140262956307840 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15934] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15934/stat : 15934 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391968 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140262955256144 140263480645531 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15935] ppid=15921 vsize=13982084 CPUtime=3.35 cores=0,2,4,6
/proc/15924/task/15935/stat : 15935 (java) S 15921 15924 30500 0 -1 1077944384 14427 0 0 0 332 3 0 0 20 0 15 0 47391968 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140262954203504 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15936] ppid=15921 vsize=13982084 CPUtime=3.54 cores=0,2,4,6
/proc/15924/task/15936/stat : 15936 (java) S 15921 15924 30500 0 -1 1077944384 15684 0 0 0 350 4 0 0 20 0 15 0 47391968 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140262953150704 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15937] ppid=15921 vsize=13982084 CPUtime=1.12 cores=0,2,4,6
/proc/15924/task/15937/stat : 15937 (java) S 15921 15924 30500 0 -1 1077944384 12560 0 0 0 110 2 0 0 20 0 15 0 47391968 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140262952097904 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15938] ppid=15921 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/15924/task/15938/stat : 15938 (java) S 15921 15924 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47391969 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140262951045344 140263480637141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
[pid=15924/tid=15939] ppid=15921 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/15924/task/15939/stat : 15939 (java) S 15921 15924 30500 0 -1 1077944384 407 0 0 0 7 8 0 0 20 0 15 0 47391973 14317654016 974338 18446744073709551615 4194304 4196468 140730853428160 140262949993648 140263480638082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38150144 140730853433756 140730853433937 140730853433937 140730853437391 0
Current children cumulated CPU time (s) 256.83
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 15924 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.032
CPU time (s): 256.895
CPU user time (s): 255.465
CPU system time (s): 1.42947
CPU usage (%): 107.025
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.465
system time used= 1.42947
maximum resident set size= 4115976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10847
involuntary context switches= 714

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07937 second user time and 1.53005 second system time

The end

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml
MD5SUM	f189c1eeae9c695eff92bc09b1867153
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	240.11099
Satisfiable
(Un)Satisfiability was proved
Number of variables	2401
Number of constraints	18424
Number of domains	1
Minimum domain size	1176
Maximum domain size	1176
Distribution of domain sizes	[{"size":1176,"count":1176}]
Minimum variable degree	0
Maximum variable degree	48
Distribution of variable degrees	[{"degree":0,"count":1225},{"degree":48,"count":1176}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":18424}]
Number of extensional constraints	0
Number of intensional constraints	18424
Distribution of constraint types	[{"type":"intension","count":18424}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4256719

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data