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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-08-22	SAT (TO)	196	1987.47	252.13901

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 546971547
0.29/0.25	c timeout: 2016
0.29/0.25	c memlimit: 22000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
1.63/0.78	c Parsing done, starting search...
17.99/4.99	o 162
17.99/4.99	o 163
18.82/5.06	o 170
18.82/5.06	o 171
19.61/5.16	o 176
19.61/5.17	o 177
19.61/5.17	o 178
19.61/5.18	o 181
19.61/5.19	o 182
19.61/5.19	o 183
19.61/5.19	o 184
20.33/5.22	o 185
20.33/5.24	o 186
20.33/5.24	o 187
20.33/5.24	o 188
20.33/5.26	o 189
23.53/5.64	o 190
30.68/6.54	o 191
60.90/10.32	o 192
70.45/11.56	o 193
73.63/11.92	o 194
95.11/14.63	o 195
1495.77/190.47	o 196
1986.67/252.08	s SATISFIABLE
1986.67/252.09	v <instantiation>
1986.67/252.09	v 	<list>
1986.67/252.09	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
1986.67/252.09	v 	</list>
1986.67/252.09	v 	<values>
1986.67/252.09	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 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 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 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 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 0 1 1 2 1 2 2 2 1 2 1 1 2 1 1 2 1 1 2 1 1 1 1 2 1 1 1 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 2 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 2 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 2 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 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 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 24 73 118 160 204 248 290 326 342 349 362 371 378 383 388 401 412 415 420 423 429 434 443 447 456 464 196 
1986.67/252.09	v 	</values>
1986.67/252.09	v </instantiation>

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4286010-1503423552/watcher-4286010-1503423552 -o /tmp/evaluation-result-4286010-1503423552/solver-4286010-1503423552 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503413660-22926 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 546971547 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4286010-1503423552.xml 

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

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

solver pid=24217, runsolver pid=24214

[startup+0.100165 s]*
/proc/loadavg: 8.47 8.66 8.66 2/199 24237
/proc/meminfo: memFree=21407532/32770624 swapFree=67108860/67108860
[pid=24217] ppid=24214 vsize=26000852 memory=32924 CPUtime=0.13 cores=0-7
/proc/24217/stat : 24217 (java) S 24214 24217 22899 0 -1 1077944320 8639 0 0 0 11 2 0 0 20 0 20 0 175442559 26624872448 8231 33554432000 4194304 4196468 140732332536096 140732332518640 140448114073335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
/proc/24217/statm: 6500213 8231 3411 1 0 6487932 0
[pid=24217/tid=24219] ppid=24214 vsize=26000852 memory=7825175260183830680 CPUtime=0.09 cores=0-7
/proc/24217/task/24219/stat : 24219 (java) R 24214 24217 22899 0 -1 4202560 6585 0 0 0 8 1 0 0 20 0 20 0 175442559 26624872448 8231 33554432000 4194304 4196468 140732332536096 140448118290032 140448098153852 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24220] ppid=24214 vsize=26000852 memory=732370241833888741 CPUtime=0 cores=0-7
/proc/24217/task/24220/stat : 24220 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 8231 33554432000 4194304 4196468 140732332536096 140448066694160 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24221] ppid=24214 vsize=26000852 memory=140103496435328 CPUtime=0 cores=0-7
/proc/24217/task/24221/stat : 24221 (java) S 24214 24217 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 8231 33554432000 4194304 4196468 140732332536096 140448065641616 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24222] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24222/stat : 24222 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 8231 33554432000 4194304 4196468 140732332536096 140448064588560 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24223] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24223/stat : 24223 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 8231 33554432000 4194304 4196468 140732332536096 140448063536016 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24224] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24224/stat : 24224 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 8231 33554432000 4194304 4196468 140732332536096 140448062482960 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24225] ppid=24214 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/24217/task/24225/stat : 24225 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 8231 33554432000 4194304 4196468 140732332536096 140448061430416 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24226] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24226/stat : 24226 (java) S 24214 24217 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 8231 33554432000 4194304 4196468 140732332536096 140448060377360 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24227] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24227/stat : 24227 (java) S 24214 24217 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 8231 33554432000 4194304 4196468 140732332536096 140448059324816 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24228] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24228/stat : 24228 (java) S 24214 24217 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175442562 26624872448 8231 33554432000 4194304 4196468 140732332536096 140446319237872 140448114084482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24229] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24229/stat : 24229 (java) S 24214 24217 22899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175442562 26624872448 8231 33554432000 4194304 4196468 140732332536096 140446318184096 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24230] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24230/stat : 24230 (java) S 24214 24217 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175442562 26624872448 8231 33554432000 4194304 4196468 140732332536096 140446317130992 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24231] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24231/stat : 24231 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442565 26624872448 8231 33554432000 4194304 4196468 140732332536096 140446316079568 140448114091931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24232] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24232/stat : 24232 (java) S 24214 24217 22899 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 175442565 26624872448 8231 33554432000 4194304 4196468 140732332536096 140446315026672 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24233] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24233/stat : 24233 (java) S 24214 24217 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175442565 26624872448 8231 33554432000 4194304 4196468 140732332536096 140446313974128 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24234] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24234/stat : 24234 (java) S 24214 24217 22899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175442565 26624872448 8231 33554432000 4194304 4196468 140732332536096 140446312921072 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24235] ppid=24214 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/24217/task/24235/stat : 24235 (java) S 24214 24217 22899 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 20 0 175442565 26624872448 8231 33554432000 4194304 4196468 140732332536096 140446311868528 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24236] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24236/stat : 24236 (java) S 24214 24217 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175442565 26624872448 8231 33554432000 4194304 4196468 140732332536096 140446310816736 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24237] ppid=24214 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/24217/task/24237/stat : 24237 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442565 26624872448 8231 33554432000 4194304 4196468 140732332536096 140446309764272 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32924 KiB

[startup+0.210412 s]*
/proc/loadavg: 8.47 8.66 8.66 3/199 24237
/proc/meminfo: memFree=21397064/32770624 swapFree=67108860/67108860
[pid=24217] ppid=24214 vsize=26000852 memory=42084 CPUtime=0.29 cores=0-7
/proc/24217/stat : 24217 (java) S 24214 24217 22899 0 -1 1077944320 9643 0 0 0 27 2 0 0 20 0 20 0 175442559 26624872448 10521 33554432000 4194304 4196468 140732332536096 140732332518640 140448114073335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
/proc/24217/statm: 6500213 10521 3633 1 0 6487932 0
[pid=24217/tid=24219] ppid=24214 vsize=26000852 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/24217/task/24219/stat : 24219 (java) R 24214 24217 22899 0 -1 4202560 7220 0 0 0 18 1 0 0 20 0 20 0 175442559 26624872448 10521 33554432000 4194304 4196468 140732332536096 140448118291696 140448098153822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24220] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24220/stat : 24220 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 10521 33554432000 4194304 4196468 140732332536096 140448066694160 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24221] ppid=24214 vsize=26000852 memory=288370479648147072 CPUtime=0 cores=0-7
/proc/24217/task/24221/stat : 24221 (java) S 24214 24217 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 10521 33554432000 4194304 4196468 140732332536096 140448065641616 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24222] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24222/stat : 24222 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 10521 33554432000 4194304 4196468 140732332536096 140448064588560 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24223] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24223/stat : 24223 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 10521 33554432000 4194304 4196468 140732332536096 140448063536016 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24224] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24224/stat : 24224 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 10521 33554432000 4194304 4196468 140732332536096 140448062482960 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24225] ppid=24214 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/24217/task/24225/stat : 24225 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 10521 33554432000 4194304 4196468 140732332536096 140448061430416 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24226] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24226/stat : 24226 (java) S 24214 24217 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 10521 33554432000 4194304 4196468 140732332536096 140448060377360 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24227] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24227/stat : 24227 (java) S 24214 24217 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175442560 26624872448 10521 33554432000 4194304 4196468 140732332536096 140448059324816 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24228] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24228/stat : 24228 (java) S 24214 24217 22899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175442562 26624872448 10521 33554432000 4194304 4196468 140732332536096 140446319237872 140448114084482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24229] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24229/stat : 24229 (java) S 24214 24217 22899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175442562 26624872448 10521 33554432000 4194304 4196468 140732332536096 140446318184096 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24230] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24230/stat : 24230 (java) S 24214 24217 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175442562 26624872448 10521 33554432000 4194304 4196468 140732332536096 140446317130992 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24231] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24231/stat : 24231 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442565 26624872448 10521 33554432000 4194304 4196468 140732332536096 140446316079568 140448114091931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24232] ppid=24214 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/24217/task/24232/stat : 24232 (java) S 24214 24217 22899 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 20 0 175442565 26624872448 10521 33554432000 4194304 4196468 140732332536096 140446315026672 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24233] ppid=24214 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/24217/task/24233/stat : 24233 (java) S 24214 24217 22899 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 175442565 26624872448 10521 33554432000 4194304 4196468 140732332536096 140446313974128 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24234] ppid=24214 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/24217/task/24234/stat : 24234 (java) S 24214 24217 22899 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 175442565 26624872448 10521 33554432000 4194304 4196468 140732332536096 140446312921072 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24235] ppid=24214 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/24217/task/24235/stat : 24235 (java) R 24214 24217 22899 0 -1 4202560 382 0 0 0 5 0 0 0 20 0 20 0 175442565 26624872448 10521 33554432000 4194304 4196468 140732332536096 140446311868528 140448099238881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24236] ppid=24214 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24236/stat : 24236 (java) S 24214 24217 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175442565 26624872448 10521 33554432000 4194304 4196468 140732332536096 140446310816736 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24237] ppid=24214 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/24217/task/24237/stat : 24237 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442565 26624872448 10521 33554432000 4194304 4196468 140732332536096 140446309764272 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 42084 KiB

[startup+0.310235 s]*
/proc/loadavg: 7.95 8.55 8.63 2/199 24237
/proc/meminfo: memFree=21389620/32770624 swapFree=67108860/67108860
[pid=24217] ppid=24214 vsize=26000872 memory=49736 CPUtime=0.48 cores=0-7
/proc/24217/stat : 24217 (java) S 24214 24217 22899 0 -1 1077944320 10670 0 0 0 45 3 0 0 20 0 20 0 175442559 26624892928 12434 33554432000 4194304 4196468 140732332536096 140732332518640 140448114073335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
/proc/24217/statm: 6500218 12434 3718 1 0 6487932 0
[pid=24217/tid=24219] ppid=24214 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24217/task/24219/stat : 24219 (java) R 24214 24217 22899 0 -1 4202560 7772 0 0 0 27 2 0 0 20 0 20 0 175442559 26624892928 12434 33554432000 4194304 4196468 140732332536096 140448118293104 140447729091261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24220] ppid=24214 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24220/stat : 24220 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624892928 12434 33554432000 4194304 4196468 140732332536096 140448066694160 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24221] ppid=24214 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24221/stat : 24221 (java) S 24214 24217 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175442560 26624892928 12434 33554432000 4194304 4196468 140732332536096 140448065641616 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24222] ppid=24214 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24222/stat : 24222 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624892928 12434 33554432000 4194304 4196468 140732332536096 140448064588560 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24223] ppid=24214 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24223/stat : 24223 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624892928 12434 33554432000 4194304 4196468 140732332536096 140448063536016 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24224] ppid=24214 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/24217/task/24224/stat : 24224 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624892928 12434 33554432000 4194304 4196468 140732332536096 140448062482960 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24225] ppid=24214 vsize=26000872 memory=140103376794543 CPUtime=0 cores=0-7
/proc/24217/task/24225/stat : 24225 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26624892928 12434 33554432000 4194304 4196468 140732332536096 140448061430416 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24226] ppid=24214 vsize=26000872 memory=140103376796848 CPUtime=0 cores=0-7
/proc/24217/task/24226/stat : 24226 (java) S 24214 24217 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175442560 26624892928 12434 33554432000 4194304 4196468 140732332536096 140448060377360 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24227] ppid=24214 vsize=26000872 memory=140103376799152 CPUtime=0 cores=0-7
/proc/24217/task/24227/stat : 24227 (java) S 24214 24217 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175442560 26624892928 12434 33554432000 4194304 4196468 140732332536096 140448059324816 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24228] ppid=24214 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24228/stat : 24228 (java) S 24214 24217 22899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175442562 26624892928 12434 33554432000 4194304 4196468 140732332536096 140446319237872 140448114084482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24229] ppid=24214 vsize=26000872 memory=280206753605264 CPUtime=0 cores=0-7
/proc/24217/task/24229/stat : 24229 (java) S 24214 24217 22899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175442562 26624892928 12434 33554432000 4194304 4196468 140732332536096 140446318184096 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24230] ppid=24214 vsize=26000872 memory=280206753612176 CPUtime=0 cores=0-7
/proc/24217/task/24230/stat : 24230 (java) S 24214 24217 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175442562 26624892928 12434 33554432000 4194304 4196468 140732332536096 140446317130992 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24231] ppid=24214 vsize=26000872 memory=280206753553456 CPUtime=0 cores=0-7
/proc/24217/task/24231/stat : 24231 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442565 26624892928 12434 33554432000 4194304 4196468 140732332536096 140446316079568 140448114091931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24232] ppid=24214 vsize=26000872 memory=280206753626000 CPUtime=0.03 cores=0-7
/proc/24217/task/24232/stat : 24232 (java) S 24214 24217 22899 0 -1 1077944384 664 0 0 0 3 0 0 0 20 0 20 0 175442565 26624892928 12434 33554432000 4194304 4196468 140732332536096 140446315026672 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24233] ppid=24214 vsize=26000872 memory=280206753632912 CPUtime=0.03 cores=0-7
/proc/24217/task/24233/stat : 24233 (java) S 24214 24217 22899 0 -1 1077944384 233 0 0 0 3 0 0 0 20 0 20 0 175442565 26624892928 12434 33554432000 4194304 4196468 140732332536096 140446313974128 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24234] ppid=24214 vsize=26000872 memory=280206753630608 CPUtime=0.02 cores=0-7
/proc/24217/task/24234/stat : 24234 (java) S 24214 24217 22899 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 20 0 175442565 26624892928 12499 33554432000 4194304 4196468 140732332536096 140446312921072 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24235] ppid=24214 vsize=26000872 memory=280206753647168 CPUtime=0.08 cores=0-7
/proc/24217/task/24235/stat : 24235 (java) R 24214 24217 22899 0 -1 4202560 408 0 0 0 8 0 0 0 20 0 20 0 175442565 26624892928 12499 33554432000 4194304 4196468 140732332536096 140446311868528 140448114085270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24236] ppid=24214 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24236/stat : 24236 (java) S 24214 24217 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175442565 26624892928 12499 33554432000 4194304 4196468 140732332536096 140446310816736 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24237] ppid=24214 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/24217/task/24237/stat : 24237 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442565 26624892928 12499 33554432000 4194304 4196468 140732332536096 140446309764272 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49736 KiB

[startup+0.700926 s]
/proc/loadavg: 7.95 8.55 8.63 3/199 24237
/proc/meminfo: memFree=21375608/32770624 swapFree=67108860/67108860
[pid=24217] ppid=24214 vsize=26002920 memory=84364 CPUtime=1.63 cores=0-7
/proc/24217/stat : 24217 (java) S 24214 24217 22899 0 -1 1077944320 14258 0 0 0 159 4 0 0 20 0 20 0 175442559 26626990080 21091 33554432000 4194304 4196468 140732332536096 140732332518640 140448114073335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
/proc/24217/statm: 6500730 21091 3781 1 0 6488444 0
[pid=24217/tid=24219] ppid=24214 vsize=26002920 memory=5865727822183879267 CPUtime=0.67 cores=0-7
/proc/24217/task/24219/stat : 24219 (java) R 24214 24217 22899 0 -1 4202560 8745 0 0 0 65 2 0 0 20 0 20 0 175442559 26626990080 21091 33554432000 4194304 4196468 140732332536096 140448118309616 140448114085270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24220] ppid=24214 vsize=26002920 memory=104092827434328 CPUtime=0 cores=0-7
/proc/24217/task/24220/stat : 24220 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26626990080 21091 33554432000 4194304 4196468 140732332536096 140448066694160 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24221] ppid=24214 vsize=26002920 memory=140103376820946 CPUtime=0 cores=0-7
/proc/24217/task/24221/stat : 24221 (java) S 24214 24217 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175442560 26626990080 21091 33554432000 4194304 4196468 140732332536096 140448065641616 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24222] ppid=24214 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24222/stat : 24222 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26626990080 21091 33554432000 4194304 4196468 140732332536096 140448064588560 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24223] ppid=24214 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24223/stat : 24223 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26626990080 21091 33554432000 4194304 4196468 140732332536096 140448063536016 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24224] ppid=24214 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24224/stat : 24224 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26626990080 21091 33554432000 4194304 4196468 140732332536096 140448062482960 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24225] ppid=24214 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24225/stat : 24225 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175442560 26626990080 21091 33554432000 4194304 4196468 140732332536096 140448061430416 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24226] ppid=24214 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24226/stat : 24226 (java) S 24214 24217 22899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175442560 26626990080 21091 33554432000 4194304 4196468 140732332536096 140448060377360 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24227] ppid=24214 vsize=26002920 memory=1732 CPUtime=0 cores=0-7
/proc/24217/task/24227/stat : 24227 (java) S 24214 24217 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175442560 26626990080 21091 33554432000 4194304 4196468 140732332536096 140448059324816 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24228] ppid=24214 vsize=26002920 memory=1948 CPUtime=0 cores=0-7
/proc/24217/task/24228/stat : 24228 (java) S 24214 24217 22899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175442562 26626990080 21091 33554432000 4194304 4196468 140732332536096 140446319237872 140448114084482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0

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

[pid=24217/tid=24247] ppid=24214 vsize=27743860 memory=1732 CPUtime=0.41 cores=0-7
/proc/24217/task/24247/stat : 24247 (java) S 24214 24217 22899 0 -1 1077944384 253 0 0 0 41 0 0 0 20 0 46 0 175442911 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445681145136 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24248] ppid=24214 vsize=27743860 memory=1948 CPUtime=0.46 cores=0-7
/proc/24217/task/24248/stat : 24248 (java) S 24214 24217 22899 0 -1 1077944384 202 0 0 0 45 1 0 0 20 0 46 0 175442911 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445680092080 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24249] ppid=24214 vsize=27743860 memory=800 CPUtime=214.93 cores=0-7
/proc/24217/task/24249/stat : 24249 (java) R 24214 24217 22899 0 -1 4202560 18721 0 0 0 21458 35 0 0 20 0 46 0 175442912 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445679035712 140447738495849 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24250] ppid=24214 vsize=27743860 memory=12132 CPUtime=215.73 cores=0-7
/proc/24217/task/24250/stat : 24250 (java) R 24214 24217 22899 0 -1 4202560 19724 0 0 0 21533 40 0 0 20 0 46 0 175443003 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445677979808 140447737973740 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24251] ppid=24214 vsize=27743860 memory=5635820 CPUtime=215.86 cores=0-7
/proc/24217/task/24251/stat : 24251 (java) R 24214 24217 22899 0 -1 4202560 16507 0 0 0 21545 41 0 0 20 0 46 0 175443003 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445676927608 140447738497928 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24252] ppid=24214 vsize=27743860 memory=5635820 CPUtime=0 cores=0-7
/proc/24217/task/24252/stat : 24252 (java) S 24214 24217 22899 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 175443003 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445675881904 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24253] ppid=24214 vsize=27743860 memory=5631676 CPUtime=0 cores=0-7
/proc/24217/task/24253/stat : 24253 (java) S 24214 24217 22899 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 46 0 175443004 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445674829360 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24254] ppid=24214 vsize=27743860 memory=5639928 CPUtime=0 cores=0-7
/proc/24217/task/24254/stat : 24254 (java) S 24214 24217 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 175443004 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445673776304 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24255] ppid=24214 vsize=27743860 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24217/task/24255/stat : 24255 (java) S 24214 24217 22899 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 46 0 175443004 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445672723760 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24256] ppid=24214 vsize=27743860 memory=5625380 CPUtime=0 cores=0-7
/proc/24217/task/24256/stat : 24256 (java) S 24214 24217 22899 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 46 0 175443059 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445669536688 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24257] ppid=24214 vsize=27743860 memory=7308895142485716329 CPUtime=0 cores=0-7
/proc/24217/task/24257/stat : 24257 (java) S 24214 24217 22899 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 46 0 175443060 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445668484144 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24258] ppid=24214 vsize=27743860 memory=7308895142485716329 CPUtime=0 cores=0-7
/proc/24217/task/24258/stat : 24258 (java) S 24214 24217 22899 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 175443076 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445667431088 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24259] ppid=24214 vsize=27743860 memory=69002269 CPUtime=0 cores=0-7
/proc/24217/task/24259/stat : 24259 (java) S 24214 24217 22899 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 175443078 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445666378544 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24260] ppid=24214 vsize=27743860 memory=0 CPUtime=0 cores=0-7
/proc/24217/task/24260/stat : 24260 (java) S 24214 24217 22899 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 46 0 175443081 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445665326512 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24261] ppid=24214 vsize=27743860 memory=5639928 CPUtime=0 cores=0-7
/proc/24217/task/24261/stat : 24261 (java) S 24214 24217 22899 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 175443082 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445664273968 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24262] ppid=24214 vsize=27743860 memory=48332 CPUtime=0 cores=0-7
/proc/24217/task/24262/stat : 24262 (java) S 24214 24217 22899 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 46 0 175443084 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445663220912 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24263] ppid=24214 vsize=27743860 memory=5639928 CPUtime=0 cores=0-7
/proc/24217/task/24263/stat : 24263 (java) S 24214 24217 22899 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 175443085 28409712640 1409982 33554432000 4194304 4196468 140732332536096 140445662168368 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
Current children cumulated CPU time: 1749.94 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 5639928 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.65 8.67 8.68 10/224 24265
/proc/meminfo: memFree=15816980/32770624 swapFree=67108860/67108860
[pid=24217] ppid=24214 vsize=27743860 memory=5609968 CPUtime=1986.67 cores=0-7
/proc/24217/stat : 24217 (java) S 24214 24217 22899 0 -1 1077944320 281514 0 0 0 197715 952 0 0 20 0 46 0 175442559 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140732332518640 140448114073335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
/proc/24217/statm: 6935965 1402492 3874 1 0 6923158 0
[pid=24217/tid=24219] ppid=24214 vsize=27743860 memory=6791534058613427641 CPUtime=3.37 cores=0-7
/proc/24217/task/24219/stat : 24219 (java) S 24214 24217 22899 0 -1 1077944384 15139 0 0 0 326 11 0 0 20 0 46 0 175442559 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140448118311040 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24220] ppid=24214 vsize=27743860 memory=23178 CPUtime=1.42 cores=0-7
/proc/24217/task/24220/stat : 24220 (java) S 24214 24217 22899 0 -1 1077944384 6524 0 0 0 67 75 0 0 20 0 46 0 175442560 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140448066694160 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24221] ppid=24214 vsize=27743860 memory=23418 CPUtime=1.41 cores=0-7
/proc/24217/task/24221/stat : 24221 (java) S 24214 24217 22899 0 -1 1077944384 4673 0 0 0 67 74 0 0 20 0 46 0 175442560 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140448065641616 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24222] ppid=24214 vsize=27743860 memory=45 CPUtime=1.42 cores=0-7
/proc/24217/task/24222/stat : 24222 (java) S 24214 24217 22899 0 -1 1077944384 6172 0 0 0 67 75 0 0 20 0 46 0 175442560 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140448064588560 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24223] ppid=24214 vsize=27743860 memory=23373 CPUtime=1.36 cores=0-7
/proc/24217/task/24223/stat : 24223 (java) S 24214 24217 22899 0 -1 1077944384 8092 0 0 0 66 70 0 0 20 0 46 0 175442560 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140448063536016 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24224] ppid=24214 vsize=27743860 memory=23335 CPUtime=1.35 cores=0-7
/proc/24217/task/24224/stat : 24224 (java) S 24214 24217 22899 0 -1 1077944384 6110 0 0 0 64 71 0 0 20 0 46 0 175442560 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140448062482960 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24225] ppid=24214 vsize=27743860 memory=23415 CPUtime=1.4 cores=0-7
/proc/24217/task/24225/stat : 24225 (java) S 24214 24217 22899 0 -1 1077944384 8424 0 0 0 70 70 0 0 20 0 46 0 175442560 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140448061430416 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24226] ppid=24214 vsize=27743860 memory=42 CPUtime=1.41 cores=0-7
/proc/24217/task/24226/stat : 24226 (java) S 24214 24217 22899 0 -1 1077944384 6619 0 0 0 70 71 0 0 20 0 46 0 175442560 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140448060377360 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24227] ppid=24214 vsize=27743860 memory=41 CPUtime=1.39 cores=0-7
/proc/24217/task/24227/stat : 24227 (java) S 24214 24217 22899 0 -1 1077944384 5528 0 0 0 67 72 0 0 20 0 46 0 175442560 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140448059324816 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24228] ppid=24214 vsize=27743860 memory=46 CPUtime=0.15 cores=0-7
/proc/24217/task/24228/stat : 24228 (java) S 24214 24217 22899 0 -1 1077944384 12917 0 0 0 12 3 0 0 20 0 46 0 175442562 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140446319237872 140448114084482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24229] ppid=24214 vsize=27743860 memory=23251 CPUtime=0 cores=0-7
/proc/24217/task/24229/stat : 24229 (java) S 24214 24217 22899 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 175442562 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140446318184160 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24230] ppid=24214 vsize=27743860 memory=23340 CPUtime=0 cores=0-7
/proc/24217/task/24230/stat : 24230 (java) S 24214 24217 22899 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 46 0 175442562 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140446317131008 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24231] ppid=24214 vsize=27743860 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/24217/task/24231/stat : 24231 (java) S 24214 24217 22899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 175442565 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140446316079568 140448114091931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24232] ppid=24214 vsize=27743860 memory=-7003737579269690708 CPUtime=1.9 cores=0-7
/proc/24217/task/24232/stat : 24232 (java) S 24214 24217 22899 0 -1 1077944384 11785 0 0 0 187 3 0 0 20 0 46 0 175442565 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140446315026672 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24233] ppid=24214 vsize=27743860 memory=1440 CPUtime=1.86 cores=0-7
/proc/24217/task/24233/stat : 24233 (java) S 24214 24217 22899 0 -1 1077944384 6192 0 0 0 182 4 0 0 20 0 46 0 175442565 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140446313974128 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24234] ppid=24214 vsize=27743860 memory=5796 CPUtime=2.03 cores=0-7
/proc/24217/task/24234/stat : 24234 (java) S 24214 24217 22899 0 -1 1077944384 7451 0 0 0 201 2 0 0 20 0 46 0 175442565 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140446312921072 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24235] ppid=24214 vsize=27743860 memory=1224 CPUtime=1.14 cores=0-7
/proc/24217/task/24235/stat : 24235 (java) S 24214 24217 22899 0 -1 1077944384 13704 0 0 0 112 2 0 0 20 0 46 0 175442565 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140446311868528 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24236] ppid=24214 vsize=27743860 memory=8728 CPUtime=0 cores=0-7
/proc/24217/task/24236/stat : 24236 (java) S 24214 24217 22899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 175442565 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140446310816736 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24237] ppid=24214 vsize=27743860 memory=1712 CPUtime=0.1 cores=0-7
/proc/24217/task/24237/stat : 24237 (java) S 24214 24217 22899 0 -1 1077944384 1444 0 0 0 5 5 0 0 20 0 46 0 175442565 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140446309764272 140448114084482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24238] ppid=24214 vsize=27743860 memory=4612 CPUtime=0 cores=0-7
/proc/24217/task/24238/stat : 24238 (java) S 24214 24217 22899 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 46 0 175442887 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445692716032 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24239] ppid=24214 vsize=27743860 memory=1004 CPUtime=0.77 cores=0-7
/proc/24217/task/24239/stat : 24239 (java) R 24214 24217 22899 0 -1 1077944384 3369 0 0 0 45 32 0 0 20 0 46 0 175442898 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445691663664 140448114084482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24240] ppid=24214 vsize=27743860 memory=1200 CPUtime=243.46 cores=0-7
/proc/24217/task/24240/stat : 24240 (java) R 24214 24217 22899 0 -1 4202560 17469 0 0 0 24313 33 0 0 20 0 46 0 175442908 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445688507032 140447742122312 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24241] ppid=24214 vsize=27743860 memory=0 CPUtime=246.16 cores=0-7
/proc/24217/task/24241/stat : 24241 (java) R 24214 24217 22899 0 -1 4202560 17678 0 0 0 24566 50 0 0 20 0 46 0 175442908 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445687454224 140447742122264 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24242] ppid=24214 vsize=27743860 memory=7377268178418295912 CPUtime=0.45 cores=0-7
/proc/24217/task/24242/stat : 24242 (java) S 24214 24217 22899 0 -1 1077944384 72 0 0 0 45 0 0 0 20 0 46 0 175442909 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445686407856 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24243] ppid=24214 vsize=27743860 memory=5616124 CPUtime=245.72 cores=0-7
/proc/24217/task/24243/stat : 24243 (java) R 24214 24217 22899 0 -1 4202560 20764 0 0 0 24526 46 0 0 20 0 46 0 175442911 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445685349512 140447742697035 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24244] ppid=24214 vsize=27743860 memory=5628700 CPUtime=245.32 cores=0-7
/proc/24217/task/24244/stat : 24244 (java) R 24214 24217 22899 0 -1 4202560 22647 0 0 0 24480 52 0 0 20 0 46 0 175442911 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445684296920 140447733064399 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24245] ppid=24214 vsize=27743860 memory=6791534058613427641 CPUtime=246.13 cores=0-7
/proc/24217/task/24245/stat : 24245 (java) R 24214 24217 22899 0 -1 4202560 18200 0 0 0 24577 36 0 0 20 0 46 0 175442911 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445683247040 140447738643606 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24246] ppid=24214 vsize=27743860 memory=1712 CPUtime=0.42 cores=0-7
/proc/24217/task/24246/stat : 24246 (java) S 24214 24217 22899 0 -1 1077944384 70 0 0 0 42 0 0 0 20 0 46 0 175442911 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445682197680 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24247] ppid=24214 vsize=27743860 memory=4612 CPUtime=0.41 cores=0-7
/proc/24217/task/24247/stat : 24247 (java) S 24214 24217 22899 0 -1 1077944384 253 0 0 0 41 0 0 0 20 0 46 0 175442911 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445681145136 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24248] ppid=24214 vsize=27743860 memory=1004 CPUtime=0.46 cores=0-7
/proc/24217/task/24248/stat : 24248 (java) S 24214 24217 22899 0 -1 1077944384 202 0 0 0 45 1 0 0 20 0 46 0 175442911 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445680092080 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24249] ppid=24214 vsize=27743860 memory=1200 CPUtime=244.48 cores=0-7
/proc/24217/task/24249/stat : 24249 (java) R 24214 24217 22899 0 -1 4202560 19452 0 0 0 24412 36 0 0 20 0 46 0 175442912 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445679033736 140447742122264 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24250] ppid=24214 vsize=27743860 memory=15876 CPUtime=245.35 cores=0-7
/proc/24217/task/24250/stat : 24250 (java) R 24214 24217 22899 0 -1 4202560 20721 0 0 0 24494 41 0 0 20 0 46 0 175443003 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445677980760 140447737403478 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24251] ppid=24214 vsize=27743860 memory=27044 CPUtime=245.53 cores=0-7
/proc/24217/task/24251/stat : 24251 (java) R 24214 24217 22899 0 -1 4202560 17272 0 0 0 24511 42 0 0 20 0 46 0 175443003 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445676927376 140447738497974 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24252] ppid=24214 vsize=27743860 memory=4052 CPUtime=0 cores=0-7
/proc/24217/task/24252/stat : 24252 (java) S 24214 24217 22899 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 175443003 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445675881904 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24253] ppid=24214 vsize=27743860 memory=16236 CPUtime=0 cores=0-7
/proc/24217/task/24253/stat : 24253 (java) S 24214 24217 22899 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 46 0 175443004 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445674829360 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24254] ppid=24214 vsize=27743860 memory=1796 CPUtime=0 cores=0-7
/proc/24217/task/24254/stat : 24254 (java) S 24214 24217 22899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 175443004 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445673776304 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24255] ppid=24214 vsize=27743860 memory=5628700 CPUtime=0 cores=0-7
/proc/24217/task/24255/stat : 24255 (java) S 24214 24217 22899 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 46 0 175443004 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445672723760 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24256] ppid=24214 vsize=27743860 memory=5628700 CPUtime=0 cores=0-7
/proc/24217/task/24256/stat : 24256 (java) S 24214 24217 22899 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 46 0 175443059 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445669536688 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24257] ppid=24214 vsize=27743860 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24217/task/24257/stat : 24257 (java) S 24214 24217 22899 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 46 0 175443060 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445668484144 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24258] ppid=24214 vsize=27743860 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/24217/task/24258/stat : 24258 (java) S 24214 24217 22899 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 175443076 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445667431088 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24259] ppid=24214 vsize=27743860 memory=5615096 CPUtime=0 cores=0-7
/proc/24217/task/24259/stat : 24259 (java) S 24214 24217 22899 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 175443078 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445666378544 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24260] ppid=24214 vsize=27743860 memory=5787213827062911330 CPUtime=0 cores=0-7
/proc/24217/task/24260/stat : 24260 (java) S 24214 24217 22899 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 46 0 175443081 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445665326512 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24261] ppid=24214 vsize=27743860 memory=5787213827146797410 CPUtime=0 cores=0-7
/proc/24217/task/24261/stat : 24261 (java) S 24214 24217 22899 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 175443082 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445664273968 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24262] ppid=24214 vsize=27743860 memory=7956005031678667109 CPUtime=0 cores=0-7
/proc/24217/task/24262/stat : 24262 (java) S 24214 24217 22899 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 46 0 175443084 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445663220912 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
[pid=24217/tid=24263] ppid=24214 vsize=27743860 memory=7595440001688102255 CPUtime=0 cores=0-7
/proc/24217/task/24263/stat : 24263 (java) S 24214 24217 22899 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 175443085 28409712640 1402492 33554432000 4194304 4196468 140732332536096 140445662168368 140448114083541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20242432 140732332541032 140732332541216 140732332541216 140732332543951 0
Current children cumulated CPU time: 1986.67 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 5609968 KiB

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

[startup+252.139 s]
# the end of solver process 24217 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1977.91 s, system=9.55539 s

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

[startup+252.12 s]*
/proc/loadavg: 8.65 8.67 8.68 2/180 24267
/proc/meminfo: memFree=18754036/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.139
CPU time (s): 1987.47
CPU user time (s): 1977.91
CPU system time (s): 9.55539
CPU usage (%): 788.244
Max. virtual memory (cumulated for all children) (KiB): 27743892
Max. memory (cumulated for all children) (KiB): 5639928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1977.91
system time used= 9.55539
maximum resident set size= 5639992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40130
involuntary context switches= 42148


# summary of solver processes directly reported to runsolver:
#   pid: 24217
#   total CPU time (s): 1987.47
#   total CPU user time (s): 1977.91
#   total CPU system time (s): 9.55539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.02026 second user time and 3.38259 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml
MD5SUM	e0f1e7fd363778103a4292aa9d177ae8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	289
Best CPU time to get the best result obtained on this benchmark	251.842
Satisfiable
(Un)Satisfiability was proved
Number of variables	1379
Number of constraints	824
Number of domains	4
Minimum domain size	2
Maximum domain size	1353
Distribution of domain sizes	[{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}]
Minimum variable degree	1
Maximum variable degree	27
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	28
Distribution of constraint arities	[{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}]
Number of extensional constraints	672
Number of intensional constraints	121
Distribution of constraint types	[{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4286010

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