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)	17741	252.05	241.436

0.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 1967774047
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.59	c Parsing instance...
7.34/2.81	c Parsing done, starting search...
17.91/10.88	o 17833
18.08/10.92	o 17741
252.01/241.41	s SATISFIABLE
252.01/241.42	v <instantiation>
252.01/241.42	v 	<list>
252.01/241.42	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.01/241.42	v 	</list>
252.01/241.42	v 	<values>
252.01/241.42	v 		4 4 13 6 7 12 6 8 10 13 3 2 3 1 1 5 9 8 12 2 11 7 9 10 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 0 5 0 4 2 10 1 9 1 6 4 6 2 7 9 8 0 0 12 1 6 11 2 2 8 11 10 10 9 3 5 12 13 1 13 8 3 9 6 5 7 7 1 3 2 13 2 8 10 11 11 1 7 3 13 9 4 0 6 7 9 10 8 12 12 4 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 5 11 8 2 8 2 10 5 6 12 10 0 13 3 4 4 6 11 3 11 1 5 12 0 4 6 9 13 7 12 7 9 2 0 2 4 5 10 1 13 10 3 10 10 1 7 13 7 11 6 2 12 8 6 4 5 11 8 0 3 5 1 13 4 0 2 3 12 9 9 6 2 12 1 5 3 0 2 4 4 6 13 12 3 7 13 11 5 7 8 11 0 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 10 4 11 9 1 7 8 12 2 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 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 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 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 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 36 36 0 44 44 44 44 55 66 59 15 47 34 10 10 0 48 81 57 55 55 51 51 0 39 39 0 0 43 43 46 73 65 44 44 40 94 55 0 10 10 0 32 51 31 0 39 92 64 64 58 22 0 48 48 0 55 51 50 0 45 55 49 56 56 22 22 0 56 56 0 53 48 15 58 66 47 0 61 61 66 44 41 80 80 0 50 66 69 0 34 34 0 51 45 47 0 67 43 32 0 47 47 14 14 68 68 36 36 0 31 39 18 45 45 21 69 70 74 103 55 0 73 73 0 91 91 51 51 0 35 35 64 64 40 40 50 61 75 42 42 44 44 0 48 14 41 0 35 36 39 0 81 103 51 0 94 94 27 27 0 0 39 39 44 44 56 56 69 69 31 31 0 75 10 70 92 75 27 59 14 47 0 18 73 88 0 0 41 41 67 67 0 79 43 44 59 47 14 0 81 53 56 0 69 51 48 90 90 44 44 0 64 64 0 31 31 68 66 69 0 81 57 48 0 68 93 104 0 81 81 53 53 0 21 35 42 46 46 73 73 0 103 103 0 79 41 93 105 105 0 30 30 69 69 81 81 68 48 51 0 43 43 55 55 49 47 67 0 0 103 69 75 101 101 51 51 0 55 45 74 0 66 66 69 69 0 10 10 69 81 73 55 55 65 65 0 69 69 0 66 51 70 0 44 44 0 67 90 105 105 43 64 58 58 69 69 0 10 10 55 44 70 0 90 64 73 0 57 57 0 80 80 0 55 55 81 73 101 105 70 88 0 48 50 94 0 90 93 30 0 61 15 59 0 50 50 90 55 64 69 69 75 75 92 92 91 74 66 0 93 93 41 81 104 0 0 
252.01/241.42	v 	</values>
252.01/241.42	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 (13973 MiB free)
  memory of node 1: 16384 MiB (9086 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312163-1534570117/watcher-4312163-1534570117 -o /tmp/evaluation-result-4312163-1534570117/solver-4312163-1534570117 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534569106-5477 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1967774047 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312163-1534570117.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
Current StackSize limit: 8192 KiB

solver pid=6465, runsolver pid=6462

[startup+0.105477 s]*
/proc/loadavg: 1.47 1.63 1.53 4/219 6480
/proc/meminfo: memFree=23594668/32770624 swapFree=67108852/67108860
[pid=6465] ppid=6462 vsize=14082736 memory=32272 CPUtime=0.12 cores=0,2,4,6
/proc/6465/stat : 6465 (java) S 6462 6465 1824 0 -1 1077944320 6427 0 0 0 11 1 0 0 20 0 15 0 274574844 14420721664 8068 33554432000 4194304 4196468 140733158139712 140733158122256 139813088263927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
/proc/6465/statm: 3520684 8068 3160 1 0 3482761 0
[pid=6465/tid=6467] ppid=6462 vsize=14082736 memory=-8824346587361539264 CPUtime=0.09 cores=0,2,4,6
/proc/6465/task/6467/stat : 6467 (java) R 6462 6465 1824 0 -1 4202560 4478 0 0 0 9 0 0 0 20 0 15 0 274574845 14420721664 8068 33554432000 4194304 4196468 140733158139712 139813092486832 139813071450765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6468] ppid=6462 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6468/stat : 6468 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 8068 33554432000 4194304 4196468 140733158139712 139813003332624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6469] ppid=6462 vsize=14082736 memory=139626310235776 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6469/stat : 6469 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 8068 33554432000 4194304 4196468 140733158139712 139813002280080 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6470] ppid=6462 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6470/stat : 6470 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 8068 33554432000 4194304 4196468 140733158139712 139813001227024 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6471] ppid=6462 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6471/stat : 6471 (java) S 6462 6465 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 8068 33554432000 4194304 4196468 140733158139712 139813000174480 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6472] ppid=6462 vsize=14082736 memory=139626310235776 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6472/stat : 6472 (java) S 6462 6465 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274574847 14420721664 8068 33554432000 4194304 4196468 140733158139712 139812563036400 139813088275074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6473] ppid=6462 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6473/stat : 6473 (java) S 6462 6465 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274574847 14420721664 8068 33554432000 4194304 4196468 140733158139712 139812561982624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6474] ppid=6462 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6474/stat : 6474 (java) S 6462 6465 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274574847 14420721664 8068 33554432000 4194304 4196468 140733158139712 139812560929520 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6475] ppid=6462 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6475/stat : 6475 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 8068 33554432000 4194304 4196468 140733158139712 139812559878096 139813088282523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6476] ppid=6462 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6476/stat : 6476 (java) S 6462 6465 1824 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 8068 33554432000 4194304 4196468 140733158139712 139812558826224 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6477] ppid=6462 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6477/stat : 6477 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 8068 33554432000 4194304 4196468 140733158139712 139812557773680 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6478] ppid=6462 vsize=14082736 memory=139626310235776 CPUtime=0.01 cores=0,2,4,6
/proc/6465/task/6478/stat : 6478 (java) S 6462 6465 1824 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 274574850 14420721664 8068 33554432000 4194304 4196468 140733158139712 139812556720624 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6479] ppid=6462 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6479/stat : 6479 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 8068 33554432000 4194304 4196468 140733158139712 139812555668320 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6480] ppid=6462 vsize=14082736 memory=139626310235776 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6480/stat : 6480 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 8068 33554432000 4194304 4196468 140733158139712 139812554615344 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32272 KiB

[startup+0.210758 s]*
/proc/loadavg: 1.47 1.63 1.53 4/219 6480
/proc/meminfo: memFree=23580312/32770624 swapFree=67108852/67108860
[pid=6465] ppid=6462 vsize=14082736 memory=47560 CPUtime=0.3 cores=0,2,4,6
/proc/6465/stat : 6465 (java) S 6462 6465 1824 0 -1 1077944320 9976 0 0 0 28 2 0 0 20 0 15 0 274574844 14420721664 11890 33554432000 4194304 4196468 140733158139712 140733158122256 139813088263927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
/proc/6465/statm: 3520684 11890 3321 1 0 3482761 0
[pid=6465/tid=6467] ppid=6462 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/6465/task/6467/stat : 6467 (java) S 6462 6465 1824 0 -1 1077944384 7771 0 0 0 19 1 0 0 20 0 15 0 274574845 14420721664 11890 33554432000 4194304 4196468 140733158139712 139813092491984 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6468] ppid=6462 vsize=14082736 memory=345 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6468/stat : 6468 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 11890 33554432000 4194304 4196468 140733158139712 139813003332624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6469] ppid=6462 vsize=14082736 memory=139626310242498 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6469/stat : 6469 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 11890 33554432000 4194304 4196468 140733158139712 139813002280080 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6470] ppid=6462 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6470/stat : 6470 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 11890 33554432000 4194304 4196468 140733158139712 139813001227024 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6471] ppid=6462 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6471/stat : 6471 (java) S 6462 6465 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 11890 33554432000 4194304 4196468 140733158139712 139813000174480 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6472] ppid=6462 vsize=14082736 memory=139626310235776 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6472/stat : 6472 (java) S 6462 6465 1824 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274574847 14420721664 11890 33554432000 4194304 4196468 140733158139712 139812563036400 139813088275074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6473] ppid=6462 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6473/stat : 6473 (java) S 6462 6465 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274574847 14420721664 11890 33554432000 4194304 4196468 140733158139712 139812561982624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6474] ppid=6462 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6474/stat : 6474 (java) S 6462 6465 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274574847 14420721664 11890 33554432000 4194304 4196468 140733158139712 139812560929520 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6475] ppid=6462 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6475/stat : 6475 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 11890 33554432000 4194304 4196468 140733158139712 139812559878096 139813088282523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6476] ppid=6462 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6465/task/6476/stat : 6476 (java) R 6462 6465 1824 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 274574850 14420721664 11890 33554432000 4194304 4196468 140733158139712 139812558816336 139813068964224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6477] ppid=6462 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6465/task/6477/stat : 6477 (java) R 6462 6465 1824 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 274574850 14420721664 11890 33554432000 4194304 4196468 140733158139712 139812557773680 139813088275074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6478] ppid=6462 vsize=14082736 memory=139626310235776 CPUtime=0.05 cores=0,2,4,6
/proc/6465/task/6478/stat : 6478 (java) R 6462 6465 1824 0 -1 4202560 297 0 0 0 5 0 0 0 20 0 15 0 274574850 14420721664 11890 33554432000 4194304 4196468 140733158139712 139812556716352 139813080501054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6479] ppid=6462 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6479/stat : 6479 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 11890 33554432000 4194304 4196468 140733158139712 139812555668320 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6480] ppid=6462 vsize=14082736 memory=139626310235776 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6480/stat : 6480 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 11890 33554432000 4194304 4196468 140733158139712 139812554615344 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47560 KiB

[startup+0.310779 s]*
/proc/loadavg: 1.47 1.63 1.53 3/219 6480
/proc/meminfo: memFree=23576632/32770624 swapFree=67108852/67108860
[pid=6465] ppid=6462 vsize=14082736 memory=51216 CPUtime=0.44 cores=0,2,4,6
/proc/6465/stat : 6465 (java) S 6462 6465 1824 0 -1 1077944320 10417 0 0 0 42 2 0 0 20 0 15 0 274574844 14420721664 12804 33554432000 4194304 4196468 140733158139712 140733158122256 139813088263927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
/proc/6465/statm: 3520684 12804 3412 1 0 3482761 0
[pid=6465/tid=6467] ppid=6462 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/6465/task/6467/stat : 6467 (java) R 6462 6465 1824 0 -1 4202560 8100 0 0 0 28 1 0 0 20 0 15 0 274574845 14420721664 12804 33554432000 4194304 4196468 140733158139712 139813092473280 139813068539257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6468] ppid=6462 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6468/stat : 6468 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 12804 33554432000 4194304 4196468 140733158139712 139813003332624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6469] ppid=6462 vsize=14082736 memory=13706715939960472 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6469/stat : 6469 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 12804 33554432000 4194304 4196468 140733158139712 139813002280080 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6470] ppid=6462 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6470/stat : 6470 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 12804 33554432000 4194304 4196468 140733158139712 139813001227024 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6471] ppid=6462 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6471/stat : 6471 (java) S 6462 6465 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274574845 14420721664 12804 33554432000 4194304 4196468 140733158139712 139813000174480 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6472] ppid=6462 vsize=14082736 memory=139626310235776 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6472/stat : 6472 (java) S 6462 6465 1824 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274574847 14420721664 12804 33554432000 4194304 4196468 140733158139712 139812563036400 139813088275074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6473] ppid=6462 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6473/stat : 6473 (java) S 6462 6465 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274574847 14420721664 12804 33554432000 4194304 4196468 140733158139712 139812561982624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6474] ppid=6462 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6474/stat : 6474 (java) S 6462 6465 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274574847 14420721664 12804 33554432000 4194304 4196468 140733158139712 139812560929520 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6475] ppid=6462 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6475/stat : 6475 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 12804 33554432000 4194304 4196468 140733158139712 139812559878096 139813088282523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6476] ppid=6462 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6465/task/6476/stat : 6476 (java) S 6462 6465 1824 0 -1 1077944384 415 0 0 0 3 0 0 0 20 0 15 0 274574850 14420721664 12804 33554432000 4194304 4196468 140733158139712 139812558826224 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6477] ppid=6462 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6465/task/6477/stat : 6477 (java) S 6462 6465 1824 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 274574850 14420721664 12804 33554432000 4194304 4196468 140733158139712 139812557773680 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6478] ppid=6462 vsize=14082736 memory=139626310235776 CPUtime=0.08 cores=0,2,4,6
/proc/6465/task/6478/stat : 6478 (java) S 6462 6465 1824 0 -1 1077944384 308 0 0 0 8 0 0 0 20 0 15 0 274574850 14420721664 12804 33554432000 4194304 4196468 140733158139712 139812556720624 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6479] ppid=6462 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6479/stat : 6479 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 12804 33554432000 4194304 4196468 140733158139712 139812555668320 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6480] ppid=6462 vsize=14082736 memory=139626310235776 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6480/stat : 6480 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574850 14420721664 12804 33554432000 4194304 4196468 140733158139712 139812554615344 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51216 KiB

[startup+0.700785 s]
/proc/loadavg: 1.47 1.63 1.53 3/219 6480
/proc/meminfo: memFree=23554764/32770624 swapFree=67108852/67108860
[pid=6465] ppid=6462 vsize=14084804 memory=88820 CPUtime=0.99 cores=0,2,4,6
/proc/6465/stat : 6465 (java) S 6462 6465 1824 0 -1 1077944320 17095 0 0 0 95 4 0 0 20 0 15 0 274574844 14422839296 22205 33554432000 4194304 4196468 140733158139712 140733158122256 139813088263927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
/proc/6465/statm: 3521201 22205 3499 1 0 3483273 0
[pid=6465/tid=6467] ppid=6462 vsize=14084804 memory=3340 CPUtime=0.67 cores=0,2,4,6
/proc/6465/task/6467/stat : 6467 (java) R 6462 6465 1824 0 -1 4202560 14418 0 0 0 64 3 0 0 20 0 15 0 274574845 14422839296 22205 33554432000 4194304 4196468 140733158139712 139813092478832 139813088285853 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6468] ppid=6462 vsize=14084804 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6468/stat : 6468 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14422839296 22205 33554432000 4194304 4196468 140733158139712 139813003332624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6469] ppid=6462 vsize=14084804 memory=3944 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6469/stat : 6469 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14422839296 22205 33554432000 4194304 4196468 140733158139712 139813002280080 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6470] ppid=6462 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6470/stat : 6470 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14422839296 22205 33554432000 4194304 4196468 140733158139712 139813001227024 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6471] ppid=6462 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6471/stat : 6471 (java) S 6462 6465 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274574845 14422839296 22205 33554432000 4194304 4196468 140733158139712 139813000174480 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6472] ppid=6462 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6472/stat : 6472 (java) S 6462 6465 1824 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274574847 14422839296 22205 33554432000 4194304 4196468 140733158139712 139812563036400 139813088275074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6473] ppid=6462 vsize=14084804 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6473/stat : 6473 (java) S 6462 6465 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274574847 14422839296 22205 33554432000 4194304 4196468 140733158139712 139812561982624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6474] ppid=6462 vsize=14084804 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6474/stat : 6474 (java) S 6462 6465 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274574847 14422839296 22205 33554432000 4194304 4196468 140733158139712 139812560929520 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6475] ppid=6462 vsize=14084804 memory=7157735280230160482 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6475/stat : 6475 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14422839296 22205 33554432000 4194304 4196468 140733158139712 139812559878096 139813088282523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6476] ppid=6462 vsize=14084804 memory=6296974978607175265 CPUtime=0.06 cores=0,2,4,6
/proc/6465/task/6476/stat : 6476 (java) S 6462 6465 1824 0 -1 1077944384 545 0 0 0 6 0 0 0 20 0 15 0 274574850 14422839296 22205 33554432000 4194304 4196468 140733158139712 139812558826224 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6477] ppid=6462 vsize=14084804 memory=7453282923461570405 CPUtime=0.08 cores=0,2,4,6
/proc/6465/task/6477/stat : 6477 (java) S 6462 6465 1824 0 -1 1077944384 373 0 0 0 8 0 0 0 20 0 15 0 274574850 14422839296 22205 33554432000 4194304 4196468 140733158139712 139812557773680 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6478] ppid=6462 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/6465/task/6478/stat : 6478 (java) S 6462 6465 1824 0 -1 1077944384 378 0 0 0 15 0 0 0 20 0 15 0 274574850 14422839296 22205 33554432000 4194304 4196468 140733158139712 139812556720624 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6479] ppid=6462 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6479/stat : 6479 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14422839296 22205 33554432000 4194304 4196468 140733158139712 139812555668320 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6480] ppid=6462 vsize=14084804 memory=6452 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6480/stat : 6480 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574850 14422839296 22205 33554432000 4194304 4196468 140733158139712 139812554615344 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88820 KiB

[startup+1.50447 s]
/proc/loadavg: 1.52 1.64 1.53 5/219 6480
/proc/meminfo: memFree=23496500/32770624 swapFree=67108852/67108860
[pid=6465] ppid=6462 vsize=14088900 memory=209596 CPUtime=3.53 cores=0,2,4,6
/proc/6465/stat : 6465 (java) S 6462 6465 1824 0 -1 1077944320 26083 0 0 0 346 7 0 0 20 0 15 0 274574844 14427033600 52399 33554432000 4194304 4196468 140733158139712 140733158122256 139813088263927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
/proc/6465/statm: 3522225 52399 3554 1 0 3484297 0
[pid=6465/tid=6467] ppid=6462 vsize=14088900 memory=181140 CPUtime=1.46 cores=0,2,4,6
/proc/6465/task/6467/stat : 6467 (java) S 6462 6465 1824 0 -1 1077944384 17308 0 0 0 142 4 0 0 20 0 15 0 274574845 14427033600 52399 33554432000 4194304 4196468 140733158139712 139813092499072 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6468] ppid=6462 vsize=14088900 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6468/stat : 6468 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14427033600 52399 33554432000 4194304 4196468 140733158139712 139813003332624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6469] ppid=6462 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6469/stat : 6469 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14427033600 52399 33554432000 4194304 4196468 140733158139712 139813002280080 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6470] ppid=6462 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6470/stat : 6470 (java) S 6462 6465 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274574845 14427033600 52399 33554432000 4194304 4196468 140733158139712 139813001227024 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6471] ppid=6462 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6471/stat : 6471 (java) S 6462 6465 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274574845 14427033600 52399 33554432000 4194304 4196468 140733158139712 139813000174480 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6472] ppid=6462 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6472/stat : 6472 (java) R 6462 6465 1824 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 274574847 14427033600 52399 33554432000 4194304 4196468 140733158139712 139812563036400 139813088275074 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0

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

/proc/6465/task/6467/stat : 6467 (java) R 6462 6465 1824 0 -1 4202560 33192 0 0 0 16132 36 0 0 20 0 15 0 274574845 14431227904 447286 33554432000 4194304 4196468 140733158139712 139813092501632 139812690988849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6468] ppid=6462 vsize=14092996 memory=4872558044660077418 CPUtime=0.45 cores=0,2,4,6
/proc/6465/task/6468/stat : 6468 (java) S 6462 6465 1824 0 -1 1077944384 3002 0 0 0 40 5 0 0 20 0 15 0 274574845 14431227904 447286 33554432000 4194304 4196468 140733158139712 139813003332624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6469] ppid=6462 vsize=14092996 memory=-6583934560862256788 CPUtime=0.45 cores=0,2,4,6
/proc/6465/task/6469/stat : 6469 (java) S 6462 6465 1824 0 -1 1077944384 2185 0 0 0 40 5 0 0 20 0 15 0 274574845 14431227904 447286 33554432000 4194304 4196468 140733158139712 139813002280080 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6470] ppid=6462 vsize=14092996 memory=-6724845496148974176 CPUtime=0.45 cores=0,2,4,6
/proc/6465/task/6470/stat : 6470 (java) S 6462 6465 1824 0 -1 1077944384 2047 0 0 0 39 6 0 0 20 0 15 0 274574845 14431227904 447286 33554432000 4194304 4196468 140733158139712 139813001227024 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6471] ppid=6462 vsize=14092996 memory=-7664667345186348227 CPUtime=0.46 cores=0,2,4,6
/proc/6465/task/6471/stat : 6471 (java) S 6462 6465 1824 0 -1 1077944384 848 0 0 0 40 6 0 0 20 0 15 0 274574845 14431227904 447286 33554432000 4194304 4196468 140733158139712 139813000174480 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6472] ppid=6462 vsize=14092996 memory=-6581572559790379461 CPUtime=0.07 cores=0,2,4,6
/proc/6465/task/6472/stat : 6472 (java) S 6462 6465 1824 0 -1 1077944384 2194 0 0 0 6 1 0 0 20 0 15 0 274574847 14431227904 447286 33554432000 4194304 4196468 140733158139712 139812563036400 139813088275074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6473] ppid=6462 vsize=14092996 memory=-6796903085891934816 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6473/stat : 6473 (java) S 6462 6465 1824 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 274574847 14431227904 447286 33554432000 4194304 4196468 140733158139712 139812561982688 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6474] ppid=6462 vsize=14092996 memory=-7663539246239472835 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6474/stat : 6474 (java) S 6462 6465 1824 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 274574847 14431227904 447286 33554432000 4194304 4196468 140733158139712 139812560929536 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6475] ppid=6462 vsize=14092996 memory=279252331763792 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6475/stat : 6475 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14431227904 447286 33554432000 4194304 4196468 140733158139712 139812559878096 139813088282523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6476] ppid=6462 vsize=14092996 memory=288230583132487972 CPUtime=3.1 cores=0,2,4,6
/proc/6465/task/6476/stat : 6476 (java) S 6462 6465 1824 0 -1 1077944384 10716 0 0 0 309 1 0 0 20 0 15 0 274574850 14431227904 447286 33554432000 4194304 4196468 140733158139712 139812558826224 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6477] ppid=6462 vsize=14092996 memory=14689682327864638 CPUtime=3.06 cores=0,2,4,6
/proc/6465/task/6477/stat : 6477 (java) S 6462 6465 1824 0 -1 1077944384 9037 0 0 0 304 2 0 0 20 0 15 0 274574850 14431227904 447286 33554432000 4194304 4196468 140733158139712 139812557773680 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6478] ppid=6462 vsize=14092996 memory=-6302889425569150176 CPUtime=1.2 cores=0,2,4,6
/proc/6465/task/6478/stat : 6478 (java) S 6462 6465 1824 0 -1 1077944384 8205 0 0 0 118 2 0 0 20 0 15 0 274574850 14431227904 447286 33554432000 4194304 4196468 140733158139712 139812556720624 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6479] ppid=6462 vsize=14092996 memory=7245577201579234352 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6479/stat : 6479 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14431227904 447286 33554432000 4194304 4196468 140733158139712 139812555668320 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6480] ppid=6462 vsize=14092996 memory=6935666920692666416 CPUtime=0.09 cores=0,2,4,6
/proc/6465/task/6480/stat : 6480 (java) S 6462 6465 1824 0 -1 1077944384 212 0 0 0 5 4 0 0 20 0 15 0 274574850 14431227904 447286 33554432000 4194304 4196468 140733158139712 139812554615344 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
Current children cumulated CPU time: 171.11 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1789144 KiB

[startup+222.301 s]*
/proc/loadavg: 1.54 1.59 1.54 3/219 6567
/proc/meminfo: memFree=21377640/32770624 swapFree=67108852/67108860
[pid=6465] ppid=6462 vsize=14092996 memory=1742908 CPUtime=232.5 cores=0,2,4,6
/proc/6465/stat : 6465 (java) S 6462 6465 1824 0 -1 1077944320 79008 0 0 0 23171 79 0 0 20 0 15 0 274574844 14431227904 435727 33554432000 4194304 4196468 140733158139712 140733158122256 139813088263927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
/proc/6465/statm: 3523249 435727 3596 1 0 3485321 0
[pid=6465/tid=6467] ppid=6462 vsize=14092996 memory=8112282956445269571 CPUtime=221.05 cores=0,2,4,6
/proc/6465/task/6467/stat : 6467 (java) R 6462 6465 1824 0 -1 4202560 34446 0 0 0 22068 37 0 0 20 0 15 0 274574845 14431227904 435727 33554432000 4194304 4196468 140733158139712 139813092501888 139812690822215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6468] ppid=6462 vsize=14092996 memory=4872558044660077418 CPUtime=0.93 cores=0,2,4,6
/proc/6465/task/6468/stat : 6468 (java) S 6462 6465 1824 0 -1 1077944384 3589 0 0 0 86 7 0 0 20 0 15 0 274574845 14431227904 435727 33554432000 4194304 4196468 140733158139712 139813003332624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6469] ppid=6462 vsize=14092996 memory=928 CPUtime=0.93 cores=0,2,4,6
/proc/6465/task/6469/stat : 6469 (java) S 6462 6465 1824 0 -1 1077944384 2986 0 0 0 86 7 0 0 20 0 15 0 274574845 14431227904 435727 33554432000 4194304 4196468 140733158139712 139813002280080 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6470] ppid=6462 vsize=14092996 memory=2248 CPUtime=0.93 cores=0,2,4,6
/proc/6465/task/6470/stat : 6470 (java) S 6462 6465 1824 0 -1 1077944384 3620 0 0 0 86 7 0 0 20 0 15 0 274574845 14431227904 435727 33554432000 4194304 4196468 140733158139712 139813001227024 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6471] ppid=6462 vsize=14092996 memory=1796 CPUtime=0.93 cores=0,2,4,6
/proc/6465/task/6471/stat : 6471 (java) S 6462 6465 1824 0 -1 1077944384 1954 0 0 0 86 7 0 0 20 0 15 0 274574845 14431227904 435727 33554432000 4194304 4196468 140733158139712 139813000174480 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6472] ppid=6462 vsize=14092996 memory=916 CPUtime=0.16 cores=0,2,4,6
/proc/6465/task/6472/stat : 6472 (java) S 6462 6465 1824 0 -1 1077944384 2758 0 0 0 14 2 0 0 20 0 15 0 274574847 14431227904 435727 33554432000 4194304 4196468 140733158139712 139812563036400 139813088275074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6473] ppid=6462 vsize=14092996 memory=3844 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6473/stat : 6473 (java) S 6462 6465 1824 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 274574847 14431227904 435727 33554432000 4194304 4196468 140733158139712 139812561982688 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6474] ppid=6462 vsize=14092996 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6474/stat : 6474 (java) S 6462 6465 1824 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 274574847 14431227904 435727 33554432000 4194304 4196468 140733158139712 139812560929536 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6475] ppid=6462 vsize=14092996 memory=1742916 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6475/stat : 6475 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14431227904 435727 33554432000 4194304 4196468 140733158139712 139812559878096 139813088282523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6476] ppid=6462 vsize=14092996 memory=0 CPUtime=3.1 cores=0,2,4,6
/proc/6465/task/6476/stat : 6476 (java) S 6462 6465 1824 0 -1 1077944384 10722 0 0 0 309 1 0 0 20 0 15 0 274574850 14431227904 435727 33554432000 4194304 4196468 140733158139712 139812558826224 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6477] ppid=6462 vsize=14092996 memory=140060 CPUtime=3.06 cores=0,2,4,6
/proc/6465/task/6477/stat : 6477 (java) S 6462 6465 1824 0 -1 1077944384 9041 0 0 0 304 2 0 0 20 0 15 0 274574850 14431227904 435727 33554432000 4194304 4196468 140733158139712 139812557773680 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6478] ppid=6462 vsize=14092996 memory=8112282956445269571 CPUtime=1.2 cores=0,2,4,6
/proc/6465/task/6478/stat : 6478 (java) S 6462 6465 1824 0 -1 1077944384 8211 0 0 0 118 2 0 0 20 0 15 0 274574850 14431227904 435727 33554432000 4194304 4196468 140733158139712 139812556720624 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6479] ppid=6462 vsize=14092996 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6479/stat : 6479 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14431227904 435727 33554432000 4194304 4196468 140733158139712 139812555668320 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6480] ppid=6462 vsize=14092996 memory=496 CPUtime=0.12 cores=0,2,4,6
/proc/6465/task/6480/stat : 6480 (java) S 6462 6465 1824 0 -1 1077944384 256 0 0 0 6 6 0 0 20 0 15 0 274574850 14431227904 435727 33554432000 4194304 4196468 140733158139712 139812554615344 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
Current children cumulated CPU time: 232.5 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1742908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.41 s]
/proc/loadavg: 1.53 1.59 1.54 3/219 6567
/proc/meminfo: memFree=19871736/32770624 swapFree=67108852/67108860
[pid=6465] ppid=6462 vsize=14092996 memory=1732628 CPUtime=252.01 cores=0,2,4,6
/proc/6465/stat : 6465 (java) S 6462 6465 1824 0 -1 1077944320 80711 0 0 0 25119 82 0 0 20 0 15 0 274574844 14431227904 433157 33554432000 4194304 4196468 140733158139712 140733158122256 139813088263927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
/proc/6465/statm: 3523249 433157 3596 1 0 3485321 0
[pid=6465/tid=6467] ppid=6462 vsize=14092996 memory=1739300 CPUtime=239.97 cores=0,2,4,6
/proc/6465/task/6467/stat : 6467 (java) R 6462 6465 1824 0 -1 4202560 34913 0 0 0 23960 37 0 0 20 0 15 0 274574845 14431227904 433157 33554432000 4194304 4196468 140733158139712 139813092501920 139812690995835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6468] ppid=6462 vsize=14092996 memory=1738276 CPUtime=1.06 cores=0,2,4,6
/proc/6465/task/6468/stat : 6468 (java) S 6462 6465 1824 0 -1 1077944384 3731 0 0 0 99 7 0 0 20 0 15 0 274574845 14431227904 433157 33554432000 4194304 4196468 140733158139712 139813003332624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6469] ppid=6462 vsize=14092996 memory=1735192 CPUtime=1.06 cores=0,2,4,6
/proc/6465/task/6469/stat : 6469 (java) S 6462 6465 1824 0 -1 1077944384 3643 0 0 0 98 8 0 0 20 0 15 0 274574845 14431227904 433157 33554432000 4194304 4196468 140733158139712 139813002280080 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6470] ppid=6462 vsize=14092996 memory=1737756 CPUtime=1.07 cores=0,2,4,6
/proc/6465/task/6470/stat : 6470 (java) S 6462 6465 1824 0 -1 1077944384 3870 0 0 0 99 8 0 0 20 0 15 0 274574845 14431227904 433157 33554432000 4194304 4196468 140733158139712 139813001227024 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6471] ppid=6462 vsize=14092996 memory=1736736 CPUtime=1.06 cores=0,2,4,6
/proc/6465/task/6471/stat : 6471 (java) S 6462 6465 1824 0 -1 1077944384 2093 0 0 0 99 7 0 0 20 0 15 0 274574845 14431227904 433157 33554432000 4194304 4196468 140733158139712 139813000174480 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6472] ppid=6462 vsize=14092996 memory=1733652 CPUtime=0.2 cores=0,2,4,6
/proc/6465/task/6472/stat : 6472 (java) S 6462 6465 1824 0 -1 1077944384 2798 0 0 0 17 3 0 0 20 0 15 0 274574847 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812563036400 139813088275074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6473] ppid=6462 vsize=14092996 memory=1732628 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6473/stat : 6473 (java) S 6462 6465 1824 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 274574847 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812561982688 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6474] ppid=6462 vsize=14092996 memory=1742892 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6474/stat : 6474 (java) S 6462 6465 1824 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 274574847 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812560929536 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6475] ppid=6462 vsize=14092996 memory=1736220 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6475/stat : 6475 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812559878096 139813088282523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6476] ppid=6462 vsize=14092996 memory=1738784 CPUtime=3.1 cores=0,2,4,6
/proc/6465/task/6476/stat : 6476 (java) S 6462 6465 1824 0 -1 1077944384 10724 0 0 0 309 1 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812558826224 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6477] ppid=6462 vsize=14092996 memory=-5921431000321636112 CPUtime=3.06 cores=0,2,4,6
/proc/6465/task/6477/stat : 6477 (java) S 6462 6465 1824 0 -1 1077944384 9043 0 0 0 304 2 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812557773680 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6478] ppid=6462 vsize=14092996 memory=1735192 CPUtime=1.2 cores=0,2,4,6
/proc/6465/task/6478/stat : 6478 (java) S 6462 6465 1824 0 -1 1077944384 8213 0 0 0 118 2 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812556720624 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6479] ppid=6462 vsize=14092996 memory=1735192 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6479/stat : 6479 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812555668320 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6480] ppid=6462 vsize=14092996 memory=1616 CPUtime=0.14 cores=0,2,4,6
/proc/6465/task/6480/stat : 6480 (java) S 6462 6465 1824 0 -1 1077944384 258 0 0 0 7 7 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812554615344 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1732628 KiB

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

[startup+241.436 s]
# the end of solver process 6465 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.215 s, system=0.835027 s

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

[startup+241.41 s]
/proc/loadavg: 1.53 1.59 1.54 3/219 6567
/proc/meminfo: memFree=19871736/32770624 swapFree=67108852/67108860
[pid=6465] ppid=6462 vsize=14092996 memory=1732628 CPUtime=252.01 cores=0,2,4,6
/proc/6465/stat : 6465 (java) S 6462 6465 1824 0 -1 1077944320 80711 0 0 0 25119 82 0 0 20 0 15 0 274574844 14431227904 433157 33554432000 4194304 4196468 140733158139712 140733158122256 139813088263927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
/proc/6465/statm: 3523249 433157 3596 1 0 3485321 0
[pid=6465/tid=6467] ppid=6462 vsize=14092996 memory=1739300 CPUtime=239.97 cores=0,2,4,6
/proc/6465/task/6467/stat : 6467 (java) R 6462 6465 1824 0 -1 4202560 34913 0 0 0 23960 37 0 0 20 0 15 0 274574845 14431227904 433157 33554432000 4194304 4196468 140733158139712 139813092501920 139812690995835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6468] ppid=6462 vsize=14092996 memory=1738276 CPUtime=1.06 cores=0,2,4,6
/proc/6465/task/6468/stat : 6468 (java) S 6462 6465 1824 0 -1 1077944384 3731 0 0 0 99 7 0 0 20 0 15 0 274574845 14431227904 433157 33554432000 4194304 4196468 140733158139712 139813003332624 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6469] ppid=6462 vsize=14092996 memory=1735192 CPUtime=1.06 cores=0,2,4,6
/proc/6465/task/6469/stat : 6469 (java) S 6462 6465 1824 0 -1 1077944384 3643 0 0 0 98 8 0 0 20 0 15 0 274574845 14431227904 433157 33554432000 4194304 4196468 140733158139712 139813002280080 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6470] ppid=6462 vsize=14092996 memory=1737756 CPUtime=1.07 cores=0,2,4,6
/proc/6465/task/6470/stat : 6470 (java) S 6462 6465 1824 0 -1 1077944384 3870 0 0 0 99 8 0 0 20 0 15 0 274574845 14431227904 433157 33554432000 4194304 4196468 140733158139712 139813001227024 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6471] ppid=6462 vsize=14092996 memory=1736736 CPUtime=1.06 cores=0,2,4,6
/proc/6465/task/6471/stat : 6471 (java) S 6462 6465 1824 0 -1 1077944384 2093 0 0 0 99 7 0 0 20 0 15 0 274574845 14431227904 433157 33554432000 4194304 4196468 140733158139712 139813000174480 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6472] ppid=6462 vsize=14092996 memory=1733652 CPUtime=0.2 cores=0,2,4,6
/proc/6465/task/6472/stat : 6472 (java) S 6462 6465 1824 0 -1 1077944384 2798 0 0 0 17 3 0 0 20 0 15 0 274574847 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812563036400 139813088275074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6473] ppid=6462 vsize=14092996 memory=1732628 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6473/stat : 6473 (java) S 6462 6465 1824 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 274574847 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812561982688 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6474] ppid=6462 vsize=14092996 memory=1742892 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6474/stat : 6474 (java) S 6462 6465 1824 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 274574847 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812560929536 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6475] ppid=6462 vsize=14092996 memory=1736220 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6475/stat : 6475 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812559878096 139813088282523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6476] ppid=6462 vsize=14092996 memory=1738784 CPUtime=3.1 cores=0,2,4,6
/proc/6465/task/6476/stat : 6476 (java) S 6462 6465 1824 0 -1 1077944384 10724 0 0 0 309 1 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812558826224 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6477] ppid=6462 vsize=14092996 memory=-5921431000321636112 CPUtime=3.06 cores=0,2,4,6
/proc/6465/task/6477/stat : 6477 (java) S 6462 6465 1824 0 -1 1077944384 9043 0 0 0 304 2 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812557773680 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6478] ppid=6462 vsize=14092996 memory=1735192 CPUtime=1.2 cores=0,2,4,6
/proc/6465/task/6478/stat : 6478 (java) S 6462 6465 1824 0 -1 1077944384 8213 0 0 0 118 2 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812556720624 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6479] ppid=6462 vsize=14092996 memory=1735192 CPUtime=0 cores=0,2,4,6
/proc/6465/task/6479/stat : 6479 (java) S 6462 6465 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812555668320 139813088274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
[pid=6465/tid=6480] ppid=6462 vsize=14092996 memory=1616 CPUtime=0.14 cores=0,2,4,6
/proc/6465/task/6480/stat : 6480 (java) S 6462 6465 1824 0 -1 1077944384 258 0 0 0 7 7 0 0 20 0 15 0 274574850 14431227904 433157 33554432000 4194304 4196468 140733158139712 139812554615344 139813088275074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140733158147150 140733158147342 140733158147342 140733158150095 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1732628 KiB

Child status: 143
Real time (s): 241.436
CPU time (s): 252.05
CPU user time (s): 251.215
CPU system time (s): 0.835027
CPU usage (%): 104.396
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2233992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.215
system time used= 0.835027
maximum resident set size= 2233992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12696
involuntary context switches= 651


# summary of solver processes directly reported to runsolver:
#   pid: 6465
#   total CPU time (s): 252.05
#   total CPU user time (s): 251.215
#   total CPU system time (s): 0.835027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65197 second user time and 2.14513 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml
MD5SUM	289cb43960e2b184f01d0d99cacee99d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	17126
Best CPU time to get the best result obtained on this benchmark	252.078
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 4312163

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