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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2017-07-26	SAT (TO)	190	248.88499	240.12601

0.25/0.37	c version: 2017-07-26
0.25/0.37	c seed: 718757320
0.25/0.37	c timeout: 264
0.25/0.37	c memlimit: 11000
0.25/0.37	c nbcore: 4
0.25/0.39	c Parsing instance...
3.41/1.65	c Parsing done, starting first complete search...
4.78/2.10	o 141
4.78/2.10	o 142
4.78/2.11	o 143
4.78/2.11	o 144
4.78/2.11	o 145
4.78/2.11	o 146
4.78/2.11	o 147
4.78/2.11	o 148
4.78/2.12	o 149
4.78/2.12	o 150
4.78/2.12	o 151
4.78/2.12	o 152
4.78/2.12	o 153
4.78/2.12	o 154
4.78/2.12	o 155
4.78/2.13	o 156
4.78/2.13	o 157
4.78/2.13	o 158
4.78/2.13	o 159
4.78/2.13	o 160
4.78/2.13	o 161
4.78/2.13	o 162
4.78/2.14	o 163
4.78/2.14	o 164
4.78/2.14	o 165
4.78/2.14	o 166
4.78/2.14	o 167
4.78/2.15	o 168
4.78/2.15	o 169
4.78/2.15	o 170
4.78/2.15	o 171
4.78/2.15	o 172
4.78/2.15	o 173
4.78/2.16	o 174
4.78/2.16	o 175
5.11/2.30	o 176
7.90/4.22	c First complete search done, starting ALNS search...
12.18/7.35	o 177
19.87/14.69	o 181
39.73/33.91	o 182
55.05/49.07	o 183
64.54/58.35	o 185
78.62/72.22	o 190
191.81/184.57	c ALNS done, starting second complete search
191.81/184.58	c Best operator: ValGuided(345,MaxVal)_ExtOriented(valLearnMin) with improvement of: 7
248.83/240.00	s SATISFIABLE
248.83/240.01	v <instantiation>
248.83/240.01	v 	<list>
248.83/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
248.83/240.01	v 	</list>
248.83/240.01	v 	<values>
248.83/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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 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 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 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 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 0 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 0 0 0 2 2 1 0 0 0 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 1 0 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 0 1 0 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 2 1 2 2 2 1 1 2 1 1 2 1 2 1 1 2 2 1 1 1 1 1 2 1 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 2 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 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 1 0 0 0 2 0 2 0 0 0 1 0 0 0 0 0 2 0 0 1 0 2 0 2 1 0 0 1 0 1 1 2 0 1 0 0 0 0 0 1 1 0 1 0 2 0 1 0 2 2 1 0 1 1 1 1 2 2 2 1 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 23 68 111 147 190 235 284 323 336 346 357 366 370 375 381 384 388 394 404 411 417 423 434 448 471 488 190 
248.83/240.01	v 	</values>
248.83/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-4256828-1501625808/watcher-4256828-1501625808 -o /tmp/evaluation-result-4256828-1501625808/solver-4256828-1501625808 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501623034-14465 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 718757320 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256828-1501625808.xml 

pid=15950
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.37 1.52 1.66 2/195 15953
/proc/meminfo: memFree=31625472/32770624 swapFree=0/197928
[pid=15953] ppid=15950 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15953/stat : 15953 (runsolver) D 15950 15953 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11201046 24240128 105 18446744073709551615 4194304 4338465 140728174102496 140728174100136 140519339758295 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 11100160 140728174104683 140728174105158 140728174105158 140728174108618 0
/proc/15953/statm: 5918 105 52 36 0 2156 0

[startup+0.100133 s]
/proc/loadavg: 1.37 1.52 1.66 2/195 15953
/proc/meminfo: memFree=31625472/32770624 swapFree=0/197928
[pid=15953] ppid=15950 vsize=13358552 CPUtime=0 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 3452 0 0 0 0 0 0 0 20 0 6 0 11201046 13679157248 3593 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3339638 3593 1900 1 0 3329143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13358552

[startup+0.204122 s]
/proc/loadavg: 1.37 1.52 1.66 2/195 15953
/proc/meminfo: memFree=31625472/32770624 swapFree=0/197928
[pid=15953] ppid=15950 vsize=13975920 CPUtime=0.09 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 6774 0 0 0 8 1 0 0 20 0 15 0 11201046 14311342080 7457 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3493980 7457 3364 1 0 3482767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13975920

[startup+0.300303 s]
/proc/loadavg: 1.37 1.52 1.66 2/195 15953
/proc/meminfo: memFree=31625472/32770624 swapFree=0/197928
[pid=15953] ppid=15950 vsize=13975920 CPUtime=0.25 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 10508 0 0 0 22 3 0 0 20 0 15 0 11201046 14311342080 9819 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3493980 9819 3532 1 0 3482767 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13975920

[startup+0.700382 s]
/proc/loadavg: 1.37 1.52 1.66 2/195 15953
/proc/meminfo: memFree=31625472/32770624 swapFree=0/197928
[pid=15953] ppid=15950 vsize=13977988 CPUtime=1.15 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 14288 0 0 0 111 4 0 0 20 0 15 0 11201046 14313459712 18106 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3494497 18106 3726 1 0 3483279 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13977988

[startup+1.50059 s]
/proc/loadavg: 1.37 1.52 1.66 3/210 15968
/proc/meminfo: memFree=31269892/32770624 swapFree=0/197956
[pid=15953] ppid=15950 vsize=13982084 CPUtime=3.24 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 30335 0 0 0 313 11 0 0 20 0 15 0 11201046 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3495521 56588 3779 1 0 3484303 0
[pid=15953/tid=15955] ppid=15950 vsize=13982084 CPUtime=1.34 cores=1,3,5,7
/proc/15953/task/15955/stat : 15955 (java) R 15950 15953 5131 0 -1 4202560 15419 0 0 0 127 7 0 0 20 0 15 0 11201054 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140061316182928 140060920190084 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15956] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15956/stat : 15956 (java) S 15950 15953 5131 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 11201055 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140061246381072 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15957] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15957/stat : 15957 (java) S 15950 15953 5131 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 11201055 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140061245328528 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15958] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15958/stat : 15958 (java) S 15950 15953 5131 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 11201055 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140061244275472 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15959] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15959/stat : 15959 (java) S 15950 15953 5131 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 15 0 11201055 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140061243222928 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15960] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15960/stat : 15960 (java) S 15950 15953 5131 0 -1 1077944384 758 0 0 0 0 0 0 0 20 0 15 0 11201056 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140060228696304 140061311957634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15961] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15961/stat : 15961 (java) S 15950 15953 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140060227642528 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15962] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15962/stat : 15962 (java) S 15950 15953 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140060158583536 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15963] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15963/stat : 15963 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201059 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140060157532112 140061311965083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15964] ppid=15950 vsize=13982084 CPUtime=0.55 cores=1,3,5,7
/proc/15953/task/15964/stat : 15964 (java) S 15950 15953 5131 0 -1 1077944384 2358 0 0 0 55 0 0 0 20 0 15 0 11201059 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140060156480240 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15965] ppid=15950 vsize=13982084 CPUtime=0.57 cores=1,3,5,7
/proc/15953/task/15965/stat : 15965 (java) S 15950 15953 5131 0 -1 1077944384 2440 0 0 0 57 0 0 0 20 0 15 0 11201059 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140060155427696 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15966] ppid=15950 vsize=13982084 CPUtime=0.68 cores=1,3,5,7
/proc/15953/task/15966/stat : 15966 (java) S 15950 15953 5131 0 -1 1077944384 7295 0 0 0 67 1 0 0 20 0 15 0 11201059 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140060154374640 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15967] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15967/stat : 15967 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201060 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140060153322336 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15968] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15968/stat : 15968 (java) S 15950 15953 5131 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 11201063 14317654016 56588 18446744073709551615 4194304 4196468 140737040185616 140060152269360 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 13982084

[startup+3.10061 s]
/proc/loadavg: 1.82 1.61 1.69 5/210 15968
/proc/meminfo: memFree=30878224/32770624 swapFree=0/197956
[pid=15953] ppid=15950 vsize=13982084 CPUtime=6.7 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 32888 0 0 0 654 16 0 0 20 0 15 0 11201046 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3495521 83232 3802 1 0 3484303 0
[pid=15953/tid=15955] ppid=15950 vsize=13982084 CPUtime=2.91 cores=1,3,5,7
/proc/15953/task/15955/stat : 15955 (java) R 15950 15953 5131 0 -1 4202560 15904 0 0 0 283 8 0 0 20 0 15 0 11201054 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140061316182496 140060921887104 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15956] ppid=15950 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/15953/task/15956/stat : 15956 (java) S 15950 15953 5131 0 -1 1077944384 362 0 0 0 2 1 0 0 20 0 15 0 11201055 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140061246381072 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15957] ppid=15950 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/15953/task/15957/stat : 15957 (java) S 15950 15953 5131 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 15 0 11201055 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140061245328528 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15958] ppid=15950 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/15953/task/15958/stat : 15958 (java) S 15950 15953 5131 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 15 0 11201055 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140061244275472 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15959] ppid=15950 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/15953/task/15959/stat : 15959 (java) S 15950 15953 5131 0 -1 1077944384 276 0 0 0 2 1 0 0 20 0 15 0 11201055 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140061243222928 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15960] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15960/stat : 15960 (java) S 15950 15953 5131 0 -1 1077944384 758 0 0 0 0 0 0 0 20 0 15 0 11201056 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140060228696304 140061311957634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15961] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15961/stat : 15961 (java) S 15950 15953 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140060227642592 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15962] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15962/stat : 15962 (java) S 15950 15953 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140060158583552 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15963] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15963/stat : 15963 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201059 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140060157532112 140061311965083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15964] ppid=15950 vsize=13982084 CPUtime=1.36 cores=1,3,5,7
/proc/15953/task/15964/stat : 15964 (java) S 15950 15953 5131 0 -1 1077944384 3095 0 0 0 136 0 0 0 20 0 15 0 11201059 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140060156480240 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15965] ppid=15950 vsize=13982084 CPUtime=1.43 cores=1,3,5,7
/proc/15953/task/15965/stat : 15965 (java) S 15950 15953 5131 0 -1 1077944384 3386 0 0 0 143 0 0 0 20 0 15 0 11201059 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140060155427696 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15966] ppid=15950 vsize=13982084 CPUtime=0.79 cores=1,3,5,7
/proc/15953/task/15966/stat : 15966 (java) S 15950 15953 5131 0 -1 1077944384 7456 0 0 0 78 1 0 0 20 0 15 0 11201059 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140060154374640 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15967] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15967/stat : 15967 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201060 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140060153322336 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15968] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15968/stat : 15968 (java) S 15950 15953 5131 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 11201063 14317654016 83232 18446744073709551615 4194304 4196468 140737040185616 140060152269360 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 13982084

[startup+6.30061 s]
/proc/loadavg: 1.82 1.61 1.69 4/210 15968
/proc/meminfo: memFree=30632724/32770624 swapFree=0/197964
[pid=15953] ppid=15950 vsize=13982084 CPUtime=10.92 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 34556 0 0 0 1066 26 0 0 20 0 15 0 11201046 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3495521 114537 3805 1 0 3484303 0
[pid=15953/tid=15955] ppid=15950 vsize=13982084 CPUtime=6.05 cores=1,3,5,7
/proc/15953/task/15955/stat : 15955 (java) R 15950 15953 5131 0 -1 4202560 16570 0 0 0 596 9 0 0 20 0 15 0 11201054 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140061316181184 140060913598919 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15956] ppid=15950 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/15953/task/15956/stat : 15956 (java) S 15950 15953 5131 0 -1 1077944384 402 0 0 0 5 3 0 0 20 0 15 0 11201055 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140061246381072 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15957] ppid=15950 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/15953/task/15957/stat : 15957 (java) S 15950 15953 5131 0 -1 1077944384 172 0 0 0 5 3 0 0 20 0 15 0 11201055 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140061245328528 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15958] ppid=15950 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/15953/task/15958/stat : 15958 (java) S 15950 15953 5131 0 -1 1077944384 220 0 0 0 5 3 0 0 20 0 15 0 11201055 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140061244275472 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15959] ppid=15950 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/15953/task/15959/stat : 15959 (java) S 15950 15953 5131 0 -1 1077944384 349 0 0 0 5 3 0 0 20 0 15 0 11201055 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140061243222928 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15960] ppid=15950 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/15953/task/15960/stat : 15960 (java) S 15950 15953 5131 0 -1 1077944384 885 0 0 0 1 0 0 0 20 0 15 0 11201056 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140060228696304 140061311957634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15961] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15961/stat : 15961 (java) S 15950 15953 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140060227642592 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15962] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15962/stat : 15962 (java) S 15950 15953 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140060158583552 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15963] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15963/stat : 15963 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201059 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140060157532112 140061311965083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15964] ppid=15950 vsize=13982084 CPUtime=1.64 cores=1,3,5,7
/proc/15953/task/15964/stat : 15964 (java) S 15950 15953 5131 0 -1 1077944384 3242 0 0 0 163 1 0 0 20 0 15 0 11201059 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140060156480240 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15965] ppid=15950 vsize=13982084 CPUtime=1.92 cores=1,3,5,7
/proc/15953/task/15965/stat : 15965 (java) S 15950 15953 5131 0 -1 1077944384 3580 0 0 0 191 1 0 0 20 0 15 0 11201059 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140060155427696 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15966] ppid=15950 vsize=13982084 CPUtime=0.9 cores=1,3,5,7
/proc/15953/task/15966/stat : 15966 (java) S 15950 15953 5131 0 -1 1077944384 7699 0 0 0 89 1 0 0 20 0 15 0 11201059 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140060154374640 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15967] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15967/stat : 15967 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201060 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140060153322336 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15968] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15968/stat : 15968 (java) S 15950 15953 5131 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 11201063 14317654016 114537 18446744073709551615 4194304 4196468 140737040185616 140060152269360 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
Current children cumulated CPU time (s) 10.92
Current children cumulated vsize (KiB) 13982084

[startup+12.7006 s]
/proc/loadavg: 1.85 1.62 1.69 3/210 15969
/proc/meminfo: memFree=29972144/32770624 swapFree=0/197976
[pid=15953] ppid=15950 vsize=13982084 CPUtime=17.88 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 36624 0 0 0 1746 42 0 0 20 0 15 0 11201046 14317654016 266949 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3495521 266949 3805 1 0 3484303 0
[pid=15953/tid=15955] ppid=15950 vsize=13982084 CPUtime=12.4 cores=1,3,5,7
/proc/15953/task/15955/stat : 15955 (java) R 15950 15953 5131 0 -1 4202560 18142 0 0 0 1222 18 0 0 20 0 15 0 11201054 14317654016 266949 18446744073709551615 4194304 4196468 140737040185616 140061316184184 140060923830235 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15956] ppid=15950 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/15953/task/15956/stat : 15956 (java) S 15950 15953 5131 0 -1 1077944384 430 0 0 0 8 4 0 0 20 0 15 0 11201055 14317654016 266949 18446744073709551615 4194304 4196468 140737040185616 140061246381072 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15957] ppid=15950 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/15953/task/15957/stat : 15957 (java) S 15950 15953 5131 0 -1 1077944384 198 0 0 0 8 4 0 0 20 0 15 0 11201055 14317654016 266949 18446744073709551615 4194304 4196468 140737040185616 140061245328528 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15958] ppid=15950 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/15953/task/15958/stat : 15958 (java) S 15950 15953 5131 0 -1 1077944384 256 0 0 0 8 4 0 0 20 0 15 0 11201055 14317654016 266949 18446744073709551615 4194304 4196468 140737040185616 140061244275472 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15959] ppid=15950 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/15953/task/15959/stat : 15959 (java) S 15950 15953 5131 0 -1 1077944384 373 0 0 0 8 4 0 0 20 0 15 0 11201055 14317654016 266949 18446744073709551615 4194304 4196468 140737040185616 140061243222928 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15960] ppid=15950 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/15953/task/15960/stat : 15960 (java) S 15950 15953 5131 0 -1 1077944384 1153 0 0 0 1 0 0 0 20 0 15 0 11201056 14317654016 266949 18446744073709551615 4194304 4196468 140737040185616 140060228696304 140061311957634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15961] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15961/stat : 15961 (java) S 15950 15953 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 266949 18446744073709551615 4194304 4196468 140737040185616 140060227642592 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15962] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15962/stat : 15962 (java) S 15950 15953 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 266949 18446744073709551615 4194304 4196468 140737040185616 140060158583552 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15963] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15963/stat : 15963 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201059 14317654016 266949 18446744073709551615 4194304 4196468 140737040185616 140060157532112 140061311965083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0

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

[pid=15953] ppid=15950 vsize=13982084 CPUtime=108.82 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 63522 0 0 0 10797 85 0 0 20 0 15 0 11201046 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3495521 833373 3809 1 0 3484303 0
[pid=15953/tid=15955] ppid=15950 vsize=13982084 CPUtime=101.9 cores=1,3,5,7
/proc/15953/task/15955/stat : 15955 (java) R 15950 15953 5131 0 -1 4202560 29371 0 0 0 10137 53 0 0 20 0 15 0 11201054 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140061316180736 140060923831061 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15956] ppid=15950 vsize=13982084 CPUtime=0.21 cores=1,3,5,7
/proc/15953/task/15956/stat : 15956 (java) S 15950 15953 5131 0 -1 1077944384 978 0 0 0 15 6 0 0 20 0 15 0 11201055 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140061246381072 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15957] ppid=15950 vsize=13982084 CPUtime=0.21 cores=1,3,5,7
/proc/15953/task/15957/stat : 15957 (java) S 15950 15953 5131 0 -1 1077944384 379 0 0 0 15 6 0 0 20 0 15 0 11201055 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140061245328528 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15958] ppid=15950 vsize=13982084 CPUtime=0.21 cores=1,3,5,7
/proc/15953/task/15958/stat : 15958 (java) S 15950 15953 5131 0 -1 1077944384 850 0 0 0 15 6 0 0 20 0 15 0 11201055 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140061244275472 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15959] ppid=15950 vsize=13982084 CPUtime=0.21 cores=1,3,5,7
/proc/15953/task/15959/stat : 15959 (java) S 15950 15953 5131 0 -1 1077944384 480 0 0 0 15 6 0 0 20 0 15 0 11201055 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140061243222928 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15960] ppid=15950 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/15953/task/15960/stat : 15960 (java) S 15950 15953 5131 0 -1 1077944384 2147 0 0 0 3 0 0 0 20 0 15 0 11201056 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140060228696304 140061311957634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15961] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15961/stat : 15961 (java) S 15950 15953 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140060227642592 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15962] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15962/stat : 15962 (java) S 15950 15953 5131 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140060158583552 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15963] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15963/stat : 15963 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201059 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140060157532112 140061311965083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15964] ppid=15950 vsize=13982084 CPUtime=2.37 cores=1,3,5,7
/proc/15953/task/15964/stat : 15964 (java) S 15950 15953 5131 0 -1 1077944384 7392 0 0 0 236 1 0 0 20 0 15 0 11201059 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140060156480240 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15965] ppid=15950 vsize=13982084 CPUtime=2.51 cores=1,3,5,7
/proc/15953/task/15965/stat : 15965 (java) S 15950 15953 5131 0 -1 1077944384 8174 0 0 0 250 1 0 0 20 0 15 0 11201059 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140060155427696 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15966] ppid=15950 vsize=13982084 CPUtime=1.06 cores=1,3,5,7
/proc/15953/task/15966/stat : 15966 (java) S 15950 15953 5131 0 -1 1077944384 12063 0 0 0 104 2 0 0 20 0 15 0 11201059 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140060154374640 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15967] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15967/stat : 15967 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201060 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140060153322336 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15968] ppid=15950 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/15953/task/15968/stat : 15968 (java) S 15950 15953 5131 0 -1 1077944384 264 0 0 0 1 3 0 0 20 0 15 0 11201063 14317654016 833373 18446744073709551615 4194304 4196468 140737040185616 140060152269360 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
Current children cumulated CPU time (s) 108.82
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.79 1.67 1.70 3/208 15973
/proc/meminfo: memFree=25111252/32770624 swapFree=0/198072
[pid=15953] ppid=15950 vsize=13982084 CPUtime=169.32 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 72801 0 0 0 16843 89 0 0 20 0 15 0 11201046 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3495521 778370 3809 1 0 3484303 0
[pid=15953/tid=15955] ppid=15950 vsize=13982084 CPUtime=161.78 cores=1,3,5,7
/proc/15953/task/15955/stat : 15955 (java) R 15950 15953 5131 0 -1 4202560 33005 0 0 0 16125 53 0 0 20 0 15 0 11201054 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140061316184048 140060924045709 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15956] ppid=15950 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/15953/task/15956/stat : 15956 (java) S 15950 15953 5131 0 -1 1077944384 1069 0 0 0 23 6 0 0 20 0 15 0 11201055 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140061246381072 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15957] ppid=15950 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/15953/task/15957/stat : 15957 (java) S 15950 15953 5131 0 -1 1077944384 511 0 0 0 23 6 0 0 20 0 15 0 11201055 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140061245328528 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15958] ppid=15950 vsize=13982084 CPUtime=0.28 cores=1,3,5,7
/proc/15953/task/15958/stat : 15958 (java) S 15950 15953 5131 0 -1 1077944384 1396 0 0 0 22 6 0 0 20 0 15 0 11201055 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140061244275472 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15959] ppid=15950 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/15953/task/15959/stat : 15959 (java) S 15950 15953 5131 0 -1 1077944384 679 0 0 0 23 6 0 0 20 0 15 0 11201055 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140061243222928 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15960] ppid=15950 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/15953/task/15960/stat : 15960 (java) S 15950 15953 5131 0 -1 1077944384 2364 0 0 0 4 0 0 0 20 0 15 0 11201056 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140060228696304 140061311957634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15961] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15961/stat : 15961 (java) S 15950 15953 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140060227642592 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15962] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15962/stat : 15962 (java) S 15950 15953 5131 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140060158583552 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15963] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15963/stat : 15963 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201059 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140060157532112 140061311965083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15964] ppid=15950 vsize=13982084 CPUtime=2.52 cores=1,3,5,7
/proc/15953/task/15964/stat : 15964 (java) S 15950 15953 5131 0 -1 1077944384 9685 0 0 0 250 2 0 0 20 0 15 0 11201059 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140060156480240 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15965] ppid=15950 vsize=13982084 CPUtime=2.58 cores=1,3,5,7
/proc/15953/task/15965/stat : 15965 (java) S 15950 15953 5131 0 -1 1077944384 9037 0 0 0 256 2 0 0 20 0 15 0 11201059 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140060155427696 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15966] ppid=15950 vsize=13982084 CPUtime=1.08 cores=1,3,5,7
/proc/15953/task/15966/stat : 15966 (java) S 15950 15953 5131 0 -1 1077944384 13333 0 0 0 106 2 0 0 20 0 15 0 11201059 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140060154374640 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15967] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15967/stat : 15967 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201060 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140060153322336 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15968] ppid=15950 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/15953/task/15968/stat : 15968 (java) S 15950 15953 5131 0 -1 1077944384 298 0 0 0 3 5 0 0 20 0 15 0 11201063 14317654016 778370 18446744073709551615 4194304 4196468 140737040185616 140060152269360 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
Current children cumulated CPU time (s) 169.32
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.56 1.62 1.68 3/209 15976
/proc/meminfo: memFree=25336948/32770624 swapFree=0/198100
[pid=15953] ppid=15950 vsize=13982084 CPUtime=230.67 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 84662 0 0 0 22967 100 0 0 20 0 15 0 11201046 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3495521 750340 3809 1 0 3484303 0
[pid=15953/tid=15955] ppid=15950 vsize=13982084 CPUtime=221.28 cores=1,3,5,7
/proc/15953/task/15955/stat : 15955 (java) R 15950 15953 5131 0 -1 4202560 36684 0 0 0 22074 54 0 0 20 0 15 0 11201054 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140061316184576 140060925045560 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15956] ppid=15950 vsize=13982084 CPUtime=0.7 cores=1,3,5,7
/proc/15953/task/15956/stat : 15956 (java) S 15950 15953 5131 0 -1 1077944384 1692 0 0 0 62 8 0 0 20 0 15 0 11201055 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140061246381072 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15957] ppid=15950 vsize=13982084 CPUtime=0.7 cores=1,3,5,7
/proc/15953/task/15957/stat : 15957 (java) S 15950 15953 5131 0 -1 1077944384 922 0 0 0 62 8 0 0 20 0 15 0 11201055 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140061245328528 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15958] ppid=15950 vsize=13982084 CPUtime=0.7 cores=1,3,5,7
/proc/15953/task/15958/stat : 15958 (java) S 15950 15953 5131 0 -1 1077944384 1612 0 0 0 62 8 0 0 20 0 15 0 11201055 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140061244275472 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15959] ppid=15950 vsize=13982084 CPUtime=0.7 cores=1,3,5,7
/proc/15953/task/15959/stat : 15959 (java) S 15950 15953 5131 0 -1 1077944384 1390 0 0 0 63 7 0 0 20 0 15 0 11201055 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140061243222928 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15960] ppid=15950 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/15953/task/15960/stat : 15960 (java) S 15950 15953 5131 0 -1 1077944384 2808 0 0 0 10 2 0 0 20 0 15 0 11201056 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140060228696304 140061311957634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15961] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15961/stat : 15961 (java) S 15950 15953 5131 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140060227642592 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15962] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15962/stat : 15962 (java) S 15950 15953 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140060158583552 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15963] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15963/stat : 15963 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201059 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140060157532112 140061311965083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15964] ppid=15950 vsize=13982084 CPUtime=2.59 cores=1,3,5,7
/proc/15953/task/15964/stat : 15964 (java) S 15950 15953 5131 0 -1 1077944384 13191 0 0 0 257 2 0 0 20 0 15 0 11201059 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140060156480240 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15965] ppid=15950 vsize=13982084 CPUtime=2.6 cores=1,3,5,7
/proc/15953/task/15965/stat : 15965 (java) S 15950 15953 5131 0 -1 1077944384 10108 0 0 0 258 2 0 0 20 0 15 0 11201059 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140060155427696 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15966] ppid=15950 vsize=13982084 CPUtime=1.09 cores=1,3,5,7
/proc/15953/task/15966/stat : 15966 (java) S 15950 15953 5131 0 -1 1077944384 14423 0 0 0 107 2 0 0 20 0 15 0 11201059 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140060154374640 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15967] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15967/stat : 15967 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201060 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140060153322336 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15968] ppid=15950 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/15953/task/15968/stat : 15968 (java) S 15950 15953 5131 0 -1 1077944384 395 0 0 0 4 7 0 0 20 0 15 0 11201063 14317654016 750340 18446744073709551615 4194304 4196468 140737040185616 140060152269360 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
Current children cumulated CPU time (s) 230.67
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.59 1.62 1.68 2/191 16013
/proc/meminfo: memFree=28854096/32770624 swapFree=0/198112
[pid=15953] ppid=15950 vsize=13982084 CPUtime=248.83 cores=1,3,5,7
/proc/15953/stat : 15953 (java) S 15950 15953 5131 0 -1 1077944320 86747 0 0 0 24779 104 0 0 20 0 15 0 11201046 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140737040168160 140061311946487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
/proc/15953/statm: 3495521 748196 3809 1 0 3484303 0
[pid=15953/tid=15955] ppid=15950 vsize=13982084 CPUtime=238.78 cores=1,3,5,7
/proc/15953/task/15955/stat : 15955 (java) R 15950 15953 5131 0 -1 4202560 37528 0 0 0 23824 54 0 0 20 0 15 0 11201054 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140061316184576 140060923831245 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15956] ppid=15950 vsize=13982084 CPUtime=0.86 cores=1,3,5,7
/proc/15953/task/15956/stat : 15956 (java) S 15950 15953 5131 0 -1 1077944384 2388 0 0 0 77 9 0 0 20 0 15 0 11201055 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140061246381072 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15957] ppid=15950 vsize=13982084 CPUtime=0.85 cores=1,3,5,7
/proc/15953/task/15957/stat : 15957 (java) S 15950 15953 5131 0 -1 1077944384 987 0 0 0 77 8 0 0 20 0 15 0 11201055 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140061245328528 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15958] ppid=15950 vsize=13982084 CPUtime=0.86 cores=1,3,5,7
/proc/15953/task/15958/stat : 15958 (java) S 15950 15953 5131 0 -1 1077944384 1706 0 0 0 77 9 0 0 20 0 15 0 11201055 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140061244275472 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15959] ppid=15950 vsize=13982084 CPUtime=0.85 cores=1,3,5,7
/proc/15953/task/15959/stat : 15959 (java) S 15950 15953 5131 0 -1 1077944384 1552 0 0 0 77 8 0 0 20 0 15 0 11201055 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140061243222928 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15960] ppid=15950 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/15953/task/15960/stat : 15960 (java) S 15950 15953 5131 0 -1 1077944384 3015 0 0 0 12 2 0 0 20 0 15 0 11201056 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140060228696304 140061311957634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15961] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15961/stat : 15961 (java) S 15950 15953 5131 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140060227642592 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15962] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15962/stat : 15962 (java) S 15950 15953 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11201057 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140060158583552 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15963] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15963/stat : 15963 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201059 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140060157532112 140061311965083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15964] ppid=15950 vsize=13982084 CPUtime=2.59 cores=1,3,5,7
/proc/15953/task/15964/stat : 15964 (java) S 15950 15953 5131 0 -1 1077944384 13193 0 0 0 257 2 0 0 20 0 15 0 11201059 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140060156480240 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15965] ppid=15950 vsize=13982084 CPUtime=2.6 cores=1,3,5,7
/proc/15953/task/15965/stat : 15965 (java) S 15950 15953 5131 0 -1 1077944384 10110 0 0 0 258 2 0 0 20 0 15 0 11201059 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140060155427696 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15966] ppid=15950 vsize=13982084 CPUtime=1.09 cores=1,3,5,7
/proc/15953/task/15966/stat : 15966 (java) S 15950 15953 5131 0 -1 1077944384 14426 0 0 0 107 2 0 0 20 0 15 0 11201059 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140060154374640 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15967] ppid=15950 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15953/task/15967/stat : 15967 (java) S 15950 15953 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11201060 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140060153322336 140061311956693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
[pid=15953/tid=15968] ppid=15950 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/15953/task/15968/stat : 15968 (java) S 15950 15953 5131 0 -1 1077944384 405 0 0 0 6 7 0 0 20 0 15 0 11201063 14317654016 748196 18446744073709551615 4194304 4196468 140737040185616 140060152269360 140061311957634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26972160 140737040191894 140737040192075 140737040192075 140737040195535 0
Current children cumulated CPU time (s) 248.83
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 15953 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.105 s]
/proc/loadavg: 1.59 1.62 1.68 2/191 16013
/proc/meminfo: memFree=28854096/32770624 swapFree=0/198112
[pid=15953] ppid=15950 vsize=0 CPUtime=248.88 cores=1,3,5,7
/proc/15953/stat : 15953 (java) Z 15950 15953 5131 0 -1 4228108 89034 0 0 0 24782 106 0 0 20 0 2 0 11201046 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/15953/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 248.88
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 240.126
CPU time (s): 248.885
CPU user time (s): 247.824
CPU system time (s): 1.06031
CPU usage (%): 103.647
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.824
system time used= 1.06031
maximum resident set size= 3459228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89034
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= 12872
involuntary context switches= 244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.980325 second user time and 1.50453 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 4256828

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