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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-07-26	SAT (TO)	1164	19716.301	2520.21

0.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 251383529
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 11000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
6.34/1.81	c Parsing done, starting search...
1691.88/249.29	o 1175
3521.57/480.31	o 1174
5228.55/695.89	o 1173
7025.26/922.09	o 1172
8727.35/1136.41	o 1171
10471.79/1356.11	o 1170
12119.72/1563.57	o 1169
13754.08/1769.45	o 1168
15222.39/1954.48	o 1167
16674.00/2137.18	o 1166
18139.64/2321.65	o 1165
19493.71/2492.16	o 1164
19715.03/2520.12	s SATISFIABLE
19715.03/2520.13	v <instantiation>
19715.03/2520.13	v 	<list>
19715.03/2520.13	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]
19716.02/2520.15	v 	</list>
19716.02/2520.15	v 	<values>
19716.02/2520.15	v 		1163 1164 1164 1163 1163 1163 1126 1163 1163 1127 1163 1128 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 1162 1164 1156 1157 1158 1159 1164 1160 1161 1164 1162 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1163 1163 1164 1164 1164 1126 1164 1164 1127 1164 1128 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 1157 1158 1159 1164 1160 1161 1164 1162 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1163 1158 1159 1164 1160 1161 1164 1162 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1163 1159 1164 1160 1161 1164 1162 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1163 1164 1160 1161 1164 1162 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1163 1164 1164 1127 1164 1128 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 1161 1164 1162 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1163 1164 1162 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1163 1164 1128 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 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1164 1163 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 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 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 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 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 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 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 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 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 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 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 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 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1156 1157 1158 1159 1160 1161 1162 1163 1164 1157 1158 1159 1160 1161 1162 1163 1164 1158 1159 1160 1161 1162 1163 1164 1159 1160 1161 1162 1163 1164 1160 1161 1162 1163 1164 1161 1162 1163 1164 1162 1163 1164 1163 1164 1164 
19716.02/2520.15	v 	</values>
19716.02/2520.15	v </instantiation>

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15015 MiB free)
  memory of node 1: 16384 MiB (15610 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275803-1502870879/watcher-4275803-1502870879 -o /tmp/evaluation-result-4275803-1502870879/solver-4275803-1502870879 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502864973-23335 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 251383529 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275803-1502870879.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23667, runsolver pid=23664

[startup+0.100144 s]*
/proc/loadavg: 8.09 8.60 8.68 1/199 23687
/proc/meminfo: memFree=31342100/32770624 swapFree=67108860/67108860
[pid=23667] ppid=23664 vsize=14325320 memory=33092 CPUtime=0.12 cores=0-7
/proc/23667/stat : 23667 (java) S 23664 23667 23308 0 -1 1077944320 8187 0 0 0 11 1 0 0 20 0 20 0 120175641 14669127680 8273 33554432000 4194304 4196468 140722813095504 140722813078048 140690630532855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
/proc/23667/statm: 3581330 8273 3408 1 0 3569050 0
[pid=23667/tid=23669] ppid=23664 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 23308 0 -1 4202560 6130 0 0 0 8 1 0 0 20 0 20 0 120175641 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690634712112 140690614613342 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23670] ppid=23664 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23667/task/23670/stat : 23670 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690583153424 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23671] ppid=23664 vsize=14325320 memory=140392761951872 CPUtime=0 cores=0-7
/proc/23667/task/23671/stat : 23671 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690582100880 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23672] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23672/stat : 23672 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690581048336 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23673] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23673/stat : 23673 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690222935184 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23674] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23674/stat : 23674 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690221881616 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23675] ppid=23664 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/23667/task/23675/stat : 23675 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690220829072 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23676] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23676/stat : 23676 (java) S 23664 23667 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690219776528 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23677] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23677/stat : 23677 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690218723984 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23678] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23678/stat : 23678 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175643 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690088438256 140690630544002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23679] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23679/stat : 23679 (java) S 23664 23667 23308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 120175644 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690087384480 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23680] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23680/stat : 23680 (java) S 23664 23667 23308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 120175644 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690086331888 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23681] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23681/stat : 23681 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175646 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690085280464 140690630551451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23682] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23682/stat : 23682 (java) S 23664 23667 23308 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 120175646 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690084227056 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23683] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23683/stat : 23683 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175646 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690083174512 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23684] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23684/stat : 23684 (java) S 23664 23667 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 120175646 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690082121968 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23685] ppid=23664 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/23667/task/23685/stat : 23685 (java) S 23664 23667 23308 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 20 0 120175646 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690081069424 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23686] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23686/stat : 23686 (java) S 23664 23667 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 120175646 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690080017120 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23687] ppid=23664 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/23667/task/23687/stat : 23687 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175647 14669127680 8273 33554432000 4194304 4196468 140722813095504 140690078964656 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33092 KiB

[startup+0.210137 s]*
/proc/loadavg: 8.09 8.60 8.68 5/199 23687
/proc/meminfo: memFree=31333752/32770624 swapFree=67108860/67108860
[pid=23667] ppid=23664 vsize=14325320 memory=42428 CPUtime=0.29 cores=0-7
/proc/23667/stat : 23667 (java) S 23664 23667 23308 0 -1 1077944320 9243 0 0 0 27 2 0 0 20 0 20 0 120175641 14669127680 10607 33554432000 4194304 4196468 140722813095504 140722813078048 140690630532855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
/proc/23667/statm: 3581330 10607 3608 1 0 3569050 0
[pid=23667/tid=23669] ppid=23664 vsize=14325320 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 23308 0 -1 4202560 6804 0 0 0 18 2 0 0 20 0 20 0 120175641 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690634747056 140690630554202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23670] ppid=23664 vsize=14325320 memory=13887 CPUtime=0 cores=0-7
/proc/23667/task/23670/stat : 23670 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690583153424 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23671] ppid=23664 vsize=14325320 memory=3976874059193943712 CPUtime=0 cores=0-7
/proc/23667/task/23671/stat : 23671 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690582100880 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23672] ppid=23664 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/23667/task/23672/stat : 23672 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690581048336 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23673] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23673/stat : 23673 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690222935184 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23674] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23674/stat : 23674 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690221881616 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23675] ppid=23664 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/23667/task/23675/stat : 23675 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690220829072 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23676] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23676/stat : 23676 (java) S 23664 23667 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690219776528 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23677] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23677/stat : 23677 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690218723984 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23678] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23678/stat : 23678 (java) S 23664 23667 23308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 120175643 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690088438256 140690630544002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23679] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23679/stat : 23679 (java) S 23664 23667 23308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 120175644 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690087384480 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23680] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23680/stat : 23680 (java) S 23664 23667 23308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 120175644 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690086331888 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23681] ppid=23664 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23681/stat : 23681 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175646 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690085280464 140690630551451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23682] ppid=23664 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/23667/task/23682/stat : 23682 (java) S 23664 23667 23308 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 20 0 120175646 14669127680 10607 33554432000 4194304 4196468 140722813095504 140690084227056 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23683] ppid=23664 vsize=14325352 memory=0 CPUtime=0.01 cores=0-7
/proc/23667/task/23683/stat : 23683 (java) S 23664 23667 23308 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 120175646 14669160448 10607 33554432000 4194304 4196468 140722813095504 140690083174512 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23684] ppid=23664 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23684/stat : 23684 (java) S 23664 23667 23308 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 120175646 14669160448 10607 33554432000 4194304 4196468 140722813095504 140690082121968 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23685] ppid=23664 vsize=14325352 memory=0 CPUtime=0.05 cores=0-7
/proc/23667/task/23685/stat : 23685 (java) S 23664 23667 23308 0 -1 1077944384 424 0 0 0 5 0 0 0 20 0 20 0 120175646 14669160448 10607 33554432000 4194304 4196468 140722813095504 140690081069424 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23686] ppid=23664 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23686/stat : 23686 (java) S 23664 23667 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 120175646 14669160448 10652 33554432000 4194304 4196468 140722813095504 140690080017120 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23687] ppid=23664 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/23667/task/23687/stat : 23687 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175647 14669127680 10652 33554432000 4194304 4196468 140722813095504 140690078964656 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42428 KiB

[startup+0.309488 s]*
/proc/loadavg: 8.09 8.60 8.68 2/199 23687
/proc/meminfo: memFree=31326200/32770624 swapFree=67108860/67108860
[pid=23667] ppid=23664 vsize=14325340 memory=50264 CPUtime=0.48 cores=0-7
/proc/23667/stat : 23667 (java) S 23664 23667 23308 0 -1 1077944320 10406 0 0 0 45 3 0 0 20 0 20 0 120175641 14669148160 12566 33554432000 4194304 4196468 140722813095504 140722813078048 140690630532855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
/proc/23667/statm: 3581335 12566 3689 1 0 3569050 0
[pid=23667/tid=23669] ppid=23664 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 23308 0 -1 4202560 7578 0 0 0 27 2 0 0 20 0 20 0 120175641 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690634756608 140690614576485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23670] ppid=23664 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23670/stat : 23670 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690583153424 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23671] ppid=23664 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23671/stat : 23671 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690582100880 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23672] ppid=23664 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23672/stat : 23672 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690581048336 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23673] ppid=23664 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23673/stat : 23673 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690222935184 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23674] ppid=23664 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/23667/task/23674/stat : 23674 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690221881616 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23675] ppid=23664 vsize=14325340 memory=140392615998383 CPUtime=0 cores=0-7
/proc/23667/task/23675/stat : 23675 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690220829072 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23676] ppid=23664 vsize=14325340 memory=140392616000688 CPUtime=0 cores=0-7
/proc/23667/task/23676/stat : 23676 (java) S 23664 23667 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 120175642 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690219776528 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23677] ppid=23664 vsize=14325340 memory=140392616002992 CPUtime=0 cores=0-7
/proc/23667/task/23677/stat : 23677 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690218723984 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23678] ppid=23664 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23678/stat : 23678 (java) S 23664 23667 23308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 120175643 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690088438256 140690630544002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23679] ppid=23664 vsize=14325340 memory=280785232012944 CPUtime=0 cores=0-7
/proc/23667/task/23679/stat : 23679 (java) S 23664 23667 23308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 120175644 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690087384480 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23680] ppid=23664 vsize=14325340 memory=280785232019856 CPUtime=0 cores=0-7
/proc/23667/task/23680/stat : 23680 (java) S 23664 23667 23308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 120175644 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690086331888 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23681] ppid=23664 vsize=14325340 memory=280785231961136 CPUtime=0 cores=0-7
/proc/23667/task/23681/stat : 23681 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175646 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690085280464 140690630551451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23682] ppid=23664 vsize=14325340 memory=280785232033680 CPUtime=0.04 cores=0-7
/proc/23667/task/23682/stat : 23682 (java) S 23664 23667 23308 0 -1 1077944384 613 0 0 0 4 0 0 0 20 0 20 0 120175646 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690084227056 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23683] ppid=23664 vsize=14325340 memory=280785232040592 CPUtime=0.03 cores=0-7
/proc/23667/task/23683/stat : 23683 (java) S 23664 23667 23308 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 20 0 120175646 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690083174512 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23684] ppid=23664 vsize=14325340 memory=280785232038288 CPUtime=0.01 cores=0-7
/proc/23667/task/23684/stat : 23684 (java) S 23664 23667 23308 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 120175646 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690082121968 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23685] ppid=23664 vsize=14325340 memory=280785232054896 CPUtime=0.08 cores=0-7
/proc/23667/task/23685/stat : 23685 (java) R 23664 23667 23308 0 -1 4202560 458 0 0 0 8 0 0 0 20 0 20 0 120175646 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690081069424 140690614613342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23686] ppid=23664 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23686/stat : 23686 (java) S 23664 23667 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 120175646 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690080017120 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23687] ppid=23664 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/23667/task/23687/stat : 23687 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175647 14669148160 12566 33554432000 4194304 4196468 140722813095504 140690078964656 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50264 KiB

[startup+0.70084 s]
/proc/loadavg: 8.09 8.60 8.68 5/199 23687
/proc/meminfo: memFree=31290168/32770624 swapFree=67108860/67108860
[pid=23667] ppid=23664 vsize=14327388 memory=121572 CPUtime=1.68 cores=0-7
/proc/23667/stat : 23667 (java) S 23664 23667 23308 0 -1 1077944320 14265 0 0 0 162 6 0 0 20 0 20 0 120175641 14671245312 30327 33554432000 4194304 4196468 140722813095504 140722813078048 140690630532855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
/proc/23667/statm: 3581847 30327 3774 1 0 3569562 0
[pid=23667/tid=23669] ppid=23664 vsize=14327388 memory=0 CPUtime=0.68 cores=0-7
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 23308 0 -1 4202560 8344 0 0 0 64 4 0 0 20 0 20 0 120175641 14671245312 30393 33554432000 4194304 4196468 140722813095504 140690634768304 140690261630496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23670] ppid=23664 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23670/stat : 23670 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14671245312 30393 33554432000 4194304 4196468 140722813095504 140690583153424 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23671] ppid=23664 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23671/stat : 23671 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14671245312 30393 33554432000 4194304 4196468 140722813095504 140690582100880 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23672] ppid=23664 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/23667/task/23672/stat : 23672 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14671245312 30393 33554432000 4194304 4196468 140722813095504 140690581048336 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23673] ppid=23664 vsize=14327388 memory=1008 CPUtime=0 cores=0-7
/proc/23667/task/23673/stat : 23673 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14671245312 30393 33554432000 4194304 4196468 140722813095504 140690222935184 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23674] ppid=23664 vsize=14327388 memory=4612 CPUtime=0 cores=0-7
/proc/23667/task/23674/stat : 23674 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14671245312 30393 33554432000 4194304 4196468 140722813095504 140690221881616 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23675] ppid=23664 vsize=14327388 memory=1428 CPUtime=0 cores=0-7
/proc/23667/task/23675/stat : 23675 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 120175642 14671245312 30393 33554432000 4194304 4196468 140722813095504 140690220829072 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23676] ppid=23664 vsize=14327388 memory=1204 CPUtime=0 cores=0-7
/proc/23667/task/23676/stat : 23676 (java) S 23664 23667 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 120175642 14671245312 30393 33554432000 4194304 4196468 140722813095504 140690219776528 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23677] ppid=23664 vsize=14327388 memory=15876 CPUtime=0 cores=0-7
/proc/23667/task/23677/stat : 23677 (java) S 23664 23667 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 120175642 14671245312 30393 33554432000 4194304 4196468 140722813095504 140690218723984 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23678] ppid=23664 vsize=14327388 memory=21088 CPUtime=0 cores=0-7
/proc/23667/task/23678/stat : 23678 (java) S 23664 23667 23308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 120175643 14671245312 30393 33554432000 4194304 4196468 140722813095504 140690088438256 140690630544002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0

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

/proc/23667/task/23679/stat : 23679 (java) S 23664 23667 23308 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 40 0 120175644 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690087384544 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23680] ppid=23664 vsize=15668944 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23667/task/23680/stat : 23680 (java) S 23664 23667 23308 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 40 0 120175644 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690086331904 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23681] ppid=23664 vsize=15668944 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23667/task/23681/stat : 23681 (java) S 23664 23667 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 120175646 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690085280464 140690630551451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23682] ppid=23664 vsize=15668944 memory=4879372 CPUtime=2.66 cores=0-7
/proc/23667/task/23682/stat : 23682 (java) S 23664 23667 23308 0 -1 1077944384 20158 0 0 0 260 6 0 0 20 0 40 0 120175646 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690084227056 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23683] ppid=23664 vsize=15668944 memory=4873780 CPUtime=3.36 cores=0-7
/proc/23667/task/23683/stat : 23683 (java) S 23664 23667 23308 0 -1 1077944384 25768 0 0 0 330 6 0 0 20 0 40 0 120175646 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690083174512 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23684] ppid=23664 vsize=15668944 memory=0 CPUtime=3.2 cores=0-7
/proc/23667/task/23684/stat : 23684 (java) S 23664 23667 23308 0 -1 1077944384 20216 0 0 0 318 2 0 0 20 0 40 0 120175646 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690082121968 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23685] ppid=23664 vsize=15668944 memory=4881420 CPUtime=1.28 cores=0-7
/proc/23667/task/23685/stat : 23685 (java) S 23664 23667 23308 0 -1 1077944384 25696 0 0 0 121 7 0 0 20 0 40 0 120175646 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690081069424 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23686] ppid=23664 vsize=15668944 memory=280785234260544 CPUtime=0 cores=0-7
/proc/23667/task/23686/stat : 23686 (java) S 23664 23667 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 120175646 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690080017120 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23687] ppid=23664 vsize=15668944 memory=6944613755395144096 CPUtime=1.56 cores=0-7
/proc/23667/task/23687/stat : 23687 (java) S 23664 23667 23308 0 -1 1077944384 6201 0 0 0 71 85 0 0 20 0 40 0 120175647 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690078964656 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23688] ppid=23664 vsize=15668944 memory=6944656591801718942 CPUtime=0 cores=0-7
/proc/23667/task/23688/stat : 23688 (java) S 23664 23667 23308 0 -1 1077944384 1031 0 0 0 0 0 0 0 20 0 40 0 120179858 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690068677888 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23689] ppid=23664 vsize=15668944 memory=6944613755395144096 CPUtime=7.24 cores=0-7
/proc/23667/task/23689/stat : 23689 (java) S 23664 23667 23308 0 -1 1077944384 17524 0 0 0 327 397 0 0 20 0 40 0 120179870 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690065528480 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23690] ppid=23664 vsize=15668944 memory=1948 CPUtime=2020.73 cores=0-7
/proc/23667/task/23690/stat : 23690 (java) R 23664 23667 23308 0 -1 4202560 212628 0 0 0 201213 860 0 0 20 0 40 0 120179880 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690062371816 140690266774918 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23691] ppid=23664 vsize=15668944 memory=8572 CPUtime=1416.47 cores=0-7
/proc/23667/task/23691/stat : 23691 (java) S 23664 23667 23308 0 -1 1077944384 149908 0 0 0 141023 624 0 0 20 0 40 0 120179881 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690061325104 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23692] ppid=23664 vsize=15668944 memory=1228 CPUtime=0.01 cores=0-7
/proc/23667/task/23692/stat : 23692 (java) S 23664 23667 23308 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 40 0 120179882 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690060272560 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23693] ppid=23664 vsize=15668944 memory=12028 CPUtime=2022.57 cores=0-7
/proc/23667/task/23693/stat : 23693 (java) R 23664 23667 23308 0 -1 4202560 194680 0 0 0 201398 859 0 0 20 0 40 0 120179884 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690059214184 140690270233882 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23694] ppid=23664 vsize=15668944 memory=5668 CPUtime=0.18 cores=0-7
/proc/23667/task/23694/stat : 23694 (java) S 23664 23667 23308 0 -1 1077944384 660 0 0 0 18 0 0 0 20 0 40 0 120179884 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690058167472 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23695] ppid=23664 vsize=15668944 memory=1008 CPUtime=0.17 cores=0-7
/proc/23667/task/23695/stat : 23695 (java) S 23664 23667 23308 0 -1 1077944384 755 0 0 0 17 0 0 0 20 0 40 0 120179884 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690057114928 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23696] ppid=23664 vsize=15668944 memory=4612 CPUtime=2022.11 cores=0-7
/proc/23667/task/23696/stat : 23696 (java) R 23664 23667 23308 0 -1 4202560 232170 0 0 0 201230 981 0 0 20 0 40 0 120179884 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690056059280 140690270029153 0 4 0 16800975 0 0 0 -1 3 0 0 43 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23697] ppid=23664 vsize=15668944 memory=1428 CPUtime=2024.24 cores=0-7
/proc/23667/task/23697/stat : 23697 (java) R 23664 23667 23308 0 -1 4202560 298558 0 0 0 201393 1031 0 0 20 0 40 0 120179884 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690055004008 140690266774880 0 4 0 16800975 0 0 0 -1 0 0 0 38 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23698] ppid=23664 vsize=15668944 memory=4883908 CPUtime=2019.72 cores=0-7
/proc/23667/task/23698/stat : 23698 (java) R 23664 23667 23308 0 -1 4202560 325701 0 0 0 201074 898 0 0 20 0 40 0 120179884 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690053950440 140690266774880 0 4 0 16800975 0 0 0 -1 6 0 0 44 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23699] ppid=23664 vsize=15668944 memory=4883908 CPUtime=1084.09 cores=0-7
/proc/23667/task/23699/stat : 23699 (java) S 23664 23667 23308 0 -1 1077944384 155174 0 0 0 107868 541 0 0 20 0 40 0 120179884 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690052903728 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23700] ppid=23664 vsize=15668944 memory=21140 CPUtime=182.57 cores=0-7
/proc/23667/task/23700/stat : 23700 (java) S 23664 23667 23308 0 -1 1077944384 56383 0 0 0 18111 146 0 0 20 0 40 0 120179885 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690051851152 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23702] ppid=23664 vsize=15668944 memory=4883908 CPUtime=0 cores=0-7
/proc/23667/task/23702/stat : 23702 (java) S 23664 23667 23308 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 40 0 120200571 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690048664624 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23703] ppid=23664 vsize=15668944 memory=18488 CPUtime=0 cores=0-7
/proc/23667/task/23703/stat : 23703 (java) S 23664 23667 23308 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 40 0 120200572 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690047612080 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23704] ppid=23664 vsize=15668944 memory=1796 CPUtime=0 cores=0-7
/proc/23667/task/23704/stat : 23704 (java) S 23664 23667 23308 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 40 0 120200573 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690046559536 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23705] ppid=23664 vsize=15668944 memory=1236 CPUtime=936.89 cores=0-7
/proc/23667/task/23705/stat : 23705 (java) R 23664 23667 23308 0 -1 4202560 80553 0 0 0 93321 368 0 0 20 0 40 0 120200576 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690045501160 140690266774888 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23706] ppid=23664 vsize=15668944 memory=640 CPUtime=1838.31 cores=0-7
/proc/23667/task/23706/stat : 23706 (java) R 23664 23667 23308 0 -1 4202560 165765 0 0 0 183092 739 0 0 20 0 40 0 120200576 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140690044448616 140690266774900 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23707] ppid=23664 vsize=15668944 memory=956 CPUtime=605.71 cores=0-7
/proc/23667/task/23707/stat : 23707 (java) R 23664 23667 23308 0 -1 4202560 43367 0 0 0 60327 244 0 0 20 0 40 0 120200576 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140689841051528 140690266774900 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23708] ppid=23664 vsize=15668944 memory=2340 CPUtime=0 cores=0-7
/proc/23667/task/23708/stat : 23708 (java) S 23664 23667 23308 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 40 0 120200576 16044998656 1220977 33554432000 4194304 4196468 140722813095504 140689840001840 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
Current children cumulated CPU time: 19715 s
Current children cumulated vsize: 15668944 KiB
Current children cumulated memory: 4883908 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.21 s]
# the end of solver process 23667 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19633 s, system=83.2976 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.14 s]
/proc/loadavg: 8.55 8.71 8.69 10/218 23763
/proc/meminfo: memFree=26480296/32770624 swapFree=67108860/67108860
[pid=23667] ppid=23664 vsize=15802072 memory=4884164 CPUtime=19716 cores=0-7
/proc/23667/stat : 23667 (java) S 23664 23667 23308 0 -1 1077944320 4754144 0 0 0 1963277 8325 0 0 20 0 42 0 120175641 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140722813078048 140690630532855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
/proc/23667/statm: 3950518 1221041 3863 1 0 3937712 0
[pid=23667/tid=23669] ppid=23664 vsize=15802072 memory=4883908 CPUtime=41.98 cores=0-7
/proc/23667/task/23669/stat : 23669 (java) S 23664 23667 23308 0 -1 1077944384 24263 0 0 0 4137 61 0 0 20 0 42 0 120175641 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690634770560 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23670] ppid=23664 vsize=15802072 memory=4140 CPUtime=433.93 cores=0-7
/proc/23667/task/23670/stat : 23670 (java) S 23664 23667 23308 0 -1 1077944384 319553 0 0 0 43284 109 0 0 20 0 42 0 120175642 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690583153424 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23671] ppid=23664 vsize=15802072 memory=33388 CPUtime=434.25 cores=0-7
/proc/23667/task/23671/stat : 23671 (java) S 23664 23667 23308 0 -1 1077944384 313289 0 0 0 43313 112 0 0 20 0 42 0 120175642 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690582100880 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23672] ppid=23664 vsize=15802072 memory=21140 CPUtime=434.12 cores=0-7
/proc/23667/task/23672/stat : 23672 (java) S 23664 23667 23308 0 -1 1077944384 324686 0 0 0 43304 108 0 0 20 0 42 0 120175642 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690581048336 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23673] ppid=23664 vsize=15802072 memory=4048 CPUtime=434.61 cores=0-7
/proc/23667/task/23673/stat : 23673 (java) S 23664 23667 23308 0 -1 1077944384 314607 0 0 0 43353 108 0 0 20 0 42 0 120175642 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690222935184 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23674] ppid=23664 vsize=15802072 memory=3183 CPUtime=434.42 cores=0-7
/proc/23667/task/23674/stat : 23674 (java) S 23664 23667 23308 0 -1 1077944384 315632 0 0 0 43330 112 0 0 20 0 42 0 120175642 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690221881616 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23675] ppid=23664 vsize=15802072 memory=21391 CPUtime=434.5 cores=0-7
/proc/23667/task/23675/stat : 23675 (java) S 23664 23667 23308 0 -1 1077944384 316868 0 0 0 43333 117 0 0 20 0 42 0 120175642 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690220829072 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23676] ppid=23664 vsize=15802072 memory=4877168 CPUtime=434.26 cores=0-7
/proc/23667/task/23676/stat : 23676 (java) S 23664 23667 23308 0 -1 1077944384 321991 0 0 0 43323 103 0 0 20 0 42 0 120175642 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690219776528 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23677] ppid=23664 vsize=15802072 memory=33388 CPUtime=433.88 cores=0-7
/proc/23667/task/23677/stat : 23677 (java) S 23664 23667 23308 0 -1 1077944384 315325 0 0 0 43279 109 0 0 20 0 42 0 120175642 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690218723984 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23678] ppid=23664 vsize=15802072 memory=12028 CPUtime=5.82 cores=0-7
/proc/23667/task/23678/stat : 23678 (java) S 23664 23667 23308 0 -1 1077944384 149829 0 0 0 527 55 0 0 20 0 42 0 120175643 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690088438256 140690630544002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23679] ppid=23664 vsize=15802072 memory=5668 CPUtime=0 cores=0-7
/proc/23667/task/23679/stat : 23679 (java) S 23664 23667 23308 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 42 0 120175644 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690087384544 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23680] ppid=23664 vsize=15802072 memory=180 CPUtime=0 cores=0-7
/proc/23667/task/23680/stat : 23680 (java) S 23664 23667 23308 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 42 0 120175644 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690086331904 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23681] ppid=23664 vsize=15802072 memory=7233996444693589353 CPUtime=0 cores=0-7
/proc/23667/task/23681/stat : 23681 (java) S 23664 23667 23308 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 42 0 120175646 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690085280464 140690630551451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23682] ppid=23664 vsize=15802072 memory=4883856 CPUtime=2.67 cores=0-7
/proc/23667/task/23682/stat : 23682 (java) R 23664 23667 23308 0 -1 4202560 20639 0 0 0 261 6 0 0 20 0 42 0 120175646 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690084227056 140690613918381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23683] ppid=23664 vsize=15802072 memory=6791534058613427641 CPUtime=3.37 cores=0-7
/proc/23667/task/23683/stat : 23683 (java) S 23664 23667 23308 0 -1 1077944384 26042 0 0 0 331 6 0 0 20 0 42 0 120175646 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690083174512 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23684] ppid=23664 vsize=15802072 memory=4883908 CPUtime=3.2 cores=0-7
/proc/23667/task/23684/stat : 23684 (java) S 23664 23667 23308 0 -1 1077944384 20218 0 0 0 318 2 0 0 20 0 42 0 120175646 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690082121968 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23685] ppid=23664 vsize=15802072 memory=6764 CPUtime=1.28 cores=0-7
/proc/23667/task/23685/stat : 23685 (java) S 23664 23667 23308 0 -1 1077944384 26526 0 0 0 121 7 0 0 20 0 42 0 120175646 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690081069424 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23686] ppid=23664 vsize=15802072 memory=840 CPUtime=0 cores=0-7
/proc/23667/task/23686/stat : 23686 (java) S 23664 23667 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 120175646 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690080017120 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23687] ppid=23664 vsize=15802072 memory=4140 CPUtime=1.56 cores=0-7
/proc/23667/task/23687/stat : 23687 (java) S 23664 23667 23308 0 -1 1077944384 6201 0 0 0 71 85 0 0 20 0 42 0 120175647 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690078964656 140690630544002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23688] ppid=23664 vsize=15802072 memory=15876 CPUtime=0 cores=0-7
/proc/23667/task/23688/stat : 23688 (java) S 23664 23667 23308 0 -1 1077944384 1031 0 0 0 0 0 0 0 20 0 42 0 120179858 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690068677888 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23689] ppid=23664 vsize=15802072 memory=21140 CPUtime=7.24 cores=0-7
/proc/23667/task/23689/stat : 23689 (java) R 23664 23667 23308 0 -1 1077944384 17524 0 0 0 327 397 0 0 20 0 42 0 120179870 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690065528480 140690630544002 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23690] ppid=23664 vsize=15802072 memory=4048 CPUtime=2020.84 cores=0-7
/proc/23667/task/23690/stat : 23690 (java) R 23664 23667 23308 0 -1 4202560 212636 0 0 0 201224 860 0 0 20 0 42 0 120179880 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690062371816 140690270029116 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23691] ppid=23664 vsize=15802072 memory=18488 CPUtime=1416.47 cores=0-7
/proc/23667/task/23691/stat : 23691 (java) S 23664 23667 23308 0 -1 1077944384 149908 0 0 0 141023 624 0 0 20 0 42 0 120179881 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690061325104 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23692] ppid=23664 vsize=15802072 memory=4883788 CPUtime=0.01 cores=0-7
/proc/23667/task/23692/stat : 23692 (java) S 23664 23667 23308 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 42 0 120179882 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690060272560 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23693] ppid=23664 vsize=15802072 memory=609 CPUtime=2022.69 cores=0-7
/proc/23667/task/23693/stat : 23693 (java) R 23664 23667 23308 0 -1 4202560 194689 0 0 0 201410 859 0 0 20 0 42 0 120179884 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690059214184 140690270029048 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23694] ppid=23664 vsize=15802072 memory=6944656575208382560 CPUtime=0.18 cores=0-7
/proc/23667/task/23694/stat : 23694 (java) S 23664 23667 23308 0 -1 1077944384 660 0 0 0 18 0 0 0 20 0 42 0 120179884 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690058167472 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23695] ppid=23664 vsize=15802072 memory=4638800320113632355 CPUtime=0.17 cores=0-7
/proc/23667/task/23695/stat : 23695 (java) S 23664 23667 23308 0 -1 1077944384 755 0 0 0 17 0 0 0 20 0 42 0 120179884 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690057114928 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23696] ppid=23664 vsize=15802072 memory=6791534058613427641 CPUtime=2022.22 cores=0-7
/proc/23667/task/23696/stat : 23696 (java) R 23664 23667 23308 0 -1 4202560 232178 0 0 0 201241 981 0 0 20 0 42 0 120179884 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690056059280 140690263642277 0 4 0 16800975 0 0 0 -1 3 0 0 43 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23697] ppid=23664 vsize=15802072 memory=4612 CPUtime=2024.33 cores=0-7
/proc/23667/task/23697/stat : 23697 (java) R 23664 23667 23308 0 -1 4202560 298579 0 0 0 201402 1031 0 0 20 0 42 0 120179884 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690055004008 140690266774900 0 4 0 16800975 0 0 0 -1 0 0 0 38 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23698] ppid=23664 vsize=15802072 memory=1428 CPUtime=2019.82 cores=0-7
/proc/23667/task/23698/stat : 23698 (java) R 23664 23667 23308 0 -1 4202560 325703 0 0 0 201084 898 0 0 20 0 42 0 120179884 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690053950440 140690270233888 0 4 0 16800975 0 0 0 -1 6 0 0 44 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23699] ppid=23664 vsize=15802072 memory=1204 CPUtime=1084.09 cores=0-7
/proc/23667/task/23699/stat : 23699 (java) S 23664 23667 23308 0 -1 1077944384 155174 0 0 0 107868 541 0 0 20 0 42 0 120179884 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690052903728 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23700] ppid=23664 vsize=15802072 memory=4873792 CPUtime=182.57 cores=0-7
/proc/23667/task/23700/stat : 23700 (java) S 23664 23667 23308 0 -1 1077944384 56383 0 0 0 18111 146 0 0 20 0 42 0 120179885 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690051851152 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23702] ppid=23664 vsize=15802072 memory=4874456 CPUtime=0 cores=0-7
/proc/23667/task/23702/stat : 23702 (java) S 23664 23667 23308 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 42 0 120200571 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690048664624 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23703] ppid=23664 vsize=15802072 memory=4140 CPUtime=0 cores=0-7
/proc/23667/task/23703/stat : 23703 (java) S 23664 23667 23308 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 42 0 120200572 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690047612080 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23704] ppid=23664 vsize=15802072 memory=4883856 CPUtime=0 cores=0-7
/proc/23667/task/23704/stat : 23704 (java) S 23664 23667 23308 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 42 0 120200573 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690046559536 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23705] ppid=23664 vsize=15802072 memory=4883908 CPUtime=937 cores=0-7
/proc/23667/task/23705/stat : 23705 (java) R 23664 23667 23308 0 -1 4202560 80558 0 0 0 93332 368 0 0 20 0 42 0 120200576 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690045501160 140690266774864 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23706] ppid=23664 vsize=15802072 memory=4883908 CPUtime=1838.42 cores=0-7
/proc/23667/task/23706/stat : 23706 (java) R 23664 23667 23308 0 -1 4202560 165770 0 0 0 183103 739 0 0 20 0 42 0 120200576 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140690044448616 140690270214144 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23707] ppid=23664 vsize=15802072 memory=-7388952924613284044 CPUtime=605.82 cores=0-7
/proc/23667/task/23707/stat : 23707 (java) R 23664 23667 23308 0 -1 4202560 43376 0 0 0 60338 244 0 0 20 0 42 0 120200576 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140689841051528 140690263642428 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
[pid=23667/tid=23708] ppid=23664 vsize=15802072 memory=7163063586525570860 CPUtime=0 cores=0-7
/proc/23667/task/23708/stat : 23708 (java) S 23664 23667 23308 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 42 0 120200576 16181321728 1221041 33554432000 4194304 4196468 140722813095504 140689840001840 140690630543061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30285824 140722813097058 140722813097243 140722813097243 140722813099983 0
Current children cumulated CPU time: 19716 s
Current children cumulated vsize: 15802072 KiB
Current children cumulated memory: 4884164 KiB

Child status: 143
Real time (s): 2520.21
CPU time (s): 19716.3
CPU user time (s): 19633
CPU system time (s): 83.2976
CPU usage (%): 782.329
Max. virtual memory (cumulated for all children) (KiB): 15802072
Max. memory (cumulated for all children) (KiB): 4884164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19633
system time used= 83.2976
maximum resident set size= 4884732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4754321
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 477788
involuntary context switches= 380585


# summary of solver processes directly reported to runsolver:
#   pid: 23667
#   total CPU time (s): 19716.3
#   total CPU user time (s): 19633
#   total CPU system time (s): 83.2976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.9288 second user time and 41.1425 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	2400.1299
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 4275803

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