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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-08-22	SAT (TO)	1402	19935.4	2520.1101

0.26/0.47	c version: 2017-08-22
0.26/0.48	c seed: 1708890141
0.26/0.48	c timeout: 20160
0.26/0.48	c memlimit: 22000
0.26/0.48	c nbcore: 8
0.26/0.50	c Parsing instance...
1.54/0.99	c Parsing done, starting search...
8.41/4.60	o 2023
9.16/4.61	o 1995
9.16/4.63	o 1937
9.16/4.63	o 1929
9.16/4.64	o 1893
9.16/4.65	o 1861
9.16/4.65	o 1856
9.16/4.66	o 1853
9.16/4.67	o 1826
9.16/4.70	o 1806
9.92/4.77	o 1795
10.71/4.80	o 1789
12.31/5.03	o 1750
13.11/5.13	o 1742
13.84/5.22	o 1737
13.84/5.25	o 1732
13.84/5.25	o 1725
14.67/5.36	o 1722
14.67/5.38	o 1716
15.49/5.46	o 1715
15.49/5.47	o 1712
15.49/5.48	o 1706
16.19/5.58	o 1702
16.19/5.58	o 1701
16.19/5.58	o 1690
16.98/5.60	o 1689
16.98/5.64	o 1687
16.98/5.64	o 1686
17.80/5.71	o 1680
17.80/5.74	o 1677
17.80/5.75	o 1674
18.61/5.85	o 1672
18.61/5.87	o 1666
19.35/5.98	o 1663
20.21/6.03	o 1661
51.18/10.01	o 1639
60.01/11.10	o 1630
61.53/11.27	o 1627
62.33/11.36	o 1621
83.92/14.08	o 1583
286.15/39.41	o 1580
316.37/43.30	o 1574
332.31/45.24	o 1573
392.73/52.89	o 1567
402.35/54.09	o 1562
477.66/63.58	o 1560
560.12/73.96	o 1556
560.98/74.05	o 1549
562.44/74.30	o 1517
564.80/74.60	o 1505
1590.44/204.04	o 1504
1591.96/204.30	o 1503
1862.88/238.41	o 1502
2224.80/284.20	o 1491
2227.91/284.52	o 1490
5627.07/713.63	o 1487
5648.48/716.37	o 1482
5648.48/716.37	o 1480
5890.64/746.98	o 1476
5894.61/747.48	o 1475
5914.45/749.91	o 1448
5936.65/752.77	o 1435
8543.30/1081.95	o 1425
11576.48/1465.18	o 1417
13273.70/1679.63	o 1402
19934.73/2520.07	s SATISFIABLE
19934.73/2520.08	v <instantiation>
19934.73/2520.08	v 	<list>
19934.73/2520.08	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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] u[33]
19934.73/2520.08	v 	</list>
19934.73/2520.08	v 	<values>
19934.73/2520.08	v 		0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 23 100 84 87 45 88 30 28 55 19 100 60 14 92 93 43 79 65 38 100 100 56 52 72 61 100 64 80 42 64 96 22 97 
19934.73/2520.08	v 	</values>
19934.73/2520.08	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 (15485 MiB free)
  memory of node 1: 16384 MiB (15697 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285050-1503429096/watcher-4285050-1503429096 -o /tmp/evaluation-result-4285050-1503429096/solver-4285050-1503429096 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node131-1503420571-2424 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1708890141 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285050-1503429096.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=3948, runsolver pid=3945
Current StackSize limit: 8192 KiB


[startup+0.10015 s]*
/proc/loadavg: 8.84 8.57 8.61 1/173 3949
/proc/meminfo: memFree=31931064/32770624 swapFree=67108860/67108860
[pid=3948] ppid=3945 vsize=33976 memory=452 CPUtime=0 cores=0-7
/proc/3948/stat : 3948 (runsolver) D 3945 3948 2330 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 790559 34791424 113 18446744073709551615 4194304 4346622 140729739971664 140729739968296 139641131528919 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 31543296 140729739972672 140729739973155 140729739973155 140729739976650 0
/proc/3948/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.208626 s]*
/proc/loadavg: 8.84 8.57 8.61 2/185 3961
/proc/meminfo: memFree=31922828/32770624 swapFree=67108860/67108860
[pid=3948] ppid=3945 vsize=25927168 memory=22820 CPUtime=0.05 cores=0-7
/proc/3948/stat : 3948 (java) S 3945 3948 2330 0 -1 1077944320 5171 0 0 0 4 1 0 0 20 0 19 0 790559 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140733733112704 140320613072631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 15 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
/proc/3948/statm: 6481792 5705 2583 1 0 6471289 0
[pid=3948/tid=3950] ppid=3945 vsize=25927168 memory=4026532046 CPUtime=0.04 cores=0-7
/proc/3948/task/3950/stat : 3950 (java) D 3945 3948 2330 0 -1 4202560 3256 0 0 0 4 0 0 0 20 0 19 0 790575 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140320617310112 140320613094653 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3951] ppid=3945 vsize=25927168 memory=9163 CPUtime=0 cores=0-7
/proc/3948/task/3951/stat : 3951 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 790575 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140320570038928 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3952] ppid=3945 vsize=25927168 memory=139641134481792 CPUtime=0 cores=0-7
/proc/3948/task/3952/stat : 3952 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 790575 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140320568986128 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3953] ppid=3945 vsize=25927168 memory=-1 CPUtime=0 cores=0-7
/proc/3948/task/3953/stat : 3953 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 790575 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140320567933328 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3954] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3954/stat : 3954 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 790575 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140320566880528 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3955] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3955/stat : 3955 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 790575 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140320565828752 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3956] ppid=3945 vsize=25927168 memory=-1 CPUtime=0 cores=0-7
/proc/3948/task/3956/stat : 3956 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 790575 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140320564775952 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3957] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3957/stat : 3957 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 790575 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140320563723152 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3958] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3958/stat : 3958 (java) S 3945 3948 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 790575 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140320562670352 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3959] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3959/stat : 3959 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 790577 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140319745091952 140320613083778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3960] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3960/stat : 3960 (java) S 3945 3948 2330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 790577 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140319744037920 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3961] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3961/stat : 3961 (java) S 3945 3948 2330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 790577 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140319742985072 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3962] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3962/stat : 3962 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 790580 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140319741933392 140320613091227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3963] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3963/stat : 3963 (java) S 3945 3948 2330 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 19 0 790580 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140319740881776 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3964] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3964/stat : 3964 (java) S 3945 3948 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 790580 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140319739828976 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3965] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3965/stat : 3965 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 790580 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140319738776176 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3966] ppid=3945 vsize=25927168 memory=-1 CPUtime=0 cores=0-7
/proc/3948/task/3966/stat : 3966 (java) S 3945 3948 2330 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 19 0 790580 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140319737723376 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3967] ppid=3945 vsize=25927168 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3967/stat : 3967 (java) S 3945 3948 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 790580 26549420032 5705 18446744073709551615 4194304 4196468 140733733130160 140318746339936 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 25927168 KiB
Current children cumulated memory: 22820 KiB

[startup+0.309541 s]*
/proc/loadavg: 8.84 8.57 8.61 2/192 3968
/proc/meminfo: memFree=31914340/32770624 swapFree=67108860/67108860
[pid=3948] ppid=3945 vsize=25998592 memory=33764 CPUtime=0.11 cores=0-7
/proc/3948/stat : 3948 (java) S 3945 3948 2330 0 -1 1077944320 7752 0 0 0 10 1 0 0 20 0 20 0 790559 26622558208 8441 18446744073709551615 4194304 4196468 140733733130160 140733733112704 140320613072631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 15 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
/proc/3948/statm: 6499648 8441 3385 1 0 6488426 0
[pid=3948/tid=3950] ppid=3945 vsize=25998592 memory=7680170660397595203 CPUtime=0.08 cores=0-7
/proc/3948/task/3950/stat : 3950 (java) R 3945 3948 2330 0 -1 4202560 5690 0 0 0 7 1 0 0 20 0 20 0 790575 26622558208 8441 18446744073709551615 4194304 4196468 140733733130160 140320617289312 140320605752349 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3951] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3951/stat : 3951 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790575 26622558208 8441 18446744073709551615 4194304 4196468 140733733130160 140320570038928 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3952] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3952/stat : 3952 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790575 26622558208 8441 18446744073709551615 4194304 4196468 140733733130160 140320568986128 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3953] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3953/stat : 3953 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790575 26622558208 8441 18446744073709551615 4194304 4196468 140733733130160 140320567933328 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3954] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3954/stat : 3954 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790575 26622558208 8441 18446744073709551615 4194304 4196468 140733733130160 140320566880528 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3955] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3955/stat : 3955 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790575 26622558208 8507 18446744073709551615 4194304 4196468 140733733130160 140320565828752 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3956] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3956/stat : 3956 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790575 26622558208 8507 18446744073709551615 4194304 4196468 140733733130160 140320564775952 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3957] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3957/stat : 3957 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790575 26622558208 8507 18446744073709551615 4194304 4196468 140733733130160 140320563723152 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3958] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3958/stat : 3958 (java) S 3945 3948 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 790575 26622558208 8507 18446744073709551615 4194304 4196468 140733733130160 140320562670352 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3959] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3959/stat : 3959 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790577 26622558208 8573 18446744073709551615 4194304 4196468 140733733130160 140319745091952 140320613083778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3960] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3960/stat : 3960 (java) S 3945 3948 2330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 790577 26622558208 8573 18446744073709551615 4194304 4196468 140733733130160 140319744037920 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3961] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3961/stat : 3961 (java) S 3945 3948 2330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 790577 26622558208 8573 18446744073709551615 4194304 4196468 140733733130160 140319742985072 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3962] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3962/stat : 3962 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790580 26622558208 8573 18446744073709551615 4194304 4196468 140733733130160 140319741933392 140320613091227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3963] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3963/stat : 3963 (java) S 3945 3948 2330 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 790580 26622558208 8573 18446744073709551615 4194304 4196468 140733733130160 140319740881776 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3964] ppid=3945 vsize=25998592 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3964/stat : 3964 (java) S 3945 3948 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 790580 26622558208 8573 18446744073709551615 4194304 4196468 140733733130160 140319739828976 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3965] ppid=3945 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3965/stat : 3965 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790580 26624225280 8573 18446744073709551615 4194304 4196468 140733733130160 140319738776176 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3966] ppid=3945 vsize=26000220 memory=0 CPUtime=0.01 cores=0-7
/proc/3948/task/3966/stat : 3966 (java) S 3945 3948 2330 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 790580 26624225280 8573 18446744073709551615 4194304 4196468 140733733130160 140319737723376 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3967] ppid=3945 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3967/stat : 3967 (java) S 3945 3948 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 790580 26624225280 8573 18446744073709551615 4194304 4196468 140733733130160 140318746339936 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3968] ppid=3945 vsize=26000220 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3968/stat : 3968 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790587 26624225280 8573 18446744073709551615 4194304 4196468 140733733130160 140318745287216 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 25998592 KiB
Current children cumulated memory: 33764 KiB

[startup+0.700922 s]
/proc/loadavg: 8.84 8.57 8.61 4/192 3968
/proc/meminfo: memFree=31897848/32770624 swapFree=67108860/67108860
[pid=3948] ppid=3945 vsize=25998676 memory=62928 CPUtime=0.83 cores=0-7
/proc/3948/stat : 3948 (java) S 3945 3948 2330 0 -1 1077944320 14006 0 0 0 78 5 0 0 20 0 20 0 790559 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140733733112704 140320613072631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 15 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
/proc/3948/statm: 6499669 15732 3723 1 0 6488442 0
[pid=3948/tid=3950] ppid=3945 vsize=25998676 memory=105 CPUtime=0.46 cores=0-7
/proc/3948/task/3950/stat : 3950 (java) R 3945 3948 2330 0 -1 4202560 10462 0 0 0 43 3 0 0 20 0 20 0 790575 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140320617306768 140320613094557 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3951] ppid=3945 vsize=25998676 memory=15 CPUtime=0 cores=0-7
/proc/3948/task/3951/stat : 3951 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790575 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140320570038928 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3952] ppid=3945 vsize=25998676 memory=5828 CPUtime=0 cores=0-7
/proc/3948/task/3952/stat : 3952 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790575 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140320568986128 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3953] ppid=3945 vsize=25998676 memory=648 CPUtime=0 cores=0-7
/proc/3948/task/3953/stat : 3953 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790575 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140320567933328 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3954] ppid=3945 vsize=25998676 memory=1788 CPUtime=0 cores=0-7
/proc/3948/task/3954/stat : 3954 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790575 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140320566880528 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3955] ppid=3945 vsize=25998676 memory=960 CPUtime=0 cores=0-7
/proc/3948/task/3955/stat : 3955 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790575 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140320565828752 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3956] ppid=3945 vsize=25998676 memory=1236 CPUtime=0 cores=0-7
/proc/3948/task/3956/stat : 3956 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790575 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140320564775952 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3957] ppid=3945 vsize=25998676 memory=2244 CPUtime=0 cores=0-7
/proc/3948/task/3957/stat : 3957 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790575 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140320563723152 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3958] ppid=3945 vsize=25998676 memory=4296 CPUtime=0 cores=0-7
/proc/3948/task/3958/stat : 3958 (java) S 3945 3948 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 790575 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140320562670352 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3959] ppid=3945 vsize=25998676 memory=1580 CPUtime=0 cores=0-7
/proc/3948/task/3959/stat : 3959 (java) S 3945 3948 2330 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 790577 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140319745091952 140320613083778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3960] ppid=3945 vsize=25998676 memory=932 CPUtime=0 cores=0-7
/proc/3948/task/3960/stat : 3960 (java) S 3945 3948 2330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 790577 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140319744037920 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3961] ppid=3945 vsize=25998676 memory=2160 CPUtime=0 cores=0-7
/proc/3948/task/3961/stat : 3961 (java) S 3945 3948 2330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 790577 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140319742985072 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3962] ppid=3945 vsize=25998676 memory=840 CPUtime=0 cores=0-7
/proc/3948/task/3962/stat : 3962 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790580 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140319741933392 140320613091227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3963] ppid=3945 vsize=25998676 memory=4200 CPUtime=0.05 cores=0-7
/proc/3948/task/3963/stat : 3963 (java) S 3945 3948 2330 0 -1 1077944384 572 0 0 0 5 0 0 0 20 0 20 0 790580 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140319740881776 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3964] ppid=3945 vsize=25998676 memory=4068 CPUtime=0.06 cores=0-7
/proc/3948/task/3964/stat : 3964 (java) S 3945 3948 2330 0 -1 1077944384 463 0 0 0 6 0 0 0 20 0 20 0 790580 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140319739828976 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3965] ppid=3945 vsize=25998676 memory=1156 CPUtime=0.07 cores=0-7
/proc/3948/task/3965/stat : 3965 (java) S 3945 3948 2330 0 -1 1077944384 402 0 0 0 7 0 0 0 20 0 20 0 790580 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140319738776176 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3966] ppid=3945 vsize=25998676 memory=4124 CPUtime=0.15 cores=0-7
/proc/3948/task/3966/stat : 3966 (java) R 3945 3948 2330 0 -1 4202560 719 0 0 0 15 0 0 0 20 0 20 0 790580 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140319737723376 140320592207129 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3967] ppid=3945 vsize=25998676 memory=2241 CPUtime=0 cores=0-7
/proc/3948/task/3967/stat : 3967 (java) S 3945 3948 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 790580 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140318746339936 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3968] ppid=3945 vsize=25998676 memory=2244 CPUtime=0 cores=0-7
/proc/3948/task/3968/stat : 3968 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790587 26622644224 15732 18446744073709551615 4194304 4196468 140733733130160 140318745287216 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 25998676 KiB
Current children cumulated memory: 62928 KiB

[startup+1.50098 s]
/proc/loadavg: 8.30 8.46 8.58 2/192 3968
/proc/meminfo: memFree=31851744/32770624 swapFree=67108860/67108860
[pid=3948] ppid=3945 vsize=26002772 memory=179528 CPUtime=3.41 cores=0-7
/proc/3948/stat : 3948 (java) S 3945 3948 2330 0 -1 1077944320 29630 0 0 0 330 11 0 0 20 0 20 0 790559 26626838528 44882 18446744073709551615 4194304 4196468 140733733130160 140733733112704 140320613072631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 15 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
/proc/3948/statm: 6500693 44882 3772 1 0 6489466 0
[pid=3948/tid=3950] ppid=3945 vsize=26002772 memory=279281993256368 CPUtime=1.25 cores=0-7
/proc/3948/task/3950/stat : 3950 (java) R 3945 3948 2330 0 -1 4202560 14577 0 0 0 119 6 0 0 20 0 20 0 790575 26626838528 44882 18446744073709551615 4194304 4196468 140733733130160 140320617301792 140320229804544 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3951] ppid=3945 vsize=26002772 memory=21301762722292 CPUtime=0 cores=0-7
/proc/3948/task/3951/stat : 3951 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790575 26626838528 44882 18446744073709551615 4194304 4196468 140733733130160 140320570038928 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3952] ppid=3945 vsize=26002772 memory=21301762722036 CPUtime=0 cores=0-7
/proc/3948/task/3952/stat : 3952 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790575 26626838528 44882 18446744073709551615 4194304 4196468 140733733130160 140320568986128 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3953] ppid=3945 vsize=26002772 memory=7680491646476186426 CPUtime=0 cores=0-7
/proc/3948/task/3953/stat : 3953 (java) S 3945 3948 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 790575 26626838528 44882 18446744073709551615 4194304 4196468 140733733130160 140320567933328 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3954] ppid=3945 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3954/stat : 3954 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790575 26626838528 44882 18446744073709551615 4194304 4196468 140733733130160 140320566880528 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3955] ppid=3945 vsize=26002772 memory=139640996746768 CPUtime=0 cores=0-7
/proc/3948/task/3955/stat : 3955 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 790575 26626838528 44882 18446744073709551615 4194304 4196468 140733733130160 140320565828752 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0

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

/proc/3948/task/3976/stat : 3976 (java) S 3945 3948 2330 0 -1 1077944384 99 0 0 0 8 0 0 0 20 0 46 0 790997 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317986637200 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3977] ppid=3945 vsize=27739616 memory=4596 CPUtime=2453.78 cores=0-7
/proc/3948/task/3977/stat : 3977 (java) R 3945 3948 2330 0 -1 4202560 111237 0 0 0 245278 100 0 0 20 0 46 0 790997 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317985579808 140733733530847 0 4 1 16800974 0 0 0 -1 1 0 0 63 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3978] ppid=3945 vsize=27739616 memory=0 CPUtime=2455.9 cores=0-7
/proc/3948/task/3978/stat : 3978 (java) R 3945 3948 2330 0 -1 4202560 106130 0 0 0 245495 95 0 0 20 0 46 0 790997 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317984526864 140320593896736 0 4 1 16800974 0 0 0 -1 0 0 0 66 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3979] ppid=3945 vsize=27739616 memory=7667776824450045037 CPUtime=0.08 cores=0-7
/proc/3948/task/3979/stat : 3979 (java) S 3945 3948 2330 0 -1 1077944384 251 0 0 0 8 0 0 0 20 0 46 0 790997 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317983478800 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3980] ppid=3945 vsize=27739616 memory=7595999627202941268 CPUtime=2453.4 cores=0-7
/proc/3948/task/3980/stat : 3980 (java) R 3945 3948 2330 0 -1 4202560 112236 0 0 0 245247 93 0 0 20 0 46 0 790997 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317982421304 140320233829118 0 4 1 16800974 0 0 0 -1 5 0 0 61 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3981] ppid=3945 vsize=27739616 memory=5896 CPUtime=2456.52 cores=0-7
/proc/3948/task/3981/stat : 3981 (java) R 3945 3948 2330 0 -1 4202560 120405 0 0 0 245540 112 0 0 20 0 46 0 790997 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317981369528 140320223366971 0 4 1 16800974 0 0 0 -1 4 0 0 53 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3982] ppid=3945 vsize=27739616 memory=2416 CPUtime=2457.01 cores=0-7
/proc/3948/task/3982/stat : 3982 (java) R 3945 3948 2330 0 -1 4202560 114685 0 0 0 245600 101 0 0 20 0 46 0 790998 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317980317992 140320234490000 0 4 1 16800974 0 0 0 -1 7 0 0 55 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3983] ppid=3945 vsize=27739616 memory=2459696 CPUtime=0 cores=0-7
/proc/3948/task/3983/stat : 3983 (java) S 3945 3948 2330 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 46 0 791012 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317979268624 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3984] ppid=3945 vsize=27739616 memory=2450460 CPUtime=0 cores=0-7
/proc/3948/task/3984/stat : 3984 (java) S 3945 3948 2330 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 46 0 791012 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317978215824 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3985] ppid=3945 vsize=27739616 memory=7680170660397595203 CPUtime=0 cores=0-7
/proc/3948/task/3985/stat : 3985 (java) S 3945 3948 2330 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 46 0 791019 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317975029008 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3986] ppid=3945 vsize=27739616 memory=1156 CPUtime=0 cores=0-7
/proc/3948/task/3986/stat : 3986 (java) S 3945 3948 2330 0 -1 1077944384 597 0 0 0 0 0 0 0 20 0 46 0 791019 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317973976208 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3987] ppid=3945 vsize=27739616 memory=2449948 CPUtime=0 cores=0-7
/proc/3948/task/3987/stat : 3987 (java) S 3945 3948 2330 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 46 0 791019 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317972923408 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3988] ppid=3945 vsize=27739616 memory=2453540 CPUtime=0 cores=0-7
/proc/3948/task/3988/stat : 3988 (java) S 3945 3948 2330 0 -1 1077944384 566 0 0 0 0 0 0 0 20 0 46 0 791020 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317971870608 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3989] ppid=3945 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3989/stat : 3989 (java) S 3945 3948 2330 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 46 0 791020 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317970818832 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3990] ppid=3945 vsize=27739616 memory=7893295687695689277 CPUtime=0 cores=0-7
/proc/3948/task/3990/stat : 3990 (java) S 3945 3948 2330 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 791020 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317969765808 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3991] ppid=3945 vsize=27739616 memory=2466876 CPUtime=0 cores=0-7
/proc/3948/task/3991/stat : 3991 (java) S 3945 3948 2330 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 791022 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317968713232 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3992] ppid=3945 vsize=27739616 memory=2450976 CPUtime=0 cores=0-7
/proc/3948/task/3992/stat : 3992 (java) S 3945 3948 2330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 791024 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317967660432 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3993] ppid=3945 vsize=27739616 memory=7680170660397595203 CPUtime=0 cores=0-7
/proc/3948/task/3993/stat : 3993 (java) S 3945 3948 2330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 791026 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317966607632 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3994] ppid=3945 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3994/stat : 3994 (java) S 3945 3948 2330 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 46 0 791027 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317965554832 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3995] ppid=3945 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3995/stat : 3995 (java) S 3945 3948 2330 0 -1 1077944384 575 0 0 0 0 0 0 0 20 0 46 0 791029 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317964502032 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3996] ppid=3945 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3996/stat : 3996 (java) S 3945 3948 2330 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 791029 28405366784 612359 18446744073709551615 4194304 4196468 140733733130160 140317963449232 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
Current children cumulated CPU time: 19794.3 s
Current children cumulated vsize: 27739616 KiB
Current children cumulated memory: 2449436 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.57 8.68 8.73 10/218 4120
/proc/meminfo: memFree=29490624/32770624 swapFree=67108860/67108860
[pid=3948] ppid=3945 vsize=27739616 memory=2442768 CPUtime=19934.7 cores=0-7
/proc/3948/stat : 3948 (java) S 3945 3948 2330 0 -1 1077944320 2461198 0 0 0 1992011 1462 0 0 20 0 46 0 790559 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140733733112704 140320613072631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 15 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
/proc/3948/statm: 6934904 610692 3840 1 0 6923156 0
[pid=3948/tid=3950] ppid=3945 vsize=27739616 memory=7680170660397595203 CPUtime=4.02 cores=0-7
/proc/3948/task/3950/stat : 3950 (java) S 3945 3948 2330 0 -1 1077944384 17991 0 0 0 394 8 0 0 20 0 46 0 790575 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140320617310336 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3951] ppid=3945 vsize=27739616 memory=4195447490462202311 CPUtime=16.03 cores=0-7
/proc/3948/task/3951/stat : 3951 (java) S 3945 3948 2330 0 -1 1077944384 144940 0 0 0 1533 70 0 0 20 0 46 0 790575 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140320570038928 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3952] ppid=3945 vsize=27739616 memory=2004 CPUtime=16.06 cores=0-7
/proc/3948/task/3952/stat : 3952 (java) S 3945 3948 2330 0 -1 1077944384 154042 0 0 0 1540 66 0 0 20 0 46 0 790575 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140320568986128 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3953] ppid=3945 vsize=27739616 memory=1200 CPUtime=16.01 cores=0-7
/proc/3948/task/3953/stat : 3953 (java) S 3945 3948 2330 0 -1 1077944384 141146 0 0 0 1529 72 0 0 20 0 46 0 790575 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140320567933328 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3954] ppid=3945 vsize=27739616 memory=1228 CPUtime=16.05 cores=0-7
/proc/3948/task/3954/stat : 3954 (java) S 3945 3948 2330 0 -1 1077944384 137507 0 0 0 1536 69 0 0 20 0 46 0 790575 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140320566880528 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3955] ppid=3945 vsize=27739616 memory=8672 CPUtime=16.03 cores=0-7
/proc/3948/task/3955/stat : 3955 (java) S 3945 3948 2330 0 -1 1077944384 130270 0 0 0 1537 66 0 0 20 0 46 0 790575 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140320565828752 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3956] ppid=3945 vsize=27739616 memory=1696 CPUtime=16.05 cores=0-7
/proc/3948/task/3956/stat : 3956 (java) S 3945 3948 2330 0 -1 1077944384 139377 0 0 0 1535 70 0 0 20 0 46 0 790575 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140320564775952 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3957] ppid=3945 vsize=27739616 memory=1436 CPUtime=16.02 cores=0-7
/proc/3948/task/3957/stat : 3957 (java) S 3945 3948 2330 0 -1 1077944384 143713 0 0 0 1534 68 0 0 20 0 46 0 790575 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140320563723152 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3958] ppid=3945 vsize=27739616 memory=15876 CPUtime=16.05 cores=0-7
/proc/3948/task/3958/stat : 3958 (java) S 3945 3948 2330 0 -1 1077944384 141815 0 0 0 1534 71 0 0 20 0 46 0 790575 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140320562670352 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3959] ppid=3945 vsize=27739616 memory=4012 CPUtime=6.93 cores=0-7
/proc/3948/task/3959/stat : 3959 (java) S 3945 3948 2330 0 -1 1077944384 294076 0 0 0 581 112 0 0 20 0 46 0 790577 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140319745091952 140320613083778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3960] ppid=3945 vsize=27739616 memory=2443280 CPUtime=0 cores=0-7
/proc/3948/task/3960/stat : 3960 (java) S 3945 3948 2330 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 46 0 790577 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140319744037984 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3961] ppid=3945 vsize=27739616 memory=5896 CPUtime=0 cores=0-7
/proc/3948/task/3961/stat : 3961 (java) S 3945 3948 2330 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 790577 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140319742985088 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3962] ppid=3945 vsize=27739616 memory=2416 CPUtime=0 cores=0-7
/proc/3948/task/3962/stat : 3962 (java) S 3945 3948 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 790580 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140319741933392 140320613091227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3963] ppid=3945 vsize=27739616 memory=1296 CPUtime=2.1 cores=0-7
/proc/3948/task/3963/stat : 3963 (java) S 3945 3948 2330 0 -1 1077944384 9857 0 0 0 208 2 0 0 20 0 46 0 790580 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140319740881776 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3964] ppid=3945 vsize=27739616 memory=3764 CPUtime=1.73 cores=0-7
/proc/3948/task/3964/stat : 3964 (java) S 3945 3948 2330 0 -1 1077944384 8467 0 0 0 172 1 0 0 20 0 46 0 790580 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140319739828976 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3965] ppid=3945 vsize=27739616 memory=2461236 CPUtime=1.88 cores=0-7
/proc/3948/task/3965/stat : 3965 (java) S 3945 3948 2330 0 -1 1077944384 11128 0 0 0 186 2 0 0 20 0 46 0 790580 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140319738776176 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3966] ppid=3945 vsize=27739616 memory=6656426216303648864 CPUtime=1.08 cores=0-7
/proc/3948/task/3966/stat : 3966 (java) S 3945 3948 2330 0 -1 1077944384 26020 0 0 0 104 4 0 0 20 0 46 0 790580 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140319737723376 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3967] ppid=3945 vsize=27739616 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/3948/task/3967/stat : 3967 (java) S 3945 3948 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 790580 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140318746339936 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3968] ppid=3945 vsize=27739616 memory=6944656592387989600 CPUtime=0.97 cores=0-7
/proc/3948/task/3968/stat : 3968 (java) S 3945 3948 2330 0 -1 1077944384 13046 0 0 0 66 31 0 0 20 0 46 0 790587 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140318745287216 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3971] ppid=3945 vsize=27739616 memory=7680170660397595203 CPUtime=0 cores=0-7
/proc/3948/task/3971/stat : 3971 (java) S 3945 3948 2330 0 -1 1077944384 1381 0 0 0 0 0 0 0 20 0 46 0 790973 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140318734996128 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3972] ppid=3945 vsize=27739616 memory=0 CPUtime=5.16 cores=0-7
/proc/3948/task/3972/stat : 3972 (java) S 3945 3948 2330 0 -1 1077944384 24866 0 0 0 207 309 0 0 20 0 46 0 790984 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140318731846432 140320613083778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3973] ppid=3945 vsize=27739616 memory=6944652177228980320 CPUtime=2472.71 cores=0-7
/proc/3948/task/3973/stat : 3973 (java) R 3945 3948 2330 0 -1 4202560 113523 0 0 0 247170 101 0 0 20 0 46 0 790994 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140318730788840 140320228276056 0 4 1 16800974 0 0 0 -1 0 0 0 56 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3974] ppid=3945 vsize=27739616 memory=6944652177228980320 CPUtime=2472.18 cores=0-7
/proc/3948/task/3974/stat : 3974 (java) R 3945 3948 2330 0 -1 4202560 116283 0 0 0 247123 95 0 0 20 0 46 0 790995 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317988736776 140320233828293 0 4 1 16800974 0 0 0 -1 6 0 0 64 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3975] ppid=3945 vsize=27739616 memory=6656426216303648864 CPUtime=2473.51 cores=0-7
/proc/3948/task/3975/stat : 3975 (java) R 3945 3948 2330 0 -1 4202560 116052 0 0 0 247256 95 0 0 20 0 46 0 790995 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317987683352 140320233827989 0 4 1 16800974 0 0 0 -1 7 0 0 62 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3976] ppid=3945 vsize=27739616 memory=7680170660397595203 CPUtime=0.08 cores=0-7
/proc/3948/task/3976/stat : 3976 (java) S 3945 3948 2330 0 -1 1077944384 99 0 0 0 8 0 0 0 20 0 46 0 790997 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317986637200 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3977] ppid=3945 vsize=27739616 memory=288230604624101684 CPUtime=2471.19 cores=0-7
/proc/3948/task/3977/stat : 3977 (java) R 3945 3948 2330 0 -1 4202560 112630 0 0 0 247018 101 0 0 20 0 46 0 790997 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317985579552 140320233828842 0 4 1 16800974 0 0 0 -1 5 0 0 64 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3978] ppid=3945 vsize=27739616 memory=288292164507796679 CPUtime=2473.33 cores=0-7
/proc/3948/task/3978/stat : 3978 (java) R 3945 3948 2330 0 -1 4202560 107228 0 0 0 247237 96 0 0 20 0 46 0 790997 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317984525576 140320235011100 0 4 1 16800974 0 0 0 -1 3 0 0 67 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3979] ppid=3945 vsize=27739616 memory=302022848351043610 CPUtime=0.08 cores=0-7
/proc/3948/task/3979/stat : 3979 (java) S 3945 3948 2330 0 -1 1077944384 251 0 0 0 8 0 0 0 20 0 46 0 790997 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317983478800 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3980] ppid=3945 vsize=27739616 memory=302022878482923828 CPUtime=2470.75 cores=0-7
/proc/3948/task/3980/stat : 3980 (java) R 3945 3948 2330 0 -1 4202560 113438 0 0 0 246982 93 0 0 20 0 46 0 790997 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317982419976 140320234492154 0 4 1 16800974 0 0 0 -1 1 0 0 62 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3981] ppid=3945 vsize=27739616 memory=288292164507796679 CPUtime=2474.02 cores=0-7
/proc/3948/task/3981/stat : 3981 (java) R 3945 3948 2330 0 -1 4202560 121945 0 0 0 247288 114 0 0 20 0 46 0 790997 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317981370272 140320233829088 0 4 1 16800974 0 0 0 -1 4 0 0 54 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3982] ppid=3945 vsize=27739616 memory=-8412652177879177843 CPUtime=2474.44 cores=0-7
/proc/3948/task/3982/stat : 3982 (java) R 3945 3948 2330 0 -1 4202560 115509 0 0 0 247341 103 0 0 20 0 46 0 790998 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317980315360 140320223355383 0 4 1 16800974 0 0 0 -1 2 0 0 56 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3983] ppid=3945 vsize=27739616 memory=-8341965534556230502 CPUtime=0 cores=0-7
/proc/3948/task/3983/stat : 3983 (java) S 3945 3948 2330 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 46 0 791012 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317979268624 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3984] ppid=3945 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/3948/task/3984/stat : 3984 (java) S 3945 3948 2330 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 46 0 791012 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317978215824 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3985] ppid=3945 vsize=27739616 memory=4124 CPUtime=0 cores=0-7
/proc/3948/task/3985/stat : 3985 (java) S 3945 3948 2330 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 46 0 791019 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317975029008 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3986] ppid=3945 vsize=27739616 memory=2454564 CPUtime=0 cores=0-7
/proc/3948/task/3986/stat : 3986 (java) S 3945 3948 2330 0 -1 1077944384 597 0 0 0 0 0 0 0 20 0 46 0 791019 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317973976208 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3987] ppid=3945 vsize=27739616 memory=7680170660397595203 CPUtime=0 cores=0-7
/proc/3948/task/3987/stat : 3987 (java) S 3945 3948 2330 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 46 0 791019 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317972923408 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3988] ppid=3945 vsize=27739616 memory=1296 CPUtime=0 cores=0-7
/proc/3948/task/3988/stat : 3988 (java) S 3945 3948 2330 0 -1 1077944384 566 0 0 0 0 0 0 0 20 0 46 0 791020 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317971870608 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3989] ppid=3945 vsize=27739616 memory=3764 CPUtime=0 cores=0-7
/proc/3948/task/3989/stat : 3989 (java) S 3945 3948 2330 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 46 0 791020 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317970818832 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3990] ppid=3945 vsize=27739616 memory=7680170660397595203 CPUtime=0 cores=0-7
/proc/3948/task/3990/stat : 3990 (java) S 3945 3948 2330 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 791020 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317969765808 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3991] ppid=3945 vsize=27739616 memory=5892 CPUtime=0 cores=0-7
/proc/3948/task/3991/stat : 3991 (java) S 3945 3948 2330 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 791022 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317968713232 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3992] ppid=3945 vsize=27739616 memory=648 CPUtime=0 cores=0-7
/proc/3948/task/3992/stat : 3992 (java) S 3945 3948 2330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 791024 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317967660432 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3993] ppid=3945 vsize=27739616 memory=1788 CPUtime=0 cores=0-7
/proc/3948/task/3993/stat : 3993 (java) S 3945 3948 2330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 791026 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317966607632 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3994] ppid=3945 vsize=27739616 memory=960 CPUtime=0 cores=0-7
/proc/3948/task/3994/stat : 3994 (java) S 3945 3948 2330 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 46 0 791027 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317965554832 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3995] ppid=3945 vsize=27739616 memory=1236 CPUtime=0 cores=0-7
/proc/3948/task/3995/stat : 3995 (java) S 3945 3948 2330 0 -1 1077944384 575 0 0 0 0 0 0 0 20 0 46 0 791029 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317964502032 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
[pid=3948/tid=3996] ppid=3945 vsize=27739616 memory=2244 CPUtime=0 cores=0-7
/proc/3948/task/3996/stat : 3996 (java) S 3945 3948 2330 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 791029 28405366784 610692 18446744073709551615 4194304 4196468 140733733130160 140317963449232 140320613082837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23613440 140733733138798 140733733138984 140733733138984 140733733142479 0
Current children cumulated CPU time: 19934.7 s
Current children cumulated vsize: 27739616 KiB
Current children cumulated memory: 2442768 KiB

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

[startup+2520.11 s]
# the end of solver process 3948 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19920.8 s, system=14.6437 s

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 19935.4
CPU user time (s): 19920.8
CPU system time (s): 14.6437
CPU usage (%): 791.054
Max. virtual memory (cumulated for all children) (KiB): 27739616
Max. memory (cumulated for all children) (KiB): 2607172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19920.8
system time used= 14.6437
maximum resident set size= 2609732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2462021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 700027
involuntary context switches= 417030


# summary of solver processes directly reported to runsolver:
#   pid: 3948
#   total CPU time (s): 19935.4
#   total CPU user time (s): 19920.8
#   total CPU system time (s): 14.6437

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.7667 second user time and 38.0394 second system time

The end

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

Trace number 4285050

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