2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - ALNS 2017-07-26	SAT (TO)	188	248.228	240.037

0.36/0.41	c version: 2017-07-26
0.36/0.41	c seed: 566859404
0.36/0.41	c timeout: 264
0.36/0.41	c memlimit: 11000
0.36/0.41	c nbcore: 4
0.36/0.44	c Parsing instance...
3.78/1.81	c Parsing done, starting search...
4.96/2.21	o 170
14.15/9.69	o 171
26.50/21.66	o 172
54.40/48.89	o 174
68.28/62.49	o 175
69.09/63.28	o 182
71.49/65.66	o 183
71.79/65.94	o 187
71.99/66.19	o 188
248.18/240.00	s SATISFIABLE
248.18/240.01	v <instantiation>
248.18/240.01	v 	<list>
248.18/240.01	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z
248.18/240.01	v 	</list>
248.18/240.01	v 	<values>
248.18/240.01	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 2 2 2 1 1 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 0 1 2 2 1 1 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 1 1 2 1 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 0 1 0 1 0 1 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 2 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 2 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 2 1 1 1 0 0 1 0 0 1 1 2 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 1 2 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 2 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 2 2 1 1 0 1 1 2 1 1 0 0 0 1 0 0 0 1 0 1 0 1 2 1 1 1 0 1 1 1 2 1 0 0 2 2 2 0 1 0 0 0 0 0 0 1 0 0 1 0 2 2 2 1 1 0 0 0 1 1 0 1 1 2 2 2 1 0 1 0 1 0 0 0 0 0 0 1 1 2 2 2 0 1 0 1 1 2 1 1 2 2 2 2 2 2 0 1 0 0 0 0 0 0 2 0 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 1 0 1 0 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 2 2 2 2 1 1 2 0 1 0 0 0 1 0 1 0 1 1 2 2 2 1 0 0 1 0 0 1 1 1 2 0 0 0 0 0 0 1 1 1 0 1 0 1 1 2 2 2 2 1 0 1 1 0 0 0 0 0 0 0 2 0 0 0 1 1 2 1 0 0 0 0 2 2 2 2 2 2 1 1 1 1 0 0 0 0 0 0 0 0 2 1 1 2 2 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 26 79 126 170 212 259 306 349 380 395 408 426 441 446 450 457 469 479 495 516 538 567 597 620 640 661 686 704 188 
248.18/240.01	v 	</values>
248.18/240.01	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255835-1501626119/watcher-4255835-1501626119 -o /tmp/evaluation-result-4255835-1501626119/solver-4255835-1501626119 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501623099-24766 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 566859404 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255835-1501626119.xml 

pid=26312
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.54 1.50 1.57 2/181 26315
/proc/meminfo: memFree=31716524/32770624 swapFree=0/298064
[pid=26315] ppid=26312 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26315/stat : 26315 (runsolver) D 26312 26315 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10117682 24240128 106 18446744073709551615 4194304 4338465 140734407957216 140734407954856 139986660868823 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 37052416 140734407958637 140734407959110 140734407959110 140734407962570 0
/proc/26315/statm: 5918 106 53 36 0 2156 0

[startup+0.100148 s]
/proc/loadavg: 1.54 1.50 1.57 2/181 26315
/proc/meminfo: memFree=31716524/32770624 swapFree=0/298064
[pid=26315] ppid=26312 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26315/stat : 26315 (runsolver) D 26312 26315 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10117682 24240128 106 18446744073709551615 4194304 4338465 140734407957216 140734407954856 139986660868823 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 37052416 140734407958637 140734407959110 140734407959110 140734407962570 0
/proc/26315/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200236 s]
/proc/loadavg: 1.54 1.50 1.57 2/181 26315
/proc/meminfo: memFree=31716524/32770624 swapFree=0/298064
[pid=26315] ppid=26312 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 4839 0 0 0 4 1 0 0 20 0 14 0 10117682 14240239616 5387 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3476621 5387 2564 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.303935 s]
/proc/loadavg: 1.54 1.50 1.57 2/181 26315
/proc/meminfo: memFree=31716524/32770624 swapFree=0/298064
[pid=26315] ppid=26312 vsize=13975920 CPUtime=0.19 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 9756 0 0 0 17 2 0 0 20 0 15 0 10117682 14311342080 9122 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3493980 9122 3491 1 0 3482767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13975920

[startup+0.700264 s]
/proc/loadavg: 1.54 1.50 1.57 2/181 26315
/proc/meminfo: memFree=31716524/32770624 swapFree=0/298064
[pid=26315] ppid=26312 vsize=13977988 CPUtime=0.97 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 13842 0 0 0 92 5 0 0 20 0 15 0 10117682 14313459712 16547 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3494497 16547 3713 1 0 3483279 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 13977988

[startup+1.50067 s]
/proc/loadavg: 1.54 1.50 1.57 3/193 26344
/proc/meminfo: memFree=31672752/32770624 swapFree=0/297996
[pid=26315] ppid=26312 vsize=13982084 CPUtime=3.21 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 30068 0 0 0 309 12 0 0 20 0 15 0 10117682 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3495521 56900 3779 1 0 3484303 0
[pid=26315/tid=26317] ppid=26312 vsize=13982084 CPUtime=1.29 cores=1,3,5,7
/proc/26315/task/26317/stat : 26317 (java) R 26312 26315 5234 0 -1 4202560 15623 0 0 0 122 7 0 0 20 0 15 0 10117693 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139755180307016 139754766937544 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26318] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26318/stat : 26318 (java) S 26312 26315 5234 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 10117694 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139755095485200 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26319] ppid=26312 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/26315/task/26319/stat : 26319 (java) S 26312 26315 5234 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 15 0 10117694 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139755094432656 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26320] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26320/stat : 26320 (java) S 26312 26315 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10117694 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139755093380112 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26321] ppid=26312 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/26315/task/26321/stat : 26321 (java) S 26312 26315 5234 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 15 0 10117694 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139755092327568 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26322] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26322/stat : 26322 (java) S 26312 26315 5234 0 -1 1077944384 767 0 0 0 0 0 0 0 20 0 15 0 10117695 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139754655455216 139755176082050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26323] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26323/stat : 26323 (java) S 26312 26315 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10117695 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139754654401440 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26324] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26324/stat : 26324 (java) S 26312 26315 5234 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10117696 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139754653348864 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26325] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26325/stat : 26325 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139754652297424 139755176089499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26326] ppid=26312 vsize=13982084 CPUtime=0.61 cores=1,3,5,7
/proc/26315/task/26326/stat : 26326 (java) R 26312 26315 5234 0 -1 4202560 2514 0 0 0 61 0 0 0 20 0 15 0 10117698 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139754651245040 139755160999102 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26327] ppid=26312 vsize=13982084 CPUtime=0.52 cores=1,3,5,7
/proc/26315/task/26327/stat : 26327 (java) S 26312 26315 5234 0 -1 1077944384 2150 0 0 0 52 0 0 0 20 0 15 0 10117698 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139754650192496 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26328] ppid=26312 vsize=13982084 CPUtime=0.69 cores=1,3,5,7
/proc/26315/task/26328/stat : 26328 (java) S 26312 26315 5234 0 -1 1077944384 6987 0 0 0 68 1 0 0 20 0 15 0 10117698 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139754649139952 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26329] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26329/stat : 26329 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139754648087648 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26333] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26333/stat : 26333 (java) S 26312 26315 5234 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10117704 14317654016 56900 18446744073709551615 4194304 4196468 140726862441296 139754647034160 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 13982084

[startup+3.10108 s]
/proc/loadavg: 1.54 1.50 1.57 7/213 26373
/proc/meminfo: memFree=31412552/32770624 swapFree=0/297988
[pid=26315] ppid=26312 vsize=13982084 CPUtime=6.85 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 33050 0 0 0 662 23 0 0 20 0 15 0 10117682 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3495521 106622 3803 1 0 3484303 0
[pid=26315/tid=26317] ppid=26312 vsize=13982084 CPUtime=2.8 cores=1,3,5,7
/proc/26315/task/26317/stat : 26317 (java) R 26312 26315 5234 0 -1 4202560 16309 0 0 0 271 9 0 0 20 0 15 0 10117693 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139755180308352 139754772929854 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26318] ppid=26312 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/26315/task/26318/stat : 26318 (java) S 26312 26315 5234 0 -1 1077944384 96 0 0 0 6 2 0 0 20 0 15 0 10117694 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139755095485200 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26319] ppid=26312 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/26315/task/26319/stat : 26319 (java) S 26312 26315 5234 0 -1 1077944384 582 0 0 0 4 2 0 0 20 0 15 0 10117694 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139755094432656 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26320] ppid=26312 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/26315/task/26320/stat : 26320 (java) S 26312 26315 5234 0 -1 1077944384 112 0 0 0 5 2 0 0 20 0 15 0 10117694 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139755093380112 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26321] ppid=26312 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/26315/task/26321/stat : 26321 (java) S 26312 26315 5234 0 -1 1077944384 171 0 0 0 7 2 0 0 20 0 15 0 10117694 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139755092327568 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26322] ppid=26312 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/26315/task/26322/stat : 26322 (java) S 26312 26315 5234 0 -1 1077944384 894 0 0 0 1 0 0 0 20 0 15 0 10117695 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139754655455216 139755176082050 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26323] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26323/stat : 26323 (java) S 26312 26315 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10117695 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139754654401504 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26324] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26324/stat : 26324 (java) S 26312 26315 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10117696 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139754653348864 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26325] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26325/stat : 26325 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139754652297424 139755176089499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26326] ppid=26312 vsize=13982084 CPUtime=1.5 cores=1,3,5,7
/proc/26315/task/26326/stat : 26326 (java) S 26312 26315 5234 0 -1 1077944384 3284 0 0 0 149 1 0 0 20 0 15 0 10117698 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139754651245040 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26327] ppid=26312 vsize=13982084 CPUtime=1.29 cores=1,3,5,7
/proc/26315/task/26327/stat : 26327 (java) S 26312 26315 5234 0 -1 1077944384 2921 0 0 0 128 1 0 0 20 0 15 0 10117698 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139754650192496 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26328] ppid=26312 vsize=13982084 CPUtime=0.86 cores=1,3,5,7
/proc/26315/task/26328/stat : 26328 (java) S 26312 26315 5234 0 -1 1077944384 7255 0 0 0 85 1 0 0 20 0 15 0 10117698 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139754649139952 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26329] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26329/stat : 26329 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139754648087648 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26333] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26333/stat : 26333 (java) S 26312 26315 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10117704 14317654016 106622 18446744073709551615 4194304 4196468 140726862441296 139754647034160 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 13982084

[startup+6.30067 s]
/proc/loadavg: 1.98 1.59 1.60 3/213 26374
/proc/meminfo: memFree=30635264/32770624 swapFree=0/298000
[pid=26315] ppid=26312 vsize=13982084 CPUtime=10.62 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 34646 0 0 0 1030 32 0 0 20 0 15 0 10117682 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3495521 173267 3803 1 0 3484303 0
[pid=26315/tid=26317] ppid=26312 vsize=13982084 CPUtime=5.95 cores=1,3,5,7
/proc/26315/task/26317/stat : 26317 (java) R 26312 26315 5234 0 -1 4202560 17005 0 0 0 583 12 0 0 20 0 15 0 10117693 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139755180308592 139754772977246 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26318] ppid=26312 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/26315/task/26318/stat : 26318 (java) S 26312 26315 5234 0 -1 1077944384 143 0 0 0 9 4 0 0 20 0 15 0 10117694 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139755095485200 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26319] ppid=26312 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/26315/task/26319/stat : 26319 (java) S 26312 26315 5234 0 -1 1077944384 660 0 0 0 7 3 0 0 20 0 15 0 10117694 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139755094432656 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26320] ppid=26312 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/26315/task/26320/stat : 26320 (java) S 26312 26315 5234 0 -1 1077944384 222 0 0 0 9 3 0 0 20 0 15 0 10117694 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139755093380112 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26321] ppid=26312 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/26315/task/26321/stat : 26321 (java) S 26312 26315 5234 0 -1 1077944384 223 0 0 0 10 3 0 0 20 0 15 0 10117694 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139755092327568 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26322] ppid=26312 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/26315/task/26322/stat : 26322 (java) S 26312 26315 5234 0 -1 1077944384 1175 0 0 0 1 0 0 0 20 0 15 0 10117695 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139754655455216 139755176082050 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26323] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26323/stat : 26323 (java) S 26312 26315 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10117695 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139754654401504 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26324] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26324/stat : 26324 (java) S 26312 26315 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10117696 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139754653348864 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26325] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26325/stat : 26325 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139754652297424 139755176089499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26326] ppid=26312 vsize=13982084 CPUtime=1.68 cores=1,3,5,7
/proc/26315/task/26326/stat : 26326 (java) S 26312 26315 5234 0 -1 1077944384 3327 0 0 0 167 1 0 0 20 0 15 0 10117698 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139754651245040 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26327] ppid=26312 vsize=13982084 CPUtime=1.49 cores=1,3,5,7
/proc/26315/task/26327/stat : 26327 (java) S 26312 26315 5234 0 -1 1077944384 3091 0 0 0 148 1 0 0 20 0 15 0 10117698 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139754650192496 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26328] ppid=26312 vsize=13982084 CPUtime=0.92 cores=1,3,5,7
/proc/26315/task/26328/stat : 26328 (java) S 26312 26315 5234 0 -1 1077944384 7370 0 0 0 90 2 0 0 20 0 15 0 10117698 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139754649139952 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26329] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26329/stat : 26329 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139754648087648 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26333] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26333/stat : 26333 (java) S 26312 26315 5234 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10117704 14317654016 173267 18446744073709551615 4194304 4196468 140726862441296 139754647034160 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 13982084

[startup+12.7063 s]
/proc/loadavg: 2.06 1.61 1.60 3/213 26374
/proc/meminfo: memFree=30136508/32770624 swapFree=0/298016
[pid=26315] ppid=26312 vsize=13982084 CPUtime=17.35 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 39336 0 0 0 1695 40 0 0 20 0 15 0 10117682 14317654016 217777 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3495521 217777 3803 1 0 3484303 0
[pid=26315/tid=26317] ppid=26312 vsize=13982084 CPUtime=12.33 cores=1,3,5,7
/proc/26315/task/26317/stat : 26317 (java) R 26312 26315 5234 0 -1 4202560 19794 0 0 0 1219 14 0 0 20 0 15 0 10117693 14317654016 217777 18446744073709551615 4194304 4196468 140726862441296 139755180305680 139754773547902 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26318] ppid=26312 vsize=13982084 CPUtime=0.15 cores=1,3,5,7
/proc/26315/task/26318/stat : 26318 (java) S 26312 26315 5234 0 -1 1077944384 156 0 0 0 10 5 0 0 20 0 15 0 10117694 14317654016 217777 18446744073709551615 4194304 4196468 140726862441296 139755095485200 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26319] ppid=26312 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/26315/task/26319/stat : 26319 (java) S 26312 26315 5234 0 -1 1077944384 673 0 0 0 8 4 0 0 20 0 15 0 10117694 14317654016 217777 18446744073709551615 4194304 4196468 140726862441296 139755094432656 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26320] ppid=26312 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/26315/task/26320/stat : 26320 (java) S 26312 26315 5234 0 -1 1077944384 237 0 0 0 10 4 0 0 20 0 15 0 10117694 14317654016 217777 18446744073709551615 4194304 4196468 140726862441296 139755093380112 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26321] ppid=26312 vsize=13982084 CPUtime=0.15 cores=1,3,5,7
/proc/26315/task/26321/stat : 26321 (java) S 26312 26315 5234 0 -1 1077944384 239 0 0 0 11 4 0 0 20 0 15 0 10117694 14317654016 217777 18446744073709551615 4194304 4196468 140726862441296 139755092327568 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26322] ppid=26312 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/26315/task/26322/stat : 26322 (java) S 26312 26315 5234 0 -1 1077944384 1215 0 0 0 2 0 0 0 20 0 15 0 10117695 14317654016 217777 18446744073709551615 4194304 4196468 140726862441296 139754655455216 139755176082050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26323] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26323/stat : 26323 (java) S 26312 26315 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10117695 14317654016 217777 18446744073709551615 4194304 4196468 140726862441296 139754654401504 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26324] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26324/stat : 26324 (java) S 26312 26315 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10117696 14317654016 217777 18446744073709551615 4194304 4196468 140726862441296 139754653348864 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26325] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26325/stat : 26325 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 217777 18446744073709551615 4194304 4196468 140726862441296 139754652297424 139755176089499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0

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

/proc/26315/task/26329/stat : 26329 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 832439 18446744073709551615 4194304 4196468 140726862441296 139754648087648 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26333] ppid=26312 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/26315/task/26333/stat : 26333 (java) S 26312 26315 5234 0 -1 1077944384 158 0 0 0 2 2 0 0 20 0 15 0 10117704 14317654016 832439 18446744073709551615 4194304 4196468 140726862441296 139754647034160 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
Current children cumulated CPU time (s) 108.45
Current children cumulated vsize (KiB) 13982084

[startup+162.307 s]
/proc/loadavg: 1.74 1.67 1.63 3/214 26387
/proc/meminfo: memFree=25597796/32770624 swapFree=0/298120
[pid=26315] ppid=26312 vsize=13982084 CPUtime=168.96 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 76240 0 0 0 16807 89 0 0 20 0 15 0 10117682 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3495521 766748 3813 1 0 3484303 0
[pid=26315/tid=26317] ppid=26312 vsize=13982084 CPUtime=161.69 cores=1,3,5,7
/proc/26315/task/26317/stat : 26317 (java) R 26312 26315 5234 0 -1 4202560 33516 0 0 0 16117 52 0 0 20 0 15 0 10117693 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139755180308688 139754772929965 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26318] ppid=26312 vsize=13982084 CPUtime=0.36 cores=1,3,5,7
/proc/26315/task/26318/stat : 26318 (java) S 26312 26315 5234 0 -1 1077944384 1150 0 0 0 29 7 0 0 20 0 15 0 10117694 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139755095485200 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26319] ppid=26312 vsize=13982084 CPUtime=0.33 cores=1,3,5,7
/proc/26315/task/26319/stat : 26319 (java) S 26312 26315 5234 0 -1 1077944384 1948 0 0 0 27 6 0 0 20 0 15 0 10117694 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139755094432656 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26320] ppid=26312 vsize=13982084 CPUtime=0.35 cores=1,3,5,7
/proc/26315/task/26320/stat : 26320 (java) S 26312 26315 5234 0 -1 1077944384 1763 0 0 0 29 6 0 0 20 0 15 0 10117694 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139755093380112 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26321] ppid=26312 vsize=13982084 CPUtime=0.35 cores=1,3,5,7
/proc/26315/task/26321/stat : 26321 (java) S 26312 26315 5234 0 -1 1077944384 1020 0 0 0 29 6 0 0 20 0 15 0 10117694 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139755092327568 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26322] ppid=26312 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/26315/task/26322/stat : 26322 (java) S 26312 26315 5234 0 -1 1077944384 2681 0 0 0 4 1 0 0 20 0 15 0 10117695 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139754655455216 139755176082050 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26323] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26323/stat : 26323 (java) S 26312 26315 5234 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10117695 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139754654401504 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26324] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26324/stat : 26324 (java) S 26312 26315 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10117696 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139754653348864 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26325] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26325/stat : 26325 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139754652297424 139755176089499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26326] ppid=26312 vsize=13982084 CPUtime=2.39 cores=1,3,5,7
/proc/26315/task/26326/stat : 26326 (java) S 26312 26315 5234 0 -1 1077944384 12397 0 0 0 237 2 0 0 20 0 15 0 10117698 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139754651245040 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26327] ppid=26312 vsize=13982084 CPUtime=2.19 cores=1,3,5,7
/proc/26315/task/26327/stat : 26327 (java) S 26312 26315 5234 0 -1 1077944384 8847 0 0 0 218 1 0 0 20 0 15 0 10117698 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139754650192496 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26328] ppid=26312 vsize=13982084 CPUtime=1.08 cores=1,3,5,7
/proc/26315/task/26328/stat : 26328 (java) S 26312 26315 5234 0 -1 1077944384 11155 0 0 0 106 2 0 0 20 0 15 0 10117698 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139754649139952 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26329] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26329/stat : 26329 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139754648087648 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26333] ppid=26312 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/26315/task/26333/stat : 26333 (java) S 26312 26315 5234 0 -1 1077944384 318 0 0 0 4 4 0 0 20 0 15 0 10117704 14317654016 766748 18446744073709551615 4194304 4196468 140726862441296 139754647034160 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
Current children cumulated CPU time (s) 168.96
Current children cumulated vsize (KiB) 13982084

[startup+222.301 s]
/proc/loadavg: 1.57 1.63 1.62 3/214 26390
/proc/meminfo: memFree=25812572/32770624 swapFree=0/298140
[pid=26315] ppid=26312 vsize=13982084 CPUtime=230.02 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 88085 0 0 0 22905 97 0 0 20 0 15 0 10117682 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3495521 743340 3813 1 0 3484303 0
[pid=26315/tid=26317] ppid=26312 vsize=13982084 CPUtime=221.31 cores=1,3,5,7
/proc/26315/task/26317/stat : 26317 (java) R 26312 26315 5234 0 -1 4202560 36896 0 0 0 22079 52 0 0 20 0 15 0 10117693 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139755180308688 139754774073135 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26318] ppid=26312 vsize=13982084 CPUtime=0.66 cores=1,3,5,7
/proc/26315/task/26318/stat : 26318 (java) S 26312 26315 5234 0 -1 1077944384 2071 0 0 0 58 8 0 0 20 0 15 0 10117694 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139755095485200 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26319] ppid=26312 vsize=13982084 CPUtime=0.63 cores=1,3,5,7
/proc/26315/task/26319/stat : 26319 (java) S 26312 26315 5234 0 -1 1077944384 2170 0 0 0 56 7 0 0 20 0 15 0 10117694 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139755094432656 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26320] ppid=26312 vsize=13982084 CPUtime=0.64 cores=1,3,5,7
/proc/26315/task/26320/stat : 26320 (java) S 26312 26315 5234 0 -1 1077944384 1995 0 0 0 57 7 0 0 20 0 15 0 10117694 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139755093380112 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26321] ppid=26312 vsize=13982084 CPUtime=0.66 cores=1,3,5,7
/proc/26315/task/26321/stat : 26321 (java) S 26312 26315 5234 0 -1 1077944384 1142 0 0 0 58 8 0 0 20 0 15 0 10117694 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139755092327568 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26322] ppid=26312 vsize=13982084 CPUtime=0.1 cores=1,3,5,7
/proc/26315/task/26322/stat : 26322 (java) S 26312 26315 5234 0 -1 1077944384 2940 0 0 0 8 2 0 0 20 0 15 0 10117695 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139754655455216 139755176082050 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26323] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26323/stat : 26323 (java) S 26312 26315 5234 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10117695 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139754654401504 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26324] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26324/stat : 26324 (java) S 26312 26315 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10117696 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139754653348864 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26325] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26325/stat : 26325 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139754652297424 139755176089499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26326] ppid=26312 vsize=13982084 CPUtime=2.43 cores=1,3,5,7
/proc/26315/task/26326/stat : 26326 (java) S 26312 26315 5234 0 -1 1077944384 14288 0 0 0 241 2 0 0 20 0 15 0 10117698 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139754651245040 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26327] ppid=26312 vsize=13982084 CPUtime=2.28 cores=1,3,5,7
/proc/26315/task/26327/stat : 26327 (java) S 26312 26315 5234 0 -1 1077944384 11687 0 0 0 226 2 0 0 20 0 15 0 10117698 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139754650192496 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26328] ppid=26312 vsize=13982084 CPUtime=1.1 cores=1,3,5,7
/proc/26315/task/26328/stat : 26328 (java) S 26312 26315 5234 0 -1 1077944384 13109 0 0 0 108 2 0 0 20 0 15 0 10117698 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139754649139952 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26329] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26329/stat : 26329 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139754648087648 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26333] ppid=26312 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/26315/task/26333/stat : 26333 (java) S 26312 26315 5234 0 -1 1077944384 342 0 0 0 5 6 0 0 20 0 15 0 10117704 14317654016 743340 18446744073709551615 4194304 4196468 140726862441296 139754647034160 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
Current children cumulated CPU time (s) 230.02
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.49 1.61 1.61 3/214 26390
/proc/meminfo: memFree=25822312/32770624 swapFree=0/298148
[pid=26315] ppid=26312 vsize=13982084 CPUtime=248.18 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 95052 0 0 0 24718 100 0 0 20 0 15 0 10117682 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3495521 741538 3813 1 0 3484303 0
[pid=26315/tid=26317] ppid=26312 vsize=13982084 CPUtime=238.85 cores=1,3,5,7
/proc/26315/task/26317/stat : 26317 (java) R 26312 26315 5234 0 -1 4202560 38772 0 0 0 23833 52 0 0 20 0 15 0 10117693 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139755180308576 139754769593280 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26318] ppid=26312 vsize=13982084 CPUtime=0.79 cores=1,3,5,7
/proc/26315/task/26318/stat : 26318 (java) S 26312 26315 5234 0 -1 1077944384 2322 0 0 0 71 8 0 0 20 0 15 0 10117694 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139755095485200 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26319] ppid=26312 vsize=13982084 CPUtime=0.77 cores=1,3,5,7
/proc/26315/task/26319/stat : 26319 (java) S 26312 26315 5234 0 -1 1077944384 2382 0 0 0 69 8 0 0 20 0 15 0 10117694 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139755094432656 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26320] ppid=26312 vsize=13982084 CPUtime=0.78 cores=1,3,5,7
/proc/26315/task/26320/stat : 26320 (java) S 26312 26315 5234 0 -1 1077944384 2090 0 0 0 70 8 0 0 20 0 15 0 10117694 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139755093380112 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26321] ppid=26312 vsize=13982084 CPUtime=0.79 cores=1,3,5,7
/proc/26315/task/26321/stat : 26321 (java) S 26312 26315 5234 0 -1 1077944384 2007 0 0 0 71 8 0 0 20 0 15 0 10117694 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139755092327568 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26322] ppid=26312 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/26315/task/26322/stat : 26322 (java) S 26312 26315 5234 0 -1 1077944384 3184 0 0 0 10 3 0 0 20 0 15 0 10117695 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754655455216 139755176082050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26323] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26323/stat : 26323 (java) S 26312 26315 5234 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10117695 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754654401504 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26324] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26324/stat : 26324 (java) S 26312 26315 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10117696 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754653348864 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26325] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26325/stat : 26325 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754652297424 139755176089499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26326] ppid=26312 vsize=13982084 CPUtime=2.44 cores=1,3,5,7
/proc/26315/task/26326/stat : 26326 (java) S 26312 26315 5234 0 -1 1077944384 15130 0 0 0 242 2 0 0 20 0 15 0 10117698 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754651245040 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26327] ppid=26312 vsize=13982084 CPUtime=2.31 cores=1,3,5,7
/proc/26315/task/26327/stat : 26327 (java) S 26312 26315 5234 0 -1 1077944384 12468 0 0 0 229 2 0 0 20 0 15 0 10117698 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754650192496 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26328] ppid=26312 vsize=13982084 CPUtime=1.1 cores=1,3,5,7
/proc/26315/task/26328/stat : 26328 (java) S 26312 26315 5234 0 -1 1077944384 14877 0 0 0 108 2 0 0 20 0 15 0 10117698 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754649139952 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26329] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26329/stat : 26329 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754648087648 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26333] ppid=26312 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/26315/task/26333/stat : 26333 (java) S 26312 26315 5234 0 -1 1077944384 375 0 0 0 6 6 0 0 20 0 15 0 10117704 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754647034160 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
Current children cumulated CPU time (s) 248.18
Current children cumulated vsize (KiB) 13982084

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26315 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.001 s]
/proc/loadavg: 1.49 1.61 1.61 3/214 26390
/proc/meminfo: memFree=25822312/32770624 swapFree=0/298148
[pid=26315] ppid=26312 vsize=13982084 CPUtime=248.18 cores=1,3,5,7
/proc/26315/stat : 26315 (java) S 26312 26315 5234 0 -1 1077944320 95052 0 0 0 24718 100 0 0 20 0 15 0 10117682 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 140726862423840 139755176070903 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
/proc/26315/statm: 3495521 741538 3813 1 0 3484303 0
[pid=26315/tid=26317] ppid=26312 vsize=13982084 CPUtime=238.85 cores=1,3,5,7
/proc/26315/task/26317/stat : 26317 (java) R 26312 26315 5234 0 -1 4202560 38772 0 0 0 23833 52 0 0 20 0 15 0 10117693 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139755180308576 139754769593280 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26318] ppid=26312 vsize=13982084 CPUtime=0.79 cores=1,3,5,7
/proc/26315/task/26318/stat : 26318 (java) S 26312 26315 5234 0 -1 1077944384 2322 0 0 0 71 8 0 0 20 0 15 0 10117694 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139755095485200 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26319] ppid=26312 vsize=13982084 CPUtime=0.77 cores=1,3,5,7
/proc/26315/task/26319/stat : 26319 (java) S 26312 26315 5234 0 -1 1077944384 2382 0 0 0 69 8 0 0 20 0 15 0 10117694 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139755094432656 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26320] ppid=26312 vsize=13982084 CPUtime=0.78 cores=1,3,5,7
/proc/26315/task/26320/stat : 26320 (java) S 26312 26315 5234 0 -1 1077944384 2090 0 0 0 70 8 0 0 20 0 15 0 10117694 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139755093380112 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26321] ppid=26312 vsize=13982084 CPUtime=0.79 cores=1,3,5,7
/proc/26315/task/26321/stat : 26321 (java) S 26312 26315 5234 0 -1 1077944384 2007 0 0 0 71 8 0 0 20 0 15 0 10117694 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139755092327568 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26322] ppid=26312 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/26315/task/26322/stat : 26322 (java) S 26312 26315 5234 0 -1 1077944384 3184 0 0 0 10 3 0 0 20 0 15 0 10117695 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754655455216 139755176082050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26323] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26323/stat : 26323 (java) S 26312 26315 5234 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10117695 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754654401504 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26324] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26324/stat : 26324 (java) S 26312 26315 5234 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10117696 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754653348864 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26325] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26325/stat : 26325 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754652297424 139755176089499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26326] ppid=26312 vsize=13982084 CPUtime=2.44 cores=1,3,5,7
/proc/26315/task/26326/stat : 26326 (java) S 26312 26315 5234 0 -1 1077944384 15130 0 0 0 242 2 0 0 20 0 15 0 10117698 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754651245040 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26327] ppid=26312 vsize=13982084 CPUtime=2.31 cores=1,3,5,7
/proc/26315/task/26327/stat : 26327 (java) S 26312 26315 5234 0 -1 1077944384 12468 0 0 0 229 2 0 0 20 0 15 0 10117698 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754650192496 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26328] ppid=26312 vsize=13982084 CPUtime=1.1 cores=1,3,5,7
/proc/26315/task/26328/stat : 26328 (java) S 26312 26315 5234 0 -1 1077944384 14877 0 0 0 108 2 0 0 20 0 15 0 10117698 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754649139952 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26329] ppid=26312 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/26315/task/26329/stat : 26329 (java) S 26312 26315 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10117698 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754648087648 139755176081109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
[pid=26315/tid=26333] ppid=26312 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/26315/task/26333/stat : 26333 (java) S 26312 26315 5234 0 -1 1077944384 375 0 0 0 6 6 0 0 20 0 15 0 10117704 14317654016 741538 18446744073709551615 4194304 4196468 140726862441296 139754647034160 139755176082050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140726862447000 140726862447179 140726862447179 140726862450639 0
Current children cumulated CPU time (s) 248.18
Current children cumulated vsize (KiB) 13982084

Child status: 143
Real time (s): 240.037
CPU time (s): 248.228
CPU user time (s): 247.207
CPU system time (s): 1.02124
CPU usage (%): 103.412
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.207
system time used= 1.02124
maximum resident set size= 3477028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12023
involuntary context switches= 382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09736 second user time and 1.49715 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml
MD5SUM	a21a0b86f7fa853bf556b3925b3cd061
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	338
Best CPU time to get the best result obtained on this benchmark	251.815
Satisfiable
(Un)Satisfiability was proved
Number of variables	1597
Number of constraints	944
Number of domains	4
Minimum domain size	2
Maximum domain size	1569
Distribution of domain sizes	[{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}]
Minimum variable degree	1
Maximum variable degree	29
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}]
Number of extensional constraints	780
Number of intensional constraints	131
Distribution of constraint types	[{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4255835

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