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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT (TO)	180	245.045	240.034

0.36/0.40	c version: 2017-07-26
0.36/0.40	c seed: 1132866166
0.36/0.40	c timeout: 264
0.36/0.40	c memlimit: 11000
0.36/0.40	c nbcore: 4
0.36/0.42	c Parsing instance...
3.39/1.69	c Parsing done, starting search...
4.85/2.14	o 141
4.85/2.14	o 142
4.85/2.14	o 143
4.85/2.14	o 144
4.85/2.14	o 145
4.85/2.14	o 146
4.85/2.15	o 147
4.85/2.15	o 148
4.85/2.15	o 149
4.85/2.15	o 150
4.85/2.15	o 151
4.85/2.15	o 152
4.85/2.15	o 153
4.85/2.16	o 154
4.85/2.16	o 155
4.85/2.16	o 156
4.85/2.16	o 157
4.85/2.16	o 158
4.85/2.16	o 159
4.85/2.16	o 160
4.85/2.17	o 161
4.85/2.17	o 162
4.85/2.17	o 163
4.85/2.17	o 164
4.85/2.17	o 165
4.85/2.17	o 166
4.85/2.18	o 167
4.85/2.18	o 168
4.85/2.18	o 169
4.85/2.18	o 170
4.85/2.18	o 171
4.85/2.18	o 172
4.85/2.19	o 173
4.85/2.19	o 174
4.85/2.19	o 175
5.49/2.33	o 176
24.45/20.07	o 177
24.45/20.08	o 178
41.87/37.37	o 179
42.07/37.56	o 180
245.00/240.00	s SATISFIABLE
245.00/240.01	v <instantiation>
245.00/240.01	v 	<list>
245.00/240.01	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
245.00/240.01	v 	</list>
245.00/240.01	v 	<values>
245.00/240.01	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 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 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 1 1 1 1 2 1 0 0 0 1 0 2 1 1 0 0 0 1 1 1 0 0 0 2 1 1 0 0 0 1 0 2 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 2 0 2 0 0 0 1 0 0 0 0 0 2 0 0 1 0 2 0 2 1 1 0 0 0 1 1 2 0 1 0 0 0 0 0 1 1 0 1 0 2 0 1 0 2 2 2 1 1 2 1 1 2 2 2 1 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 24 74 124 174 224 274 324 366 383 395 408 418 422 427 432 435 437 438 444 449 453 459 469 483 509 528 180 
245.00/240.01	v 	</values>
245.00/240.01	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256331-1501626700/watcher-4256331-1501626700 -o /tmp/evaluation-result-4256331-1501626700/solver-4256331-1501626700 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1132866166 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256331-1501626700.xml 

pid=17929
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.66 1.53 1.61 3/199 17932
/proc/meminfo: memFree=31046488/32770624 swapFree=0/196384
[pid=17932] ppid=17929 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17932/stat : 17932 (runsolver) D 17929 17932 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10485312 24240128 107 18446744073709551615 4194304 4338465 140726622823008 140726622820648 140221512045271 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 16691200 140726622826598 140726622827078 140726622827078 140726622830538 0
/proc/17932/statm: 5918 107 54 36 0 2156 0

[startup+0.100111 s]
/proc/loadavg: 1.66 1.53 1.61 3/199 17932
/proc/meminfo: memFree=31046488/32770624 swapFree=0/196384
[pid=17932] ppid=17929 vsize=30188 CPUtime=0 cores=1,3,5,7
/proc/17932/stat : 17932 (java) R 17929 17932 5228 0 -1 4202496 766 0 0 0 0 0 0 0 20 0 1 0 10485312 30912512 607 18446744073709551615 4194304 4196468 140727515460240 140727515440936 140694443509385 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 7547 607 466 1 0 159 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30188

[startup+0.200231 s]
/proc/loadavg: 1.66 1.53 1.61 3/199 17932
/proc/meminfo: memFree=31046488/32770624 swapFree=0/196384
[pid=17932] ppid=17929 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 4965 0 0 0 4 1 0 0 20 0 14 0 10485312 14240239616 5518 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3476621 5518 2577 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.300282 s]
/proc/loadavg: 1.66 1.53 1.61 3/199 17932
/proc/meminfo: memFree=31046488/32770624 swapFree=0/196384
[pid=17932] ppid=17929 vsize=13975920 CPUtime=0.2 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 9909 0 0 0 18 2 0 0 20 0 15 0 10485312 14311342080 9303 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3493980 9303 3536 1 0 3482767 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13975920

[startup+0.701195 s]
/proc/loadavg: 1.66 1.53 1.61 3/199 17932
/proc/meminfo: memFree=31046488/32770624 swapFree=0/196384
[pid=17932] ppid=17929 vsize=13977988 CPUtime=1.02 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 14152 0 0 0 97 5 0 0 20 0 15 0 10485312 14313459712 16906 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3494497 16906 3716 1 0 3483279 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 13977988

[startup+1.50151 s]
/proc/loadavg: 1.66 1.53 1.61 6/214 17947
/proc/meminfo: memFree=30956476/32770624 swapFree=0/196384
[pid=17932] ppid=17929 vsize=13982084 CPUtime=3.25 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 27708 0 0 0 311 14 0 0 20 0 15 0 10485312 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3495521 56876 3773 1 0 3484303 0
[pid=17932/tid=17934] ppid=17929 vsize=13982084 CPUtime=1.31 cores=1,3,5,7
/proc/17932/task/17934/stat : 17934 (java) R 17929 17932 5228 0 -1 4202560 14103 0 0 0 123 8 0 0 20 0 15 0 10485322 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140694445523360 140694089425997 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17935] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 5228 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 10485323 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140694406568592 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17936] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10485323 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140694405515792 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17937] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10485323 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140694039824784 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17938] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 5228 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 10485323 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140694038771984 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17939] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 5228 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 10485324 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140693358185328 140694441298562 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17940] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 5228 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140693357131296 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17941] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140693356078448 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17942] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140693355026768 140694441306011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17943] ppid=17929 vsize=13982084 CPUtime=0.58 cores=1,3,5,7
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 5228 0 -1 1077944384 2552 0 0 0 58 0 0 0 20 0 15 0 10485327 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140693353974128 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17944] ppid=17929 vsize=13982084 CPUtime=0.58 cores=1,3,5,7
/proc/17932/task/17944/stat : 17944 (java) R 17929 17932 5228 0 -1 4202560 2713 0 0 0 58 0 0 0 20 0 15 0 10485327 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140693352911216 140694424781995 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17945] ppid=17929 vsize=13982084 CPUtime=0.68 cores=1,3,5,7
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 5228 0 -1 1077944384 6421 0 0 0 67 1 0 0 20 0 15 0 10485327 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140693351868528 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17946] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140693350815968 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17947] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485333 14317654016 56876 18446744073709551615 4194304 4196468 140727515460240 140693349764272 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 13982084

[startup+3.10068 s]
/proc/loadavg: 1.66 1.53 1.61 5/214 17947
/proc/meminfo: memFree=30770304/32770624 swapFree=0/196384
[pid=17932] ppid=17929 vsize=13982084 CPUtime=6.86 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 32166 0 0 0 665 21 0 0 20 0 15 0 10485312 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3495521 81729 3801 1 0 3484303 0
[pid=17932/tid=17934] ppid=17929 vsize=13982084 CPUtime=2.88 cores=1,3,5,7
/proc/17932/task/17934/stat : 17934 (java) R 17929 17932 5228 0 -1 4202560 14943 0 0 0 279 9 0 0 20 0 15 0 10485322 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140694445523848 140694090962843 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17935] ppid=17929 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 5228 0 -1 1077944384 302 0 0 0 2 2 0 0 20 0 15 0 10485323 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140694406568592 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17936] ppid=17929 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 5228 0 -1 1077944384 125 0 0 0 1 2 0 0 20 0 15 0 10485323 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140694405515792 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17937] ppid=17929 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 5228 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 15 0 10485323 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140694039824784 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17938] ppid=17929 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 5228 0 -1 1077944384 124 0 0 0 2 1 0 0 20 0 15 0 10485323 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140694038771984 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17939] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 5228 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 10485324 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140693358185328 140694441298562 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17940] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 5228 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140693357131360 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17941] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140693356078464 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17942] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140693355026768 140694441306011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17943] ppid=17929 vsize=13982084 CPUtime=1.47 cores=1,3,5,7
/proc/17932/task/17943/stat : 17943 (java) R 17929 17932 5228 0 -1 4202560 4045 0 0 0 147 0 0 0 20 0 15 0 10485327 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140693353959120 140694426413401 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17944] ppid=17929 vsize=13982084 CPUtime=1.51 cores=1,3,5,7
/proc/17932/task/17944/stat : 17944 (java) R 17929 17932 5228 0 -1 4202560 4416 0 0 0 151 0 0 0 20 0 15 0 10485327 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140693352921328 140694424674637 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17945] ppid=17929 vsize=13982084 CPUtime=0.79 cores=1,3,5,7
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 5228 0 -1 1077944384 6631 0 0 0 78 1 0 0 20 0 15 0 10485327 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140693351868528 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17946] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140693350815968 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17947] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 5228 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 10485333 14317654016 81729 18446744073709551615 4194304 4196468 140727515460240 140693349764272 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 13982084

[startup+6.30062 s]
/proc/loadavg: 1.60 1.52 1.60 3/214 17947
/proc/meminfo: memFree=30608796/32770624 swapFree=0/196392
[pid=17932] ppid=17929 vsize=13982084 CPUtime=10.33 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 34002 0 0 0 1006 27 0 0 20 0 15 0 10485312 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3495521 107221 3803 1 0 3484303 0
[pid=17932/tid=17934] ppid=17929 vsize=13982084 CPUtime=6.04 cores=1,3,5,7
/proc/17932/task/17934/stat : 17934 (java) R 17929 17932 5228 0 -1 4202560 15104 0 0 0 594 10 0 0 20 0 15 0 10485322 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140694445525520 140694090870625 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17935] ppid=17929 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 5228 0 -1 1077944384 331 0 0 0 4 3 0 0 20 0 15 0 10485323 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140694406568592 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17936] ppid=17929 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 5228 0 -1 1077944384 1151 0 0 0 4 3 0 0 20 0 15 0 10485323 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140694405515792 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17937] ppid=17929 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 5228 0 -1 1077944384 145 0 0 0 3 3 0 0 20 0 15 0 10485323 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140694039824784 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17938] ppid=17929 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 5228 0 -1 1077944384 240 0 0 0 4 3 0 0 20 0 15 0 10485323 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140694038771984 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17939] ppid=17929 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 5228 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 15 0 10485324 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140693358185328 140694441298562 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17940] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140693357131360 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17941] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140693356078464 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17942] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140693355026768 140694441306011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17943] ppid=17929 vsize=13982084 CPUtime=1.58 cores=1,3,5,7
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 5228 0 -1 1077944384 4063 0 0 0 158 0 0 0 20 0 15 0 10485327 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140693353974128 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17944] ppid=17929 vsize=13982084 CPUtime=1.55 cores=1,3,5,7
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 5228 0 -1 1077944384 4435 0 0 0 155 0 0 0 20 0 15 0 10485327 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140693352921328 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17945] ppid=17929 vsize=13982084 CPUtime=0.8 cores=1,3,5,7
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 5228 0 -1 1077944384 6654 0 0 0 79 1 0 0 20 0 15 0 10485327 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140693351868528 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17946] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140693350815968 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17947] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10485333 14317654016 107221 18446744073709551615 4194304 4196468 140727515460240 140693349764272 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
Current children cumulated CPU time (s) 10.33
Current children cumulated vsize (KiB) 13982084

[startup+12.7006 s]
/proc/loadavg: 1.56 1.51 1.60 3/214 17947
/proc/meminfo: memFree=29871020/32770624 swapFree=0/196404
[pid=17932] ppid=17929 vsize=13982084 CPUtime=17.07 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 38681 0 0 0 1670 37 0 0 20 0 15 0 10485312 14317654016 172558 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3495521 172558 3803 1 0 3484303 0
[pid=17932/tid=17934] ppid=17929 vsize=13982084 CPUtime=12.4 cores=1,3,5,7
/proc/17932/task/17934/stat : 17934 (java) R 17929 17932 5228 0 -1 4202560 16291 0 0 0 1227 13 0 0 20 0 15 0 10485322 14317654016 172558 18446744073709551615 4194304 4196468 140727515460240 140694445525632 140694090188308 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17935] ppid=17929 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 5228 0 -1 1077944384 779 0 0 0 6 5 0 0 20 0 15 0 10485323 14317654016 172558 18446744073709551615 4194304 4196468 140727515460240 140694406568592 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17936] ppid=17929 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 5228 0 -1 1077944384 1181 0 0 0 5 5 0 0 20 0 15 0 10485323 14317654016 172558 18446744073709551615 4194304 4196468 140727515460240 140694405515792 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17937] ppid=17929 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 5228 0 -1 1077944384 184 0 0 0 5 5 0 0 20 0 15 0 10485323 14317654016 172558 18446744073709551615 4194304 4196468 140727515460240 140694039824784 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17938] ppid=17929 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 5228 0 -1 1077944384 291 0 0 0 6 4 0 0 20 0 15 0 10485323 14317654016 172558 18446744073709551615 4194304 4196468 140727515460240 140694038771984 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17939] ppid=17929 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 5228 0 -1 1077944384 712 0 0 0 1 0 0 0 20 0 15 0 10485324 14317654016 172558 18446744073709551615 4194304 4196468 140727515460240 140693358185328 140694441298562 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17940] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 172558 18446744073709551615 4194304 4196468 140727515460240 140693357131360 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17941] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 172558 18446744073709551615 4194304 4196468 140727515460240 140693356078464 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17942] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 172558 18446744073709551615 4194304 4196468 140727515460240 140693355026768 140694441306011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0

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

/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 550426 18446744073709551615 4194304 4196468 140727515460240 140693350815968 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17947] ppid=17929 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 5228 0 -1 1077944384 199 0 0 0 0 1 0 0 20 0 15 0 10485333 14317654016 550426 18446744073709551615 4194304 4196468 140727515460240 140693349764272 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
Current children cumulated CPU time (s) 55.76
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.82 1.62 1.63 3/213 17949
/proc/meminfo: memFree=26069468/32770624 swapFree=0/196472
[pid=17932] ppid=17929 vsize=13982084 CPUtime=107.13 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 59685 0 0 0 10645 68 0 0 20 0 15 0 10485312 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3495521 551698 3803 1 0 3484303 0
[pid=17932/tid=17934] ppid=17929 vsize=13982084 CPUtime=101.96 cores=1,3,5,7
/proc/17932/task/17934/stat : 17934 (java) R 17929 17932 5228 0 -1 4202560 25023 0 0 0 10159 37 0 0 20 0 15 0 10485322 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140694445525712 140694090764643 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17935] ppid=17929 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 5228 0 -1 1077944384 1345 0 0 0 7 6 0 0 20 0 15 0 10485323 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140694406568592 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17936] ppid=17929 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 5228 0 -1 1077944384 1817 0 0 0 7 6 0 0 20 0 15 0 10485323 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140694405515792 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17937] ppid=17929 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 5228 0 -1 1077944384 313 0 0 0 7 6 0 0 20 0 15 0 10485323 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140694039824784 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17938] ppid=17929 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 5228 0 -1 1077944384 1461 0 0 0 8 5 0 0 20 0 15 0 10485323 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140694038771984 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17939] ppid=17929 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 5228 0 -1 1077944384 2442 0 0 0 2 0 0 0 20 0 15 0 10485324 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140693358185328 140694441298562 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17940] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140693357131360 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17941] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140693356078464 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17942] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140693355026768 140694441306011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17943] ppid=17929 vsize=13982084 CPUtime=1.91 cores=1,3,5,7
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 5228 0 -1 1077944384 9019 0 0 0 190 1 0 0 20 0 15 0 10485327 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140693353974128 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17944] ppid=17929 vsize=13982084 CPUtime=1.78 cores=1,3,5,7
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 5228 0 -1 1077944384 8912 0 0 0 177 1 0 0 20 0 15 0 10485327 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140693352921328 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17945] ppid=17929 vsize=13982084 CPUtime=0.81 cores=1,3,5,7
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 5228 0 -1 1077944384 7712 0 0 0 80 1 0 0 20 0 15 0 10485327 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140693351868528 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17946] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140693350815968 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17947] ppid=17929 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 5228 0 -1 1077944384 221 0 0 0 2 2 0 0 20 0 15 0 10485333 14317654016 551698 18446744073709551615 4194304 4196468 140727515460240 140693349764272 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
Current children cumulated CPU time (s) 107.13
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.95 1.69 1.65 3/215 17959
/proc/meminfo: memFree=25763844/32770624 swapFree=0/196512
[pid=17932] ppid=17929 vsize=13982084 CPUtime=167.18 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 62921 0 0 0 16647 71 0 0 20 0 15 0 10485312 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3495521 552160 3803 1 0 3484303 0
[pid=17932/tid=17934] ppid=17929 vsize=13982084 CPUtime=161.93 cores=1,3,5,7
/proc/17932/task/17934/stat : 17934 (java) R 17929 17932 5228 0 -1 4202560 27175 0 0 0 16156 37 0 0 20 0 15 0 10485322 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140694445525776 140694091592632 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17935] ppid=17929 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 5228 0 -1 1077944384 1412 0 0 0 8 6 0 0 20 0 15 0 10485323 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140694406568592 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17936] ppid=17929 vsize=13982084 CPUtime=0.15 cores=1,3,5,7
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 5228 0 -1 1077944384 2335 0 0 0 8 7 0 0 20 0 15 0 10485323 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140694405515792 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17937] ppid=17929 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 5228 0 -1 1077944384 488 0 0 0 7 6 0 0 20 0 15 0 10485323 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140694039824784 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17938] ppid=17929 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 5228 0 -1 1077944384 1514 0 0 0 8 6 0 0 20 0 15 0 10485323 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140694038771984 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17939] ppid=17929 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 5228 0 -1 1077944384 2683 0 0 0 2 1 0 0 20 0 15 0 10485324 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140693358185328 140694441298562 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17940] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140693357131360 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17941] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140693356078464 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17942] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140693355026768 140694441306011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17943] ppid=17929 vsize=13982084 CPUtime=1.91 cores=1,3,5,7
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 5228 0 -1 1077944384 9021 0 0 0 190 1 0 0 20 0 15 0 10485327 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140693353974128 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17944] ppid=17929 vsize=13982084 CPUtime=1.78 cores=1,3,5,7
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 5228 0 -1 1077944384 8914 0 0 0 177 1 0 0 20 0 15 0 10485327 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140693352921328 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17945] ppid=17929 vsize=13982084 CPUtime=0.81 cores=1,3,5,7
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 5228 0 -1 1077944384 7714 0 0 0 80 1 0 0 20 0 15 0 10485327 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140693351868528 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17946] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140693350815968 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17947] ppid=17929 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 5228 0 -1 1077944384 245 0 0 0 3 3 0 0 20 0 15 0 10485333 14317654016 552160 18446744073709551615 4194304 4196468 140727515460240 140693349764272 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
Current children cumulated CPU time (s) 167.18
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.83 1.71 1.67 3/215 17961
/proc/meminfo: memFree=25762456/32770624 swapFree=0/196544
[pid=17932] ppid=17929 vsize=13982084 CPUtime=227.29 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 69745 0 0 0 22654 75 0 0 20 0 15 0 10485312 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3495521 552021 3803 1 0 3484303 0
[pid=17932/tid=17934] ppid=17929 vsize=13982084 CPUtime=221.91 cores=1,3,5,7
/proc/17932/task/17934/stat : 17934 (java) R 17929 17932 5228 0 -1 4202560 29858 0 0 0 22154 37 0 0 20 0 15 0 10485322 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140694445525984 140694091616181 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17935] ppid=17929 vsize=13982084 CPUtime=0.15 cores=1,3,5,7
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 5228 0 -1 1077944384 2007 0 0 0 8 7 0 0 20 0 15 0 10485323 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140694406568592 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17936] ppid=17929 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 5228 0 -1 1077944384 2395 0 0 0 8 8 0 0 20 0 15 0 10485323 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140694405515792 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17937] ppid=17929 vsize=13982084 CPUtime=0.15 cores=1,3,5,7
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 5228 0 -1 1077944384 620 0 0 0 8 7 0 0 20 0 15 0 10485323 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140694039824784 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17938] ppid=17929 vsize=13982084 CPUtime=0.15 cores=1,3,5,7
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 5228 0 -1 1077944384 1559 0 0 0 9 6 0 0 20 0 15 0 10485323 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140694038771984 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17939] ppid=17929 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 5228 0 -1 1077944384 2903 0 0 0 3 1 0 0 20 0 15 0 10485324 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140693358185328 140694441298562 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17940] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140693357131360 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17941] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140693356078464 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17942] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140693355026768 140694441306011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17943] ppid=17929 vsize=13982084 CPUtime=1.92 cores=1,3,5,7
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 5228 0 -1 1077944384 10193 0 0 0 191 1 0 0 20 0 15 0 10485327 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140693353974128 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17944] ppid=17929 vsize=13982084 CPUtime=1.8 cores=1,3,5,7
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 5228 0 -1 1077944384 9662 0 0 0 179 1 0 0 20 0 15 0 10485327 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140693352921328 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17945] ppid=17929 vsize=13982084 CPUtime=0.82 cores=1,3,5,7
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 5228 0 -1 1077944384 8844 0 0 0 81 1 0 0 20 0 15 0 10485327 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140693351868528 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17946] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140693350815968 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17947] ppid=17929 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 5228 0 -1 1077944384 284 0 0 0 4 4 0 0 20 0 15 0 10485333 14317654016 552021 18446744073709551615 4194304 4196468 140727515460240 140693349764272 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
Current children cumulated CPU time (s) 227.29
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.74 1.70 1.66 3/215 18042
/proc/meminfo: memFree=29164348/32770624 swapFree=0/196604
[pid=17932] ppid=17929 vsize=13982084 CPUtime=245 cores=1,3,5,7
/proc/17932/stat : 17932 (java) S 17929 17932 5228 0 -1 1077944320 70694 0 0 0 24423 77 0 0 20 0 15 0 10485312 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140727515442784 140694441287415 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
/proc/17932/statm: 3495521 551878 3803 1 0 3484303 0
[pid=17932/tid=17934] ppid=17929 vsize=13982084 CPUtime=239.58 cores=1,3,5,7
/proc/17932/task/17934/stat : 17934 (java) R 17929 17932 5228 0 -1 4202560 30758 0 0 0 23921 37 0 0 20 0 15 0 10485322 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140694445525648 140694089620916 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17935] ppid=17929 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 5228 0 -1 1077944384 2019 0 0 0 9 8 0 0 20 0 15 0 10485323 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140694406568592 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17936] ppid=17929 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 5228 0 -1 1077944384 2411 0 0 0 8 8 0 0 20 0 15 0 10485323 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140694405515792 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17937] ppid=17929 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 5228 0 -1 1077944384 631 0 0 0 9 7 0 0 20 0 15 0 10485323 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140694039824784 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17938] ppid=17929 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 5228 0 -1 1077944384 1569 0 0 0 10 7 0 0 20 0 15 0 10485323 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140694038771984 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17939] ppid=17929 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 5228 0 -1 1077944384 2903 0 0 0 3 1 0 0 20 0 15 0 10485324 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140693358185328 140694441298562 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17940] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140693357131360 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17941] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10485325 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140693356078464 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17942] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140693355026768 140694441306011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17943] ppid=17929 vsize=13982084 CPUtime=1.92 cores=1,3,5,7
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 5228 0 -1 1077944384 10193 0 0 0 191 1 0 0 20 0 15 0 10485327 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140693353974128 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17944] ppid=17929 vsize=13982084 CPUtime=1.8 cores=1,3,5,7
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 5228 0 -1 1077944384 9662 0 0 0 179 1 0 0 20 0 15 0 10485327 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140693352921328 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17945] ppid=17929 vsize=13982084 CPUtime=0.82 cores=1,3,5,7
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 5228 0 -1 1077944384 8844 0 0 0 81 1 0 0 20 0 15 0 10485327 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140693351868528 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17946] ppid=17929 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10485327 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140693350815968 140694441297621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
[pid=17932/tid=17947] ppid=17929 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 5228 0 -1 1077944384 284 0 0 0 5 5 0 0 20 0 15 0 10485333 14317654016 551878 18446744073709551615 4194304 4196468 140727515460240 140693349764272 140694441298562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14016512 140727515464081 140727515464267 140727515464267 140727515467727 0
Current children cumulated CPU time (s) 245
Current children cumulated vsize (KiB) 13982084

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

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

Child status: 143
Real time (s): 240.034
CPU time (s): 245.045
CPU user time (s): 244.25
CPU system time (s): 0.794417
CPU usage (%): 102.087
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.25
system time used= 0.794417
maximum resident set size= 2211700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71809
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= 9006
involuntary context switches= 421

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0575 second user time and 1.48992 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 4256331

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