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 - ALNS 2017-07-26	SAT (TO)	1240	2520.0601	2461.1399

0.23/0.40	c version: 2017-07-26
0.23/0.40	c seed: 21390481
0.23/0.40	c timeout: 2520
0.23/0.40	c memlimit: 11000
0.23/0.40	c nbcore: 4
0.41/0.43	c Parsing instance...
2.40/1.21	c Parsing done, starting search...
2.40/1.26	o 1669
19.18/15.41	o 1559
263.42/255.69	o 1512
448.15/436.16	o 1497
605.11/589.61	o 1474
883.23/861.12	o 1440
895.78/873.43	o 1437
911.85/889.12	o 1435
912.65/889.93	o 1427
920.86/897.91	o 1424
923.62/900.60	o 1386
923.73/900.79	o 1381
939.82/916.46	o 1364
946.46/922.98	o 1337
947.27/923.76	o 1324
1449.94/1415.28	o 1307
1912.82/1868.46	o 1302
1920.89/1876.34	o 1282
1921.00/1876.47	o 1276
2247.85/2195.47	o 1249
2296.52/2242.99	o 1246
2382.68/2327.01	o 1242
2402.74/2346.61	o 1240
2520.01/2461.11	s SATISFIABLE
2520.01/2461.12	v <instantiation>
2520.01/2461.12	v 	<list>
2520.01/2461.12	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]
2520.01/2461.12	v 	</list>
2520.01/2461.12	v 	<values>
2520.01/2461.12	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 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 0 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 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 55 72 78 93 100 29 24 36 53 54 75 84 100 100 20 9 18 68 90 100 51 29 57 50 41 78 73 62 100 98 100 26 
2520.01/2461.12	v 	</values>
2520.01/2461.12	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 (14996 MiB free)
  memory of node 1: 16384 MiB (15316 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273289-1502834802/watcher-4273289-1502834802 -o /tmp/evaluation-result-4273289-1502834802/solver-4273289-1502834802 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502806776-30867 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 21390481 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273289-1502834802.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2033, runsolver pid=2030
Current StackSize limit: 8192 KiB


[startup+0.100182 s]*
/proc/loadavg: 1.24 1.45 1.56 5/197 2035
/proc/meminfo: memFree=31016664/32770624 swapFree=67108860/67108860
[pid=2033] ppid=2030 vsize=13356348 memory=11240 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 17093 0 -1 1077944320 2614 0 0 0 0 0 0 0 20 0 6 0 85673421 13676900352 2806 18446744073709551615 4194304 4196468 140734469404128 140734469386672 140072416378615 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
/proc/2033/statm: 3339086 2810 1317 1 0 3329056 0
[pid=2033/tid=2035] ppid=2030 vsize=13358552 memory=7078086954469309281 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 17093 0 -1 4202560 1747 0 0 0 0 0 0 0 20 0 6 0 85673431 13679157248 3205 18446744073709551615 4194304 4196468 140734469404128 140072420614736 140072377359333 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2036] ppid=2030 vsize=13358552 memory=3461361991549258287 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 85673431 13679157248 3205 18446744073709551615 4194304 4196468 140734469404128 140072016079888 140072416388821 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2037] ppid=2030 vsize=13358552 memory=139816624309888 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 85673431 13679157248 3271 18446744073709551615 4194304 4196468 140734469404128 140072015027344 140072416388821 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2038] ppid=2030 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 85673431 13679157248 3271 18446744073709551615 4194304 4196468 140734469404128 140072013974288 140072416388821 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2039] ppid=2030 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 85673431 13679157248 3271 18446744073709551615 4194304 4196468 140734469404128 140072012921744 140072416388821 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13356348 KiB
Current children cumulated memory: 11240 KiB

[startup+0.213395 s]*
/proc/loadavg: 1.24 1.45 1.56 7/210 2048
/proc/meminfo: memFree=31007452/32770624 swapFree=67108860/67108860
[pid=2033] ppid=2030 vsize=13975920 memory=27804 CPUtime=0.07 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 17093 0 -1 1077944320 6736 0 0 0 6 1 0 0 20 0 15 0 85673421 14311342080 6951 18446744073709551615 4194304 4196468 140734469404128 140734469386672 140072416378615 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
/proc/2033/statm: 3493980 6951 3317 1 0 3482759 0
[pid=2033/tid=2035] ppid=2030 vsize=13975920 memory=8390339637985935414 CPUtime=0.06 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 17093 0 -1 4202560 4858 0 0 0 5 1 0 0 20 0 15 0 85673431 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140072420615208 140072400459102 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2036] ppid=2030 vsize=13975920 memory=288230600413020183 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673431 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140072016079888 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2037] ppid=2030 vsize=13975920 memory=139816624371286 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673431 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140072015027344 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2038] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673431 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140072013974288 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2039] ppid=2030 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673431 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140072012921744 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2040] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673433 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140071895267568 140072416389762 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2041] ppid=2030 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85673433 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140071894213792 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2042] ppid=2030 vsize=13975920 memory=139816624309888 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85673434 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140071893160688 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2043] ppid=2030 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140071892109264 140072416397211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2044] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 17093 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 85673436 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140071891057392 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2045] ppid=2030 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673436 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140071890004848 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2046] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 17093 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 85673436 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140071888951792 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2047] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140071887899488 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2048] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673441 14311342080 7016 18446744073709551615 4194304 4196468 140734469404128 140071886846512 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27804 KiB

[startup+0.310221 s]*
/proc/loadavg: 1.24 1.45 1.56 5/210 2048
/proc/meminfo: memFree=30989584/32770624 swapFree=67108860/67108860
[pid=2033] ppid=2030 vsize=13975920 memory=39572 CPUtime=0.23 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 17093 0 -1 1077944320 10137 0 0 0 20 3 0 0 20 0 15 0 85673421 14311342080 9893 18446744073709551615 4194304 4196468 140734469404128 140734469386672 140072416378615 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
/proc/2033/statm: 3493980 9893 3558 1 0 3482759 0
[pid=2033/tid=2035] ppid=2030 vsize=13975920 memory=6933928925625698159 CPUtime=0.16 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 17093 0 -1 4202560 7869 0 0 0 14 2 0 0 20 0 15 0 85673431 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140072420586832 140072416400541 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2036] ppid=2030 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673431 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140072016079888 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2037] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673431 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140072015027344 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2038] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673431 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140072013974288 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2039] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673431 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140072012921744 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2040] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 85673433 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140071895267568 140072416389762 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2041] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85673433 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140071894213792 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2042] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85673434 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140071893160688 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2043] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140071892109264 140072416397211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2044] ppid=2030 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 17093 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 15 0 85673436 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140071891057392 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2045] ppid=2030 vsize=13975920 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 17093 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 85673436 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140071890004848 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2046] ppid=2030 vsize=13975920 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 17093 0 -1 1077944384 387 0 0 0 4 0 0 0 20 0 15 0 85673436 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140071888951792 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2047] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140071887899488 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2048] ppid=2030 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673441 14311342080 9940 18446744073709551615 4194304 4196468 140734469404128 140071886846512 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39572 KiB

[startup+0.704209 s]
/proc/loadavg: 1.24 1.45 1.56 4/210 2048
/proc/meminfo: memFree=30928852/32770624 swapFree=67108860/67108860
[pid=2033] ppid=2030 vsize=13977988 memory=66316 CPUtime=1.02 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 17093 0 -1 1077944320 13801 0 0 0 97 5 0 0 20 0 15 0 85673421 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140734469386672 140072416378615 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
/proc/2033/statm: 3494497 16579 3732 1 0 3483271 0
[pid=2033/tid=2035] ppid=2030 vsize=13977988 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 17093 0 -1 4202560 10349 0 0 0 51 3 0 0 20 0 15 0 85673431 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140072420613552 140072416390550 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2036] ppid=2030 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673431 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140072016079888 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2037] ppid=2030 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673431 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140072015027344 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2038] ppid=2030 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673431 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140072013974288 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2039] ppid=2030 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673431 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140072012921744 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2040] ppid=2030 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 85673433 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140071895267568 140072416389762 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2041] ppid=2030 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85673433 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140071894213792 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2042] ppid=2030 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85673434 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140071893160688 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2043] ppid=2030 vsize=13977988 memory=3496 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140071892109264 140072416397211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2044] ppid=2030 vsize=13977988 memory=6933928925625698159 CPUtime=0.12 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) R 2030 2033 17093 0 -1 4202560 919 0 0 0 12 0 0 0 20 0 15 0 85673436 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140071891048224 140072400285317 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2045] ppid=2030 vsize=13977988 memory=4126316290023845779 CPUtime=0.12 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 17093 0 -1 1077944384 280 0 0 0 12 0 0 0 20 0 15 0 85673436 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140071890004848 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2046] ppid=2030 vsize=13977988 memory=6944656575208382560 CPUtime=0.21 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) R 2030 2033 17093 0 -1 1077944384 871 0 0 0 21 0 0 0 20 0 15 0 85673436 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140071888946832 140072416388821 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2047] ppid=2030 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140071887899488 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2048] ppid=2030 vsize=13977988 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673441 14313459712 16579 18446744073709551615 4194304 4196468 140734469404128 140071886846512 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66316 KiB

[startup+1.50077 s]
/proc/loadavg: 1.24 1.45 1.56 6/210 2048
/proc/meminfo: memFree=30860080/32770624 swapFree=67108860/67108860
[pid=2033] ppid=2030 vsize=13982084 memory=178296 CPUtime=3.31 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 17093 0 -1 1077944320 30294 0 0 0 322 9 0 0 20 0 15 0 85673421 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140734469386672 140072416378615 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
/proc/2033/statm: 3495521 44574 3774 1 0 3484295 0
[pid=2033/tid=2035] ppid=2030 vsize=13982084 memory=279632972816576 CPUtime=1.33 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 17093 0 -1 4202560 15426 0 0 0 127 6 0 0 20 0 15 0 85673431 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140072420615880 140072061506201 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2036] ppid=2030 vsize=13982084 memory=7814773714201547701 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673431 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140072016079888 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2037] ppid=2030 vsize=13982084 memory=6153444752544197729 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85673431 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140072015027344 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2038] ppid=2030 vsize=13982084 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673431 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140072013974288 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2039] ppid=2030 vsize=13982084 memory=83683142800007 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85673431 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140072012921744 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2040] ppid=2030 vsize=13982084 memory=279632972611824 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 17093 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 85673433 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140071895267568 140072416389762 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2041] ppid=2030 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85673433 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140071894213792 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2042] ppid=2030 vsize=13982084 memory=7679373425970869002 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85673434 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140071893160688 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2043] ppid=2030 vsize=13982084 memory=-3975649505123405722 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140071892109264 140072416397211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2044] ppid=2030 vsize=13982084 memory=-7737903650269872590 CPUtime=0.67 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 17093 0 -1 1077944384 3363 0 0 0 67 0 0 0 20 0 15 0 85673436 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140071891057392 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2045] ppid=2030 vsize=13982084 memory=-3195349257566499791 CPUtime=0.62 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) R 2030 2033 17093 0 -1 4202560 2846 0 0 0 62 0 0 0 20 0 15 0 85673436 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140071889991008 140072394615367 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2046] ppid=2030 vsize=13982084 memory=-7966001967441022672 CPUtime=0.65 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 17093 0 -1 1077944384 6872 0 0 0 64 1 0 0 20 0 15 0 85673436 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140071888951792 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2047] ppid=2030 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140071887899488 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2048] ppid=2030 vsize=13982084 memory=2048 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 17093 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 85673441 14317654016 44574 18446744073709551615 4194304 4196468 140734469404128 140071886846512 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
Current children cumulated CPU time: 3.31 s
Current children cumulated vsize: 13982084 KiB

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

/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 17093 0 -1 4202560 113270 0 0 0 235773 80 0 0 20 0 15 0 85673431 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140072420616432 140072063297991 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2036] ppid=2030 vsize=13982084 memory=578504 CPUtime=17.48 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 17093 0 -1 1077944384 20671 0 0 0 1708 40 0 0 20 0 15 0 85673431 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140072016079888 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2037] ppid=2030 vsize=13982084 memory=587800 CPUtime=17.42 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 17093 0 -1 1077944384 17553 0 0 0 1700 42 0 0 20 0 15 0 85673431 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140072015027344 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2038] ppid=2030 vsize=13982084 memory=647772 CPUtime=17.47 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 17093 0 -1 1077944384 22340 0 0 0 1706 41 0 0 20 0 15 0 85673431 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140072013974288 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2039] ppid=2030 vsize=13982084 memory=645208 CPUtime=17.53 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 17093 0 -1 1077944384 22625 0 0 0 1712 41 0 0 20 0 15 0 85673431 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140072012921744 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2040] ppid=2030 vsize=13982084 memory=645588 CPUtime=3.66 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 17093 0 -1 1077944384 96779 0 0 0 301 65 0 0 20 0 15 0 85673433 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140071895267568 140072416389762 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2041] ppid=2030 vsize=13982084 memory=646224 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 17093 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 85673433 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140071894213856 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2042] ppid=2030 vsize=13982084 memory=648252 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 17093 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 85673434 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140071893160704 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2043] ppid=2030 vsize=13982084 memory=645684 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140071892109264 140072416397211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2044] ppid=2030 vsize=13982084 memory=4028 CPUtime=2.47 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 17093 0 -1 1077944384 32479 0 0 0 244 3 0 0 20 0 15 0 85673436 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140071891057392 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2045] ppid=2030 vsize=13982084 memory=648768 CPUtime=2.25 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 17093 0 -1 1077944384 33256 0 0 0 220 5 0 0 20 0 15 0 85673436 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140071890004848 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2046] ppid=2030 vsize=13982084 memory=15876 CPUtime=1.03 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 17093 0 -1 1077944384 43303 0 0 0 99 4 0 0 20 0 15 0 85673436 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140071888951792 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2047] ppid=2030 vsize=13982084 memory=645168 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140071887899488 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2048] ppid=2030 vsize=13982084 memory=4028 CPUtime=1.39 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 17093 0 -1 1077944384 2375 0 0 0 67 72 0 0 20 0 15 0 85673441 14317654016 161292 18446744073709551615 4194304 4196468 140734469404128 140071886846512 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
Current children cumulated CPU time: 2439.33 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 645168 KiB

[startup+2442.3 s]
/proc/loadavg: 1.14 1.32 1.33 3/209 2232
/proc/meminfo: memFree=29879496/32770624 swapFree=67108860/67108860
[pid=2033] ppid=2030 vsize=13982084 memory=599844 CPUtime=2500.73 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 17093 0 -1 1077944320 407997 0 0 0 249700 373 0 0 20 0 15 0 85673421 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140734469386672 140072416378615 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
/proc/2033/statm: 3495521 149961 3834 1 0 3484295 0
[pid=2033/tid=2035] ppid=2030 vsize=13982084 memory=604312 CPUtime=2417.9 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 17093 0 -1 4202560 114057 0 0 0 241709 81 0 0 20 0 15 0 85673431 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140072420616432 140072061943656 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2036] ppid=2030 vsize=13982084 memory=4028 CPUtime=17.94 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 17093 0 -1 1077944384 20736 0 0 0 1752 42 0 0 20 0 15 0 85673431 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140072016079888 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2037] ppid=2030 vsize=13982084 memory=600592 CPUtime=17.9 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 17093 0 -1 1077944384 17776 0 0 0 1746 44 0 0 20 0 15 0 85673431 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140072015027344 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2038] ppid=2030 vsize=13982084 memory=606880 CPUtime=17.95 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 17093 0 -1 1077944384 22432 0 0 0 1752 43 0 0 20 0 15 0 85673431 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140072013974288 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2039] ppid=2030 vsize=13982084 memory=605492 CPUtime=17.99 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 17093 0 -1 1077944384 22710 0 0 0 1757 42 0 0 20 0 15 0 85673431 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140072012921744 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2040] ppid=2030 vsize=13982084 memory=602408 CPUtime=3.75 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 17093 0 -1 1077944384 96966 0 0 0 309 66 0 0 20 0 15 0 85673433 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140071895267568 140072416389762 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2041] ppid=2030 vsize=13982084 memory=602408 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 17093 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 85673433 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140071894213856 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2042] ppid=2030 vsize=13982084 memory=599844 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 17093 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 85673434 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140071893160704 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2043] ppid=2030 vsize=13982084 memory=606524 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140071892109264 140072416397211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2044] ppid=2030 vsize=13982084 memory=626244 CPUtime=2.47 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 17093 0 -1 1077944384 32481 0 0 0 244 3 0 0 20 0 15 0 85673436 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140071891057392 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2045] ppid=2030 vsize=13982084 memory=103 CPUtime=2.27 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 17093 0 -1 1077944384 33644 0 0 0 222 5 0 0 20 0 15 0 85673436 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140071890004848 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2046] ppid=2030 vsize=13982084 memory=4300 CPUtime=1.03 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 17093 0 -1 1077944384 43305 0 0 0 99 4 0 0 20 0 15 0 85673436 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140071888951792 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2047] ppid=2030 vsize=13982084 memory=932 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140071887899488 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2048] ppid=2030 vsize=13982084 memory=7680170660397595203 CPUtime=1.43 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 17093 0 -1 1077944384 2390 0 0 0 69 74 0 0 20 0 15 0 85673441 14317654016 149961 18446744073709551615 4194304 4196468 140734469404128 140071886846512 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
Current children cumulated CPU time: 2500.73 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 599844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2461.11 s]
/proc/loadavg: 1.10 1.30 1.32 3/209 2232
/proc/meminfo: memFree=29884924/32770624 swapFree=67108860/67108860
[pid=2033] ppid=2030 vsize=13982084 memory=626244 CPUtime=2520.01 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 17093 0 -1 1077944320 411513 0 0 0 251625 376 0 0 20 0 15 0 85673421 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140734469386672 140072416378615 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
/proc/2033/statm: 3495521 156561 3834 1 0 3484295 0
[pid=2033/tid=2035] ppid=2030 vsize=13982084 memory=626244 CPUtime=2436.51 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 17093 0 -1 4202560 114860 0 0 0 243569 82 0 0 20 0 15 0 85673431 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140072420616432 140072063297967 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2036] ppid=2030 vsize=13982084 memory=631372 CPUtime=18.1 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 17093 0 -1 1077944384 20839 0 0 0 1768 42 0 0 20 0 15 0 85673431 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140072016079888 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2037] ppid=2030 vsize=13982084 memory=626244 CPUtime=18.06 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 17093 0 -1 1077944384 17901 0 0 0 1762 44 0 0 20 0 15 0 85673431 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140072015027344 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2038] ppid=2030 vsize=13982084 memory=103 CPUtime=18.1 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 17093 0 -1 1077944384 22616 0 0 0 1767 43 0 0 20 0 15 0 85673431 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140072013974288 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2039] ppid=2030 vsize=13982084 memory=4126316290023845779 CPUtime=18.14 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 17093 0 -1 1077944384 22849 0 0 0 1772 42 0 0 20 0 15 0 85673431 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140072012921744 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2040] ppid=2030 vsize=13982084 memory=1152 CPUtime=3.79 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 17093 0 -1 1077944384 99118 0 0 0 312 67 0 0 20 0 15 0 85673433 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071895267568 140072416389762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2041] ppid=2030 vsize=13982084 memory=628808 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 17093 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 85673433 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071894213856 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2042] ppid=2030 vsize=13982084 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 17093 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 85673434 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071893160704 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2043] ppid=2030 vsize=13982084 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071892109264 140072416397211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2044] ppid=2030 vsize=13982084 memory=2420 CPUtime=2.47 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 17093 0 -1 1077944384 32483 0 0 0 244 3 0 0 20 0 15 0 85673436 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071891057392 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2045] ppid=2030 vsize=13982084 memory=4028 CPUtime=2.27 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 17093 0 -1 1077944384 33646 0 0 0 222 5 0 0 20 0 15 0 85673436 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071890004848 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2046] ppid=2030 vsize=13982084 memory=47220 CPUtime=1.03 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 17093 0 -1 1077944384 43307 0 0 0 99 4 0 0 20 0 15 0 85673436 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071888951792 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2047] ppid=2030 vsize=13982084 memory=13928 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071887899488 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2048] ppid=2030 vsize=13982084 memory=13928 CPUtime=1.44 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 17093 0 -1 1077944384 2394 0 0 0 69 75 0 0 20 0 15 0 85673441 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071886846512 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 626244 KiB

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

[startup+2461.14 s]
# the end of solver process 2033 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.3 s, system=3.76874 s

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

[startup+2461.11 s]
/proc/loadavg: 1.10 1.30 1.32 3/209 2232
/proc/meminfo: memFree=29884924/32770624 swapFree=67108860/67108860
[pid=2033] ppid=2030 vsize=13982084 memory=626244 CPUtime=2520.01 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 17093 0 -1 1077944320 411513 0 0 0 251625 376 0 0 20 0 15 0 85673421 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140734469386672 140072416378615 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
/proc/2033/statm: 3495521 156561 3834 1 0 3484295 0
[pid=2033/tid=2035] ppid=2030 vsize=13982084 memory=626244 CPUtime=2436.51 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 17093 0 -1 4202560 114860 0 0 0 243569 82 0 0 20 0 15 0 85673431 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140072420616432 140072063297967 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2036] ppid=2030 vsize=13982084 memory=631372 CPUtime=18.1 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 17093 0 -1 1077944384 20839 0 0 0 1768 42 0 0 20 0 15 0 85673431 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140072016079888 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2037] ppid=2030 vsize=13982084 memory=626244 CPUtime=18.06 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 17093 0 -1 1077944384 17901 0 0 0 1762 44 0 0 20 0 15 0 85673431 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140072015027344 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2038] ppid=2030 vsize=13982084 memory=103 CPUtime=18.1 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 17093 0 -1 1077944384 22616 0 0 0 1767 43 0 0 20 0 15 0 85673431 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140072013974288 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2039] ppid=2030 vsize=13982084 memory=4126316290023845779 CPUtime=18.14 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 17093 0 -1 1077944384 22849 0 0 0 1772 42 0 0 20 0 15 0 85673431 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140072012921744 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2040] ppid=2030 vsize=13982084 memory=1152 CPUtime=3.79 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 17093 0 -1 1077944384 99118 0 0 0 312 67 0 0 20 0 15 0 85673433 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071895267568 140072416389762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2041] ppid=2030 vsize=13982084 memory=628808 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 17093 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 85673433 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071894213856 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2042] ppid=2030 vsize=13982084 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 17093 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 85673434 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071893160704 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2043] ppid=2030 vsize=13982084 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071892109264 140072416397211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2044] ppid=2030 vsize=13982084 memory=2420 CPUtime=2.47 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 17093 0 -1 1077944384 32483 0 0 0 244 3 0 0 20 0 15 0 85673436 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071891057392 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2045] ppid=2030 vsize=13982084 memory=4028 CPUtime=2.27 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 17093 0 -1 1077944384 33646 0 0 0 222 5 0 0 20 0 15 0 85673436 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071890004848 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2046] ppid=2030 vsize=13982084 memory=47220 CPUtime=1.03 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 17093 0 -1 1077944384 43307 0 0 0 99 4 0 0 20 0 15 0 85673436 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071888951792 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2047] ppid=2030 vsize=13982084 memory=13928 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85673436 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071887899488 140072416388821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
[pid=2033/tid=2048] ppid=2030 vsize=13982084 memory=13928 CPUtime=1.44 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 17093 0 -1 1077944384 2394 0 0 0 69 75 0 0 20 0 15 0 85673441 14317654016 156561 18446744073709551615 4194304 4196468 140734469404128 140071886846512 140072416389762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140734469407094 140734469407273 140734469407273 140734469410767 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 626244 KiB

Child status: 143
Real time (s): 2461.14
CPU time (s): 2520.06
CPU user time (s): 2516.3
CPU system time (s): 3.76874
CPU usage (%): 102.394
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3417740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.76874
maximum resident set size= 3417740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141929
involuntary context switches= 6469


# summary of solver processes directly reported to runsolver:
#   pid: 2033
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.3
#   total CPU system time (s): 3.76874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3282 second user time and 23.6019 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml
MD5SUM	65a76f6052f0c7193e3442ad9f3b990a
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	743
Best CPU time to get the best result obtained on this benchmark	2400.03
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 4273289

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