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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-07-26	SAT (TO)	1283	19957.9	2520.1201

0.30/0.25	c version: 2017-07-26
0.30/0.25	c seed: 1332562370
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 11000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
1.58/0.76	c Parsing done, starting search...
9.00/4.38	o 2001
9.00/4.40	o 1675
9.89/4.46	o 1653
9.89/4.46	o 1633
10.65/4.56	o 1630
10.65/4.59	o 1578
11.38/4.62	o 1572
13.05/4.87	o 1553
14.54/5.10	o 1546
15.29/5.12	o 1531
15.29/5.12	o 1529
15.29/5.17	o 1520
15.29/5.17	o 1508
16.12/5.24	o 1499
16.12/5.25	o 1496
16.12/5.25	o 1494
16.12/5.26	o 1485
16.12/5.27	o 1464
16.12/5.27	o 1462
16.12/5.28	o 1453
19.96/5.71	o 1450
21.59/5.93	o 1445
21.59/5.94	o 1441
21.59/5.94	o 1439
21.59/5.95	o 1437
24.74/6.37	o 1436
29.49/6.93	o 1428
35.85/7.72	o 1416
35.85/7.77	o 1392
160.94/23.45	o 1387
164.06/23.82	o 1381
184.85/26.43	o 1375
184.85/26.44	o 1370
187.20/26.76	o 1367
187.20/26.77	o 1354
1212.67/155.82	o 1334
1865.34/238.22	o 1327
1868.51/238.60	o 1326
1873.99/239.32	o 1325
2000.90/255.31	o 1322
3331.38/423.29	o 1321
4055.14/514.53	o 1313
4055.14/514.54	o 1312
4057.42/514.85	o 1306
4058.17/514.91	o 1305
4170.67/529.16	o 1303
4172.26/529.35	o 1302
7017.62/888.77	o 1299
10288.89/1301.89	o 1292
18190.11/2297.32	o 1291
18190.11/2297.33	o 1289
18230.66/2302.50	o 1288
18231.46/2302.52	o 1285
18294.21/2310.45	o 1283
19957.04/2520.08	s SATISFIABLE
19957.04/2520.09	v <instantiation>
19957.04/2520.09	v 	<list>
19957.04/2520.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]
19957.04/2520.09	v 	</list>
19957.04/2520.09	v 	<values>
19957.04/2520.09	v 		0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 47 55 61 42 39 100 95 58 78 54 68 100 79 34 89 75 32 17 38 27 46 55 53 76 100 100 15 21 80 100 78 100 
19957.04/2520.09	v 	</values>
19957.04/2520.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 (12922 MiB free)
  memory of node 1: 16384 MiB (14927 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275239-1502712540/watcher-4275239-1502712540 -o /tmp/evaluation-result-4275239-1502712540/solver-4275239-1502712540 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502711681-25747 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1332562370 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275239-1502712540.xml 

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

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


[startup+0.100129 s]*
/proc/loadavg: 8.53 8.75 8.76 2/199 25784
/proc/meminfo: memFree=28499252/32770624 swapFree=67108860/67108860
[pid=25764] ppid=25761 vsize=14325320 memory=34732 CPUtime=0.12 cores=0-7
/proc/25764/stat : 25764 (java) S 25761 25764 25720 0 -1 1077944320 8085 0 0 0 11 1 0 0 20 0 20 0 104341863 14669127680 8683 33554432000 4194304 4196468 140734100776496 140734100759040 140025124478711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
/proc/25764/statm: 3581330 8683 3390 1 0 3569050 0
[pid=25764/tid=25766] ppid=25761 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/25764/task/25766/stat : 25766 (java) R 25761 25764 25720 0 -1 4202560 6019 0 0 0 8 1 0 0 20 0 20 0 104341863 14669127680 8683 33554432000 4194304 4196468 140734100776496 140025128666624 140025108559198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25767] ppid=25761 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25764/task/25767/stat : 25767 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 8683 33554432000 4194304 4196468 140734100776496 140025062079120 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25768] ppid=25761 vsize=14325320 memory=140699093096064 CPUtime=0 cores=0-7
/proc/25764/task/25768/stat : 25768 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024719350288 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25769] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25769/stat : 25769 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024718297488 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25770] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25770/stat : 25770 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024717244688 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25771] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25771/stat : 25771 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024716192912 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25772] ppid=25761 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/25764/task/25772/stat : 25772 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024715140112 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25773] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25773/stat : 25773 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024714087312 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25774] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25774/stat : 25774 (java) S 25761 25764 25720 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024713034512 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25775] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25775/stat : 25775 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341866 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024314030448 140025124489858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25776] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25776/stat : 25776 (java) S 25761 25764 25720 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104341866 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024312976416 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25777] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25777/stat : 25777 (java) S 25761 25764 25720 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104341866 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024311923568 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25778] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25778/stat : 25778 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341869 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024310871888 140025124497307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25779] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25779/stat : 25779 (java) S 25761 25764 25720 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 104341869 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024309820272 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25780] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25780/stat : 25780 (java) S 25761 25764 25720 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104341869 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024308767472 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25781] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25781/stat : 25781 (java) S 25761 25764 25720 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 104341869 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024307714672 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25782] ppid=25761 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/25764/task/25782/stat : 25782 (java) S 25761 25764 25720 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 20 0 104341869 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024306661872 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25783] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25783/stat : 25783 (java) S 25761 25764 25720 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341869 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024305609312 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25784] ppid=25761 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/25764/task/25784/stat : 25784 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341869 14669127680 8683 33554432000 4194304 4196468 140734100776496 140024304556592 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 34732 KiB

[startup+0.210424 s]*
/proc/loadavg: 8.53 8.75 8.76 3/199 25784
/proc/meminfo: memFree=28489676/32770624 swapFree=67108860/67108860
[pid=25764] ppid=25761 vsize=14325320 memory=43876 CPUtime=0.3 cores=0-7
/proc/25764/stat : 25764 (java) S 25761 25764 25720 0 -1 1077944320 9076 0 0 0 28 2 0 0 20 0 20 0 104341863 14669127680 10969 33554432000 4194304 4196468 140734100776496 140734100759040 140025124478711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
/proc/25764/statm: 3581330 10969 3628 1 0 3569050 0
[pid=25764/tid=25766] ppid=25761 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/25764/task/25766/stat : 25766 (java) D 25761 25764 25720 0 -1 1077944384 6655 0 0 0 18 1 0 0 20 0 20 0 104341863 14669127680 10969 33554432000 4194304 4196468 140734100776496 140025128687968 140025117157933 0 4 0 16800975 18446744072101584420 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25767] ppid=25761 vsize=14325320 memory=9234 CPUtime=0 cores=0-7
/proc/25764/task/25767/stat : 25767 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 10969 33554432000 4194304 4196468 140734100776496 140025062079120 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25768] ppid=25761 vsize=14325320 memory=4123245747166172832 CPUtime=0 cores=0-7
/proc/25764/task/25768/stat : 25768 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 10969 33554432000 4194304 4196468 140734100776496 140024719350288 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25769] ppid=25761 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/25764/task/25769/stat : 25769 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 10969 33554432000 4194304 4196468 140734100776496 140024718297488 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25770] ppid=25761 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25770/stat : 25770 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14669160448 10969 33554432000 4194304 4196468 140734100776496 140024717244688 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25771] ppid=25761 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25771/stat : 25771 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14669160448 10969 33554432000 4194304 4196468 140734100776496 140024716192912 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25772] ppid=25761 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/25764/task/25772/stat : 25772 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 11014 33554432000 4194304 4196468 140734100776496 140024715140112 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25773] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25773/stat : 25773 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 11014 33554432000 4194304 4196468 140734100776496 140024714087312 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25774] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25774/stat : 25774 (java) S 25761 25764 25720 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341864 14669127680 11014 33554432000 4194304 4196468 140734100776496 140024713034512 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25775] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25775/stat : 25775 (java) S 25761 25764 25720 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104341866 14669127680 11014 33554432000 4194304 4196468 140734100776496 140024314030448 140025124489858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25776] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25776/stat : 25776 (java) S 25761 25764 25720 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104341866 14669127680 11014 33554432000 4194304 4196468 140734100776496 140024312976416 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25777] ppid=25761 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25777/stat : 25777 (java) S 25761 25764 25720 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104341866 14669160448 11014 33554432000 4194304 4196468 140734100776496 140024311923568 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25778] ppid=25761 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25778/stat : 25778 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341869 14669160448 11014 33554432000 4194304 4196468 140734100776496 140024310871888 140025124497307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25779] ppid=25761 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/25764/task/25779/stat : 25779 (java) S 25761 25764 25720 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 104341869 14669127680 11014 33554432000 4194304 4196468 140734100776496 140024309820272 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25780] ppid=25761 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25780/stat : 25780 (java) S 25761 25764 25720 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 104341869 14669127680 11014 33554432000 4194304 4196468 140734100776496 140024308767472 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25781] ppid=25761 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/25764/task/25781/stat : 25781 (java) S 25761 25764 25720 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 20 0 104341869 14669127680 11014 33554432000 4194304 4196468 140734100776496 140024307714672 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25782] ppid=25761 vsize=14325352 memory=0 CPUtime=0.05 cores=0-7
/proc/25764/task/25782/stat : 25782 (java) S 25761 25764 25720 0 -1 1077944384 375 0 0 0 5 0 0 0 20 0 20 0 104341869 14669160448 11014 33554432000 4194304 4196468 140734100776496 140024306661872 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25783] ppid=25761 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25783/stat : 25783 (java) S 25761 25764 25720 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341869 14669160448 11014 33554432000 4194304 4196468 140734100776496 140024305609312 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25784] ppid=25761 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/25764/task/25784/stat : 25784 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341869 14669127680 11014 33554432000 4194304 4196468 140734100776496 140024304556592 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43876 KiB

[startup+0.310272 s]*
/proc/loadavg: 8.53 8.75 8.76 2/199 25784
/proc/meminfo: memFree=28482480/32770624 swapFree=67108860/67108860
[pid=25764] ppid=25761 vsize=14325340 memory=51564 CPUtime=0.48 cores=0-7
/proc/25764/stat : 25764 (java) S 25761 25764 25720 0 -1 1077944320 10109 0 0 0 46 2 0 0 20 0 20 0 104341863 14669148160 12891 33554432000 4194304 4196468 140734100776496 140734100759040 140025124478711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
/proc/25764/statm: 3581335 12891 3707 1 0 3569050 0
[pid=25764/tid=25766] ppid=25761 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25764/task/25766/stat : 25766 (java) R 25761 25764 25720 0 -1 4202560 7218 0 0 0 28 1 0 0 20 0 20 0 104341863 14669148160 12891 33554432000 4194304 4196468 140734100776496 140025128695680 140024741965682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25767] ppid=25761 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25767/stat : 25767 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669148160 12891 33554432000 4194304 4196468 140734100776496 140025062079120 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25768] ppid=25761 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25768/stat : 25768 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024719350288 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25769] ppid=25761 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25769/stat : 25769 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024718297488 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25770] ppid=25761 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25770/stat : 25770 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024717244688 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25771] ppid=25761 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/25764/task/25771/stat : 25771 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024716192912 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25772] ppid=25761 vsize=14325340 memory=140698967962543 CPUtime=0 cores=0-7
/proc/25764/task/25772/stat : 25772 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024715140112 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25773] ppid=25761 vsize=14325340 memory=140698967964848 CPUtime=0 cores=0-7
/proc/25764/task/25773/stat : 25773 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024714087312 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25774] ppid=25761 vsize=14325340 memory=140698967967152 CPUtime=0 cores=0-7
/proc/25764/task/25774/stat : 25774 (java) S 25761 25764 25720 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341864 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024713034512 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25775] ppid=25761 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25775/stat : 25775 (java) S 25761 25764 25720 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104341866 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024314030448 140025124489858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25776] ppid=25761 vsize=14325340 memory=281397935941264 CPUtime=0 cores=0-7
/proc/25764/task/25776/stat : 25776 (java) S 25761 25764 25720 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104341866 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024312976416 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25777] ppid=25761 vsize=14325340 memory=281397935948176 CPUtime=0 cores=0-7
/proc/25764/task/25777/stat : 25777 (java) S 25761 25764 25720 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104341866 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024311923568 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25778] ppid=25761 vsize=14325340 memory=281397935889456 CPUtime=0 cores=0-7
/proc/25764/task/25778/stat : 25778 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341869 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024310871888 140025124497307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25779] ppid=25761 vsize=14325340 memory=281397935962000 CPUtime=0.04 cores=0-7
/proc/25764/task/25779/stat : 25779 (java) S 25761 25764 25720 0 -1 1077944384 415 0 0 0 4 0 0 0 20 0 20 0 104341869 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024309820272 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25780] ppid=25761 vsize=14325340 memory=281397935968912 CPUtime=0.02 cores=0-7
/proc/25764/task/25780/stat : 25780 (java) S 25761 25764 25720 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 20 0 104341869 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024308767472 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25781] ppid=25761 vsize=14325340 memory=281397935966608 CPUtime=0.02 cores=0-7
/proc/25764/task/25781/stat : 25781 (java) S 25761 25764 25720 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 20 0 104341869 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024307714672 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25782] ppid=25761 vsize=14325340 memory=281397935983216 CPUtime=0.08 cores=0-7
/proc/25764/task/25782/stat : 25782 (java) R 25761 25764 25720 0 -1 4202560 500 0 0 0 8 0 0 0 20 0 20 0 104341869 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024306661872 140025124490646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25783] ppid=25761 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25783/stat : 25783 (java) S 25761 25764 25720 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341869 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024305609312 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25784] ppid=25761 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/25764/task/25784/stat : 25784 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341869 14669148160 12891 33554432000 4194304 4196468 140734100776496 140024304556592 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51564 KiB

[startup+0.700938 s]
/proc/loadavg: 8.53 8.75 8.76 2/199 25784
/proc/meminfo: memFree=28469080/32770624 swapFree=67108860/67108860
[pid=25764] ppid=25761 vsize=14327388 memory=88408 CPUtime=1.58 cores=0-7
/proc/25764/stat : 25764 (java) S 25761 25764 25720 0 -1 1077944320 14171 0 0 0 153 5 0 0 20 0 20 0 104341863 14671245312 22102 33554432000 4194304 4196468 140734100776496 140734100759040 140025124478711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
/proc/25764/statm: 3581847 22102 3775 1 0 3569562 0
[pid=25764/tid=25766] ppid=25761 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/25764/task/25766/stat : 25766 (java) R 25761 25764 25720 0 -1 4202560 8164 0 0 0 64 3 0 0 20 0 20 0 104341863 14671245312 22102 33554432000 4194304 4196468 140734100776496 140025128715120 140025124500637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25767] ppid=25761 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25767/stat : 25767 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14671245312 22102 33554432000 4194304 4196468 140734100776496 140025062079120 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25768] ppid=25761 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25768/stat : 25768 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14671245312 22102 33554432000 4194304 4196468 140734100776496 140024719350288 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25769] ppid=25761 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25769/stat : 25769 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14671245312 22102 33554432000 4194304 4196468 140734100776496 140024718297488 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25770] ppid=25761 vsize=14327388 memory=1008 CPUtime=0 cores=0-7
/proc/25764/task/25770/stat : 25770 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14671245312 22102 33554432000 4194304 4196468 140734100776496 140024717244688 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25771] ppid=25761 vsize=14327388 memory=11008 CPUtime=0 cores=0-7
/proc/25764/task/25771/stat : 25771 (java) S 25761 25764 25720 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341864 14671245312 22102 33554432000 4194304 4196468 140734100776496 140024716192912 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25772] ppid=25761 vsize=14327388 memory=1228 CPUtime=0 cores=0-7
/proc/25764/task/25772/stat : 25772 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14671245312 22102 33554432000 4194304 4196468 140734100776496 140024715140112 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25773] ppid=25761 vsize=14327388 memory=1420 CPUtime=0 cores=0-7
/proc/25764/task/25773/stat : 25773 (java) S 25761 25764 25720 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341864 14671245312 22102 33554432000 4194304 4196468 140734100776496 140024714087312 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25774] ppid=25761 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/25764/task/25774/stat : 25774 (java) S 25761 25764 25720 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341864 14671245312 22102 33554432000 4194304 4196468 140734100776496 140024713034512 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25775] ppid=25761 vsize=14327388 memory=16448 CPUtime=0 cores=0-7
/proc/25764/task/25775/stat : 25775 (java) S 25761 25764 25720 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104341866 14671245312 22102 33554432000 4194304 4196468 140734100776496 140024314030448 140025124489858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0

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

/proc/25764/task/25786/stat : 25786 (java) R 25761 25764 25720 0 -1 1077944384 21429 0 0 0 214 245 0 0 20 0 46 0 104342259 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024291119904 140025124489858 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25787] ppid=25761 vsize=16068328 memory=4432 CPUtime=2474.1 cores=0-7
/proc/25764/task/25787/stat : 25787 (java) R 25761 25764 25720 0 -1 4202560 77763 0 0 0 247339 71 0 0 20 0 46 0 104342268 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024287964304 140024753485330 0 4 0 16800975 0 0 0 -1 6 0 0 47 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25788] ppid=25761 vsize=16068328 memory=1688612 CPUtime=2473.83 cores=0-7
/proc/25764/task/25788/stat : 25788 (java) R 25761 25764 25720 0 -1 4202560 77888 0 0 0 247306 77 0 0 20 0 46 0 104342269 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024286912328 140024753484706 0 4 0 16800975 0 0 0 -1 7 0 0 46 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25789] ppid=25761 vsize=16068328 memory=4108 CPUtime=2475.36 cores=0-7
/proc/25764/task/25789/stat : 25789 (java) R 25761 25764 25720 0 -1 4202560 71347 0 0 0 247464 72 0 0 20 0 46 0 104342269 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024285859216 140024749927841 0 4 0 16800975 0 0 0 -1 2 0 0 47 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25790] ppid=25761 vsize=16068328 memory=1398720917958146503 CPUtime=2476.59 cores=0-7
/proc/25764/task/25790/stat : 25790 (java) R 25761 25764 25720 0 -1 4202560 76190 0 0 0 247583 76 0 0 20 0 46 0 104342272 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024284805904 140024753795113 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25791] ppid=25761 vsize=16068328 memory=4872558044660077418 CPUtime=2474.89 cores=0-7
/proc/25764/task/25791/stat : 25791 (java) R 25761 25764 25720 0 -1 4202560 74177 0 0 0 247407 82 0 0 20 0 46 0 104342272 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024283756656 140024754146345 0 4 0 16800975 0 0 0 -1 1 0 0 45 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25792] ppid=25761 vsize=16068328 memory=8242832241811678803 CPUtime=2474.01 cores=0-7
/proc/25764/task/25792/stat : 25792 (java) R 25761 25764 25720 0 -1 4202560 72677 0 0 0 247329 72 0 0 20 0 46 0 104342272 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024282700560 140024753535328 0 4 0 16800975 0 0 0 -1 0 0 0 42 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25793] ppid=25761 vsize=16068328 memory=7454130749351154278 CPUtime=0 cores=0-7
/proc/25764/task/25793/stat : 25793 (java) S 25761 25764 25720 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 46 0 104342272 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024281654288 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25794] ppid=25761 vsize=16068328 memory=7236229500900889449 CPUtime=0.08 cores=0-7
/proc/25764/task/25794/stat : 25794 (java) S 25761 25764 25720 0 -1 1077944384 78 0 0 0 8 0 0 0 20 0 46 0 104342272 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024280601488 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25795] ppid=25761 vsize=16068328 memory=7454130749351154278 CPUtime=0.09 cores=0-7
/proc/25764/task/25795/stat : 25795 (java) S 25761 25764 25720 0 -1 1077944384 81 0 0 0 9 0 0 0 20 0 46 0 104342272 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024279549712 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25796] ppid=25761 vsize=16068328 memory=7454130749351154278 CPUtime=0 cores=0-7
/proc/25764/task/25796/stat : 25796 (java) S 25761 25764 25720 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 104342272 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024278496912 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25797] ppid=25761 vsize=16068328 memory=2196 CPUtime=2474.95 cores=0-7
/proc/25764/task/25797/stat : 25797 (java) R 25761 25764 25720 0 -1 4202560 69143 0 0 0 247430 65 0 0 20 0 46 0 104342272 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024277437328 140024753795634 0 4 0 16800975 0 0 0 -1 5 0 0 44 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25798] ppid=25761 vsize=16068328 memory=6760 CPUtime=2475 cores=0-7
/proc/25764/task/25798/stat : 25798 (java) R 25761 25764 25720 0 -1 4202560 81061 0 0 0 247428 72 0 0 20 0 46 0 104342272 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024276384528 140024750053312 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25799] ppid=25761 vsize=16068328 memory=840 CPUtime=0 cores=0-7
/proc/25764/task/25799/stat : 25799 (java) S 25761 25764 25720 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 46 0 104342301 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024273204496 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25800] ppid=25761 vsize=16068328 memory=1696 CPUtime=0 cores=0-7
/proc/25764/task/25800/stat : 25800 (java) S 25761 25764 25720 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 46 0 104342303 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024272151696 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25801] ppid=25761 vsize=16068328 memory=920 CPUtime=0 cores=0-7
/proc/25764/task/25801/stat : 25801 (java) S 25761 25764 25720 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 104342303 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024271098896 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25802] ppid=25761 vsize=16068328 memory=3888 CPUtime=0 cores=0-7
/proc/25764/task/25802/stat : 25802 (java) S 25761 25764 25720 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 104342305 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024270046096 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25803] ppid=25761 vsize=16068328 memory=1156 CPUtime=0 cores=0-7
/proc/25764/task/25803/stat : 25803 (java) S 25761 25764 25720 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 46 0 104342307 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024268994320 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25804] ppid=25761 vsize=16068328 memory=4432 CPUtime=0 cores=0-7
/proc/25764/task/25804/stat : 25804 (java) S 25761 25764 25720 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 104342307 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024267941296 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25805] ppid=25761 vsize=16068328 memory=1689636 CPUtime=0 cores=0-7
/proc/25764/task/25805/stat : 25805 (java) S 25761 25764 25720 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 46 0 104342307 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024266888720 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25806] ppid=25761 vsize=16068328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25764/task/25806/stat : 25806 (java) S 25761 25764 25720 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 46 0 104342307 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024265835920 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25807] ppid=25761 vsize=16068328 memory=1788 CPUtime=0 cores=0-7
/proc/25764/task/25807/stat : 25807 (java) S 25761 25764 25720 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 104342310 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024264783120 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25808] ppid=25761 vsize=16068328 memory=952 CPUtime=0 cores=0-7
/proc/25764/task/25808/stat : 25808 (java) S 25761 25764 25720 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 46 0 104342381 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024263730320 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25809] ppid=25761 vsize=16068328 memory=2340 CPUtime=0 cores=0-7
/proc/25764/task/25809/stat : 25809 (java) S 25761 25764 25720 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 46 0 104342383 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024262677520 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25810] ppid=25761 vsize=16068328 memory=1580 CPUtime=0 cores=0-7
/proc/25764/task/25810/stat : 25810 (java) S 25761 25764 25720 0 -1 1077944384 1053 0 0 0 0 0 0 0 20 0 46 0 104342384 16453967872 422024 33554432000 4194304 4196468 140734100776496 140024261624720 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
Current children cumulated CPU time: 19957 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 1688096 KiB

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

[startup+2520.12 s]
# the end of solver process 25764 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19947.6 s, system=10.2672 s

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

[startup+2520.11 s]
/proc/loadavg: 8.59 8.86 8.84 9/224 25871
/proc/meminfo: memFree=26833544/32770624 swapFree=67108860/67108860
[pid=25764] ppid=25761 vsize=16201456 memory=1688176 CPUtime=19957.9 cores=0-7
/proc/25764/stat : 25764 (java) S 25761 25764 25720 0 -1 1077944320 1859433 0 0 0 1994761 1025 0 0 20 0 45 0 104341863 16590290944 422044 33554432000 4194304 4196468 140734100776496 140734100759040 140025124478711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
/proc/25764/statm: 4050364 422044 3866 1 0 4037558 0
[pid=25764/tid=25766] ppid=25761 vsize=16201456 memory=1688612 CPUtime=3.81 cores=0-7
/proc/25764/task/25766/stat : 25766 (java) S 25761 25764 25720 0 -1 1077944384 13601 0 0 0 374 7 0 0 20 0 45 0 104341863 16590290944 422044 33554432000 4194304 4196468 140734100776496 140025128716416 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25767] ppid=25761 vsize=16201456 memory=1695280 CPUtime=16.9 cores=0-7
/proc/25764/task/25767/stat : 25767 (java) S 25761 25764 25720 0 -1 1077944384 124541 0 0 0 1647 43 0 0 20 0 45 0 104341864 16590290944 422044 33554432000 4194304 4196468 140734100776496 140025062079120 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25768] ppid=25761 vsize=16201456 memory=1688612 CPUtime=16.94 cores=0-7
/proc/25764/task/25768/stat : 25768 (java) S 25761 25764 25720 0 -1 1077944384 120279 0 0 0 1652 42 0 0 20 0 45 0 104341864 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024719350288 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25769] ppid=25761 vsize=16201456 memory=928 CPUtime=16.99 cores=0-7
/proc/25764/task/25769/stat : 25769 (java) S 25761 25764 25720 0 -1 1077944384 116120 0 0 0 1658 41 0 0 20 0 45 0 104341864 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024718297488 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25770] ppid=25761 vsize=16201456 memory=1690664 CPUtime=16.95 cores=0-7
/proc/25764/task/25770/stat : 25770 (java) S 25761 25764 25720 0 -1 1077944384 122507 0 0 0 1650 45 0 0 20 0 45 0 104341864 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024717244688 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25771] ppid=25761 vsize=16201456 memory=1690148 CPUtime=16.94 cores=0-7
/proc/25764/task/25771/stat : 25771 (java) S 25761 25764 25720 0 -1 1077944384 118986 0 0 0 1650 44 0 0 20 0 45 0 104341864 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024716192912 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25772] ppid=25761 vsize=16201456 memory=1236 CPUtime=16.9 cores=0-7
/proc/25764/task/25772/stat : 25772 (java) S 25761 25764 25720 0 -1 1077944384 113805 0 0 0 1652 38 0 0 20 0 45 0 104341864 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024715140112 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25773] ppid=25761 vsize=16201456 memory=644 CPUtime=16.86 cores=0-7
/proc/25764/task/25773/stat : 25773 (java) S 25761 25764 25720 0 -1 1077944384 111625 0 0 0 1642 44 0 0 20 0 45 0 104341864 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024714087312 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25774] ppid=25761 vsize=16201456 memory=6791534058613427641 CPUtime=16.98 cores=0-7
/proc/25764/task/25774/stat : 25774 (java) S 25761 25764 25720 0 -1 1077944384 114849 0 0 0 1656 42 0 0 20 0 45 0 104341864 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024713034512 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25775] ppid=25761 vsize=16201456 memory=1698356 CPUtime=6.67 cores=0-7
/proc/25764/task/25775/stat : 25775 (java) D 25761 25764 25720 0 -1 4202560 221450 0 0 0 563 104 0 0 20 0 45 0 104341866 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024314030552 140025117195863 0 0 0 16800975 18446744071582151463 0 0 -1 3 0 0 19 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25776] ppid=25761 vsize=16201456 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25776/stat : 25776 (java) S 25761 25764 25720 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 45 0 104341866 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024312976480 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25777] ppid=25761 vsize=16201456 memory=281397935735024 CPUtime=0 cores=0-7
/proc/25764/task/25777/stat : 25777 (java) S 25761 25764 25720 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 45 0 104341866 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024311923584 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25779] ppid=25761 vsize=16201456 memory=4298021286670237728 CPUtime=1.94 cores=0-7
/proc/25764/task/25779/stat : 25779 (java) S 25761 25764 25720 0 -1 1077944384 7402 0 0 0 193 1 0 0 20 0 45 0 104341869 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024309820272 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25780] ppid=25761 vsize=16201456 memory=6791534058613427641 CPUtime=1.7 cores=0-7
/proc/25764/task/25780/stat : 25780 (java) S 25761 25764 25720 0 -1 1077944384 8233 0 0 0 169 1 0 0 20 0 45 0 104341869 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024308767472 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25781] ppid=25761 vsize=16201456 memory=1200 CPUtime=1.8 cores=0-7
/proc/25764/task/25781/stat : 25781 (java) S 25761 25764 25720 0 -1 1077944384 9091 0 0 0 179 1 0 0 20 0 45 0 104341869 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024307714672 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25782] ppid=25761 vsize=16201456 memory=2428 CPUtime=1.06 cores=0-7
/proc/25764/task/25782/stat : 25782 (java) S 25761 25764 25720 0 -1 1077944384 19870 0 0 0 103 3 0 0 20 0 45 0 104341869 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024306661872 140025124489858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25783] ppid=25761 vsize=16201456 memory=1728 CPUtime=0 cores=0-7
/proc/25764/task/25783/stat : 25783 (java) S 25761 25764 25720 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 104341869 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024305609312 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25785] ppid=25761 vsize=16201456 memory=1691176 CPUtime=0 cores=0-7
/proc/25764/task/25785/stat : 25785 (java) S 25761 25764 25720 0 -1 1077944384 960 0 0 0 0 0 0 0 20 0 45 0 104342247 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024294269600 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25786] ppid=25761 vsize=16201456 memory=1709132 CPUtime=4.59 cores=0-7
/proc/25764/task/25786/stat : 25786 (java) S 25761 25764 25720 0 -1 1077936192 21429 0 0 0 214 245 0 0 20 0 45 0 104342259 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024291118400 140025124488917 0 2147221247 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25787] ppid=25761 vsize=16201456 memory=1719904 CPUtime=2474.19 cores=0-7
/proc/25764/task/25787/stat : 25787 (java) S 25761 25764 25720 0 -1 1077944384 77763 0 0 0 247348 71 0 0 20 0 45 0 104342268 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024287964816 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25788] ppid=25761 vsize=16201456 memory=1703488 CPUtime=2473.93 cores=0-7
/proc/25764/task/25788/stat : 25788 (java) R 25761 25764 25720 0 -1 4202560 77888 0 0 0 247316 77 0 0 20 0 45 0 104342269 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024286912328 140025109689320 0 4 0 16800975 0 0 0 -1 7 0 0 46 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25789] ppid=25761 vsize=16201456 memory=4108 CPUtime=2475.46 cores=0-7
/proc/25764/task/25789/stat : 25789 (java) D 25761 25764 25720 0 -1 4202560 71347 0 0 0 247474 72 0 0 20 0 45 0 104342269 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024285859352 140025109689320 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 47 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25790] ppid=25761 vsize=16201456 memory=4140 CPUtime=2476.69 cores=0-7
/proc/25764/task/25790/stat : 25790 (java) D 25761 25764 25720 0 -1 4202560 76190 0 0 0 247593 76 0 0 20 0 45 0 104342272 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024284806040 140025109689320 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 46 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25791] ppid=25761 vsize=16201456 memory=30104 CPUtime=2474.99 cores=0-7
/proc/25764/task/25791/stat : 25791 (java) D 25761 25764 25720 0 -1 4202560 74177 0 0 0 247417 82 0 0 20 0 45 0 104342272 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024283756544 140025109689320 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 45 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25792] ppid=25761 vsize=16201456 memory=1689124 CPUtime=2474.11 cores=0-7
/proc/25764/task/25792/stat : 25792 (java) D 25761 25764 25720 0 -1 4202560 72677 0 0 0 247339 72 0 0 20 0 45 0 104342272 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024282700448 140025109689320 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 42 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25793] ppid=25761 vsize=16201456 memory=1702460 CPUtime=0 cores=0-7
/proc/25764/task/25793/stat : 25793 (java) S 25761 25764 25720 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 45 0 104342272 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024281654288 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25794] ppid=25761 vsize=16201456 memory=4140 CPUtime=0.08 cores=0-7
/proc/25764/task/25794/stat : 25794 (java) S 25761 25764 25720 0 -1 1077944384 78 0 0 0 8 0 0 0 20 0 45 0 104342272 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024280601488 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25795] ppid=25761 vsize=16201456 memory=30104 CPUtime=0.09 cores=0-7
/proc/25764/task/25795/stat : 25795 (java) S 25761 25764 25720 0 -1 1077944384 81 0 0 0 9 0 0 0 20 0 45 0 104342272 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024279549712 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25796] ppid=25761 vsize=16201456 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25796/stat : 25796 (java) S 25761 25764 25720 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 45 0 104342272 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024278496912 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25797] ppid=25761 vsize=16201456 memory=7524214600328636267 CPUtime=2475.05 cores=0-7
/proc/25764/task/25797/stat : 25797 (java) S 25761 25764 25720 0 -1 1077944384 69144 0 0 0 247440 65 0 0 20 0 45 0 104342272 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024277437840 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25798] ppid=25761 vsize=16201456 memory=1692200 CPUtime=2475.09 cores=0-7
/proc/25764/task/25798/stat : 25798 (java) S 25761 25764 25720 0 -1 1077944384 81061 0 0 0 247437 72 0 0 20 0 45 0 104342272 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024276385040 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25799] ppid=25761 vsize=16201456 memory=1710668 CPUtime=0 cores=0-7
/proc/25764/task/25799/stat : 25799 (java) S 25761 25764 25720 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 45 0 104342301 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024273204496 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25800] ppid=25761 vsize=16201456 memory=1710668 CPUtime=0 cores=0-7
/proc/25764/task/25800/stat : 25800 (java) S 25761 25764 25720 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 45 0 104342303 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024272151696 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25801] ppid=25761 vsize=16201456 memory=1710156 CPUtime=0 cores=0-7
/proc/25764/task/25801/stat : 25801 (java) S 25761 25764 25720 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 45 0 104342303 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024271098896 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25802] ppid=25761 vsize=16201456 memory=1690664 CPUtime=0 cores=0-7
/proc/25764/task/25802/stat : 25802 (java) S 25761 25764 25720 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 45 0 104342305 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024270046096 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25803] ppid=25761 vsize=16201456 memory=920 CPUtime=0 cores=0-7
/proc/25764/task/25803/stat : 25803 (java) S 25761 25764 25720 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 45 0 104342307 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024268994320 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25804] ppid=25761 vsize=16201456 memory=33 CPUtime=0 cores=0-7
/proc/25764/task/25804/stat : 25804 (java) S 25761 25764 25720 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 104342307 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024267941296 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25805] ppid=25761 vsize=16201456 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25805/stat : 25805 (java) S 25761 25764 25720 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 45 0 104342307 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024266888720 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25806] ppid=25761 vsize=16201456 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25806/stat : 25806 (java) S 25761 25764 25720 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 45 0 104342307 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024265835920 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25807] ppid=25761 vsize=16201456 memory=0 CPUtime=0 cores=0-7
/proc/25764/task/25807/stat : 25807 (java) S 25761 25764 25720 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 45 0 104342310 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024264783120 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25808] ppid=25761 vsize=16201456 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25764/task/25808/stat : 25808 (java) S 25761 25764 25720 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 45 0 104342381 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024263730320 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25809] ppid=25761 vsize=16201456 memory=4128 CPUtime=0 cores=0-7
/proc/25764/task/25809/stat : 25809 (java) S 25761 25764 25720 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 45 0 104342383 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024262677520 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
[pid=25764/tid=25810] ppid=25761 vsize=16201456 memory=2196 CPUtime=0 cores=0-7
/proc/25764/task/25810/stat : 25810 (java) S 25761 25764 25720 0 -1 1077944384 1053 0 0 0 0 0 0 0 20 0 45 0 104342384 16590290944 422044 33554432000 4194304 4196468 140734100776496 140024261624720 140025124488917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140734100784225 140734100784411 140734100784411 140734100787151 0
Current children cumulated CPU time: 19957.9 s
Current children cumulated vsize: 16201456 KiB
Current children cumulated memory: 1688176 KiB

Child status: 143
Real time (s): 2520.12
CPU time (s): 19957.9
CPU user time (s): 19947.6
CPU system time (s): 10.2672
CPU usage (%): 791.941
Max. virtual memory (cumulated for all children) (KiB): 16201456
Max. memory (cumulated for all children) (KiB): 2800040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19947.6
system time used= 10.2672
maximum resident set size= 2800040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1859476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 655615
involuntary context switches= 422223


# summary of solver processes directly reported to runsolver:
#   pid: 25764
#   total CPU time (s): 19957.9
#   total CPU user time (s): 19947.6
#   total CPU system time (s): 10.2672

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.3752 second user time and 36.7402 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 4275239

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