2017 XCSP3 competition: fast COP track (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)	1335	1978.73	252.13499

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 910806877
0.29/0.26	c timeout: 2016
0.29/0.26	c memlimit: 22000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
1.54/0.77	c Parsing done, starting search...
8.72/4.07	o 1801
9.50/4.14	o 1799
14.11/4.72	o 1622
14.11/4.72	o 1619
14.11/4.72	o 1601
14.11/4.72	o 1586
14.11/4.72	o 1581
14.11/4.72	o 1555
14.11/4.72	o 1553
14.11/4.72	o 1547
14.11/4.72	o 1507
14.11/4.72	o 1495
14.11/4.72	o 1491
14.11/4.72	o 1490
14.11/4.72	o 1475
14.11/4.72	o 1461
225.11/31.27	o 1457
225.11/31.28	o 1455
258.59/35.49	o 1453
282.43/38.40	o 1425
327.10/44.08	o 1424
327.10/44.10	o 1422
519.23/68.25	o 1416
663.55/86.45	o 1390
734.12/95.33	o 1387
734.12/95.39	o 1385
876.27/113.25	o 1374
877.08/113.30	o 1373
897.73/115.97	o 1365
900.91/116.38	o 1364
908.86/117.37	o 1358
966.91/124.62	o 1355
966.91/124.63	o 1354
967.71/124.76	o 1349
967.71/124.78	o 1348
971.67/125.21	o 1347
971.67/125.25	o 1341
974.04/125.54	o 1335
1977.95/252.09	s SATISFIABLE
1977.95/252.09	v <instantiation>
1977.95/252.09	v 	<list>
1977.95/252.09	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32]
1977.95/252.09	v 	</list>
1977.95/252.09	v 	<values>
1977.95/252.09	v 		0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 28 100 90 100 91 35 87 83 73 45 40 100 68 45 46 100 72 58 36 76 68 22 17 37 74 48 60 55 100 92 24 77 
1977.95/252.09	v 	</values>
1977.95/252.09	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 (10480 MiB free)
  memory of node 1: 16384 MiB (12127 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4286038-1503440679/watcher-4286038-1503440679 -o /tmp/evaluation-result-4286038-1503440679/solver-4286038-1503440679 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503426507-17115 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 910806877 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4286038-1503440679.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=19799, runsolver pid=19796
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 8.83 7.60 7.28 2/200 19819
/proc/meminfo: memFree=23134788/32770624 swapFree=67108860/67108860
[pid=19799] ppid=19796 vsize=26000852 memory=31812 CPUtime=0.12 cores=0-7
/proc/19799/stat : 19799 (java) S 19796 19799 17088 0 -1 1077944320 8356 0 0 0 10 2 0 0 20 0 20 0 177155842 26624872448 7953 33554432000 4194304 4196468 140737110029648 140737110012192 140262974971639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
/proc/19799/statm: 6500213 7953 3411 1 0 6487932 0
[pid=19799/tid=19801] ppid=19796 vsize=26000852 memory=8186869505745396384 CPUtime=0.09 cores=0-7
/proc/19799/task/19801/stat : 19801 (java) R 19796 19799 17088 0 -1 4202560 6288 0 0 0 8 1 0 0 20 0 20 0 177155842 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262979159936 140262974993565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19802] ppid=19796 vsize=26000852 memory=732369856299936741 CPUtime=0 cores=0-7
/proc/19799/task/19802/stat : 19802 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262897551632 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19803] ppid=19796 vsize=26000852 memory=139717962483328 CPUtime=0 cores=0-7
/proc/19799/task/19803/stat : 19803 (java) S 19796 19799 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262896499088 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19804] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19804/stat : 19804 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262530636304 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19805] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19805/stat : 19805 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262529583760 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19806] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19806/stat : 19806 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262528531216 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19807] ppid=19796 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/19799/task/19807/stat : 19807 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262527478672 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19808] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19808/stat : 19808 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262526426128 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19809] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19809/stat : 19809 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262525373584 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19810] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19810/stat : 19810 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155845 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262237005808 140262974982786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19811] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19811/stat : 19811 (java) S 19796 19799 17088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177155845 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262235952032 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19812] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19812/stat : 19812 (java) S 19796 19799 17088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177155845 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262234899440 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19813] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19813/stat : 19813 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155848 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262233848016 140262974990235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19814] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19814/stat : 19814 (java) S 19796 19799 17088 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 177155848 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262232795632 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19815] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19815/stat : 19815 (java) S 19796 19799 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177155848 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262231743088 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19816] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19816/stat : 19816 (java) S 19796 19799 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177155848 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262230690544 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19817] ppid=19796 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/19799/task/19817/stat : 19817 (java) R 19796 19799 17088 0 -1 4202560 383 0 0 0 1 0 0 0 20 0 20 0 177155848 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262229638000 140262954279225 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19818] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19818/stat : 19818 (java) S 19796 19799 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177155848 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262228584672 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19819] ppid=19796 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/19799/task/19819/stat : 19819 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155848 26624872448 7953 33554432000 4194304 4196468 140737110029648 140262227532208 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 31812 KiB

[startup+0.209891 s]*
/proc/loadavg: 8.83 7.60 7.28 2/200 19819
/proc/meminfo: memFree=23124056/32770624 swapFree=67108860/67108860
[pid=19799] ppid=19796 vsize=26000852 memory=40956 CPUtime=0.29 cores=0-7
/proc/19799/stat : 19799 (java) S 19796 19799 17088 0 -1 1077944320 9364 0 0 0 26 3 0 0 20 0 20 0 177155842 26624872448 10239 33554432000 4194304 4196468 140737110029648 140737110012192 140262974971639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
/proc/19799/statm: 6500213 10239 3629 1 0 6487932 0
[pid=19799/tid=19801] ppid=19796 vsize=26000852 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/19799/task/19801/stat : 19801 (java) R 19796 19799 17088 0 -1 4202560 6922 0 0 0 17 2 0 0 20 0 20 0 177155842 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262979179760 140262959015269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19802] ppid=19796 vsize=26000852 memory=288230583233151328 CPUtime=0 cores=0-7
/proc/19799/task/19802/stat : 19802 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262897551632 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19803] ppid=19796 vsize=26000852 memory=288370094114195072 CPUtime=0 cores=0-7
/proc/19799/task/19803/stat : 19803 (java) S 19796 19799 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262896499088 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19804] ppid=19796 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/19799/task/19804/stat : 19804 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262530636304 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19805] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19805/stat : 19805 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262529583760 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19806] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19806/stat : 19806 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262528531216 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19807] ppid=19796 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/19799/task/19807/stat : 19807 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262527478672 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19808] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19808/stat : 19808 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262526426128 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19809] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19809/stat : 19809 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262525373584 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19810] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19810/stat : 19810 (java) S 19796 19799 17088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 177155845 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262237005808 140262974982786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19811] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19811/stat : 19811 (java) S 19796 19799 17088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177155845 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262235952032 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19812] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19812/stat : 19812 (java) S 19796 19799 17088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177155845 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262234899440 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19813] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19813/stat : 19813 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155848 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262233848016 140262974990235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19814] ppid=19796 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/19799/task/19814/stat : 19814 (java) S 19796 19799 17088 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 177155848 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262232795632 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19815] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19815/stat : 19815 (java) S 19796 19799 17088 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 177155848 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262231743088 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19816] ppid=19796 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/19799/task/19816/stat : 19816 (java) S 19796 19799 17088 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 20 0 177155848 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262230690544 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19817] ppid=19796 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/19799/task/19817/stat : 19817 (java) S 19796 19799 17088 0 -1 1077944384 426 0 0 0 5 0 0 0 20 0 20 0 177155848 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262229638000 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19818] ppid=19796 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19818/stat : 19818 (java) S 19796 19799 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177155848 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262228584672 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19819] ppid=19796 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/19799/task/19819/stat : 19819 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155848 26624872448 10239 33554432000 4194304 4196468 140737110029648 140262227532208 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 40956 KiB

[startup+0.309635 s]*
/proc/loadavg: 8.83 7.60 7.28 2/200 19819
/proc/meminfo: memFree=23116836/32770624 swapFree=67108860/67108860
[pid=19799] ppid=19796 vsize=26000872 memory=49024 CPUtime=0.48 cores=0-7
/proc/19799/stat : 19799 (java) S 19796 19799 17088 0 -1 1077944320 10565 0 0 0 44 4 0 0 20 0 20 0 177155842 26624892928 12256 33554432000 4194304 4196468 140737110029648 140737110012192 140262974971639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
/proc/19799/statm: 6500218 12256 3687 1 0 6487932 0
[pid=19799/tid=19801] ppid=19796 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19799/task/19801/stat : 19801 (java) R 19796 19799 17088 0 -1 4202560 7683 0 0 0 26 3 0 0 20 0 20 0 177155842 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262979194752 140262959052126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19802] ppid=19796 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19802/stat : 19802 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262897551632 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19803] ppid=19796 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19803/stat : 19803 (java) S 19796 19799 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177155843 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262896499088 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19804] ppid=19796 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19804/stat : 19804 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262530636304 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19805] ppid=19796 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19805/stat : 19805 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262529583760 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19806] ppid=19796 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/19799/task/19806/stat : 19806 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262528531216 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19807] ppid=19796 vsize=26000872 memory=139717836370863 CPUtime=0 cores=0-7
/proc/19799/task/19807/stat : 19807 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262527478672 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19808] ppid=19796 vsize=26000872 memory=139717836373168 CPUtime=0 cores=0-7
/proc/19799/task/19808/stat : 19808 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262526426128 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19809] ppid=19796 vsize=26000872 memory=139717836375472 CPUtime=0 cores=0-7
/proc/19799/task/19809/stat : 19809 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262525373584 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19810] ppid=19796 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19810/stat : 19810 (java) S 19796 19799 17088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 177155845 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262237005808 140262974982786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19811] ppid=19796 vsize=26000872 memory=279435672757904 CPUtime=0 cores=0-7
/proc/19799/task/19811/stat : 19811 (java) S 19796 19799 17088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177155845 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262235952032 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19812] ppid=19796 vsize=26000872 memory=279435672764816 CPUtime=0 cores=0-7
/proc/19799/task/19812/stat : 19812 (java) S 19796 19799 17088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177155845 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262234899440 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19813] ppid=19796 vsize=26000872 memory=279435672706096 CPUtime=0 cores=0-7
/proc/19799/task/19813/stat : 19813 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155848 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262233848016 140262974990235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19814] ppid=19796 vsize=26000872 memory=279435672778640 CPUtime=0.04 cores=0-7
/proc/19799/task/19814/stat : 19814 (java) S 19796 19799 17088 0 -1 1077944384 498 0 0 0 4 0 0 0 20 0 20 0 177155848 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262232795632 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19815] ppid=19796 vsize=26000872 memory=279435672785552 CPUtime=0.01 cores=0-7
/proc/19799/task/19815/stat : 19815 (java) S 19796 19799 17088 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 177155848 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262231743088 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19816] ppid=19796 vsize=26000872 memory=279435672783248 CPUtime=0.03 cores=0-7
/proc/19799/task/19816/stat : 19816 (java) S 19796 19799 17088 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 20 0 177155848 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262230690544 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19817] ppid=19796 vsize=26000872 memory=279435672799808 CPUtime=0.08 cores=0-7
/proc/19799/task/19817/stat : 19817 (java) S 19796 19799 17088 0 -1 1077944384 514 0 0 0 8 0 0 0 20 0 20 0 177155848 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262229638000 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19818] ppid=19796 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19818/stat : 19818 (java) S 19796 19799 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177155848 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262228584672 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19819] ppid=19796 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/19799/task/19819/stat : 19819 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155848 26624892928 12256 33554432000 4194304 4196468 140737110029648 140262227532208 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49024 KiB

[startup+0.700886 s]
/proc/loadavg: 8.83 7.60 7.28 3/200 19819
/proc/meminfo: memFree=23104088/32770624 swapFree=67108860/67108860
[pid=19799] ppid=19796 vsize=26002920 memory=83944 CPUtime=1.54 cores=0-7
/proc/19799/stat : 19799 (java) S 19796 19799 17088 0 -1 1077944320 14571 0 0 0 149 5 0 0 20 0 20 0 177155842 26626990080 20986 33554432000 4194304 4196468 140737110029648 140737110012192 140262974971639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
/proc/19799/statm: 6500730 20986 3778 1 0 6488444 0
[pid=19799/tid=19801] ppid=19796 vsize=26002920 memory=5793951703122661991 CPUtime=0.67 cores=0-7
/proc/19799/task/19801/stat : 19801 (java) R 19796 19799 17088 0 -1 4202560 8730 0 0 0 64 3 0 0 20 0 20 0 177155842 26626990080 20992 33554432000 4194304 4196468 140737110029648 140262979207216 140262579812060 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19802] ppid=19796 vsize=26002920 memory=85117661911764 CPUtime=0 cores=0-7
/proc/19799/task/19802/stat : 19802 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26626990080 20992 33554432000 4194304 4196468 140737110029648 140262897551632 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19803] ppid=19796 vsize=26002920 memory=139717836392848 CPUtime=0 cores=0-7
/proc/19799/task/19803/stat : 19803 (java) S 19796 19799 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177155843 26626990080 20992 33554432000 4194304 4196468 140737110029648 140262896499088 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19804] ppid=19796 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19804/stat : 19804 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26626990080 20992 33554432000 4194304 4196468 140737110029648 140262530636304 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19805] ppid=19796 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19805/stat : 19805 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26626990080 20992 33554432000 4194304 4196468 140737110029648 140262529583760 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19806] ppid=19796 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19806/stat : 19806 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26626990080 20992 33554432000 4194304 4196468 140737110029648 140262528531216 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19807] ppid=19796 vsize=26002920 memory=2353 CPUtime=0 cores=0-7
/proc/19799/task/19807/stat : 19807 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26626990080 20992 33554432000 4194304 4196468 140737110029648 140262527478672 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19808] ppid=19796 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19808/stat : 19808 (java) S 19796 19799 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177155843 26626990080 20992 33554432000 4194304 4196468 140737110029648 140262526426128 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19809] ppid=19796 vsize=26002920 memory=1724 CPUtime=0 cores=0-7
/proc/19799/task/19809/stat : 19809 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177155843 26626990080 20992 33554432000 4194304 4196468 140737110029648 140262525373584 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19810] ppid=19796 vsize=26002920 memory=1012 CPUtime=0 cores=0-7
/proc/19799/task/19810/stat : 19810 (java) S 19796 19799 17088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 177155845 26626990080 20992 33554432000 4194304 4196468 140737110029648 140262237005808 140262974982786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0

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

/proc/19799/task/19819/stat : 19819 (java) S 19796 19799 17088 0 -1 1077944384 920 0 0 0 3 6 0 0 20 0 43 0 177155848 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262227532208 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19820] ppid=19796 vsize=27544168 memory=279433124414940 CPUtime=0 cores=0-7
/proc/19799/task/19820/stat : 19820 (java) S 19796 19799 17088 0 -1 1077944384 690 0 0 0 0 0 0 0 20 0 43 0 177156194 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262149972768 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19821] ppid=19796 vsize=27544168 memory=7444825561389617256 CPUtime=0.62 cores=0-7
/proc/19799/task/19821/stat : 19821 (java) S 19796 19799 17088 0 -1 1077944384 3116 0 0 0 34 28 0 0 20 0 43 0 177156206 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262146823216 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19822] ppid=19796 vsize=27544168 memory=7234030490512353113 CPUtime=214.69 cores=0-7
/proc/19799/task/19822/stat : 19822 (java) R 19796 19799 17088 0 -1 4202560 7453 0 0 0 21454 15 0 0 20 0 43 0 177156215 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262143667584 140262586528458 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19823] ppid=19796 vsize=27544168 memory=1974728 CPUtime=215.41 cores=0-7
/proc/19799/task/19823/stat : 19823 (java) R 19796 19799 17088 0 -1 4202560 5784 0 0 0 21531 10 0 0 20 0 43 0 177156216 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262142615272 140262578401317 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19824] ppid=19796 vsize=27544168 memory=1152 CPUtime=215.57 cores=0-7
/proc/19799/task/19824/stat : 19824 (java) R 19796 19799 17088 0 -1 4202560 7120 0 0 0 21547 10 0 0 20 0 43 0 177156216 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262141562632 140262583551936 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19825] ppid=19796 vsize=27544168 memory=24747 CPUtime=214.73 cores=0-7
/proc/19799/task/19825/stat : 19825 (java) R 19796 19799 17088 0 -1 4202560 4518 0 0 0 21461 12 0 0 20 0 43 0 177156218 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262140509200 140262576866288 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19826] ppid=19796 vsize=27544168 memory=302363636862382080 CPUtime=215.34 cores=0-7
/proc/19799/task/19826/stat : 19826 (java) R 19796 19799 17088 0 -1 4202560 6575 0 0 0 21523 11 0 0 20 0 43 0 177156218 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262139456008 140262586746088 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19827] ppid=19796 vsize=27544168 memory=1973188 CPUtime=0.1 cores=0-7
/proc/19799/task/19827/stat : 19827 (java) S 19796 19799 17088 0 -1 1077944384 260 0 0 0 10 0 0 0 20 0 43 0 177156218 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262138410000 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19828] ppid=19796 vsize=27544168 memory=1975756 CPUtime=214.88 cores=0-7
/proc/19799/task/19828/stat : 19828 (java) R 19796 19799 17088 0 -1 4202560 7215 0 0 0 21475 13 0 0 20 0 43 0 177156218 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262137350792 140262578402815 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19829] ppid=19796 vsize=27544168 memory=4140 CPUtime=0.11 cores=0-7
/proc/19799/task/19829/stat : 19829 (java) S 19796 19799 17088 0 -1 1077944384 39 0 0 0 11 0 0 0 20 0 43 0 177156218 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262136304688 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19830] ppid=19796 vsize=27544168 memory=1975240 CPUtime=0.07 cores=0-7
/proc/19799/task/19830/stat : 19830 (java) S 19796 19799 17088 0 -1 1077944384 52 0 0 0 7 0 0 0 20 0 43 0 177156219 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262135252144 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19831] ppid=19796 vsize=27544168 memory=1973700 CPUtime=0 cores=0-7
/proc/19799/task/19831/stat : 19831 (java) S 19796 19799 17088 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 43 0 177156219 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262134199824 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19832] ppid=19796 vsize=27544168 memory=4040 CPUtime=214.18 cores=0-7
/proc/19799/task/19832/stat : 19832 (java) R 19796 19799 17088 0 -1 4202560 6395 0 0 0 21407 11 0 0 20 0 43 0 177156237 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262133141120 140262586532710 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19833] ppid=19796 vsize=27544168 memory=1236 CPUtime=214.88 cores=0-7
/proc/19799/task/19833/stat : 19833 (java) R 19796 19799 17088 0 -1 4202560 6038 0 0 0 21479 9 0 0 20 0 43 0 177156237 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262132091568 140262584255939 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19834] ppid=19796 vsize=27544168 memory=644 CPUtime=0 cores=0-7
/proc/19799/task/19834/stat : 19834 (java) S 19796 19799 17088 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 43 0 177156238 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262131041168 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19835] ppid=19796 vsize=27544168 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/19799/task/19835/stat : 19835 (java) S 19796 19799 17088 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 43 0 177156238 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262129988624 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19836] ppid=19796 vsize=27544168 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/19799/task/19836/stat : 19836 (java) S 19796 19799 17088 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 43 0 177156238 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262126802064 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19837] ppid=19796 vsize=27544168 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/19799/task/19837/stat : 19837 (java) S 19796 19799 17088 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 43 0 177156238 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262125749520 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19838] ppid=19796 vsize=27544168 memory=1716 CPUtime=0 cores=0-7
/proc/19799/task/19838/stat : 19838 (java) S 19796 19799 17088 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 43 0 177156249 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262124696976 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19839] ppid=19796 vsize=27544168 memory=5792 CPUtime=0 cores=0-7
/proc/19799/task/19839/stat : 19839 (java) S 19796 19799 17088 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 43 0 177156251 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262123644432 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19840] ppid=19796 vsize=27544168 memory=1974720 CPUtime=0 cores=0-7
/proc/19799/task/19840/stat : 19840 (java) S 19796 19799 17088 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 43 0 177156257 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262122591664 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19841] ppid=19796 vsize=27544168 memory=1296 CPUtime=0 cores=0-7
/proc/19799/task/19841/stat : 19841 (java) S 19796 19799 17088 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 43 0 177156281 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262121539344 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19842] ppid=19796 vsize=27544168 memory=2336 CPUtime=0 cores=0-7
/proc/19799/task/19842/stat : 19842 (java) S 19796 19799 17088 0 -1 1077944384 636 0 0 0 0 0 0 0 20 0 43 0 177158970 28205228032 493552 33554432000 4194304 4196468 140737110029648 140262120485776 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
Current children cumulated CPU time: 1742.27 s
Current children cumulated vsize: 27544168 KiB
Current children cumulated memory: 1974208 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.012 s]*
/proc/loadavg: 8.50 8.08 7.54 9/223 19842
/proc/meminfo: memFree=21190788/32770624 swapFree=67108860/67108860
[pid=19799] ppid=19796 vsize=27544168 memory=1967016 CPUtime=1977.95 cores=0-7
/proc/19799/stat : 19799 (java) S 19796 19799 17088 0 -1 1077944320 182630 0 0 0 197623 172 0 0 20 0 43 0 177155842 28205228032 491754 33554432000 4194304 4196468 140737110029648 140737110012192 140262974971639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
/proc/19799/statm: 6886042 491754 3849 1 0 6873235 0
[pid=19799/tid=19801] ppid=19796 vsize=27544168 memory=6791534058613427641 CPUtime=3.69 cores=0-7
/proc/19799/task/19801/stat : 19801 (java) S 19796 19799 17088 0 -1 1077944384 14411 0 0 0 363 6 0 0 20 0 43 0 177155842 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262979209344 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19802] ppid=19796 vsize=27544168 memory=-7003737579269690708 CPUtime=1.56 cores=0-7
/proc/19799/task/19802/stat : 19802 (java) S 19796 19799 17088 0 -1 1077944384 6003 0 0 0 151 5 0 0 20 0 43 0 177155843 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262897551632 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19803] ppid=19796 vsize=27544168 memory=2428 CPUtime=1.58 cores=0-7
/proc/19799/task/19803/stat : 19803 (java) S 19796 19799 17088 0 -1 1077944384 6274 0 0 0 152 6 0 0 20 0 43 0 177155843 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262896499088 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19804] ppid=19796 vsize=27544168 memory=928 CPUtime=1.59 cores=0-7
/proc/19799/task/19804/stat : 19804 (java) S 19796 19799 17088 0 -1 1077944384 5884 0 0 0 153 6 0 0 20 0 43 0 177155843 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262530636304 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19805] ppid=19796 vsize=27544168 memory=1568 CPUtime=1.6 cores=0-7
/proc/19799/task/19805/stat : 19805 (java) S 19796 19799 17088 0 -1 1077944384 8330 0 0 0 153 7 0 0 20 0 43 0 177155843 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262529583760 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19806] ppid=19796 vsize=27544168 memory=2240 CPUtime=1.6 cores=0-7
/proc/19799/task/19806/stat : 19806 (java) S 19796 19799 17088 0 -1 1077944384 7108 0 0 0 154 6 0 0 20 0 43 0 177155843 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262528531216 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19807] ppid=19796 vsize=27544168 memory=4128 CPUtime=1.6 cores=0-7
/proc/19799/task/19807/stat : 19807 (java) S 19796 19799 17088 0 -1 1077944384 6646 0 0 0 153 7 0 0 20 0 43 0 177155843 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262527478672 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19808] ppid=19796 vsize=27544168 memory=2204 CPUtime=1.58 cores=0-7
/proc/19799/task/19808/stat : 19808 (java) S 19796 19799 17088 0 -1 1077944384 7167 0 0 0 152 6 0 0 20 0 43 0 177155843 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262526426128 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19809] ppid=19796 vsize=27544168 memory=7788 CPUtime=1.58 cores=0-7
/proc/19799/task/19809/stat : 19809 (java) S 19796 19799 17088 0 -1 1077944384 3931 0 0 0 153 5 0 0 20 0 43 0 177155843 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262525373584 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19810] ppid=19796 vsize=27544168 memory=836 CPUtime=0.52 cores=0-7
/proc/19799/task/19810/stat : 19810 (java) S 19796 19799 17088 0 -1 1077944384 13886 0 0 0 47 5 0 0 20 0 43 0 177155845 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262237005808 140262974982786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19811] ppid=19796 vsize=27544168 memory=1692 CPUtime=0 cores=0-7
/proc/19799/task/19811/stat : 19811 (java) S 19796 19799 17088 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 43 0 177155845 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262235952096 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19812] ppid=19796 vsize=27544168 memory=916 CPUtime=0 cores=0-7
/proc/19799/task/19812/stat : 19812 (java) S 19796 19799 17088 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 43 0 177155845 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262234899456 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19813] ppid=19796 vsize=27544168 memory=6948 CPUtime=0 cores=0-7
/proc/19799/task/19813/stat : 19813 (java) S 19796 19799 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 43 0 177155848 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262233848016 140262974990235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19814] ppid=19796 vsize=27544168 memory=4104 CPUtime=1.67 cores=0-7
/proc/19799/task/19814/stat : 19814 (java) S 19796 19799 17088 0 -1 1077944384 7583 0 0 0 166 1 0 0 20 0 43 0 177155848 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262232795632 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19815] ppid=19796 vsize=27544168 memory=1568 CPUtime=1.75 cores=0-7
/proc/19799/task/19815/stat : 19815 (java) S 19796 19799 17088 0 -1 1077944384 6485 0 0 0 175 0 0 0 20 0 43 0 177155848 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262231743088 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19816] ppid=19796 vsize=27544168 memory=2240 CPUtime=1.53 cores=0-7
/proc/19799/task/19816/stat : 19816 (java) S 19796 19799 17088 0 -1 1077944384 7850 0 0 0 151 2 0 0 20 0 43 0 177155848 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262230690544 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19817] ppid=19796 vsize=27544168 memory=4128 CPUtime=1 cores=0-7
/proc/19799/task/19817/stat : 19817 (java) S 19796 19799 17088 0 -1 1077944384 17134 0 0 0 96 4 0 0 20 0 43 0 177155848 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262229638000 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19818] ppid=19796 vsize=27544168 memory=2204 CPUtime=0 cores=0-7
/proc/19799/task/19818/stat : 19818 (java) S 19796 19799 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 177155848 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262228584672 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19819] ppid=19796 vsize=27544168 memory=7788 CPUtime=0.1 cores=0-7
/proc/19799/task/19819/stat : 19819 (java) S 19796 19799 17088 0 -1 1077944384 967 0 0 0 3 7 0 0 20 0 43 0 177155848 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262227532208 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19820] ppid=19796 vsize=27544168 memory=836 CPUtime=0 cores=0-7
/proc/19799/task/19820/stat : 19820 (java) S 19796 19799 17088 0 -1 1077944384 690 0 0 0 0 0 0 0 20 0 43 0 177156194 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262149972768 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19821] ppid=19796 vsize=27544168 memory=1692 CPUtime=0.71 cores=0-7
/proc/19799/task/19821/stat : 19821 (java) S 19796 19799 17088 0 -1 1077944384 3355 0 0 0 38 33 0 0 20 0 43 0 177156206 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262146823216 140262974982786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19822] ppid=19796 vsize=27544168 memory=279435675322032 CPUtime=243.85 cores=0-7
/proc/19799/task/19822/stat : 19822 (java) R 19796 19799 17088 0 -1 4202560 7828 0 0 0 24369 16 0 0 20 0 43 0 177156215 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262143667680 140262586528562 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19823] ppid=19796 vsize=27544168 memory=4629771062077588875 CPUtime=244.66 cores=0-7
/proc/19799/task/19823/stat : 19823 (java) R 19796 19799 17088 0 -1 4202560 6530 0 0 0 24455 11 0 0 20 0 43 0 177156216 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262142615136 140262586531482 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19824] ppid=19796 vsize=27544168 memory=-8961168018402230209 CPUtime=244.79 cores=0-7
/proc/19799/task/19824/stat : 19824 (java) R 19796 19799 17088 0 -1 4202560 7675 0 0 0 24469 10 0 0 20 0 43 0 177156216 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262141565520 140262582032149 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19825] ppid=19796 vsize=27544168 memory=-8253362762722141311 CPUtime=244.02 cores=0-7
/proc/19799/task/19825/stat : 19825 (java) R 19796 19799 17088 0 -1 4202560 4764 0 0 0 24389 13 0 0 20 0 43 0 177156218 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262140509656 140262583539969 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19826] ppid=19796 vsize=27544168 memory=7100839861465685612 CPUtime=244.58 cores=0-7
/proc/19799/task/19826/stat : 19826 (java) R 19796 19799 17088 0 -1 4202560 6953 0 0 0 24447 11 0 0 20 0 43 0 177156218 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262139455880 140262586528376 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19827] ppid=19796 vsize=27544168 memory=-7175204567652784766 CPUtime=0.1 cores=0-7
/proc/19799/task/19827/stat : 19827 (java) S 19796 19799 17088 0 -1 1077944384 260 0 0 0 10 0 0 0 20 0 43 0 177156218 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262138410000 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19828] ppid=19796 vsize=27544168 memory=3054156605268465310 CPUtime=244.19 cores=0-7
/proc/19799/task/19828/stat : 19828 (java) R 19796 19799 17088 0 -1 4202560 7867 0 0 0 24406 13 0 0 20 0 43 0 177156218 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262137350920 140262586605475 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19829] ppid=19796 vsize=27544168 memory=7451316987795958889 CPUtime=0.11 cores=0-7
/proc/19799/task/19829/stat : 19829 (java) S 19796 19799 17088 0 -1 1077944384 39 0 0 0 11 0 0 0 20 0 43 0 177156218 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262136304688 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19830] ppid=19796 vsize=27544168 memory=7522509283681659243 CPUtime=0.07 cores=0-7
/proc/19799/task/19830/stat : 19830 (java) S 19796 19799 17088 0 -1 1077944384 52 0 0 0 7 0 0 0 20 0 43 0 177156219 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262135252144 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19831] ppid=19796 vsize=27544168 memory=6226627159846119016 CPUtime=0 cores=0-7
/proc/19799/task/19831/stat : 19831 (java) S 19796 19799 17088 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 43 0 177156219 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262134199824 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19832] ppid=19796 vsize=27544168 memory=1969072 CPUtime=243.55 cores=0-7
/proc/19799/task/19832/stat : 19832 (java) R 19796 19799 17088 0 -1 4202560 6805 0 0 0 24344 11 0 0 20 0 43 0 177156237 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262133143888 140262960172561 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19833] ppid=19796 vsize=27544168 memory=6791534058613427641 CPUtime=244.07 cores=0-7
/proc/19799/task/19833/stat : 19833 (java) R 19796 19799 17088 0 -1 4202560 6464 0 0 0 24397 10 0 0 20 0 43 0 177156237 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262132088064 140262578401341 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19834] ppid=19796 vsize=27544168 memory=1156 CPUtime=0 cores=0-7
/proc/19799/task/19834/stat : 19834 (java) S 19796 19799 17088 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 43 0 177156238 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262131041168 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19835] ppid=19796 vsize=27544168 memory=4304 CPUtime=0 cores=0-7
/proc/19799/task/19835/stat : 19835 (java) S 19796 19799 17088 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 43 0 177156238 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262129988624 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19836] ppid=19796 vsize=27544168 memory=1967528 CPUtime=0 cores=0-7
/proc/19799/task/19836/stat : 19836 (java) S 19796 19799 17088 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 43 0 177156238 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262126802064 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19837] ppid=19796 vsize=27544168 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/19799/task/19837/stat : 19837 (java) S 19796 19799 17088 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 43 0 177156238 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262125749520 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19838] ppid=19796 vsize=27544168 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19838/stat : 19838 (java) S 19796 19799 17088 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 43 0 177156249 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262124696976 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19839] ppid=19796 vsize=27544168 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19839/stat : 19839 (java) S 19796 19799 17088 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 43 0 177156251 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262123644432 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19840] ppid=19796 vsize=27544168 memory=279435674799008 CPUtime=0 cores=0-7
/proc/19799/task/19840/stat : 19840 (java) S 19796 19799 17088 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 43 0 177156257 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262122591664 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19841] ppid=19796 vsize=27544168 memory=139717837401760 CPUtime=0 cores=0-7
/proc/19799/task/19841/stat : 19841 (java) S 19796 19799 17088 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 43 0 177156281 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262121539344 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
[pid=19799/tid=19842] ppid=19796 vsize=27544168 memory=0 CPUtime=0 cores=0-7
/proc/19799/task/19842/stat : 19842 (java) S 19796 19799 17088 0 -1 1077944384 636 0 0 0 0 0 0 0 20 0 43 0 177158970 28205228032 491754 33554432000 4194304 4196468 140737110029648 140262120485776 140262974981845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140737110037608 140737110037792 140737110037792 140737110040527 0
Current children cumulated CPU time: 1977.95 s
Current children cumulated vsize: 27544168 KiB
Current children cumulated memory: 1967016 KiB

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

[startup+252.135 s]
# the end of solver process 19799 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1976.98 s, system=1.75144 s

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

Child status: 143
Real time (s): 252.135
CPU time (s): 1978.73
CPU user time (s): 1976.98
CPU system time (s): 1.75144
CPU usage (%): 784.79
Max. virtual memory (cumulated for all children) (KiB): 27544168
Max. memory (cumulated for all children) (KiB): 2273616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1976.98
system time used= 1.75144
maximum resident set size= 2276744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64969
involuntary context switches= 42136


# summary of solver processes directly reported to runsolver:
#   pid: 19799
#   total CPU time (s): 1978.73
#   total CPU user time (s): 1976.98
#   total CPU system time (s): 1.75144

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.48494 second user time and 3.73332 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml
MD5SUM	7965d79c566fadd70d01c63d02ba9078
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	664
Best CPU time to get the best result obtained on this benchmark	251.89101
Satisfiable
(Un)Satisfiability was proved
Number of variables	1122
Number of constraints	1088
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}]
Minimum variable degree	0
Maximum variable degree	63
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}]
Minimum constraint arity	1
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}]
Number of extensional constraints	0
Number of intensional constraints	32
Distribution of constraint types	[{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4286038

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