2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	SAT (TO)	17658	2400.13	2362.33

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 195799436
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
7.77/3.01	c Parsing done, starting first complete search...
10.79/4.24	o 18120
10.79/4.24	o 18105
10.79/4.24	o 18093
10.79/4.24	o 18081
10.79/4.24	o 18007
10.79/4.24	o 17992
10.79/4.25	o 17975
10.79/4.25	o 17933
10.79/4.26	o 17932
10.79/4.26	o 17920
10.79/4.26	o 17915
10.79/4.26	o 17903
12.41/5.63	o 17773
12.41/5.63	o 17720
12.62/5.88	o 17710
12.62/5.89	o 17684
18.45/11.22	c First complete search done, starting ALNS search...
118.42/109.12	o 17658
2400.08/2362.30	s SATISFIABLE
2400.08/2362.31	v <instantiation>
2400.08/2362.31	v 	<list>
2400.08/2362.31	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]
2400.08/2362.31	v 	</list>
2400.08/2362.31	v 	<values>
2400.08/2362.31	v 		12 7 7 5 5 11 2 8 12 10 1 10 9 6 6 13 3 9 2 8 4 1 4 11 3 13 13 8 8 9 11 5 9 12 3 13 0 4 10 7 4 5 2 10 3 11 6 0 6 7 2 12 11 13 13 12 7 6 0 9 4 5 10 3 7 12 3 6 1 4 0 5 8 9 8 10 1 11 10 12 12 7 6 4 5 7 1 8 8 2 13 11 2 4 0 5 1 13 9 11 9 6 0 10 9 11 11 13 8 3 7 6 2 12 5 1 8 10 1 3 13 2 12 10 0 7 0 5 6 9 8 10 10 0 0 1 3 13 11 2 4 6 6 9 11 1 9 3 7 2 12 13 12 4 7 8 7 9 9 8 3 2 13 4 8 11 13 5 5 0 0 2 10 12 11 12 1 10 1 3 4 7 6 0 0 3 2 8 4 3 13 9 11 11 2 1 12 8 12 13 5 9 10 4 10 1 5 6 5 1 1 6 4 7 10 0 6 3 3 9 4 13 13 7 11 11 9 0 2 12 2 12 10 5 4 6 6 1 13 12 1 2 10 7 12 8 0 5 10 11 5 0 8 7 3 2 3 13 11 4 3 5 5 11 12 13 8 11 9 0 2 0 1 4 9 12 6 1 13 4 7 6 7 2 8 3 2 4 4 10 1 0 12 10 5 6 7 7 12 3 5 9 8 8 6 1 13 3 13 0 9 2 0 3 3 2 10 9 11 1 0 4 9 13 11 2 7 10 7 6 4 6 5 8 5 8 13 1 1 2 2 4 9 10 6 5 7 1 6 12 3 8 8 0 4 7 10 3 11 5 11 9 12 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 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 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 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 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 57 90 44 0 39 39 15 53 48 0 10 65 55 0 44 44 34 67 51 0 36 36 0 55 55 59 59 0 46 46 43 105 64 0 55 55 64 64 31 74 65 0 40 40 0 32 32 39 44 10 44 56 22 0 58 69 61 0 56 59 56 49 55 45 0 47 47 48 48 0 22 22 15 39 50 0 53 73 55 0 0 69 101 80 14 14 51 51 0 32 46 68 0 50 50 47 47 0 41 41 0 67 105 66 47 44 34 0 55 55 70 69 91 0 64 64 0 73 94 35 21 21 31 32 51 45 45 74 74 0 36 36 18 18 0 42 42 51 55 39 40 32 41 0 50 50 27 27 0 44 44 81 81 48 48 94 90 75 35 35 0 0 0 69 69 31 68 47 92 91 18 70 70 0 27 39 44 56 55 75 0 88 88 0 39 39 0 59 59 59 59 44 44 0 81 81 14 14 79 105 67 56 22 44 0 90 90 41 0 69 74 64 0 48 48 0 0 0 46 46 21 21 73 73 31 31 68 67 68 0 104 41 81 69 69 48 15 53 0 81 81 42 42 0 0 69 69 93 93 43 43 103 103 30 30 51 39 81 105 105 0 68 81 79 49 47 67 0 55 55 0 51 51 0 101 101 0 10 10 55 15 55 0 74 55 103 0 65 64 66 0 75 59 69 73 68 69 0 70 70 10 10 55 57 105 44 44 0 67 67 66 66 0 69 69 70 39 64 0 69 69 105 49 58 0 0 80 47 48 30 30 0 57 57 0 90 69 105 90 69 101 88 18 73 0 81 42 94 0 55 55 64 64 61 61 0 66 66 75 48 41 92 92 0 104 104 59 36 91 0 50 66 69 0 93 30 90 0 
2400.08/2362.31	v 	</values>
2400.08/2362.31	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 (10699 MiB free)
  memory of node 1: 16384 MiB (10385 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291499-1532281004/watcher-4291499-1532281004 -o /tmp/evaluation-result-4291499-1532281004/solver-4291499-1532281004 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32665 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 195799436 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291499-1532281004.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=3021, runsolver pid=3018

[startup+0.100092 s]*
/proc/loadavg: 1.55 1.44 1.38 3/219 3036
/proc/meminfo: memFree=21568060/32770624 swapFree=67108860/67108860
[pid=3021] ppid=3018 vsize=14082740 memory=31920 CPUtime=0.11 cores=0,2,4,6
/proc/3021/stat : 3021 (java) S 3018 3021 32634 0 -1 1077944320 6864 0 0 0 10 1 0 0 20 0 15 0 45663560 14420725760 7914 33554432000 4194304 4196468 140722069054800 140722069037344 139698234842871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
/proc/3021/statm: 3520685 7914 3137 1 0 3482761 0
[pid=3021/tid=3023] ppid=3018 vsize=14082740 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/3021/task/3023/stat : 3023 (java) R 3018 3021 32634 0 -1 4202560 5178 0 0 0 8 1 0 0 20 0 15 0 45663560 14420725760 8178 33554432000 4194304 4196468 140722069054800 139698239037680 139698234864797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3024] ppid=3018 vsize=14082740 memory=5792869726567804975 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3024/stat : 3024 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 8178 33554432000 4194304 4196468 140722069054800 139698187463184 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3025] ppid=3018 vsize=14082740 memory=139920351090304 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3025/stat : 3025 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 8178 33554432000 4194304 4196468 140722069054800 139698186410640 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3026] ppid=3018 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3026/stat : 3026 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 8178 33554432000 4194304 4196468 140722069054800 139698185357584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3027] ppid=3018 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3027/stat : 3027 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 8178 33554432000 4194304 4196468 140722069054800 139698184305040 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3028] ppid=3018 vsize=14082740 memory=139920351090304 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3028/stat : 3028 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663562 14420725760 8178 33554432000 4194304 4196468 140722069054800 139697776798448 139698234854018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3029] ppid=3018 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3029/stat : 3029 (java) S 3018 3021 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45663563 14420725760 8178 33554432000 4194304 4196468 140722069054800 139697775744672 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3030] ppid=3018 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3030/stat : 3030 (java) S 3018 3021 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45663563 14420725760 8178 33554432000 4194304 4196468 140722069054800 139697774691568 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3031] ppid=3018 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3031/stat : 3031 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663565 14420725760 8178 33554432000 4194304 4196468 140722069054800 139697773640144 139698234861467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3032] ppid=3018 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3032/stat : 3032 (java) R 3018 3021 32634 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 45663565 14420725760 8178 33554432000 4194304 4196468 140722069054800 139697772587248 139698234854018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3033] ppid=3018 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3033/stat : 3033 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663565 14420725760 8178 33554432000 4194304 4196468 140722069054800 139697703610736 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3034] ppid=3018 vsize=14082740 memory=139920351090304 CPUtime=0.01 cores=0,2,4,6
/proc/3021/task/3034/stat : 3034 (java) R 3018 3021 32634 0 -1 4202560 241 0 0 0 1 0 0 0 20 0 15 0 45663565 14420725760 8178 33554432000 4194304 4196468 140722069054800 139697702557680 139698216095440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3035] ppid=3018 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3035/stat : 3035 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663566 14420725760 8178 33554432000 4194304 4196468 140722069054800 139697701505376 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3036] ppid=3018 vsize=14082740 memory=139920351090304 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3036/stat : 3036 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663566 14420725760 8178 33554432000 4194304 4196468 140722069054800 139697700453424 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31920 KiB

[startup+0.210788 s]*
/proc/loadavg: 1.55 1.44 1.38 4/219 3036
/proc/meminfo: memFree=21551812/32770624 swapFree=67108860/67108860
[pid=3021] ppid=3018 vsize=14082740 memory=46848 CPUtime=0.3 cores=0,2,4,6
/proc/3021/stat : 3021 (java) S 3018 3021 32634 0 -1 1077944320 10297 0 0 0 28 2 0 0 20 0 15 0 45663560 14420725760 11712 33554432000 4194304 4196468 140722069054800 140722069037344 139698234842871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
/proc/3021/statm: 3520685 11712 3373 1 0 3482761 0
[pid=3021/tid=3023] ppid=3018 vsize=14082740 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/3021/task/3023/stat : 3023 (java) R 3018 3021 32634 0 -1 4202560 8020 0 0 0 18 1 0 0 20 0 15 0 45663560 14420725760 11712 33554432000 4194304 4196468 140722069054800 139698239069888 139698234854806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3024] ppid=3018 vsize=14082740 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3024/stat : 3024 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 11712 33554432000 4194304 4196468 140722069054800 139698187463184 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3025] ppid=3018 vsize=14082740 memory=139920351112425 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3025/stat : 3025 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 11712 33554432000 4194304 4196468 140722069054800 139698186410640 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3026] ppid=3018 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3026/stat : 3026 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 11712 33554432000 4194304 4196468 140722069054800 139698185357584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3027] ppid=3018 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3027/stat : 3027 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 11712 33554432000 4194304 4196468 140722069054800 139698184305040 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3028] ppid=3018 vsize=14082740 memory=139920351090304 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3028/stat : 3028 (java) S 3018 3021 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45663562 14420725760 11712 33554432000 4194304 4196468 140722069054800 139697776798448 139698234854018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3029] ppid=3018 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3029/stat : 3029 (java) S 3018 3021 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45663563 14420725760 11712 33554432000 4194304 4196468 140722069054800 139697775744672 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3030] ppid=3018 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3030/stat : 3030 (java) S 3018 3021 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45663563 14420725760 11712 33554432000 4194304 4196468 140722069054800 139697774691568 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3031] ppid=3018 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3031/stat : 3031 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663565 14420725760 11712 33554432000 4194304 4196468 140722069054800 139697773640144 139698234861467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3032] ppid=3018 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3021/task/3032/stat : 3032 (java) S 3018 3021 32634 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 15 0 45663565 14420725760 11712 33554432000 4194304 4196468 140722069054800 139697772587248 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3033] ppid=3018 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3021/task/3033/stat : 3033 (java) R 3018 3021 32634 0 -1 4202560 173 0 0 0 1 0 0 0 20 0 15 0 45663565 14420725760 11712 33554432000 4194304 4196468 140722069054800 139697703609136 139698216213184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3034] ppid=3018 vsize=14082740 memory=139920351090304 CPUtime=0.06 cores=0,2,4,6
/proc/3021/task/3034/stat : 3034 (java) R 3018 3021 32634 0 -1 1077944384 301 0 0 0 6 0 0 0 20 0 15 0 45663565 14420725760 11712 33554432000 4194304 4196468 140722069054800 139697702557680 139698234854018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3035] ppid=3018 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3035/stat : 3035 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663566 14420725760 11712 33554432000 4194304 4196468 140722069054800 139697701505376 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3036] ppid=3018 vsize=14082740 memory=139920351090304 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3036/stat : 3036 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663566 14420725760 11712 33554432000 4194304 4196468 140722069054800 139697700453424 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46848 KiB

[startup+0.313432 s]*
/proc/loadavg: 1.55 1.44 1.38 3/219 3036
/proc/meminfo: memFree=21548772/32770624 swapFree=67108860/67108860
[pid=3021] ppid=3018 vsize=14082740 memory=50052 CPUtime=0.43 cores=0,2,4,6
/proc/3021/stat : 3021 (java) S 3018 3021 32634 0 -1 1077944320 10710 0 0 0 41 2 0 0 20 0 15 0 45663560 14420725760 12513 33554432000 4194304 4196468 140722069054800 140722069037344 139698234842871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
/proc/3021/statm: 3520685 12513 3374 1 0 3482761 0
[pid=3021/tid=3023] ppid=3018 vsize=14082740 memory=6299806260039079015 CPUtime=0.3 cores=0,2,4,6
/proc/3021/task/3023/stat : 3023 (java) R 3018 3021 32634 0 -1 4202560 8385 0 0 0 28 2 0 0 20 0 15 0 45663560 14420725760 12513 33554432000 4194304 4196468 140722069054800 139698239051568 139698215118027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3024] ppid=3018 vsize=14082740 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3024/stat : 3024 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 12513 33554432000 4194304 4196468 140722069054800 139698187463184 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3025] ppid=3018 vsize=14082740 memory=139920351143712 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3025/stat : 3025 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 12513 33554432000 4194304 4196468 140722069054800 139698186410640 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3026] ppid=3018 vsize=14082740 memory=55780 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3026/stat : 3026 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 12513 33554432000 4194304 4196468 140722069054800 139698185357584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3027] ppid=3018 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3027/stat : 3027 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663561 14420725760 12513 33554432000 4194304 4196468 140722069054800 139698184305040 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3028] ppid=3018 vsize=14082740 memory=139920351150624 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3028/stat : 3028 (java) S 3018 3021 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45663562 14420725760 12513 33554432000 4194304 4196468 140722069054800 139697776798448 139698234854018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3029] ppid=3018 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3029/stat : 3029 (java) S 3018 3021 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45663563 14420725760 12513 33554432000 4194304 4196468 140722069054800 139697775744672 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3030] ppid=3018 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3030/stat : 3030 (java) S 3018 3021 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45663563 14420725760 12513 33554432000 4194304 4196468 140722069054800 139697774691568 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3031] ppid=3018 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3031/stat : 3031 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663565 14420725760 12513 33554432000 4194304 4196468 140722069054800 139697773640144 139698234861467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3032] ppid=3018 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3021/task/3032/stat : 3032 (java) S 3018 3021 32634 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 45663565 14420725760 12513 33554432000 4194304 4196468 140722069054800 139697772587248 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3033] ppid=3018 vsize=14082740 memory=139920236723215 CPUtime=0.02 cores=0,2,4,6
/proc/3021/task/3033/stat : 3033 (java) S 3018 3021 32634 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 15 0 45663565 14420725760 12513 33554432000 4194304 4196468 140722069054800 139697703610736 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3034] ppid=3018 vsize=14082740 memory=139920351093247 CPUtime=0.08 cores=0,2,4,6
/proc/3021/task/3034/stat : 3034 (java) S 3018 3021 32634 0 -1 1077944384 327 0 0 0 8 0 0 0 20 0 15 0 45663565 14420725760 12513 33554432000 4194304 4196468 140722069054800 139697702557680 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3035] ppid=3018 vsize=14082740 memory=139920236732335 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3035/stat : 3035 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663566 14420725760 12513 33554432000 4194304 4196468 140722069054800 139697701505376 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3036] ppid=3018 vsize=14082740 memory=279840587839456 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3036/stat : 3036 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663566 14420725760 12513 33554432000 4194304 4196468 140722069054800 139697700453424 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50052 KiB

[startup+0.700828 s]
/proc/loadavg: 1.55 1.44 1.38 3/219 3036
/proc/meminfo: memFree=21526636/32770624 swapFree=67108860/67108860
[pid=3021] ppid=3018 vsize=14084808 memory=88680 CPUtime=0.99 cores=0,2,4,6
/proc/3021/stat : 3021 (java) S 3018 3021 32634 0 -1 1077944320 17569 0 0 0 94 5 0 0 20 0 15 0 45663560 14422843392 22170 33554432000 4194304 4196468 140722069054800 140722069037344 139698234842871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
/proc/3021/statm: 3521202 22170 3498 1 0 3483273 0
[pid=3021/tid=3023] ppid=3018 vsize=14084808 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/3021/task/3023/stat : 3023 (java) R 3018 3021 32634 0 -1 4202560 14820 0 0 0 62 4 0 0 20 0 15 0 45663560 14422843392 22170 33554432000 4194304 4196468 140722069054800 139698239066976 139698234864797 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3024] ppid=3018 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3024/stat : 3024 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663561 14422843392 22170 33554432000 4194304 4196468 140722069054800 139698187463184 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3025] ppid=3018 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3025/stat : 3025 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663561 14422843392 22170 33554432000 4194304 4196468 140722069054800 139698186410640 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3026] ppid=3018 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3026/stat : 3026 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663561 14422843392 22170 33554432000 4194304 4196468 140722069054800 139698185357584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3027] ppid=3018 vsize=14084808 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3027/stat : 3027 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663561 14422843392 22170 33554432000 4194304 4196468 140722069054800 139698184305040 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3028] ppid=3018 vsize=14084808 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3028/stat : 3028 (java) S 3018 3021 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45663562 14422843392 22170 33554432000 4194304 4196468 140722069054800 139697776798448 139698234854018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3029] ppid=3018 vsize=14084808 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3029/stat : 3029 (java) S 3018 3021 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45663563 14422843392 22170 33554432000 4194304 4196468 140722069054800 139697775744672 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3030] ppid=3018 vsize=14084808 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3030/stat : 3030 (java) S 3018 3021 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45663563 14422843392 22170 33554432000 4194304 4196468 140722069054800 139697774691568 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3031] ppid=3018 vsize=14084808 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3031/stat : 3031 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663565 14422843392 22170 33554432000 4194304 4196468 140722069054800 139697773640144 139698234861467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3032] ppid=3018 vsize=14084808 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3021/task/3032/stat : 3032 (java) S 3018 3021 32634 0 -1 1077944384 586 0 0 0 7 0 0 0 20 0 15 0 45663565 14422843392 22170 33554432000 4194304 4196468 140722069054800 139697772587248 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3033] ppid=3018 vsize=14084808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3021/task/3033/stat : 3033 (java) S 3018 3021 32634 0 -1 1077944384 343 0 0 0 8 0 0 0 20 0 15 0 45663565 14422843392 22170 33554432000 4194304 4196468 140722069054800 139697703610736 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3034] ppid=3018 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3021/task/3034/stat : 3034 (java) S 3018 3021 32634 0 -1 1077944384 437 0 0 0 15 0 0 0 20 0 15 0 45663565 14422843392 22170 33554432000 4194304 4196468 140722069054800 139697702557680 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3035] ppid=3018 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3035/stat : 3035 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663566 14422843392 22170 33554432000 4194304 4196468 140722069054800 139697701505376 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3036] ppid=3018 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3036/stat : 3036 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663566 14422843392 22170 33554432000 4194304 4196468 140722069054800 139697700453424 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88680 KiB

[startup+1.50246 s]
/proc/loadavg: 1.51 1.43 1.38 5/219 3036
/proc/meminfo: memFree=21463408/32770624 swapFree=67108860/67108860
[pid=3021] ppid=3018 vsize=14088904 memory=206980 CPUtime=3.52 cores=0,2,4,6
/proc/3021/stat : 3021 (java) S 3018 3021 32634 0 -1 1077944320 27265 0 0 0 343 9 0 0 20 0 15 0 45663560 14427037696 51745 33554432000 4194304 4196468 140722069054800 140722069037344 139698234842871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
/proc/3021/statm: 3522226 51745 3552 1 0 3484297 0
[pid=3021/tid=3023] ppid=3018 vsize=14088904 memory=2241 CPUtime=1.46 cores=0,2,4,6
/proc/3021/task/3023/stat : 3023 (java) R 3018 3021 32634 0 -1 4202560 17177 0 0 0 139 7 0 0 20 0 15 0 45663560 14427037696 51745 33554432000 4194304 4196468 140722069054800 139698239075808 139697854749505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3024] ppid=3018 vsize=14088904 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3024/stat : 3024 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663561 14427037696 51745 33554432000 4194304 4196468 140722069054800 139698187463184 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3025] ppid=3018 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3025/stat : 3025 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663561 14427037696 51745 33554432000 4194304 4196468 140722069054800 139698186410640 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3026] ppid=3018 vsize=14088904 memory=279840473654080 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3026/stat : 3026 (java) S 3018 3021 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45663561 14427037696 51745 33554432000 4194304 4196468 140722069054800 139698185357584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3027] ppid=3018 vsize=14088904 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3027/stat : 3027 (java) S 3018 3021 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45663561 14427037696 51745 33554432000 4194304 4196468 140722069054800 139698184305040 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3028] ppid=3018 vsize=14088904 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3028/stat : 3028 (java) S 3018 3021 32634 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 45663562 14427037696 51745 33554432000 4194304 4196468 140722069054800 139697776798448 139698234854018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0

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

/proc/3021/task/3023/stat : 3023 (java) R 3018 3021 32634 0 -1 4202560 169290 0 0 0 225028 79 0 0 20 0 15 0 45663560 14433329152 532604 33554432000 4194304 4196468 140722069054800 139698239079968 139697870888218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3024] ppid=3018 vsize=14095048 memory=2141704 CPUtime=8.93 cores=0,2,4,6
/proc/3021/task/3024/stat : 3024 (java) S 3018 3021 32634 0 -1 1077944384 41680 0 0 0 870 23 0 0 20 0 15 0 45663561 14433329152 532604 33554432000 4194304 4196468 140722069054800 139698187463184 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3025] ppid=3018 vsize=14095048 memory=2139136 CPUtime=8.94 cores=0,2,4,6
/proc/3021/task/3025/stat : 3025 (java) S 3018 3021 32634 0 -1 1077944384 34268 0 0 0 871 23 0 0 20 0 15 0 45663561 14433329152 532604 33554432000 4194304 4196468 140722069054800 139698186410640 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3026] ppid=3018 vsize=14095048 memory=2136060 CPUtime=8.92 cores=0,2,4,6
/proc/3021/task/3026/stat : 3026 (java) S 3018 3021 32634 0 -1 1077944384 32183 0 0 0 868 24 0 0 20 0 15 0 45663561 14433329152 532604 33554432000 4194304 4196468 140722069054800 139698185357584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3027] ppid=3018 vsize=14095048 memory=2133496 CPUtime=8.91 cores=0,2,4,6
/proc/3021/task/3027/stat : 3027 (java) S 3018 3021 32634 0 -1 1077944384 33483 0 0 0 868 23 0 0 20 0 15 0 45663561 14433329152 532604 33554432000 4194304 4196468 140722069054800 139698184305040 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3028] ppid=3018 vsize=14095048 memory=2133496 CPUtime=1.25 cores=0,2,4,6
/proc/3021/task/3028/stat : 3028 (java) S 3018 3021 32634 0 -1 1077944384 37718 0 0 0 100 25 0 0 20 0 15 0 45663562 14433329152 532604 33554432000 4194304 4196468 140722069054800 139697776798448 139698234854018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3029] ppid=3018 vsize=14095048 memory=2130416 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3029/stat : 3029 (java) S 3018 3021 32634 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 45663563 14433329152 532604 33554432000 4194304 4196468 140722069054800 139697775744736 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3030] ppid=3018 vsize=14095048 memory=2138624 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3030/stat : 3030 (java) S 3018 3021 32634 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 45663563 14433329152 532604 33554432000 4194304 4196468 140722069054800 139697774691584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3031] ppid=3018 vsize=14095048 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3031/stat : 3031 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663565 14433329152 532604 33554432000 4194304 4196468 140722069054800 139697773640144 139698234861467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3032] ppid=3018 vsize=14095048 memory=2130416 CPUtime=3.8 cores=0,2,4,6
/proc/3021/task/3032/stat : 3032 (java) S 3018 3021 32634 0 -1 1077944384 35951 0 0 0 376 4 0 0 20 0 15 0 45663565 14433329152 532604 33554432000 4194304 4196468 140722069054800 139697772587248 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3033] ppid=3018 vsize=14095048 memory=2130416 CPUtime=3.65 cores=0,2,4,6
/proc/3021/task/3033/stat : 3033 (java) S 3018 3021 32634 0 -1 1077944384 38236 0 0 0 361 4 0 0 20 0 15 0 45663565 14433329152 532604 33554432000 4194304 4196468 140722069054800 139697703610736 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3034] ppid=3018 vsize=14095048 memory=3828 CPUtime=1.74 cores=0,2,4,6
/proc/3021/task/3034/stat : 3034 (java) S 3018 3021 32634 0 -1 1077944384 53200 0 0 0 169 5 0 0 20 0 15 0 45663565 14433329152 532604 33554432000 4194304 4196468 140722069054800 139697702557680 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3035] ppid=3018 vsize=14095048 memory=15412 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3035/stat : 3035 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663566 14433329152 532604 33554432000 4194304 4196468 140722069054800 139697701505376 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3036] ppid=3018 vsize=14095048 memory=1296 CPUtime=1.35 cores=0,2,4,6
/proc/3021/task/3036/stat : 3036 (java) S 3018 3021 32634 0 -1 1077944384 2055 0 0 0 68 67 0 0 20 0 15 0 45663566 14433329152 532604 33554432000 4194304 4196468 140722069054800 139697700453424 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
Current children cumulated CPU time: 2298.65 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 2130416 KiB

[startup+2322.3 s]
/proc/loadavg: 1.14 1.36 1.40 3/218 3292
/proc/meminfo: memFree=20062048/32770624 swapFree=67108860/67108860
[pid=3021] ppid=3018 vsize=14095048 memory=2057572 CPUtime=2359.5 cores=0,2,4,6
/proc/3021/stat : 3021 (java) S 3018 3021 32634 0 -1 1077944320 487708 0 0 0 235685 265 0 0 20 0 15 0 45663560 14433329152 514393 33554432000 4194304 4196468 140722069054800 140722069037344 139698234842871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
/proc/3021/statm: 3523762 514393 3626 1 0 3485833 0
[pid=3021/tid=3023] ppid=3018 vsize=14095048 memory=2057572 CPUtime=2310.69 cores=0,2,4,6
/proc/3021/task/3023/stat : 3023 (java) R 3018 3021 32634 0 -1 4202560 172231 0 0 0 230987 82 0 0 20 0 15 0 45663560 14433329152 514393 33554432000 4194304 4196468 140722069054800 139698239079888 139697858571279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3024] ppid=3018 vsize=14095048 memory=2069368 CPUtime=9.22 cores=0,2,4,6
/proc/3021/task/3024/stat : 3024 (java) S 3018 3021 32634 0 -1 1077944384 42273 0 0 0 899 23 0 0 20 0 15 0 45663561 14433329152 514393 33554432000 4194304 4196468 140722069054800 139698187463184 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3025] ppid=3018 vsize=14095048 memory=2072448 CPUtime=9.22 cores=0,2,4,6
/proc/3021/task/3025/stat : 3025 (java) S 3018 3021 32634 0 -1 1077944384 34890 0 0 0 899 23 0 0 20 0 15 0 45663561 14433329152 514393 33554432000 4194304 4196468 140722069054800 139698186410640 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3026] ppid=3018 vsize=14095048 memory=2066292 CPUtime=9.2 cores=0,2,4,6
/proc/3021/task/3026/stat : 3026 (java) S 3018 3021 32634 0 -1 1077944384 33743 0 0 0 896 24 0 0 20 0 15 0 45663561 14433329152 514393 33554432000 4194304 4196468 140722069054800 139698185357584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3027] ppid=3018 vsize=14095048 memory=2061160 CPUtime=9.2 cores=0,2,4,6
/proc/3021/task/3027/stat : 3027 (java) S 3018 3021 32634 0 -1 1077944384 35354 0 0 0 896 24 0 0 20 0 15 0 45663561 14433329152 514393 33554432000 4194304 4196468 140722069054800 139698184305040 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3028] ppid=3018 vsize=14095048 memory=2057572 CPUtime=1.3 cores=0,2,4,6
/proc/3021/task/3028/stat : 3028 (java) S 3018 3021 32634 0 -1 1077944384 38274 0 0 0 104 26 0 0 20 0 15 0 45663562 14433329152 514393 33554432000 4194304 4196468 140722069054800 139697776798448 139698234854018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3029] ppid=3018 vsize=14095048 memory=2057572 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3029/stat : 3029 (java) S 3018 3021 32634 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 45663563 14433329152 514393 33554432000 4194304 4196468 140722069054800 139697775744736 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3030] ppid=3018 vsize=14095048 memory=2057572 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3030/stat : 3030 (java) S 3018 3021 32634 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 45663563 14433329152 514393 33554432000 4194304 4196468 140722069054800 139697774691584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3031] ppid=3018 vsize=14095048 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3031/stat : 3031 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663565 14433329152 514393 33554432000 4194304 4196468 140722069054800 139697773640144 139698234861467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3032] ppid=3018 vsize=14095048 memory=4012 CPUtime=3.8 cores=0,2,4,6
/proc/3021/task/3032/stat : 3032 (java) S 3018 3021 32634 0 -1 1077944384 35955 0 0 0 376 4 0 0 20 0 15 0 45663565 14433329152 514393 33554432000 4194304 4196468 140722069054800 139697772587248 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3033] ppid=3018 vsize=14095048 memory=1408 CPUtime=3.65 cores=0,2,4,6
/proc/3021/task/3033/stat : 3033 (java) S 3018 3021 32634 0 -1 1077944384 38242 0 0 0 361 4 0 0 20 0 15 0 45663565 14433329152 514393 33554432000 4194304 4196468 140722069054800 139697703610736 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3034] ppid=3018 vsize=14095048 memory=3224 CPUtime=1.74 cores=0,2,4,6
/proc/3021/task/3034/stat : 3034 (java) S 3018 3021 32634 0 -1 1077944384 53206 0 0 0 169 5 0 0 20 0 15 0 45663565 14433329152 514393 33554432000 4194304 4196468 140722069054800 139697702557680 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3035] ppid=3018 vsize=14095048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3035/stat : 3035 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663566 14433329152 514393 33554432000 4194304 4196468 140722069054800 139697701505376 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3036] ppid=3018 vsize=14095048 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/3021/task/3036/stat : 3036 (java) S 3018 3021 32634 0 -1 1077944384 2093 0 0 0 70 69 0 0 20 0 15 0 45663566 14433329152 514393 33554432000 4194304 4196468 140722069054800 139697700453424 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
Current children cumulated CPU time: 2359.5 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 2057572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2362.3 s]
/proc/loadavg: 1.58 1.44 1.42 3/219 3293
/proc/meminfo: memFree=19083108/32770624 swapFree=67108860/67108860
[pid=3021] ppid=3018 vsize=14095048 memory=2008888 CPUtime=2400.08 cores=0,2,4,6
/proc/3021/stat : 3021 (java) S 3018 3021 32634 0 -1 1077944320 491794 0 0 0 239740 268 0 0 20 0 15 0 45663560 14433329152 502222 33554432000 4194304 4196468 140722069054800 140722069037344 139698234842871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
/proc/3021/statm: 3523762 502222 3626 1 0 3485833 0
[pid=3021/tid=3023] ppid=3018 vsize=14095048 memory=938 CPUtime=2350.45 cores=0,2,4,6
/proc/3021/task/3023/stat : 3023 (java) R 3018 3021 32634 0 -1 4202560 173757 0 0 0 234962 83 0 0 20 0 15 0 45663560 14433329152 502222 33554432000 4194304 4196468 140722069054800 139698239079744 139697868939129 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3024] ppid=3018 vsize=14095048 memory=2008888 CPUtime=9.41 cores=0,2,4,6
/proc/3021/task/3024/stat : 3024 (java) S 3018 3021 32634 0 -1 1077944384 42691 0 0 0 918 23 0 0 20 0 15 0 45663561 14433329152 502222 33554432000 4194304 4196468 140722069054800 139698187463184 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3025] ppid=3018 vsize=14095048 memory=4616 CPUtime=9.41 cores=0,2,4,6
/proc/3021/task/3025/stat : 3025 (java) S 3018 3021 32634 0 -1 1077944384 35402 0 0 0 918 23 0 0 20 0 15 0 45663561 14433329152 502222 33554432000 4194304 4196468 140722069054800 139698186410640 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3026] ppid=3018 vsize=14095048 memory=1228 CPUtime=9.4 cores=0,2,4,6
/proc/3021/task/3026/stat : 3026 (java) S 3018 3021 32634 0 -1 1077944384 33995 0 0 0 916 24 0 0 20 0 15 0 45663561 14433329152 502222 33554432000 4194304 4196468 140722069054800 139698185357584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3027] ppid=3018 vsize=14095048 memory=1948 CPUtime=9.39 cores=0,2,4,6
/proc/3021/task/3027/stat : 3027 (java) S 3018 3021 32634 0 -1 1077944384 36423 0 0 0 915 24 0 0 20 0 15 0 45663561 14433329152 502222 33554432000 4194304 4196468 140722069054800 139698184305040 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3028] ppid=3018 vsize=14095048 memory=2015044 CPUtime=1.32 cores=0,2,4,6
/proc/3021/task/3028/stat : 3028 (java) S 3018 3021 32634 0 -1 1077944384 38564 0 0 0 106 26 0 0 20 0 15 0 45663562 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697776798448 139698234854018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3029] ppid=3018 vsize=14095048 memory=2020688 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3029/stat : 3029 (java) S 3018 3021 32634 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 45663563 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697775744736 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3030] ppid=3018 vsize=14095048 memory=2015556 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3030/stat : 3030 (java) S 3018 3021 32634 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 45663563 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697774691584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3031] ppid=3018 vsize=14095048 memory=2015556 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3031/stat : 3031 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663565 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697773640144 139698234861467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3032] ppid=3018 vsize=14095048 memory=2018120 CPUtime=3.8 cores=0,2,4,6
/proc/3021/task/3032/stat : 3032 (java) S 3018 3021 32634 0 -1 1077944384 35957 0 0 0 376 4 0 0 20 0 15 0 45663565 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697772587248 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3033] ppid=3018 vsize=14095048 memory=2018120 CPUtime=3.65 cores=0,2,4,6
/proc/3021/task/3033/stat : 3033 (java) S 3018 3021 32634 0 -1 1077944384 38245 0 0 0 361 4 0 0 20 0 15 0 45663565 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697703610736 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3034] ppid=3018 vsize=14095048 memory=2012480 CPUtime=1.74 cores=0,2,4,6
/proc/3021/task/3034/stat : 3034 (java) S 3018 3021 32634 0 -1 1077944384 53209 0 0 0 169 5 0 0 20 0 15 0 45663565 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697702557680 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3035] ppid=3018 vsize=14095048 memory=2012480 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3035/stat : 3035 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663566 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697701505376 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3036] ppid=3018 vsize=14095048 memory=8112282956445269571 CPUtime=1.42 cores=0,2,4,6
/proc/3021/task/3036/stat : 3036 (java) S 3018 3021 32634 0 -1 1077944384 2104 0 0 0 71 71 0 0 20 0 15 0 45663566 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697700453424 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 2008888 KiB

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

[startup+2362.33 s]
# the end of solver process 3021 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.43 s, system=2.69617 s

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

[startup+2362.3 s]
/proc/loadavg: 1.58 1.44 1.42 3/219 3293
/proc/meminfo: memFree=19083108/32770624 swapFree=67108860/67108860
[pid=3021] ppid=3018 vsize=14095048 memory=2008888 CPUtime=2400.08 cores=0,2,4,6
/proc/3021/stat : 3021 (java) S 3018 3021 32634 0 -1 1077944320 491794 0 0 0 239740 268 0 0 20 0 15 0 45663560 14433329152 502222 33554432000 4194304 4196468 140722069054800 140722069037344 139698234842871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
/proc/3021/statm: 3523762 502222 3626 1 0 3485833 0
[pid=3021/tid=3023] ppid=3018 vsize=14095048 memory=938 CPUtime=2350.45 cores=0,2,4,6
/proc/3021/task/3023/stat : 3023 (java) R 3018 3021 32634 0 -1 4202560 173757 0 0 0 234962 83 0 0 20 0 15 0 45663560 14433329152 502222 33554432000 4194304 4196468 140722069054800 139698239079744 139697868939129 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3024] ppid=3018 vsize=14095048 memory=2008888 CPUtime=9.41 cores=0,2,4,6
/proc/3021/task/3024/stat : 3024 (java) S 3018 3021 32634 0 -1 1077944384 42691 0 0 0 918 23 0 0 20 0 15 0 45663561 14433329152 502222 33554432000 4194304 4196468 140722069054800 139698187463184 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3025] ppid=3018 vsize=14095048 memory=4616 CPUtime=9.41 cores=0,2,4,6
/proc/3021/task/3025/stat : 3025 (java) S 3018 3021 32634 0 -1 1077944384 35402 0 0 0 918 23 0 0 20 0 15 0 45663561 14433329152 502222 33554432000 4194304 4196468 140722069054800 139698186410640 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3026] ppid=3018 vsize=14095048 memory=1228 CPUtime=9.4 cores=0,2,4,6
/proc/3021/task/3026/stat : 3026 (java) S 3018 3021 32634 0 -1 1077944384 33995 0 0 0 916 24 0 0 20 0 15 0 45663561 14433329152 502222 33554432000 4194304 4196468 140722069054800 139698185357584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3027] ppid=3018 vsize=14095048 memory=1948 CPUtime=9.39 cores=0,2,4,6
/proc/3021/task/3027/stat : 3027 (java) S 3018 3021 32634 0 -1 1077944384 36423 0 0 0 915 24 0 0 20 0 15 0 45663561 14433329152 502222 33554432000 4194304 4196468 140722069054800 139698184305040 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3028] ppid=3018 vsize=14095048 memory=2015044 CPUtime=1.32 cores=0,2,4,6
/proc/3021/task/3028/stat : 3028 (java) S 3018 3021 32634 0 -1 1077944384 38564 0 0 0 106 26 0 0 20 0 15 0 45663562 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697776798448 139698234854018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3029] ppid=3018 vsize=14095048 memory=2020688 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3029/stat : 3029 (java) S 3018 3021 32634 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 45663563 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697775744736 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3030] ppid=3018 vsize=14095048 memory=2015556 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3030/stat : 3030 (java) S 3018 3021 32634 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 45663563 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697774691584 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3031] ppid=3018 vsize=14095048 memory=2015556 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3031/stat : 3031 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663565 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697773640144 139698234861467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3032] ppid=3018 vsize=14095048 memory=2018120 CPUtime=3.8 cores=0,2,4,6
/proc/3021/task/3032/stat : 3032 (java) S 3018 3021 32634 0 -1 1077944384 35957 0 0 0 376 4 0 0 20 0 15 0 45663565 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697772587248 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3033] ppid=3018 vsize=14095048 memory=2018120 CPUtime=3.65 cores=0,2,4,6
/proc/3021/task/3033/stat : 3033 (java) S 3018 3021 32634 0 -1 1077944384 38245 0 0 0 361 4 0 0 20 0 15 0 45663565 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697703610736 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3034] ppid=3018 vsize=14095048 memory=2012480 CPUtime=1.74 cores=0,2,4,6
/proc/3021/task/3034/stat : 3034 (java) S 3018 3021 32634 0 -1 1077944384 53209 0 0 0 169 5 0 0 20 0 15 0 45663565 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697702557680 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3035] ppid=3018 vsize=14095048 memory=2012480 CPUtime=0 cores=0,2,4,6
/proc/3021/task/3035/stat : 3035 (java) S 3018 3021 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45663566 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697701505376 139698234853077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
[pid=3021/tid=3036] ppid=3018 vsize=14095048 memory=8112282956445269571 CPUtime=1.42 cores=0,2,4,6
/proc/3021/task/3036/stat : 3036 (java) S 3018 3021 32634 0 -1 1077944384 2104 0 0 0 71 71 0 0 20 0 15 0 45663566 14433329152 502222 33554432000 4194304 4196468 140722069054800 139697700453424 139698234854018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21348352 140722069058645 140722069058825 140722069058825 140722069061583 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 2008888 KiB

Child status: 143
Real time (s): 2362.33
CPU time (s): 2400.13
CPU user time (s): 2397.43
CPU system time (s): 2.69617
CPU usage (%): 101.6
Max. virtual memory (cumulated for all children) (KiB): 14095048
Max. memory (cumulated for all children) (KiB): 3594244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.43
system time used= 2.69617
maximum resident set size= 3600916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80962
involuntary context switches= 5804


# summary of solver processes directly reported to runsolver:
#   pid: 3021
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2397.43
#   total CPU system time (s): 2.69617

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3894 second user time and 23.3831 second system time

The end

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

Trace number 4291499

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