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)	293	245.677	240.03999

0.25/0.37	c version: 2017-07-26
0.25/0.37	c seed: 92472266
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...
4.43/2.06	c Parsing done, starting search...
6.42/2.93	o 239
6.42/2.93	o 240
6.42/2.94	o 241
6.42/2.94	o 242
6.42/2.94	o 243
6.42/2.94	o 244
6.42/2.95	o 245
6.42/2.95	o 246
6.42/2.95	o 247
6.42/2.95	o 248
6.42/2.95	o 249
6.42/2.96	o 250
6.42/2.96	o 251
6.42/2.96	o 252
6.42/2.96	o 253
6.42/2.97	o 254
6.42/2.97	o 255
6.42/2.97	o 256
6.42/2.97	o 257
6.42/2.97	o 258
6.42/2.97	o 259
6.42/2.97	o 260
6.42/2.98	o 261
6.42/2.98	o 262
6.42/2.98	o 263
6.42/2.98	o 264
6.42/2.98	o 265
6.42/2.98	o 266
6.42/2.98	o 267
6.42/2.99	o 268
6.42/2.99	o 269
6.42/2.99	o 270
6.42/2.99	o 271
6.42/2.99	o 272
6.42/2.99	o 273
6.42/3.00	o 274
6.71/3.00	o 275
6.71/3.00	o 276
6.71/3.00	o 277
6.71/3.00	o 278
6.71/3.00	o 279
6.71/3.01	o 280
6.71/3.01	o 281
6.71/3.01	o 282
6.71/3.01	o 283
6.71/3.01	o 284
6.71/3.02	o 285
6.71/3.03	o 286
6.71/3.04	o 287
6.71/3.04	o 288
6.71/3.05	o 289
6.71/3.05	o 290
7.63/3.34	o 291
20.91/15.69	o 292
77.30/71.87	o 293
245.62/240.00	s SATISFIABLE
245.62/240.01	v <instantiation>
245.62/240.01	v 	<list>
245.62/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[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] 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[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] 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[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] 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[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] 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[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] 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[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] 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[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] 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[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] 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[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] 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[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] 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[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] 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[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] 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[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] 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[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] 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[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] 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[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] 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[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] 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[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] 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[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] 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[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] 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[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] 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[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] 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[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] 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[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] 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[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] 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[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] 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[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] 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] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] 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[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] 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[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] 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[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] 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[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] 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[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] 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[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] 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[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] 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[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] 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[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] 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[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] 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[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] 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[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] 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[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] 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[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] 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[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] 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[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] 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[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] 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[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] 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[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] 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[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] 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[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] 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[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] 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[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] 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[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] 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[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] 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[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] 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] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] 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] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] z
245.62/240.01	v 	</list>
245.62/240.01	v 	<values>
245.62/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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 0 0 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 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 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 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 2 2 1 2 1 1 1 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 1 0 2 0 0 0 0 1 0 1 2 1 1 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 2 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 2 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 2 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 1 2 1 1 2 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 0 0 0 0 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 2 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 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 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 2 0 2 0 0 0 0 0 0 1 0 1 0 1 2 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 1 0 2 0 2 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 2 1 1 0 0 0 0 0 1 1 0 1 1 2 0 0 0 2 0 2 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 2 0 0 0 0 0 1 0 1 0 1 2 1 0 0 1 0 2 1 1 0 1 1 1 0 1 2 1 0 1 1 1 1 2 1 0 0 2 0 0 0 0 0 0 0 2 1 1 0 1 2 2 2 1 1 2 2 1 1 2 2 2 1 1 2 2 2 2 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 32 98 164 230 296 362 428 494 560 623 668 682 691 706 717 729 746 760 776 792 808 821 832 836 846 853 857 869 881 895 915 941 979 1004 293 
245.62/240.01	v 	</values>
245.62/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-4256336-1501627452/watcher-4256336-1501627452 -o /tmp/evaluation-result-4256336-1501627452/solver-4256336-1501627452 -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 92472266 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256336-1501627452.xml 

pid=18528
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.58 1.63 1.66 3/199 18531
/proc/meminfo: memFree=30493948/32770624 swapFree=0/197444
[pid=18531] ppid=18528 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18531/stat : 18531 (runsolver) D 18528 18531 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10560505 24240128 106 18446744073709551615 4194304 4338465 140735756069616 140735756067256 139973527638743 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 22065152 140735756071016 140735756071494 140735756071494 140735756074954 0
/proc/18531/statm: 5918 106 53 36 0 2156 0

[startup+0.10422 s]
/proc/loadavg: 1.58 1.63 1.66 3/199 18531
/proc/meminfo: memFree=30493948/32770624 swapFree=0/197444
[pid=18531] ppid=18528 vsize=13375000 CPUtime=0.01 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 3492 0 0 0 1 0 0 0 20 0 7 0 10560505 13696000000 4170 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3343750 4170 1940 1 0 3333255 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13375000

[startup+0.200346 s]
/proc/loadavg: 1.58 1.63 1.66 3/199 18531
/proc/meminfo: memFree=30493948/32770624 swapFree=0/197444
[pid=18531] ppid=18528 vsize=13975920 CPUtime=0.08 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 6491 0 0 0 7 1 0 0 20 0 15 0 10560505 14311342080 7687 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3493980 7687 3342 1 0 3482767 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13975920

[startup+0.301576 s]
/proc/loadavg: 1.58 1.63 1.66 3/199 18531
/proc/meminfo: memFree=30493948/32770624 swapFree=0/197444
[pid=18531] ppid=18528 vsize=13975920 CPUtime=0.25 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 10313 0 0 0 22 3 0 0 20 0 15 0 10560505 14311342080 10120 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3493980 10120 3532 1 0 3482767 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13975920

[startup+0.709712 s]
/proc/loadavg: 1.58 1.63 1.66 3/199 18531
/proc/meminfo: memFree=30493948/32770624 swapFree=0/197444
[pid=18531] ppid=18528 vsize=13977988 CPUtime=1.16 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 13792 0 0 0 111 5 0 0 20 0 15 0 10560505 14313459712 18659 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3494497 18659 3725 1 0 3483279 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13977988

[startup+1.50569 s]
/proc/loadavg: 1.62 1.64 1.66 5/214 18546
/proc/meminfo: memFree=30395164/32770624 swapFree=0/197224
[pid=18531] ppid=18528 vsize=13982084 CPUtime=3.59 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 29524 0 0 0 345 14 0 0 20 0 15 0 10560505 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3495521 56089 3762 1 0 3484303 0
[pid=18531/tid=18533] ppid=18528 vsize=13982084 CPUtime=1.36 cores=1,3,5,7
/proc/18531/task/18533/stat : 18533 (java) S 18528 18531 5228 0 -1 1077944384 14991 0 0 0 128 8 0 0 20 0 15 0 10560513 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139811122559904 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18534] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18534/stat : 18534 (java) R 18528 18531 5228 0 -1 4202560 167 0 0 0 0 0 0 0 20 0 15 0 10560514 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139811052759824 139811103353342 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18535] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18535/stat : 18535 (java) R 18528 18531 5228 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 15 0 10560514 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139811051704912 139811099951380 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18536] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18536/stat : 18536 (java) R 18528 18531 5228 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 15 0 10560514 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810716695768 139811103353342 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18537] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18537/stat : 18537 (java) R 18528 18531 5228 0 -1 4202560 278 0 0 0 0 0 0 0 20 0 15 0 10560514 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810715643024 139811103353342 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18538] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18538/stat : 18538 (java) S 18528 18531 5228 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 10560515 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810664763936 139811118335701 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18539] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18539/stat : 18539 (java) S 18528 18531 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10560515 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810663711648 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18540] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18540/stat : 18540 (java) S 18528 18531 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10560516 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810662659056 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18541] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18541/stat : 18541 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810661607632 139811118344091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18542] ppid=18528 vsize=13982084 CPUtime=0.7 cores=1,3,5,7
/proc/18531/task/18542/stat : 18542 (java) S 18528 18531 5228 0 -1 1077944384 2929 0 0 0 70 0 0 0 20 0 15 0 10560518 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810660555248 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18543] ppid=18528 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/18531/task/18543/stat : 18543 (java) S 18528 18531 5228 0 -1 1077944384 3182 0 0 0 73 1 0 0 20 0 15 0 10560518 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810659482512 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18544] ppid=18528 vsize=13982084 CPUtime=0.71 cores=1,3,5,7
/proc/18531/task/18544/stat : 18544 (java) S 18528 18531 5228 0 -1 1077944384 6054 0 0 0 70 1 0 0 20 0 15 0 10560518 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810658450160 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18545] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18545/stat : 18545 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810657397856 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18546] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18546/stat : 18546 (java) S 18528 18531 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10560522 14317654016 56089 18446744073709551615 4194304 4196468 140733846674272 139810656344368 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 13982084

[startup+3.10071 s]
/proc/loadavg: 1.62 1.64 1.66 5/214 18546
/proc/meminfo: memFree=30067052/32770624 swapFree=0/197228
[pid=18531] ppid=18528 vsize=13982084 CPUtime=7.01 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 33796 0 0 0 673 28 0 0 20 0 15 0 10560505 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3495521 109439 3804 1 0 3484303 0
[pid=18531/tid=18533] ppid=18528 vsize=13982084 CPUtime=2.87 cores=1,3,5,7
/proc/18531/task/18533/stat : 18533 (java) R 18528 18531 5228 0 -1 4202560 15575 0 0 0 277 10 0 0 20 0 15 0 10560513 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139811122555264 139810741181546 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18534] ppid=18528 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/18531/task/18534/stat : 18534 (java) S 18528 18531 5228 0 -1 1077944384 273 0 0 0 5 3 0 0 20 0 15 0 10560514 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139811052759824 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18535] ppid=18528 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/18531/task/18535/stat : 18535 (java) S 18528 18531 5228 0 -1 1077944384 152 0 0 0 5 3 0 0 20 0 15 0 10560514 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139811051707280 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18536] ppid=18528 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/18531/task/18536/stat : 18536 (java) S 18528 18531 5228 0 -1 1077944384 192 0 0 0 5 3 0 0 20 0 15 0 10560514 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810716695568 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18537] ppid=18528 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/18531/task/18537/stat : 18537 (java) S 18528 18531 5228 0 -1 1077944384 348 0 0 0 5 3 0 0 20 0 15 0 10560514 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810715643024 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18538] ppid=18528 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/18531/task/18538/stat : 18538 (java) S 18528 18531 5228 0 -1 1077944384 737 0 0 0 1 0 0 0 20 0 15 0 10560515 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810664765424 139811118336642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18539] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18539/stat : 18539 (java) S 18528 18531 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10560515 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810663711712 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18540] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18540/stat : 18540 (java) S 18528 18531 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10560516 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810662659072 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18541] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18541/stat : 18541 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810661607632 139811118344091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18542] ppid=18528 vsize=13982084 CPUtime=1.45 cores=1,3,5,7
/proc/18531/task/18542/stat : 18542 (java) R 18528 18531 5228 0 -1 4202560 4379 0 0 0 144 1 0 0 20 0 15 0 10560518 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810660536264 139811097563952 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18543] ppid=18528 vsize=13982084 CPUtime=1.47 cores=1,3,5,7
/proc/18531/task/18543/stat : 18543 (java) R 18528 18531 5228 0 -1 4202560 3978 0 0 0 146 1 0 0 20 0 15 0 10560518 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810659493152 139811096072896 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18544] ppid=18528 vsize=13982084 CPUtime=0.84 cores=1,3,5,7
/proc/18531/task/18544/stat : 18544 (java) S 18528 18531 5228 0 -1 1077944384 6739 0 0 0 83 1 0 0 20 0 15 0 10560518 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810658450160 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18545] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18545/stat : 18545 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810657397856 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18546] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18546/stat : 18546 (java) S 18528 18531 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10560522 14317654016 109439 18446744073709551615 4194304 4196468 140733846674272 139810656344368 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 13982084

[startup+6.30967 s]
/proc/loadavg: 1.62 1.64 1.66 3/214 18546
/proc/meminfo: memFree=29669064/32770624 swapFree=0/197244
[pid=18531] ppid=18528 vsize=13982084 CPUtime=11.44 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 35212 0 0 0 1112 32 0 0 20 0 15 0 10560505 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3495521 115317 3804 1 0 3484303 0
[pid=18531/tid=18533] ppid=18528 vsize=13982084 CPUtime=6.05 cores=1,3,5,7
/proc/18531/task/18533/stat : 18533 (java) R 18528 18531 5228 0 -1 4202560 15918 0 0 0 595 10 0 0 20 0 15 0 10560513 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139811122560864 139810741918929 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18534] ppid=18528 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18531/task/18534/stat : 18534 (java) S 18528 18531 5228 0 -1 1077944384 329 0 0 0 6 4 0 0 20 0 15 0 10560514 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139811052759824 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18535] ppid=18528 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18531/task/18535/stat : 18535 (java) S 18528 18531 5228 0 -1 1077944384 217 0 0 0 6 4 0 0 20 0 15 0 10560514 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139811051707280 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18536] ppid=18528 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18531/task/18536/stat : 18536 (java) S 18528 18531 5228 0 -1 1077944384 240 0 0 0 6 4 0 0 20 0 15 0 10560514 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810716695568 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18537] ppid=18528 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18531/task/18537/stat : 18537 (java) S 18528 18531 5228 0 -1 1077944384 373 0 0 0 6 4 0 0 20 0 15 0 10560514 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810715643024 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18538] ppid=18528 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/18531/task/18538/stat : 18538 (java) S 18528 18531 5228 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 15 0 10560515 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810664765424 139811118336642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18539] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18539/stat : 18539 (java) S 18528 18531 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10560515 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810663711712 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18540] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18540/stat : 18540 (java) S 18528 18531 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10560516 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810662659072 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18541] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18541/stat : 18541 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810661607632 139811118344091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18542] ppid=18528 vsize=13982084 CPUtime=1.91 cores=1,3,5,7
/proc/18531/task/18542/stat : 18542 (java) S 18528 18531 5228 0 -1 1077944384 5043 0 0 0 190 1 0 0 20 0 15 0 10560518 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810660555248 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18543] ppid=18528 vsize=13982084 CPUtime=2.15 cores=1,3,5,7
/proc/18531/task/18543/stat : 18543 (java) R 18528 18531 5228 0 -1 4202560 4165 0 0 0 214 1 0 0 20 0 15 0 10560518 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810659503000 139811103225722 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18544] ppid=18528 vsize=13982084 CPUtime=0.85 cores=1,3,5,7
/proc/18531/task/18544/stat : 18544 (java) S 18528 18531 5228 0 -1 1077944384 6761 0 0 0 84 1 0 0 20 0 15 0 10560518 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810658450160 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18545] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18545/stat : 18545 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810657397856 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18546] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18546/stat : 18546 (java) S 18528 18531 5228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10560522 14317654016 115317 18446744073709551615 4194304 4196468 140733846674272 139810656344368 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.68 1.65 1.66 3/214 18546
/proc/meminfo: memFree=28735688/32770624 swapFree=0/197248
[pid=18531] ppid=18528 vsize=13982084 CPUtime=18.01 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 40725 0 0 0 1761 40 0 0 20 0 15 0 10560505 14317654016 180627 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3495521 180627 3804 1 0 3484303 0
[pid=18531/tid=18533] ppid=18528 vsize=13982084 CPUtime=12.4 cores=1,3,5,7
/proc/18531/task/18533/stat : 18533 (java) R 18528 18531 5228 0 -1 4202560 17168 0 0 0 1227 13 0 0 20 0 15 0 10560513 14317654016 180627 18446744073709551615 4194304 4196468 140733846674272 139811122563888 139810741950015 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18534] ppid=18528 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18531/task/18534/stat : 18534 (java) S 18528 18531 5228 0 -1 1077944384 1939 0 0 0 8 5 0 0 20 0 15 0 10560514 14317654016 180627 18446744073709551615 4194304 4196468 140733846674272 139811052759824 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18535] ppid=18528 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18531/task/18535/stat : 18535 (java) S 18528 18531 5228 0 -1 1077944384 455 0 0 0 8 5 0 0 20 0 15 0 10560514 14317654016 180627 18446744073709551615 4194304 4196468 140733846674272 139811051707280 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18536] ppid=18528 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/18531/task/18536/stat : 18536 (java) S 18528 18531 5228 0 -1 1077944384 319 0 0 0 9 5 0 0 20 0 15 0 10560514 14317654016 180627 18446744073709551615 4194304 4196468 140733846674272 139810716695568 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18537] ppid=18528 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/18531/task/18537/stat : 18537 (java) S 18528 18531 5228 0 -1 1077944384 468 0 0 0 8 5 0 0 20 0 15 0 10560514 14317654016 180627 18446744073709551615 4194304 4196468 140733846674272 139810715643024 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18538] ppid=18528 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/18531/task/18538/stat : 18538 (java) S 18528 18531 5228 0 -1 1077944384 1234 0 0 0 1 0 0 0 20 0 15 0 10560515 14317654016 180627 18446744073709551615 4194304 4196468 140733846674272 139810664765424 139811118336642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18539] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18539/stat : 18539 (java) S 18528 18531 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10560515 14317654016 180627 18446744073709551615 4194304 4196468 140733846674272 139810663711712 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18540] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18540/stat : 18540 (java) S 18528 18531 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10560516 14317654016 180627 18446744073709551615 4194304 4196468 140733846674272 139810662659072 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18541] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18541/stat : 18541 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 180627 18446744073709551615 4194304 4196468 140733846674272 139810661607632 139811118344091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0

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

/proc/18531/task/18545/stat : 18545 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 558993 18446744073709551615 4194304 4196468 140733846674272 139810657397856 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18546] ppid=18528 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/18531/task/18546/stat : 18546 (java) S 18528 18531 5228 0 -1 1077944384 90 0 0 0 1 1 0 0 20 0 15 0 10560522 14317654016 558993 18446744073709551615 4194304 4196468 140733846674272 139810656344368 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
Current children cumulated CPU time (s) 56.58
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 2.08 1.77 1.71 3/214 18549
/proc/meminfo: memFree=24798648/32770624 swapFree=0/197316
[pid=18531] ppid=18528 vsize=13982084 CPUtime=107.83 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 54846 0 0 0 10696 87 0 0 20 0 15 0 10560505 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3495521 867956 3804 1 0 3484303 0
[pid=18531/tid=18533] ppid=18528 vsize=13982084 CPUtime=101.96 cores=1,3,5,7
/proc/18531/task/18533/stat : 18533 (java) R 18528 18531 5228 0 -1 4202560 26139 0 0 0 10144 52 0 0 20 0 15 0 10560513 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139811122563840 139810741181494 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18534] ppid=18528 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18531/task/18534/stat : 18534 (java) S 18528 18531 5228 0 -1 1077944384 2180 0 0 0 10 7 0 0 20 0 15 0 10560514 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139811052759824 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18535] ppid=18528 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18531/task/18535/stat : 18535 (java) S 18528 18531 5228 0 -1 1077944384 600 0 0 0 10 6 0 0 20 0 15 0 10560514 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139811051707280 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18536] ppid=18528 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18531/task/18536/stat : 18536 (java) S 18528 18531 5228 0 -1 1077944384 465 0 0 0 10 6 0 0 20 0 15 0 10560514 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810716695568 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18537] ppid=18528 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18531/task/18537/stat : 18537 (java) S 18528 18531 5228 0 -1 1077944384 1614 0 0 0 10 6 0 0 20 0 15 0 10560514 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810715643024 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18538] ppid=18528 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/18531/task/18538/stat : 18538 (java) S 18528 18531 5228 0 -1 1077944384 2809 0 0 0 2 0 0 0 20 0 15 0 10560515 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810664765424 139811118336642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18539] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18539/stat : 18539 (java) S 18528 18531 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10560515 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810663711712 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18540] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18540/stat : 18540 (java) S 18528 18531 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10560516 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810662659072 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18541] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18541/stat : 18541 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810661607632 139811118344091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18542] ppid=18528 vsize=13982084 CPUtime=1.96 cores=1,3,5,7
/proc/18531/task/18542/stat : 18542 (java) S 18528 18531 5228 0 -1 1077944384 5533 0 0 0 195 1 0 0 20 0 15 0 10560518 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810660555248 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18543] ppid=18528 vsize=13982084 CPUtime=2.24 cores=1,3,5,7
/proc/18531/task/18543/stat : 18543 (java) S 18528 18531 5228 0 -1 1077944384 7012 0 0 0 223 1 0 0 20 0 15 0 10560518 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810659502704 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18544] ppid=18528 vsize=13982084 CPUtime=0.85 cores=1,3,5,7
/proc/18531/task/18544/stat : 18544 (java) S 18528 18531 5228 0 -1 1077944384 6965 0 0 0 84 1 0 0 20 0 15 0 10560518 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810658450160 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18545] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18545/stat : 18545 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810657397856 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18546] ppid=18528 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/18531/task/18546/stat : 18546 (java) S 18528 18531 5228 0 -1 1077944384 114 0 0 0 2 3 0 0 20 0 15 0 10560522 14317654016 867956 18446744073709551615 4194304 4196468 140733846674272 139810656344368 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
Current children cumulated CPU time (s) 107.83
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 2.03 1.81 1.72 3/214 18551
/proc/meminfo: memFree=24563276/32770624 swapFree=0/197344
[pid=18531] ppid=18528 vsize=13982084 CPUtime=167.87 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 58785 0 0 0 16698 89 0 0 20 0 15 0 10560505 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3495521 854105 3804 1 0 3484303 0
[pid=18531/tid=18533] ppid=18528 vsize=13982084 CPUtime=161.95 cores=1,3,5,7
/proc/18531/task/18533/stat : 18533 (java) R 18528 18531 5228 0 -1 4202560 30014 0 0 0 16143 52 0 0 20 0 15 0 10560513 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139811122563840 139810740042880 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18534] ppid=18528 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18531/task/18534/stat : 18534 (java) S 18528 18531 5228 0 -1 1077944384 2189 0 0 0 10 7 0 0 20 0 15 0 10560514 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139811052759824 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18535] ppid=18528 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18531/task/18535/stat : 18535 (java) S 18528 18531 5228 0 -1 1077944384 603 0 0 0 10 6 0 0 20 0 15 0 10560514 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139811051707280 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18536] ppid=18528 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18531/task/18536/stat : 18536 (java) S 18528 18531 5228 0 -1 1077944384 465 0 0 0 10 6 0 0 20 0 15 0 10560514 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810716695568 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18537] ppid=18528 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18531/task/18537/stat : 18537 (java) S 18528 18531 5228 0 -1 1077944384 1618 0 0 0 10 6 0 0 20 0 15 0 10560514 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810715643024 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18538] ppid=18528 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/18531/task/18538/stat : 18538 (java) S 18528 18531 5228 0 -1 1077944384 2819 0 0 0 2 0 0 0 20 0 15 0 10560515 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810664765424 139811118336642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18539] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18539/stat : 18539 (java) S 18528 18531 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10560515 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810663711712 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18540] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18540/stat : 18540 (java) S 18528 18531 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10560516 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810662659072 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18541] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18541/stat : 18541 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810661607632 139811118344091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18542] ppid=18528 vsize=13982084 CPUtime=1.96 cores=1,3,5,7
/proc/18531/task/18542/stat : 18542 (java) S 18528 18531 5228 0 -1 1077944384 5537 0 0 0 195 1 0 0 20 0 15 0 10560518 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810660555248 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18543] ppid=18528 vsize=13982084 CPUtime=2.24 cores=1,3,5,7
/proc/18531/task/18543/stat : 18543 (java) S 18528 18531 5228 0 -1 1077944384 7015 0 0 0 223 1 0 0 20 0 15 0 10560518 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810659502704 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18544] ppid=18528 vsize=13982084 CPUtime=0.85 cores=1,3,5,7
/proc/18531/task/18544/stat : 18544 (java) S 18528 18531 5228 0 -1 1077944384 6972 0 0 0 84 1 0 0 20 0 15 0 10560518 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810658450160 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18545] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18545/stat : 18545 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810657397856 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18546] ppid=18528 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/18531/task/18546/stat : 18546 (java) S 18528 18531 5228 0 -1 1077944384 138 0 0 0 3 4 0 0 20 0 15 0 10560522 14317654016 854105 18446744073709551615 4194304 4196468 140733846674272 139810656344368 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
Current children cumulated CPU time (s) 167.87
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 2.07 1.86 1.75 3/213 18633
/proc/meminfo: memFree=28385320/32770624 swapFree=0/197412
[pid=18531] ppid=18528 vsize=13982084 CPUtime=227.92 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 65126 0 0 0 22702 90 0 0 20 0 15 0 10560505 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3495521 818728 3804 1 0 3484303 0
[pid=18531/tid=18533] ppid=18528 vsize=13982084 CPUtime=221.95 cores=1,3,5,7
/proc/18531/task/18533/stat : 18533 (java) R 18528 18531 5228 0 -1 4202560 34259 0 0 0 22143 52 0 0 20 0 15 0 10560513 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139811122564064 139810741181586 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18534] ppid=18528 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18531/task/18534/stat : 18534 (java) S 18528 18531 5228 0 -1 1077944384 2299 0 0 0 10 7 0 0 20 0 15 0 10560514 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139811052759824 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18535] ppid=18528 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18531/task/18535/stat : 18535 (java) S 18528 18531 5228 0 -1 1077944384 794 0 0 0 11 6 0 0 20 0 15 0 10560514 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139811051707280 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18536] ppid=18528 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18531/task/18536/stat : 18536 (java) S 18528 18531 5228 0 -1 1077944384 1086 0 0 0 11 6 0 0 20 0 15 0 10560514 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810716695568 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18537] ppid=18528 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18531/task/18537/stat : 18537 (java) S 18528 18531 5228 0 -1 1077944384 2298 0 0 0 11 6 0 0 20 0 15 0 10560514 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810715643024 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18538] ppid=18528 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18531/task/18538/stat : 18538 (java) S 18528 18531 5228 0 -1 1077944384 3274 0 0 0 2 1 0 0 20 0 15 0 10560515 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810664765424 139811118336642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18539] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18539/stat : 18539 (java) S 18528 18531 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10560515 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810663711712 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18540] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18540/stat : 18540 (java) S 18528 18531 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10560516 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810662659072 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18541] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18541/stat : 18541 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810661607632 139811118344091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18542] ppid=18528 vsize=13982084 CPUtime=1.96 cores=1,3,5,7
/proc/18531/task/18542/stat : 18542 (java) S 18528 18531 5228 0 -1 1077944384 5551 0 0 0 195 1 0 0 20 0 15 0 10560518 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810660555248 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18543] ppid=18528 vsize=13982084 CPUtime=2.24 cores=1,3,5,7
/proc/18531/task/18543/stat : 18543 (java) S 18528 18531 5228 0 -1 1077944384 7018 0 0 0 223 1 0 0 20 0 15 0 10560518 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810659502704 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18544] ppid=18528 vsize=13982084 CPUtime=0.85 cores=1,3,5,7
/proc/18531/task/18544/stat : 18544 (java) S 18528 18531 5228 0 -1 1077944384 6976 0 0 0 84 1 0 0 20 0 15 0 10560518 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810658450160 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18545] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18545/stat : 18545 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810657397856 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18546] ppid=18528 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/18531/task/18546/stat : 18546 (java) S 18528 18531 5228 0 -1 1077944384 156 0 0 0 5 5 0 0 20 0 15 0 10560522 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810656344368 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
Current children cumulated CPU time (s) 227.92
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.90 1.84 1.74 3/213 18633
/proc/meminfo: memFree=28434256/32770624 swapFree=0/197424
[pid=18531] ppid=18528 vsize=13982084 CPUtime=245.62 cores=1,3,5,7
/proc/18531/stat : 18531 (java) S 18528 18531 5228 0 -1 1077944320 66819 0 0 0 24472 90 0 0 20 0 15 0 10560505 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 140733846656816 139811118325495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
/proc/18531/statm: 3495521 818728 3804 1 0 3484303 0
[pid=18531/tid=18533] ppid=18528 vsize=13982084 CPUtime=239.64 cores=1,3,5,7
/proc/18531/task/18533/stat : 18533 (java) R 18528 18531 5228 0 -1 4202560 35932 0 0 0 23912 52 0 0 20 0 15 0 10560513 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139811122563840 139810741947482 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18534] ppid=18528 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18531/task/18534/stat : 18534 (java) S 18528 18531 5228 0 -1 1077944384 2299 0 0 0 10 7 0 0 20 0 15 0 10560514 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139811052759824 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18535] ppid=18528 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18531/task/18535/stat : 18535 (java) S 18528 18531 5228 0 -1 1077944384 799 0 0 0 11 6 0 0 20 0 15 0 10560514 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139811051707280 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18536] ppid=18528 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18531/task/18536/stat : 18536 (java) S 18528 18531 5228 0 -1 1077944384 1095 0 0 0 11 6 0 0 20 0 15 0 10560514 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810716695568 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18537] ppid=18528 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18531/task/18537/stat : 18537 (java) S 18528 18531 5228 0 -1 1077944384 2299 0 0 0 11 6 0 0 20 0 15 0 10560514 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810715643024 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18538] ppid=18528 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18531/task/18538/stat : 18538 (java) S 18528 18531 5228 0 -1 1077944384 3279 0 0 0 2 1 0 0 20 0 15 0 10560515 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810664765424 139811118336642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18539] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18539/stat : 18539 (java) S 18528 18531 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10560515 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810663711712 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18540] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18540/stat : 18540 (java) S 18528 18531 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10560516 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810662659072 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18541] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18541/stat : 18541 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810661607632 139811118344091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18542] ppid=18528 vsize=13982084 CPUtime=1.96 cores=1,3,5,7
/proc/18531/task/18542/stat : 18542 (java) S 18528 18531 5228 0 -1 1077944384 5551 0 0 0 195 1 0 0 20 0 15 0 10560518 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810660555248 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18543] ppid=18528 vsize=13982084 CPUtime=2.24 cores=1,3,5,7
/proc/18531/task/18543/stat : 18543 (java) S 18528 18531 5228 0 -1 1077944384 7018 0 0 0 223 1 0 0 20 0 15 0 10560518 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810659502704 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18544] ppid=18528 vsize=13982084 CPUtime=0.85 cores=1,3,5,7
/proc/18531/task/18544/stat : 18544 (java) S 18528 18531 5228 0 -1 1077944384 6976 0 0 0 84 1 0 0 20 0 15 0 10560518 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810658450160 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18545] ppid=18528 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18531/task/18545/stat : 18545 (java) S 18528 18531 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10560518 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810657397856 139811118335701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
[pid=18531/tid=18546] ppid=18528 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/18531/task/18546/stat : 18546 (java) S 18528 18531 5228 0 -1 1077944384 156 0 0 0 5 6 0 0 20 0 15 0 10560522 14317654016 818728 18446744073709551615 4194304 4196468 140733846674272 139810656344368 139811118336642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28147712 140733846679955 140733846680139 140733846680139 140733846683599 0
Current children cumulated CPU time (s) 245.62
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 18531 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.04
CPU time (s): 245.677
CPU user time (s): 244.754
CPU system time (s): 0.922472
CPU usage (%): 102.348
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.754
system time used= 0.922472
maximum resident set size= 3475008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68839
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= 8700
involuntary context switches= 255

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21522 second user time and 1.36183 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml
MD5SUM	3de3ac871f1e1c584be6c245f66daf9e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	491
Best CPU time to get the best result obtained on this benchmark	251.978
Satisfiable
(Un)Satisfiability was proved
Number of variables	2347
Number of constraints	1352
Number of domains	4
Minimum domain size	2
Maximum domain size	2313
Distribution of domain sizes	[{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}]
Minimum variable degree	1
Maximum variable degree	35
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	36
Distribution of constraint arities	[{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}]
Number of extensional constraints	1152
Number of intensional constraints	161
Distribution of constraint types	[{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4256336

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