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-17	SAT (TO)	15969	252.044	240.641

0.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 848995248
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
7.24/2.82	c Parsing done, starting search...
7.57/2.98	o 17057
7.92/3.08	o 16990
7.92/3.08	o 16828
7.92/3.08	o 16793
7.92/3.09	o 16616
7.92/3.09	o 16612
10.99/4.04	o 16528
10.99/4.04	o 16480
10.99/4.05	o 16446
10.99/4.05	o 16399
10.99/4.05	o 16382
10.99/4.05	o 16351
10.99/4.05	o 16317
12.08/4.51	o 16309
12.08/4.52	o 16293
12.08/4.53	o 16285
12.08/4.53	o 16269
12.08/4.54	o 16227
12.08/4.56	o 16209
12.62/4.96	o 16204
13.49/5.52	o 16202
13.49/5.55	o 16161
13.49/5.56	o 16133
14.12/6.11	o 16074
14.12/6.12	o 16068
14.49/6.40	o 16022
88.98/80.18	o 16008
88.98/80.18	o 16005
88.98/80.18	o 16004
88.98/80.18	o 16001
88.98/80.19	o 15992
88.98/80.19	o 15989
89.31/80.42	o 15988
97.39/88.37	o 15985
97.39/88.38	o 15981
97.39/88.38	o 15972
97.39/88.38	o 15969
252.00/240.60	s SATISFIABLE
252.00/240.61	v <instantiation>
252.00/240.61	v 	<list>
252.00/240.61	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.00/240.61	v 	</list>
252.00/240.61	v 	<values>
252.00/240.61	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 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 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 0 1 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 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 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 36 91 59 0 0 44 31 48 0 0 15 47 32 10 39 39 55 101 57 55 67 79 51 0 0 0 40 27 39 31 21 46 0 44 41 64 0 55 55 0 10 10 32 32 0 43 43 0 0 64 58 55 65 48 90 61 55 51 50 0 45 55 49 56 56 22 44 56 0 0 58 69 48 15 0 47 47 0 0 0 66 44 41 80 80 0 50 66 69 14 14 0 0 51 45 47 0 0 32 32 0 47 47 34 51 68 68 36 36 0 0 18 70 58 45 21 21 35 51 74 0 0 73 73 31 64 91 51 67 55 0 0 64 64 0 0 50 61 75 0 51 10 44 40 40 41 41 0 35 35 0 42 68 81 48 90 94 0 27 44 39 0 0 75 55 44 56 56 0 59 81 31 69 69 70 69 92 27 27 0 47 32 39 18 73 88 0 0 0 90 90 0 44 51 43 44 0 0 69 10 69 81 0 56 56 14 47 59 0 0 41 75 35 64 0 31 70 66 68 0 42 94 81 0 0 48 48 0 0 81 79 49 53 0 21 21 73 65 64 104 0 0 103 103 43 44 79 0 105 70 69 30 80 67 55 35 81 0 51 59 93 0 68 68 0 49 49 0 0 0 103 103 0 101 55 65 0 55 15 55 0 75 92 66 69 14 69 0 51 51 0 10 70 21 73 0 0 0 67 81 68 66 0 0 44 35 91 69 0 0 105 43 55 105 10 10 0 58 58 0 55 44 70 0 0 73 73 0 57 57 90 50 80 55 55 105 69 73 101 0 88 88 90 56 48 94 94 0 30 30 41 41 0 0 93 67 50 0 0 59 59 104 42 75 0 92 18 91 0 69 10 65 64 0 90 48 61 
252.00/240.61	v 	</values>
252.00/240.61	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 (9265 MiB free)
  memory of node 1: 16384 MiB (12411 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312170-1534570152/watcher-4312170-1534570152 -o /tmp/evaluation-result-4312170-1534570152/solver-4312170-1534570152 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534568538-24120 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 848995248 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312170-1534570152.xml 

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

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=25215, runsolver pid=25212
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.66 1.54 1.46 3/215 25230
/proc/meminfo: memFree=22178848/32770624 swapFree=67108792/67108860
[pid=25215] ppid=25212 vsize=14082736 memory=31976 CPUtime=0.12 cores=0,2,4,6
/proc/25215/stat : 25215 (java) S 25212 25215 19594 0 -1 1077944320 6384 0 0 0 11 1 0 0 20 0 15 0 274578450 14420721664 7994 33554432000 4194304 4196468 140722989700928 140722989683472 140073672572663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
/proc/25215/statm: 3520684 7994 3151 1 0 3482761 0
[pid=25215/tid=25217] ppid=25212 vsize=14082736 memory=-8701690554792054394 CPUtime=0.09 cores=0,2,4,6
/proc/25215/task/25217/stat : 25217 (java) R 25212 25215 19594 0 -1 4202560 4425 0 0 0 8 1 0 0 20 0 15 0 274578450 14420721664 7994 33554432000 4194304 4196468 140722989700928 140073676777760 140073672594589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25218] ppid=25212 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25218/stat : 25218 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 7994 33554432000 4194304 4196468 140722989700928 140073587640592 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25219] ppid=25212 vsize=14082736 memory=140580450961024 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25219/stat : 25219 (java) S 25212 25215 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 7994 33554432000 4194304 4196468 140722989700928 140073586588048 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25220] ppid=25212 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25220/stat : 25220 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 7994 33554432000 4194304 4196468 140722989700928 140073585535504 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25221] ppid=25212 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25221/stat : 25221 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 7994 33554432000 4194304 4196468 140722989700928 140073584482960 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25222] ppid=25212 vsize=14082736 memory=140580450961024 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25222/stat : 25222 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578452 14420721664 7994 33554432000 4194304 4196468 140722989700928 140072584980976 140073672583810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25223] ppid=25212 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25223/stat : 25223 (java) S 25212 25215 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274578453 14420721664 7994 33554432000 4194304 4196468 140722989700928 140072583927200 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25224] ppid=25212 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25224/stat : 25224 (java) S 25212 25215 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274578453 14420721664 7994 33554432000 4194304 4196468 140722989700928 140072582874608 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25225] ppid=25212 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25225/stat : 25225 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578455 14420721664 7994 33554432000 4194304 4196468 140722989700928 140072581823184 140073672591259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25226] ppid=25212 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25226/stat : 25226 (java) S 25212 25215 19594 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 274578455 14420721664 7994 33554432000 4194304 4196468 140722989700928 140072580769776 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25227] ppid=25212 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25227/stat : 25227 (java) S 25212 25215 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274578455 14420721664 7994 33554432000 4194304 4196468 140722989700928 140072579717232 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25228] ppid=25212 vsize=14082736 memory=140580450961024 CPUtime=0.01 cores=0,2,4,6
/proc/25215/task/25228/stat : 25228 (java) R 25212 25215 19594 0 -1 4202560 277 0 0 0 1 0 0 0 20 0 15 0 274578455 14420721664 7994 33554432000 4194304 4196468 140722989700928 140072578664688 140073672594010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25229] ppid=25212 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25229/stat : 25229 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578456 14420721664 7994 33554432000 4194304 4196468 140722989700928 140072577612384 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25230] ppid=25212 vsize=14082736 memory=140580450961024 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25230/stat : 25230 (java) S 25212 25215 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274578456 14420721664 7994 33554432000 4194304 4196468 140722989700928 140072576559920 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31976 KiB

[startup+0.214383 s]*
/proc/loadavg: 1.66 1.54 1.46 5/215 25230
/proc/meminfo: memFree=22161156/32770624 swapFree=67108792/67108860
[pid=25215] ppid=25212 vsize=14082736 memory=47792 CPUtime=0.32 cores=0,2,4,6
/proc/25215/stat : 25215 (java) S 25212 25215 19594 0 -1 1077944320 10067 0 0 0 30 2 0 0 20 0 15 0 274578450 14420721664 11948 33554432000 4194304 4196468 140722989700928 140722989683472 140073672572663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
/proc/25215/statm: 3520684 11948 3359 1 0 3482761 0
[pid=25215/tid=25217] ppid=25212 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25215/task/25217/stat : 25217 (java) R 25212 25215 19594 0 -1 4202560 7773 0 0 0 19 1 0 0 20 0 15 0 274578450 14420721664 11948 33554432000 4194304 4196468 140722989700928 140073676800016 140073672584598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25218] ppid=25212 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25218/stat : 25218 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 11948 33554432000 4194304 4196468 140722989700928 140073587640592 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25219] ppid=25212 vsize=14082736 memory=288370956602672768 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25219/stat : 25219 (java) S 25212 25215 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 11948 33554432000 4194304 4196468 140722989700928 140073586588048 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25220] ppid=25212 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25220/stat : 25220 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 11948 33554432000 4194304 4196468 140722989700928 140073585535504 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25221] ppid=25212 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25221/stat : 25221 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 11948 33554432000 4194304 4196468 140722989700928 140073584482960 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25222] ppid=25212 vsize=14082736 memory=140580450961024 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25222/stat : 25222 (java) S 25212 25215 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274578452 14420721664 11948 33554432000 4194304 4196468 140722989700928 140072584980976 140073672583810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25223] ppid=25212 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25223/stat : 25223 (java) S 25212 25215 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274578453 14420721664 11948 33554432000 4194304 4196468 140722989700928 140072583927200 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25224] ppid=25212 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25224/stat : 25224 (java) S 25212 25215 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274578453 14420721664 11948 33554432000 4194304 4196468 140722989700928 140072582874608 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25225] ppid=25212 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25225/stat : 25225 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578455 14420721664 11948 33554432000 4194304 4196468 140722989700928 140072581823184 140073672591259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25226] ppid=25212 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25215/task/25226/stat : 25226 (java) S 25212 25215 19594 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 274578455 14420721664 11948 33554432000 4194304 4196468 140722989700928 140072580769776 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25227] ppid=25212 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25215/task/25227/stat : 25227 (java) S 25212 25215 19594 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 15 0 274578455 14420721664 11948 33554432000 4194304 4196468 140722989700928 140072579717232 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25228] ppid=25212 vsize=14082736 memory=140580450961024 CPUtime=0.06 cores=0,2,4,6
/proc/25215/task/25228/stat : 25228 (java) R 25212 25215 19594 0 -1 4202560 303 0 0 0 6 0 0 0 20 0 15 0 274578455 14420721664 11948 33554432000 4194304 4196468 140722989700928 140072578662480 140073664809790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25229] ppid=25212 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25229/stat : 25229 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578456 14420721664 11948 33554432000 4194304 4196468 140722989700928 140072577612384 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25230] ppid=25212 vsize=14082736 memory=140580450961024 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25230/stat : 25230 (java) S 25212 25215 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274578456 14420721664 11948 33554432000 4194304 4196468 140722989700928 140072576559920 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47792 KiB

[startup+0.310394 s]*
/proc/loadavg: 1.66 1.54 1.46 3/215 25230
/proc/meminfo: memFree=22157992/32770624 swapFree=67108792/67108860
[pid=25215] ppid=25212 vsize=14082736 memory=51388 CPUtime=0.44 cores=0,2,4,6
/proc/25215/stat : 25215 (java) S 25212 25215 19594 0 -1 1077944320 10422 0 0 0 42 2 0 0 20 0 15 0 274578450 14420721664 12847 33554432000 4194304 4196468 140722989700928 140722989683472 140073672572663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
/proc/25215/statm: 3520684 12847 3409 1 0 3482761 0
[pid=25215/tid=25217] ppid=25212 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/25215/task/25217/stat : 25217 (java) R 25212 25215 19594 0 -1 4202560 8100 0 0 0 28 2 0 0 20 0 15 0 274578450 14420721664 12847 33554432000 4194304 4196468 140722989700928 140073676782016 140073657738216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25218] ppid=25212 vsize=14082736 memory=4294977871 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25218/stat : 25218 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 12847 33554432000 4194304 4196468 140722989700928 140073587640592 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25219] ppid=25212 vsize=14082736 memory=288370956602672768 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25219/stat : 25219 (java) S 25212 25215 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 12847 33554432000 4194304 4196468 140722989700928 140073586588048 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25220] ppid=25212 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25220/stat : 25220 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 12847 33554432000 4194304 4196468 140722989700928 140073585535504 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25221] ppid=25212 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25221/stat : 25221 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14420721664 12847 33554432000 4194304 4196468 140722989700928 140073584482960 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25222] ppid=25212 vsize=14082736 memory=140580450961024 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25222/stat : 25222 (java) S 25212 25215 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274578452 14420721664 12847 33554432000 4194304 4196468 140722989700928 140072584980976 140073672583810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25223] ppid=25212 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25223/stat : 25223 (java) S 25212 25215 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274578453 14420721664 12847 33554432000 4194304 4196468 140722989700928 140072583927200 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25224] ppid=25212 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25224/stat : 25224 (java) S 25212 25215 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274578453 14420721664 12847 33554432000 4194304 4196468 140722989700928 140072582874608 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25225] ppid=25212 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25225/stat : 25225 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578455 14420721664 12847 33554432000 4194304 4196468 140722989700928 140072581823184 140073672591259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25226] ppid=25212 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25215/task/25226/stat : 25226 (java) S 25212 25215 19594 0 -1 1077944384 411 0 0 0 3 0 0 0 20 0 15 0 274578455 14420721664 12847 33554432000 4194304 4196468 140722989700928 140072580769776 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25227] ppid=25212 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25215/task/25227/stat : 25227 (java) S 25212 25215 19594 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 274578455 14420721664 12847 33554432000 4194304 4196468 140722989700928 140072579717232 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25228] ppid=25212 vsize=14082736 memory=140580450961024 CPUtime=0.08 cores=0,2,4,6
/proc/25215/task/25228/stat : 25228 (java) S 25212 25215 19594 0 -1 1077944384 310 0 0 0 8 0 0 0 20 0 15 0 274578455 14420721664 12847 33554432000 4194304 4196468 140722989700928 140072578664688 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25229] ppid=25212 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25229/stat : 25229 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578456 14420721664 12847 33554432000 4194304 4196468 140722989700928 140072577612384 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25230] ppid=25212 vsize=14082736 memory=140580450961024 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25230/stat : 25230 (java) S 25212 25215 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274578456 14420721664 12847 33554432000 4194304 4196468 140722989700928 140072576559920 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51388 KiB

[startup+0.700666 s]
/proc/loadavg: 1.66 1.54 1.46 3/215 25230
/proc/meminfo: memFree=22134056/32770624 swapFree=67108792/67108860
[pid=25215] ppid=25212 vsize=14084804 memory=88788 CPUtime=0.99 cores=0,2,4,6
/proc/25215/stat : 25215 (java) S 25212 25215 19594 0 -1 1077944320 17110 0 0 0 94 5 0 0 20 0 15 0 274578450 14422839296 22197 33554432000 4194304 4196468 140722989700928 140722989683472 140073672572663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
/proc/25215/statm: 3521201 22197 3499 1 0 3483273 0
[pid=25215/tid=25217] ppid=25212 vsize=14084804 memory=248907984565733 CPUtime=0.67 cores=0,2,4,6
/proc/25215/task/25217/stat : 25217 (java) R 25212 25215 19594 0 -1 4202560 14435 0 0 0 63 4 0 0 20 0 15 0 274578450 14422839296 22197 33554432000 4194304 4196468 140722989700928 140073676795920 140073656653150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25218] ppid=25212 vsize=14084804 memory=3544670663791094290 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25218/stat : 25218 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14422839296 22197 33554432000 4194304 4196468 140722989700928 140073587640592 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25219] ppid=25212 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25219/stat : 25219 (java) S 25212 25215 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274578451 14422839296 22197 33554432000 4194304 4196468 140722989700928 140073586588048 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25220] ppid=25212 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25220/stat : 25220 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14422839296 22197 33554432000 4194304 4196468 140722989700928 140073585535504 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25221] ppid=25212 vsize=14084804 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25221/stat : 25221 (java) S 25212 25215 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274578451 14422839296 22197 33554432000 4194304 4196468 140722989700928 140073584482960 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25222] ppid=25212 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25222/stat : 25222 (java) S 25212 25215 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274578452 14422839296 22197 33554432000 4194304 4196468 140722989700928 140072584980976 140073672583810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25223] ppid=25212 vsize=14084804 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25223/stat : 25223 (java) S 25212 25215 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274578453 14422839296 22197 33554432000 4194304 4196468 140722989700928 140072583927200 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25224] ppid=25212 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25224/stat : 25224 (java) S 25212 25215 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274578453 14422839296 22197 33554432000 4194304 4196468 140722989700928 140072582874608 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25225] ppid=25212 vsize=14084804 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25225/stat : 25225 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578455 14422839296 22197 33554432000 4194304 4196468 140722989700928 140072581823184 140073672591259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25226] ppid=25212 vsize=14084804 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25215/task/25226/stat : 25226 (java) S 25212 25215 19594 0 -1 1077944384 560 0 0 0 6 0 0 0 20 0 15 0 274578455 14422839296 22197 33554432000 4194304 4196468 140722989700928 140072580769776 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25227] ppid=25212 vsize=14084804 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25215/task/25227/stat : 25227 (java) S 25212 25215 19594 0 -1 1077944384 366 0 0 0 7 0 0 0 20 0 15 0 274578455 14422839296 22197 33554432000 4194304 4196468 140722989700928 140072579717232 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25228] ppid=25212 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/25215/task/25228/stat : 25228 (java) S 25212 25215 19594 0 -1 1077944384 367 0 0 0 15 0 0 0 20 0 15 0 274578455 14422839296 22197 33554432000 4194304 4196468 140722989700928 140072578664688 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25229] ppid=25212 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25229/stat : 25229 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578456 14422839296 22197 33554432000 4194304 4196468 140722989700928 140072577612384 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25230] ppid=25212 vsize=14084804 memory=15764 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25230/stat : 25230 (java) S 25212 25215 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274578456 14422839296 22197 33554432000 4194304 4196468 140722989700928 140072576559920 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88788 KiB

[startup+1.51214 s]
/proc/loadavg: 1.66 1.54 1.46 5/215 25230
/proc/meminfo: memFree=22073868/32770624 swapFree=67108792/67108860
[pid=25215] ppid=25212 vsize=14088900 memory=226152 CPUtime=3.55 cores=0,2,4,6
/proc/25215/stat : 25215 (java) S 25212 25215 19594 0 -1 1077944320 22844 0 0 0 346 9 0 0 20 0 15 0 274578450 14427033600 56538 33554432000 4194304 4196468 140722989700928 140722989683472 140073672572663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
/proc/25215/statm: 3522225 56538 3552 1 0 3484297 0
[pid=25215/tid=25217] ppid=25212 vsize=14088900 memory=10803 CPUtime=1.47 cores=0,2,4,6
/proc/25215/task/25217/stat : 25217 (java) S 25212 25215 19594 0 -1 1077944384 15984 0 0 0 141 6 0 0 20 0 15 0 274578450 14427033600 56538 33554432000 4194304 4196468 140722989700928 140073676808128 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25218] ppid=25212 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25218/stat : 25218 (java) R 25212 25215 19594 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 15 0 274578451 14427033600 56538 33554432000 4194304 4196468 140722989700928 140073587640592 140073665200871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25219] ppid=25212 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25219/stat : 25219 (java) R 25212 25215 19594 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 15 0 274578451 14427033600 56538 33554432000 4194304 4196468 140722989700928 140073586588248 140073657594784 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25220] ppid=25212 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25220/stat : 25220 (java) R 25212 25215 19594 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 15 0 274578451 14427033600 56538 33554432000 4194304 4196468 140722989700928 140073585535624 140073665200871 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25221] ppid=25212 vsize=14088900 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/25215/task/25221/stat : 25221 (java) R 25212 25215 19594 0 -1 4202560 38 0 0 0 1 0 0 0 20 0 15 0 274578451 14427033600 56538 33554432000 4194304 4196468 140722989700928 140073584482960 140073665200871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25222] ppid=25212 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25222/stat : 25222 (java) S 25212 25215 19594 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 274578452 14427033600 56538 33554432000 4194304 4196468 140722989700928 140072584979488 140073672582869 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0

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

/proc/25215/task/25217/stat : 25217 (java) R 25212 25215 19594 0 -1 4202560 30665 0 0 0 10149 35 0 0 20 0 15 0 274578450 14431227904 566271 33554432000 4194304 4196468 140722989700928 140073676810768 140073274266349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25218] ppid=25212 vsize=14092996 memory=2265084 CPUtime=0.33 cores=0,2,4,6
/proc/25215/task/25218/stat : 25218 (java) S 25212 25215 19594 0 -1 1077944384 1818 0 0 0 26 7 0 0 20 0 15 0 274578451 14431227904 566271 33554432000 4194304 4196468 140722989700928 140073587640592 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25219] ppid=25212 vsize=14092996 memory=2265084 CPUtime=0.31 cores=0,2,4,6
/proc/25215/task/25219/stat : 25219 (java) S 25212 25215 19594 0 -1 1077944384 1144 0 0 0 24 7 0 0 20 0 15 0 274578451 14431227904 566271 33554432000 4194304 4196468 140722989700928 140073586588048 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25220] ppid=25212 vsize=14092996 memory=2257612 CPUtime=0.29 cores=0,2,4,6
/proc/25215/task/25220/stat : 25220 (java) S 25212 25215 19594 0 -1 1077944384 1902 0 0 0 22 7 0 0 20 0 15 0 274578451 14431227904 566271 33554432000 4194304 4196468 140722989700928 140073585535504 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25221] ppid=25212 vsize=14092996 memory=281160640193648 CPUtime=0.32 cores=0,2,4,6
/proc/25215/task/25221/stat : 25221 (java) S 25212 25215 19594 0 -1 1077944384 1081 0 0 0 24 8 0 0 20 0 15 0 274578451 14431227904 566271 33554432000 4194304 4196468 140722989700928 140073584482960 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25222] ppid=25212 vsize=14092996 memory=2265084 CPUtime=0.04 cores=0,2,4,6
/proc/25215/task/25222/stat : 25222 (java) S 25212 25215 19594 0 -1 1077944384 2117 0 0 0 4 0 0 0 20 0 15 0 274578452 14431227904 566271 33554432000 4194304 4196468 140722989700928 140072584980976 140073672583810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25223] ppid=25212 vsize=14092996 memory=2266072 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25223/stat : 25223 (java) S 25212 25215 19594 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 274578453 14431227904 566271 33554432000 4194304 4196468 140722989700928 140072583927264 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25224] ppid=25212 vsize=14092996 memory=2264536 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25224/stat : 25224 (java) S 25212 25215 19594 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274578453 14431227904 566271 33554432000 4194304 4196468 140722989700928 140072582874624 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25225] ppid=25212 vsize=14092996 memory=2266116 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25225/stat : 25225 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578455 14431227904 566271 33554432000 4194304 4196468 140722989700928 140072581823184 140073672591259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25226] ppid=25212 vsize=14092996 memory=2168 CPUtime=3.48 cores=0,2,4,6
/proc/25215/task/25226/stat : 25226 (java) S 25212 25215 19594 0 -1 1077944384 11258 0 0 0 346 2 0 0 20 0 15 0 274578455 14431227904 566271 33554432000 4194304 4196468 140722989700928 140072580769776 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25227] ppid=25212 vsize=14092996 memory=2266652 CPUtime=3.47 cores=0,2,4,6
/proc/25215/task/25227/stat : 25227 (java) S 25212 25215 19594 0 -1 1077944384 7606 0 0 0 345 2 0 0 20 0 15 0 274578455 14431227904 566271 33554432000 4194304 4196468 140722989700928 140072579717232 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25228] ppid=25212 vsize=14092996 memory=2266652 CPUtime=1.23 cores=0,2,4,6
/proc/25215/task/25228/stat : 25228 (java) S 25212 25215 19594 0 -1 1077944384 6606 0 0 0 120 3 0 0 20 0 15 0 274578455 14431227904 566271 33554432000 4194304 4196468 140722989700928 140072578664688 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25229] ppid=25212 vsize=14092996 memory=6824 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25229/stat : 25229 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578456 14431227904 566271 33554432000 4194304 4196468 140722989700928 140072577612384 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25230] ppid=25212 vsize=14092996 memory=164 CPUtime=0.04 cores=0,2,4,6
/proc/25215/task/25230/stat : 25230 (java) S 25212 25215 19594 0 -1 1077944384 214 0 0 0 3 1 0 0 20 0 15 0 274578456 14431227904 566271 33554432000 4194304 4196468 140722989700928 140072576559920 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
Current children cumulated CPU time: 111.45 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2265084 KiB

[startup+162.301 s]
/proc/loadavg: 1.59 1.54 1.47 3/216 25316
/proc/meminfo: memFree=20955448/32770624 swapFree=67108792/67108860
[pid=25215] ppid=25212 vsize=14092996 memory=2287496 CPUtime=172.31 cores=0,2,4,6
/proc/25215/stat : 25215 (java) S 25212 25215 19594 0 -1 1077944320 71426 0 0 0 17136 95 0 0 20 0 15 0 274578450 14431227904 571874 33554432000 4194304 4196468 140722989700928 140722989683472 140073672572663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
/proc/25215/statm: 3523249 571874 3596 1 0 3485321 0
[pid=25215/tid=25217] ppid=25212 vsize=14092996 memory=2287504 CPUtime=161.42 cores=0,2,4,6
/proc/25215/task/25217/stat : 25217 (java) R 25212 25215 19594 0 -1 4202560 31858 0 0 0 16107 35 0 0 20 0 15 0 274578450 14431227904 571874 33554432000 4194304 4196468 140722989700928 140073676810640 140073275249245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25218] ppid=25212 vsize=14092996 memory=2285972 CPUtime=0.62 cores=0,2,4,6
/proc/25215/task/25218/stat : 25218 (java) S 25212 25215 19594 0 -1 1077944384 3039 0 0 0 50 12 0 0 20 0 15 0 274578451 14431227904 571874 33554432000 4194304 4196468 140722989700928 140073587640592 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25219] ppid=25212 vsize=14092996 memory=2287500 CPUtime=0.6 cores=0,2,4,6
/proc/25215/task/25219/stat : 25219 (java) S 25212 25215 19594 0 -1 1077944384 1677 0 0 0 49 11 0 0 20 0 15 0 274578451 14431227904 571874 33554432000 4194304 4196468 140722989700928 140073586588048 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25220] ppid=25212 vsize=14092996 memory=2287496 CPUtime=0.58 cores=0,2,4,6
/proc/25215/task/25220/stat : 25220 (java) S 25212 25215 19594 0 -1 1077944384 2263 0 0 0 47 11 0 0 20 0 15 0 274578451 14431227904 571874 33554432000 4194304 4196468 140722989700928 140073585535504 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25221] ppid=25212 vsize=14092996 memory=281160638970816 CPUtime=0.6 cores=0,2,4,6
/proc/25215/task/25221/stat : 25221 (java) S 25212 25215 19594 0 -1 1077944384 1579 0 0 0 48 12 0 0 20 0 15 0 274578451 14431227904 571874 33554432000 4194304 4196468 140722989700928 140073584482960 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25222] ppid=25212 vsize=14092996 memory=2257612 CPUtime=0.12 cores=0,2,4,6
/proc/25215/task/25222/stat : 25222 (java) S 25212 25215 19594 0 -1 1077944384 2410 0 0 0 10 2 0 0 20 0 15 0 274578452 14431227904 571874 33554432000 4194304 4196468 140722989700928 140072584980976 140073672583810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25223] ppid=25212 vsize=14092996 memory=140580319484000 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25223/stat : 25223 (java) S 25212 25215 19594 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 274578453 14431227904 571874 33554432000 4194304 4196468 140722989700928 140072583927264 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25224] ppid=25212 vsize=14092996 memory=2288528 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25224/stat : 25224 (java) S 25212 25215 19594 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274578453 14431227904 571874 33554432000 4194304 4196468 140722989700928 140072582874624 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25225] ppid=25212 vsize=14092996 memory=2289552 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25225/stat : 25225 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578455 14431227904 571874 33554432000 4194304 4196468 140722989700928 140072581823184 140073672591259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25226] ppid=25212 vsize=14092996 memory=6824 CPUtime=3.48 cores=0,2,4,6
/proc/25215/task/25226/stat : 25226 (java) S 25212 25215 19594 0 -1 1077944384 11260 0 0 0 346 2 0 0 20 0 15 0 274578455 14431227904 571874 33554432000 4194304 4196468 140722989700928 140072580769776 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25227] ppid=25212 vsize=14092996 memory=1096 CPUtime=3.48 cores=0,2,4,6
/proc/25215/task/25227/stat : 25227 (java) S 25212 25215 19594 0 -1 1077944384 8213 0 0 0 346 2 0 0 20 0 15 0 274578455 14431227904 571874 33554432000 4194304 4196468 140722989700928 140072579717232 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25228] ppid=25212 vsize=14092996 memory=2288524 CPUtime=1.23 cores=0,2,4,6
/proc/25215/task/25228/stat : 25228 (java) S 25212 25215 19594 0 -1 1077944384 7458 0 0 0 120 3 0 0 20 0 15 0 274578455 14431227904 571874 33554432000 4194304 4196468 140722989700928 140072578664688 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25229] ppid=25212 vsize=14092996 memory=1748 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25229/stat : 25229 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578456 14431227904 571874 33554432000 4194304 4196468 140722989700928 140072577612384 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25230] ppid=25212 vsize=14092996 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/25215/task/25230/stat : 25230 (java) S 25212 25215 19594 0 -1 1077944384 250 0 0 0 4 3 0 0 20 0 15 0 274578456 14431227904 571874 33554432000 4194304 4196468 140722989700928 140072576559920 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
Current children cumulated CPU time: 172.31 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2287496 KiB

[startup+222.301 s]
/proc/loadavg: 1.07 1.41 1.43 3/216 25317
/proc/meminfo: memFree=20939584/32770624 swapFree=67108792/67108860
[pid=25215] ppid=25212 vsize=14092996 memory=2306872 CPUtime=233.38 cores=0,2,4,6
/proc/25215/stat : 25215 (java) S 25212 25215 19594 0 -1 1077944320 76076 0 0 0 23231 107 0 0 20 0 15 0 274578450 14431227904 576718 33554432000 4194304 4196468 140722989700928 140722989683472 140073672572663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
/proc/25215/statm: 3523249 576718 3596 1 0 3485321 0
[pid=25215/tid=25217] ppid=25212 vsize=14092996 memory=2304324 CPUtime=220.81 cores=0,2,4,6
/proc/25215/task/25217/stat : 25217 (java) R 25212 25215 19594 0 -1 4202560 33103 0 0 0 22045 36 0 0 20 0 15 0 274578450 14431227904 576718 33554432000 4194304 4196468 140722989700928 140073676810752 140073275751653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25218] ppid=25212 vsize=14092996 memory=2304320 CPUtime=0.99 cores=0,2,4,6
/proc/25215/task/25218/stat : 25218 (java) S 25212 25215 19594 0 -1 1077944384 3475 0 0 0 85 14 0 0 20 0 15 0 274578451 14431227904 576718 33554432000 4194304 4196468 140722989700928 140073587640592 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25219] ppid=25212 vsize=14092996 memory=2304828 CPUtime=0.97 cores=0,2,4,6
/proc/25215/task/25219/stat : 25219 (java) S 25212 25215 19594 0 -1 1077944384 2078 0 0 0 83 14 0 0 20 0 15 0 274578451 14431227904 576718 33554432000 4194304 4196468 140722989700928 140073586588048 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25220] ppid=25212 vsize=14092996 memory=2465 CPUtime=0.94 cores=0,2,4,6
/proc/25215/task/25220/stat : 25220 (java) S 25212 25215 19594 0 -1 1077944384 4000 0 0 0 81 13 0 0 20 0 15 0 274578451 14431227904 576718 33554432000 4194304 4196468 140722989700928 140073585535504 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25221] ppid=25212 vsize=14092996 memory=2297180 CPUtime=0.97 cores=0,2,4,6
/proc/25215/task/25221/stat : 25221 (java) S 25212 25215 19594 0 -1 1077944384 2059 0 0 0 83 14 0 0 20 0 15 0 274578451 14431227904 576718 33554432000 4194304 4196468 140722989700928 140073584482960 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25222] ppid=25212 vsize=14092996 memory=2306872 CPUtime=0.28 cores=0,2,4,6
/proc/25215/task/25222/stat : 25222 (java) S 25212 25215 19594 0 -1 1077944384 2740 0 0 0 24 4 0 0 20 0 15 0 274578452 14431227904 576718 33554432000 4194304 4196468 140722989700928 140072584980976 140073672583810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25223] ppid=25212 vsize=14092996 memory=2301776 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25223/stat : 25223 (java) S 25212 25215 19594 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 274578453 14431227904 576718 33554432000 4194304 4196468 140722989700928 140072583927264 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25224] ppid=25212 vsize=14092996 memory=2295132 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25224/stat : 25224 (java) S 25212 25215 19594 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274578453 14431227904 576718 33554432000 4194304 4196468 140722989700928 140072582874624 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25225] ppid=25212 vsize=14092996 memory=2306872 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25225/stat : 25225 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578455 14431227904 576718 33554432000 4194304 4196468 140722989700928 140072581823184 140073672591259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25226] ppid=25212 vsize=14092996 memory=2305336 CPUtime=3.49 cores=0,2,4,6
/proc/25215/task/25226/stat : 25226 (java) S 25212 25215 19594 0 -1 1077944384 11263 0 0 0 347 2 0 0 20 0 15 0 274578455 14431227904 576718 33554432000 4194304 4196468 140722989700928 140072580769776 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25227] ppid=25212 vsize=14092996 memory=0 CPUtime=3.48 cores=0,2,4,6
/proc/25215/task/25227/stat : 25227 (java) S 25212 25215 19594 0 -1 1077944384 8217 0 0 0 346 2 0 0 20 0 15 0 274578455 14431227904 576718 33554432000 4194304 4196468 140722989700928 140072579717232 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25228] ppid=25212 vsize=14092996 memory=2306872 CPUtime=1.23 cores=0,2,4,6
/proc/25215/task/25228/stat : 25228 (java) S 25212 25215 19594 0 -1 1077944384 7461 0 0 0 120 3 0 0 20 0 15 0 274578455 14431227904 576718 33554432000 4194304 4196468 140722989700928 140072578664688 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25229] ppid=25212 vsize=14092996 memory=6824 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25229/stat : 25229 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578456 14431227904 576718 33554432000 4194304 4196468 140722989700928 140072577612384 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25230] ppid=25212 vsize=14092996 memory=1096 CPUtime=0.11 cores=0,2,4,6
/proc/25215/task/25230/stat : 25230 (java) S 25212 25215 19594 0 -1 1077944384 261 0 0 0 6 5 0 0 20 0 15 0 274578456 14431227904 576718 33554432000 4194304 4196468 140722989700928 140072576559920 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
Current children cumulated CPU time: 233.38 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2306872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+240.601 s]
/proc/loadavg: 1.12 1.40 1.43 3/216 25318
/proc/meminfo: memFree=20931356/32770624 swapFree=67108792/67108860
[pid=25215] ppid=25212 vsize=14092996 memory=2311968 CPUtime=252 cores=0,2,4,6
/proc/25215/stat : 25215 (java) S 25212 25215 19594 0 -1 1077944320 77718 0 0 0 25088 112 0 0 20 0 15 0 274578450 14431227904 577992 33554432000 4194304 4196468 140722989700928 140722989683472 140073672572663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
/proc/25215/statm: 3523249 577992 3596 1 0 3485321 0
[pid=25215/tid=25217] ppid=25212 vsize=14092996 memory=1068 CPUtime=238.93 cores=0,2,4,6
/proc/25215/task/25217/stat : 25217 (java) R 25212 25215 19594 0 -1 4202560 33640 0 0 0 23857 36 0 0 20 0 15 0 274578450 14431227904 577992 33554432000 4194304 4196468 140722989700928 140073676810800 140073274645686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25218] ppid=25212 vsize=14092996 memory=14888 CPUtime=1.1 cores=0,2,4,6
/proc/25215/task/25218/stat : 25218 (java) S 25212 25215 19594 0 -1 1077944384 3532 0 0 0 95 15 0 0 20 0 15 0 274578451 14431227904 577992 33554432000 4194304 4196468 140722989700928 140073587640592 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25219] ppid=25212 vsize=14092996 memory=15764 CPUtime=1.08 cores=0,2,4,6
/proc/25215/task/25219/stat : 25219 (java) S 25212 25215 19594 0 -1 1077944384 2197 0 0 0 93 15 0 0 20 0 15 0 274578451 14431227904 577992 33554432000 4194304 4196468 140722989700928 140073586588048 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25220] ppid=25212 vsize=14092996 memory=4528 CPUtime=1.06 cores=0,2,4,6
/proc/25215/task/25220/stat : 25220 (java) S 25212 25215 19594 0 -1 1077944384 4182 0 0 0 91 15 0 0 20 0 15 0 274578451 14431227904 577992 33554432000 4194304 4196468 140722989700928 140073585535504 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25221] ppid=25212 vsize=14092996 memory=3300 CPUtime=1.08 cores=0,2,4,6
/proc/25215/task/25221/stat : 25221 (java) S 25212 25215 19594 0 -1 1077944384 2537 0 0 0 92 16 0 0 20 0 15 0 274578451 14431227904 577992 33554432000 4194304 4196468 140722989700928 140073584482960 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25222] ppid=25212 vsize=14092996 memory=496 CPUtime=0.32 cores=0,2,4,6
/proc/25215/task/25222/stat : 25222 (java) S 25212 25215 19594 0 -1 1077944384 2986 0 0 0 28 4 0 0 20 0 15 0 274578452 14431227904 577992 33554432000 4194304 4196468 140722989700928 140072584980976 140073672583810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25223] ppid=25212 vsize=14092996 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25223/stat : 25223 (java) S 25212 25215 19594 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 274578453 14431227904 577992 33554432000 4194304 4196468 140722989700928 140072583927264 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25224] ppid=25212 vsize=14092996 memory=1748 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25224/stat : 25224 (java) S 25212 25215 19594 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274578453 14431227904 577992 33554432000 4194304 4196468 140722989700928 140072582874624 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25225] ppid=25212 vsize=14092996 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25225/stat : 25225 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578455 14431227904 577992 33554432000 4194304 4196468 140722989700928 140072581823184 140073672591259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25226] ppid=25212 vsize=14092996 memory=4512 CPUtime=3.49 cores=0,2,4,6
/proc/25215/task/25226/stat : 25226 (java) S 25212 25215 19594 0 -1 1077944384 11266 0 0 0 347 2 0 0 20 0 15 0 274578455 14431227904 577992 33554432000 4194304 4196468 140722989700928 140072580769776 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25227] ppid=25212 vsize=14092996 memory=3668 CPUtime=3.48 cores=0,2,4,6
/proc/25215/task/25227/stat : 25227 (java) S 25212 25215 19594 0 -1 1077944384 8219 0 0 0 346 2 0 0 20 0 15 0 274578455 14431227904 577992 33554432000 4194304 4196468 140722989700928 140072579717232 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25228] ppid=25212 vsize=14092996 memory=8520 CPUtime=1.23 cores=0,2,4,6
/proc/25215/task/25228/stat : 25228 (java) S 25212 25215 19594 0 -1 1077944384 7464 0 0 0 120 3 0 0 20 0 15 0 274578455 14431227904 577992 33554432000 4194304 4196468 140722989700928 140072578664688 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25229] ppid=25212 vsize=14092996 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25229/stat : 25229 (java) S 25212 25215 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274578456 14431227904 577992 33554432000 4194304 4196468 140722989700928 140072577612384 140073672582869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
[pid=25215/tid=25230] ppid=25212 vsize=14092996 memory=496 CPUtime=0.11 cores=0,2,4,6
/proc/25215/task/25230/stat : 25230 (java) S 25212 25215 19594 0 -1 1077944384 276 0 0 0 6 5 0 0 20 0 15 0 274578456 14431227904 577992 33554432000 4194304 4196468 140722989700928 140072576559920 140073672583810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39710720 140722989708367 140722989708558 140722989708558 140722989711311 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2311968 KiB

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

[startup+240.641 s]
# the end of solver process 25215 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.903 s, system=1.14136 s

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

Child status: 143
Real time (s): 240.641
CPU time (s): 252.044
CPU user time (s): 250.903
CPU system time (s): 1.14136
CPU usage (%): 104.739
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2313508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.903
system time used= 1.14135
maximum resident set size= 2313508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79536
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= 16264
involuntary context switches= 762


# summary of solver processes directly reported to runsolver:
#   pid: 25215
#   total CPU time (s): 252.044
#   total CPU user time (s): 250.903
#   total CPU system time (s): 1.14136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42265 second user time and 2.25253 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 4312170

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