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-08-22	SAT (TO)	351	20000.1	2520.0701

0.30/0.25	c version: 2017-08-22
0.30/0.25	c seed: 1379690870
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 22000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
2.09/0.86	c Parsing done, starting search...
37.53/8.63	o 268
37.53/8.64	o 269
37.53/8.65	o 270
37.53/8.69	o 271
38.39/8.74	o 272
38.39/8.75	o 273
38.39/8.77	o 274
38.39/8.77	o 275
39.84/8.94	o 276
41.52/9.13	o 277
41.52/9.17	o 280
41.52/9.19	o 281
42.24/9.22	o 283
42.24/9.23	o 284
42.24/9.27	o 285
43.07/9.34	o 291
43.07/9.35	o 292
43.07/9.36	o 293
43.07/9.38	o 294
49.44/10.12	o 295
49.44/10.15	o 296
50.16/10.21	o 297
66.10/12.21	o 313
66.10/12.21	o 314
66.10/12.22	o 315
66.10/12.28	o 316
66.10/12.28	o 317
66.10/12.28	o 318
66.96/12.39	o 320
66.96/12.39	o 321
67.69/12.46	o 323
67.69/12.47	o 324
68.47/12.57	o 327
68.47/12.58	o 328
68.47/12.58	o 329
89.27/15.15	o 330
89.99/15.29	o 331
89.99/15.30	o 332
102.74/16.84	o 333
109.10/17.65	o 334
217.38/31.29	o 335
312.36/43.18	o 336
360.78/49.21	o 337
387.08/52.53	o 338
741.69/97.02	o 339
741.69/97.03	o 340
1132.13/146.10	o 341
1132.13/146.11	o 342
1806.32/230.66	o 343
1806.32/230.67	o 344
3602.91/456.07	o 345
3602.91/456.09	o 346
5721.46/721.96	o 347
5731.81/723.29	o 348
5731.81/723.30	o 349
15132.24/1906.65	o 350
15132.24/1906.66	o 351
19999.87/2520.03	s SATISFIABLE
19999.87/2520.03	v <instantiation>
19999.87/2520.03	v 	<list>
19999.87/2520.03	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
19999.87/2520.03	v 	</list>
19999.87/2520.03	v 	<values>
19999.87/2520.03	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 
19999.87/2520.03	v 	</values>
19999.87/2520.03	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 (10881 MiB free)
  memory of node 1: 16384 MiB (12754 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285025-1503412827/watcher-4285025-1503412827 -o /tmp/evaluation-result-4285025-1503412827/solver-4285025-1503412827 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503404400-7641 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1379690870 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285025-1503412827.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
solver pid=8166, runsolver pid=8163
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 8.61 8.58 8.68 2/198 8186
/proc/meminfo: memFree=24183296/32770624 swapFree=67108860/67108860
[pid=8166] ppid=8163 vsize=26000852 memory=33096 CPUtime=0.12 cores=0-7
/proc/8166/stat : 8166 (java) S 8163 8166 7614 0 -1 1077944320 8670 0 0 0 10 2 0 0 20 0 20 0 174370228 26624872448 8274 33554432000 4194304 4196468 140729843375376 140729843357920 140503478689527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
/proc/8166/statm: 6500213 8274 3412 1 0 6487932 0
[pid=8166/tid=8168] ppid=8163 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/8166/task/8168/stat : 8168 (java) R 8163 8166 7614 0 -1 4202560 6619 0 0 0 8 1 0 0 20 0 20 0 174370229 26624872448 8274 33554432000 4194304 4196468 140729843375376 140503482867440 140503462770014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8169] ppid=8163 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8166/task/8169/stat : 8169 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 8274 33554432000 4194304 4196468 140729843375376 140503431309712 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8170] ppid=8163 vsize=26000852 memory=139715216983680 CPUtime=0 cores=0-7
/proc/8166/task/8170/stat : 8170 (java) S 8163 8166 7614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 8274 33554432000 4194304 4196468 140729843375376 140503430256912 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8171] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8171/stat : 8171 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 8274 33554432000 4194304 4196468 140729843375376 140503429204624 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8172] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8172/stat : 8172 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 8274 33554432000 4194304 4196468 140729843375376 140503428151824 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8173] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8173/stat : 8173 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 8274 33554432000 4194304 4196468 140729843375376 140503427099536 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8174] ppid=8163 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8166/task/8174/stat : 8174 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 8274 33554432000 4194304 4196468 140729843375376 140503426046736 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8175] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8175/stat : 8175 (java) S 8163 8166 7614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 8274 33554432000 4194304 4196468 140729843375376 140503424994448 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8176] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8176/stat : 8176 (java) S 8163 8166 7614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 8274 33554432000 4194304 4196468 140729843375376 140503423941648 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8177] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8177/stat : 8177 (java) S 8163 8166 7614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174370231 26624872448 8274 33554432000 4194304 4196468 140729843375376 140501752158320 140503478700674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8178] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8178/stat : 8178 (java) S 8163 8166 7614 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174370232 26624872448 8274 33554432000 4194304 4196468 140729843375376 140501751104288 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8179] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8179/stat : 8179 (java) S 8163 8166 7614 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174370232 26624872448 8274 33554432000 4194304 4196468 140729843375376 140501750051952 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8180] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8180/stat : 8180 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370234 26624872448 8274 33554432000 4194304 4196468 140729843375376 140501749000272 140503478708123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8181] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8181/stat : 8181 (java) S 8163 8166 7614 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 174370234 26624872448 8274 33554432000 4194304 4196468 140729843375376 140501747948144 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8182] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8182/stat : 8182 (java) S 8163 8166 7614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174370234 26624872448 8274 33554432000 4194304 4196468 140729843375376 140501746895344 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8183] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8183/stat : 8183 (java) S 8163 8166 7614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174370234 26624872448 8274 33554432000 4194304 4196468 140729843375376 140501745843056 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8184] ppid=8163 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/8166/task/8184/stat : 8184 (java) S 8163 8166 7614 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 20 0 174370234 26624872448 8274 33554432000 4194304 4196468 140729843375376 140501744790256 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8185] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8185/stat : 8185 (java) S 8163 8166 7614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174370234 26624872448 8274 33554432000 4194304 4196468 140729843375376 140501743737184 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8186] ppid=8163 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8166/task/8186/stat : 8186 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370235 26624872448 8274 33554432000 4194304 4196468 140729843375376 140501742684464 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 33096 KiB

[startup+0.214424 s]*
/proc/loadavg: 8.61 8.58 8.68 2/198 8186
/proc/meminfo: memFree=24174580/32770624 swapFree=67108860/67108860
[pid=8166] ppid=8163 vsize=26000852 memory=42152 CPUtime=0.3 cores=0-7
/proc/8166/stat : 8166 (java) S 8163 8166 7614 0 -1 1077944320 9731 0 0 0 27 3 0 0 20 0 20 0 174370228 26624872448 10538 33554432000 4194304 4196468 140729843375376 140729843357920 140503478689527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
/proc/8166/statm: 6500213 10538 3571 1 0 6487932 0
[pid=8166/tid=8168] ppid=8163 vsize=26000852 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/8166/task/8168/stat : 8168 (java) R 8163 8166 7614 0 -1 4202560 7300 0 0 0 18 2 0 0 20 0 20 0 174370229 26624872448 10538 33554432000 4194304 4196468 140729843375376 140503482898784 140503478710874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8169] ppid=8163 vsize=26000852 memory=13913 CPUtime=0 cores=0-7
/proc/8166/task/8169/stat : 8169 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 10538 33554432000 4194304 4196468 140729843375376 140503431309712 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8170] ppid=8163 vsize=26000852 memory=139715216991664 CPUtime=0 cores=0-7
/proc/8166/task/8170/stat : 8170 (java) S 8163 8166 7614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 10538 33554432000 4194304 4196468 140729843375376 140503430256912 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8171] ppid=8163 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8166/task/8171/stat : 8171 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 10538 33554432000 4194304 4196468 140729843375376 140503429204624 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8172] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8172/stat : 8172 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 10538 33554432000 4194304 4196468 140729843375376 140503428151824 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8173] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8173/stat : 8173 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 10538 33554432000 4194304 4196468 140729843375376 140503427099536 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8174] ppid=8163 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8166/task/8174/stat : 8174 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 10538 33554432000 4194304 4196468 140729843375376 140503426046736 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8175] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8175/stat : 8175 (java) S 8163 8166 7614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 10538 33554432000 4194304 4196468 140729843375376 140503424994448 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8176] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8176/stat : 8176 (java) S 8163 8166 7614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174370230 26624872448 10538 33554432000 4194304 4196468 140729843375376 140503423941648 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8177] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8177/stat : 8177 (java) S 8163 8166 7614 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174370231 26624872448 10538 33554432000 4194304 4196468 140729843375376 140501752158320 140503478700674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8178] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8178/stat : 8178 (java) S 8163 8166 7614 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174370232 26624872448 10538 33554432000 4194304 4196468 140729843375376 140501751104288 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8179] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8179/stat : 8179 (java) S 8163 8166 7614 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174370232 26624872448 10538 33554432000 4194304 4196468 140729843375376 140501750051952 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8180] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8180/stat : 8180 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370234 26624872448 10538 33554432000 4194304 4196468 140729843375376 140501749000272 140503478708123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8181] ppid=8163 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/8166/task/8181/stat : 8181 (java) S 8163 8166 7614 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 174370234 26624872448 10538 33554432000 4194304 4196468 140729843375376 140501747948144 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8182] ppid=8163 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/8166/task/8182/stat : 8182 (java) S 8163 8166 7614 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 174370234 26624872448 10538 33554432000 4194304 4196468 140729843375376 140501746895344 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8183] ppid=8163 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/8166/task/8183/stat : 8183 (java) R 8163 8166 7614 0 -1 4202560 197 0 0 0 1 0 0 0 20 0 20 0 174370234 26624872448 10538 33554432000 4194304 4196468 140729843375376 140501745843056 140503456284272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8184] ppid=8163 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/8166/task/8184/stat : 8184 (java) R 8163 8166 7614 0 -1 4202560 401 0 0 0 5 0 0 0 20 0 20 0 174370234 26624872448 10538 33554432000 4194304 4196468 140729843375376 140501744790256 140503478701462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8185] ppid=8163 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8185/stat : 8185 (java) S 8163 8166 7614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174370234 26624872448 10538 33554432000 4194304 4196468 140729843375376 140501743737184 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8186] ppid=8163 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8166/task/8186/stat : 8186 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370235 26624872448 10538 33554432000 4194304 4196468 140729843375376 140501742684464 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 42152 KiB

[startup+0.310246 s]*
/proc/loadavg: 8.61 8.58 8.68 2/198 8186
/proc/meminfo: memFree=24167004/32770624 swapFree=67108860/67108860
[pid=8166] ppid=8163 vsize=26000872 memory=49904 CPUtime=0.49 cores=0-7
/proc/8166/stat : 8166 (java) S 8163 8166 7614 0 -1 1077944320 10720 0 0 0 45 4 0 0 20 0 20 0 174370228 26624892928 12476 33554432000 4194304 4196468 140729843375376 140729843357920 140503478689527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
/proc/8166/statm: 6500218 12476 3723 1 0 6487932 0
[pid=8166/tid=8168] ppid=8163 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8166/task/8168/stat : 8168 (java) R 8163 8166 7614 0 -1 4202560 7816 0 0 0 27 2 0 0 20 0 20 0 174370229 26624892928 12476 33554432000 4194304 4196468 140729843375376 140503482918976 140503478701462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8169] ppid=8163 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8169/stat : 8169 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624892928 12476 33554432000 4194304 4196468 140729843375376 140503431309712 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8170] ppid=8163 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8170/stat : 8170 (java) S 8163 8166 7614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174370230 26624892928 12476 33554432000 4194304 4196468 140729843375376 140503430256912 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8171] ppid=8163 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8171/stat : 8171 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624892928 12476 33554432000 4194304 4196468 140729843375376 140503429204624 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8172] ppid=8163 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8172/stat : 8172 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624892928 12476 33554432000 4194304 4196468 140729843375376 140503428151824 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8173] ppid=8163 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/8166/task/8173/stat : 8173 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624892928 12476 33554432000 4194304 4196468 140729843375376 140503427099536 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8174] ppid=8163 vsize=26000872 memory=139715084907439 CPUtime=0 cores=0-7
/proc/8166/task/8174/stat : 8174 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26624892928 12476 33554432000 4194304 4196468 140729843375376 140503426046736 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8175] ppid=8163 vsize=26000872 memory=139715084909744 CPUtime=0 cores=0-7
/proc/8166/task/8175/stat : 8175 (java) S 8163 8166 7614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174370230 26624892928 12476 33554432000 4194304 4196468 140729843375376 140503424994448 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8176] ppid=8163 vsize=26000872 memory=139715084912048 CPUtime=0 cores=0-7
/proc/8166/task/8176/stat : 8176 (java) S 8163 8166 7614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174370230 26624892928 12476 33554432000 4194304 4196468 140729843375376 140503423941648 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8177] ppid=8163 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8177/stat : 8177 (java) S 8163 8166 7614 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174370231 26624892928 12476 33554432000 4194304 4196468 140729843375376 140501752158320 140503478700674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8178] ppid=8163 vsize=26000872 memory=279430169831056 CPUtime=0 cores=0-7
/proc/8166/task/8178/stat : 8178 (java) S 8163 8166 7614 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174370232 26624892928 12476 33554432000 4194304 4196468 140729843375376 140501751104288 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8179] ppid=8163 vsize=26000872 memory=279430169837968 CPUtime=0 cores=0-7
/proc/8166/task/8179/stat : 8179 (java) S 8163 8166 7614 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174370232 26624892928 12476 33554432000 4194304 4196468 140729843375376 140501750051952 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8180] ppid=8163 vsize=26000872 memory=279430169779248 CPUtime=0 cores=0-7
/proc/8166/task/8180/stat : 8180 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370234 26624892928 12476 33554432000 4194304 4196468 140729843375376 140501749000272 140503478708123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8181] ppid=8163 vsize=26000872 memory=279430169851792 CPUtime=0.03 cores=0-7
/proc/8166/task/8181/stat : 8181 (java) S 8163 8166 7614 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 20 0 174370234 26624892928 12476 33554432000 4194304 4196468 140729843375376 140501747948144 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8182] ppid=8163 vsize=26000872 memory=279430169858704 CPUtime=0.03 cores=0-7
/proc/8166/task/8182/stat : 8182 (java) R 8163 8166 7614 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 20 0 174370234 26624892928 12476 33554432000 4194304 4196468 140729843375376 140501746895344 140503478700674 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8183] ppid=8163 vsize=26000872 memory=279430169856400 CPUtime=0.03 cores=0-7
/proc/8166/task/8183/stat : 8183 (java) S 8163 8166 7614 0 -1 1077944384 387 0 0 0 3 0 0 0 20 0 20 0 174370234 26624892928 12476 33554432000 4194304 4196468 140729843375376 140501745843056 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8184] ppid=8163 vsize=26000872 memory=279430169873008 CPUtime=0.08 cores=0-7
/proc/8166/task/8184/stat : 8184 (java) R 8163 8166 7614 0 -1 4202560 416 0 0 0 8 0 0 0 20 0 20 0 174370234 26624892928 12476 33554432000 4194304 4196468 140729843375376 140501744790256 140503457617487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8185] ppid=8163 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8185/stat : 8185 (java) S 8163 8166 7614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174370234 26624892928 12476 33554432000 4194304 4196468 140729843375376 140501743737184 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8186] ppid=8163 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/8166/task/8186/stat : 8186 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370235 26624892928 12476 33554432000 4194304 4196468 140729843375376 140501742684464 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49904 KiB

[startup+0.700928 s]
/proc/loadavg: 8.61 8.58 8.68 4/198 8186
/proc/meminfo: memFree=24150936/32770624 swapFree=67108860/67108860
[pid=8166] ppid=8163 vsize=26002920 memory=93240 CPUtime=1.66 cores=0-7
/proc/8166/stat : 8166 (java) S 8163 8166 7614 0 -1 1077944320 14841 0 0 0 160 6 0 0 20 0 20 0 174370228 26626990080 23310 33554432000 4194304 4196468 140729843375376 140729843357920 140503478689527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
/proc/8166/statm: 6500730 23310 3779 1 0 6488444 0
[pid=8166/tid=8168] ppid=8163 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/8166/task/8168/stat : 8168 (java) R 8163 8166 7614 0 -1 4202560 8647 0 0 0 65 2 0 0 20 0 20 0 174370229 26626990080 23310 33554432000 4194304 4196468 140729843375376 140503482915984 140503462770014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8169] ppid=8163 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8169/stat : 8169 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26626990080 23310 33554432000 4194304 4196468 140729843375376 140503431309712 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8170] ppid=8163 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8170/stat : 8170 (java) S 8163 8166 7614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174370230 26626990080 23310 33554432000 4194304 4196468 140729843375376 140503430256912 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8171] ppid=8163 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8171/stat : 8171 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26626990080 23310 33554432000 4194304 4196468 140729843375376 140503429204624 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8172] ppid=8163 vsize=26002920 memory=1008 CPUtime=0 cores=0-7
/proc/8166/task/8172/stat : 8172 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26626990080 23310 33554432000 4194304 4196468 140729843375376 140503428151824 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8173] ppid=8163 vsize=26002920 memory=4620 CPUtime=0 cores=0-7
/proc/8166/task/8173/stat : 8173 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26626990080 23310 33554432000 4194304 4196468 140729843375376 140503427099536 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8174] ppid=8163 vsize=26002920 memory=1428 CPUtime=0 cores=0-7
/proc/8166/task/8174/stat : 8174 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174370230 26626990080 23310 33554432000 4194304 4196468 140729843375376 140503426046736 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8175] ppid=8163 vsize=26002920 memory=1204 CPUtime=0 cores=0-7
/proc/8166/task/8175/stat : 8175 (java) S 8163 8166 7614 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174370230 26626990080 23310 33554432000 4194304 4196468 140729843375376 140503424994448 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8176] ppid=8163 vsize=26002920 memory=15880 CPUtime=0 cores=0-7
/proc/8166/task/8176/stat : 8176 (java) S 8163 8166 7614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174370230 26626990080 23310 33554432000 4194304 4196468 140729843375376 140503423941648 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8177] ppid=8163 vsize=26002920 memory=28452 CPUtime=0 cores=0-7
/proc/8166/task/8177/stat : 8177 (java) S 8163 8166 7614 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174370231 26626990080 23310 33554432000 4194304 4196468 140729843375376 140501752158320 140503478700674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0

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

/proc/8166/task/8192/stat : 8192 (java) R 8163 8166 7614 0 -1 4202560 184721 0 0 0 247072 153 0 0 20 0 46 0 174370724 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500984106688 140503103947796 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8193] ppid=8163 vsize=27745908 memory=-6421031960926448530 CPUtime=0.84 cores=0-7
/proc/8166/task/8193/stat : 8193 (java) S 8163 8166 7614 0 -1 1077944384 436 0 0 0 80 4 0 0 20 0 46 0 174370724 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500983059472 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8194] ppid=8163 vsize=27745908 memory=-4695052241013923951 CPUtime=0.78 cores=0-7
/proc/8166/task/8194/stat : 8194 (java) S 8163 8166 7614 0 -1 1077944384 202 0 0 0 77 1 0 0 20 0 46 0 174370724 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500982006672 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8195] ppid=8163 vsize=27745908 memory=6944656592387989600 CPUtime=2461.24 cores=0-7
/proc/8166/task/8195/stat : 8195 (java) R 8163 8166 7614 0 -1 4202560 103054 0 0 0 245985 139 0 0 20 0 46 0 174370724 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500980950416 140503102157576 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8196] ppid=8163 vsize=27745908 memory=4140 CPUtime=2465.7 cores=0-7
/proc/8166/task/8196/stat : 8196 (java) R 8163 8166 7614 0 -1 4202560 88628 0 0 0 246413 157 0 0 20 0 46 0 174370724 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500979894880 140503103947750 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8197] ppid=8163 vsize=27745908 memory=48344 CPUtime=0.83 cores=0-7
/proc/8166/task/8197/stat : 8197 (java) S 8163 8166 7614 0 -1 1077944384 447 0 0 0 79 4 0 0 20 0 46 0 174370724 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500978849296 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8198] ppid=8163 vsize=27745908 memory=1296 CPUtime=2462.55 cores=0-7
/proc/8166/task/8198/stat : 8198 (java) R 8163 8166 7614 0 -1 4202560 80468 0 0 0 246114 141 0 0 20 0 46 0 174370724 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500977789792 140503103950029 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8199] ppid=8163 vsize=27745908 memory=2416 CPUtime=2460.71 cores=0-7
/proc/8166/task/8199/stat : 8199 (java) R 8163 8166 7614 0 -1 4202560 93630 0 0 0 245901 170 0 0 20 0 46 0 174370725 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500976738112 140503103947833 0 4 0 16800975 0 0 0 -1 0 0 0 30 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8200] ppid=8163 vsize=27745908 memory=1844 CPUtime=2461.22 cores=0-7
/proc/8166/task/8200/stat : 8200 (java) R 8163 8166 7614 0 -1 4202560 80013 0 0 0 245966 156 0 0 20 0 46 0 174370725 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500975684856 140503103948376 0 4 0 16800975 0 0 0 -1 7 0 0 35 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8201] ppid=8163 vsize=27745908 memory=796 CPUtime=0 cores=0-7
/proc/8166/task/8201/stat : 8201 (java) S 8163 8166 7614 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 46 0 174370871 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500974637856 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8202] ppid=8163 vsize=27745908 memory=139719511950975 CPUtime=0 cores=0-7
/proc/8166/task/8202/stat : 8202 (java) S 8163 8166 7614 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 46 0 174370871 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500973585296 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8203] ppid=8163 vsize=27745908 memory=7162531440177276259 CPUtime=0 cores=0-7
/proc/8166/task/8203/stat : 8203 (java) S 8163 8166 7614 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 46 0 174371093 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500970398992 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8204] ppid=8163 vsize=27745908 memory=139715216984721 CPUtime=0 cores=0-7
/proc/8166/task/8204/stat : 8204 (java) S 8163 8166 7614 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 174371094 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500969345952 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8205] ppid=8163 vsize=27745908 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8205/stat : 8205 (java) S 8163 8166 7614 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 46 0 174371094 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500968293664 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8206] ppid=8163 vsize=27745908 memory=7161658432224126309 CPUtime=0 cores=0-7
/proc/8166/task/8206/stat : 8206 (java) S 8163 8166 7614 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 46 0 174371095 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500967241104 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8207] ppid=8163 vsize=27745908 memory=7305792226081597029 CPUtime=0 cores=0-7
/proc/8166/task/8207/stat : 8207 (java) S 8163 8166 7614 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 46 0 174371095 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500966188576 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8208] ppid=8163 vsize=27745908 memory=6945507666079274341 CPUtime=0 cores=0-7
/proc/8166/task/8208/stat : 8208 (java) S 8163 8166 7614 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 46 0 174371095 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500965136016 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8209] ppid=8163 vsize=27745908 memory=5966532 CPUtime=0 cores=0-7
/proc/8166/task/8209/stat : 8209 (java) S 8163 8166 7614 0 -1 1077944384 677 0 0 0 0 0 0 0 20 0 46 0 174371106 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500964082704 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8210] ppid=8163 vsize=27745908 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/8166/task/8210/stat : 8210 (java) S 8163 8166 7614 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 46 0 174371106 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500963029904 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8211] ppid=8163 vsize=27745908 memory=1796 CPUtime=0 cores=0-7
/proc/8166/task/8211/stat : 8211 (java) S 8163 8166 7614 0 -1 1077944384 557 0 0 0 0 0 0 0 20 0 46 0 174371106 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500961977616 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8212] ppid=8163 vsize=27745908 memory=1236 CPUtime=0 cores=0-7
/proc/8166/task/8212/stat : 8212 (java) S 8163 8166 7614 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 46 0 174371163 28411809792 1490992 33554432000 4194304 4196468 140729843375376 140500958827664 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
Current children cumulated CPU time: 19859.4 s
Current children cumulated vsize: 27745908 KiB
Current children cumulated memory: 5963968 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.62 8.69 8.73 9/224 8271
/proc/meminfo: memFree=18242644/32770624 swapFree=67108860/67108860
[pid=8166] ppid=8163 vsize=27745908 memory=5957296 CPUtime=19999.9 cores=0-7
/proc/8166/stat : 8166 (java) S 8163 8166 7614 0 -1 1077944320 2031597 0 0 0 1998064 1923 0 0 20 0 46 0 174370228 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140729843357920 140503478689527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
/proc/8166/statm: 6936477 1489324 3874 1 0 6923670 0
[pid=8166/tid=8168] ppid=8163 vsize=27745908 memory=1716 CPUtime=4.73 cores=0-7
/proc/8166/task/8168/stat : 8168 (java) S 8163 8166 7614 0 -1 1077944384 15210 0 0 0 456 17 0 0 20 0 46 0 174370229 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140503482927232 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8169] ppid=8163 vsize=27745908 memory=1956 CPUtime=13.62 cores=0-7
/proc/8166/task/8169/stat : 8169 (java) S 8163 8166 7614 0 -1 1077944384 126814 0 0 0 1293 69 0 0 20 0 46 0 174370230 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140503431309712 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8170] ppid=8163 vsize=27745908 memory=8756 CPUtime=13.75 cores=0-7
/proc/8166/task/8170/stat : 8170 (java) S 8163 8166 7614 0 -1 1077944384 124590 0 0 0 1304 71 0 0 20 0 46 0 174370230 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140503430256912 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8171] ppid=8163 vsize=27745908 memory=4872558044660077418 CPUtime=13.71 cores=0-7
/proc/8166/task/8171/stat : 8171 (java) S 8163 8166 7614 0 -1 1077944384 124439 0 0 0 1295 76 0 0 20 0 46 0 174370230 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140503429204624 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8172] ppid=8163 vsize=27745908 memory=5967044 CPUtime=13.67 cores=0-7
/proc/8166/task/8172/stat : 8172 (java) S 8163 8166 7614 0 -1 1077944384 130947 0 0 0 1300 67 0 0 20 0 46 0 174370230 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140503428151824 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8173] ppid=8163 vsize=27745908 memory=5960376 CPUtime=13.67 cores=0-7
/proc/8166/task/8173/stat : 8173 (java) S 8163 8166 7614 0 -1 1077944384 124084 0 0 0 1296 71 0 0 20 0 46 0 174370230 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140503427099536 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8174] ppid=8163 vsize=27745908 memory=2240 CPUtime=13.67 cores=0-7
/proc/8166/task/8174/stat : 8174 (java) S 8163 8166 7614 0 -1 1077944384 120855 0 0 0 1298 69 0 0 20 0 46 0 174370230 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140503426046736 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8175] ppid=8163 vsize=27745908 memory=4316 CPUtime=13.7 cores=0-7
/proc/8166/task/8175/stat : 8175 (java) S 8163 8166 7614 0 -1 1077944384 116730 0 0 0 1305 65 0 0 20 0 46 0 174370230 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140503424994448 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8176] ppid=8163 vsize=27745908 memory=928 CPUtime=13.63 cores=0-7
/proc/8166/task/8176/stat : 8176 (java) S 8163 8166 7614 0 -1 1077944384 123430 0 0 0 1295 68 0 0 20 0 46 0 174370230 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140503423941648 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8177] ppid=8163 vsize=27745908 memory=1576 CPUtime=3.6 cores=0-7
/proc/8166/task/8177/stat : 8177 (java) S 8163 8166 7614 0 -1 1077944384 116039 0 0 0 311 49 0 0 20 0 46 0 174370231 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501752158320 140503478700674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8178] ppid=8163 vsize=27745908 memory=1008 CPUtime=0 cores=0-7
/proc/8166/task/8178/stat : 8178 (java) S 8163 8166 7614 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 174370232 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501751104352 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8179] ppid=8163 vsize=27745908 memory=5959348 CPUtime=0 cores=0-7
/proc/8166/task/8179/stat : 8179 (java) S 8163 8166 7614 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 46 0 174370232 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501750051968 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8180] ppid=8163 vsize=27745908 memory=1428 CPUtime=0 cores=0-7
/proc/8166/task/8180/stat : 8180 (java) S 8163 8166 7614 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 174370234 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501749000272 140503478708123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8181] ppid=8163 vsize=27745908 memory=1204 CPUtime=2.46 cores=0-7
/proc/8166/task/8181/stat : 8181 (java) S 8163 8166 7614 0 -1 1077944384 12339 0 0 0 242 4 0 0 20 0 46 0 174370234 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501747948144 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8182] ppid=8163 vsize=27745908 memory=8112282956445269571 CPUtime=2.24 cores=0-7
/proc/8166/task/8182/stat : 8182 (java) S 8163 8166 7614 0 -1 1077944384 8622 0 0 0 221 3 0 0 20 0 46 0 174370234 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501746895344 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8183] ppid=8163 vsize=27745908 memory=4872558044660077418 CPUtime=2.53 cores=0-7
/proc/8166/task/8183/stat : 8183 (java) S 8163 8166 7614 0 -1 1077944384 12736 0 0 0 251 2 0 0 20 0 46 0 174370234 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501745843056 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8184] ppid=8163 vsize=27745908 memory=18488 CPUtime=1.28 cores=0-7
/proc/8166/task/8184/stat : 8184 (java) S 8163 8166 7614 0 -1 1077944384 20164 0 0 0 124 4 0 0 20 0 46 0 174370234 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501744790256 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8185] ppid=8163 vsize=27745908 memory=5957808 CPUtime=0 cores=0-7
/proc/8166/task/8185/stat : 8185 (java) S 8163 8166 7614 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 174370234 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501743737184 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8186] ppid=8163 vsize=27745908 memory=1236 CPUtime=1.12 cores=0-7
/proc/8166/task/8186/stat : 8186 (java) S 8163 8166 7614 0 -1 1077944384 5469 0 0 0 63 49 0 0 20 0 46 0 174370235 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501742684464 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8187] ppid=8163 vsize=27745908 memory=640 CPUtime=0 cores=0-7
/proc/8166/task/8187/stat : 8187 (java) S 8163 8166 7614 0 -1 1077944384 799 0 0 0 0 0 0 0 20 0 46 0 174370700 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140501736588192 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8188] ppid=8163 vsize=27745908 memory=956 CPUtime=5.66 cores=0-7
/proc/8166/task/8188/stat : 8188 (java) S 8163 8166 7614 0 -1 1077944384 14817 0 0 0 300 266 0 0 20 0 46 0 174370711 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500990420000 140503478700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8189] ppid=8163 vsize=27745908 memory=2424 CPUtime=2488.24 cores=0-7
/proc/8166/task/8189/stat : 8189 (java) R 8163 8166 7614 0 -1 4202560 94627 0 0 0 248661 163 0 0 20 0 46 0 174370721 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500987264872 140503103948350 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8190] ppid=8163 vsize=27745908 memory=2240 CPUtime=0 cores=0-7
/proc/8166/task/8190/stat : 8190 (java) S 8163 8166 7614 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 46 0 174370721 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500986217760 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8191] ppid=8163 vsize=27745908 memory=4316 CPUtime=2487.53 cores=0-7
/proc/8166/task/8191/stat : 8191 (java) R 8163 8166 7614 0 -1 4202560 94357 0 0 0 248560 193 0 0 20 0 46 0 174370722 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500985161792 140503095565371 0 4 0 16800975 0 0 0 -1 6 0 0 41 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8192] ppid=8163 vsize=27745908 memory=928 CPUtime=2489.7 cores=0-7
/proc/8166/task/8192/stat : 8192 (java) R 8163 8166 7614 0 -1 4202560 187599 0 0 0 248815 155 0 0 20 0 46 0 174370724 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500984106232 140503102883122 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8193] ppid=8163 vsize=27745908 memory=8112282956445269571 CPUtime=0.84 cores=0-7
/proc/8166/task/8193/stat : 8193 (java) S 8163 8166 7614 0 -1 1077944384 436 0 0 0 80 4 0 0 20 0 46 0 174370724 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500983059472 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8194] ppid=8163 vsize=27745908 memory=916 CPUtime=0.78 cores=0-7
/proc/8166/task/8194/stat : 8194 (java) S 8163 8166 7614 0 -1 1077944384 202 0 0 0 77 1 0 0 20 0 46 0 174370724 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500982006672 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8195] ppid=8163 vsize=27745908 memory=5784 CPUtime=2478.69 cores=0-7
/proc/8166/task/8195/stat : 8195 (java) R 8163 8166 7614 0 -1 4202560 104488 0 0 0 247726 143 0 0 20 0 46 0 174370724 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500980947328 140503099259172 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8196] ppid=8163 vsize=27745908 memory=4100 CPUtime=2483.05 cores=0-7
/proc/8166/task/8196/stat : 8196 (java) R 8163 8166 7614 0 -1 4202560 90176 0 0 0 248146 159 0 0 20 0 46 0 174370724 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500979894664 140503103947750 0 4 0 16800975 0 0 0 -1 1 0 0 36 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8197] ppid=8163 vsize=27745908 memory=1156 CPUtime=0.83 cores=0-7
/proc/8166/task/8197/stat : 8197 (java) S 8163 8166 7614 0 -1 1077944384 447 0 0 0 79 4 0 0 20 0 46 0 174370724 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500978849296 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8198] ppid=8163 vsize=27745908 memory=4604 CPUtime=2480 cores=0-7
/proc/8166/task/8198/stat : 8198 (java) R 8163 8166 7614 0 -1 4202560 81553 0 0 0 247857 143 0 0 20 0 46 0 174370724 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500977789456 140503103427880 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8199] ppid=8163 vsize=27745908 memory=5959860 CPUtime=2478.22 cores=0-7
/proc/8166/task/8199/stat : 8199 (java) R 8163 8166 7614 0 -1 4202560 94825 0 0 0 247650 172 0 0 20 0 46 0 174370725 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500976738112 140503103926892 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8200] ppid=8163 vsize=27745908 memory=288230574492221466 CPUtime=2478.64 cores=0-7
/proc/8166/task/8200/stat : 8200 (java) R 8163 8166 7614 0 -1 4202560 80966 0 0 0 247706 158 0 0 20 0 46 0 174370725 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500975684576 140503102935732 0 4 0 16800975 0 0 0 -1 0 0 0 36 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8201] ppid=8163 vsize=27745908 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8201/stat : 8201 (java) S 8163 8166 7614 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 46 0 174370871 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500974637856 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8202] ppid=8163 vsize=27745908 memory=5961404 CPUtime=0 cores=0-7
/proc/8166/task/8202/stat : 8202 (java) S 8163 8166 7614 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 46 0 174370871 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500973585296 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8203] ppid=8163 vsize=27745908 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8203/stat : 8203 (java) S 8163 8166 7614 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 46 0 174371093 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500970398992 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8204] ppid=8163 vsize=27745908 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8204/stat : 8204 (java) S 8163 8166 7614 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 174371094 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500969345952 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8205] ppid=8163 vsize=27745908 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8205/stat : 8205 (java) S 8163 8166 7614 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 46 0 174371094 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500968293664 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8206] ppid=8163 vsize=27745908 memory=0 CPUtime=0 cores=0-7
/proc/8166/task/8206/stat : 8206 (java) S 8163 8166 7614 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 46 0 174371095 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500967241104 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8207] ppid=8163 vsize=27745908 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/8166/task/8207/stat : 8207 (java) S 8163 8166 7614 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 46 0 174371095 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500966188576 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8208] ppid=8163 vsize=27745908 memory=7523376918531162212 CPUtime=0 cores=0-7
/proc/8166/task/8208/stat : 8208 (java) S 8163 8166 7614 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 46 0 174371095 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500965136016 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8209] ppid=8163 vsize=27745908 memory=7163651851048742512 CPUtime=0 cores=0-7
/proc/8166/task/8209/stat : 8209 (java) S 8163 8166 7614 0 -1 1077944384 677 0 0 0 0 0 0 0 20 0 46 0 174371106 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500964082704 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8210] ppid=8163 vsize=27745908 memory=7444838588209455956 CPUtime=0 cores=0-7
/proc/8166/task/8210/stat : 8210 (java) S 8163 8166 7614 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 46 0 174371106 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500963029904 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8211] ppid=8163 vsize=27745908 memory=28586180898 CPUtime=0 cores=0-7
/proc/8166/task/8211/stat : 8211 (java) S 8163 8166 7614 0 -1 1077944384 557 0 0 0 0 0 0 0 20 0 46 0 174371106 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500961977616 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
[pid=8166/tid=8212] ppid=8163 vsize=27745908 memory=139715087315811 CPUtime=0 cores=0-7
/proc/8166/task/8212/stat : 8212 (java) S 8163 8166 7614 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 46 0 174371163 28411809792 1489324 33554432000 4194304 4196468 140729843375376 140500958827664 140503478699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26882048 140729843381345 140729843381531 140729843381531 140729843384271 0
Current children cumulated CPU time: 19999.9 s
Current children cumulated vsize: 27745908 KiB
Current children cumulated memory: 5957296 KiB

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

[startup+2520.07 s]
# the end of solver process 8166 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19980.8 s, system=19.2653 s

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

Child status: 143
Real time (s): 2520.07
CPU time (s): 20000.1
CPU user time (s): 19980.8
CPU system time (s): 19.2653
CPU usage (%): 793.632
Max. virtual memory (cumulated for all children) (KiB): 27745908
Max. memory (cumulated for all children) (KiB): 6481124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19980.8
system time used= 19.2653
maximum resident set size= 6482148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2032801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 473634
involuntary context switches= 417834


# summary of solver processes directly reported to runsolver:
#   pid: 8166
#   total CPU time (s): 20000.1
#   total CPU user time (s): 19980.8
#   total CPU system time (s): 19.2653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.3372 second user time and 35.6803 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 4285025

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