2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - ALNS 2017-06-30	SAT (TO)	271	2400.06	2292.54

0.26/0.29	c version: 2017-06-30
0.26/0.29	c seed: 1535814860
0.26/0.29	c timeout: 2400
0.26/0.29	c memlimit: 15500
0.26/0.29	c nbcore: 8
0.42/0.32	c Parsing instance...
3.98/1.57	c Parsing done, starting search...
5.71/2.03	o 157
11.85/6.56	o 158
33.24/26.87	o 159
54.25/47.59	o 160
300.08/284.89	o 202
300.29/285.03	o 203
311.48/295.73	o 229
377.85/359.21	o 230
378.05/359.46	o 231
570.69/543.07	o 233
571.29/543.69	o 255
571.83/544.11	o 256
574.00/546.20	o 257
612.72/583.02	o 258
627.41/597.01	o 259
719.20/685.02	o 260
739.09/704.10	o 261
739.48/704.47	o 262
739.79/704.73	o 263
744.79/709.53	o 264
746.94/711.69	o 265
748.72/713.31	o 266
749.25/713.84	o 267
873.10/832.12	o 268
873.20/832.23	o 269
1122.03/1070.36	o 270
1877.08/1792.64	o 271
2400.02/2292.51	s SATISFIABLE
2400.02/2292.51	v <instantiation>
2400.02/2292.51	v 	<list>
2400.02/2292.51	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
2400.02/2292.51	v 	</list>
2400.02/2292.51	v 	<values>
2400.02/2292.51	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 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 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 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 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 1 1 0 0 0 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 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 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 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 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 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 2 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 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 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 2 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 2 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 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 1 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 0 0 1 1 0 0 2 0 2 2 0 2 2 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 2 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 2 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 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 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 2 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 1 1 0 0 8 10 12 23 24 25 53 61 66 72 75 77 92 98 98 101 107 113 124 129 133 134 139 143 152 164 271 
2400.02/2292.51	v 	</values>
2400.02/2292.51	v </instantiation>

Verifier Data

Watcher Data

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-4244741-1500692630/watcher-4244741-1500692630 -o /tmp/evaluation-result-4244741-1500692630/solver-4244741-1500692630 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500683233-16019 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1535814860 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244741-1500692630.xml 

pid=17091
running on 8 cores: 0,2,4,6,8,10,12,14

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.22 1.29 1.38 2/261 17094
/proc/meminfo: memFree=30359708/32770624 swapFree=5940/259660
[pid=17094] ppid=17091 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 2076 0 0 0 0 0 0 0 20 0 2 0 4527875 10889764864 2319 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 2658634 2319 1188 1 0 2647545 0
[pid=17094/tid=17095] ppid=17091 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) R 17091 17094 15364 0 -1 4202560 865 0 0 0 0 0 0 0 20 0 2 0 4527876 10889764864 2385 33554432000 4194304 4196468 140724920030240 139919704287648 139919692335008 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0

[startup+0.100103 s]
/proc/loadavg: 1.22 1.29 1.38 2/261 17094
/proc/meminfo: memFree=30359708/32770624 swapFree=5940/259660
[pid=17094] ppid=17091 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 5786 0 0 0 8 1 0 0 20 0 20 0 4527875 13582725120 6295 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 3315978 6079 3127 1 0 3303698 0
[pid=17094/tid=17095] ppid=17091 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) R 17091 17094 15364 0 -1 4202560 3869 0 0 0 7 1 0 0 20 0 20 0 4527876 13582245888 5577 33554432000 4194304 4196468 140724920030240 139919704286432 139919692762663 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200343 s]
/proc/loadavg: 1.22 1.29 1.38 2/261 17094
/proc/meminfo: memFree=30359708/32770624 swapFree=5940/259660
[pid=17094] ppid=17091 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 8981 0 0 0 23 3 0 0 20 0 20 0 4527875 13582245888 8998 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 3315978 8998 3570 1 0 3303698 0
[pid=17094/tid=17095] ppid=17091 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) R 17091 17094 15364 0 -1 4202560 6691 0 0 0 16 2 0 0 20 0 20 0 4527876 13582245888 8998 33554432000 4194304 4196468 140724920030240 139919704253712 139919700067485 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300272 s]
/proc/loadavg: 1.22 1.29 1.38 2/261 17094
/proc/meminfo: memFree=30359708/32770624 swapFree=5940/259660
[pid=17094] ppid=17091 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 10047 0 0 0 38 4 0 0 20 0 20 0 4527875 13582245888 11245 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 3315978 11245 3651 1 0 3303698 0
[pid=17094/tid=17095] ppid=17091 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) R 17091 17094 15364 0 -1 4202560 7380 0 0 0 25 3 0 0 20 0 20 0 4527876 13582245888 11245 33554432000 4194304 4196468 140724920030240 139919704268384 139919700067485 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700191 s]
/proc/loadavg: 1.22 1.29 1.38 2/261 17094
/proc/meminfo: memFree=30359708/32770624 swapFree=5940/259660
[pid=17094] ppid=17091 vsize=13265980 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 13169 0 0 0 150 6 0 0 20 0 20 0 4527875 13584363520 19554 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 3316495 19554 3780 1 0 3304210 0
[pid=17094/tid=17095] ppid=17091 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) R 17091 17094 15364 0 -1 4202560 8550 0 0 0 63 4 0 0 20 0 20 0 4527876 13584363520 19554 33554432000 4194304 4196468 140724920030240 139919704280640 139919684126046 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 13265980

[startup+1.50076 s]
/proc/loadavg: 1.28 1.30 1.38 7/281 17114
/proc/meminfo: memFree=30256396/32770624 swapFree=5940/259660
[pid=17094] ppid=17091 vsize=13270076 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 27514 0 0 0 372 26 0 0 20 0 20 0 4527875 13588557824 63556 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 3317519 63556 3802 1 0 3305234 0
[pid=17094/tid=17095] ppid=17091 vsize=13270076 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) S 17091 17094 15364 0 -1 1077944384 11671 0 0 0 136 6 0 0 20 0 20 0 4527876 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919704279888 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17097] ppid=17091 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17097/stat : 17097 (java) R 17091 17094 15364 0 -1 4202560 54 0 0 0 2 1 0 0 20 0 20 0 4527877 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919639009880 139919685072688 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17098] ppid=17091 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17098/stat : 17098 (java) R 17091 17094 15364 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 20 0 4527877 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919637957080 139919693141998 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17099] ppid=17091 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17099/stat : 17099 (java) R 17091 17094 15364 0 -1 4202560 311 0 0 0 1 2 0 0 20 0 20 0 4527877 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919636904792 139919684493774 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17100] ppid=17091 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17100/stat : 17100 (java) R 17091 17094 15364 0 -1 4202560 64 0 0 0 2 2 0 0 20 0 20 0 4527877 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919635851992 139919685067616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17101] ppid=17091 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17101/stat : 17101 (java) R 17091 17094 15364 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 20 0 4527877 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919634799704 139919685073406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17102] ppid=17091 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17102/stat : 17102 (java) R 17091 17094 15364 0 -1 4202560 47 0 0 0 1 2 0 0 20 0 20 0 4527877 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919633746904 139919685073406 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17103] ppid=17091 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17103/stat : 17103 (java) R 17091 17094 15364 0 -1 4202560 63 0 0 0 1 2 0 0 20 0 20 0 4527877 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919293373784 139919693142260 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17104] ppid=17091 vsize=13270076 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17104/stat : 17104 (java) R 17091 17094 15364 0 -1 4202560 33 0 0 0 2 2 0 0 20 0 20 0 4527877 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919292320736 139919693142276 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17105] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17105/stat : 17105 (java) S 17091 17094 15364 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 20 0 4527879 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919162860192 139919700055765 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17106] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17106/stat : 17106 (java) S 17091 17094 15364 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 63556 33554432000 4194304 4196468 140724920030240 139919161807712 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17107] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17107/stat : 17107 (java) S 17091 17094 15364 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 64068 33554432000 4194304 4196468 140724920030240 139919160755312 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17108] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17108/stat : 17108 (java) S 17091 17094 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 64068 33554432000 4194304 4196468 140724920030240 139919159703632 139919700064155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17109] ppid=17091 vsize=13270076 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17109/stat : 17109 (java) S 17091 17094 15364 0 -1 1077944384 2182 0 0 0 48 0 0 0 20 0 20 0 4527884 13588557824 64068 33554432000 4194304 4196468 140724920030240 139919158651504 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17110] ppid=17091 vsize=13270076 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17110/stat : 17110 (java) S 17091 17094 15364 0 -1 1077944384 1920 0 0 0 50 0 0 0 20 0 20 0 4527884 13588557824 64068 33554432000 4194304 4196468 140724920030240 139919157598704 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17111] ppid=17091 vsize=13270076 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17111/stat : 17111 (java) S 17091 17094 15364 0 -1 1077944384 1888 0 0 0 53 0 0 0 20 0 20 0 4527884 13588557824 64068 33554432000 4194304 4196468 140724920030240 139919156546416 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17112] ppid=17091 vsize=13270076 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17112/stat : 17112 (java) S 17091 17094 15364 0 -1 1077944384 7612 0 0 0 67 0 0 0 20 0 20 0 4527884 13588557824 64068 33554432000 4194304 4196468 140724920030240 139919155489488 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17113] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17113/stat : 17113 (java) S 17091 17094 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 64068 33554432000 4194304 4196468 140724920030240 139919154440544 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17114] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17114/stat : 17114 (java) S 17091 17094 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 64068 33554432000 4194304 4196468 140724920030240 139919153387824 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 13270076

[startup+3.10077 s]
/proc/loadavg: 1.28 1.30 1.38 3/281 17114
/proc/meminfo: memFree=30103564/32770624 swapFree=5940/259660
[pid=17094] ppid=17091 vsize=13270076 CPUtime=7.66 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 33127 0 0 0 708 58 0 0 20 0 20 0 4527875 13588557824 104827 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 3317519 104827 3837 1 0 3305234 0
[pid=17094/tid=17095] ppid=17091 vsize=13270076 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) R 17091 17094 15364 0 -1 4202560 13215 0 0 0 287 8 0 0 20 0 20 0 4527876 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919704283064 139919323678048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17097] ppid=17091 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17097/stat : 17097 (java) S 17091 17094 15364 0 -1 1077944384 82 0 0 0 4 5 0 0 20 0 20 0 4527877 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919639009680 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17098] ppid=17091 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17098/stat : 17098 (java) S 17091 17094 15364 0 -1 1077944384 53 0 0 0 3 5 0 0 20 0 20 0 4527877 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919637956880 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17099] ppid=17091 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17099/stat : 17099 (java) S 17091 17094 15364 0 -1 1077944384 351 0 0 0 3 5 0 0 20 0 20 0 4527877 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919636904592 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17100] ppid=17091 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17100/stat : 17100 (java) S 17091 17094 15364 0 -1 1077944384 825 0 0 0 4 5 0 0 20 0 20 0 4527877 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919635851792 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17101] ppid=17091 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17101/stat : 17101 (java) S 17091 17094 15364 0 -1 1077944384 49 0 0 0 3 5 0 0 20 0 20 0 4527877 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919634799504 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17102] ppid=17091 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17102/stat : 17102 (java) S 17091 17094 15364 0 -1 1077944384 80 0 0 0 3 6 0 0 20 0 20 0 4527877 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919633746704 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17103] ppid=17091 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17103/stat : 17103 (java) S 17091 17094 15364 0 -1 1077944384 100 0 0 0 4 5 0 0 20 0 20 0 4527877 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919293373584 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17104] ppid=17091 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17104/stat : 17104 (java) S 17091 17094 15364 0 -1 1077944384 114 0 0 0 4 5 0 0 20 0 20 0 4527877 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919292320784 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17105] ppid=17091 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17105/stat : 17105 (java) S 17091 17094 15364 0 -1 1077944384 410 0 0 0 1 0 0 0 20 0 20 0 4527879 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919162861680 139919700056706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17106] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17106/stat : 17106 (java) S 17091 17094 15364 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919161807712 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17107] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17107/stat : 17107 (java) S 17091 17094 15364 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919160755328 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17108] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17108/stat : 17108 (java) S 17091 17094 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919159703632 139919700064155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17109] ppid=17091 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17109/stat : 17109 (java) S 17091 17094 15364 0 -1 1077944384 2842 0 0 0 97 0 0 0 20 0 20 0 4527884 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919158651504 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17110] ppid=17091 vsize=13270076 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17110/stat : 17110 (java) R 17091 17094 15364 0 -1 4202560 2843 0 0 0 95 1 0 0 20 0 20 0 4527884 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919157586416 139919681590810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17111] ppid=17091 vsize=13270076 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17111/stat : 17111 (java) S 17091 17094 15364 0 -1 1077944384 2556 0 0 0 107 0 0 0 20 0 20 0 4527884 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919156546416 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17112] ppid=17091 vsize=13270076 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17112/stat : 17112 (java) S 17091 17094 15364 0 -1 1077944384 8175 0 0 0 86 1 0 0 20 0 20 0 4527884 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919155493616 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17113] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17113/stat : 17113 (java) S 17091 17094 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919154440544 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17114] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17114/stat : 17114 (java) S 17091 17094 15364 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 104827 33554432000 4194304 4196468 140724920030240 139919153387824 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
Current children cumulated CPU time (s) 7.66
Current children cumulated vsize (KiB) 13270076

[startup+6.30082 s]
/proc/loadavg: 1.26 1.30 1.38 3/281 17114
/proc/meminfo: memFree=29689452/32770624 swapFree=5940/259672
[pid=17094] ppid=17091 vsize=13270076 CPUtime=11.59 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 34553 0 0 0 1065 94 0 0 20 0 20 0 4527875 13588557824 177640 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 3317519 177640 3838 1 0 3305234 0
[pid=17094/tid=17095] ppid=17091 vsize=13270076 CPUtime=5.81 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) R 17091 17094 15364 0 -1 4202560 13385 0 0 0 569 12 0 0 20 0 20 0 4527876 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919704282808 139919323337580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17097] ppid=17091 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17097/stat : 17097 (java) S 17091 17094 15364 0 -1 1077944384 141 0 0 0 9 10 0 0 20 0 20 0 4527877 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919639009680 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17098] ppid=17091 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17098/stat : 17098 (java) S 17091 17094 15364 0 -1 1077944384 122 0 0 0 8 9 0 0 20 0 20 0 4527877 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919637956880 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17099] ppid=17091 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17099/stat : 17099 (java) S 17091 17094 15364 0 -1 1077944384 408 0 0 0 7 9 0 0 20 0 20 0 4527877 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919636904592 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17100] ppid=17091 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17100/stat : 17100 (java) S 17091 17094 15364 0 -1 1077944384 863 0 0 0 8 9 0 0 20 0 20 0 4527877 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919635851792 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17101] ppid=17091 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17101/stat : 17101 (java) S 17091 17094 15364 0 -1 1077944384 89 0 0 0 7 9 0 0 20 0 20 0 4527877 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919634799504 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17102] ppid=17091 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17102/stat : 17102 (java) S 17091 17094 15364 0 -1 1077944384 121 0 0 0 8 10 0 0 20 0 20 0 4527877 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919633746704 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17103] ppid=17091 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17103/stat : 17103 (java) S 17091 17094 15364 0 -1 1077944384 155 0 0 0 8 9 0 0 20 0 20 0 4527877 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919293373584 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17104] ppid=17091 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17104/stat : 17104 (java) S 17091 17094 15364 0 -1 1077944384 152 0 0 0 9 8 0 0 20 0 20 0 4527877 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919292320784 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17105] ppid=17091 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17105/stat : 17105 (java) S 17091 17094 15364 0 -1 1077944384 685 0 0 0 2 0 0 0 20 0 20 0 4527879 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919162861680 139919700056706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17106] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17106/stat : 17106 (java) S 17091 17094 15364 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919161807712 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17107] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17107/stat : 17107 (java) S 17091 17094 15364 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 177640 33554432000 4194304 4196468 140724920030240 139919160755328 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17108] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=17094/tid=17110] ppid=17091 vsize=13270076 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17110/stat : 17110 (java) S 17091 17094 15364 0 -1 1077944384 16719 0 0 0 170 2 0 0 20 0 20 0 4527884 13588557824 271537 33554432000 4194304 4196468 140724920030240 139919157598704 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17111] ppid=17091 vsize=13270076 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17111/stat : 17111 (java) S 17091 17094 15364 0 -1 1077944384 12537 0 0 0 185 1 0 0 20 0 20 0 4527884 13588557824 271537 33554432000 4194304 4196468 140724920030240 139919156546416 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17112] ppid=17091 vsize=13270076 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17112/stat : 17112 (java) S 17091 17094 15364 0 -1 1077944384 32404 0 0 0 109 3 0 0 20 0 20 0 4527884 13588557824 271537 33554432000 4194304 4196468 140724920030240 139919155493616 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17113] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17113/stat : 17113 (java) S 17091 17094 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 271537 33554432000 4194304 4196468 140724920030240 139919154440544 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17114] ppid=17091 vsize=13270076 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17114/stat : 17114 (java) S 17091 17094 15364 0 -1 1077944384 1350 0 0 0 60 58 0 0 20 0 20 0 4527884 13588557824 271537 33554432000 4194304 4196468 140724920030240 139919153387824 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
Current children cumulated CPU time (s) 2305.74
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.60 1.44 1.43 3/281 17276
/proc/meminfo: memFree=28566308/32770624 swapFree=5940/261628
[pid=17094] ppid=17091 vsize=13270076 CPUtime=2368.44 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 362632 0 0 0 236313 531 0 0 20 0 20 0 4527875 13588557824 273707 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 3317519 273707 3863 1 0 3305234 0
[pid=17094/tid=17095] ppid=17091 vsize=13270076 CPUtime=2240.8 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) R 17091 17094 15364 0 -1 4202560 112181 0 0 0 224006 74 0 0 20 0 20 0 4527876 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919704283360 139919323337584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17097] ppid=17091 vsize=13270076 CPUtime=14.54 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17097/stat : 17097 (java) S 17091 17094 15364 0 -1 1077944384 14658 0 0 0 1410 44 0 0 20 0 20 0 4527877 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919639009680 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17098] ppid=17091 vsize=13270076 CPUtime=14.55 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17098/stat : 17098 (java) S 17091 17094 15364 0 -1 1077944384 11335 0 0 0 1412 43 0 0 20 0 20 0 4527877 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919637956880 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17099] ppid=17091 vsize=13270076 CPUtime=14.43 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17099/stat : 17099 (java) S 17091 17094 15364 0 -1 1077944384 14966 0 0 0 1398 45 0 0 20 0 20 0 4527877 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919636904592 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17100] ppid=17091 vsize=13270076 CPUtime=14.61 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17100/stat : 17100 (java) S 17091 17094 15364 0 -1 1077944384 18664 0 0 0 1414 47 0 0 20 0 20 0 4527877 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919635851792 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17101] ppid=17091 vsize=13270076 CPUtime=14.75 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17101/stat : 17101 (java) S 17091 17094 15364 0 -1 1077944384 14001 0 0 0 1428 47 0 0 20 0 20 0 4527877 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919634799504 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17102] ppid=17091 vsize=13270076 CPUtime=14.56 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17102/stat : 17102 (java) S 17091 17094 15364 0 -1 1077944384 14832 0 0 0 1410 46 0 0 20 0 20 0 4527877 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919633746704 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17103] ppid=17091 vsize=13270076 CPUtime=14.58 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17103/stat : 17103 (java) S 17091 17094 15364 0 -1 1077944384 12910 0 0 0 1413 45 0 0 20 0 20 0 4527877 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919293373584 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17104] ppid=17091 vsize=13270076 CPUtime=14.54 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17104/stat : 17104 (java) S 17091 17094 15364 0 -1 1077944384 12130 0 0 0 1409 45 0 0 20 0 20 0 4527877 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919292320784 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17105] ppid=17091 vsize=13270076 CPUtime=2.88 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17105/stat : 17105 (java) S 17091 17094 15364 0 -1 1077944384 52808 0 0 0 236 52 0 0 20 0 20 0 4527879 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919162861680 139919700056706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17106] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17106/stat : 17106 (java) S 17091 17094 15364 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919161807712 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17107] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17107/stat : 17107 (java) S 17091 17094 15364 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919160755328 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17108] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17108/stat : 17108 (java) S 17091 17094 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919159703632 139919700064155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17109] ppid=17091 vsize=13270076 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17109/stat : 17109 (java) S 17091 17094 15364 0 -1 1077944384 19657 0 0 0 210 2 0 0 20 0 20 0 4527884 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919158651504 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17110] ppid=17091 vsize=13270076 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17110/stat : 17110 (java) S 17091 17094 15364 0 -1 1077944384 16721 0 0 0 170 2 0 0 20 0 20 0 4527884 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919157598704 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17111] ppid=17091 vsize=13270076 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17111/stat : 17111 (java) S 17091 17094 15364 0 -1 1077944384 12540 0 0 0 185 1 0 0 20 0 20 0 4527884 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919156546416 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17112] ppid=17091 vsize=13270076 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17112/stat : 17112 (java) S 17091 17094 15364 0 -1 1077944384 32406 0 0 0 109 3 0 0 20 0 20 0 4527884 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919155493616 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17113] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17113/stat : 17113 (java) S 17091 17094 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919154440544 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17114] ppid=17091 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17114/stat : 17114 (java) S 17091 17094 15364 0 -1 1077944384 1368 0 0 0 62 59 0 0 20 0 20 0 4527884 13588557824 273707 33554432000 4194304 4196468 140724920030240 139919153387824 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
Current children cumulated CPU time (s) 2368.44
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2292.51 s]
/proc/loadavg: 1.56 1.44 1.43 3/281 17276
/proc/meminfo: memFree=28523992/32770624 swapFree=5940/261636
[pid=17094] ppid=17091 vsize=13270076 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 364733 0 0 0 239456 546 0 0 20 0 20 0 4527875 13588557824 288487 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 3317519 288487 3863 1 0 3305234 0
[pid=17094/tid=17095] ppid=17091 vsize=13270076 CPUtime=2270.71 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) R 17091 17094 15364 0 -1 4202560 113349 0 0 0 226996 75 0 0 20 0 20 0 4527876 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919704283376 139919323111324 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17097] ppid=17091 vsize=13270076 CPUtime=14.74 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17097/stat : 17097 (java) S 17091 17094 15364 0 -1 1077944384 14731 0 0 0 1428 46 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919639009680 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17098] ppid=17091 vsize=13270076 CPUtime=14.75 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17098/stat : 17098 (java) S 17091 17094 15364 0 -1 1077944384 11543 0 0 0 1430 45 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919637956880 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17099] ppid=17091 vsize=13270076 CPUtime=14.63 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17099/stat : 17099 (java) S 17091 17094 15364 0 -1 1077944384 15033 0 0 0 1417 46 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919636904592 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17100] ppid=17091 vsize=13270076 CPUtime=14.79 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17100/stat : 17100 (java) S 17091 17094 15364 0 -1 1077944384 18719 0 0 0 1431 48 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919635851792 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17101] ppid=17091 vsize=13270076 CPUtime=14.95 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17101/stat : 17101 (java) S 17091 17094 15364 0 -1 1077944384 14063 0 0 0 1447 48 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919634799504 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17102] ppid=17091 vsize=13270076 CPUtime=14.77 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17102/stat : 17102 (java) S 17091 17094 15364 0 -1 1077944384 14870 0 0 0 1429 48 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919633746704 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17103] ppid=17091 vsize=13270076 CPUtime=14.8 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17103/stat : 17103 (java) S 17091 17094 15364 0 -1 1077944384 13022 0 0 0 1433 47 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919293373584 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17104] ppid=17091 vsize=13270076 CPUtime=14.72 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17104/stat : 17104 (java) S 17091 17094 15364 0 -1 1077944384 12204 0 0 0 1426 46 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919292320784 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17105] ppid=17091 vsize=13270076 CPUtime=2.92 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17105/stat : 17105 (java) S 17091 17094 15364 0 -1 1077944384 53026 0 0 0 239 53 0 0 20 0 20 0 4527879 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919162861680 139919700056706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17106] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17106/stat : 17106 (java) S 17091 17094 15364 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919161807712 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17107] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17107/stat : 17107 (java) S 17091 17094 15364 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919160755328 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17108] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17108/stat : 17108 (java) S 17091 17094 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919159703632 139919700064155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17109] ppid=17091 vsize=13270076 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17109/stat : 17109 (java) S 17091 17094 15364 0 -1 1077944384 19659 0 0 0 210 2 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919158651504 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17110] ppid=17091 vsize=13270076 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17110/stat : 17110 (java) S 17091 17094 15364 0 -1 1077944384 16723 0 0 0 170 2 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919157598704 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17111] ppid=17091 vsize=13270076 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17111/stat : 17111 (java) S 17091 17094 15364 0 -1 1077944384 12543 0 0 0 186 1 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919156546416 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17112] ppid=17091 vsize=13270076 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17112/stat : 17112 (java) S 17091 17094 15364 0 -1 1077944384 32408 0 0 0 110 3 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919155493616 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17113] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17113/stat : 17113 (java) S 17091 17094 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919154440544 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17114] ppid=17091 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17114/stat : 17114 (java) S 17091 17094 15364 0 -1 1077944384 1385 0 0 0 62 60 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919153387824 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076

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 17094 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2292.51 s]
/proc/loadavg: 1.56 1.44 1.43 3/281 17276
/proc/meminfo: memFree=28523992/32770624 swapFree=5940/261636
[pid=17094] ppid=17091 vsize=13270076 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/17094/stat : 17094 (java) S 17091 17094 15364 0 -1 1077944320 364733 0 0 0 239456 546 0 0 20 0 20 0 4527875 13588557824 288487 33554432000 4194304 4196468 140724920030240 140724920012784 139919700045559 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
/proc/17094/statm: 3317519 288487 3863 1 0 3305234 0
[pid=17094/tid=17095] ppid=17091 vsize=13270076 CPUtime=2270.71 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17095/stat : 17095 (java) R 17091 17094 15364 0 -1 4202560 113349 0 0 0 226996 75 0 0 20 0 20 0 4527876 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919704283376 139919323111324 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17097] ppid=17091 vsize=13270076 CPUtime=14.74 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17097/stat : 17097 (java) S 17091 17094 15364 0 -1 1077944384 14731 0 0 0 1428 46 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919639009680 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17098] ppid=17091 vsize=13270076 CPUtime=14.75 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17098/stat : 17098 (java) S 17091 17094 15364 0 -1 1077944384 11543 0 0 0 1430 45 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919637956880 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17099] ppid=17091 vsize=13270076 CPUtime=14.63 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17099/stat : 17099 (java) S 17091 17094 15364 0 -1 1077944384 15033 0 0 0 1417 46 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919636904592 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17100] ppid=17091 vsize=13270076 CPUtime=14.79 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17100/stat : 17100 (java) S 17091 17094 15364 0 -1 1077944384 18719 0 0 0 1431 48 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919635851792 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17101] ppid=17091 vsize=13270076 CPUtime=14.95 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17101/stat : 17101 (java) S 17091 17094 15364 0 -1 1077944384 14063 0 0 0 1447 48 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919634799504 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17102] ppid=17091 vsize=13270076 CPUtime=14.77 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17102/stat : 17102 (java) S 17091 17094 15364 0 -1 1077944384 14870 0 0 0 1429 48 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919633746704 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17103] ppid=17091 vsize=13270076 CPUtime=14.8 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17103/stat : 17103 (java) S 17091 17094 15364 0 -1 1077944384 13022 0 0 0 1433 47 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919293373584 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17104] ppid=17091 vsize=13270076 CPUtime=14.72 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17104/stat : 17104 (java) S 17091 17094 15364 0 -1 1077944384 12204 0 0 0 1426 46 0 0 20 0 20 0 4527877 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919292320784 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17105] ppid=17091 vsize=13270076 CPUtime=2.92 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17105/stat : 17105 (java) S 17091 17094 15364 0 -1 1077944384 53026 0 0 0 239 53 0 0 20 0 20 0 4527879 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919162861680 139919700056706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17106] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17106/stat : 17106 (java) S 17091 17094 15364 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919161807712 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17107] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17107/stat : 17107 (java) S 17091 17094 15364 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 4527880 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919160755328 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17108] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17108/stat : 17108 (java) S 17091 17094 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919159703632 139919700064155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17109] ppid=17091 vsize=13270076 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17109/stat : 17109 (java) S 17091 17094 15364 0 -1 1077944384 19659 0 0 0 210 2 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919158651504 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17110] ppid=17091 vsize=13270076 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17110/stat : 17110 (java) S 17091 17094 15364 0 -1 1077944384 16723 0 0 0 170 2 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919157598704 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17111] ppid=17091 vsize=13270076 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17111/stat : 17111 (java) S 17091 17094 15364 0 -1 1077944384 12543 0 0 0 186 1 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919156546416 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17112] ppid=17091 vsize=13270076 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17112/stat : 17112 (java) S 17091 17094 15364 0 -1 1077944384 32408 0 0 0 110 3 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919155493616 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17113] ppid=17091 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17113/stat : 17113 (java) S 17091 17094 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919154440544 139919700055765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
[pid=17094/tid=17114] ppid=17091 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/17094/task/17114/stat : 17114 (java) S 17091 17094 15364 0 -1 1077944384 1385 0 0 0 62 60 0 0 20 0 20 0 4527884 13588557824 288487 33554432000 4194304 4196468 140724920030240 139919153387824 139919700056706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 23609344 140724920034447 140724920034628 140724920034628 140724920037327 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2292.54
CPU time (s): 2400.06
CPU user time (s): 2394.59
CPU system time (s): 5.47344
CPU usage (%): 104.69
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.59
system time used= 5.47344
maximum resident set size= 3484696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158787
involuntary context switches= 143828

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.293 second user time and 20.5525 second system time

The end

Launcher Data

Begin job on node151 at 2017-07-22 05:03:50
IDJOB=4244741
IDBENCH=115885
IDSOLVER=2627
FILE ID=node151/4244741-1500692630
RUNJOBID= node151-1500683233-16019
PBS_JOBID= 20623037
Free space on /tmp= 61984 MiB

SOLVER NAME= OscaR - ALNS 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244741-1500692630/watcher-4244741-1500692630 -o /tmp/evaluation-result-4244741-1500692630/solver-4244741-1500692630 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500683233-16019 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1535814860 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244741-1500692630.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8
RANDOM SEED=1535814860

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30359716 kB
MemAvailable:   30621920 kB
Buffers:          111000 kB
Cached:           431960 kB
SwapCached:            0 kB
Active:          1701744 kB
Inactive:         268592 kB
Active(anon):    1430364 kB
Inactive(anon):     8664 kB
Active(file):     271380 kB
Inactive(file):   259928 kB
Unevictable:        5940 kB
Mlocked:            5972 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42172 kB
Writeback:             0 kB
AnonPages:       1437484 kB
Mapped:            45352 kB
Shmem:              8848 kB
Slab:             126508 kB
SReclaimable:      93464 kB
SUnreclaim:        33044 kB
KernelStack:        4432 kB
PageTables:         9192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2012888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1337344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61944 MiB
End job on node151 at 2017-07-22 05:42:03

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml
MD5SUM	e0f1e7fd363778103a4292aa9d177ae8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	297
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1379
Number of constraints	824
Number of domains	4
Minimum domain size	2
Maximum domain size	1353
Distribution of domain sizes	[{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}]
Minimum variable degree	1
Maximum variable degree	27
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	28
Distribution of constraint arities	[{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}]
Number of extensional constraints	672
Number of intensional constraints	121
Distribution of constraint types	[{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4244741

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