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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-07-26	SAT (TO)	351	20017.1	2520.1499

0.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 240702086
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 11000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
2.11/0.86	c Parsing done, starting search...
35.09/8.32	o 268
35.09/8.32	o 269
35.09/8.34	o 270
35.88/8.41	o 271
37.46/8.60	o 273
37.46/8.60	o 274
37.46/8.61	o 275
37.46/8.66	o 276
39.05/8.83	o 277
39.05/8.84	o 278
39.84/8.92	o 279
39.84/8.92	o 280
39.84/8.93	o 281
39.84/8.96	o 282
39.84/8.97	o 283
39.84/8.98	o 284
40.70/9.01	o 285
40.70/9.04	o 291
40.70/9.05	o 292
40.70/9.06	o 293
40.70/9.07	o 294
62.83/11.82	o 313
62.83/11.83	o 314
62.83/11.83	o 315
62.83/11.89	o 317
62.83/11.89	o 318
63.65/11.97	o 319
63.65/11.98	o 320
63.65/11.98	o 321
64.49/12.07	o 322
64.49/12.09	o 323
64.49/12.10	o 324
65.99/12.21	o 327
65.99/12.22	o 328
65.99/12.22	o 329
80.35/14.11	o 330
81.20/14.12	o 331
82.68/14.37	o 332
100.98/16.68	o 333
127.27/19.96	o 334
205.35/29.76	o 335
300.96/41.77	o 336
320.19/44.18	o 337
324.85/44.72	o 338
367.95/50.13	o 339
367.95/50.18	o 340
368.70/50.26	o 341
368.70/50.27	o 342
2080.88/265.23	o 343
2080.88/265.25	o 344
3463.33/438.70	o 345
3463.33/438.71	o 346
7683.78/968.81	o 347
8037.11/1013.26	o 348
8037.11/1013.27	o 349
13970.93/1759.43	o 350
13970.93/1759.44	o 351
20016.32/2520.09	s SATISFIABLE
20016.32/2520.10	v <instantiation>
20016.32/2520.10	v 	<list>
20016.32/2520.10	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
20016.32/2520.10	v 	</list>
20016.32/2520.10	v 	<values>
20016.32/2520.10	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 1 1 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 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 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 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 1 1 0 1 2 1 0 1 0 0 1 1 1 1 0 1 1 1 0 1 2 2 1 2 2 2 2 2 2 1 0 2 1 1 1 0 0 1 0 1 0 0 1 1 1 2 1 0 1 1 2 0 0 1 1 0 1 1 2 2 1 2 1 2 0 0 0 1 1 0 1 0 1 0 1 0 0 2 2 0 1 0 0 1 1 1 0 0 1 0 0 1 2 1 1 0 1 0 2 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 2 1 0 0 0 1 1 2 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 2 1 1 1 0 0 1 1 0 1 0 0 0 2 1 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 2 2 1 0 1 1 0 0 0 0 0 1 0 1 1 2 1 1 0 0 0 0 1 0 1 2 1 0 0 0 1 1 0 1 1 2 2 1 1 2 0 0 0 1 0 0 1 0 1 2 2 0 1 0 0 0 0 0 1 0 2 0 0 1 1 0 0 0 1 0 2 1 2 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 2 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 2 1 0 0 1 0 0 0 0 1 0 2 0 2 2 2 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 2 1 1 1 0 0 0 0 0 0 2 0 2 2 2 1 1 0 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 2 2 2 2 2 1 1 2 2 2 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 2 2 2 2 2 2 1 2 2 2 2 2 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 2 2 2 2 0 1 0 2 1 1 1 1 0 0 1 0 0 2 0 0 2 1 0 1 0 0 1 0 0 0 1 1 1 2 2 2 2 1 1 2 0 0 0 0 0 0 1 1 1 1 0 0 0 2 2 1 1 0 0 1 0 1 0 0 1 2 2 2 2 2 2 2 0 0 0 0 0 2 0 0 0 1 1 1 1 0 1 1 2 2 1 1 1 1 1 1 0 0 2 2 2 1 1 2 2 2 2 1 1 2 0 0 0 0 1 0 0 0 0 0 0 0 1 2 1 1 1 0 1 0 1 1 0 2 0 1 1 0 2 1 1 2 2 2 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 1 0 0 1 1 1 2 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 2 1 1 2 0 0 1 0 0 0 0 1 1 1 2 1 2 1 1 2 0 0 0 0 1 1 1 2 1 1 0 1 1 2 1 0 1 0 1 0 1 2 1 0 1 1 1 1 0 1 0 2 2 2 0 0 0 0 0 2 2 1 2 0 0 0 1 1 1 0 0 2 1 1 2 1 1 1 0 0 1 0 0 2 0 0 2 0 1 0 0 0 1 1 0 1 0 2 0 1 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 2 0 2 1 0 1 0 0 0 1 2 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 2 2 1 2 0 0 1 1 0 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 1 1 2 1 1 2 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 2 0 1 1 0 2 0 1 0 0 0 0 0 0 0 0 1 1 0 2 0 0 1 0 0 2 0 1 0 0 1 2 1 2 1 1 0 0 1 1 2 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 2 2 0 0 0 0 0 2 2 2 2 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 0 1 0 1 0 1 2 1 1 0 0 0 1 1 2 2 2 2 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 27 71 105 133 153 170 186 205 229 249 264 279 299 319 345 376 401 427 459 489 510 525 543 574 602 619 637 657 672 686 711 733 755 772 351 
20016.32/2520.10	v 	</values>
20016.32/2520.10	v </instantiation>

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275215-1502671734/watcher-4275215-1502671734 -o /tmp/evaluation-result-4275215-1502671734/solver-4275215-1502671734 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502668353-3723 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 240702086 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275215-1502671734.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=3920, runsolver pid=3917

[startup+0.100137 s]*
/proc/loadavg: 7.86 8.58 8.72 2/200 3940
/proc/meminfo: memFree=31509260/32770624 swapFree=67108860/67108860
[pid=3920] ppid=3917 vsize=14325320 memory=33188 CPUtime=0.13 cores=0-7
/proc/3920/stat : 3920 (java) S 3917 3920 3696 0 -1 1077944320 8199 0 0 0 11 2 0 0 20 0 20 0 100261040 14669127680 8297 33554432000 4194304 4196468 140732711611136 140732711593680 140429432078071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
/proc/3920/statm: 3581330 8297 3411 1 0 3569050 0
[pid=3920/tid=3922] ppid=3917 vsize=14325320 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/3920/task/3922/stat : 3922 (java) R 3917 3920 3696 0 -1 4202560 6135 0 0 0 8 1 0 0 20 0 20 0 100261041 14669127680 8297 33554432000 4194304 4196468 140732711611136 140429436294768 140429432099997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3923] ppid=3917 vsize=14325320 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3920/task/3923/stat : 3923 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 8297 33554432000 4194304 4196468 140732711611136 140429393038480 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3924] ppid=3917 vsize=14325320 memory=140336895035008 CPUtime=0 cores=0-7
/proc/3920/task/3924/stat : 3924 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 8297 33554432000 4194304 4196468 140732711611136 140429026896912 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3925] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3925/stat : 3925 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 8297 33554432000 4194304 4196468 140732711611136 140429025844112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3926] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3926/stat : 3926 (java) S 3917 3920 3696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 8297 33554432000 4194304 4196468 140732711611136 140429024791312 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3927] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3927/stat : 3927 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 8297 33554432000 4194304 4196468 140732711611136 140429023738512 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3928] ppid=3917 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/3920/task/3928/stat : 3928 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 8297 33554432000 4194304 4196468 140732711611136 140429022685712 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3929] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3929/stat : 3929 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 8297 33554432000 4194304 4196468 140732711611136 140429021632912 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3930] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3930/stat : 3930 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 8297 33554432000 4194304 4196468 140732711611136 140429020580112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3931] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3931/stat : 3931 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261043 14669127680 8297 33554432000 4194304 4196468 140732711611136 140428596996976 140429432089218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3932] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3932/stat : 3932 (java) S 3917 3920 3696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100261043 14669127680 8297 33554432000 4194304 4196468 140732711611136 140428595942944 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3933] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3933/stat : 3933 (java) S 3917 3920 3696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100261043 14669127680 8297 33554432000 4194304 4196468 140732711611136 140428594890096 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3934] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3934/stat : 3934 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261046 14669127680 8297 33554432000 4194304 4196468 140732711611136 140428593838416 140429432096667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3935] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3935/stat : 3935 (java) S 3917 3920 3696 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 100261046 14669127680 8297 33554432000 4194304 4196468 140732711611136 140428592785776 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3936] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3936/stat : 3936 (java) S 3917 3920 3696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100261046 14669127680 8297 33554432000 4194304 4196468 140732711611136 140428591732976 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3937] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3937/stat : 3937 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261046 14669127680 8297 33554432000 4194304 4196468 140732711611136 140428590680176 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3938] ppid=3917 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/3920/task/3938/stat : 3938 (java) S 3917 3920 3696 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 20 0 100261046 14669127680 8297 33554432000 4194304 4196468 140732711611136 140428589627376 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3939] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3939/stat : 3939 (java) S 3917 3920 3696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100261046 14669127680 8297 33554432000 4194304 4196468 140732711611136 140428588575840 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3940] ppid=3917 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/3920/task/3940/stat : 3940 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261046 14669127680 8297 33554432000 4194304 4196468 140732711611136 140428587523120 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33188 KiB

[startup+0.210637 s]*
/proc/loadavg: 7.86 8.58 8.72 3/200 3940
/proc/meminfo: memFree=31500364/32770624 swapFree=67108860/67108860
[pid=3920] ppid=3917 vsize=14325320 memory=42260 CPUtime=0.29 cores=0-7
/proc/3920/stat : 3920 (java) S 3917 3920 3696 0 -1 1077944320 9275 0 0 0 27 2 0 0 20 0 20 0 100261040 14669127680 10565 33554432000 4194304 4196468 140732711611136 140732711593680 140429432078071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
/proc/3920/statm: 3581330 10565 3574 1 0 3569050 0
[pid=3920/tid=3922] ppid=3917 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/3920/task/3922/stat : 3922 (java) R 3917 3920 3696 0 -1 4202560 6815 0 0 0 18 1 0 0 20 0 20 0 100261041 14669127680 10565 33554432000 4194304 4196468 140732711611136 140429436303152 140429416158558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3923] ppid=3917 vsize=14325320 memory=3352 CPUtime=0 cores=0-7
/proc/3920/task/3923/stat : 3923 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 10565 33554432000 4194304 4196468 140732711611136 140429393038480 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3924] ppid=3917 vsize=14325320 memory=140336895039100 CPUtime=0 cores=0-7
/proc/3920/task/3924/stat : 3924 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 10565 33554432000 4194304 4196468 140732711611136 140429026896912 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3925] ppid=3917 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/3920/task/3925/stat : 3925 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 10565 33554432000 4194304 4196468 140732711611136 140429025844112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3926] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3926/stat : 3926 (java) S 3917 3920 3696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 10565 33554432000 4194304 4196468 140732711611136 140429024791312 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3927] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3927/stat : 3927 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 10565 33554432000 4194304 4196468 140732711611136 140429023738512 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3928] ppid=3917 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/3920/task/3928/stat : 3928 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 10565 33554432000 4194304 4196468 140732711611136 140429022685712 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3929] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3929/stat : 3929 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 10565 33554432000 4194304 4196468 140732711611136 140429021632912 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3930] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3930/stat : 3930 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669127680 10565 33554432000 4194304 4196468 140732711611136 140429020580112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3931] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3931/stat : 3931 (java) S 3917 3920 3696 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100261043 14669127680 10565 33554432000 4194304 4196468 140732711611136 140428596996976 140429432089218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3932] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3932/stat : 3932 (java) S 3917 3920 3696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100261043 14669127680 10565 33554432000 4194304 4196468 140732711611136 140428595942944 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3933] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3933/stat : 3933 (java) S 3917 3920 3696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100261043 14669127680 10565 33554432000 4194304 4196468 140732711611136 140428594890096 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3934] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3934/stat : 3934 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261046 14669127680 10565 33554432000 4194304 4196468 140732711611136 140428593838416 140429432096667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3935] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3935/stat : 3935 (java) S 3917 3920 3696 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 100261046 14669127680 10565 33554432000 4194304 4196468 140732711611136 140428592785776 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3936] ppid=3917 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/3920/task/3936/stat : 3936 (java) S 3917 3920 3696 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 20 0 100261046 14669127680 10565 33554432000 4194304 4196468 140732711611136 140428591732976 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3937] ppid=3917 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/3920/task/3937/stat : 3937 (java) S 3917 3920 3696 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 100261046 14669127680 10565 33554432000 4194304 4196468 140732711611136 140428590680176 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3938] ppid=3917 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/3920/task/3938/stat : 3938 (java) R 3917 3920 3696 0 -1 4202560 446 0 0 0 5 0 0 0 20 0 20 0 100261046 14669127680 10565 33554432000 4194304 4196468 140732711611136 140428589627376 140429416259941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3939] ppid=3917 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3939/stat : 3939 (java) S 3917 3920 3696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100261046 14669127680 10565 33554432000 4194304 4196468 140732711611136 140428588575840 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3940] ppid=3917 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/3920/task/3940/stat : 3940 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261046 14669127680 10565 33554432000 4194304 4196468 140732711611136 140428587523120 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42260 KiB

[startup+0.310361 s]*
/proc/loadavg: 7.86 8.58 8.72 2/200 3940
/proc/meminfo: memFree=31493044/32770624 swapFree=67108860/67108860
[pid=3920] ppid=3917 vsize=14325340 memory=51112 CPUtime=0.48 cores=0-7
/proc/3920/stat : 3920 (java) S 3917 3920 3696 0 -1 1077944320 10463 0 0 0 45 3 0 0 20 0 20 0 100261040 14669148160 12778 33554432000 4194304 4196468 140732711611136 140732711593680 140429432078071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
/proc/3920/statm: 3581335 12778 3720 1 0 3569050 0
[pid=3920/tid=3922] ppid=3917 vsize=14325340 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/3920/task/3922/stat : 3922 (java) R 3917 3920 3696 0 -1 4202560 7583 0 0 0 27 2 0 0 20 0 20 0 100261041 14669148160 12778 33554432000 4194304 4196468 140732711611136 140429436306784 140429068480929 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3923] ppid=3917 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3923/stat : 3923 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669148160 12778 33554432000 4194304 4196468 140732711611136 140429393038480 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3924] ppid=3917 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3924/stat : 3924 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14669148160 12778 33554432000 4194304 4196468 140732711611136 140429026896912 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3925] ppid=3917 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3925/stat : 3925 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14669148160 12778 33554432000 4194304 4196468 140732711611136 140429025844112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3926] ppid=3917 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3926/stat : 3926 (java) S 3917 3920 3696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100261041 14669148160 12778 33554432000 4194304 4196468 140732711611136 140429024791312 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3927] ppid=3917 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/3920/task/3927/stat : 3927 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669148160 12778 33554432000 4194304 4196468 140732711611136 140429023738512 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3928] ppid=3917 vsize=14325340 memory=140336781423535 CPUtime=0 cores=0-7
/proc/3920/task/3928/stat : 3928 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669148160 12778 33554432000 4194304 4196468 140732711611136 140429022685712 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3929] ppid=3917 vsize=14325340 memory=140336781425840 CPUtime=0 cores=0-7
/proc/3920/task/3929/stat : 3929 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14669148160 12778 33554432000 4194304 4196468 140732711611136 140429021632912 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3930] ppid=3917 vsize=14325340 memory=140336781428144 CPUtime=0 cores=0-7
/proc/3920/task/3930/stat : 3930 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14669148160 12778 33554432000 4194304 4196468 140732711611136 140429020580112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3931] ppid=3917 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3931/stat : 3931 (java) S 3917 3920 3696 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100261043 14669148160 12778 33554432000 4194304 4196468 140732711611136 140428596996976 140429432089218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3932] ppid=3917 vsize=14325340 memory=280673562863248 CPUtime=0 cores=0-7
/proc/3920/task/3932/stat : 3932 (java) S 3917 3920 3696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100261043 14669148160 12778 33554432000 4194304 4196468 140732711611136 140428595942944 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3933] ppid=3917 vsize=14325340 memory=280673562870160 CPUtime=0 cores=0-7
/proc/3920/task/3933/stat : 3933 (java) S 3917 3920 3696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100261043 14669148160 12778 33554432000 4194304 4196468 140732711611136 140428594890096 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3934] ppid=3917 vsize=14325340 memory=280673562811440 CPUtime=0 cores=0-7
/proc/3920/task/3934/stat : 3934 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261046 14669148160 12778 33554432000 4194304 4196468 140732711611136 140428593838416 140429432096667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3935] ppid=3917 vsize=14325340 memory=280673562883984 CPUtime=0.01 cores=0-7
/proc/3920/task/3935/stat : 3935 (java) S 3917 3920 3696 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 100261046 14669148160 12778 33554432000 4194304 4196468 140732711611136 140428592785776 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3936] ppid=3917 vsize=14325340 memory=280673562890896 CPUtime=0.04 cores=0-7
/proc/3920/task/3936/stat : 3936 (java) S 3917 3920 3696 0 -1 1077944384 281 0 0 0 4 0 0 0 20 0 20 0 100261046 14669148160 12778 33554432000 4194304 4196468 140732711611136 140428591732976 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3937] ppid=3917 vsize=14325340 memory=280673562888592 CPUtime=0.03 cores=0-7
/proc/3920/task/3937/stat : 3937 (java) S 3917 3920 3696 0 -1 1077944384 412 0 0 0 3 0 0 0 20 0 20 0 100261046 14669148160 12778 33554432000 4194304 4196468 140732711611136 140428590680176 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3938] ppid=3917 vsize=14325340 memory=280673562905200 CPUtime=0.08 cores=0-7
/proc/3920/task/3938/stat : 3938 (java) S 3917 3920 3696 0 -1 1077944384 474 0 0 0 8 0 0 0 20 0 20 0 100261046 14669148160 12778 33554432000 4194304 4196468 140732711611136 140428589627376 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3939] ppid=3917 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3939/stat : 3939 (java) S 3917 3920 3696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100261046 14669148160 12778 33554432000 4194304 4196468 140732711611136 140428588575840 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3940] ppid=3917 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/3920/task/3940/stat : 3940 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261046 14669148160 12778 33554432000 4194304 4196468 140732711611136 140428587523120 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51112 KiB

[startup+0.700902 s]
/proc/loadavg: 7.86 8.58 8.72 3/200 3940
/proc/meminfo: memFree=31475512/32770624 swapFree=67108860/67108860
[pid=3920] ppid=3917 vsize=14327388 memory=93412 CPUtime=1.65 cores=0-7
/proc/3920/stat : 3920 (java) S 3917 3920 3696 0 -1 1077944320 14496 0 0 0 159 6 0 0 20 0 20 0 100261040 14671245312 23353 33554432000 4194304 4196468 140732711611136 140732711593680 140429432078071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
/proc/3920/statm: 3581847 23353 3779 1 0 3569562 0
[pid=3920/tid=3922] ppid=3917 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/3920/task/3922/stat : 3922 (java) R 3917 3920 3696 0 -1 4202560 8511 0 0 0 64 3 0 0 20 0 20 0 100261041 14671245312 23353 33554432000 4194304 4196468 140732711611136 140429436301696 140429416158558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3923] ppid=3917 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3923/stat : 3923 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14671245312 23353 33554432000 4194304 4196468 140732711611136 140429393038480 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3924] ppid=3917 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3924/stat : 3924 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14671245312 23353 33554432000 4194304 4196468 140732711611136 140429026896912 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3925] ppid=3917 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3925/stat : 3925 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14671245312 23353 33554432000 4194304 4196468 140732711611136 140429025844112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3926] ppid=3917 vsize=14327388 memory=1712 CPUtime=0 cores=0-7
/proc/3920/task/3926/stat : 3926 (java) S 3917 3920 3696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100261041 14671245312 23417 33554432000 4194304 4196468 140732711611136 140429024791312 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3927] ppid=3917 vsize=14327388 memory=4612 CPUtime=0 cores=0-7
/proc/3920/task/3927/stat : 3927 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14671245312 23417 33554432000 4194304 4196468 140732711611136 140429023738512 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3928] ppid=3917 vsize=14327388 memory=1004 CPUtime=0 cores=0-7
/proc/3920/task/3928/stat : 3928 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14671245312 23417 33554432000 4194304 4196468 140732711611136 140429022685712 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3929] ppid=3917 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/3920/task/3929/stat : 3929 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100261041 14671245312 23417 33554432000 4194304 4196468 140732711611136 140429021632912 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3930] ppid=3917 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/3920/task/3930/stat : 3930 (java) S 3917 3920 3696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100261041 14671245312 23417 33554432000 4194304 4196468 140732711611136 140429020580112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3931] ppid=3917 vsize=14327388 memory=16152 CPUtime=0 cores=0-7
/proc/3920/task/3931/stat : 3931 (java) S 3917 3920 3696 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100261043 14671245312 23417 33554432000 4194304 4196468 140732711611136 140428596996976 140429432089218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0

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

[pid=3920/tid=3950] ppid=3917 vsize=16070376 memory=4153488 CPUtime=2463.11 cores=0-7
/proc/3920/task/3950/stat : 3950 (java) R 3917 3920 3696 0 -1 4202560 103211 0 0 0 246143 168 0 0 20 0 46 0 100261533 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428227795800 140429073397265 0 4 0 16800975 0 0 0 -1 2 0 0 36 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3951] ppid=3917 vsize=16070376 memory=4158620 CPUtime=2466.33 cores=0-7
/proc/3920/task/3951/stat : 3951 (java) R 3917 3920 3696 0 -1 4202560 93403 0 0 0 246474 159 0 0 20 0 46 0 100261533 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428226743912 140429069408544 0 4 0 16800975 0 0 0 -1 1 0 0 41 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3952] ppid=3917 vsize=16070376 memory=920 CPUtime=0 cores=0-7
/proc/3920/task/3952/stat : 3952 (java) S 3917 3920 3696 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 46 0 100261666 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428225696896 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3953] ppid=3917 vsize=16070376 memory=4176 CPUtime=2461.54 cores=0-7
/proc/3920/task/3953/stat : 3953 (java) R 3917 3920 3696 0 -1 4202560 102851 0 0 0 246014 140 0 0 20 0 46 0 100261666 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428224637288 140429073625510 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3954] ppid=3917 vsize=16070376 memory=1152 CPUtime=2468.13 cores=0-7
/proc/3920/task/3954/stat : 3954 (java) R 3917 3920 3696 0 -1 4202560 98669 0 0 0 246639 174 0 0 20 0 46 0 100261667 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428223587088 140429071447034 0 4 0 16800975 0 0 0 -1 3 0 0 32 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3955] ppid=3917 vsize=16070376 memory=4556 CPUtime=0 cores=0-7
/proc/3920/task/3955/stat : 3955 (java) S 3917 3920 3696 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 46 0 100261667 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428222539520 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3956] ppid=3917 vsize=16070376 memory=4155540 CPUtime=0 cores=0-7
/proc/3920/task/3956/stat : 3956 (java) S 3917 3920 3696 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 46 0 100261667 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428221486720 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3957] ppid=3917 vsize=16070376 memory=4096 CPUtime=0 cores=0-7
/proc/3920/task/3957/stat : 3957 (java) S 3917 3920 3696 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 46 0 100261667 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428220433712 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3958] ppid=3917 vsize=16070376 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3920/task/3958/stat : 3958 (java) S 3917 3920 3696 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 46 0 100261667 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428219381120 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3959] ppid=3917 vsize=16070376 memory=4157592 CPUtime=0 cores=0-7
/proc/3920/task/3959/stat : 3959 (java) S 3917 3920 3696 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 46 0 100261873 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428216194304 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3960] ppid=3917 vsize=16070376 memory=4100 CPUtime=0 cores=0-7
/proc/3920/task/3960/stat : 3960 (java) S 3917 3920 3696 0 -1 1077944384 908 0 0 0 0 0 0 0 20 0 46 0 100261874 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428215141504 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3961] ppid=3917 vsize=16070376 memory=28752 CPUtime=0 cores=0-7
/proc/3920/task/3961/stat : 3961 (java) S 3917 3920 3696 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 46 0 100261876 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428214088704 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3962] ppid=3917 vsize=16070376 memory=1292 CPUtime=0 cores=0-7
/proc/3920/task/3962/stat : 3962 (java) S 3917 3920 3696 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 46 0 100261877 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428213035904 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3963] ppid=3917 vsize=16070376 memory=2448 CPUtime=0 cores=0-7
/proc/3920/task/3963/stat : 3963 (java) S 3917 3920 3696 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 46 0 100261879 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428211984128 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3964] ppid=3917 vsize=16070376 memory=4155028 CPUtime=0 cores=0-7
/proc/3920/task/3964/stat : 3964 (java) S 3917 3920 3696 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 46 0 100261881 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428210931328 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3965] ppid=3917 vsize=16070376 memory=0 CPUtime=0 cores=0-7
/proc/3920/task/3965/stat : 3965 (java) S 3917 3920 3696 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 46 0 100261883 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428209878528 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3966] ppid=3917 vsize=16070376 memory=280673564933472 CPUtime=0 cores=0-7
/proc/3920/task/3966/stat : 3966 (java) S 3917 3920 3696 0 -1 1077944384 682 0 0 0 0 0 0 0 20 0 46 0 100261884 16456065024 1037987 33554432000 4194304 4196468 140732711611136 140428208825728 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
Current children cumulated CPU time: 19875.5 s
Current children cumulated vsize: 16070376 KiB
Current children cumulated memory: 4151948 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.32 8.49 8.66 10/225 4021
/proc/meminfo: memFree=27382168/32770624 swapFree=67108860/67108860
[pid=3920] ppid=3917 vsize=16070376 memory=4146816 CPUtime=20016.3 cores=0-7
/proc/3920/stat : 3920 (java) S 3917 3920 3696 0 -1 1077944320 1883345 0 0 0 1999746 1886 0 0 20 0 46 0 100261040 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140732711593680 140429432078071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
/proc/3920/statm: 4017594 1036704 3874 1 0 4004788 0
[pid=3920/tid=3922] ppid=3917 vsize=16070376 memory=7668954370464627011 CPUtime=4.72 cores=0-7
/proc/3920/task/3922/stat : 3922 (java) S 3917 3920 3696 0 -1 1077944384 15987 0 0 0 453 19 0 0 20 0 46 0 100261041 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140429436315776 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3923] ppid=3917 vsize=16070376 memory=4872558044660077418 CPUtime=14.72 cores=0-7
/proc/3920/task/3923/stat : 3923 (java) S 3917 3920 3696 0 -1 1077944384 103070 0 0 0 1413 59 0 0 20 0 46 0 100261041 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140429393038480 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3924] ppid=3917 vsize=16070376 memory=1224 CPUtime=14.66 cores=0-7
/proc/3920/task/3924/stat : 3924 (java) S 3917 3920 3696 0 -1 1077944384 101076 0 0 0 1404 62 0 0 20 0 46 0 100261041 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140429026896912 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3925] ppid=3917 vsize=16070376 memory=8560 CPUtime=14.7 cores=0-7
/proc/3920/task/3925/stat : 3925 (java) S 3917 3920 3696 0 -1 1077944384 107293 0 0 0 1405 65 0 0 20 0 46 0 100261041 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140429025844112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3926] ppid=3917 vsize=16070376 memory=1712 CPUtime=14.64 cores=0-7
/proc/3920/task/3926/stat : 3926 (java) S 3917 3920 3696 0 -1 1077944384 107719 0 0 0 1404 60 0 0 20 0 46 0 100261041 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140429024791312 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3927] ppid=3917 vsize=16070376 memory=4612 CPUtime=14.71 cores=0-7
/proc/3920/task/3927/stat : 3927 (java) S 3917 3920 3696 0 -1 1077944384 108430 0 0 0 1408 63 0 0 20 0 46 0 100261041 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140429023738512 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3928] ppid=3917 vsize=16070376 memory=1004 CPUtime=14.7 cores=0-7
/proc/3920/task/3928/stat : 3928 (java) S 3917 3920 3696 0 -1 1077944384 111434 0 0 0 1408 62 0 0 20 0 46 0 100261041 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140429022685712 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3929] ppid=3917 vsize=16070376 memory=1200 CPUtime=14.64 cores=0-7
/proc/3920/task/3929/stat : 3929 (java) S 3917 3920 3696 0 -1 1077944384 110592 0 0 0 1405 59 0 0 20 0 46 0 100261041 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140429021632912 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3930] ppid=3917 vsize=16070376 memory=15872 CPUtime=14.71 cores=0-7
/proc/3920/task/3930/stat : 3930 (java) S 3917 3920 3696 0 -1 1077944384 114057 0 0 0 1406 65 0 0 20 0 46 0 100261041 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140429020580112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3931] ppid=3917 vsize=16070376 memory=16180 CPUtime=2.76 cores=0-7
/proc/3920/task/3931/stat : 3931 (java) S 3917 3920 3696 0 -1 1077944384 101611 0 0 0 237 39 0 0 20 0 46 0 100261043 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428596996976 140429432089218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3932] ppid=3917 vsize=16070376 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3920/task/3932/stat : 3932 (java) S 3917 3920 3696 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 100261043 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428595943008 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3933] ppid=3917 vsize=16070376 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/3920/task/3933/stat : 3933 (java) S 3917 3920 3696 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 46 0 100261043 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428594890112 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3934] ppid=3917 vsize=16070376 memory=14972256832981250 CPUtime=0 cores=0-7
/proc/3920/task/3934/stat : 3934 (java) S 3917 3920 3696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 100261046 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428593838416 140429432096667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3935] ppid=3917 vsize=16070376 memory=960 CPUtime=1.73 cores=0-7
/proc/3920/task/3935/stat : 3935 (java) S 3917 3920 3696 0 -1 1077944384 8694 0 0 0 171 2 0 0 20 0 46 0 100261046 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428592785776 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3936] ppid=3917 vsize=16070376 memory=4388 CPUtime=2.07 cores=0-7
/proc/3920/task/3936/stat : 3936 (java) S 3917 3920 3696 0 -1 1077944384 10688 0 0 0 205 2 0 0 20 0 46 0 100261046 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428591732976 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3937] ppid=3917 vsize=16070376 memory=1236 CPUtime=2.39 cores=0-7
/proc/3920/task/3937/stat : 3937 (java) S 3917 3920 3696 0 -1 1077944384 12422 0 0 0 237 2 0 0 20 0 46 0 100261046 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428590680176 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3938] ppid=3917 vsize=16070376 memory=932 CPUtime=1.26 cores=0-7
/proc/3920/task/3938/stat : 3938 (java) S 3917 3920 3696 0 -1 1077944384 24395 0 0 0 123 3 0 0 20 0 46 0 100261046 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428589627376 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3939] ppid=3917 vsize=16070376 memory=1568 CPUtime=0 cores=0-7
/proc/3920/task/3939/stat : 3939 (java) S 3917 3920 3696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 100261046 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428588575840 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3940] ppid=3917 vsize=16070376 memory=16236 CPUtime=1.09 cores=0-7
/proc/3920/task/3940/stat : 3940 (java) S 3917 3920 3696 0 -1 1077944384 5432 0 0 0 56 53 0 0 20 0 46 0 100261046 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428587523120 140429432089218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3941] ppid=3917 vsize=16070376 memory=1796 CPUtime=0 cores=0-7
/proc/3920/task/3941/stat : 3941 (java) S 3917 3920 3696 0 -1 1077944384 898 0 0 0 0 0 0 0 20 0 46 0 100261509 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428239373472 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3942] ppid=3917 vsize=16070376 memory=644 CPUtime=5.55 cores=0-7
/proc/3920/task/3942/stat : 3942 (java) R 3917 3920 3696 0 -1 1077944384 14775 0 0 0 294 261 0 0 20 0 46 0 100261521 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428238320928 140429432089218 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3943] ppid=3917 vsize=16070376 memory=960 CPUtime=0.68 cores=0-7
/proc/3920/task/3943/stat : 3943 (java) S 3917 3920 3696 0 -1 1077944384 471 0 0 0 66 2 0 0 20 0 46 0 100261530 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428235171072 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3944] ppid=3917 vsize=16070376 memory=4388 CPUtime=2485.86 cores=0-7
/proc/3920/task/3944/stat : 3944 (java) R 3917 3920 3696 0 -1 4202560 100774 0 0 0 248416 170 0 0 20 0 46 0 100261530 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428234112080 140429073625333 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3945] ppid=3917 vsize=16070376 memory=288230574492221466 CPUtime=0.7 cores=0-7
/proc/3920/task/3945/stat : 3945 (java) S 3917 3920 3696 0 -1 1077944384 410 0 0 0 65 5 0 0 20 0 46 0 100261531 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428233065376 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3946] ppid=3917 vsize=16070376 memory=288230617509003574 CPUtime=0.68 cores=0-7
/proc/3920/task/3946/stat : 3946 (java) S 3917 3920 3696 0 -1 1077944384 393 0 0 0 64 4 0 0 20 0 46 0 100261533 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428232012672 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3947] ppid=3917 vsize=16070376 memory=14972256832981250 CPUtime=2489.14 cores=0-7
/proc/3920/task/3947/stat : 3947 (java) R 3917 3920 3696 0 -1 4202560 108146 0 0 0 248749 165 0 0 20 0 46 0 100261533 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428230956800 140429071446504 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3948] ppid=3917 vsize=16070376 memory=6764 CPUtime=2485.28 cores=0-7
/proc/3920/task/3948/stat : 3948 (java) R 3917 3920 3696 0 -1 4202560 103302 0 0 0 248337 191 0 0 20 0 46 0 100261533 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428229904624 140429078347983 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3949] ppid=3917 vsize=16070376 memory=840 CPUtime=2485.79 cores=0-7
/proc/3920/task/3949/stat : 3949 (java) R 3917 3920 3696 0 -1 4202560 108606 0 0 0 248437 142 0 0 20 0 46 0 100261533 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428228849352 140429072498080 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3950] ppid=3917 vsize=16070376 memory=1696 CPUtime=2480.47 cores=0-7
/proc/3920/task/3950/stat : 3950 (java) R 3917 3920 3696 0 -1 4202560 103249 0 0 0 247879 168 0 0 20 0 46 0 100261533 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428227795688 140429078348038 0 4 0 16800975 0 0 0 -1 1 0 0 36 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3951] ppid=3917 vsize=16070376 memory=920 CPUtime=2483.75 cores=0-7
/proc/3920/task/3951/stat : 3951 (java) R 3917 3920 3696 0 -1 4202560 93479 0 0 0 248215 160 0 0 20 0 46 0 100261533 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428226743288 140429078348094 0 4 0 16800975 0 0 0 -1 5 0 0 41 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3952] ppid=3917 vsize=16070376 memory=4388 CPUtime=0 cores=0-7
/proc/3920/task/3952/stat : 3952 (java) S 3917 3920 3696 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 46 0 100261666 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428225696896 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3953] ppid=3917 vsize=16070376 memory=1236 CPUtime=2478.99 cores=0-7
/proc/3920/task/3953/stat : 3953 (java) R 3917 3920 3696 0 -1 4202560 103024 0 0 0 247759 140 0 0 20 0 46 0 100261666 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428224637152 140429078347494 0 4 0 16800975 0 0 0 -1 2 0 0 31 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3954] ppid=3917 vsize=16070376 memory=932 CPUtime=2485.61 cores=0-7
/proc/3920/task/3954/stat : 3954 (java) R 3917 3920 3696 0 -1 4202560 98735 0 0 0 248387 174 0 0 20 0 46 0 100261667 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428223584792 140429077352928 0 4 0 16800975 0 0 0 -1 3 0 0 32 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3955] ppid=3917 vsize=16070376 memory=1568 CPUtime=0 cores=0-7
/proc/3920/task/3955/stat : 3955 (java) S 3917 3920 3696 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 46 0 100261667 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428222539520 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3956] ppid=3917 vsize=16070376 memory=2240 CPUtime=0 cores=0-7
/proc/3920/task/3956/stat : 3956 (java) S 3917 3920 3696 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 46 0 100261667 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428221486720 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3957] ppid=3917 vsize=16070376 memory=4124 CPUtime=0 cores=0-7
/proc/3920/task/3957/stat : 3957 (java) S 3917 3920 3696 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 46 0 100261667 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428220433712 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3958] ppid=3917 vsize=16070376 memory=2196 CPUtime=0 cores=0-7
/proc/3920/task/3958/stat : 3958 (java) S 3917 3920 3696 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 46 0 100261667 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428219381120 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3959] ppid=3917 vsize=16070376 memory=4052 CPUtime=0 cores=0-7
/proc/3920/task/3959/stat : 3959 (java) S 3917 3920 3696 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 46 0 100261873 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428216194304 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3960] ppid=3917 vsize=16070376 memory=16236 CPUtime=0 cores=0-7
/proc/3920/task/3960/stat : 3960 (java) S 3917 3920 3696 0 -1 1077944384 908 0 0 0 0 0 0 0 20 0 46 0 100261874 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428215141504 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3961] ppid=3917 vsize=16070376 memory=1796 CPUtime=0 cores=0-7
/proc/3920/task/3961/stat : 3961 (java) S 3917 3920 3696 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 46 0 100261876 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428214088704 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3962] ppid=3917 vsize=16070376 memory=644 CPUtime=0 cores=0-7
/proc/3920/task/3962/stat : 3962 (java) S 3917 3920 3696 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 46 0 100261877 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428213035904 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3963] ppid=3917 vsize=16070376 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3920/task/3963/stat : 3963 (java) S 3917 3920 3696 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 46 0 100261879 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428211984128 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3964] ppid=3917 vsize=16070376 memory=4388 CPUtime=0 cores=0-7
/proc/3920/task/3964/stat : 3964 (java) S 3917 3920 3696 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 46 0 100261881 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428210931328 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3965] ppid=3917 vsize=16070376 memory=1236 CPUtime=0 cores=0-7
/proc/3920/task/3965/stat : 3965 (java) S 3917 3920 3696 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 46 0 100261883 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428209878528 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
[pid=3920/tid=3966] ppid=3917 vsize=16070376 memory=932 CPUtime=0 cores=0-7
/proc/3920/task/3966/stat : 3966 (java) S 3917 3920 3696 0 -1 1077944384 682 0 0 0 0 0 0 0 20 0 46 0 100261884 16456065024 1036704 33554432000 4194304 4196468 140732711611136 140428208825728 140429432088277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140732711617634 140732711617819 140732711617819 140732711620559 0
Current children cumulated CPU time: 20016.3 s
Current children cumulated vsize: 16070376 KiB
Current children cumulated memory: 4146816 KiB

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

[startup+2520.15 s]
# the end of solver process 3920 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19998.2 s, system=18.8914 s

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

[startup+2520.12 s]*
/proc/loadavg: 8.32 8.49 8.66 2/181 4023
/proc/meminfo: memFree=27940192/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 20017.1
CPU user time (s): 19998.2
CPU system time (s): 18.8914
CPU usage (%): 794.284
Max. virtual memory (cumulated for all children) (KiB): 16070376
Max. memory (cumulated for all children) (KiB): 4458408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19998.2
system time used= 18.8914
maximum resident set size= 4458408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1885132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 428221
involuntary context switches= 420663


# summary of solver processes directly reported to runsolver:
#   pid: 3920
#   total CPU time (s): 20017.1
#   total CPU user time (s): 19998.2
#   total CPU system time (s): 18.8914

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.6373 second user time and 37.486 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	516
Best CPU time to get the best result obtained on this benchmark	2519.78
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 4275215

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