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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - Conflict Ordering 2017-06-30	SAT (TO)	242	2400.14	2351.75

0.42/0.30	c version: 2017-06-30
0.42/0.30	c seed: 1105041706
0.42/0.30	c timeout: 2400
0.42/0.30	c memlimit: 15500
0.42/0.30	c nbcore: 8
0.42/0.32	c Parsing instance...
4.70/1.80	c Parsing done, starting search...
6.10/2.19	o 198
6.10/2.20	o 199
6.30/2.20	o 200
6.30/2.20	o 201
6.30/2.20	o 202
6.30/2.21	o 203
6.30/2.21	o 204
6.30/2.21	o 205
6.30/2.21	o 206
6.30/2.21	o 207
6.30/2.21	o 208
6.30/2.22	o 209
6.30/2.22	o 210
6.30/2.22	o 211
6.30/2.22	o 212
6.30/2.22	o 213
6.30/2.23	o 214
6.30/2.23	o 215
6.30/2.23	o 216
6.30/2.23	o 217
6.30/2.23	o 218
6.30/2.24	o 219
6.30/2.24	o 220
6.30/2.24	o 221
6.30/2.24	o 222
6.30/2.24	o 223
6.30/2.24	o 224
6.30/2.25	o 225
6.30/2.25	o 226
6.30/2.25	o 227
6.30/2.25	o 228
6.30/2.25	o 229
6.30/2.25	o 230
6.30/2.26	o 231
6.30/2.26	o 232
6.30/2.27	o 233
6.69/2.32	o 234
6.69/2.32	o 235
6.69/2.37	o 236
7.29/2.54	o 237
8.39/3.11	o 238
8.81/3.55	o 239
13.96/8.29	o 240
60.82/54.62	o 241
61.83/55.65	o 242
2400.07/2351.70	s SATISFIABLE
2400.07/2351.71	v <instantiation>
2400.07/2351.71	v 	<list>
2400.07/2351.71	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] z
2400.07/2351.71	v 	</list>
2400.07/2351.71	v 	<values>
2400.07/2351.71	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 1 1 1 2 2 1 2 1 2 2 2 1 2 1 2 1 0 0 0 1 0 2 1 1 0 1 1 0 1 1 0 0 1 2 1 0 0 0 1 2 0 1 0 0 0 2 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 1 1 2 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 2 0 0 0 2 1 2 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 2 0 0 1 1 0 0 0 2 2 2 1 1 2 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 2 2 0 1 0 2 2 2 0 1 0 2 1 2 2 2 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 0 28 86 144 202 260 318 376 434 486 517 531 542 555 565 573 576 585 593 597 601 608 613 615 622 625 632 648 667 693 712 242 
2400.07/2351.71	v 	</values>
2400.07/2351.71	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244791-1500692735/watcher-4244791-1500692735 -o /tmp/evaluation-result-4244791-1500692735/solver-4244791-1500692735 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500683185-8691 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1105041706 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244791-1500692735.xml 

pid=10191
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 1.63 1.55 3/262 10194
/proc/meminfo: memFree=31246300/32770624 swapFree=5896/97444
[pid=10194] ppid=10191 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 1948 0 0 0 0 0 0 0 20 0 2 0 4541902 10889764864 2168 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 2658634 2168 1188 1 0 2647545 0
[pid=10194/tid=10195] ppid=10191 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 730 0 0 0 0 0 0 0 20 0 2 0 4541903 10889764864 2300 33554432000 4194304 4196468 140734832872064 140176221505952 140176209553312 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0

[startup+0.100073 s]
/proc/loadavg: 2.00 1.63 1.55 3/262 10194
/proc/meminfo: memFree=31246300/32770624 swapFree=5896/97444
[pid=10194] ppid=10191 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 5515 0 0 0 8 1 0 0 20 0 20 0 4541902 13582725120 6603 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 3316095 6603 3297 1 0 3303815 0
[pid=10194/tid=10195] ppid=10191 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 3598 0 0 0 7 1 0 0 20 0 20 0 4541903 13582725120 6603 33554432000 4194304 4196468 140734832872064 140176221503640 140176209500990 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200455 s]
/proc/loadavg: 2.00 1.63 1.55 3/262 10194
/proc/meminfo: memFree=31246300/32770624 swapFree=5896/97444
[pid=10194] ppid=10191 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 8650 0 0 0 23 2 0 0 20 0 20 0 4541902 13582245888 9156 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 3315978 9156 3507 1 0 3303698 0
[pid=10194/tid=10195] ppid=10191 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 6387 0 0 0 16 2 0 0 20 0 20 0 4541903 13582245888 9156 33554432000 4194304 4196468 140734832872064 140176221486128 140176217285789 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300337 s]
/proc/loadavg: 2.00 1.63 1.55 3/262 10194
/proc/meminfo: memFree=31246300/32770624 swapFree=5896/97444
[pid=10194] ppid=10191 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 9676 0 0 0 39 3 0 0 20 0 20 0 4541902 13582245888 11428 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 3315978 11428 3638 1 0 3303698 0
[pid=10194/tid=10195] ppid=10191 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 7109 0 0 0 25 2 0 0 20 0 20 0 4541903 13582245888 11428 33554432000 4194304 4196468 140734832872064 140176221476368 140176198637320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700262 s]
/proc/loadavg: 2.00 1.63 1.55 3/262 10194
/proc/meminfo: memFree=31246300/32770624 swapFree=5896/97444
[pid=10194] ppid=10191 vsize=13265980 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 12798 0 0 0 150 6 0 0 20 0 20 0 4541902 13584363520 20188 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 3316495 20188 3778 1 0 3304210 0
[pid=10194/tid=10195] ppid=10191 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 8060 0 0 0 63 4 0 0 20 0 20 0 4541903 13584363520 20188 33554432000 4194304 4196468 140734832872064 140176221499472 140175804017800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 13265980

[startup+1.51324 s]
/proc/loadavg: 2.00 1.64 1.55 5/282 10214
/proc/meminfo: memFree=30993168/32770624 swapFree=5896/97480
[pid=10194] ppid=10191 vsize=13270076 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 26353 0 0 0 390 20 0 0 20 0 20 0 4541902 13588557824 57335 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 3317519 57335 3804 1 0 3305234 0
[pid=10194/tid=10195] ppid=10191 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 11205 0 0 0 139 6 0 0 20 0 20 0 4541903 13588557824 57335 33554432000 4194304 4196468 140734832872064 140176221497480 140175810531886 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10197] ppid=10191 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10197/stat : 10197 (java) S 10191 10194 8659 0 -1 1077944384 32 0 0 0 0 1 0 0 20 0 20 0 4541904 13588557824 57335 33554432000 4194304 4196468 140734832872064 140176135744400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10198] ppid=10191 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10198/stat : 10198 (java) S 10191 10194 8659 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 20 0 4541904 13588557824 57335 33554432000 4194304 4196468 140734832872064 140176134691600 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10199] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10199/stat : 10199 (java) S 10191 10194 8659 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4541904 13588557824 57335 33554432000 4194304 4196468 140734832872064 140176133639312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10200] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10200/stat : 10200 (java) S 10191 10194 8659 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 20 0 4541904 13588557824 57335 33554432000 4194304 4196468 140734832872064 140176132586512 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10201] ppid=10191 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10201/stat : 10201 (java) S 10191 10194 8659 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 20 0 4541904 13588557824 57335 33554432000 4194304 4196468 140734832872064 140176131533200 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10202] ppid=10191 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10202/stat : 10202 (java) S 10191 10194 8659 0 -1 1077944384 34 0 0 0 0 1 0 0 20 0 20 0 4541904 13588557824 57335 33554432000 4194304 4196468 140734832872064 140176130480400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10203] ppid=10191 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10203/stat : 10203 (java) S 10191 10194 8659 0 -1 1077944384 50 0 0 0 0 1 0 0 20 0 20 0 4541904 13588557824 57335 33554432000 4194304 4196468 140734832872064 140176129428112 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10204] ppid=10191 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10204/stat : 10204 (java) S 10191 10194 8659 0 -1 1077944384 27 0 0 0 0 1 0 0 20 0 20 0 4541904 13588557824 57335 33554432000 4194304 4196468 140734832872064 140176128375312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10205] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10205/stat : 10205 (java) S 10191 10194 8659 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 4541906 13588557824 57335 33554432000 4194304 4196468 140734832872064 140175545350768 140176217275010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10206] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10206/stat : 10206 (java) S 10191 10194 8659 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 57335 33554432000 4194304 4196468 140734832872064 140175544296800 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10207] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10207/stat : 10207 (java) S 10191 10194 8659 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 57335 33554432000 4194304 4196468 140734832872064 140175543244400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10208] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10208/stat : 10208 (java) S 10191 10194 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 57335 33554432000 4194304 4196468 140734832872064 140175542192720 140176217282459 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10209] ppid=10191 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10209/stat : 10209 (java) S 10191 10194 8659 0 -1 1077944384 2650 0 0 0 54 0 0 0 20 0 20 0 4541911 13588557824 57335 33554432000 4194304 4196468 140734832872064 140175541139568 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10210] ppid=10191 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10210/stat : 10210 (java) R 10191 10194 8659 0 -1 4202560 1812 0 0 0 54 0 0 0 20 0 20 0 4541911 13588557824 57335 33554432000 4194304 4196468 140734832872064 140175540072608 140176197964160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10211] ppid=10191 vsize=13270076 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10211/stat : 10211 (java) R 10191 10194 8659 0 -1 4202560 2199 0 0 0 55 1 0 0 20 0 20 0 4541911 13588557824 57335 33554432000 4194304 4196468 140734832872064 140175539020912 140176196540832 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10212] ppid=10191 vsize=13270076 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10212/stat : 10212 (java) S 10191 10194 8659 0 -1 1077944384 6224 0 0 0 79 1 0 0 20 0 20 0 4541911 13588557824 57335 33554432000 4194304 4196468 140734832872064 140175537981680 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10213] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10213/stat : 10213 (java) S 10191 10194 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 57335 33554432000 4194304 4196468 140734832872064 140175536929632 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10214] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10214/stat : 10214 (java) S 10191 10194 8659 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 57335 33554432000 4194304 4196468 140734832872064 140175535876912 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 13270076

[startup+3.10094 s]
/proc/loadavg: 2.00 1.64 1.55 6/282 10214
/proc/meminfo: memFree=30891804/32770624 swapFree=5896/97480
[pid=10194] ppid=10191 vsize=13270076 CPUtime=8.39 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 31776 0 0 0 775 64 0 0 20 0 20 0 4541902 13588557824 105065 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 3317519 105065 3837 1 0 3305234 0
[pid=10194/tid=10195] ppid=10191 vsize=13270076 CPUtime=2.93 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 12259 0 0 0 285 8 0 0 20 0 20 0 4541903 13588557824 105065 33554432000 4194304 4196468 140734832872064 140176221502352 140175813565166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10197] ppid=10191 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10197/stat : 10197 (java) S 10191 10194 8659 0 -1 1077944384 81 0 0 0 4 5 0 0 20 0 20 0 4541904 13588557824 105065 33554432000 4194304 4196468 140734832872064 140176135744400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10198] ppid=10191 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10198/stat : 10198 (java) S 10191 10194 8659 0 -1 1077944384 88 0 0 0 4 6 0 0 20 0 20 0 4541904 13588557824 105065 33554432000 4194304 4196468 140734832872064 140176134691600 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10199] ppid=10191 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10199/stat : 10199 (java) S 10191 10194 8659 0 -1 1077944384 85 0 0 0 4 6 0 0 20 0 20 0 4541904 13588557824 105065 33554432000 4194304 4196468 140734832872064 140176133639312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10200] ppid=10191 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10200/stat : 10200 (java) S 10191 10194 8659 0 -1 1077944384 282 0 0 0 4 5 0 0 20 0 20 0 4541904 13588557824 105065 33554432000 4194304 4196468 140734832872064 140176132586512 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10201] ppid=10191 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10201/stat : 10201 (java) S 10191 10194 8659 0 -1 1077944384 960 0 0 0 4 5 0 0 20 0 20 0 4541904 13588557824 105065 33554432000 4194304 4196468 140734832872064 140176131533200 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10202] ppid=10191 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10202/stat : 10202 (java) S 10191 10194 8659 0 -1 1077944384 88 0 0 0 4 6 0 0 20 0 20 0 4541904 13588557824 105065 33554432000 4194304 4196468 140734832872064 140176130480400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10203] ppid=10191 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10203/stat : 10203 (java) S 10191 10194 8659 0 -1 1077944384 160 0 0 0 4 6 0 0 20 0 20 0 4541904 13588557824 105065 33554432000 4194304 4196468 140734832872064 140176129428112 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10204] ppid=10191 vsize=13270076 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10204/stat : 10204 (java) S 10191 10194 8659 0 -1 1077944384 76 0 0 0 4 6 0 0 20 0 20 0 4541904 13588557824 105065 33554432000 4194304 4196468 140734832872064 140176128375312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10205] ppid=10191 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10205/stat : 10205 (java) S 10191 10194 8659 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 20 0 4541906 13588557824 105065 33554432000 4194304 4196468 140734832872064 140175545350768 140176217275010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10206] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10206/stat : 10206 (java) S 10191 10194 8659 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 105065 33554432000 4194304 4196468 140734832872064 140175544296800 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10207] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10207/stat : 10207 (java) S 10191 10194 8659 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 105065 33554432000 4194304 4196468 140734832872064 140175543244416 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10208] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10208/stat : 10208 (java) S 10191 10194 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 105065 33554432000 4194304 4196468 140734832872064 140175542192720 140176217282459 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10209] ppid=10191 vsize=13270076 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10209/stat : 10209 (java) S 10191 10194 8659 0 -1 1077944384 3550 0 0 0 114 1 0 0 20 0 20 0 4541911 13588557824 105065 33554432000 4194304 4196468 140734832872064 140175541139568 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10210] ppid=10191 vsize=13270076 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10210/stat : 10210 (java) S 10191 10194 8659 0 -1 1077944384 2665 0 0 0 122 0 0 0 20 0 20 0 4541911 13588557824 105065 33554432000 4194304 4196468 140734832872064 140175540086768 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10211] ppid=10191 vsize=13270076 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10211/stat : 10211 (java) S 10191 10194 8659 0 -1 1077944384 3116 0 0 0 120 1 0 0 20 0 20 0 4541911 13588557824 105065 33554432000 4194304 4196468 140734832872064 140175539034480 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10212] ppid=10191 vsize=13270076 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10212/stat : 10212 (java) S 10191 10194 8659 0 -1 1077944384 6463 0 0 0 92 2 0 0 20 0 20 0 4541911 13588557824 105065 33554432000 4194304 4196468 140734832872064 140175537981680 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10213] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10213/stat : 10213 (java) S 10191 10194 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 105065 33554432000 4194304 4196468 140734832872064 140175536929632 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10214] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10214/stat : 10214 (java) S 10191 10194 8659 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 105065 33554432000 4194304 4196468 140734832872064 140175535876912 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
Current children cumulated CPU time (s) 8.39
Current children cumulated vsize (KiB) 13270076

[startup+6.30075 s]
/proc/loadavg: 2.00 1.65 1.55 3/282 10214
/proc/meminfo: memFree=30754404/32770624 swapFree=5896/97488
[pid=10194] ppid=10191 vsize=13270076 CPUtime=11.86 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 32063 0 0 0 1109 77 0 0 20 0 20 0 4541902 13588557824 110718 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 3317519 110718 3837 1 0 3305234 0
[pid=10194/tid=10195] ppid=10191 vsize=13270076 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 12399 0 0 0 602 8 0 0 20 0 20 0 4541903 13588557824 110718 33554432000 4194304 4196468 140734832872064 140176221499040 140175812391515 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10197] ppid=10191 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10197/stat : 10197 (java) S 10191 10194 8659 0 -1 1077944384 94 0 0 0 5 7 0 0 20 0 20 0 4541904 13588557824 110718 33554432000 4194304 4196468 140734832872064 140176135744400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10198] ppid=10191 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10198/stat : 10198 (java) S 10191 10194 8659 0 -1 1077944384 98 0 0 0 5 8 0 0 20 0 20 0 4541904 13588557824 110718 33554432000 4194304 4196468 140734832872064 140176134691600 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10199] ppid=10191 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10199/stat : 10199 (java) S 10191 10194 8659 0 -1 1077944384 95 0 0 0 5 8 0 0 20 0 20 0 4541904 13588557824 110718 33554432000 4194304 4196468 140734832872064 140176133639312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10200] ppid=10191 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10200/stat : 10200 (java) S 10191 10194 8659 0 -1 1077944384 293 0 0 0 6 7 0 0 20 0 20 0 4541904 13588557824 110718 33554432000 4194304 4196468 140734832872064 140176132586512 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10201] ppid=10191 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10201/stat : 10201 (java) S 10191 10194 8659 0 -1 1077944384 971 0 0 0 5 7 0 0 20 0 20 0 4541904 13588557824 110718 33554432000 4194304 4196468 140734832872064 140176131533200 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10202] ppid=10191 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10202/stat : 10202 (java) S 10191 10194 8659 0 -1 1077944384 104 0 0 0 5 7 0 0 20 0 20 0 4541904 13588557824 110718 33554432000 4194304 4196468 140734832872064 140176130480400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10203] ppid=10191 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10203/stat : 10203 (java) S 10191 10194 8659 0 -1 1077944384 171 0 0 0 6 7 0 0 20 0 20 0 4541904 13588557824 110718 33554432000 4194304 4196468 140734832872064 140176129428112 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10204] ppid=10191 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10204/stat : 10204 (java) S 10191 10194 8659 0 -1 1077944384 88 0 0 0 6 7 0 0 20 0 20 0 4541904 13588557824 110718 33554432000 4194304 4196468 140734832872064 140176128375312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10205] ppid=10191 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10205/stat : 10205 (java) S 10191 10194 8659 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 20 0 4541906 13588557824 110718 33554432000 4194304 4196468 140734832872064 140175545350768 140176217275010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10206] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10206/stat : 10206 (java) S 10191 10194 8659 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 110718 33554432000 4194304 4196468 140734832872064 140175544296800 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10207] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10207/stat : 10207 (java) S 10191 10194 8659 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 110718 33554432000 4194304 4196468 140734832872064 140175543244416 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10208] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=10194/tid=10210] ppid=10191 vsize=13270076 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10210/stat : 10210 (java) S 10191 10194 8659 0 -1 1077944384 3032 0 0 0 127 1 0 0 20 0 20 0 4541911 13588557824 801467 33554432000 4194304 4196468 140734832872064 140175540086768 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10211] ppid=10191 vsize=13270076 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10211/stat : 10211 (java) S 10191 10194 8659 0 -1 1077944384 5658 0 0 0 127 2 0 0 20 0 20 0 4541911 13588557824 801467 33554432000 4194304 4196468 140734832872064 140175539034480 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10212] ppid=10191 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10212/stat : 10212 (java) S 10191 10194 8659 0 -1 1077944384 6768 0 0 0 95 2 0 0 20 0 20 0 4541911 13588557824 801467 33554432000 4194304 4196468 140734832872064 140175537981680 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10213] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10213/stat : 10213 (java) S 10191 10194 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 801467 33554432000 4194304 4196468 140734832872064 140175536929632 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10214] ppid=10191 vsize=13270076 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10214/stat : 10214 (java) S 10191 10194 8659 0 -1 1077944384 1955 0 0 0 48 50 0 0 20 0 20 0 4541911 13588557824 801467 33554432000 4194304 4196468 140734832872064 140175535876912 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
Current children cumulated CPU time (s) 2247.3
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.54 1.51 1.54 3/281 10282
/proc/meminfo: memFree=25499024/32770624 swapFree=5896/99572
[pid=10194] ppid=10191 vsize=13270076 CPUtime=2308.68 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 263966 0 0 0 230429 439 0 0 20 0 20 0 4541902 13588557824 801979 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 3317519 801979 3838 1 0 3305234 0
[pid=10194/tid=10195] ppid=10191 vsize=13270076 CPUtime=2248.87 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 91951 0 0 0 224820 67 0 0 20 0 20 0 4541903 13588557824 801979 33554432000 4194304 4196468 140734832872064 140176221502160 140175813264532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10197] ppid=10191 vsize=13270076 CPUtime=6.18 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10197/stat : 10197 (java) S 10191 10194 8659 0 -1 1077944384 18065 0 0 0 576 42 0 0 20 0 20 0 4541904 13588557824 801979 33554432000 4194304 4196468 140734832872064 140176135744400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10198] ppid=10191 vsize=13270076 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10198/stat : 10198 (java) S 10191 10194 8659 0 -1 1077944384 13202 0 0 0 582 39 0 0 20 0 20 0 4541904 13588557824 801979 33554432000 4194304 4196468 140734832872064 140176134691600 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10199] ppid=10191 vsize=13270076 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10199/stat : 10199 (java) S 10191 10194 8659 0 -1 1077944384 13352 0 0 0 587 40 0 0 20 0 20 0 4541904 13588557824 801979 33554432000 4194304 4196468 140734832872064 140176133639312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10200] ppid=10191 vsize=13270076 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10200/stat : 10200 (java) S 10191 10194 8659 0 -1 1077944384 13551 0 0 0 579 38 0 0 20 0 20 0 4541904 13588557824 801979 33554432000 4194304 4196468 140734832872064 140176132586512 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10201] ppid=10191 vsize=13270076 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10201/stat : 10201 (java) S 10191 10194 8659 0 -1 1077944384 16150 0 0 0 581 40 0 0 20 0 20 0 4541904 13588557824 801979 33554432000 4194304 4196468 140734832872064 140176131533200 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10202] ppid=10191 vsize=13270076 CPUtime=6.19 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10202/stat : 10202 (java) S 10191 10194 8659 0 -1 1077944384 15017 0 0 0 579 40 0 0 20 0 20 0 4541904 13588557824 801979 33554432000 4194304 4196468 140734832872064 140176130480400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10203] ppid=10191 vsize=13270076 CPUtime=6.25 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10203/stat : 10203 (java) S 10191 10194 8659 0 -1 1077944384 13390 0 0 0 584 41 0 0 20 0 20 0 4541904 13588557824 801979 33554432000 4194304 4196468 140734832872064 140176129428112 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10204] ppid=10191 vsize=13270076 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10204/stat : 10204 (java) S 10191 10194 8659 0 -1 1077944384 17604 0 0 0 585 38 0 0 20 0 20 0 4541904 13588557824 801979 33554432000 4194304 4196468 140734832872064 140176128375312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10205] ppid=10191 vsize=13270076 CPUtime=4.22 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10205/stat : 10205 (java) S 10191 10194 8659 0 -1 1077944384 28691 0 0 0 392 30 0 0 20 0 20 0 4541906 13588557824 801979 33554432000 4194304 4196468 140734832872064 140175545350768 140176217275010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10206] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10206/stat : 10206 (java) S 10191 10194 8659 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 801979 33554432000 4194304 4196468 140734832872064 140175544296800 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10207] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10207/stat : 10207 (java) S 10191 10194 8659 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 801979 33554432000 4194304 4196468 140734832872064 140175543244416 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10208] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10208/stat : 10208 (java) S 10191 10194 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 801979 33554432000 4194304 4196468 140734832872064 140175542192720 140176217282459 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10209] ppid=10191 vsize=13270076 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10209/stat : 10209 (java) S 10191 10194 8659 0 -1 1077944384 4074 0 0 0 117 1 0 0 20 0 20 0 4541911 13588557824 801979 33554432000 4194304 4196468 140734832872064 140175541139568 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10210] ppid=10191 vsize=13270076 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10210/stat : 10210 (java) S 10191 10194 8659 0 -1 1077944384 3043 0 0 0 127 1 0 0 20 0 20 0 4541911 13588557824 801979 33554432000 4194304 4196468 140734832872064 140175540086768 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10211] ppid=10191 vsize=13270076 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10211/stat : 10211 (java) S 10191 10194 8659 0 -1 1077944384 5669 0 0 0 127 2 0 0 20 0 20 0 4541911 13588557824 801979 33554432000 4194304 4196468 140734832872064 140175539034480 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10212] ppid=10191 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10212/stat : 10212 (java) S 10191 10194 8659 0 -1 1077944384 6776 0 0 0 95 2 0 0 20 0 20 0 4541911 13588557824 801979 33554432000 4194304 4196468 140734832872064 140175537981680 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10213] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10213/stat : 10213 (java) S 10191 10194 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 801979 33554432000 4194304 4196468 140734832872064 140175536929632 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10214] ppid=10191 vsize=13270076 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10214/stat : 10214 (java) S 10191 10194 8659 0 -1 1077944384 2010 0 0 0 49 52 0 0 20 0 20 0 4541911 13588557824 801979 33554432000 4194304 4196468 140734832872064 140175535876912 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
Current children cumulated CPU time (s) 2308.68
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.33 1.46 1.52 3/281 10283
/proc/meminfo: memFree=25492992/32770624 swapFree=5896/99616
[pid=10194] ppid=10191 vsize=13270076 CPUtime=2369.96 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 270736 0 0 0 236549 447 0 0 20 0 20 0 4541902 13588557824 803003 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 3317519 803003 3838 1 0 3305234 0
[pid=10194/tid=10195] ppid=10191 vsize=13270076 CPUtime=2308.46 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 94028 0 0 0 230778 68 0 0 20 0 20 0 4541903 13588557824 803003 33554432000 4194304 4196468 140734832872064 140176221502256 140175813565507 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10197] ppid=10191 vsize=13270076 CPUtime=6.37 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10197/stat : 10197 (java) S 10191 10194 8659 0 -1 1077944384 18353 0 0 0 595 42 0 0 20 0 20 0 4541904 13588557824 803003 33554432000 4194304 4196468 140734832872064 140176135744400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10198] ppid=10191 vsize=13270076 CPUtime=6.4 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10198/stat : 10198 (java) S 10191 10194 8659 0 -1 1077944384 14588 0 0 0 601 39 0 0 20 0 20 0 4541904 13588557824 803003 33554432000 4194304 4196468 140734832872064 140176134691600 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10199] ppid=10191 vsize=13270076 CPUtime=6.44 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10199/stat : 10199 (java) S 10191 10194 8659 0 -1 1077944384 14052 0 0 0 604 40 0 0 20 0 20 0 4541904 13588557824 803003 33554432000 4194304 4196468 140734832872064 140176133639312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10200] ppid=10191 vsize=13270076 CPUtime=6.36 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10200/stat : 10200 (java) S 10191 10194 8659 0 -1 1077944384 13789 0 0 0 597 39 0 0 20 0 20 0 4541904 13588557824 803003 33554432000 4194304 4196468 140734832872064 140176132586512 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10201] ppid=10191 vsize=13270076 CPUtime=6.41 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10201/stat : 10201 (java) S 10191 10194 8659 0 -1 1077944384 16493 0 0 0 600 41 0 0 20 0 20 0 4541904 13588557824 803003 33554432000 4194304 4196468 140734832872064 140176131533200 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10202] ppid=10191 vsize=13270076 CPUtime=6.36 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10202/stat : 10202 (java) S 10191 10194 8659 0 -1 1077944384 15284 0 0 0 596 40 0 0 20 0 20 0 4541904 13588557824 803003 33554432000 4194304 4196468 140734832872064 140176130480400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10203] ppid=10191 vsize=13270076 CPUtime=6.46 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10203/stat : 10203 (java) S 10191 10194 8659 0 -1 1077944384 13724 0 0 0 604 42 0 0 20 0 20 0 4541904 13588557824 803003 33554432000 4194304 4196468 140734832872064 140176129428112 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10204] ppid=10191 vsize=13270076 CPUtime=6.43 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10204/stat : 10204 (java) S 10191 10194 8659 0 -1 1077944384 17875 0 0 0 604 39 0 0 20 0 20 0 4541904 13588557824 803003 33554432000 4194304 4196468 140734832872064 140176128375312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10205] ppid=10191 vsize=13270076 CPUtime=4.36 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10205/stat : 10205 (java) S 10191 10194 8659 0 -1 1077944384 29475 0 0 0 405 31 0 0 20 0 20 0 4541906 13588557824 803003 33554432000 4194304 4196468 140734832872064 140175545350768 140176217275010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10206] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10206/stat : 10206 (java) S 10191 10194 8659 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 803003 33554432000 4194304 4196468 140734832872064 140175544296800 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10207] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10207/stat : 10207 (java) S 10191 10194 8659 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 803003 33554432000 4194304 4196468 140734832872064 140175543244416 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10208] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10208/stat : 10208 (java) S 10191 10194 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 803003 33554432000 4194304 4196468 140734832872064 140175542192720 140176217282459 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10209] ppid=10191 vsize=13270076 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10209/stat : 10209 (java) S 10191 10194 8659 0 -1 1077944384 4080 0 0 0 117 1 0 0 20 0 20 0 4541911 13588557824 803003 33554432000 4194304 4196468 140734832872064 140175541139568 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10210] ppid=10191 vsize=13270076 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10210/stat : 10210 (java) S 10191 10194 8659 0 -1 1077944384 3049 0 0 0 127 1 0 0 20 0 20 0 4541911 13588557824 803003 33554432000 4194304 4196468 140734832872064 140175540086768 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10211] ppid=10191 vsize=13270076 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10211/stat : 10211 (java) S 10191 10194 8659 0 -1 1077944384 5678 0 0 0 127 2 0 0 20 0 20 0 4541911 13588557824 803003 33554432000 4194304 4196468 140734832872064 140175539034480 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10212] ppid=10191 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10212/stat : 10212 (java) S 10191 10194 8659 0 -1 1077944384 6782 0 0 0 95 2 0 0 20 0 20 0 4541911 13588557824 803003 33554432000 4194304 4196468 140734832872064 140175537981680 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10213] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10213/stat : 10213 (java) S 10191 10194 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 803003 33554432000 4194304 4196468 140734832872064 140175536929632 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10214] ppid=10191 vsize=13270076 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10214/stat : 10214 (java) S 10191 10194 8659 0 -1 1077944384 2065 0 0 0 50 53 0 0 20 0 20 0 4541911 13588557824 803003 33554432000 4194304 4196468 140734832872064 140175535876912 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
Current children cumulated CPU time (s) 2369.96
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2351.7 s]
/proc/loadavg: 1.43 1.46 1.51 3/281 10378
/proc/meminfo: memFree=28463756/32770624 swapFree=5896/99696
[pid=10194] ppid=10191 vsize=13270076 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/10194/stat : 10194 (java) S 10191 10194 8659 0 -1 1077944320 274600 0 0 0 239555 452 0 0 20 0 20 0 4541902 13588557824 803515 33554432000 4194304 4196468 140734832872064 140734832854608 140176217263863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
/proc/10194/statm: 3317519 803515 3838 1 0 3305234 0
[pid=10194/tid=10195] ppid=10191 vsize=13270076 CPUtime=2337.64 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10195/stat : 10195 (java) R 10191 10194 8659 0 -1 4202560 94923 0 0 0 233696 68 0 0 20 0 20 0 4541903 13588557824 803515 33554432000 4194304 4196468 140734832872064 140176221502480 140175813566877 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10197] ppid=10191 vsize=13270076 CPUtime=6.48 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10197/stat : 10197 (java) S 10191 10194 8659 0 -1 1077944384 18589 0 0 0 606 42 0 0 20 0 20 0 4541904 13588557824 803515 33554432000 4194304 4196468 140734832872064 140176135744400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10198] ppid=10191 vsize=13270076 CPUtime=6.5 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10198/stat : 10198 (java) S 10191 10194 8659 0 -1 1077944384 15360 0 0 0 610 40 0 0 20 0 20 0 4541904 13588557824 803515 33554432000 4194304 4196468 140734832872064 140176134691600 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10199] ppid=10191 vsize=13270076 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10199/stat : 10199 (java) S 10191 10194 8659 0 -1 1077944384 14279 0 0 0 614 41 0 0 20 0 20 0 4541904 13588557824 803515 33554432000 4194304 4196468 140734832872064 140176133639312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10200] ppid=10191 vsize=13270076 CPUtime=6.47 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10200/stat : 10200 (java) S 10191 10194 8659 0 -1 1077944384 13897 0 0 0 608 39 0 0 20 0 20 0 4541904 13588557824 803515 33554432000 4194304 4196468 140734832872064 140176132586512 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10201] ppid=10191 vsize=13270076 CPUtime=6.52 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10201/stat : 10201 (java) S 10191 10194 8659 0 -1 1077944384 16603 0 0 0 610 42 0 0 20 0 20 0 4541904 13588557824 803515 33554432000 4194304 4196468 140734832872064 140176131533200 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10202] ppid=10191 vsize=13270076 CPUtime=6.47 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10202/stat : 10202 (java) S 10191 10194 8659 0 -1 1077944384 15379 0 0 0 606 41 0 0 20 0 20 0 4541904 13588557824 803515 33554432000 4194304 4196468 140734832872064 140176130480400 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10203] ppid=10191 vsize=13270076 CPUtime=6.57 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10203/stat : 10203 (java) S 10191 10194 8659 0 -1 1077944384 13955 0 0 0 614 43 0 0 20 0 20 0 4541904 13588557824 803515 33554432000 4194304 4196468 140734832872064 140176129428112 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10204] ppid=10191 vsize=13270076 CPUtime=6.54 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10204/stat : 10204 (java) S 10191 10194 8659 0 -1 1077944384 18514 0 0 0 615 39 0 0 20 0 20 0 4541904 13588557824 803515 33554432000 4194304 4196468 140734832872064 140176128375312 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10205] ppid=10191 vsize=13270076 CPUtime=4.42 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10205/stat : 10205 (java) S 10191 10194 8659 0 -1 1077944384 29981 0 0 0 411 31 0 0 20 0 20 0 4541906 13588557824 803515 33554432000 4194304 4196468 140734832872064 140175545350768 140176217275010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10206] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10206/stat : 10206 (java) S 10191 10194 8659 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 803515 33554432000 4194304 4196468 140734832872064 140175544296800 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10207] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10207/stat : 10207 (java) S 10191 10194 8659 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4541907 13588557824 803515 33554432000 4194304 4196468 140734832872064 140175543244416 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10208] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10208/stat : 10208 (java) S 10191 10194 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 803515 33554432000 4194304 4196468 140734832872064 140175542192720 140176217282459 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10209] ppid=10191 vsize=13270076 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10209/stat : 10209 (java) S 10191 10194 8659 0 -1 1077944384 4082 0 0 0 117 1 0 0 20 0 20 0 4541911 13588557824 803515 33554432000 4194304 4196468 140734832872064 140175541139568 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10210] ppid=10191 vsize=13270076 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10210/stat : 10210 (java) S 10191 10194 8659 0 -1 1077944384 3051 0 0 0 127 1 0 0 20 0 20 0 4541911 13588557824 803515 33554432000 4194304 4196468 140734832872064 140175540086768 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10211] ppid=10191 vsize=13270076 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10211/stat : 10211 (java) S 10191 10194 8659 0 -1 1077944384 5681 0 0 0 127 2 0 0 20 0 20 0 4541911 13588557824 803515 33554432000 4194304 4196468 140734832872064 140175539034480 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10212] ppid=10191 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10212/stat : 10212 (java) S 10191 10194 8659 0 -1 1077944384 6784 0 0 0 95 2 0 0 20 0 20 0 4541911 13588557824 803515 33554432000 4194304 4196468 140734832872064 140175537981680 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10213] ppid=10191 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10213/stat : 10213 (java) S 10191 10194 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4541911 13588557824 803515 33554432000 4194304 4196468 140734832872064 140175536929632 140176217274069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
[pid=10194/tid=10214] ppid=10191 vsize=13270076 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/10194/task/10214/stat : 10214 (java) S 10191 10194 8659 0 -1 1077944384 2101 0 0 0 51 54 0 0 20 0 20 0 4541911 13588557824 803515 33554432000 4194304 4196468 140734832872064 140175535876912 140176217275010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20250624 140734832878729 140734832878916 140734832878916 140734832881615 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13270076

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10194 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2351.75
CPU time (s): 2400.14
CPU user time (s): 2395.59
CPU system time (s): 4.54635
CPU usage (%): 102.058
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.59
system time used= 4.54635
maximum resident set size= 3455004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276985
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 223474
involuntary context switches= 155658

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9183 second user time and 20.4704 second system time

The end

Launcher Data

Begin job on node121 at 2017-07-22 05:05:35
IDJOB=4244791
IDBENCH=115904
IDSOLVER=2628
FILE ID=node121/4244791-1500692735
RUNJOBID= node121-1500683185-8691
PBS_JOBID= 20623335
Free space on /tmp= 61944 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244791-1500692735/watcher-4244791-1500692735 -o /tmp/evaluation-result-4244791-1500692735/solver-4244791-1500692735 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500683185-8691 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1105041706 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244791-1500692735.xml

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

MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1
RANDOM SEED=1105041706

node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31251212 kB
MemAvailable:   31372640 kB
Buffers:          124804 kB
Cached:           271388 kB
SwapCached:            0 kB
Active:           916896 kB
Inactive:         157940 kB
Active(anon):     629480 kB
Inactive(anon):    60496 kB
Active(file):     287416 kB
Inactive(file):    97444 kB
Unevictable:        5896 kB
Mlocked:            5896 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42372 kB
Writeback:             0 kB
AnonPages:        647824 kB
Mapped:            44732 kB
Shmem:              8840 kB
Slab:             137508 kB
SReclaimable:     104804 kB
SUnreclaim:        32704 kB
KernelStack:        4480 kB
PageTables:         6392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1647488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    526336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61904 MiB
End job on node121 at 2017-07-22 05:44:47

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml
MD5SUM	f7605bb50abdbd05cc6d9fedf17196d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	398
Best CPU time to get the best result obtained on this benchmark	2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables	1831
Number of constraints	1072
Number of domains	4
Minimum domain size	2
Maximum domain size	1801
Distribution of domain sizes	[{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}]
Minimum variable degree	1
Maximum variable degree	31
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}]
Number of extensional constraints	896
Number of intensional constraints	141
Distribution of constraint types	[{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4244791

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