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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT (TO)	199	244.944	240.037

0.25/0.37	c version: 2017-07-26
0.25/0.37	c seed: 1559472997
0.25/0.37	c timeout: 264
0.25/0.37	c memlimit: 11000
0.25/0.37	c nbcore: 4
0.25/0.40	c Parsing instance...
3.70/1.76	c Parsing done, starting search...
5.17/2.22	o 150
5.17/2.22	o 151
5.17/2.22	o 152
5.17/2.23	o 153
5.17/2.23	o 154
5.17/2.23	o 155
5.17/2.23	o 156
5.17/2.24	o 157
5.17/2.24	o 158
5.17/2.24	o 159
5.17/2.24	o 160
5.17/2.24	o 161
5.17/2.24	o 162
5.17/2.24	o 163
5.17/2.25	o 164
5.17/2.25	o 165
5.17/2.25	o 166
5.17/2.25	o 167
5.17/2.26	o 168
5.17/2.28	o 169
5.17/2.30	o 170
5.49/2.32	o 171
5.49/2.34	o 172
5.49/2.35	o 173
5.49/2.35	o 174
5.49/2.35	o 175
5.49/2.35	o 176
5.49/2.35	o 177
5.49/2.35	o 178
5.49/2.36	o 179
5.49/2.36	o 180
5.49/2.36	o 181
5.49/2.36	o 182
5.49/2.36	o 183
5.49/2.36	o 184
5.49/2.36	o 185
5.49/2.37	o 186
5.49/2.37	o 187
5.49/2.38	o 188
5.49/2.38	o 189
5.77/2.41	o 190
5.77/2.44	o 191
6.07/2.54	o 192
6.37/2.63	o 193
7.28/3.22	o 194
8.79/4.53	o 195
9.19/4.92	o 196
13.66/9.27	o 197
14.51/10.07	o 198
36.44/31.83	o 199
244.88/240.00	s SATISFIABLE
244.88/240.01	v <instantiation>
244.88/240.01	v 	<list>
244.88/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[0][26] x[0][27] 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[1][26] x[1][27] 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[2][26] x[2][27] 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[3][26] x[3][27] 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[4][26] x[4][27] 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[5][26] x[5][27] 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[6][26] x[6][27] 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[7][26] x[7][27] 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[8][26] x[8][27] 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[9][26] x[9][27] 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[10][26] x[10][27] 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[11][26] x[11][27] 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[12][26] x[12][27] 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[13][26] x[13][27] 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[14][26] x[14][27] 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[15][26] x[15][27] 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[16][26] x[16][27] 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[17][26] x[17][27] 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[18][26] x[18][27] 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[19][26] x[19][27] 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[20][26] x[20][27] 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[21][26] x[21][27] 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[22][26] x[22][27] 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[23][26] x[23][27] 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[24][26] x[24][27] 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] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] 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[0][26] w[0][27] 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[1][26] w[1][27] 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[2][26] w[2][27] 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[3][26] w[3][27] 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[4][26] w[4][27] 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[5][26] w[5][27] 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[6][26] w[6][27] 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[7][26] w[7][27] 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[8][26] w[8][27] 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[9][26] w[9][27] 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[10][26] w[10][27] 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[11][26] w[11][27] 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[12][26] w[12][27] 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[13][26] w[13][27] 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[14][26] w[14][27] 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[15][26] w[15][27] 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[16][26] w[16][27] 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[17][26] w[17][27] 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[18][26] w[18][27] 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[19][26] w[19][27] 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[20][26] w[20][27] 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[21][26] w[21][27] 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[22][26] w[22][27] 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[23][26] w[23][27] 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[24][26] w[24][27] 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] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] 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] ws[26] ws[27] z
244.88/240.01	v 	</list>
244.88/240.01	v 	<values>
244.88/240.01	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 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 1 1 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 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 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 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 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 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 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 2 1 1 1 1 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 1 1 1 0 0 0 2 0 0 1 0 1 2 2 0 2 0 2 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 0 2 0 1 0 0 0 1 2 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 2 0 0 0 1 0 1 0 0 1 1 2 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 2 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 2 2 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 2 2 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 1 0 0 1 0 0 0 1 2 2 2 2 0 0 0 0 0 1 0 0 0 1 0 0 1 2 1 1 0 0 1 1 1 0 1 1 1 2 1 1 1 0 1 0 2 0 0 0 1 0 0 0 2 2 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 1 1 2 2 0 1 0 1 1 2 0 1 0 1 0 1 0 1 0 2 2 2 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 26 80 134 188 242 296 350 399 432 449 464 480 488 499 512 519 521 530 539 543 548 555 568 585 606 620 643 660 199 
244.88/240.01	v 	</values>
244.88/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-4256332-1501626968/watcher-4256332-1501626968 -o /tmp/evaluation-result-4256332-1501626968/solver-4256332-1501626968 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1559472997 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256332-1501626968.xml 

pid=18183
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.81 1.73 1.67 3/199 18186
/proc/meminfo: memFree=30527592/32770624 swapFree=0/196692
[pid=18186] ppid=18183 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18186/stat : 18186 (runsolver) D 18183 18186 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10512140 24240128 107 18446744073709551615 4194304 4338465 140721831678656 140721831676296 140714621661911 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 28729344 140721831682150 140721831682630 140721831682630 140721831686090 0
/proc/18186/statm: 5918 107 54 36 0 2156 0

[startup+0.100139 s]
/proc/loadavg: 1.81 1.73 1.67 3/199 18186
/proc/meminfo: memFree=30527592/32770624 swapFree=0/196692
[pid=18186] ppid=18183 vsize=13358552 CPUtime=0 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 3108 0 0 0 0 0 0 0 20 0 6 0 10512140 13679157248 3263 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3339638 3263 1689 1 0 3329143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13358552

[startup+0.202034 s]
/proc/loadavg: 1.81 1.73 1.67 3/199 18186
/proc/meminfo: memFree=30527592/32770624 swapFree=0/196692
[pid=18186] ppid=18183 vsize=13975920 CPUtime=0.08 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 6864 0 0 0 7 1 0 0 20 0 15 0 10512140 14311342080 7543 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3493980 7543 3325 1 0 3482767 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13975920

[startup+0.301705 s]
/proc/loadavg: 1.81 1.73 1.67 3/199 18186
/proc/meminfo: memFree=30527592/32770624 swapFree=0/196692
[pid=18186] ppid=18183 vsize=13975920 CPUtime=0.25 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 10234 0 0 0 22 3 0 0 20 0 15 0 10512140 14311342080 9932 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3493980 9932 3511 1 0 3482767 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13975920

[startup+0.706267 s]
/proc/loadavg: 1.81 1.73 1.67 3/199 18186
/proc/meminfo: memFree=30527592/32770624 swapFree=0/196692
[pid=18186] ppid=18183 vsize=13977988 CPUtime=1.14 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 14320 0 0 0 109 5 0 0 20 0 15 0 10512140 14313459712 17624 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3494497 17624 3725 1 0 3483279 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 13977988

[startup+1.50063 s]
/proc/loadavg: 1.81 1.73 1.67 6/214 18201
/proc/meminfo: memFree=30430924/32770624 swapFree=0/196692
[pid=18186] ppid=18183 vsize=13982084 CPUtime=3.37 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 30987 0 0 0 323 14 0 0 20 0 15 0 10512140 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3495521 57231 3776 1 0 3484303 0
[pid=18186/tid=18188] ppid=18183 vsize=13982084 CPUtime=1.34 cores=1,3,5,7
/proc/18186/task/18188/stat : 18188 (java) R 18183 18186 5228 0 -1 4202560 15530 0 0 0 126 8 0 0 20 0 15 0 10512149 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140631463949328 140631078684458 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18189] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18189/stat : 18189 (java) S 18183 18186 5228 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 10512150 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140631394147216 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18190] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18190/stat : 18190 (java) S 18183 18186 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10512150 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140631393094416 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18191] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18191/stat : 18191 (java) S 18183 18186 5228 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 15 0 10512150 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140631392042128 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18192] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18192/stat : 18192 (java) S 18183 18186 5228 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10512150 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140631390989328 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18193] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18193/stat : 18193 (java) S 18183 18186 5228 0 -1 1077944384 702 0 0 0 0 0 0 0 20 0 15 0 10512151 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140630938990704 140631459723906 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18194] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18194/stat : 18194 (java) S 18183 18186 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10512151 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140630937936672 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18195] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18195/stat : 18195 (java) S 18183 18186 5228 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10512152 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140630936884336 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18196] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18196/stat : 18196 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140630935832656 140631459731355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18197] ppid=18183 vsize=13982084 CPUtime=0.59 cores=1,3,5,7
/proc/18186/task/18197/stat : 18197 (java) S 18183 18186 5228 0 -1 1077944384 3070 0 0 0 59 0 0 0 20 0 15 0 10512154 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140630934780528 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18198] ppid=18183 vsize=13982084 CPUtime=0.63 cores=1,3,5,7
/proc/18186/task/18198/stat : 18198 (java) S 18183 18186 5228 0 -1 1077944384 2478 0 0 0 63 0 0 0 20 0 15 0 10512154 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140630933727728 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18199] ppid=18183 vsize=13982084 CPUtime=0.69 cores=1,3,5,7
/proc/18186/task/18199/stat : 18199 (java) S 18183 18186 5228 0 -1 1077944384 7188 0 0 0 68 1 0 0 20 0 15 0 10512154 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140630932675440 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18200] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18200/stat : 18200 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140630931622880 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18201] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18201/stat : 18201 (java) S 18183 18186 5228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 10512158 14317654016 57231 18446744073709551615 4194304 4196468 140721223543088 140630930569648 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 13982084

[startup+3.10067 s]
/proc/loadavg: 1.81 1.73 1.67 3/214 18201
/proc/meminfo: memFree=30271816/32770624 swapFree=0/196700
[pid=18186] ppid=18183 vsize=13982084 CPUtime=7.17 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 36168 0 0 0 697 20 0 0 20 0 15 0 10512140 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3495521 87625 3801 1 0 3484303 0
[pid=18186/tid=18188] ppid=18183 vsize=13982084 CPUtime=2.91 cores=1,3,5,7
/proc/18186/task/18188/stat : 18188 (java) R 18183 18186 5228 0 -1 4202560 16143 0 0 0 282 9 0 0 20 0 15 0 10512149 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140631463948656 140631080262159 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18189] ppid=18183 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18186/task/18189/stat : 18189 (java) S 18183 18186 5228 0 -1 1077944384 348 0 0 0 2 1 0 0 20 0 15 0 10512150 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140631394147216 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18190] ppid=18183 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18186/task/18190/stat : 18190 (java) S 18183 18186 5228 0 -1 1077944384 112 0 0 0 2 1 0 0 20 0 15 0 10512150 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140631393094416 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18191] ppid=18183 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18186/task/18191/stat : 18191 (java) S 18183 18186 5228 0 -1 1077944384 227 0 0 0 2 1 0 0 20 0 15 0 10512150 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140631392042128 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18192] ppid=18183 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18186/task/18192/stat : 18192 (java) S 18183 18186 5228 0 -1 1077944384 131 0 0 0 2 1 0 0 20 0 15 0 10512150 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140631390989328 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18193] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18193/stat : 18193 (java) S 18183 18186 5228 0 -1 1077944384 702 0 0 0 0 0 0 0 20 0 15 0 10512151 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140630938990704 140631459723906 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18194] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18194/stat : 18194 (java) S 18183 18186 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10512151 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140630937936736 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18195] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18195/stat : 18195 (java) S 18183 18186 5228 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10512152 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140630936884352 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18196] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18196/stat : 18196 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140630935832656 140631459731355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18197] ppid=18183 vsize=13982084 CPUtime=1.59 cores=1,3,5,7
/proc/18186/task/18197/stat : 18197 (java) S 18183 18186 5228 0 -1 1077944384 4632 0 0 0 158 1 0 0 20 0 15 0 10512154 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140630934780528 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18198] ppid=18183 vsize=13982084 CPUtime=1.64 cores=1,3,5,7
/proc/18186/task/18198/stat : 18198 (java) S 18183 18186 5228 0 -1 1077944384 5050 0 0 0 163 1 0 0 20 0 15 0 10512154 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140630933727728 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18199] ppid=18183 vsize=13982084 CPUtime=0.81 cores=1,3,5,7
/proc/18186/task/18199/stat : 18199 (java) S 18183 18186 5228 0 -1 1077944384 7389 0 0 0 80 1 0 0 20 0 15 0 10512154 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140630932675440 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18200] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18200/stat : 18200 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140630931622880 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18201] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18201/stat : 18201 (java) S 18183 18186 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10512158 14317654016 87625 18446744073709551615 4194304 4196468 140721223543088 140630930569648 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 13982084

[startup+6.30064 s]
/proc/loadavg: 1.74 1.72 1.67 3/214 18201
/proc/meminfo: memFree=29784092/32770624 swapFree=0/196708
[pid=18186] ppid=18183 vsize=13982084 CPUtime=10.65 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 36780 0 0 0 1037 28 0 0 20 0 15 0 10512140 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3495521 108395 3803 1 0 3484303 0
[pid=18186/tid=18188] ppid=18183 vsize=13982084 CPUtime=6.05 cores=1,3,5,7
/proc/18186/task/18188/stat : 18188 (java) R 18183 18186 5228 0 -1 4202560 16301 0 0 0 596 9 0 0 20 0 15 0 10512149 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140631463950424 140631080580413 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18189] ppid=18183 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/18186/task/18189/stat : 18189 (java) S 18183 18186 5228 0 -1 1077944384 439 0 0 0 4 3 0 0 20 0 15 0 10512150 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140631394147216 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18190] ppid=18183 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/18186/task/18190/stat : 18190 (java) S 18183 18186 5228 0 -1 1077944384 155 0 0 0 4 3 0 0 20 0 15 0 10512150 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140631393094416 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18191] ppid=18183 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/18186/task/18191/stat : 18191 (java) S 18183 18186 5228 0 -1 1077944384 263 0 0 0 5 3 0 0 20 0 15 0 10512150 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140631392042128 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18192] ppid=18183 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/18186/task/18192/stat : 18192 (java) S 18183 18186 5228 0 -1 1077944384 223 0 0 0 4 3 0 0 20 0 15 0 10512150 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140631390989328 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18193] ppid=18183 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/18186/task/18193/stat : 18193 (java) S 18183 18186 5228 0 -1 1077944384 842 0 0 0 1 0 0 0 20 0 15 0 10512151 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140630938990704 140631459723906 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18194] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18194/stat : 18194 (java) S 18183 18186 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10512151 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140630937936736 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18195] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18195/stat : 18195 (java) S 18183 18186 5228 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10512152 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140630936884352 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18196] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18196/stat : 18196 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140630935832656 140631459731355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18197] ppid=18183 vsize=13982084 CPUtime=1.67 cores=1,3,5,7
/proc/18186/task/18197/stat : 18197 (java) S 18183 18186 5228 0 -1 1077944384 4641 0 0 0 166 1 0 0 20 0 15 0 10512154 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140630934780528 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18198] ppid=18183 vsize=13982084 CPUtime=1.71 cores=1,3,5,7
/proc/18186/task/18198/stat : 18198 (java) S 18183 18186 5228 0 -1 1077944384 5066 0 0 0 170 1 0 0 20 0 15 0 10512154 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140630933727728 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18199] ppid=18183 vsize=13982084 CPUtime=0.83 cores=1,3,5,7
/proc/18186/task/18199/stat : 18199 (java) S 18183 18186 5228 0 -1 1077944384 7410 0 0 0 82 1 0 0 20 0 15 0 10512154 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140630932675440 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18200] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18200/stat : 18200 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140630931622880 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18201] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18201/stat : 18201 (java) S 18183 18186 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10512158 14317654016 108395 18446744073709551615 4194304 4196468 140721223543088 140630930569648 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
Current children cumulated CPU time (s) 10.65
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.77 1.72 1.67 3/214 18201
/proc/meminfo: memFree=28844832/32770624 swapFree=0/196720
[pid=18186] ppid=18183 vsize=13982084 CPUtime=17.27 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 39729 0 0 0 1690 37 0 0 20 0 15 0 10512140 14317654016 173756 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3495521 173756 3803 1 0 3484303 0
[pid=18186/tid=18188] ppid=18183 vsize=13982084 CPUtime=12.42 cores=1,3,5,7
/proc/18186/task/18188/stat : 18188 (java) R 18183 18186 5228 0 -1 4202560 17793 0 0 0 1229 13 0 0 20 0 15 0 10512149 14317654016 173756 18446744073709551615 4194304 4196468 140721223543088 140631463948832 140631080261275 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18189] ppid=18183 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18186/task/18189/stat : 18189 (java) S 18183 18186 5228 0 -1 1077944384 474 0 0 0 6 4 0 0 20 0 15 0 10512150 14317654016 173756 18446744073709551615 4194304 4196468 140721223543088 140631394147216 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18190] ppid=18183 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18186/task/18190/stat : 18190 (java) S 18183 18186 5228 0 -1 1077944384 461 0 0 0 6 4 0 0 20 0 15 0 10512150 14317654016 173756 18446744073709551615 4194304 4196468 140721223543088 140631393094416 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18191] ppid=18183 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18186/task/18191/stat : 18191 (java) S 18183 18186 5228 0 -1 1077944384 499 0 0 0 6 4 0 0 20 0 15 0 10512150 14317654016 173756 18446744073709551615 4194304 4196468 140721223543088 140631392042128 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18192] ppid=18183 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18186/task/18192/stat : 18192 (java) S 18183 18186 5228 0 -1 1077944384 250 0 0 0 6 4 0 0 20 0 15 0 10512150 14317654016 173756 18446744073709551615 4194304 4196468 140721223543088 140631390989328 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18193] ppid=18183 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/18186/task/18193/stat : 18193 (java) S 18183 18186 5228 0 -1 1077944384 1180 0 0 0 1 0 0 0 20 0 15 0 10512151 14317654016 173756 18446744073709551615 4194304 4196468 140721223543088 140630938990704 140631459723906 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18194] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18194/stat : 18194 (java) S 18183 18186 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10512151 14317654016 173756 18446744073709551615 4194304 4196468 140721223543088 140630937936736 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18195] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18195/stat : 18195 (java) S 18183 18186 5228 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10512152 14317654016 173756 18446744073709551615 4194304 4196468 140721223543088 140630936884352 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18196] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18196/stat : 18196 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 173756 18446744073709551615 4194304 4196468 140721223543088 140630935832656 140631459731355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0

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

/proc/18186/task/18200/stat : 18200 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 551846 18446744073709551615 4194304 4196468 140721223543088 140630931622880 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18201] ppid=18183 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/18186/task/18201/stat : 18201 (java) S 18183 18186 5228 0 -1 1077944384 70 0 0 0 0 1 0 0 20 0 15 0 10512158 14317654016 551846 18446744073709551615 4194304 4196468 140721223543088 140630930569648 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
Current children cumulated CPU time (s) 55.8
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.95 1.79 1.70 4/215 18205
/proc/meminfo: memFree=26108188/32770624 swapFree=0/196796
[pid=18186] ppid=18183 vsize=13982084 CPUtime=107.03 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 54497 0 0 0 10638 65 0 0 20 0 15 0 10512140 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3495521 553218 3804 1 0 3484303 0
[pid=18186/tid=18188] ppid=18183 vsize=13982084 CPUtime=101.98 cores=1,3,5,7
/proc/18186/task/18188/stat : 18188 (java) R 18183 18186 5228 0 -1 4202560 26169 0 0 0 10163 35 0 0 20 0 15 0 10512149 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140631463951152 140631080580364 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18189] ppid=18183 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18186/task/18189/stat : 18189 (java) S 18183 18186 5228 0 -1 1077944384 1737 0 0 0 8 5 0 0 20 0 15 0 10512150 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140631394147216 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18190] ppid=18183 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18186/task/18190/stat : 18190 (java) S 18183 18186 5228 0 -1 1077944384 712 0 0 0 8 5 0 0 20 0 15 0 10512150 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140631393094416 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18191] ppid=18183 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18186/task/18191/stat : 18191 (java) S 18183 18186 5228 0 -1 1077944384 1898 0 0 0 8 5 0 0 20 0 15 0 10512150 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140631392042128 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18192] ppid=18183 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18186/task/18192/stat : 18192 (java) S 18183 18186 5228 0 -1 1077944384 442 0 0 0 8 5 0 0 20 0 15 0 10512150 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140631390989328 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18193] ppid=18183 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/18186/task/18193/stat : 18193 (java) S 18183 18186 5228 0 -1 1077944384 2945 0 0 0 2 0 0 0 20 0 15 0 10512151 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140630938990704 140631459723906 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18194] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18194/stat : 18194 (java) S 18183 18186 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10512151 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140630937936736 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18195] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18195/stat : 18195 (java) S 18183 18186 5228 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10512152 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140630936884352 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18196] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18196/stat : 18196 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140630935832656 140631459731355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18197] ppid=18183 vsize=13982084 CPUtime=1.78 cores=1,3,5,7
/proc/18186/task/18197/stat : 18197 (java) S 18183 18186 5228 0 -1 1077944384 5824 0 0 0 177 1 0 0 20 0 15 0 10512154 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140630934780528 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18198] ppid=18183 vsize=13982084 CPUtime=1.75 cores=1,3,5,7
/proc/18186/task/18198/stat : 18198 (java) S 18183 18186 5228 0 -1 1077944384 5828 0 0 0 174 1 0 0 20 0 15 0 10512154 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140630933727728 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18199] ppid=18183 vsize=13982084 CPUtime=0.83 cores=1,3,5,7
/proc/18186/task/18199/stat : 18199 (java) S 18183 18186 5228 0 -1 1077944384 7422 0 0 0 82 1 0 0 20 0 15 0 10512154 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140630932675440 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18200] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18200/stat : 18200 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140630931622880 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18201] ppid=18183 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18186/task/18201/stat : 18201 (java) S 18183 18186 5228 0 -1 1077944384 95 0 0 0 1 2 0 0 20 0 15 0 10512158 14317654016 553218 18446744073709551615 4194304 4196468 140721223543088 140630930569648 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
Current children cumulated CPU time (s) 107.03
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.91 1.80 1.71 3/215 18207
/proc/meminfo: memFree=26105828/32770624 swapFree=0/196824
[pid=18186] ppid=18183 vsize=13982084 CPUtime=167.08 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 58040 0 0 0 16639 69 0 0 20 0 15 0 10512140 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3495521 553557 3804 1 0 3484303 0
[pid=18186/tid=18188] ppid=18183 vsize=13982084 CPUtime=161.95 cores=1,3,5,7
/proc/18186/task/18188/stat : 18188 (java) R 18183 18186 5228 0 -1 4202560 28620 0 0 0 16160 35 0 0 20 0 15 0 10512149 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140631463951216 140631079786681 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18189] ppid=18183 vsize=13982084 CPUtime=0.15 cores=1,3,5,7
/proc/18186/task/18189/stat : 18189 (java) S 18183 18186 5228 0 -1 1077944384 1784 0 0 0 9 6 0 0 20 0 15 0 10512150 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140631394147216 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18190] ppid=18183 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/18186/task/18190/stat : 18190 (java) S 18183 18186 5228 0 -1 1077944384 874 0 0 0 8 6 0 0 20 0 15 0 10512150 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140631393094416 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18191] ppid=18183 vsize=13982084 CPUtime=0.15 cores=1,3,5,7
/proc/18186/task/18191/stat : 18191 (java) S 18183 18186 5228 0 -1 1077944384 2485 0 0 0 9 6 0 0 20 0 15 0 10512150 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140631392042128 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18192] ppid=18183 vsize=13982084 CPUtime=0.15 cores=1,3,5,7
/proc/18186/task/18192/stat : 18192 (java) S 18183 18186 5228 0 -1 1077944384 465 0 0 0 9 6 0 0 20 0 15 0 10512150 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140631390989328 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18193] ppid=18183 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18186/task/18193/stat : 18193 (java) S 18183 18186 5228 0 -1 1077944384 3180 0 0 0 2 1 0 0 20 0 15 0 10512151 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140630938990704 140631459723906 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18194] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18194/stat : 18194 (java) S 18183 18186 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10512151 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140630937936736 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18195] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18195/stat : 18195 (java) S 18183 18186 5228 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10512152 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140630936884352 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18196] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18196/stat : 18196 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140630935832656 140631459731355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18197] ppid=18183 vsize=13982084 CPUtime=1.78 cores=1,3,5,7
/proc/18186/task/18197/stat : 18197 (java) S 18183 18186 5228 0 -1 1077944384 5827 0 0 0 177 1 0 0 20 0 15 0 10512154 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140630934780528 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18198] ppid=18183 vsize=13982084 CPUtime=1.75 cores=1,3,5,7
/proc/18186/task/18198/stat : 18198 (java) S 18183 18186 5228 0 -1 1077944384 5832 0 0 0 174 1 0 0 20 0 15 0 10512154 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140630933727728 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18199] ppid=18183 vsize=13982084 CPUtime=0.83 cores=1,3,5,7
/proc/18186/task/18199/stat : 18199 (java) S 18183 18186 5228 0 -1 1077944384 7429 0 0 0 82 1 0 0 20 0 15 0 10512154 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140630932675440 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18200] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18200/stat : 18200 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140630931622880 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18201] ppid=18183 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/18186/task/18201/stat : 18201 (java) S 18183 18186 5228 0 -1 1077944384 119 0 0 0 2 4 0 0 20 0 15 0 10512158 14317654016 553557 18446744073709551615 4194304 4196468 140721223543088 140630930569648 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
Current children cumulated CPU time (s) 167.08
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.79 1.78 1.70 3/214 18290
/proc/meminfo: memFree=29436276/32770624 swapFree=0/196912
[pid=18186] ppid=18183 vsize=13982084 CPUtime=227.17 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 61482 0 0 0 22642 75 0 0 20 0 15 0 10512140 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3495521 553143 3804 1 0 3484303 0
[pid=18186/tid=18188] ppid=18183 vsize=13982084 CPUtime=221.93 cores=1,3,5,7
/proc/18186/task/18188/stat : 18188 (java) R 18183 18186 5228 0 -1 4202560 30911 0 0 0 22158 35 0 0 20 0 15 0 10512149 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140631463951120 140631080258683 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18189] ppid=18183 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18186/task/18189/stat : 18189 (java) S 18183 18186 5228 0 -1 1077944384 1836 0 0 0 9 7 0 0 20 0 15 0 10512150 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140631394147216 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18190] ppid=18183 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18186/task/18190/stat : 18190 (java) S 18183 18186 5228 0 -1 1077944384 1004 0 0 0 9 7 0 0 20 0 15 0 10512150 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140631393094416 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18191] ppid=18183 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18186/task/18191/stat : 18191 (java) S 18183 18186 5228 0 -1 1077944384 2587 0 0 0 9 7 0 0 20 0 15 0 10512150 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140631392042128 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18192] ppid=18183 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18186/task/18192/stat : 18192 (java) S 18183 18186 5228 0 -1 1077944384 1054 0 0 0 9 7 0 0 20 0 15 0 10512150 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140631390989328 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18193] ppid=18183 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/18186/task/18193/stat : 18193 (java) S 18183 18186 5228 0 -1 1077944384 3424 0 0 0 3 1 0 0 20 0 15 0 10512151 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140630938990704 140631459723906 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18194] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18194/stat : 18194 (java) S 18183 18186 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10512151 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140630937936736 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18195] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18195/stat : 18195 (java) S 18183 18186 5228 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10512152 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140630936884352 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18196] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18196/stat : 18196 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140630935832656 140631459731355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18197] ppid=18183 vsize=13982084 CPUtime=1.78 cores=1,3,5,7
/proc/18186/task/18197/stat : 18197 (java) S 18183 18186 5228 0 -1 1077944384 5830 0 0 0 177 1 0 0 20 0 15 0 10512154 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140630934780528 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18198] ppid=18183 vsize=13982084 CPUtime=1.75 cores=1,3,5,7
/proc/18186/task/18198/stat : 18198 (java) S 18183 18186 5228 0 -1 1077944384 5836 0 0 0 174 1 0 0 20 0 15 0 10512154 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140630933727728 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18199] ppid=18183 vsize=13982084 CPUtime=0.83 cores=1,3,5,7
/proc/18186/task/18199/stat : 18199 (java) S 18183 18186 5228 0 -1 1077944384 7436 0 0 0 82 1 0 0 20 0 15 0 10512154 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140630932675440 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18200] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18200/stat : 18200 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140630931622880 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18201] ppid=18183 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/18186/task/18201/stat : 18201 (java) S 18183 18186 5228 0 -1 1077944384 139 0 0 0 3 6 0 0 20 0 15 0 10512158 14317654016 553143 18446744073709551615 4194304 4196468 140721223543088 140630930569648 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
Current children cumulated CPU time (s) 227.17
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.66 1.75 1.69 3/214 18290
/proc/meminfo: memFree=29486944/32770624 swapFree=0/196920
[pid=18186] ppid=18183 vsize=13982084 CPUtime=244.88 cores=1,3,5,7
/proc/18186/stat : 18186 (java) S 18183 18186 5228 0 -1 1077944320 62430 0 0 0 24411 77 0 0 20 0 15 0 10512140 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140721223525632 140631459712759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
/proc/18186/statm: 3495521 552631 3804 1 0 3484303 0
[pid=18186/tid=18188] ppid=18183 vsize=13982084 CPUtime=239.61 cores=1,3,5,7
/proc/18186/task/18188/stat : 18188 (java) R 18183 18186 5228 0 -1 4202560 31811 0 0 0 23926 35 0 0 20 0 15 0 10512149 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140631463951056 140631080110219 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18189] ppid=18183 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18186/task/18189/stat : 18189 (java) S 18183 18186 5228 0 -1 1077944384 1852 0 0 0 9 7 0 0 20 0 15 0 10512150 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140631394147216 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18190] ppid=18183 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18186/task/18190/stat : 18190 (java) S 18183 18186 5228 0 -1 1077944384 1014 0 0 0 9 7 0 0 20 0 15 0 10512150 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140631393094416 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18191] ppid=18183 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18186/task/18191/stat : 18191 (java) S 18183 18186 5228 0 -1 1077944384 2593 0 0 0 9 7 0 0 20 0 15 0 10512150 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140631392042128 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18192] ppid=18183 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18186/task/18192/stat : 18192 (java) S 18183 18186 5228 0 -1 1077944384 1068 0 0 0 10 7 0 0 20 0 15 0 10512150 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140631390989328 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18193] ppid=18183 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/18186/task/18193/stat : 18193 (java) S 18183 18186 5228 0 -1 1077944384 3426 0 0 0 3 1 0 0 20 0 15 0 10512151 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140630938990704 140631459723906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18194] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18194/stat : 18194 (java) S 18183 18186 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10512151 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140630937936736 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18195] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18195/stat : 18195 (java) S 18183 18186 5228 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10512152 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140630936884352 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18196] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18196/stat : 18196 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140630935832656 140631459731355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18197] ppid=18183 vsize=13982084 CPUtime=1.78 cores=1,3,5,7
/proc/18186/task/18197/stat : 18197 (java) S 18183 18186 5228 0 -1 1077944384 5830 0 0 0 177 1 0 0 20 0 15 0 10512154 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140630934780528 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18198] ppid=18183 vsize=13982084 CPUtime=1.75 cores=1,3,5,7
/proc/18186/task/18198/stat : 18198 (java) S 18183 18186 5228 0 -1 1077944384 5836 0 0 0 174 1 0 0 20 0 15 0 10512154 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140630933727728 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18199] ppid=18183 vsize=13982084 CPUtime=0.83 cores=1,3,5,7
/proc/18186/task/18199/stat : 18199 (java) S 18183 18186 5228 0 -1 1077944384 7436 0 0 0 82 1 0 0 20 0 15 0 10512154 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140630932675440 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18200] ppid=18183 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18200/stat : 18200 (java) S 18183 18186 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10512154 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140630931622880 140631459722965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
[pid=18186/tid=18201] ppid=18183 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18186/task/18201/stat : 18201 (java) S 18183 18186 5228 0 -1 1077944384 139 0 0 0 4 6 0 0 20 0 15 0 10512158 14317654016 552631 18446744073709551615 4194304 4196468 140721223543088 140630930569648 140631459723906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140721223545233 140721223545419 140721223545419 140721223548879 0
Current children cumulated CPU time (s) 244.88
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 18186 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.037
CPU time (s): 244.944
CPU user time (s): 244.155
CPU system time (s): 0.789412
CPU usage (%): 102.044
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.155
system time used= 0.789412
maximum resident set size= 2216292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64896
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= 8992
involuntary context switches= 297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11749 second user time and 1.42149 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml
MD5SUM	a21a0b86f7fa853bf556b3925b3cd061
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	338
Best CPU time to get the best result obtained on this benchmark	251.815
Satisfiable
(Un)Satisfiability was proved
Number of variables	1597
Number of constraints	944
Number of domains	4
Minimum domain size	2
Maximum domain size	1569
Distribution of domain sizes	[{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}]
Minimum variable degree	1
Maximum variable degree	29
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}]
Number of extensional constraints	780
Number of intensional constraints	131
Distribution of constraint types	[{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4256332

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