2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	17141	2520.09	2484.93

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 938454328
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
6.85/2.77	c Parsing done, starting first complete search...
10.51/4.07	o 18120
10.51/4.07	o 18105
10.51/4.07	o 18093
10.51/4.07	o 18081
10.51/4.08	o 18007
10.51/4.08	o 17992
10.51/4.08	o 17975
10.51/4.08	o 17933
10.51/4.09	o 17932
10.51/4.09	o 17920
10.51/4.09	o 17915
10.51/4.10	o 17903
12.22/5.44	o 17773
12.22/5.45	o 17720
12.42/5.69	o 17710
12.42/5.69	o 17684
18.01/10.83	c First complete search done, starting ALNS search...
32.05/23.72	o 17547
32.05/23.72	o 17517
32.05/23.72	o 17498
32.05/23.74	o 17480
32.05/23.75	o 17472
32.05/23.76	o 17454
32.05/23.76	o 17453
32.05/23.76	o 17435
32.05/23.78	o 17428
32.05/23.78	o 17423
32.05/23.79	o 17405
1775.32/1746.33	o 17358
1775.84/1746.86	o 17301
1775.84/1746.87	o 17272
1775.94/1746.95	o 17248
1775.94/1747.00	o 17244
1775.94/1747.01	o 17215
1776.15/1747.15	o 17212
1777.25/1748.20	o 17198
1777.25/1748.25	o 17173
1777.25/1748.26	o 17141
2520.05/2484.90	s SATISFIABLE
2520.05/2484.91	v <instantiation>
2520.05/2484.91	v 	<list>
2520.05/2484.91	v 		o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26]
2520.05/2484.91	v 	</list>
2520.05/2484.91	v 	<values>
2520.05/2484.91	v 		12 7 7 5 5 11 2 8 12 10 8 10 9 6 6 13 3 9 2 1 4 11 4 1 3 13 13 8 8 10 11 12 9 12 7 13 4 4 7 5 9 5 2 10 3 0 6 3 6 0 2 11 11 13 10 9 7 6 0 9 4 5 7 3 11 13 3 6 1 4 0 5 8 12 8 10 1 12 10 12 13 7 6 4 5 5 11 8 11 2 13 8 2 4 0 7 1 12 9 1 9 6 0 10 9 11 5 13 8 3 7 6 2 12 1 1 10 10 8 3 13 2 12 11 0 7 0 5 6 9 8 10 4 0 0 10 3 3 13 2 13 6 6 1 11 1 9 11 7 2 12 9 12 4 7 8 7 9 9 8 3 2 12 4 8 11 12 5 5 0 0 2 10 13 11 13 1 10 1 3 4 7 6 0 0 3 2 8 4 13 1 9 2 11 1 11 12 8 12 3 5 9 10 4 10 13 5 6 5 1 1 6 4 7 13 0 6 3 0 9 12 3 4 7 11 12 9 10 2 13 2 11 10 5 4 6 6 2 13 13 1 2 10 7 10 8 0 12 1 11 5 0 8 7 3 5 3 12 11 4 3 5 2 1 12 5 11 11 9 0 9 0 4 4 13 12 6 1 13 8 7 6 7 2 8 3 2 4 12 12 1 0 10 10 3 6 3 7 2 7 5 9 8 5 6 4 13 0 13 8 9 1 0 3 11 11 10 1 6 1 0 4 6 13 8 9 7 10 7 8 4 3 5 2 5 9 13 2 1 2 3 4 9 9 8 7 5 1 5 12 3 2 10 0 4 6 10 6 11 8 11 7 12 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 44 48 39 0 15 15 57 57 48 73 55 44 44 59 59 51 51 10 10 55 70 36 34 34 0 0 0 46 46 64 105 55 0 44 41 64 31 31 40 81 43 0 65 65 0 39 47 32 10 15 22 0 58 58 55 55 0 56 56 49 55 45 56 56 0 61 50 47 22 22 15 39 50 0 53 53 0 48 48 0 0 50 41 14 51 35 41 66 66 0 47 47 68 68 0 34 34 32 55 80 0 67 69 47 69 69 55 105 70 91 91 0 64 59 18 0 31 31 74 74 21 68 51 45 48 73 36 36 0 35 35 0 0 0 0 35 35 39 55 51 41 41 50 61 75 27 27 44 64 40 0 48 48 0 81 30 94 0 42 42 59 79 69 0 47 47 88 88 31 31 0 27 27 0 44 15 56 0 70 69 92 75 65 39 18 18 0 0 44 44 0 56 53 81 41 41 79 79 67 64 44 90 90 0 14 14 0 69 74 64 0 48 27 59 42 40 46 31 18 21 0 48 48 68 68 0 81 81 0 81 81 0 68 68 53 61 104 69 10 73 0 0 0 69 56 49 93 64 43 103 103 0 68 48 51 0 105 44 81 0 79 14 67 0 30 30 55 55 69 41 51 65 65 0 10 10 0 55 51 103 0 74 74 101 88 75 66 104 73 0 69 56 55 0 0 0 0 105 105 0 55 55 10 10 70 47 66 58 56 67 0 69 42 44 70 70 0 69 69 105 43 64 57 34 80 105 10 101 0 55 55 73 18 88 0 30 30 0 90 81 81 0 94 50 48 0 90 90 0 64 22 61 0 93 93 104 104 75 75 0 90 80 50 66 66 91 18 92 0 69 69 0 41 41 59 59 
2520.05/2484.91	v 	</values>
2520.05/2484.91	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 (12341 MiB free)
  memory of node 1: 16384 MiB (11008 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308431-1534335328/watcher-4308431-1534335328 -o /tmp/evaluation-result-4308431-1534335328/solver-4308431-1534335328 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534335326-26255 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 938454328 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308431-1534335328.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100187 s]*
/proc/loadavg: 1.01 1.33 1.47 3/215 26468
/proc/meminfo: memFree=23888524/32770624 swapFree=67105356/67108860
[pid=26453] ppid=26450 vsize=14082736 memory=31228 CPUtime=0.11 cores=1,3,5,7
/proc/26453/stat : 26453 (java) S 26450 26453 21822 0 -1 1077944320 6714 0 0 0 10 1 0 0 20 0 15 0 251096021 14420721664 7807 33554432000 4194304 4196468 140731751993472 140731751976016 139909843345143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
/proc/26453/statm: 3520684 7807 3134 1 0 3482761 0
[pid=26453/tid=26455] ppid=26450 vsize=14082736 memory=-8701690554791924609 CPUtime=0.09 cores=1,3,5,7
/proc/26453/task/26455/stat : 26455 (java) R 26450 26453 21822 0 -1 4202560 4788 0 0 0 8 1 0 0 20 0 15 0 251096022 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909847556056 139909824718592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26456] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26456/stat : 26456 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909773433360 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26457] ppid=26450 vsize=14082736 memory=139648517080704 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26457/stat : 26457 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909772380816 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26458] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26458/stat : 26458 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909771327760 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26459] ppid=26450 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26459/stat : 26459 (java) S 26450 26453 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909770275216 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26460] ppid=26450 vsize=14082736 memory=139648517080704 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26460/stat : 26460 (java) S 26450 26453 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251096024 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909317376752 139909843356290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26461] ppid=26450 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26461/stat : 26461 (java) S 26450 26453 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251096024 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909316322976 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26462] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26462/stat : 26462 (java) S 26450 26453 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251096024 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909315269872 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26463] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26463/stat : 26463 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909314218448 139909843363739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26464] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26464/stat : 26464 (java) S 26450 26453 21822 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909313165552 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26465] ppid=26450 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26465/stat : 26465 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909312113008 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26466] ppid=26450 vsize=14082736 memory=139648517080704 CPUtime=0.01 cores=1,3,5,7
/proc/26453/task/26466/stat : 26466 (java) S 26450 26453 21822 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 15 0 251096027 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909311059952 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26467] ppid=26450 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26467/stat : 26467 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909310007648 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26468] ppid=26450 vsize=14082736 memory=139648517080704 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26468/stat : 26468 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 7807 33554432000 4194304 4196468 140731751993472 139909308955696 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31228 KiB

[startup+0.210213 s]*
/proc/loadavg: 1.01 1.33 1.47 5/215 26468
/proc/meminfo: memFree=23868120/32770624 swapFree=67105356/67108860
[pid=26453] ppid=26450 vsize=14082736 memory=46724 CPUtime=0.29 cores=1,3,5,7
/proc/26453/stat : 26453 (java) S 26450 26453 21822 0 -1 1077944320 10330 0 0 0 27 2 0 0 20 0 15 0 251096021 14420721664 11681 33554432000 4194304 4196468 140731751993472 140731751976016 139909843345143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
/proc/26453/statm: 3520684 11681 3324 1 0 3482761 0
[pid=26453/tid=26455] ppid=26450 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/26453/task/26455/stat : 26455 (java) R 26450 26453 21822 0 -1 4202560 8098 0 0 0 18 1 0 0 20 0 15 0 251096022 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909847572320 139909827388773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26456] ppid=26450 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26456/stat : 26456 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909773433360 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26457] ppid=26450 vsize=14082736 memory=288370024668792448 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26457/stat : 26457 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909772380816 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26458] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26458/stat : 26458 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909771327760 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26459] ppid=26450 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26459/stat : 26459 (java) S 26450 26453 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909770275216 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26460] ppid=26450 vsize=14082736 memory=139648517080704 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26460/stat : 26460 (java) S 26450 26453 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251096024 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909317376752 139909843356290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26461] ppid=26450 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26461/stat : 26461 (java) S 26450 26453 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251096024 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909316322976 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26462] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26462/stat : 26462 (java) S 26450 26453 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251096024 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909315269872 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26463] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26463/stat : 26463 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909314218448 139909843363739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26464] ppid=26450 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26453/task/26464/stat : 26464 (java) R 26450 26453 21822 0 -1 4202560 456 0 0 0 1 0 0 0 20 0 15 0 251096027 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909313146568 139909823198878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26465] ppid=26450 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26453/task/26465/stat : 26465 (java) R 26450 26453 21822 0 -1 4202560 118 0 0 0 1 0 0 0 20 0 15 0 251096027 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909312094024 139909826937284 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26466] ppid=26450 vsize=14082736 memory=139648517080704 CPUtime=0.06 cores=1,3,5,7
/proc/26453/task/26466/stat : 26466 (java) R 26450 26453 21822 0 -1 4202560 280 0 0 0 6 0 0 0 20 0 15 0 251096027 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909311056888 139909828510782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26467] ppid=26450 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26467/stat : 26467 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909310007648 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26468] ppid=26450 vsize=14082736 memory=139648517080704 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26468/stat : 26468 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 11681 33554432000 4194304 4196468 140731751993472 139909308955696 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46724 KiB

[startup+0.310479 s]*
/proc/loadavg: 1.01 1.33 1.47 4/215 26468
/proc/meminfo: memFree=23849888/32770624 swapFree=67105356/67108860
[pid=26453] ppid=26450 vsize=14082736 memory=50500 CPUtime=0.43 cores=1,3,5,7
/proc/26453/stat : 26453 (java) S 26450 26453 21822 0 -1 1077944320 10723 0 0 0 40 3 0 0 20 0 15 0 251096021 14420721664 12625 33554432000 4194304 4196468 140731751993472 140731751976016 139909843345143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
/proc/26453/statm: 3520684 12625 3421 1 0 3482761 0
[pid=26453/tid=26455] ppid=26450 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/26453/task/26455/stat : 26455 (java) R 26450 26453 21822 0 -1 4202560 8430 0 0 0 28 2 0 0 20 0 15 0 251096022 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909847526192 139909824908681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26456] ppid=26450 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26456/stat : 26456 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909773433360 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26457] ppid=26450 vsize=14082736 memory=288370024668792448 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26457/stat : 26457 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909772380816 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26458] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26458/stat : 26458 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909771327760 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26459] ppid=26450 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26459/stat : 26459 (java) S 26450 26453 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251096022 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909770275216 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26460] ppid=26450 vsize=14082736 memory=139648517080704 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26460/stat : 26460 (java) S 26450 26453 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251096024 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909317376752 139909843356290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26461] ppid=26450 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26461/stat : 26461 (java) S 26450 26453 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251096024 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909316322976 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26462] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26462/stat : 26462 (java) S 26450 26453 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251096024 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909315269872 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26463] ppid=26450 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26463/stat : 26463 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909314218448 139909843363739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26464] ppid=26450 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26453/task/26464/stat : 26464 (java) S 26450 26453 21822 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 251096027 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909313165552 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26465] ppid=26450 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26453/task/26465/stat : 26465 (java) S 26450 26453 21822 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 15 0 251096027 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909312113008 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26466] ppid=26450 vsize=14082736 memory=139648517080704 CPUtime=0.08 cores=1,3,5,7
/proc/26453/task/26466/stat : 26466 (java) S 26450 26453 21822 0 -1 1077944384 290 0 0 0 8 0 0 0 20 0 15 0 251096027 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909311059952 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26467] ppid=26450 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26467/stat : 26467 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909310007648 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26468] ppid=26450 vsize=14082736 memory=139648517080704 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26468/stat : 26468 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096027 14420721664 12625 33554432000 4194304 4196468 140731751993472 139909308955696 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50500 KiB

[startup+0.700741 s]
/proc/loadavg: 1.01 1.33 1.47 5/215 26468
/proc/meminfo: memFree=23809336/32770624 swapFree=67105356/67108860
[pid=26453] ppid=26450 vsize=14084804 memory=88960 CPUtime=0.99 cores=1,3,5,7
/proc/26453/stat : 26453 (java) S 26450 26453 21822 0 -1 1077944320 17591 0 0 0 95 4 0 0 20 0 15 0 251096021 14422839296 22240 33554432000 4194304 4196468 140731751993472 140731751976016 139909843345143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
/proc/26453/statm: 3521201 22240 3499 1 0 3483273 0
[pid=26453/tid=26455] ppid=26450 vsize=14084804 memory=1752 CPUtime=0.67 cores=1,3,5,7
/proc/26453/task/26455/stat : 26455 (java) R 26450 26453 21822 0 -1 4202560 14875 0 0 0 64 3 0 0 20 0 15 0 251096022 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909847569136 139909827425630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26456] ppid=26450 vsize=14084804 memory=856 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26456/stat : 26456 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909773433360 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26457] ppid=26450 vsize=14084804 memory=12468 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26457/stat : 26457 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909772380816 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26458] ppid=26450 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26458/stat : 26458 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909771327760 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26459] ppid=26450 vsize=14084804 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26459/stat : 26459 (java) S 26450 26453 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251096022 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909770275216 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26460] ppid=26450 vsize=14084804 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26460/stat : 26460 (java) S 26450 26453 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251096024 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909317376752 139909843356290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26461] ppid=26450 vsize=14084804 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26461/stat : 26461 (java) S 26450 26453 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251096024 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909316322976 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26462] ppid=26450 vsize=14084804 memory=6404 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26462/stat : 26462 (java) S 26450 26453 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251096024 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909315269872 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26463] ppid=26450 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26463/stat : 26463 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909314218448 139909843363739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26464] ppid=26450 vsize=14084804 memory=7525326301224851042 CPUtime=0.05 cores=1,3,5,7
/proc/26453/task/26464/stat : 26464 (java) S 26450 26453 21822 0 -1 1077944384 640 0 0 0 5 0 0 0 20 0 15 0 251096027 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909313165552 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26465] ppid=26450 vsize=14084804 memory=5787213827131598673 CPUtime=0.08 cores=1,3,5,7
/proc/26453/task/26465/stat : 26465 (java) S 26450 26453 21822 0 -1 1077944384 294 0 0 0 8 0 0 0 20 0 15 0 251096027 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909312113008 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26466] ppid=26450 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/26453/task/26466/stat : 26466 (java) S 26450 26453 21822 0 -1 1077944384 400 0 0 0 15 0 0 0 20 0 15 0 251096027 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909311059952 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26467] ppid=26450 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26467/stat : 26467 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909310007648 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26468] ppid=26450 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26468/stat : 26468 (java) S 26450 26453 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251096027 14422839296 22240 33554432000 4194304 4196468 140731751993472 139909308955696 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88960 KiB

[startup+1.50118 s]
/proc/loadavg: 1.01 1.33 1.47 7/215 26468
/proc/meminfo: memFree=23701124/32770624 swapFree=67105356/67108860
[pid=26453] ppid=26450 vsize=14088900 memory=206720 CPUtime=3.45 cores=1,3,5,7
/proc/26453/stat : 26453 (java) S 26450 26453 21822 0 -1 1077944320 26108 0 0 0 338 7 0 0 20 0 15 0 251096021 14427033600 51680 33554432000 4194304 4196468 140731751993472 140731751976016 139909843345143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
/proc/26453/statm: 3522225 51680 3552 1 0 3484297 0
[pid=26453/tid=26455] ppid=26450 vsize=14088900 memory=6791534058613427641 CPUtime=1.45 cores=1,3,5,7
/proc/26453/task/26455/stat : 26455 (java) R 26450 26453 21822 0 -1 4202560 17905 0 0 0 140 5 0 0 20 0 15 0 251096022 14427033600 51680 33554432000 4194304 4196468 140731751993472 139909847578232 139909455302633 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26456] ppid=26450 vsize=14088900 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26456/stat : 26456 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14427033600 51680 33554432000 4194304 4196468 140731751993472 139909773433360 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26457] ppid=26450 vsize=14088900 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26457/stat : 26457 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14427033600 51680 33554432000 4194304 4196468 140731751993472 139909772380816 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26458] ppid=26450 vsize=14088900 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26458/stat : 26458 (java) S 26450 26453 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251096022 14427033600 51680 33554432000 4194304 4196468 140731751993472 139909771327760 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26459] ppid=26450 vsize=14088900 memory=-7096649868621430206 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26459/stat : 26459 (java) S 26450 26453 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251096022 14427033600 51680 33554432000 4194304 4196468 140731751993472 139909770275216 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26460] ppid=26450 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26460/stat : 26460 (java) S 26450 26453 21822 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 251096024 14427033600 51680 33554432000 4194304 4196468 140731751993472 139909317376752 139909843356290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0

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

/proc/26453/task/26455/stat : 26455 (java) R 26450 26453 21822 0 -1 4202560 175316 0 0 0 237167 76 0 0 20 0 15 0 251096022 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909847582928 139909462046841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26456] ppid=26450 vsize=14095044 memory=1805644 CPUtime=8.13 cores=1,3,5,7
/proc/26453/task/26456/stat : 26456 (java) S 26450 26453 21822 0 -1 1077944384 29511 0 0 0 791 22 0 0 20 0 15 0 251096022 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909773433360 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26457] ppid=26450 vsize=14095044 memory=1805640 CPUtime=8.14 cores=1,3,5,7
/proc/26453/task/26457/stat : 26457 (java) S 26450 26453 21822 0 -1 1077944384 30279 0 0 0 792 22 0 0 20 0 15 0 251096022 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909772380816 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26458] ppid=26450 vsize=14095044 memory=1805640 CPUtime=8.13 cores=1,3,5,7
/proc/26453/task/26458/stat : 26458 (java) S 26450 26453 21822 0 -1 1077944384 27420 0 0 0 789 24 0 0 20 0 15 0 251096022 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909771327760 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26459] ppid=26450 vsize=14095044 memory=1804100 CPUtime=8.14 cores=1,3,5,7
/proc/26453/task/26459/stat : 26459 (java) S 26450 26453 21822 0 -1 1077944384 35707 0 0 0 790 24 0 0 20 0 15 0 251096022 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909770275216 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26460] ppid=26450 vsize=14095044 memory=1804100 CPUtime=1.3 cores=1,3,5,7
/proc/26453/task/26460/stat : 26460 (java) S 26450 26453 21822 0 -1 1077944384 25573 0 0 0 101 29 0 0 20 0 15 0 251096024 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909317376752 139909843356290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26461] ppid=26450 vsize=14095044 memory=1804100 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26461/stat : 26461 (java) S 26450 26453 21822 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 251096024 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909316323040 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26462] ppid=26450 vsize=14095044 memory=1804100 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26462/stat : 26462 (java) S 26450 26453 21822 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 251096024 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909315269888 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26463] ppid=26450 vsize=14095044 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26463/stat : 26463 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909314218448 139909843363739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26464] ppid=26450 vsize=14095044 memory=68180 CPUtime=3.7 cores=1,3,5,7
/proc/26453/task/26464/stat : 26464 (java) S 26450 26453 21822 0 -1 1077944384 28983 0 0 0 366 4 0 0 20 0 15 0 251096027 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909313165552 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26465] ppid=26450 vsize=14095044 memory=0 CPUtime=3.71 cores=1,3,5,7
/proc/26453/task/26465/stat : 26465 (java) S 26450 26453 21822 0 -1 1077944384 21183 0 0 0 368 3 0 0 20 0 15 0 251096027 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909312113008 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26466] ppid=26450 vsize=14095044 memory=6655300316396806240 CPUtime=1.52 cores=1,3,5,7
/proc/26453/task/26466/stat : 26466 (java) S 26450 26453 21822 0 -1 1077944384 52603 0 0 0 147 5 0 0 20 0 15 0 251096027 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909311059952 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26467] ppid=26450 vsize=14095044 memory=1804100 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26467/stat : 26467 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909310007648 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26468] ppid=26450 vsize=14095044 memory=1616 CPUtime=1.36 cores=1,3,5,7
/proc/26453/task/26468/stat : 26468 (java) S 26450 26453 21822 0 -1 1077944384 1720 0 0 0 54 82 0 0 20 0 15 0 251096027 14433325056 451025 33554432000 4194304 4196468 140731751993472 139909308955696 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
Current children cumulated CPU time: 2416.65 s
Current children cumulated vsize: 14095044 KiB
Current children cumulated memory: 1804100 KiB

[startup+2442.3 s]
/proc/loadavg: 1.71 1.67 1.62 3/215 26541
/proc/meminfo: memFree=20773876/32770624 swapFree=67105356/67108860
[pid=26453] ppid=26450 vsize=14095044 memory=1772792 CPUtime=2477.11 cores=1,3,5,7
/proc/26453/stat : 26453 (java) S 26450 26453 21822 0 -1 1077944320 434112 0 0 0 247432 279 0 0 20 0 15 0 251096021 14433325056 443198 33554432000 4194304 4196468 140731751993472 140731751976016 139909843345143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
/proc/26453/statm: 3523761 443198 3628 1 0 3485833 0
[pid=26453/tid=26455] ppid=26450 vsize=14095044 memory=1612 CPUtime=2432.25 cores=1,3,5,7
/proc/26453/task/26455/stat : 26455 (java) R 26450 26453 21822 0 -1 4202560 177226 0 0 0 243149 76 0 0 20 0 15 0 251096022 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909847582784 139909452774534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26456] ppid=26450 vsize=14095044 memory=1772792 CPUtime=8.29 cores=1,3,5,7
/proc/26453/task/26456/stat : 26456 (java) S 26450 26453 21822 0 -1 1077944384 30389 0 0 0 806 23 0 0 20 0 15 0 251096022 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909773433360 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26457] ppid=26450 vsize=14095044 memory=6791534058613427641 CPUtime=8.28 cores=1,3,5,7
/proc/26453/task/26457/stat : 26457 (java) S 26450 26453 21822 0 -1 1077944384 30520 0 0 0 806 22 0 0 20 0 15 0 251096022 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909772380816 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26458] ppid=26450 vsize=14095044 memory=1774328 CPUtime=8.27 cores=1,3,5,7
/proc/26453/task/26458/stat : 26458 (java) S 26450 26453 21822 0 -1 1077944384 28014 0 0 0 803 24 0 0 20 0 15 0 251096022 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909771327760 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26459] ppid=26450 vsize=14095044 memory=1796400 CPUtime=8.29 cores=1,3,5,7
/proc/26453/task/26459/stat : 26459 (java) S 26450 26453 21822 0 -1 1077944384 36137 0 0 0 804 25 0 0 20 0 15 0 251096022 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909770275216 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26460] ppid=26450 vsize=14095044 memory=1794860 CPUtime=1.32 cores=1,3,5,7
/proc/26453/task/26460/stat : 26460 (java) S 26450 26453 21822 0 -1 1077944384 25825 0 0 0 102 30 0 0 20 0 15 0 251096024 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909317376752 139909843356290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26461] ppid=26450 vsize=14095044 memory=1790244 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26461/stat : 26461 (java) S 26450 26453 21822 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 251096024 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909316323040 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26462] ppid=26450 vsize=14095044 memory=1785620 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26462/stat : 26462 (java) S 26450 26453 21822 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 251096024 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909315269888 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26463] ppid=26450 vsize=14095044 memory=7100839870037596261 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26463/stat : 26463 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909314218448 139909843363739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26464] ppid=26450 vsize=14095044 memory=1775868 CPUtime=3.7 cores=1,3,5,7
/proc/26453/task/26464/stat : 26464 (java) S 26450 26453 21822 0 -1 1077944384 28986 0 0 0 366 4 0 0 20 0 15 0 251096027 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909313165552 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26465] ppid=26450 vsize=14095044 memory=1779464 CPUtime=3.71 cores=1,3,5,7
/proc/26453/task/26465/stat : 26465 (java) S 26450 26453 21822 0 -1 1077944384 21191 0 0 0 368 3 0 0 20 0 15 0 251096027 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909312113008 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26466] ppid=26450 vsize=14095044 memory=1774328 CPUtime=1.52 cores=1,3,5,7
/proc/26453/task/26466/stat : 26466 (java) S 26450 26453 21822 0 -1 1077944384 52607 0 0 0 147 5 0 0 20 0 15 0 251096027 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909311059952 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26467] ppid=26450 vsize=14095044 memory=1772792 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26467/stat : 26467 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909310007648 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26468] ppid=26450 vsize=14095044 memory=1772792 CPUtime=1.39 cores=1,3,5,7
/proc/26453/task/26468/stat : 26468 (java) S 26450 26453 21822 0 -1 1077944384 1745 0 0 0 55 84 0 0 20 0 15 0 251096027 14433325056 443198 33554432000 4194304 4196468 140731751993472 139909308955696 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
Current children cumulated CPU time: 2477.11 s
Current children cumulated vsize: 14095044 KiB
Current children cumulated memory: 1772792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2484.9 s]
/proc/loadavg: 1.71 1.67 1.62 3/215 26542
/proc/meminfo: memFree=20812144/32770624 swapFree=67105356/67108860
[pid=26453] ppid=26450 vsize=14095044 memory=1746108 CPUtime=2520.05 cores=1,3,5,7
/proc/26453/stat : 26453 (java) S 26450 26453 21822 0 -1 1077944320 437654 0 0 0 251724 281 0 0 20 0 15 0 251096021 14433325056 436527 33554432000 4194304 4196468 140731751993472 140731751976016 139909843345143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
/proc/26453/statm: 3523761 436527 3628 1 0 3485833 0
[pid=26453/tid=26455] ppid=26450 vsize=14095044 memory=1752264 CPUtime=2474.72 cores=1,3,5,7
/proc/26453/task/26455/stat : 26455 (java) R 26450 26453 21822 0 -1 4202560 178887 0 0 0 247396 76 0 0 20 0 15 0 251096022 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909847582928 139909452774527 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26456] ppid=26450 vsize=14095044 memory=1753288 CPUtime=8.39 cores=1,3,5,7
/proc/26453/task/26456/stat : 26456 (java) S 26450 26453 21822 0 -1 1077944384 30655 0 0 0 816 23 0 0 20 0 15 0 251096022 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909773433360 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26457] ppid=26450 vsize=14095044 memory=1746620 CPUtime=8.38 cores=1,3,5,7
/proc/26453/task/26457/stat : 26457 (java) S 26450 26453 21822 0 -1 1077944384 30906 0 0 0 816 22 0 0 20 0 15 0 251096022 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909772380816 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26458] ppid=26450 vsize=14095044 memory=1746108 CPUtime=8.37 cores=1,3,5,7
/proc/26453/task/26458/stat : 26458 (java) S 26450 26453 21822 0 -1 1077944384 28759 0 0 0 813 24 0 0 20 0 15 0 251096022 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909771327760 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26459] ppid=26450 vsize=14095044 memory=1779464 CPUtime=8.39 cores=1,3,5,7
/proc/26453/task/26459/stat : 26459 (java) S 26450 26453 21822 0 -1 1077944384 36332 0 0 0 814 25 0 0 20 0 15 0 251096022 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909770275216 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26460] ppid=26450 vsize=14095044 memory=3812 CPUtime=1.34 cores=1,3,5,7
/proc/26453/task/26460/stat : 26460 (java) S 26450 26453 21822 0 -1 1077944384 26076 0 0 0 103 31 0 0 20 0 15 0 251096024 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909317376752 139909843356290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26461] ppid=26450 vsize=14095044 memory=1746620 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26461/stat : 26461 (java) S 26450 26453 21822 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 251096024 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909316323040 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26462] ppid=26450 vsize=14095044 memory=1759960 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26462/stat : 26462 (java) S 26450 26453 21822 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 251096024 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909315269888 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26463] ppid=26450 vsize=14095044 memory=1753288 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26463/stat : 26463 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909314218448 139909843363739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26464] ppid=26450 vsize=14095044 memory=1753288 CPUtime=3.7 cores=1,3,5,7
/proc/26453/task/26464/stat : 26464 (java) S 26450 26453 21822 0 -1 1077944384 28994 0 0 0 366 4 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909313165552 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26465] ppid=26450 vsize=14095044 memory=6791534058613427641 CPUtime=3.71 cores=1,3,5,7
/proc/26453/task/26465/stat : 26465 (java) S 26450 26453 21822 0 -1 1077944384 21194 0 0 0 368 3 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909312113008 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26466] ppid=26450 vsize=14095044 memory=13636 CPUtime=1.52 cores=1,3,5,7
/proc/26453/task/26466/stat : 26466 (java) S 26450 26453 21822 0 -1 1077944384 52611 0 0 0 147 5 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909311059952 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26467] ppid=26450 vsize=14095044 memory=1749184 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26467/stat : 26467 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909310007648 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26468] ppid=26450 vsize=14095044 memory=1752264 CPUtime=1.41 cores=1,3,5,7
/proc/26453/task/26468/stat : 26468 (java) S 26450 26453 21822 0 -1 1077944384 1768 0 0 0 56 85 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909308955696 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14095044 KiB
Current children cumulated memory: 1746108 KiB

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

[startup+2484.93 s]
# the end of solver process 26453 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.26 s, system=2.83163 s

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

[startup+2484.9 s]
/proc/loadavg: 1.71 1.67 1.62 3/215 26542
/proc/meminfo: memFree=20812144/32770624 swapFree=67105356/67108860
[pid=26453] ppid=26450 vsize=14095044 memory=1746108 CPUtime=2520.05 cores=1,3,5,7
/proc/26453/stat : 26453 (java) S 26450 26453 21822 0 -1 1077944320 437654 0 0 0 251724 281 0 0 20 0 15 0 251096021 14433325056 436527 33554432000 4194304 4196468 140731751993472 140731751976016 139909843345143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
/proc/26453/statm: 3523761 436527 3628 1 0 3485833 0
[pid=26453/tid=26455] ppid=26450 vsize=14095044 memory=1752264 CPUtime=2474.72 cores=1,3,5,7
/proc/26453/task/26455/stat : 26455 (java) R 26450 26453 21822 0 -1 4202560 178887 0 0 0 247396 76 0 0 20 0 15 0 251096022 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909847582928 139909452774527 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26456] ppid=26450 vsize=14095044 memory=1753288 CPUtime=8.39 cores=1,3,5,7
/proc/26453/task/26456/stat : 26456 (java) S 26450 26453 21822 0 -1 1077944384 30655 0 0 0 816 23 0 0 20 0 15 0 251096022 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909773433360 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26457] ppid=26450 vsize=14095044 memory=1746620 CPUtime=8.38 cores=1,3,5,7
/proc/26453/task/26457/stat : 26457 (java) S 26450 26453 21822 0 -1 1077944384 30906 0 0 0 816 22 0 0 20 0 15 0 251096022 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909772380816 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26458] ppid=26450 vsize=14095044 memory=1746108 CPUtime=8.37 cores=1,3,5,7
/proc/26453/task/26458/stat : 26458 (java) S 26450 26453 21822 0 -1 1077944384 28759 0 0 0 813 24 0 0 20 0 15 0 251096022 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909771327760 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26459] ppid=26450 vsize=14095044 memory=1779464 CPUtime=8.39 cores=1,3,5,7
/proc/26453/task/26459/stat : 26459 (java) S 26450 26453 21822 0 -1 1077944384 36332 0 0 0 814 25 0 0 20 0 15 0 251096022 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909770275216 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26460] ppid=26450 vsize=14095044 memory=3812 CPUtime=1.34 cores=1,3,5,7
/proc/26453/task/26460/stat : 26460 (java) S 26450 26453 21822 0 -1 1077944384 26076 0 0 0 103 31 0 0 20 0 15 0 251096024 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909317376752 139909843356290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26461] ppid=26450 vsize=14095044 memory=1746620 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26461/stat : 26461 (java) S 26450 26453 21822 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 251096024 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909316323040 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26462] ppid=26450 vsize=14095044 memory=1759960 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26462/stat : 26462 (java) S 26450 26453 21822 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 251096024 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909315269888 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26463] ppid=26450 vsize=14095044 memory=1753288 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26463/stat : 26463 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909314218448 139909843363739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26464] ppid=26450 vsize=14095044 memory=1753288 CPUtime=3.7 cores=1,3,5,7
/proc/26453/task/26464/stat : 26464 (java) S 26450 26453 21822 0 -1 1077944384 28994 0 0 0 366 4 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909313165552 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26465] ppid=26450 vsize=14095044 memory=6791534058613427641 CPUtime=3.71 cores=1,3,5,7
/proc/26453/task/26465/stat : 26465 (java) S 26450 26453 21822 0 -1 1077944384 21194 0 0 0 368 3 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909312113008 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26466] ppid=26450 vsize=14095044 memory=13636 CPUtime=1.52 cores=1,3,5,7
/proc/26453/task/26466/stat : 26466 (java) S 26450 26453 21822 0 -1 1077944384 52611 0 0 0 147 5 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909311059952 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26467] ppid=26450 vsize=14095044 memory=1749184 CPUtime=0 cores=1,3,5,7
/proc/26453/task/26467/stat : 26467 (java) S 26450 26453 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909310007648 139909843355349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
[pid=26453/tid=26468] ppid=26450 vsize=14095044 memory=1752264 CPUtime=1.41 cores=1,3,5,7
/proc/26453/task/26468/stat : 26468 (java) S 26450 26453 21822 0 -1 1077944384 1768 0 0 0 56 85 0 0 20 0 15 0 251096027 14433325056 436527 33554432000 4194304 4196468 140731751993472 139909308955696 139909843356290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140731752002645 140731752002825 140731752002825 140731752005583 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14095044 KiB
Current children cumulated memory: 1746108 KiB

Child status: 143
Real time (s): 2484.93
CPU time (s): 2520.09
CPU user time (s): 2517.26
CPU system time (s): 2.83163
CPU usage (%): 101.415
Max. virtual memory (cumulated for all children) (KiB): 14095044
Max. memory (cumulated for all children) (KiB): 3599336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.26
system time used= 2.83163
maximum resident set size= 3603952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85084
involuntary context switches= 2296


# summary of solver processes directly reported to runsolver:
#   pid: 26453
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2517.26
#   total CPU system time (s): 2.83163

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5277 second user time and 21.5799 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml
MD5SUM	289cb43960e2b184f01d0d99cacee99d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	16618
Best CPU time to get the best result obtained on this benchmark	2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1470
Number of constraints	5725
Number of domains	3
Minimum domain size	2
Maximum domain size	57
Distribution of domain sizes	[{"size":2,"count":728},{"size":14,"count":364},{"size":57,"count":378}]
Minimum variable degree	2
Maximum variable degree	44
Distribution of variable degrees	[{"degree":2,"count":742},{"degree":41,"count":336},{"degree":42,"count":364},{"degree":43,"count":26},{"degree":44,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	26
Distribution of constraint arities	[{"arity":2,"count":365},{"arity":3,"count":28},{"arity":4,"count":4200},{"arity":5,"count":350},{"arity":14,"count":390},{"arity":16,"count":364},{"arity":26,"count":28}]
Number of extensional constraints	378
Number of intensional constraints	4565
Distribution of constraint types	[{"type":"extension","count":378},{"type":"intension","count":4565},{"type":"regular","count":14},{"type":"allDifferent","count":26},{"type":"cardinality","count":14},{"type":"element","count":728}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4308431

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