2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-14	SAT (TO)	16135	252.104	240.734

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1718234380
0.67/0.55	c timeout: 252
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.57	c Parsing instance...
7.29/2.84	c Parsing done, starting search...
7.99/3.01	o 17057
8.32/3.12	o 16990
8.32/3.12	o 16828
8.32/3.12	o 16793
8.32/3.13	o 16616
8.32/3.13	o 16612
12.60/4.92	o 16598
12.60/4.94	o 16592
12.60/4.96	o 16581
13.12/5.37	o 16504
13.12/5.38	o 16500
13.33/5.45	o 16472
13.33/5.45	o 16468
13.33/5.45	o 16454
13.33/5.49	o 16453
13.46/5.50	o 16435
13.46/5.50	o 16389
13.66/5.72	o 16383
13.66/5.72	o 16382
13.77/5.82	o 16338
13.77/5.82	o 16304
13.77/5.82	o 16273
13.87/5.96	o 16272
13.87/6.00	o 16229
13.87/6.01	o 16225
15.29/7.24	o 16200
15.29/7.25	o 16194
15.29/7.25	o 16168
228.12/217.35	o 16167
228.12/217.36	o 16135
252.05/240.71	s SATISFIABLE
252.05/240.71	v <instantiation>
252.05/240.71	v 	<list>
252.05/240.71	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]
252.05/240.71	v 	</list>
252.05/240.71	v 	<values>
252.05/240.71	v 		4 4 13 6 7 12 6 8 10 13 8 2 3 1 1 5 9 10 12 2 11 7 9 3 11 5 5 6 9 4 8 10 7 7 13 5 12 12 2 0 0 11 3 4 3 9 6 13 8 11 2 10 12 13 5 10 5 6 4 4 9 10 6 0 1 7 3 7 8 11 8 0 12 11 3 9 1 13 11 5 8 12 11 13 13 10 12 7 9 5 0 4 2 10 1 7 1 6 4 6 2 0 9 8 0 0 12 1 6 11 2 2 8 11 5 10 9 3 5 12 13 1 13 8 3 9 6 10 7 7 1 3 2 13 2 8 10 11 11 1 4 3 13 9 4 0 6 8 9 10 7 12 12 7 6 0 8 1 10 0 4 2 0 9 7 8 2 9 10 11 13 13 5 12 7 3 1 3 4 12 5 11 13 12 11 9 0 9 1 1 6 3 10 11 8 2 8 2 10 3 6 12 5 0 13 5 4 4 6 11 3 11 1 5 12 0 4 6 0 13 7 12 7 9 2 5 2 4 9 10 1 13 10 3 10 10 1 7 13 7 11 6 2 12 3 6 4 5 11 8 0 13 5 1 8 4 0 2 3 12 9 9 6 2 12 1 5 3 0 2 7 4 6 13 12 3 7 0 11 5 13 8 11 4 8 1 3 8 7 8 3 4 9 5 5 4 13 7 12 6 9 1 12 2 10 13 0 2 10 1 0 6 2 7 4 3 10 0 8 13 3 9 1 1 11 8 10 4 11 6 0 7 2 5 5 6 13 9 7 2 0 5 9 3 3 12 1 0 11 8 5 10 6 6 4 9 4 11 10 1 7 8 12 2 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 36 36 59 59 44 90 88 44 0 0 48 48 0 10 10 0 51 103 55 15 15 0 0 34 66 44 39 40 40 0 31 21 46 0 44 41 64 55 55 0 0 10 10 32 32 0 43 69 39 0 64 58 55 65 48 48 0 55 51 50 0 45 55 49 56 44 10 22 0 56 56 0 53 53 0 58 66 47 0 61 61 0 41 41 0 66 69 50 69 101 90 14 0 34 34 47 47 0 0 32 39 18 51 0 0 67 68 68 0 36 57 73 18 18 45 45 0 70 44 51 74 51 51 0 0 31 64 104 21 55 55 0 0 64 64 0 0 50 61 75 42 73 51 44 64 40 41 41 0 35 36 39 0 81 81 48 90 94 0 27 27 0 0 39 65 55 44 56 56 0 0 31 31 69 69 0 92 92 27 94 90 59 0 47 51 18 0 70 70 41 90 90 0 0 79 43 44 59 59 69 10 67 56 53 81 0 14 14 0 0 44 44 48 35 64 0 31 31 68 66 69 0 0 48 36 21 0 0 81 90 81 68 49 50 42 0 0 73 65 64 104 0 0 0 103 65 44 79 0 0 69 69 0 67 67 55 35 44 105 0 93 93 0 68 68 51 15 49 30 30 103 103 0 0 101 55 65 0 55 15 55 0 75 75 0 69 14 69 10 44 75 66 0 74 21 73 0 66 68 81 67 0 70 55 81 44 0 69 69 0 70 70 64 55 48 58 0 55 55 10 10 0 0 0 0 0 0 80 80 0 81 81 0 30 30 55 64 105 101 74 73 0 57 44 56 48 94 27 92 90 0 0 61 61 0 93 93 50 80 90 59 59 104 42 51 66 92 18 91 0 69 69 64 44 41 0 0 0 
252.05/240.71	v 	</values>
252.05/240.71	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 (12865 MiB free)
  memory of node 1: 16384 MiB (11084 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309960-1534334181/watcher-4309960-1534334181 -o /tmp/evaluation-result-4309960-1534334181/solver-4309960-1534334181 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534328516-21542 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1718234380 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4309960-1534334181.xml 

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

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


[startup+0.100094 s]*
/proc/loadavg: 1.57 1.64 1.54 6/215 25358
/proc/meminfo: memFree=24489436/32770624 swapFree=67108524/67108860
[pid=25343] ppid=25340 vsize=14082736 memory=31300 CPUtime=0.12 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25340 25343 21510 0 -1 1077944320 6735 0 0 0 11 1 0 0 20 0 15 0 250981270 14420721664 7825 33554432000 4194304 4196468 140729267311312 140729267293856 139637297233655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
/proc/25343/statm: 3520684 7825 3159 1 0 3482761 0
[pid=25343/tid=25345] ppid=25340 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25340 25343 21510 0 -1 4202560 4782 0 0 0 8 1 0 0 20 0 15 0 250981270 14420721664 7825 33554432000 4194304 4196468 140729267311312 139637301465216 139637278797271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25346] ppid=25340 vsize=14082736 memory=5793854938888927673 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25340 25343 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 7825 33554432000 4194304 4196468 140729267311312 139637249853712 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25347] ppid=25340 vsize=14082736 memory=139687879034496 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 7825 33554432000 4194304 4196468 140729267311312 139637248801168 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25348] ppid=25340 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 7825 33554432000 4194304 4196468 140729267311312 139637247748624 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25349] ppid=25340 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 7825 33554432000 4194304 4196468 140729267311312 139637246696080 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25350] ppid=25340 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25340 25343 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250981272 14420721664 7825 33554432000 4194304 4196468 140729267311312 139636838656496 139637297244802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25351] ppid=25340 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25340 25343 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250981273 14420721664 7825 33554432000 4194304 4196468 140729267311312 139636837602720 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25352] ppid=25340 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25340 25343 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250981273 14420721664 7825 33554432000 4194304 4196468 140729267311312 139636768761328 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25353] ppid=25340 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981275 14420721664 7825 33554432000 4194304 4196468 140729267311312 139636767709904 139637297252251 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25354] ppid=25340 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25340 25343 21510 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 250981276 14420721664 7825 33554432000 4194304 4196468 140729267311312 139636766656496 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25355] ppid=25340 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981276 14420721664 7825 33554432000 4194304 4196468 140729267311312 139636765603952 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25356] ppid=25340 vsize=14082736 memory=139687879034496 CPUtime=0.01 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25340 25343 21510 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 250981276 14420721664 7825 33554432000 4194304 4196468 140729267311312 139636764551408 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25357] ppid=25340 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981276 14420721664 7825 33554432000 4194304 4196468 140729267311312 139636763499104 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25358] ppid=25340 vsize=14082736 memory=139687879034496 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981276 14420721664 7825 33554432000 4194304 4196468 140729267311312 139636762446640 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31300 KiB

[startup+0.21234 s]*
/proc/loadavg: 1.57 1.64 1.54 10/215 25358
/proc/meminfo: memFree=24457180/32770624 swapFree=67108524/67108860
[pid=25343] ppid=25340 vsize=14082736 memory=47116 CPUtime=0.31 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25340 25343 21510 0 -1 1077944320 10400 0 0 0 29 2 0 0 20 0 15 0 250981270 14420721664 11779 33554432000 4194304 4196468 140729267311312 140729267293856 139637297233655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
/proc/25343/statm: 3520684 11779 3363 1 0 3482761 0
[pid=25343/tid=25345] ppid=25340 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25340 25343 21510 0 -1 4202560 8117 0 0 0 19 1 0 0 20 0 15 0 250981270 14420721664 11779 33554432000 4194304 4196468 140729267311312 139637301452576 139637297245590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25346] ppid=25340 vsize=14082736 memory=4211973414083825034 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25340 25343 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 11779 33554432000 4194304 4196468 140729267311312 139637249853712 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25347] ppid=25340 vsize=14082736 memory=139687879034496 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 11779 33554432000 4194304 4196468 140729267311312 139637248801168 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25348] ppid=25340 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 11845 33554432000 4194304 4196468 140729267311312 139637247748624 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25349] ppid=25340 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 11845 33554432000 4194304 4196468 140729267311312 139637246696080 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25350] ppid=25340 vsize=14082736 memory=139687879034496 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25340 25343 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250981272 14420721664 11845 33554432000 4194304 4196468 140729267311312 139636838656496 139637297244802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25351] ppid=25340 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25340 25343 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250981273 14420721664 11845 33554432000 4194304 4196468 140729267311312 139636837602720 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25352] ppid=25340 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25340 25343 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250981273 14420721664 11845 33554432000 4194304 4196468 140729267311312 139636768761328 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25353] ppid=25340 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981275 14420721664 11845 33554432000 4194304 4196468 140729267311312 139636767709904 139637297252251 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25354] ppid=25340 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) R 25340 25343 21510 0 -1 4202560 465 0 0 0 1 0 0 0 20 0 15 0 250981276 14420721664 11845 33554432000 4194304 4196468 140729267311312 139636766656496 139637278744576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25355] ppid=25340 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) R 25340 25343 21510 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 15 0 250981276 14420721664 11845 33554432000 4194304 4196468 140729267311312 139636765603952 139637297244802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25356] ppid=25340 vsize=14082736 memory=139687879034496 CPUtime=0.06 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) R 25340 25343 21510 0 -1 4202560 290 0 0 0 6 0 0 0 20 0 15 0 250981276 14420721664 11845 33554432000 4194304 4196468 140729267311312 139636764551408 139637297245590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25357] ppid=25340 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981276 14420721664 11845 33554432000 4194304 4196468 140729267311312 139636763499104 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25358] ppid=25340 vsize=14082736 memory=139687879034496 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981276 14420721664 11845 33554432000 4194304 4196468 140729267311312 139636762446640 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47116 KiB

[startup+0.310376 s]*
/proc/loadavg: 1.57 1.64 1.54 6/215 25358
/proc/meminfo: memFree=24434592/32770624 swapFree=67108524/67108860
[pid=25343] ppid=25340 vsize=14082736 memory=50792 CPUtime=0.44 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25340 25343 21510 0 -1 1077944320 10778 0 0 0 42 2 0 0 20 0 15 0 250981270 14420721664 12698 33554432000 4194304 4196468 140729267311312 140729267293856 139637297233655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
/proc/25343/statm: 3520684 12698 3413 1 0 3482761 0
[pid=25343/tid=25345] ppid=25340 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25340 25343 21510 0 -1 4202560 8463 0 0 0 28 2 0 0 20 0 15 0 250981270 14420721664 12698 33554432000 4194304 4196468 140729267311312 139637301441936 139637278797184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25346] ppid=25340 vsize=14082736 memory=4211973414083825034 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25340 25343 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 12698 33554432000 4194304 4196468 140729267311312 139637249853712 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25347] ppid=25340 vsize=14082736 memory=139687879036861 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 12698 33554432000 4194304 4196468 140729267311312 139637248801168 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25348] ppid=25340 vsize=14082736 memory=139687771635167 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 12698 33554432000 4194304 4196468 140729267311312 139637247748624 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25349] ppid=25340 vsize=14082736 memory=139687771622863 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981271 14420721664 12698 33554432000 4194304 4196468 140729267311312 139637246696080 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25350] ppid=25340 vsize=14082736 memory=139687879056032 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25340 25343 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250981272 14420721664 12698 33554432000 4194304 4196468 140729267311312 139636838656496 139637297244802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25351] ppid=25340 vsize=14082736 memory=139687771632047 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25340 25343 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250981273 14420721664 12698 33554432000 4194304 4196468 140729267311312 139636837602720 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25352] ppid=25340 vsize=14082736 memory=279375543254928 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25340 25343 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250981273 14420721664 12698 33554432000 4194304 4196468 140729267311312 139636768761328 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25353] ppid=25340 vsize=14082736 memory=279375543252624 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981275 14420721664 12698 33554432000 4194304 4196468 140729267311312 139636767709904 139637297252251 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25354] ppid=25340 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25340 25343 21510 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 15 0 250981276 14420721664 12698 33554432000 4194304 4196468 140729267311312 139636766656496 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25355] ppid=25340 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25340 25343 21510 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 15 0 250981276 14420721664 12698 33554432000 4194304 4196468 140729267311312 139636765603952 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25356] ppid=25340 vsize=14082736 memory=139687879034496 CPUtime=0.08 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25340 25343 21510 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 15 0 250981276 14420721664 12698 33554432000 4194304 4196468 140729267311312 139636764551408 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25357] ppid=25340 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981276 14420721664 12698 33554432000 4194304 4196468 140729267311312 139636763499104 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25358] ppid=25340 vsize=14082736 memory=139687879034496 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981276 14420721664 12698 33554432000 4194304 4196468 140729267311312 139636762446640 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50792 KiB

[startup+0.700749 s]
/proc/loadavg: 1.57 1.64 1.54 7/215 25358
/proc/meminfo: memFree=24397068/32770624 swapFree=67108524/67108860
[pid=25343] ppid=25340 vsize=14084804 memory=89192 CPUtime=0.99 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25340 25343 21510 0 -1 1077944320 17651 0 0 0 94 5 0 0 20 0 15 0 250981270 14422839296 22298 33554432000 4194304 4196468 140729267311312 140729267293856 139637297233655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
/proc/25343/statm: 3521201 22298 3498 1 0 3483273 0
[pid=25343/tid=25345] ppid=25340 vsize=14084804 memory=1120 CPUtime=0.68 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25340 25343 21510 0 -1 4202560 14929 0 0 0 64 4 0 0 20 0 15 0 250981270 14422839296 22298 33554432000 4194304 4196468 140729267311312 139637301457008 139637281314142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25346] ppid=25340 vsize=14084804 memory=6076 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25340 25343 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250981271 14422839296 22298 33554432000 4194304 4196468 140729267311312 139637249853712 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25347] ppid=25340 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981271 14422839296 22298 33554432000 4194304 4196468 140729267311312 139637248801168 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25348] ppid=25340 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981271 14422839296 22298 33554432000 4194304 4196468 140729267311312 139637247748624 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25349] ppid=25340 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981271 14422839296 22298 33554432000 4194304 4196468 140729267311312 139637246696080 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25350] ppid=25340 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25340 25343 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250981272 14422839296 22298 33554432000 4194304 4196468 140729267311312 139636838656496 139637297244802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25351] ppid=25340 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25340 25343 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250981273 14422839296 22298 33554432000 4194304 4196468 140729267311312 139636837602720 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25352] ppid=25340 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25340 25343 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250981273 14422839296 22298 33554432000 4194304 4196468 140729267311312 139636768761328 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25353] ppid=25340 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981275 14422839296 22298 33554432000 4194304 4196468 140729267311312 139636767709904 139637297252251 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25354] ppid=25340 vsize=14084804 memory=226 CPUtime=0.07 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25340 25343 21510 0 -1 1077944384 641 0 0 0 7 0 0 0 20 0 15 0 250981276 14422839296 22298 33554432000 4194304 4196468 140729267311312 139636766656496 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25355] ppid=25340 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25340 25343 21510 0 -1 1077944384 295 0 0 0 7 0 0 0 20 0 15 0 250981276 14422839296 22298 33554432000 4194304 4196468 140729267311312 139636765603952 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25356] ppid=25340 vsize=14084804 memory=712 CPUtime=0.15 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25340 25343 21510 0 -1 1077944384 403 0 0 0 15 0 0 0 20 0 15 0 250981276 14422839296 22298 33554432000 4194304 4196468 140729267311312 139636764551408 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25357] ppid=25340 vsize=14084804 memory=279375543438832 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981276 14422839296 22298 33554432000 4194304 4196468 140729267311312 139636763499104 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25358] ppid=25340 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25340 25343 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250981276 14422839296 22298 33554432000 4194304 4196468 140729267311312 139636762446640 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89192 KiB

[startup+1.50899 s]
/proc/loadavg: 1.57 1.64 1.54 8/215 25358
/proc/meminfo: memFree=24264456/32770624 swapFree=67108524/67108860
[pid=25343] ppid=25340 vsize=14088900 memory=226088 CPUtime=3.56 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25340 25343 21510 0 -1 1077944320 28084 0 0 0 345 11 0 0 20 0 15 0 250981270 14427033600 56522 33554432000 4194304 4196468 140729267311312 140729267293856 139637297233655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
/proc/25343/statm: 3522225 56522 3556 1 0 3484297 0
[pid=25343/tid=25345] ppid=25340 vsize=14088900 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) S 25340 25343 21510 0 -1 1077944384 18087 0 0 0 140 7 0 0 20 0 15 0 250981270 14427033600 56522 33554432000 4194304 4196468 140729267311312 139637301467408 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25346] ppid=25340 vsize=14088900 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25340 25343 21510 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 250981271 14427033600 56522 33554432000 4194304 4196468 140729267311312 139637249853712 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25347] ppid=25340 vsize=14088900 memory=-6439125508584858207 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25340 25343 21510 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 250981271 14427033600 56522 33554432000 4194304 4196468 140729267311312 139637248801168 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25348] ppid=25340 vsize=14088900 memory=-7088784936001294894 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25340 25343 21510 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 250981271 14427033600 56522 33554432000 4194304 4196468 140729267311312 139637247748624 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25349] ppid=25340 vsize=14088900 memory=4946247180075506560 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25340 25343 21510 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 250981271 14427033600 56522 33554432000 4194304 4196468 140729267311312 139637246696080 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25350] ppid=25340 vsize=14088900 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) R 25340 25343 21510 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 15 0 250981272 14427033600 56522 33554432000 4194304 4196468 140729267311312 139636838655008 139637297255002 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0

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

/proc/25343/task/25345/stat : 25345 (java) R 25340 25343 21510 0 -1 4202560 30958 0 0 0 16113 34 0 0 20 0 15 0 250981270 14431227904 569270 33554432000 4194304 4196468 140729267311312 139637301471584 139636933247248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25346] ppid=25340 vsize=14092996 memory=2275560 CPUtime=0.58 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25340 25343 21510 0 -1 1077944384 1191 0 0 0 46 12 0 0 20 0 15 0 250981271 14431227904 569270 33554432000 4194304 4196468 140729267311312 139637249853712 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25347] ppid=25340 vsize=14092996 memory=2277092 CPUtime=0.58 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25340 25343 21510 0 -1 1077944384 1159 0 0 0 46 12 0 0 20 0 15 0 250981271 14431227904 569270 33554432000 4194304 4196468 140729267311312 139637248801168 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25348] ppid=25340 vsize=14092996 memory=2277084 CPUtime=0.57 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25340 25343 21510 0 -1 1077944384 2062 0 0 0 45 12 0 0 20 0 15 0 250981271 14431227904 569270 33554432000 4194304 4196468 140729267311312 139637247748624 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25349] ppid=25340 vsize=14092996 memory=2278108 CPUtime=0.58 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25340 25343 21510 0 -1 1077944384 3225 0 0 0 46 12 0 0 20 0 15 0 250981271 14431227904 569270 33554432000 4194304 4196468 140729267311312 139637246696080 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25350] ppid=25340 vsize=14092996 memory=2277080 CPUtime=0.14 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25340 25343 21510 0 -1 1077944384 2961 0 0 0 12 2 0 0 20 0 15 0 250981272 14431227904 569270 33554432000 4194304 4196468 140729267311312 139636838656496 139637297244802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25351] ppid=25340 vsize=14092996 memory=56 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25340 25343 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250981273 14431227904 569270 33554432000 4194304 4196468 140729267311312 139636837602784 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25352] ppid=25340 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25340 25343 21510 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250981273 14431227904 569270 33554432000 4194304 4196468 140729267311312 139636768761344 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25353] ppid=25340 vsize=14092996 memory=2263780 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981275 14431227904 569270 33554432000 4194304 4196468 140729267311312 139636767709904 139637297252251 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25354] ppid=25340 vsize=14092996 memory=2263780 CPUtime=3.33 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25340 25343 21510 0 -1 1077944384 6702 0 0 0 331 2 0 0 20 0 15 0 250981276 14431227904 569270 33554432000 4194304 4196468 140729267311312 139636766656496 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25355] ppid=25340 vsize=14092996 memory=2275560 CPUtime=3.39 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25340 25343 21510 0 -1 1077944384 7634 0 0 0 338 1 0 0 20 0 15 0 250981276 14431227904 569270 33554432000 4194304 4196468 140729267311312 139636765603952 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25356] ppid=25340 vsize=14092996 memory=2274812 CPUtime=1.22 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25340 25343 21510 0 -1 1077944384 7099 0 0 0 120 2 0 0 20 0 15 0 250981276 14431227904 569270 33554432000 4194304 4196468 140729267311312 139636764551408 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25357] ppid=25340 vsize=14092996 memory=2277604 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981276 14431227904 569270 33554432000 4194304 4196468 140729267311312 139636763499104 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25358] ppid=25340 vsize=14092996 memory=2278628 CPUtime=0.09 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25340 25343 21510 0 -1 1077944384 381 0 0 0 4 5 0 0 20 0 15 0 250981276 14431227904 569270 33554432000 4194304 4196468 140729267311312 139636762446640 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
Current children cumulated CPU time: 172.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2277080 KiB

[startup+222.301 s]
/proc/loadavg: 1.91 1.71 1.59 3/216 25370
/proc/meminfo: memFree=20231060/32770624 swapFree=67108524/67108860
[pid=25343] ppid=25340 vsize=14092996 memory=2291608 CPUtime=233.23 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25340 25343 21510 0 -1 1077944320 75075 0 0 0 23215 108 0 0 20 0 15 0 250981270 14431227904 572902 33554432000 4194304 4196468 140729267311312 140729267293856 139637297233655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
/proc/25343/statm: 3523249 572902 3596 1 0 3485321 0
[pid=25343/tid=25345] ppid=25340 vsize=14092996 memory=3516 CPUtime=220.83 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25340 25343 21510 0 -1 4202560 32731 0 0 0 22048 35 0 0 20 0 15 0 250981270 14431227904 572902 33554432000 4194304 4196468 140729267311312 139637301471488 139636933390151 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25346] ppid=25340 vsize=14092996 memory=2289340 CPUtime=0.97 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25340 25343 21510 0 -1 1077944384 1861 0 0 0 82 15 0 0 20 0 15 0 250981271 14431227904 572902 33554432000 4194304 4196468 140729267311312 139637249853712 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25347] ppid=25340 vsize=14092996 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25340 25343 21510 0 -1 1077944384 2697 0 0 0 81 15 0 0 20 0 15 0 250981271 14431227904 572902 33554432000 4194304 4196468 140729267311312 139637248801168 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25348] ppid=25340 vsize=14092996 memory=2287292 CPUtime=0.96 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25340 25343 21510 0 -1 1077944384 2860 0 0 0 81 15 0 0 20 0 15 0 250981271 14431227904 572902 33554432000 4194304 4196468 140729267311312 139637247748624 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25349] ppid=25340 vsize=14092996 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25340 25343 21510 0 -1 1077944384 3577 0 0 0 83 14 0 0 20 0 15 0 250981271 14431227904 572902 33554432000 4194304 4196468 140729267311312 139637246696080 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25350] ppid=25340 vsize=14092996 memory=2289340 CPUtime=0.32 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25340 25343 21510 0 -1 1077944384 3533 0 0 0 28 4 0 0 20 0 15 0 250981272 14431227904 572902 33554432000 4194304 4196468 140729267311312 139636838656496 139637297244802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25351] ppid=25340 vsize=14092996 memory=2289340 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25340 25343 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250981273 14431227904 572902 33554432000 4194304 4196468 140729267311312 139636837602784 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25352] ppid=25340 vsize=14092996 memory=2289340 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25340 25343 21510 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250981273 14431227904 572902 33554432000 4194304 4196468 140729267311312 139636768761344 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25353] ppid=25340 vsize=14092996 memory=2291608 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981275 14431227904 572902 33554432000 4194304 4196468 140729267311312 139636767709904 139637297252251 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25354] ppid=25340 vsize=14092996 memory=2291608 CPUtime=3.33 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25340 25343 21510 0 -1 1077944384 7041 0 0 0 331 2 0 0 20 0 15 0 250981276 14431227904 572902 33554432000 4194304 4196468 140729267311312 139636766656496 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25355] ppid=25340 vsize=14092996 memory=2291608 CPUtime=3.43 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25340 25343 21510 0 -1 1077944384 9260 0 0 0 342 1 0 0 20 0 15 0 250981276 14431227904 572902 33554432000 4194304 4196468 140729267311312 139636765603952 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25356] ppid=25340 vsize=14092996 memory=2291608 CPUtime=1.23 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25340 25343 21510 0 -1 1077944384 9667 0 0 0 121 2 0 0 20 0 15 0 250981276 14431227904 572902 33554432000 4194304 4196468 140729267311312 139636764551408 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25357] ppid=25340 vsize=14092996 memory=2291608 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981276 14431227904 572902 33554432000 4194304 4196468 140729267311312 139636763499104 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25358] ppid=25340 vsize=14092996 memory=1740 CPUtime=0.13 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25340 25343 21510 0 -1 1077944384 424 0 0 0 6 7 0 0 20 0 15 0 250981276 14431227904 572902 33554432000 4194304 4196468 140729267311312 139636762446640 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
Current children cumulated CPU time: 233.23 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2291608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+240.701 s]
/proc/loadavg: 2.06 1.76 1.61 4/216 25447
/proc/meminfo: memFree=22431256/32770624 swapFree=67108524/67108860
[pid=25343] ppid=25340 vsize=14092996 memory=2311064 CPUtime=252.05 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25340 25343 21510 0 -1 1077944320 78724 0 0 0 25091 114 0 0 20 0 15 0 250981270 14431227904 577766 33554432000 4194304 4196468 140729267311312 140729267293856 139637297233655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
/proc/25343/statm: 3523249 577766 3596 1 0 3485321 0
[pid=25343/tid=25345] ppid=25340 vsize=14092996 memory=2311064 CPUtime=239.05 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25340 25343 21510 0 -1 4202560 33492 0 0 0 23869 36 0 0 20 0 15 0 250981270 14431227904 577766 33554432000 4194304 4196468 140729267311312 139637301471488 139636933388704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25346] ppid=25340 vsize=14092996 memory=2314140 CPUtime=1.1 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25340 25343 21510 0 -1 1077944384 2097 0 0 0 94 16 0 0 20 0 15 0 250981271 14431227904 577766 33554432000 4194304 4196468 140729267311312 139637249853712 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25347] ppid=25340 vsize=14092996 memory=2304400 CPUtime=1.09 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25340 25343 21510 0 -1 1077944384 2963 0 0 0 93 16 0 0 20 0 15 0 250981271 14431227904 577766 33554432000 4194304 4196468 140729267311312 139637248801168 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25348] ppid=25340 vsize=14092996 memory=2291608 CPUtime=1.09 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25340 25343 21510 0 -1 1077944384 3018 0 0 0 92 17 0 0 20 0 15 0 250981271 14431227904 577766 33554432000 4194304 4196468 140729267311312 139637247748624 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25349] ppid=25340 vsize=14092996 memory=2295704 CPUtime=1.1 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25340 25343 21510 0 -1 1077944384 3675 0 0 0 95 15 0 0 20 0 15 0 250981271 14431227904 577766 33554432000 4194304 4196468 140729267311312 139637246696080 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25350] ppid=25340 vsize=14092996 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25340 25343 21510 0 -1 1077944384 3535 0 0 0 30 5 0 0 20 0 15 0 250981272 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636838656496 139637297244802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25351] ppid=25340 vsize=14092996 memory=2314140 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25340 25343 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250981273 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636837602784 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25352] ppid=25340 vsize=14092996 memory=2311064 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25340 25343 21510 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250981273 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636768761344 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25353] ppid=25340 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981275 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636767709904 139637297252251 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25354] ppid=25340 vsize=14092996 memory=0 CPUtime=3.33 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25340 25343 21510 0 -1 1077944384 7041 0 0 0 331 2 0 0 20 0 15 0 250981276 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636766656496 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25355] ppid=25340 vsize=14092996 memory=11 CPUtime=3.49 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25340 25343 21510 0 -1 1077944384 11386 0 0 0 347 2 0 0 20 0 15 0 250981276 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636765603952 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25356] ppid=25340 vsize=14092996 memory=2299796 CPUtime=1.23 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25340 25343 21510 0 -1 1077944384 9668 0 0 0 121 2 0 0 20 0 15 0 250981276 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636764551408 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25357] ppid=25340 vsize=14092996 memory=2298776 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981276 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636763499104 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25358] ppid=25340 vsize=14092996 memory=2308528 CPUtime=0.14 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25340 25343 21510 0 -1 1077944384 425 0 0 0 6 8 0 0 20 0 15 0 250981276 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636762446640 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2311064 KiB

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

[startup+240.734 s]
# the end of solver process 25343 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.941 s, system=1.16298 s

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

[startup+240.701 s]
/proc/loadavg: 2.06 1.76 1.61 4/216 25447
/proc/meminfo: memFree=22431256/32770624 swapFree=67108524/67108860
[pid=25343] ppid=25340 vsize=14092996 memory=2311064 CPUtime=252.05 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25340 25343 21510 0 -1 1077944320 78724 0 0 0 25091 114 0 0 20 0 15 0 250981270 14431227904 577766 33554432000 4194304 4196468 140729267311312 140729267293856 139637297233655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
/proc/25343/statm: 3523249 577766 3596 1 0 3485321 0
[pid=25343/tid=25345] ppid=25340 vsize=14092996 memory=2311064 CPUtime=239.05 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25340 25343 21510 0 -1 4202560 33492 0 0 0 23869 36 0 0 20 0 15 0 250981270 14431227904 577766 33554432000 4194304 4196468 140729267311312 139637301471488 139636933388704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25346] ppid=25340 vsize=14092996 memory=2314140 CPUtime=1.1 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25340 25343 21510 0 -1 1077944384 2097 0 0 0 94 16 0 0 20 0 15 0 250981271 14431227904 577766 33554432000 4194304 4196468 140729267311312 139637249853712 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25347] ppid=25340 vsize=14092996 memory=2304400 CPUtime=1.09 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25340 25343 21510 0 -1 1077944384 2963 0 0 0 93 16 0 0 20 0 15 0 250981271 14431227904 577766 33554432000 4194304 4196468 140729267311312 139637248801168 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25348] ppid=25340 vsize=14092996 memory=2291608 CPUtime=1.09 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25340 25343 21510 0 -1 1077944384 3018 0 0 0 92 17 0 0 20 0 15 0 250981271 14431227904 577766 33554432000 4194304 4196468 140729267311312 139637247748624 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25349] ppid=25340 vsize=14092996 memory=2295704 CPUtime=1.1 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25340 25343 21510 0 -1 1077944384 3675 0 0 0 95 15 0 0 20 0 15 0 250981271 14431227904 577766 33554432000 4194304 4196468 140729267311312 139637246696080 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25350] ppid=25340 vsize=14092996 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25340 25343 21510 0 -1 1077944384 3535 0 0 0 30 5 0 0 20 0 15 0 250981272 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636838656496 139637297244802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25351] ppid=25340 vsize=14092996 memory=2314140 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25340 25343 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250981273 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636837602784 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25352] ppid=25340 vsize=14092996 memory=2311064 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25340 25343 21510 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 250981273 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636768761344 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25353] ppid=25340 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981275 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636767709904 139637297252251 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25354] ppid=25340 vsize=14092996 memory=0 CPUtime=3.33 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25340 25343 21510 0 -1 1077944384 7041 0 0 0 331 2 0 0 20 0 15 0 250981276 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636766656496 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25355] ppid=25340 vsize=14092996 memory=11 CPUtime=3.49 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25340 25343 21510 0 -1 1077944384 11386 0 0 0 347 2 0 0 20 0 15 0 250981276 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636765603952 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25356] ppid=25340 vsize=14092996 memory=2299796 CPUtime=1.23 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25340 25343 21510 0 -1 1077944384 9668 0 0 0 121 2 0 0 20 0 15 0 250981276 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636764551408 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25357] ppid=25340 vsize=14092996 memory=2298776 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25340 25343 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250981276 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636763499104 139637297243861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
[pid=25343/tid=25358] ppid=25340 vsize=14092996 memory=2308528 CPUtime=0.14 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25340 25343 21510 0 -1 1077944384 425 0 0 0 6 8 0 0 20 0 15 0 250981276 14431227904 577766 33554432000 4194304 4196468 140729267311312 139636762446640 139637297244802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140729267319886 140729267320078 140729267320078 140729267322831 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2311064 KiB

Child status: 143
Real time (s): 240.734
CPU time (s): 252.104
CPU user time (s): 250.941
CPU system time (s): 1.16298
CPU usage (%): 104.723
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2314140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.941
system time used= 1.16298
maximum resident set size= 2314140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16717
involuntary context switches= 521


# summary of solver processes directly reported to runsolver:
#   pid: 25343
#   total CPU time (s): 252.104
#   total CPU user time (s): 250.941
#   total CPU system time (s): 1.16298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37157 second user time and 2.36161 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml
MD5SUM	7a3ba77b7a6be046779b0525cfa105c0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14558
Best CPU time to get the best result obtained on this benchmark	252.059
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 4309960

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