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-07-26	SAT (TO)	196	1921.42	243.924

0.23/0.37	c version: 2017-07-26
0.23/0.38	c seed: 440805224
0.23/0.38	c timeout: 1920
0.23/0.38	c memlimit: 22000
0.23/0.38	c nbcore: 8
0.42/0.40	c Parsing instance...
2.07/0.91	c Parsing done, starting search...
19.59/5.35	o 170
19.59/5.35	o 171
21.22/5.52	o 181
21.22/5.53	o 182
21.22/5.53	o 183
21.22/5.54	o 184
21.22/5.60	o 185
22.07/5.65	o 186
22.07/5.66	o 187
22.07/5.66	o 188
22.07/5.66	o 189
25.11/6.03	o 190
31.49/6.87	o 191
59.32/10.38	o 192
69.67/11.61	o 193
72.05/11.95	o 194
153.36/22.18	o 195
814.96/105.16	o 196
1920.63/243.86	s SATISFIABLE
1920.63/243.87	v <instantiation>
1920.63/243.87	v 	<list>
1920.63/243.87	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
1920.63/243.87	v 	</list>
1920.63/243.87	v 	<values>
1920.63/243.87	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 0 1 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 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 0 0 1 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 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 2 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 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 382 390 400 408 411 416 422 429 434 443 447 456 464 196 
1920.63/243.87	v 	</values>
1920.63/243.87	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257325-1501678909/watcher-4257325-1501678909 -o /tmp/evaluation-result-4257325-1501678909/solver-4257325-1501678909 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 440805224 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257325-1501678909.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.46 8.17 6.51 3/172 26777
/proc/meminfo: memFree=31730948/32770624 swapFree=0/252280
[pid=26777] ppid=26774 vsize=23672 CPUtime=0 cores=0-7
/proc/26777/stat : 26777 (runsolver) D 26774 26777 24937 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 16511157 24240128 106 18446744073709551615 4194304 4338465 140723482814112 140723482811752 140405399544535 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 7249920 140723482816612 140723482817091 140723482817091 140723482820554 0
/proc/26777/statm: 5918 106 53 36 0 2156 0

[startup+0.100132 s]
/proc/loadavg: 8.46 8.17 6.51 3/172 26777
/proc/meminfo: memFree=31730948/32770624 swapFree=0/252280
[pid=26777] ppid=26774 vsize=25300336 CPUtime=0.01 cores=0-7
/proc/26777/stat : 26777 (java) S 26774 26777 24937 0 -1 1077944320 3448 0 0 0 1 0 0 0 20 0 10 0 16511157 25907544064 3606 18446744073709551615 4194304 4196468 140735934377840 140735934360384 139634460077815 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
/proc/26777/statm: 6325084 3606 1900 1 0 6314589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25300336

[startup+0.202642 s]
/proc/loadavg: 8.46 8.17 6.51 3/172 26777
/proc/meminfo: memFree=31730948/32770624 swapFree=0/252280
[pid=26777] ppid=26774 vsize=25996604 CPUtime=0.08 cores=0-7
/proc/26777/stat : 26777 (java) S 26774 26777 24937 0 -1 1077944320 6959 0 0 0 7 1 0 0 20 0 20 0 16511157 26620522496 7148 18446744073709551615 4194304 4196468 140735934377840 140735934360384 139634460077815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
/proc/26777/statm: 6499151 7148 3341 1 0 6487938 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25996604

[startup+0.30031 s]
/proc/loadavg: 8.46 8.17 6.51 3/172 26777
/proc/meminfo: memFree=31730948/32770624 swapFree=0/252280
[pid=26777] ppid=26774 vsize=25996604 CPUtime=0.23 cores=0-7
/proc/26777/stat : 26777 (java) S 26774 26777 24937 0 -1 1077944320 10396 0 0 0 21 2 0 0 20 0 20 0 16511157 26620522496 9575 18446744073709551615 4194304 4196468 140735934377840 140735934360384 139634460077815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
/proc/26777/statm: 6499151 9575 3506 1 0 6487938 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 25996604

[startup+0.701322 s]
/proc/loadavg: 8.46 8.17 6.51 3/172 26777
/proc/meminfo: memFree=31730948/32770624 swapFree=0/252280
[pid=26777] ppid=26774 vsize=25998672 CPUtime=1.13 cores=0-7
/proc/26777/stat : 26777 (java) S 26774 26777 24937 0 -1 1077944320 14640 0 0 0 107 6 0 0 20 0 20 0 16511157 26622640128 17414 18446744073709551615 4194304 4196468 140735934377840 140735934360384 139634460077815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
/proc/26777/statm: 6499668 17414 3722 1 0 6488450 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 25998672

[startup+1.5008 s]
/proc/loadavg: 8.46 8.17 6.51 2/192 26797
/proc/meminfo: memFree=31639236/32770624 swapFree=0/252308
[pid=26777] ppid=26774 vsize=26002768 CPUtime=3.58 cores=0-7
/proc/26777/stat : 26777 (java) S 26774 26777 24937 0 -1 1077944320 30548 0 0 0 343 15 0 0 20 0 20 0 16511157 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 140735934360384 139634460077815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
/proc/26777/statm: 6500692 57702 3770 1 0 6489474 0
[pid=26777/tid=26779] ppid=26774 vsize=26002768 CPUtime=1.33 cores=0-7
/proc/26777/task/26779/stat : 26779 (java) R 26774 26777 24937 0 -1 4202560 15199 0 0 0 127 6 0 0 20 0 20 0 16511165 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139634464309824 139634108035504 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26780] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26780/stat : 26780 (java) S 26774 26777 24937 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 16511166 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139634022153232 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26781] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26781/stat : 26781 (java) S 26774 26777 24937 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 20 0 16511166 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139634021100688 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26782] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26782/stat : 26782 (java) S 26774 26777 24937 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 16511166 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139634020047632 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26783] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26783/stat : 26783 (java) S 26774 26777 24937 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16511166 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139634018995088 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26784] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26784/stat : 26784 (java) S 26774 26777 24937 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 16511166 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139634017942032 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26785] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26785/stat : 26785 (java) S 26774 26777 24937 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 16511166 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139634016889488 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26786] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26786/stat : 26786 (java) S 26774 26777 24937 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 16511166 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139634015836432 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26787] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26787/stat : 26787 (java) S 26774 26777 24937 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 16511166 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139634014783888 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26788] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26788/stat : 26788 (java) S 26774 26777 24937 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 16511168 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139633005402864 139634460088962 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26789] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26789/stat : 26789 (java) S 26774 26777 24937 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 16511168 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139633004349088 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26790] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26790/stat : 26790 (java) S 26774 26777 24937 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 16511168 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139633003295984 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26791] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26791/stat : 26791 (java) S 26774 26777 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16511171 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139633002244560 139634460096411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26792] ppid=26774 vsize=26002768 CPUtime=0.49 cores=0-7
/proc/26777/task/26792/stat : 26792 (java) R 26774 26777 24937 0 -1 4202560 2124 0 0 0 48 1 0 0 20 0 20 0 16511171 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139633001180096 139634452367287 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26793] ppid=26774 vsize=26002768 CPUtime=0.49 cores=0-7
/proc/26777/task/26793/stat : 26793 (java) S 26774 26777 24937 0 -1 1077944384 2025 0 0 0 48 1 0 0 20 0 20 0 16511171 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139633000139120 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26794] ppid=26774 vsize=26002768 CPUtime=0.47 cores=0-7
/proc/26777/task/26794/stat : 26794 (java) S 26774 26777 24937 0 -1 1077944384 2464 0 0 0 46 1 0 0 20 0 20 0 16511171 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139632999086064 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26795] ppid=26774 vsize=26002768 CPUtime=0.68 cores=0-7
/proc/26777/task/26795/stat : 26795 (java) S 26774 26777 24937 0 -1 1077944384 6678 0 0 0 66 2 0 0 20 0 20 0 16511171 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139632998033520 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26796] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26796/stat : 26796 (java) S 26774 26777 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16511171 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139632996981728 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26797] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26797/stat : 26797 (java) S 26774 26777 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16511175 26626834432 57702 18446744073709551615 4194304 4196468 140735934377840 139632995929264 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 26002768

[startup+3.10083 s]
/proc/loadavg: 7.94 8.07 6.49 2/192 26797
/proc/meminfo: memFree=31338952/32770624 swapFree=0/252308
[pid=26777] ppid=26774 vsize=26002768 CPUtime=6.9 cores=0-7
/proc/26777/stat : 26777 (java) S 26774 26777 24937 0 -1 1077944320 36357 0 0 0 654 36 0 0 20 0 20 0 16511157 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 140735934360384 139634460077815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
/proc/26777/statm: 6500692 145307 3801 1 0 6489474 0
[pid=26777/tid=26779] ppid=26774 vsize=26002768 CPUtime=2.87 cores=0-7
/proc/26777/task/26779/stat : 26779 (java) R 26774 26777 24937 0 -1 4202560 16313 0 0 0 277 10 0 0 20 0 20 0 16511165 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139634464311600 139634109884085 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26780] ppid=26774 vsize=26002768 CPUtime=0.04 cores=0-7
/proc/26777/task/26780/stat : 26780 (java) S 26774 26777 24937 0 -1 1077944384 168 0 0 0 2 2 0 0 20 0 20 0 16511166 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139634022153232 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26781] ppid=26774 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/26777/task/26781/stat : 26781 (java) S 26774 26777 24937 0 -1 1077944384 244 0 0 0 3 2 0 0 20 0 20 0 16511166 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139634021100688 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26782] ppid=26774 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/26777/task/26782/stat : 26782 (java) S 26774 26777 24937 0 -1 1077944384 113 0 0 0 4 2 0 0 20 0 20 0 16511166 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139634020047632 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26783] ppid=26774 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/26777/task/26783/stat : 26783 (java) S 26774 26777 24937 0 -1 1077944384 83 0 0 0 3 2 0 0 20 0 20 0 16511166 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139634018995088 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26784] ppid=26774 vsize=26002768 CPUtime=0.04 cores=0-7
/proc/26777/task/26784/stat : 26784 (java) S 26774 26777 24937 0 -1 1077944384 982 0 0 0 2 2 0 0 20 0 20 0 16511166 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139634017942032 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26785] ppid=26774 vsize=26002768 CPUtime=0.04 cores=0-7
/proc/26777/task/26785/stat : 26785 (java) S 26774 26777 24937 0 -1 1077944384 95 0 0 0 2 2 0 0 20 0 20 0 16511166 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139634016889488 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26786] ppid=26774 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/26777/task/26786/stat : 26786 (java) S 26774 26777 24937 0 -1 1077944384 110 0 0 0 4 2 0 0 20 0 20 0 16511166 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139634015836432 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26787] ppid=26774 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/26777/task/26787/stat : 26787 (java) S 26774 26777 24937 0 -1 1077944384 83 0 0 0 3 2 0 0 20 0 20 0 16511166 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139634014783888 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26788] ppid=26774 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/26777/task/26788/stat : 26788 (java) S 26774 26777 24937 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 20 0 16511168 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139633005402864 139634460088962 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26789] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26789/stat : 26789 (java) S 26774 26777 24937 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 16511168 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139633004349152 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26790] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26790/stat : 26790 (java) S 26774 26777 24937 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 16511168 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139633003296000 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26791] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26791/stat : 26791 (java) S 26774 26777 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16511171 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139633002244560 139634460096411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26792] ppid=26774 vsize=26002768 CPUtime=0.94 cores=0-7
/proc/26777/task/26792/stat : 26792 (java) S 26774 26777 24937 0 -1 1077944384 3546 0 0 0 93 1 0 0 20 0 20 0 16511171 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139633001191664 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26793] ppid=26774 vsize=26002768 CPUtime=0.91 cores=0-7
/proc/26777/task/26793/stat : 26793 (java) S 26774 26777 24937 0 -1 1077944384 2378 0 0 0 90 1 0 0 20 0 20 0 16511171 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139633000139120 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26794] ppid=26774 vsize=26002768 CPUtime=0.86 cores=0-7
/proc/26777/task/26794/stat : 26794 (java) S 26774 26777 24937 0 -1 1077944384 3353 0 0 0 85 1 0 0 20 0 20 0 16511171 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139632999086064 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26795] ppid=26774 vsize=26002768 CPUtime=0.8 cores=0-7
/proc/26777/task/26795/stat : 26795 (java) S 26774 26777 24937 0 -1 1077944384 7027 0 0 0 78 2 0 0 20 0 20 0 16511171 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139632998033520 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26796] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26796/stat : 26796 (java) S 26774 26777 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16511171 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139632996981728 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26797] ppid=26774 vsize=26002768 CPUtime=0 cores=0-7
/proc/26777/task/26797/stat : 26797 (java) S 26774 26777 24937 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 16511175 26626834432 145307 18446744073709551615 4194304 4196468 140735934377840 139632995929264 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 26002768

[startup+6.30165 s]
/proc/loadavg: 7.94 8.07 6.49 11/216 26821
/proc/meminfo: memFree=30212820/32770624 swapFree=0/252316
[pid=26777] ppid=26774 vsize=27739612 CPUtime=27.5 cores=0-7
/proc/26777/stat : 26777 (java) S 26774 26777 24937 0 -1 1077944320 51367 0 0 0 2552 198 0 0 20 0 46 0 16511157 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 140735934360384 139634460077815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
/proc/26777/statm: 6934903 495031 3838 1 0 6923164 0
[pid=26777/tid=26779] ppid=26774 vsize=27739612 CPUtime=3.39 cores=0-7
/proc/26777/task/26779/stat : 26779 (java) S 26774 26777 24937 0 -1 1077944384 18669 0 0 0 328 11 0 0 20 0 46 0 16511165 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139634464315520 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26780] ppid=26774 vsize=27739612 CPUtime=0.45 cores=0-7
/proc/26777/task/26780/stat : 26780 (java) S 26774 26777 24937 0 -1 1077944384 531 0 0 0 26 19 0 0 20 0 46 0 16511166 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139634022153232 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26781] ppid=26774 vsize=27739612 CPUtime=0.46 cores=0-7
/proc/26777/task/26781/stat : 26781 (java) S 26774 26777 24937 0 -1 1077944384 706 0 0 0 28 18 0 0 20 0 46 0 16511166 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139634021100688 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26782] ppid=26774 vsize=27739612 CPUtime=0.44 cores=0-7
/proc/26777/task/26782/stat : 26782 (java) S 26774 26777 24937 0 -1 1077944384 468 0 0 0 28 16 0 0 20 0 46 0 16511166 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139634020047632 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26783] ppid=26774 vsize=27739612 CPUtime=0.46 cores=0-7
/proc/26777/task/26783/stat : 26783 (java) S 26774 26777 24937 0 -1 1077944384 407 0 0 0 26 20 0 0 20 0 46 0 16511166 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139634018995088 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26784] ppid=26774 vsize=27739612 CPUtime=0.44 cores=0-7
/proc/26777/task/26784/stat : 26784 (java) S 26774 26777 24937 0 -1 1077944384 1371 0 0 0 27 17 0 0 20 0 46 0 16511166 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139634017942032 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26785] ppid=26774 vsize=27739612 CPUtime=0.45 cores=0-7
/proc/26777/task/26785/stat : 26785 (java) S 26774 26777 24937 0 -1 1077944384 433 0 0 0 27 18 0 0 20 0 46 0 16511166 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139634016889488 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26786] ppid=26774 vsize=27739612 CPUtime=0.47 cores=0-7
/proc/26777/task/26786/stat : 26786 (java) S 26774 26777 24937 0 -1 1077944384 493 0 0 0 30 17 0 0 20 0 46 0 16511166 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139634015836432 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26787] ppid=26774 vsize=27739612 CPUtime=0.46 cores=0-7
/proc/26777/task/26787/stat : 26787 (java) S 26774 26777 24937 0 -1 1077944384 459 0 0 0 28 18 0 0 20 0 46 0 16511166 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139634014783888 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26788] ppid=26774 vsize=27739612 CPUtime=0.06 cores=0-7
/proc/26777/task/26788/stat : 26788 (java) S 26774 26777 24937 0 -1 1077944384 2294 0 0 0 6 0 0 0 20 0 46 0 16511168 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139633005402864 139634460088962 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26789] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26789/stat : 26789 (java) S 26774 26777 24937 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 16511168 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139633004349152 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26790] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26790/stat : 26790 (java) S 26774 26777 24937 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 46 0 16511168 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139633003296000 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26791] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26791/stat : 26791 (java) S 26774 26777 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16511171 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139633002244560 139634460096411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26792] ppid=26774 vsize=27739612 CPUtime=1.89 cores=0-7
/proc/26777/task/26792/stat : 26792 (java) S 26774 26777 24937 0 -1 1077944384 4477 0 0 0 187 2 0 0 20 0 46 0 16511171 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139633001191664 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26793] ppid=26774 vsize=27739612 CPUtime=1.65 cores=0-7
/proc/26777/task/26793/stat : 26793 (java) S 26774 26777 24937 0 -1 1077944384 3124 0 0 0 163 2 0 0 20 0 46 0 16511171 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139633000139120 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26794] ppid=26774 vsize=27739612 CPUtime=1.66 cores=0-7
/proc/26777/task/26794/stat : 26794 (java) S 26774 26777 24937 0 -1 1077944384 4589 0 0 0 164 2 0 0 20 0 46 0 16511171 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139632999086064 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26795] ppid=26774 vsize=27739612 CPUtime=1.09 cores=0-7
/proc/26777/task/26795/stat : 26795 (java) S 26774 26777 24937 0 -1 1077944384 9371 0 0 0 106 3 0 0 20 0 46 0 16511171 28405362688 495031 18446744073709551615 4194304 4196468 140735934377840 139632998033520 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26796] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7

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

/proc/26777/task/26803/stat : 26803 (java) R 26774 26777 24937 0 -1 4202560 22914 0 0 0 21526 38 0 0 20 0 46 0 16511522 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632976177584 139634114553676 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26804] ppid=26774 vsize=27739612 CPUtime=215.56 cores=0-7
/proc/26777/task/26804/stat : 26804 (java) R 26774 26777 24937 0 -1 4202560 23316 0 0 0 21513 43 0 0 20 0 46 0 16511522 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632975125216 139634110643861 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26805] ppid=26774 vsize=27739612 CPUtime=216.21 cores=0-7
/proc/26777/task/26805/stat : 26805 (java) R 26774 26777 24937 0 -1 4202560 18636 0 0 0 21586 35 0 0 20 0 46 0 16511522 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632974073104 139634114066587 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26806] ppid=26774 vsize=27739612 CPUtime=216.26 cores=0-7
/proc/26777/task/26806/stat : 26806 (java) R 26774 26777 24937 0 -1 4202560 25202 0 0 0 21582 44 0 0 20 0 46 0 16511522 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632973020600 139634114691016 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26807] ppid=26774 vsize=27739612 CPUtime=0.4 cores=0-7
/proc/26777/task/26807/stat : 26807 (java) S 26774 26777 24937 0 -1 1077944384 92 0 0 0 40 0 0 0 20 0 46 0 16511522 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632971974064 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26808] ppid=26774 vsize=27739612 CPUtime=0.42 cores=0-7
/proc/26777/task/26808/stat : 26808 (java) S 26774 26777 24937 0 -1 1077944384 107 0 0 0 41 1 0 0 20 0 46 0 16511522 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632970921008 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26809] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26809/stat : 26809 (java) S 26774 26777 24937 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 46 0 16511522 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632969868464 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26810] ppid=26774 vsize=27739612 CPUtime=215.08 cores=0-7
/proc/26777/task/26810/stat : 26810 (java) R 26774 26777 24937 0 -1 4202560 24019 0 0 0 21470 38 0 0 20 0 46 0 16511522 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632968808776 139634109696436 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26811] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26811/stat : 26811 (java) S 26774 26777 24937 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 16511620 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632967762864 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26812] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26812/stat : 26812 (java) S 26774 26777 24937 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 46 0 16511620 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632966710832 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26813] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26813/stat : 26813 (java) S 26774 26777 24937 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 16511692 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632963524272 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26814] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26814/stat : 26814 (java) S 26774 26777 24937 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 16511693 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632962471216 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26815] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26815/stat : 26815 (java) S 26774 26777 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 16511695 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632961418544 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26816] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26816/stat : 26816 (java) S 26774 26777 24937 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 46 0 16511698 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632960365616 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26817] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26817/stat : 26817 (java) S 26774 26777 24937 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 16511699 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632959313072 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26818] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26818/stat : 26818 (java) S 26774 26777 24937 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 16511701 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632958260016 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26819] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26819/stat : 26819 (java) S 26774 26777 24937 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 16511703 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632957207472 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26820] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26820/stat : 26820 (java) S 26774 26777 24937 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 46 0 16511706 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632956155440 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26821] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26821/stat : 26821 (java) S 26774 26777 24937 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 46 0 16511707 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632955102896 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26822] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26822/stat : 26822 (java) S 26774 26777 24937 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 46 0 16511708 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632954049840 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26823] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26823/stat : 26823 (java) S 26774 26777 24937 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 16511708 28405362688 1174051 18446744073709551615 4194304 4196468 140735934377840 139632952997296 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
Current children cumulated CPU time (s) 1749.23
Current children cumulated vsize (KiB) 27739612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.802 s]
/proc/loadavg: 8.52 8.33 6.95 10/218 26837
/proc/meminfo: memFree=27009140/32770624 swapFree=0/252344
[pid=26777] ppid=26774 vsize=27739612 CPUtime=1920.63 cores=0-7
/proc/26777/stat : 26777 (java) S 26774 26777 24937 0 -1 1077944320 343315 0 0 0 191151 912 0 0 20 0 46 0 16511157 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 140735934360384 139634460077815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
/proc/26777/statm: 6934903 1181805 3838 1 0 6923164 0
[pid=26777/tid=26779] ppid=26774 vsize=27739612 CPUtime=3.39 cores=0-7
/proc/26777/task/26779/stat : 26779 (java) S 26774 26777 24937 0 -1 1077944384 18669 0 0 0 328 11 0 0 20 0 46 0 16511165 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139634464315520 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26780] ppid=26774 vsize=27739612 CPUtime=1.38 cores=0-7
/proc/26777/task/26780/stat : 26780 (java) S 26774 26777 24937 0 -1 1077944384 7095 0 0 0 73 65 0 0 20 0 46 0 16511166 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139634022153232 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26781] ppid=26774 vsize=27739612 CPUtime=1.42 cores=0-7
/proc/26777/task/26781/stat : 26781 (java) S 26774 26777 24937 0 -1 1077944384 9355 0 0 0 76 66 0 0 20 0 46 0 16511166 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139634021100688 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26782] ppid=26774 vsize=27739612 CPUtime=1.39 cores=0-7
/proc/26777/task/26782/stat : 26782 (java) S 26774 26777 24937 0 -1 1077944384 6041 0 0 0 77 62 0 0 20 0 46 0 16511166 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139634020047632 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26783] ppid=26774 vsize=27739612 CPUtime=1.4 cores=0-7
/proc/26777/task/26783/stat : 26783 (java) S 26774 26777 24937 0 -1 1077944384 7567 0 0 0 73 67 0 0 20 0 46 0 16511166 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139634018995088 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26784] ppid=26774 vsize=27739612 CPUtime=1.4 cores=0-7
/proc/26777/task/26784/stat : 26784 (java) S 26774 26777 24937 0 -1 1077944384 8501 0 0 0 76 64 0 0 20 0 46 0 16511166 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139634017942032 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26785] ppid=26774 vsize=27739612 CPUtime=1.4 cores=0-7
/proc/26777/task/26785/stat : 26785 (java) S 26774 26777 24937 0 -1 1077944384 8682 0 0 0 75 65 0 0 20 0 46 0 16511166 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139634016889488 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26786] ppid=26774 vsize=27739612 CPUtime=1.42 cores=0-7
/proc/26777/task/26786/stat : 26786 (java) S 26774 26777 24937 0 -1 1077944384 9922 0 0 0 78 64 0 0 20 0 46 0 16511166 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139634015836432 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26787] ppid=26774 vsize=27739612 CPUtime=1.43 cores=0-7
/proc/26777/task/26787/stat : 26787 (java) S 26774 26777 24937 0 -1 1077944384 10345 0 0 0 76 67 0 0 20 0 46 0 16511166 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139634014783888 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26788] ppid=26774 vsize=27739612 CPUtime=0.17 cores=0-7
/proc/26777/task/26788/stat : 26788 (java) S 26774 26777 24937 0 -1 1077944384 14201 0 0 0 14 3 0 0 20 0 46 0 16511168 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139633005402864 139634460088962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26789] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26789/stat : 26789 (java) S 26774 26777 24937 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 16511168 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139633004349152 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26790] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26790/stat : 26790 (java) S 26774 26777 24937 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 46 0 16511168 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139633003296000 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26791] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26791/stat : 26791 (java) S 26774 26777 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16511171 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139633002244560 139634460096411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26792] ppid=26774 vsize=27739612 CPUtime=1.93 cores=0-7
/proc/26777/task/26792/stat : 26792 (java) S 26774 26777 24937 0 -1 1077944384 8115 0 0 0 191 2 0 0 20 0 46 0 16511171 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139633001191664 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26793] ppid=26774 vsize=27739612 CPUtime=1.71 cores=0-7
/proc/26777/task/26793/stat : 26793 (java) S 26774 26777 24937 0 -1 1077944384 6783 0 0 0 169 2 0 0 20 0 46 0 16511171 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139633000139120 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26794] ppid=26774 vsize=27739612 CPUtime=1.89 cores=0-7
/proc/26777/task/26794/stat : 26794 (java) S 26774 26777 24937 0 -1 1077944384 9392 0 0 0 187 2 0 0 20 0 46 0 16511171 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632999086064 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26795] ppid=26774 vsize=27739612 CPUtime=1.12 cores=0-7
/proc/26777/task/26795/stat : 26795 (java) S 26774 26777 24937 0 -1 1077944384 17539 0 0 0 108 4 0 0 20 0 46 0 16511171 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632998033520 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26796] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26796/stat : 26796 (java) S 26774 26777 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 16511171 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632996981728 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26797] ppid=26774 vsize=27739612 CPUtime=0.1 cores=0-7
/proc/26777/task/26797/stat : 26797 (java) S 26774 26777 24937 0 -1 1077944384 978 0 0 0 6 4 0 0 20 0 46 0 16511175 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632995929264 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26798] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26798/stat : 26798 (java) S 26774 26777 24937 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 46 0 16511498 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632985641984 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26799] ppid=26774 vsize=27739612 CPUtime=0.74 cores=0-7
/proc/26777/task/26799/stat : 26799 (java) S 26774 26777 24937 0 -1 1077944384 5011 0 0 0 43 31 0 0 20 0 46 0 16511510 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632982492464 139634460088962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26800] ppid=26774 vsize=27739612 CPUtime=237.21 cores=0-7
/proc/26777/task/26800/stat : 26800 (java) R 26774 26777 24937 0 -1 4202560 23875 0 0 0 23666 55 0 0 20 0 46 0 16511519 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632979338368 139634110646228 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26801] ppid=26774 vsize=27739612 CPUtime=237.15 cores=0-7
/proc/26777/task/26801/stat : 26801 (java) R 26774 26777 24937 0 -1 4202560 22487 0 0 0 23677 38 0 0 20 0 46 0 16511519 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632978283832 139634110185240 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26802] ppid=26774 vsize=27739612 CPUtime=237.16 cores=0-7
/proc/26777/task/26802/stat : 26802 (java) R 26774 26777 24937 0 -1 4202560 23555 0 0 0 23667 49 0 0 20 0 46 0 16511519 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632977230872 139634110646283 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26803] ppid=26774 vsize=27739612 CPUtime=237.09 cores=0-7
/proc/26777/task/26803/stat : 26803 (java) R 26774 26777 24937 0 -1 4202560 24836 0 0 0 23669 40 0 0 20 0 46 0 16511522 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632976178232 139634110750570 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26804] ppid=26774 vsize=27739612 CPUtime=236.71 cores=0-7
/proc/26777/task/26804/stat : 26804 (java) R 26774 26777 24937 0 -1 4202560 24273 0 0 0 23625 46 0 0 20 0 46 0 16511522 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632975126104 139634110645475 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26805] ppid=26774 vsize=27739612 CPUtime=237.66 cores=0-7
/proc/26777/task/26805/stat : 26805 (java) R 26774 26777 24937 0 -1 4202560 20773 0 0 0 23728 38 0 0 20 0 46 0 16511522 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632974073408 139634110185732 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26806] ppid=26774 vsize=27739612 CPUtime=237.72 cores=0-7
/proc/26777/task/26806/stat : 26806 (java) R 26774 26777 24937 0 -1 4202560 26965 0 0 0 23725 47 0 0 20 0 46 0 16511522 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632973020600 139634106503245 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26807] ppid=26774 vsize=27739612 CPUtime=0.4 cores=0-7
/proc/26777/task/26807/stat : 26807 (java) S 26774 26777 24937 0 -1 1077944384 92 0 0 0 40 0 0 0 20 0 46 0 16511522 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632971974064 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26808] ppid=26774 vsize=27739612 CPUtime=0.42 cores=0-7
/proc/26777/task/26808/stat : 26808 (java) S 26774 26777 24937 0 -1 1077944384 107 0 0 0 41 1 0 0 20 0 46 0 16511522 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632970921008 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26809] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26809/stat : 26809 (java) S 26774 26777 24937 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 46 0 16511522 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632969868464 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26810] ppid=26774 vsize=27739612 CPUtime=236.53 cores=0-7
/proc/26777/task/26810/stat : 26810 (java) R 26774 26777 24937 0 -1 4202560 25084 0 0 0 23612 41 0 0 20 0 46 0 16511522 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632968809400 139634103423889 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26811] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26811/stat : 26811 (java) S 26774 26777 24937 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 16511620 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632967762864 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26812] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26812/stat : 26812 (java) S 26774 26777 24937 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 46 0 16511620 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632966710832 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26813] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26813/stat : 26813 (java) S 26774 26777 24937 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 16511692 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632963524272 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26814] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26814/stat : 26814 (java) S 26774 26777 24937 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 16511693 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632962471216 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26815] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26815/stat : 26815 (java) S 26774 26777 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 16511695 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632961418544 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26816] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26816/stat : 26816 (java) S 26774 26777 24937 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 46 0 16511698 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632960365616 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26817] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26817/stat : 26817 (java) S 26774 26777 24937 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 16511699 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632959313072 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26818] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26818/stat : 26818 (java) S 26774 26777 24937 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 16511701 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632958260016 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26819] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26819/stat : 26819 (java) S 26774 26777 24937 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 16511703 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632957207472 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26820] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26820/stat : 26820 (java) S 26774 26777 24937 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 46 0 16511706 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632956155440 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26821] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26821/stat : 26821 (java) S 26774 26777 24937 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 46 0 16511707 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632955102896 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26822] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26822/stat : 26822 (java) S 26774 26777 24937 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 46 0 16511708 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632954049840 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
[pid=26777/tid=26823] ppid=26774 vsize=27739612 CPUtime=0 cores=0-7
/proc/26777/task/26823/stat : 26823 (java) S 26774 26777 24937 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 16511708 28405362688 1181805 18446744073709551615 4194304 4196468 140735934377840 139632952997296 139634460088021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16601088 140735934386576 140735934386760 140735934386760 140735934390223 0
Current children cumulated CPU time (s) 1920.63
Current children cumulated vsize (KiB) 27739612

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 26777 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+243.912 s]
/proc/loadavg: 8.52 8.33 6.95 10/218 26837
/proc/meminfo: memFree=27009140/32770624 swapFree=0/252344
[pid=26777] ppid=26774 vsize=0 CPUtime=1921.4 cores=0-7
/proc/26777/stat : 26777 (java) Z 26774 26777 24937 0 -1 4228108 345577 0 0 0 191226 914 0 0 20 0 2 0 16511157 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/26777/statm: 0 0 0 0 0 0 0
[pid=26777/tid=26806] ppid=26774 vsize=0 CPUtime=237.83 cores=0-7
/proc/26777/task/26806/stat : 26806 (java) R 26774 26777 24937 0 -1 4203588 26967 0 0 0 23734 49 0 0 20 0 2 0 16511522 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 6 0 0 3 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1921.4
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 243.924
CPU time (s): 1921.42
CPU user time (s): 1912.27
CPU system time (s): 9.15453
CPU usage (%): 787.713
Max. virtual memory (cumulated for all children) (KiB): 27739612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1912.27
system time used= 9.15453
maximum resident set size= 4728772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40872
involuntary context switches= 39845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.11937 second user time and 2.77419 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 4257325

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