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

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

0.30/0.35	c version: 2017-07-26
0.30/0.35	c seed: 490232887
0.30/0.35	c timeout: 2520
0.30/0.36	c memlimit: 11000
0.30/0.36	c nbcore: 4
0.30/0.38	c Parsing instance...
3.47/1.64	c Parsing done, starting search...
4.96/2.13	o 141
4.96/2.13	o 142
4.96/2.13	o 143
4.96/2.13	o 144
4.96/2.13	o 145
4.96/2.14	o 146
4.96/2.14	o 147
4.96/2.14	o 148
4.96/2.14	o 149
4.96/2.14	o 150
4.96/2.14	o 151
4.96/2.14	o 152
4.96/2.15	o 153
4.96/2.15	o 154
4.96/2.15	o 155
4.96/2.15	o 156
4.96/2.15	o 157
4.96/2.15	o 158
4.96/2.15	o 159
4.96/2.16	o 160
4.96/2.16	o 161
4.96/2.16	o 162
4.96/2.16	o 163
4.96/2.16	o 164
4.96/2.16	o 165
4.96/2.17	o 166
4.96/2.17	o 167
4.96/2.18	o 168
4.96/2.18	o 169
4.96/2.18	o 170
4.96/2.18	o 171
4.96/2.18	o 172
4.96/2.18	o 173
4.96/2.18	o 174
4.96/2.18	o 175
5.56/2.31	o 176
23.81/19.58	o 177
23.81/19.58	o 178
40.93/36.58	o 179
41.12/36.77	o 180
2520.00/2496.60	s SATISFIABLE
2520.00/2496.61	v <instantiation>
2520.00/2496.61	v 	<list>
2520.00/2496.61	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
2520.00/2496.61	v 	</list>
2520.00/2496.61	v 	<values>
2520.00/2496.61	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 
2520.00/2496.61	v 	</values>
2520.00/2496.61	v </instantiation>

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273740-1502691342/watcher-4273740-1502691342 -o /tmp/evaluation-result-4273740-1502691342/solver-4273740-1502691342 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 490232887 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273740-1502691342.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14562, runsolver pid=14559
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 1.58 1.47 1.39 3/204 14569
/proc/meminfo: memFree=30198416/32770624 swapFree=67105588/67108860
[pid=14562] ppid=14559 vsize=13573664 memory=18748 CPUtime=0.02 cores=1,3,5,7
/proc/14562/stat : 14562 (java) S 14559 14562 12560 0 -1 1077944320 4079 0 0 0 2 0 0 0 20 0 9 0 71329616 13899431936 4687 18446744073709551615 4194304 4196468 140720428992240 140720428974784 140533787201271 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
/proc/14562/statm: 3393416 4687 2091 1 0 3382913 0
[pid=14562/tid=14564] ppid=14559 vsize=13573664 memory=7077796292425249400 CPUtime=0.02 cores=1,3,5,7
/proc/14562/task/14564/stat : 14564 (java) R 14559 14562 12560 0 -1 4202560 2709 0 0 0 2 0 0 0 20 0 9 0 71329624 13899431936 4687 18446744073709551615 4194304 4196468 140720428992240 140533791437032 140533787223197 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14565] ppid=14559 vsize=13573664 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14565/stat : 14565 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 71329625 13899431936 4687 18446744073709551615 4194304 4196468 140720428992240 140533748099984 140533787211477 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14566] ppid=14559 vsize=13573664 memory=140689583695488 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14566/stat : 14566 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 71329625 13899431936 4687 18446744073709551615 4194304 4196468 140720428992240 140533747047184 140533787211477 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14567] ppid=14559 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14567/stat : 14567 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 71329625 13899431936 4687 18446744073709551615 4194304 4196468 140720428992240 140533385587856 140533787211477 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14568] ppid=14559 vsize=13573664 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14568/stat : 14568 (java) S 14559 14562 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 71329625 13899431936 4687 18446744073709551615 4194304 4196468 140720428992240 140533384535056 140533787211477 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14569] ppid=14559 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14569/stat : 14569 (java) S 14559 14562 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 71329626 13899431936 4687 18446744073709551615 4194304 4196468 140720428992240 140532703774832 140533787212418 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14570] ppid=14559 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14570/stat : 14570 (java) S 14559 14562 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 71329626 13899431936 4687 18446744073709551615 4194304 4196468 140720428992240 140532702720800 140533787211477 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14571] ppid=14559 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14571/stat : 14571 (java) S 14559 14562 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 71329627 13899431936 4687 18446744073709551615 4194304 4196468 140720428992240 140532701668528 140533787211477 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 18748 KiB

[startup+0.210024 s]*
/proc/loadavg: 1.58 1.47 1.39 3/212 14577
/proc/meminfo: memFree=30183728/32770624 swapFree=67105588/67108860
[pid=14562] ppid=14559 vsize=13975920 memory=33576 CPUtime=0.13 cores=1,3,5,7
/proc/14562/stat : 14562 (java) S 14559 14562 12560 0 -1 1077944320 9395 0 0 0 12 1 0 0 20 0 15 0 71329616 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140720428974784 140533787201271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
/proc/14562/statm: 3493980 8394 3386 1 0 3482759 0
[pid=14562/tid=14564] ppid=14559 vsize=13975920 memory=8316850467074736180 CPUtime=0.1 cores=1,3,5,7
/proc/14562/task/14564/stat : 14564 (java) R 14559 14562 12560 0 -1 4202560 7342 0 0 0 9 1 0 0 20 0 15 0 71329624 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140533791433072 140533770388097 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14565] ppid=14559 vsize=13975920 memory=9220 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14565/stat : 14565 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329625 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140533748099984 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14566] ppid=14559 vsize=13975920 memory=140689584384808 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14566/stat : 14566 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329625 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140533747047184 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14567] ppid=14559 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14567/stat : 14567 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329625 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140533385587856 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14568] ppid=14559 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14568/stat : 14568 (java) S 14559 14562 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71329625 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140533384535056 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14569] ppid=14559 vsize=13975920 memory=140689583695488 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14569/stat : 14569 (java) S 14559 14562 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71329626 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140532703774832 140533787212418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14570] ppid=14559 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14570/stat : 14570 (java) S 14559 14562 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71329626 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140532702720800 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14571] ppid=14559 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14571/stat : 14571 (java) S 14559 14562 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71329627 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140532701668464 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14572] ppid=14559 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14572/stat : 14572 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140532700616784 140533787219867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14573] ppid=14559 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14573/stat : 14573 (java) S 14559 14562 12560 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 71329629 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140532699564656 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14574] ppid=14559 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14574/stat : 14574 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140532698511856 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14575] ppid=14559 vsize=13975920 memory=140689583695488 CPUtime=0.02 cores=1,3,5,7
/proc/14562/task/14575/stat : 14575 (java) S 14559 14562 12560 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 71329629 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140532697459568 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14576] ppid=14559 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14576/stat : 14576 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140532696407008 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14577] ppid=14559 vsize=13975920 memory=140689583695488 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14577/stat : 14577 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329632 14311342080 8394 18446744073709551615 4194304 4196468 140720428992240 140532695353776 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 33576 KiB

[startup+0.310518 s]*
/proc/loadavg: 1.58 1.47 1.39 4/212 14577
/proc/meminfo: memFree=30178012/32770624 swapFree=67105588/67108860
[pid=14562] ppid=14559 vsize=13975920 memory=42720 CPUtime=0.3 cores=1,3,5,7
/proc/14562/stat : 14562 (java) S 14559 14562 12560 0 -1 1077944320 10936 0 0 0 28 2 0 0 20 0 15 0 71329616 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140720428974784 140533787201271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
/proc/14562/statm: 3493980 10680 3577 1 0 3482759 0
[pid=14562/tid=14564] ppid=14559 vsize=13975920 memory=8316850467074736180 CPUtime=0.2 cores=1,3,5,7
/proc/14562/task/14564/stat : 14564 (java) R 14559 14562 12560 0 -1 4202560 8485 0 0 0 18 2 0 0 20 0 15 0 71329624 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140533791424080 140533771281758 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14565] ppid=14559 vsize=13975920 memory=9220 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14565/stat : 14565 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329625 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140533748099984 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14566] ppid=14559 vsize=13975920 memory=140689584384808 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14566/stat : 14566 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329625 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140533747047184 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14567] ppid=14559 vsize=13975920 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14567/stat : 14567 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329625 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140533385587856 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14568] ppid=14559 vsize=13975920 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14568/stat : 14568 (java) S 14559 14562 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71329625 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140533384535056 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14569] ppid=14559 vsize=13975920 memory=3471343085904533168 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14569/stat : 14569 (java) S 14559 14562 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71329626 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140532703774832 140533787212418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14570] ppid=14559 vsize=13975920 memory=8388367118360672371 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14570/stat : 14570 (java) S 14559 14562 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71329626 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140532702720800 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14571] ppid=14559 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14571/stat : 14571 (java) S 14559 14562 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71329627 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140532701668464 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14572] ppid=14559 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14572/stat : 14572 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140532700616784 140533787219867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14573] ppid=14559 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14562/task/14573/stat : 14573 (java) S 14559 14562 12560 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 71329629 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140532699564656 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14574] ppid=14559 vsize=13975920 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14562/task/14574/stat : 14574 (java) S 14559 14562 12560 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 15 0 71329629 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140532698511856 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14575] ppid=14559 vsize=13975920 memory=8392726565340993761 CPUtime=0.05 cores=1,3,5,7
/proc/14562/task/14575/stat : 14575 (java) S 14559 14562 12560 0 -1 1077944384 451 0 0 0 5 0 0 0 20 0 15 0 71329629 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140532697459568 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14576] ppid=14559 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14576/stat : 14576 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140532696407008 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14577] ppid=14559 vsize=13975920 memory=140689583695488 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14577/stat : 14577 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329632 14311342080 10680 18446744073709551615 4194304 4196468 140720428992240 140532695353776 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 42720 KiB

[startup+0.709507 s]
/proc/loadavg: 1.58 1.47 1.39 4/212 14577
/proc/meminfo: memFree=30163360/32770624 swapFree=67105588/67108860
[pid=14562] ppid=14559 vsize=13977988 memory=74828 CPUtime=1.22 cores=1,3,5,7
/proc/14562/stat : 14562 (java) S 14559 14562 12560 0 -1 1077944320 14404 0 0 0 118 4 0 0 20 0 15 0 71329616 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140720428974784 140533787201271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
/proc/14562/statm: 3494497 18707 3737 1 0 3483271 0
[pid=14562/tid=14564] ppid=14559 vsize=13977988 memory=1232 CPUtime=0.58 cores=1,3,5,7
/proc/14562/task/14564/stat : 14564 (java) R 14559 14562 12560 0 -1 4202560 10386 0 0 0 56 2 0 0 20 0 15 0 71329624 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140533791437296 140533427179784 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14565] ppid=14559 vsize=13977988 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14565/stat : 14565 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329625 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140533748099984 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14566] ppid=14559 vsize=13977988 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14566/stat : 14566 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329625 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140533747047184 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14567] ppid=14559 vsize=13977988 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14567/stat : 14567 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329625 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140533385587856 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14568] ppid=14559 vsize=13977988 memory=920 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14568/stat : 14568 (java) S 14559 14562 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71329625 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140533384535056 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14569] ppid=14559 vsize=13977988 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14569/stat : 14569 (java) S 14559 14562 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71329626 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140532703774832 140533787212418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14570] ppid=14559 vsize=13977988 memory=33 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14570/stat : 14570 (java) S 14559 14562 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71329626 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140532702720800 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14571] ppid=14559 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14571/stat : 14571 (java) S 14559 14562 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71329627 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140532701668464 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14572] ppid=14559 vsize=13977988 memory=737 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14572/stat : 14572 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140532700616784 140533787219867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14573] ppid=14559 vsize=13977988 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/14562/task/14573/stat : 14573 (java) R 14559 14562 12560 0 -1 4202560 837 0 0 0 17 0 0 0 20 0 15 0 71329629 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140532699545672 140533765093152 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14574] ppid=14559 vsize=13977988 memory=832 CPUtime=0.17 cores=1,3,5,7
/proc/14562/task/14574/stat : 14574 (java) R 14559 14562 12560 0 -1 4202560 776 0 0 0 17 0 0 0 20 0 15 0 71329629 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140532698497568 140533787213206 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14575] ppid=14559 vsize=13977988 memory=16448 CPUtime=0.27 cores=1,3,5,7
/proc/14562/task/14575/stat : 14575 (java) R 14559 14562 12560 0 -1 4202560 1023 0 0 0 27 0 0 0 20 0 15 0 71329629 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140532697455296 140533787222618 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14576] ppid=14559 vsize=13977988 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14576/stat : 14576 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140532696407008 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14577] ppid=14559 vsize=13977988 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14577/stat : 14577 (java) S 14559 14562 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71329632 14313459712 18707 18446744073709551615 4194304 4196468 140720428992240 140532695353776 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 74828 KiB

[startup+1.50077 s]
/proc/loadavg: 1.58 1.47 1.39 6/212 14577
/proc/meminfo: memFree=30121088/32770624 swapFree=67105588/67108860
[pid=14562] ppid=14559 vsize=13982084 memory=227504 CPUtime=3.27 cores=1,3,5,7
/proc/14562/stat : 14562 (java) S 14559 14562 12560 0 -1 1077944320 27881 0 0 0 317 10 0 0 20 0 15 0 71329616 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140720428974784 140533787201271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
/proc/14562/statm: 3495521 56876 3778 1 0 3484295 0
[pid=14562/tid=14564] ppid=14559 vsize=13982084 memory=2257 CPUtime=1.35 cores=1,3,5,7
/proc/14562/task/14564/stat : 14564 (java) R 14559 14562 12560 0 -1 4202560 14074 0 0 0 130 5 0 0 20 0 15 0 71329624 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140533791434672 140533433924187 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14565] ppid=14559 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14565/stat : 14565 (java) S 14559 14562 12560 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 71329625 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140533748099984 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14566] ppid=14559 vsize=13982084 memory=-7522837582236181595 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14566/stat : 14566 (java) S 14559 14562 12560 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 71329625 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140533747047184 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14567] ppid=14559 vsize=13982084 memory=95108 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14567/stat : 14567 (java) S 14559 14562 12560 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 71329625 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140533385587856 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14568] ppid=14559 vsize=13982084 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14568/stat : 14568 (java) S 14559 14562 12560 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 71329625 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140533384535056 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14569] ppid=14559 vsize=13982084 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14569/stat : 14569 (java) S 14559 14562 12560 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 71329626 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140532703774832 140533787212418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14570] ppid=14559 vsize=13982084 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14570/stat : 14570 (java) S 14559 14562 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 71329626 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140532702720800 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14571] ppid=14559 vsize=13982084 memory=281378877059680 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14571/stat : 14571 (java) S 14559 14562 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 71329627 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140532701668464 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14572] ppid=14559 vsize=13982084 memory=7595708230933835104 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14572/stat : 14572 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140532700616784 140533787219867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14573] ppid=14559 vsize=13982084 memory=7595708230933835104 CPUtime=0.57 cores=1,3,5,7
/proc/14562/task/14573/stat : 14573 (java) S 14559 14562 12560 0 -1 1077944384 2623 0 0 0 57 0 0 0 20 0 15 0 71329629 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140532699564656 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14574] ppid=14559 vsize=13982084 memory=7595708230933835104 CPUtime=0.57 cores=1,3,5,7
/proc/14562/task/14574/stat : 14574 (java) S 14559 14562 12560 0 -1 1077944384 2609 0 0 0 56 1 0 0 20 0 15 0 71329629 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140532698511856 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14575] ppid=14559 vsize=13982084 memory=7595708230933835104 CPUtime=0.69 cores=1,3,5,7
/proc/14562/task/14575/stat : 14575 (java) S 14559 14562 12560 0 -1 1077944384 6645 0 0 0 68 1 0 0 20 0 15 0 71329629 14317654016 56876 18446744073709551615 4194304 4196468 140720428992240 140532697459568 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0

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

/proc/14562/task/14564/stat : 14564 (java) R 14559 14562 12560 0 -1 4202560 64679 0 0 0 230722 49 0 0 20 0 15 0 71329624 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140533791439712 140533435972780 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14565] ppid=14559 vsize=13982084 memory=2315048 CPUtime=6.44 cores=1,3,5,7
/proc/14562/task/14565/stat : 14565 (java) S 14559 14562 12560 0 -1 1077944384 19448 0 0 0 598 46 0 0 20 0 15 0 71329625 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140533748099984 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14566] ppid=14559 vsize=13982084 memory=2315048 CPUtime=6.44 cores=1,3,5,7
/proc/14562/task/14566/stat : 14566 (java) S 14559 14562 12560 0 -1 1077944384 18284 0 0 0 596 48 0 0 20 0 15 0 71329625 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140533747047184 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14567] ppid=14559 vsize=13982084 memory=2315048 CPUtime=6.42 cores=1,3,5,7
/proc/14562/task/14567/stat : 14567 (java) S 14559 14562 12560 0 -1 1077944384 17998 0 0 0 596 46 0 0 20 0 15 0 71329625 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140533385587856 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14568] ppid=14559 vsize=13982084 memory=2315048 CPUtime=6.45 cores=1,3,5,7
/proc/14562/task/14568/stat : 14568 (java) S 14559 14562 12560 0 -1 1077944384 15262 0 0 0 602 43 0 0 20 0 15 0 71329625 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140533384535056 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14569] ppid=14559 vsize=13982084 memory=0 CPUtime=5.04 cores=1,3,5,7
/proc/14562/task/14569/stat : 14569 (java) S 14559 14562 12560 0 -1 1077944384 18638 0 0 0 468 36 0 0 20 0 15 0 71329626 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140532703774832 140533787212418 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14570] ppid=14559 vsize=13982084 memory=56 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14570/stat : 14570 (java) S 14559 14562 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 71329626 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140532702720864 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14571] ppid=14559 vsize=13982084 memory=2313000 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14571/stat : 14571 (java) S 14559 14562 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 71329627 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140532701668480 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14572] ppid=14559 vsize=13982084 memory=2315048 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14572/stat : 14572 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140532700616784 140533787219867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14573] ppid=14559 vsize=13982084 memory=2315048 CPUtime=1.68 cores=1,3,5,7
/proc/14562/task/14573/stat : 14573 (java) S 14559 14562 12560 0 -1 1077944384 9191 0 0 0 167 1 0 0 20 0 15 0 71329629 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140532699564656 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14574] ppid=14559 vsize=13982084 memory=2315048 CPUtime=1.78 cores=1,3,5,7
/proc/14562/task/14574/stat : 14574 (java) S 14559 14562 12560 0 -1 1077944384 10114 0 0 0 176 2 0 0 20 0 15 0 71329629 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140532698511856 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14575] ppid=14559 vsize=13982084 memory=2315048 CPUtime=0.83 cores=1,3,5,7
/proc/14562/task/14575/stat : 14575 (java) S 14559 14562 12560 0 -1 1077944384 8119 0 0 0 82 1 0 0 20 0 15 0 71329629 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140532697459568 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14576] ppid=14559 vsize=13982084 memory=2315048 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14576/stat : 14576 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140532696407008 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14577] ppid=14559 vsize=13982084 memory=2315048 CPUtime=1.15 cores=1,3,5,7
/proc/14562/task/14577/stat : 14577 (java) S 14559 14562 12560 0 -1 1077944384 1379 0 0 0 54 61 0 0 20 0 15 0 71329632 14317654016 578762 18446744073709551615 4194304 4196468 140720428992240 140532695353776 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
Current children cumulated CPU time: 2344.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 2315048 KiB

[startup+2382.3 s]
/proc/loadavg: 1.58 1.36 1.37 3/213 14717
/proc/meminfo: memFree=25993820/32770624 swapFree=67105588/67108860
[pid=14562] ppid=14559 vsize=13982084 memory=2317096 CPUtime=2404.63 cores=1,3,5,7
/proc/14562/stat : 14562 (java) S 14559 14562 12560 0 -1 1077944320 188103 0 0 0 240178 285 0 0 20 0 15 0 71329616 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140720428974784 140533787201271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
/proc/14562/statm: 3495521 579274 3812 1 0 3484295 0
[pid=14562/tid=14564] ppid=14559 vsize=13982084 memory=2317096 CPUtime=2367.29 cores=1,3,5,7
/proc/14562/task/14564/stat : 14564 (java) R 14559 14562 12560 0 -1 4202560 65705 0 0 0 236680 49 0 0 20 0 15 0 71329624 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140533791439584 140533430633795 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14565] ppid=14559 vsize=13982084 memory=2317096 CPUtime=6.64 cores=1,3,5,7
/proc/14562/task/14565/stat : 14565 (java) S 14559 14562 12560 0 -1 1077944384 20133 0 0 0 617 47 0 0 20 0 15 0 71329625 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140533748099984 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14566] ppid=14559 vsize=13982084 memory=2317096 CPUtime=6.65 cores=1,3,5,7
/proc/14562/task/14566/stat : 14566 (java) S 14559 14562 12560 0 -1 1077944384 18604 0 0 0 616 49 0 0 20 0 15 0 71329625 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140533747047184 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14567] ppid=14559 vsize=13982084 memory=2317096 CPUtime=6.63 cores=1,3,5,7
/proc/14562/task/14567/stat : 14567 (java) S 14559 14562 12560 0 -1 1077944384 18205 0 0 0 616 47 0 0 20 0 15 0 71329625 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140533385587856 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14568] ppid=14559 vsize=13982084 memory=2317096 CPUtime=6.66 cores=1,3,5,7
/proc/14562/task/14568/stat : 14568 (java) S 14559 14562 12560 0 -1 1077944384 16039 0 0 0 622 44 0 0 20 0 15 0 71329625 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140533384535056 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14569] ppid=14559 vsize=13982084 memory=2317096 CPUtime=5.19 cores=1,3,5,7
/proc/14562/task/14569/stat : 14569 (java) S 14559 14562 12560 0 -1 1077944384 19144 0 0 0 482 37 0 0 20 0 15 0 71329626 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140532703774832 140533787212418 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14570] ppid=14559 vsize=13982084 memory=2317096 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14570/stat : 14570 (java) S 14559 14562 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 71329626 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140532702720864 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14571] ppid=14559 vsize=13982084 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14571/stat : 14571 (java) S 14559 14562 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 71329627 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140532701668480 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14572] ppid=14559 vsize=13982084 memory=40120 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14572/stat : 14572 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140532700616784 140533787219867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14573] ppid=14559 vsize=13982084 memory=2315048 CPUtime=1.68 cores=1,3,5,7
/proc/14562/task/14573/stat : 14573 (java) S 14559 14562 12560 0 -1 1077944384 9195 0 0 0 167 1 0 0 20 0 15 0 71329629 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140532699564656 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14574] ppid=14559 vsize=13982084 memory=2315048 CPUtime=1.78 cores=1,3,5,7
/proc/14562/task/14574/stat : 14574 (java) S 14559 14562 12560 0 -1 1077944384 10118 0 0 0 176 2 0 0 20 0 15 0 71329629 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140532698511856 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14575] ppid=14559 vsize=13982084 memory=4144 CPUtime=0.83 cores=1,3,5,7
/proc/14562/task/14575/stat : 14575 (java) S 14559 14562 12560 0 -1 1077944384 8123 0 0 0 82 1 0 0 20 0 15 0 71329629 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140532697459568 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14576] ppid=14559 vsize=13982084 memory=40120 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14576/stat : 14576 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140532696407008 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14577] ppid=14559 vsize=13982084 memory=2315048 CPUtime=1.17 cores=1,3,5,7
/proc/14562/task/14577/stat : 14577 (java) S 14559 14562 12560 0 -1 1077944384 1421 0 0 0 54 63 0 0 20 0 15 0 71329632 14317654016 579274 18446744073709551615 4194304 4196468 140720428992240 140532695353776 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
Current children cumulated CPU time: 2404.63 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 2317096 KiB

[startup+2442.3 s]
/proc/loadavg: 1.61 1.43 1.39 3/210 14719
/proc/meminfo: memFree=25991404/32770624 swapFree=67105588/67108860
[pid=14562] ppid=14559 vsize=13982084 memory=2321192 CPUtime=2465.19 cores=1,3,5,7
/proc/14562/stat : 14562 (java) S 14559 14562 12560 0 -1 1077944320 191002 0 0 0 246228 291 0 0 20 0 15 0 71329616 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140720428974784 140533787201271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
/proc/14562/statm: 3495521 580298 3812 1 0 3484295 0
[pid=14562/tid=14564] ppid=14559 vsize=13982084 memory=2321192 CPUtime=2426.91 cores=1,3,5,7
/proc/14562/task/14564/stat : 14564 (java) R 14559 14562 12560 0 -1 4202560 66584 0 0 0 242641 50 0 0 20 0 15 0 71329624 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140533791439472 140533435999713 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14565] ppid=14559 vsize=13982084 memory=2321192 CPUtime=6.85 cores=1,3,5,7
/proc/14562/task/14565/stat : 14565 (java) S 14559 14562 12560 0 -1 1077944384 20470 0 0 0 637 48 0 0 20 0 15 0 71329625 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140533748099984 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14566] ppid=14559 vsize=13982084 memory=2319144 CPUtime=6.85 cores=1,3,5,7
/proc/14562/task/14566/stat : 14566 (java) S 14559 14562 12560 0 -1 1077944384 19180 0 0 0 635 50 0 0 20 0 15 0 71329625 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140533747047184 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14567] ppid=14559 vsize=13982084 memory=2319144 CPUtime=6.83 cores=1,3,5,7
/proc/14562/task/14567/stat : 14567 (java) S 14559 14562 12560 0 -1 1077944384 18786 0 0 0 634 49 0 0 20 0 15 0 71329625 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140533385587856 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14568] ppid=14559 vsize=13982084 memory=2321192 CPUtime=6.85 cores=1,3,5,7
/proc/14562/task/14568/stat : 14568 (java) S 14559 14562 12560 0 -1 1077944384 16239 0 0 0 640 45 0 0 20 0 15 0 71329625 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140533384535056 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14569] ppid=14559 vsize=13982084 memory=2321192 CPUtime=5.32 cores=1,3,5,7
/proc/14562/task/14569/stat : 14569 (java) S 14559 14562 12560 0 -1 1077944384 19425 0 0 0 494 38 0 0 20 0 15 0 71329626 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140532703774832 140533787212418 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14570] ppid=14559 vsize=13982084 memory=2321192 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14570/stat : 14570 (java) S 14559 14562 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 71329626 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140532702720864 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14571] ppid=14559 vsize=13982084 memory=2321192 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14571/stat : 14571 (java) S 14559 14562 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 71329627 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140532701668480 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14572] ppid=14559 vsize=13982084 memory=2321192 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14572/stat : 14572 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140532700616784 140533787219867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14573] ppid=14559 vsize=13982084 memory=2319144 CPUtime=1.68 cores=1,3,5,7
/proc/14562/task/14573/stat : 14573 (java) S 14559 14562 12560 0 -1 1077944384 9199 0 0 0 167 1 0 0 20 0 15 0 71329629 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140532699564656 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14574] ppid=14559 vsize=13982084 memory=1292 CPUtime=1.78 cores=1,3,5,7
/proc/14562/task/14574/stat : 14574 (java) S 14559 14562 12560 0 -1 1077944384 10122 0 0 0 176 2 0 0 20 0 15 0 71329629 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140532698511856 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14575] ppid=14559 vsize=13982084 memory=2321192 CPUtime=0.83 cores=1,3,5,7
/proc/14562/task/14575/stat : 14575 (java) S 14559 14562 12560 0 -1 1077944384 8127 0 0 0 82 1 0 0 20 0 15 0 71329629 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140532697459568 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14576] ppid=14559 vsize=13982084 memory=2321192 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14576/stat : 14576 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140532696407008 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14577] ppid=14559 vsize=13982084 memory=-8774313645642428999 CPUtime=1.2 cores=1,3,5,7
/proc/14562/task/14577/stat : 14577 (java) S 14559 14562 12560 0 -1 1077944384 1454 0 0 0 56 64 0 0 20 0 15 0 71329632 14317654016 580298 18446744073709551615 4194304 4196468 140720428992240 140532695353776 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
Current children cumulated CPU time: 2465.19 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 2321192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2496.6 s]
/proc/loadavg: 1.65 1.47 1.41 3/210 14801
/proc/meminfo: memFree=27940916/32770624 swapFree=67105588/67108860
[pid=14562] ppid=14559 vsize=13982084 memory=2323240 CPUtime=2520 cores=1,3,5,7
/proc/14562/stat : 14562 (java) S 14559 14562 12560 0 -1 1077944320 194072 0 0 0 251705 295 0 0 20 0 15 0 71329616 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140720428974784 140533787201271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
/proc/14562/statm: 3495521 580810 3812 1 0 3484295 0
[pid=14562/tid=14564] ppid=14559 vsize=13982084 memory=-8774313645642428999 CPUtime=2480.83 cores=1,3,5,7
/proc/14562/task/14564/stat : 14564 (java) R 14559 14562 12560 0 -1 4202560 67564 0 0 0 248033 50 0 0 20 0 15 0 71329624 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140533791439472 140533436575731 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14565] ppid=14559 vsize=13982084 memory=-8774313645642428999 CPUtime=7.04 cores=1,3,5,7
/proc/14562/task/14565/stat : 14565 (java) S 14559 14562 12560 0 -1 1077944384 20534 0 0 0 655 49 0 0 20 0 15 0 71329625 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140533748099984 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14566] ppid=14559 vsize=13982084 memory=4126316290023845779 CPUtime=7.04 cores=1,3,5,7
/proc/14562/task/14566/stat : 14566 (java) S 14559 14562 12560 0 -1 1077944384 20087 0 0 0 653 51 0 0 20 0 15 0 71329625 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140533747047184 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14567] ppid=14559 vsize=13982084 memory=1004 CPUtime=7.01 cores=1,3,5,7
/proc/14562/task/14567/stat : 14567 (java) S 14559 14562 12560 0 -1 1077944384 19070 0 0 0 651 50 0 0 20 0 15 0 71329625 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140533385587856 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14568] ppid=14559 vsize=13982084 memory=2016 CPUtime=7.03 cores=1,3,5,7
/proc/14562/task/14568/stat : 14568 (java) S 14559 14562 12560 0 -1 1077944384 16551 0 0 0 657 46 0 0 20 0 15 0 71329625 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140533384535056 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14569] ppid=14559 vsize=13982084 memory=1292 CPUtime=5.45 cores=1,3,5,7
/proc/14562/task/14569/stat : 14569 (java) S 14559 14562 12560 0 -1 1077944384 19916 0 0 0 506 39 0 0 20 0 15 0 71329626 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140532703774832 140533787212418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14570] ppid=14559 vsize=13982084 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14570/stat : 14570 (java) S 14559 14562 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 71329626 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140532702720864 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14571] ppid=14559 vsize=13982084 memory=1688 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14571/stat : 14571 (java) S 14559 14562 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 71329627 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140532701668480 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14572] ppid=14559 vsize=13982084 memory=5808 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14572/stat : 14572 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140532700616784 140533787219867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14573] ppid=14559 vsize=13982084 memory=4612 CPUtime=1.68 cores=1,3,5,7
/proc/14562/task/14573/stat : 14573 (java) S 14559 14562 12560 0 -1 1077944384 9201 0 0 0 167 1 0 0 20 0 15 0 71329629 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140532699564656 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14574] ppid=14559 vsize=13982084 memory=4048 CPUtime=1.78 cores=1,3,5,7
/proc/14562/task/14574/stat : 14574 (java) S 14559 14562 12560 0 -1 1077944384 10124 0 0 0 176 2 0 0 20 0 15 0 71329629 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140532698511856 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14575] ppid=14559 vsize=13982084 memory=644 CPUtime=0.83 cores=1,3,5,7
/proc/14562/task/14575/stat : 14575 (java) S 14559 14562 12560 0 -1 1077944384 8129 0 0 0 82 1 0 0 20 0 15 0 71329629 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140532697459568 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14576] ppid=14559 vsize=13982084 memory=1744 CPUtime=0 cores=1,3,5,7
/proc/14562/task/14576/stat : 14576 (java) S 14559 14562 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71329629 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140532696407008 140533787211477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
[pid=14562/tid=14577] ppid=14559 vsize=13982084 memory=956 CPUtime=1.23 cores=1,3,5,7
/proc/14562/task/14577/stat : 14577 (java) S 14559 14562 12560 0 -1 1077944384 1480 0 0 0 58 65 0 0 20 0 15 0 71329632 14317654016 580810 18446744073709551615 4194304 4196468 140720428992240 140532695353776 140533787212418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35172352 140720428999023 140720428999209 140720428999209 140720429002703 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 2323240 KiB

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

[startup+2496.63 s]
# the end of solver process 14562 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.09 s, system=2.97308 s

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

Child status: 143
Real time (s): 2496.63
CPU time (s): 2520.06
CPU user time (s): 2517.09
CPU system time (s): 2.97308
CPU usage (%): 100.939
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2323240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.09
system time used= 2.97308
maximum resident set size= 2323848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195875
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204300
involuntary context switches= 7570


# summary of solver processes directly reported to runsolver:
#   pid: 14562
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2517.09
#   total CPU system time (s): 2.97308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2434 second user time and 24.2146 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	297
Best CPU time to get the best result obtained on this benchmark	2400.05
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 4273740

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