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 - Hybrid 2017-06-30	SAT (TO)	119	2400.18	2292.44

0.43/0.30	c version: 2017-06-30
0.43/0.30	c seed: 625325140
0.43/0.30	c timeout: 2400
0.43/0.30	c memlimit: 15500
0.43/0.30	c nbcore: 8
0.43/0.32	c Parsing instance...
1.72/0.90	c Parsing done, starting first complete search...
2.58/1.12	o 130
2.58/1.16	o 129
2.58/1.20	o 128
3.00/1.24	o 127
3.00/1.28	o 126
7.03/2.25	c First complete search done, starting ALNS search...
21.67/14.30	o 125
373.11/352.75	o 124
399.68/378.01	o 123
416.46/394.05	o 122
416.92/394.50	o 121
437.66/414.26	o 120
438.81/415.33	o 119
1757.81/1678.28	c ALNS done, starting second complete search
1757.81/1678.28	c Best operator: ValGuided(1073,MinVal)_ConfOrder(valLearnMin) with improvement of: 1
2400.10/2292.41	s SATISFIABLE
2400.10/2292.42	v <instantiation>
2400.10/2292.42	v 	<list>
2400.10/2292.42	v 		p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9]
2400.10/2292.42	v 	</list>
2400.10/2292.42	v 	<values>
2400.10/2292.42	v 		1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 1 0 4 1 0 0 0 0 0 1 0 0 4 1 0 0 0 0 0 1 0 0 4 0 1 1 0 0 0 0 0 0 4 0 1 1 0 0 0 0 0 0 4 0 1 1 0 0 0 0 0 0 4 0 1 1 0 0 0 0 0 0 4 0 1 0 0 1 0 0 0 0 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 6 0 0 0 0 0 1 0 1 0 3 0 3 0 0 1 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 1 0 6 0 0 2 0 1 0 0 1 0 6 0 0 2 0 1 0 0 0 7 0 0 0 0 0 1 0 0 0 7 0 0 0 0 0 1 0 0 0 3 4 0 0 1 0 1 0 0 0 3 4 0 0 1 0 1 0 0 0 3 4 0 0 1 0 1 0 0 0 3 4 0 0 1 0 1 0 0 0 3 4 0 0 1 0 1 0 0 0 3 4 0 0 1 0 1 0 0 0 3 4 0 0 1 0 1 0 0 0 3 2 0 0 10 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 3 0 4 0 2 0 1 0 0 0 0 3 4 1 0 0 1 0 0 0 0 3 4 1 0 0 1 0 0 0 0 3 4 1 0 0 1 0 0 0 0 3 4 1 0 0 1 0 0 0 0 2 5 1 0 0 1 0 0 0 0 2 0 6 3 0 1 0 0 0 0 2 0 6 3 0 1 0 0 0 0 2 0 6 3 0 1 0 0 0 0 2 0 6 3 0 1 0 0 0 0 2 0 6 3 0 1 0 0 0 0 2 0 6 3 0 1 0 0 0 0 2 0 6 3 0 1 0 0 0 0 0 0 9 1 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 6 0 0 1 0 0 0 0 0 0 6 0 0 1 0 0 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 0 3 0 0 0 0 18 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2400.10/2292.42	v 	</values>
2400.10/2292.42	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-4246177-1500701035/watcher-4246177-1500701035 -o /tmp/evaluation-result-4246177-1500701035/solver-4246177-1500701035 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500696956-15262 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 625325140 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246177-1500701035.xml 

pid=15723
running on 8 cores: 1,3,5,7,9,11,13,15

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: 2.09 1.97 1.92 3/262 15726
/proc/meminfo: memFree=27094880/32770624 swapFree=5800/295176
[pid=15726] ppid=15723 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 1978 0 0 0 0 0 0 0 20 0 2 0 5371305 10889764864 2187 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 2658634 2253 1188 1 0 2647545 0
[pid=15726/tid=15727] ppid=15723 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 825 0 0 0 0 0 0 0 20 0 2 0 5371306 10889764864 2385 33554432000 4194304 4196468 140734134716384 140155177224608 140155165271968 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0

[startup+0.100117 s]
/proc/loadavg: 2.09 1.97 1.92 3/262 15726
/proc/meminfo: memFree=27094880/32770624 swapFree=5800/295176
[pid=15726] ppid=15723 vsize=13261040 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 5810 0 0 0 9 1 0 0 20 0 20 0 5371305 13579304960 5597 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 3315260 5597 2623 1 0 3303698 0
[pid=15726/tid=15727] ppid=15723 vsize=13261040 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 3890 0 0 0 7 0 0 0 20 0 20 0 5371306 13579304960 5597 33554432000 4194304 4196468 140734134716384 140155177224800 140155173004445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13261040

[startup+0.200409 s]
/proc/loadavg: 2.09 1.97 1.92 3/262 15726
/proc/meminfo: memFree=27094880/32770624 swapFree=5800/295176
[pid=15726] ppid=15723 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 8927 0 0 0 25 2 0 0 20 0 20 0 5371305 13582245888 8966 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 3315978 8966 3560 1 0 3303698 0
[pid=15726/tid=15727] ppid=15723 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 6637 0 0 0 17 1 0 0 20 0 20 0 5371306 13582245888 8966 33554432000 4194304 4196468 140734134716384 140155177191824 140155157063006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912

[startup+0.300361 s]
/proc/loadavg: 2.09 1.97 1.92 3/262 15726
/proc/meminfo: memFree=27094880/32770624 swapFree=5800/295176
[pid=15726] ppid=15723 vsize=13263912 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 9981 0 0 0 40 3 0 0 20 0 20 0 5371305 13582245888 11256 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 3315978 11256 3645 1 0 3303698 0
[pid=15726/tid=15727] ppid=15723 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 7374 0 0 0 26 2 0 0 20 0 20 0 5371306 13582245888 11256 33554432000 4194304 4196468 140734134716384 140155177199056 140155173004445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912

[startup+0.700194 s]
/proc/loadavg: 2.09 1.97 1.92 3/262 15726
/proc/meminfo: memFree=27094880/32770624 swapFree=5800/295176
[pid=15726] ppid=15723 vsize=13265980 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 12641 0 0 0 126 5 0 0 20 0 20 0 5371305 13584363520 17976 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 3316495 17976 3766 1 0 3304210 0
[pid=15726/tid=15727] ppid=15723 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 8678 0 0 0 64 3 0 0 20 0 20 0 5371306 13584363520 17976 33554432000 4194304 4196468 140734134716384 140155177210880 140155157063006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 13265980

[startup+1.50109 s]
/proc/loadavg: 2.09 1.97 1.92 6/282 15746
/proc/meminfo: memFree=26971636/32770624 swapFree=5800/295208
[pid=15726] ppid=15723 vsize=13268028 CPUtime=4.16 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 29423 0 0 0 406 10 0 0 20 0 20 0 5371305 13586460672 50923 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 3317007 50923 3790 1 0 3304722 0
[pid=15726/tid=15727] ppid=15723 vsize=13268028 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 11124 0 0 0 141 5 0 0 20 0 20 0 5371306 13586460672 50923 33554432000 4194304 4196468 140734134716384 140155177217136 140154804432576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15729] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15729/stat : 15729 (java) S 15723 15726 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5371307 13586460672 50923 33554432000 4194304 4196468 140734134716384 140155125602704 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15730] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15730/stat : 15730 (java) S 15723 15726 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5371307 13586460672 50923 33554432000 4194304 4196468 140734134716384 140155124549904 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15731] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15731/stat : 15731 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371307 13586460672 50923 33554432000 4194304 4196468 140734134716384 140155123497616 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15732] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15732/stat : 15732 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371307 13586460672 50923 33554432000 4194304 4196468 140734134716384 140155122444816 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15733] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15733/stat : 15733 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371307 13586460672 50923 33554432000 4194304 4196468 140734134716384 140155121392528 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15734] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15734/stat : 15734 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371307 13586460672 50923 33554432000 4194304 4196468 140734134716384 140155120339728 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15735] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15735/stat : 15735 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371307 13586460672 50923 33554432000 4194304 4196468 140734134716384 140155119287440 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15736] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15736/stat : 15736 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371307 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154764721168 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15737] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15737/stat : 15737 (java) S 15723 15726 7621 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 5371308 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154636286064 140155172993666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15738] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15738/stat : 15738 (java) S 15723 15726 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5371309 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154635232032 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15739] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15739/stat : 15739 (java) S 15723 15726 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5371309 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154634179696 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15740] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15740/stat : 15740 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371313 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154633128016 140155173001115 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15741] ppid=15723 vsize=13268028 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15741/stat : 15741 (java) R 15723 15726 7621 0 -1 4202560 4729 0 0 0 71 1 0 0 20 0 20 0 5371313 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154632064480 140155173003866 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15742] ppid=15723 vsize=13268028 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15742/stat : 15742 (java) R 15723 15726 7621 0 -1 4202560 4854 0 0 0 67 0 0 0 20 0 20 0 5371313 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154631009112 140155153312274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15743] ppid=15723 vsize=13268028 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15743/stat : 15743 (java) R 15723 15726 7621 0 -1 4202560 4635 0 0 0 75 1 0 0 20 0 20 0 5371313 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154629950592 140155157375027 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15744] ppid=15723 vsize=13268028 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15744/stat : 15744 (java) S 15723 15726 7621 0 -1 1077944384 2707 0 0 0 48 0 0 0 20 0 20 0 5371313 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154628918000 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15745] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15745/stat : 15745 (java) S 15723 15726 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5371314 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154627864928 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15746] ppid=15723 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15746/stat : 15746 (java) S 15723 15726 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5371314 13586460672 50923 33554432000 4194304 4196468 140734134716384 140154626812208 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 13268028

[startup+3.10114 s]
/proc/loadavg: 2.09 1.97 1.92 6/282 15746
/proc/meminfo: memFree=26868828/32770624 swapFree=5800/295208
[pid=15726] ppid=15723 vsize=13270076 CPUtime=9.26 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 35980 0 0 0 900 26 0 0 20 0 20 0 5371305 13588557824 67857 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 3317519 67857 3825 1 0 3305234 0
[pid=15726/tid=15727] ppid=15723 vsize=13270076 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 12593 0 0 0 295 6 0 0 20 0 20 0 5371306 13588557824 67857 33554432000 4194304 4196468 140734134716384 140155177219664 140154805732596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15729] ppid=15723 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15729/stat : 15729 (java) S 15723 15726 7621 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 20 0 5371307 13588557824 67857 33554432000 4194304 4196468 140734134716384 140155125602704 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15730] ppid=15723 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15730/stat : 15730 (java) S 15723 15726 7621 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 20 0 5371307 13588557824 67857 33554432000 4194304 4196468 140734134716384 140155124549904 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15731] ppid=15723 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15731/stat : 15731 (java) S 15723 15726 7621 0 -1 1077944384 324 0 0 0 2 1 0 0 20 0 20 0 5371307 13588557824 67857 33554432000 4194304 4196468 140734134716384 140155123497616 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15732] ppid=15723 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15732/stat : 15732 (java) S 15723 15726 7621 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 20 0 5371307 13588557824 67857 33554432000 4194304 4196468 140734134716384 140155122444816 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15733] ppid=15723 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15733/stat : 15733 (java) S 15723 15726 7621 0 -1 1077944384 36 0 0 0 1 2 0 0 20 0 20 0 5371307 13588557824 67857 33554432000 4194304 4196468 140734134716384 140155121392528 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15734] ppid=15723 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15734/stat : 15734 (java) S 15723 15726 7621 0 -1 1077944384 90 0 0 0 2 1 0 0 20 0 20 0 5371307 13588557824 67857 33554432000 4194304 4196468 140734134716384 140155120339728 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15735] ppid=15723 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15735/stat : 15735 (java) S 15723 15726 7621 0 -1 1077944384 310 0 0 0 2 2 0 0 20 0 20 0 5371307 13588557824 67857 33554432000 4194304 4196468 140734134716384 140155119287440 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15736] ppid=15723 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15736/stat : 15736 (java) S 15723 15726 7621 0 -1 1077944384 63 0 0 0 1 2 0 0 20 0 20 0 5371307 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154764721168 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15737] ppid=15723 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15737/stat : 15737 (java) S 15723 15726 7621 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 5371308 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154636286064 140155172993666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15738] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15738/stat : 15738 (java) S 15723 15726 7621 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 5371309 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154635232096 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15739] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15739/stat : 15739 (java) S 15723 15726 7621 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 5371309 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154634179712 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15740] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15740/stat : 15740 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371313 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154633128016 140155173001115 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15741] ppid=15723 vsize=13270076 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15741/stat : 15741 (java) S 15723 15726 7621 0 -1 1077944384 5987 0 0 0 171 1 0 0 20 0 20 0 5371313 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154632075888 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15742] ppid=15723 vsize=13270076 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15742/stat : 15742 (java) S 15723 15726 7621 0 -1 1077944384 5791 0 0 0 173 1 0 0 20 0 20 0 5371313 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154631023088 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15743] ppid=15723 vsize=13270076 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15743/stat : 15743 (java) S 15723 15726 7621 0 -1 1077944384 5160 0 0 0 179 1 0 0 20 0 20 0 5371313 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154629970800 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15744] ppid=15723 vsize=13270076 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15744/stat : 15744 (java) S 15723 15726 7621 0 -1 1077944384 3817 0 0 0 62 1 0 0 20 0 20 0 5371313 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154628918000 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15745] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15745/stat : 15745 (java) S 15723 15726 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5371314 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154627864928 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15746] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15746/stat : 15746 (java) S 15723 15726 7621 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 5371314 13588557824 67857 33554432000 4194304 4196468 140734134716384 140154626812208 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
Current children cumulated CPU time (s) 9.26
Current children cumulated vsize (KiB) 13270076

[startup+6.30087 s]
/proc/loadavg: 2.00 1.96 1.92 6/282 15746
/proc/meminfo: memFree=26686060/32770624 swapFree=5800/295212
[pid=15726] ppid=15723 vsize=13270076 CPUtime=12.98 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 36999 0 0 0 1228 70 0 0 20 0 20 0 5371305 13588557824 163673 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 3317519 163673 3827 1 0 3305234 0
[pid=15726/tid=15727] ppid=15723 vsize=13270076 CPUtime=5.68 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 12762 0 0 0 558 10 0 0 20 0 20 0 5371306 13588557824 163673 33554432000 4194304 4196468 140734134716384 140155177220040 140154806322096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15729] ppid=15723 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15729/stat : 15729 (java) S 15723 15726 7621 0 -1 1077944384 102 0 0 0 5 6 0 0 20 0 20 0 5371307 13588557824 163673 33554432000 4194304 4196468 140734134716384 140155125602704 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15730] ppid=15723 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15730/stat : 15730 (java) S 15723 15726 7621 0 -1 1077944384 69 0 0 0 5 7 0 0 20 0 20 0 5371307 13588557824 163673 33554432000 4194304 4196468 140734134716384 140155124549904 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15731] ppid=15723 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15731/stat : 15731 (java) S 15723 15726 7621 0 -1 1077944384 362 0 0 0 6 6 0 0 20 0 20 0 5371307 13588557824 163673 33554432000 4194304 4196468 140734134716384 140155123497616 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15732] ppid=15723 vsize=13270076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15732/stat : 15732 (java) S 15723 15726 7621 0 -1 1077944384 55 0 0 0 4 5 0 0 20 0 20 0 5371307 13588557824 163673 33554432000 4194304 4196468 140734134716384 140155122444816 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15733] ppid=15723 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15733/stat : 15733 (java) S 15723 15726 7621 0 -1 1077944384 79 0 0 0 5 7 0 0 20 0 20 0 5371307 13588557824 163673 33554432000 4194304 4196468 140734134716384 140155121392528 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15734] ppid=15723 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15734/stat : 15734 (java) S 15723 15726 7621 0 -1 1077944384 130 0 0 0 5 7 0 0 20 0 20 0 5371307 13588557824 163673 33554432000 4194304 4196468 140734134716384 140155120339728 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15735] ppid=15723 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15735/stat : 15735 (java) S 15723 15726 7621 0 -1 1077944384 345 0 0 0 5 6 0 0 20 0 20 0 5371307 13588557824 163673 33554432000 4194304 4196468 140734134716384 140155119287440 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15736] ppid=15723 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15736/stat : 15736 (java) S 15723 15726 7621 0 -1 1077944384 111 0 0 0 5 6 0 0 20 0 20 0 5371307 13588557824 163673 33554432000 4194304 4196468 140734134716384 140154764721168 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15737] ppid=15723 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15737/stat : 15737 (java) S 15723 15726 7621 0 -1 1077944384 651 0 0 0 2 0 0 0 20 0 20 0 5371308 13588557824 163673 33554432000 4194304 4196468 140734134716384 140154636286064 140155172993666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15738] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15738/stat : 15738 (java) S 15723 15726 7621 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 5371309 13588557824 163673 33554432000 4194304 4196468 140734134716384 140154635232096 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15739] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15739/stat : 15739 (java) S 15723 15726 7621 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 5371309 13588557824 163673 33554432000 4194304 4196468 140734134716384 140154634179712 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15740] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

/proc/15726/task/15742/stat : 15742 (java) S 15723 15726 7621 0 -1 1077944384 17095 0 0 0 254 2 0 0 20 0 20 0 5371313 13588557824 232018 33554432000 4194304 4196468 140734134716384 140154631023088 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15743] ppid=15723 vsize=13270076 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15743/stat : 15743 (java) S 15723 15726 7621 0 -1 1077944384 22710 0 0 0 296 3 0 0 20 0 20 0 5371313 13588557824 232018 33554432000 4194304 4196468 140734134716384 140154629970800 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15744] ppid=15723 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15744/stat : 15744 (java) S 15723 15726 7621 0 -1 1077944384 25090 0 0 0 92 3 0 0 20 0 20 0 5371313 13588557824 232018 33554432000 4194304 4196468 140734134716384 140154628918000 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15745] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15745/stat : 15745 (java) S 15723 15726 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5371314 13588557824 232018 33554432000 4194304 4196468 140734134716384 140154627864928 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15746] ppid=15723 vsize=13270076 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15746/stat : 15746 (java) S 15723 15726 7621 0 -1 1077944384 1698 0 0 0 56 65 0 0 20 0 20 0 5371314 13588557824 232018 33554432000 4194304 4196468 140734134716384 140154626812208 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
Current children cumulated CPU time (s) 2243.39
Current children cumulated vsize (KiB) 13270076

[startup+2202.31 s]
/proc/loadavg: 1.57 1.59 1.64 4/281 15904
/proc/meminfo: memFree=28931392/32770624 swapFree=5800/297428
[pid=15726] ppid=15723 vsize=13270076 CPUtime=2305.98 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 330897 0 0 0 229979 619 0 0 20 0 20 0 5371305 13588557824 232564 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 3317519 232564 3858 1 0 3305234 0
[pid=15726/tid=15727] ppid=15723 vsize=13270076 CPUtime=2181.86 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 102864 0 0 0 218125 61 0 0 20 0 20 0 5371306 13588557824 232564 33554432000 4194304 4196468 140734134716384 140155177220752 140154806899115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15729] ppid=15723 vsize=13270076 CPUtime=13.81 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15729/stat : 15729 (java) S 15723 15726 7621 0 -1 1077944384 13356 0 0 0 1327 54 0 0 20 0 20 0 5371307 13588557824 232564 33554432000 4194304 4196468 140734134716384 140155125602704 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15730] ppid=15723 vsize=13270076 CPUtime=13.79 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15730/stat : 15730 (java) S 15723 15726 7621 0 -1 1077944384 11121 0 0 0 1324 55 0 0 20 0 20 0 5371307 13588557824 232564 33554432000 4194304 4196468 140734134716384 140155124549904 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15731] ppid=15723 vsize=13270076 CPUtime=13.74 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15731/stat : 15731 (java) S 15723 15726 7621 0 -1 1077944384 12786 0 0 0 1317 57 0 0 20 0 20 0 5371307 13588557824 232564 33554432000 4194304 4196468 140734134716384 140155123497616 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15732] ppid=15723 vsize=13270076 CPUtime=13.8 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15732/stat : 15732 (java) S 15723 15726 7621 0 -1 1077944384 12051 0 0 0 1325 55 0 0 20 0 20 0 5371307 13588557824 232564 33554432000 4194304 4196468 140734134716384 140155122444816 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15733] ppid=15723 vsize=13270076 CPUtime=13.83 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15733/stat : 15733 (java) S 15723 15726 7621 0 -1 1077944384 11893 0 0 0 1325 58 0 0 20 0 20 0 5371307 13588557824 232564 33554432000 4194304 4196468 140734134716384 140155121392528 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15734] ppid=15723 vsize=13270076 CPUtime=13.8 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15734/stat : 15734 (java) S 15723 15726 7621 0 -1 1077944384 13289 0 0 0 1322 58 0 0 20 0 20 0 5371307 13588557824 232564 33554432000 4194304 4196468 140734134716384 140155120339728 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15735] ppid=15723 vsize=13270076 CPUtime=13.78 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15735/stat : 15735 (java) S 15723 15726 7621 0 -1 1077944384 13178 0 0 0 1324 54 0 0 20 0 20 0 5371307 13588557824 232564 33554432000 4194304 4196468 140734134716384 140155119287440 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15736] ppid=15723 vsize=13270076 CPUtime=13.86 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15736/stat : 15736 (java) S 15723 15726 7621 0 -1 1077944384 13039 0 0 0 1330 56 0 0 20 0 20 0 5371307 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154764721168 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15737] ppid=15723 vsize=13270076 CPUtime=2.68 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15737/stat : 15737 (java) S 15723 15726 7621 0 -1 1077944384 39098 0 0 0 213 55 0 0 20 0 20 0 5371308 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154636286064 140155172993666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15738] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15738/stat : 15738 (java) S 15723 15726 7621 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 5371309 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154635232096 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15739] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15739/stat : 15739 (java) S 15723 15726 7621 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 5371309 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154634179712 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15740] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15740/stat : 15740 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371313 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154633128016 140155173001115 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15741] ppid=15723 vsize=13270076 CPUtime=3.1 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15741/stat : 15741 (java) S 15723 15726 7621 0 -1 1077944384 20138 0 0 0 307 3 0 0 20 0 20 0 5371313 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154632075888 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15742] ppid=15723 vsize=13270076 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15742/stat : 15742 (java) S 15723 15726 7621 0 -1 1077944384 17097 0 0 0 254 2 0 0 20 0 20 0 5371313 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154631023088 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15743] ppid=15723 vsize=13270076 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15743/stat : 15743 (java) S 15723 15726 7621 0 -1 1077944384 22712 0 0 0 296 3 0 0 20 0 20 0 5371313 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154629970800 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15744] ppid=15723 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15744/stat : 15744 (java) S 15723 15726 7621 0 -1 1077944384 25092 0 0 0 92 3 0 0 20 0 20 0 5371313 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154628918000 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15745] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15745/stat : 15745 (java) S 15723 15726 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5371314 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154627864928 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15746] ppid=15723 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15746/stat : 15746 (java) S 15723 15726 7621 0 -1 1077944384 1713 0 0 0 58 67 0 0 20 0 20 0 5371314 13588557824 232564 33554432000 4194304 4196468 140734134716384 140154626812208 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 51 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
Current children cumulated CPU time (s) 2305.98
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.50 1.58 1.63 3/282 15928
/proc/meminfo: memFree=29027848/32770624 swapFree=5800/297480
[pid=15726] ppid=15723 vsize=13270076 CPUtime=2368.71 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 335767 0 0 0 236233 638 0 0 20 0 20 0 5371305 13588557824 241299 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 3317519 241299 3858 1 0 3305234 0
[pid=15726/tid=15727] ppid=15723 vsize=13270076 CPUtime=2241.28 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 106096 0 0 0 224065 63 0 0 20 0 20 0 5371306 13588557824 241299 33554432000 4194304 4196468 140734134716384 140155177220752 140154806899736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15729] ppid=15723 vsize=13270076 CPUtime=14.22 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15729/stat : 15729 (java) S 15723 15726 7621 0 -1 1077944384 13525 0 0 0 1366 56 0 0 20 0 20 0 5371307 13588557824 241299 33554432000 4194304 4196468 140734134716384 140155125602704 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15730] ppid=15723 vsize=13270076 CPUtime=14.19 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15730/stat : 15730 (java) S 15723 15726 7621 0 -1 1077944384 11264 0 0 0 1362 57 0 0 20 0 20 0 5371307 13588557824 241299 33554432000 4194304 4196468 140734134716384 140155124549904 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15731] ppid=15723 vsize=13270076 CPUtime=14.15 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15731/stat : 15731 (java) S 15723 15726 7621 0 -1 1077944384 13010 0 0 0 1356 59 0 0 20 0 20 0 5371307 13588557824 241299 33554432000 4194304 4196468 140734134716384 140155123497616 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15732] ppid=15723 vsize=13270076 CPUtime=14.2 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15732/stat : 15732 (java) S 15723 15726 7621 0 -1 1077944384 12263 0 0 0 1363 57 0 0 20 0 20 0 5371307 13588557824 241299 33554432000 4194304 4196468 140734134716384 140155122444816 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15733] ppid=15723 vsize=13270076 CPUtime=14.24 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15733/stat : 15733 (java) S 15723 15726 7621 0 -1 1077944384 12088 0 0 0 1364 60 0 0 20 0 20 0 5371307 13588557824 241299 33554432000 4194304 4196468 140734134716384 140155121392528 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15734] ppid=15723 vsize=13270076 CPUtime=14.21 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15734/stat : 15734 (java) S 15723 15726 7621 0 -1 1077944384 13421 0 0 0 1361 60 0 0 20 0 20 0 5371307 13588557824 241299 33554432000 4194304 4196468 140734134716384 140155120339728 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15735] ppid=15723 vsize=13270076 CPUtime=14.16 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15735/stat : 15735 (java) S 15723 15726 7621 0 -1 1077944384 13306 0 0 0 1360 56 0 0 20 0 20 0 5371307 13588557824 241299 33554432000 4194304 4196468 140734134716384 140155119287440 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15736] ppid=15723 vsize=13270076 CPUtime=14.27 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15736/stat : 15736 (java) S 15723 15726 7621 0 -1 1077944384 13201 0 0 0 1369 58 0 0 20 0 20 0 5371307 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154764721168 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15737] ppid=15723 vsize=13270076 CPUtime=2.76 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15737/stat : 15737 (java) S 15723 15726 7621 0 -1 1077944384 39348 0 0 0 219 57 0 0 20 0 20 0 5371308 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154636286064 140155172993666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15738] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15738/stat : 15738 (java) S 15723 15726 7621 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 5371309 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154635232096 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15739] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15739/stat : 15739 (java) S 15723 15726 7621 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 5371309 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154634179712 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15740] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15740/stat : 15740 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371313 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154633128016 140155173001115 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15741] ppid=15723 vsize=13270076 CPUtime=3.1 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15741/stat : 15741 (java) S 15723 15726 7621 0 -1 1077944384 20140 0 0 0 307 3 0 0 20 0 20 0 5371313 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154632075888 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15742] ppid=15723 vsize=13270076 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15742/stat : 15742 (java) S 15723 15726 7621 0 -1 1077944384 17099 0 0 0 254 2 0 0 20 0 20 0 5371313 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154631023088 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15743] ppid=15723 vsize=13270076 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15743/stat : 15743 (java) S 15723 15726 7621 0 -1 1077944384 22714 0 0 0 296 3 0 0 20 0 20 0 5371313 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154629970800 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15744] ppid=15723 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15744/stat : 15744 (java) S 15723 15726 7621 0 -1 1077944384 25094 0 0 0 92 3 0 0 20 0 20 0 5371313 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154628918000 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15745] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15745/stat : 15745 (java) S 15723 15726 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5371314 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154627864928 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15746] ppid=15723 vsize=13270076 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15746/stat : 15746 (java) S 15723 15726 7621 0 -1 1077944384 1728 0 0 0 60 69 0 0 20 0 20 0 5371314 13588557824 241299 33554432000 4194304 4196468 140734134716384 140154626812208 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 51 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
Current children cumulated CPU time (s) 2368.71
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2292.4 s]
/proc/loadavg: 1.29 1.52 1.61 3/282 15929
/proc/meminfo: memFree=29081496/32770624 swapFree=5800/297516
[pid=15726] ppid=15723 vsize=13270076 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/15726/stat : 15726 (java) S 15723 15726 7621 0 -1 1077944320 339220 0 0 0 239366 644 0 0 20 0 20 0 5371305 13588557824 241889 33554432000 4194304 4196468 140734134716384 140734134698928 140155172982519 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
/proc/15726/statm: 3317519 241889 3858 1 0 3305234 0
[pid=15726/tid=15727] ppid=15723 vsize=13270076 CPUtime=2271.12 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15727/stat : 15727 (java) R 15723 15726 7621 0 -1 4202560 108984 0 0 0 227048 64 0 0 20 0 20 0 5371306 13588557824 241889 33554432000 4194304 4196468 140734134716384 140155177220752 140154803908995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15729] ppid=15723 vsize=13270076 CPUtime=14.38 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15729/stat : 15729 (java) S 15723 15726 7621 0 -1 1077944384 13543 0 0 0 1382 56 0 0 20 0 20 0 5371307 13588557824 241889 33554432000 4194304 4196468 140734134716384 140155125602704 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15730] ppid=15723 vsize=13270076 CPUtime=14.36 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15730/stat : 15730 (java) S 15723 15726 7621 0 -1 1077944384 11282 0 0 0 1379 57 0 0 20 0 20 0 5371307 13588557824 241889 33554432000 4194304 4196468 140734134716384 140155124549904 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15731] ppid=15723 vsize=13270076 CPUtime=14.34 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15731/stat : 15731 (java) S 15723 15726 7621 0 -1 1077944384 13022 0 0 0 1375 59 0 0 20 0 20 0 5371307 13588557824 241889 33554432000 4194304 4196468 140734134716384 140155123497616 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15732] ppid=15723 vsize=13270076 CPUtime=14.39 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15732/stat : 15732 (java) S 15723 15726 7621 0 -1 1077944384 12329 0 0 0 1382 57 0 0 20 0 20 0 5371307 13588557824 241889 33554432000 4194304 4196468 140734134716384 140155122444816 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15733] ppid=15723 vsize=13270076 CPUtime=14.45 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15733/stat : 15733 (java) S 15723 15726 7621 0 -1 1077944384 12283 0 0 0 1385 60 0 0 20 0 20 0 5371307 13588557824 241889 33554432000 4194304 4196468 140734134716384 140155121392528 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15734] ppid=15723 vsize=13270076 CPUtime=14.39 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15734/stat : 15734 (java) S 15723 15726 7621 0 -1 1077944384 13434 0 0 0 1379 60 0 0 20 0 20 0 5371307 13588557824 241889 33554432000 4194304 4196468 140734134716384 140155120339728 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15735] ppid=15723 vsize=13270076 CPUtime=14.34 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15735/stat : 15735 (java) S 15723 15726 7621 0 -1 1077944384 13316 0 0 0 1378 56 0 0 20 0 20 0 5371307 13588557824 241889 33554432000 4194304 4196468 140734134716384 140155119287440 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15736] ppid=15723 vsize=13270076 CPUtime=14.47 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15736/stat : 15736 (java) S 15723 15726 7621 0 -1 1077944384 13227 0 0 0 1389 58 0 0 20 0 20 0 5371307 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154764721168 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15737] ppid=15723 vsize=13270076 CPUtime=2.78 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15737/stat : 15737 (java) S 15723 15726 7621 0 -1 1077944384 39534 0 0 0 221 57 0 0 20 0 20 0 5371308 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154636286064 140155172993666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15738] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15738/stat : 15738 (java) S 15723 15726 7621 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 5371309 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154635232096 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15739] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15739/stat : 15739 (java) S 15723 15726 7621 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 5371309 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154634179712 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15740] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15740/stat : 15740 (java) S 15723 15726 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5371313 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154633128016 140155173001115 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15741] ppid=15723 vsize=13270076 CPUtime=3.1 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15741/stat : 15741 (java) S 15723 15726 7621 0 -1 1077944384 20142 0 0 0 307 3 0 0 20 0 20 0 5371313 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154632075888 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15742] ppid=15723 vsize=13270076 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15742/stat : 15742 (java) S 15723 15726 7621 0 -1 1077944384 17101 0 0 0 254 2 0 0 20 0 20 0 5371313 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154631023088 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15743] ppid=15723 vsize=13270076 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15743/stat : 15743 (java) S 15723 15726 7621 0 -1 1077944384 22716 0 0 0 296 3 0 0 20 0 20 0 5371313 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154629970800 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15744] ppid=15723 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15744/stat : 15744 (java) S 15723 15726 7621 0 -1 1077944384 25096 0 0 0 92 3 0 0 20 0 20 0 5371313 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154628918000 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15745] ppid=15723 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15745/stat : 15745 (java) S 15723 15726 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5371314 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154627864928 140155172992725 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
[pid=15726/tid=15746] ppid=15723 vsize=13270076 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/15726/task/15746/stat : 15746 (java) S 15723 15726 7621 0 -1 1077944384 1741 0 0 0 60 70 0 0 20 0 20 0 5371314 13588557824 241889 33554432000 4194304 4196468 140734134716384 140154626812208 140155172993666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 51 0 0 6293624 6294260 35020800 140734134723726 140734134723908 140734134723908 140734134726607 0
Current children cumulated CPU time (s) 2400.1
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 15726 sig 9
??? kill -15726 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2292.44
CPU time (s): 2400.18
CPU user time (s): 2393.73
CPU system time (s): 6.45169
CPU usage (%): 104.7
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.73
system time used= 6.45169
maximum resident set size= 2761776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150339
involuntary context switches= 139997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5421 second user time and 22.3157 second system time

The end

Launcher Data

Begin job on node124 at 2017-07-22 07:23:55
IDJOB=4246177
IDBENCH=124211
IDSOLVER=2629
FILE ID=node124/4246177-1500701035
RUNJOBID= node124-1500696956-15262
PBS_JOBID= 20623343
Free space on /tmp= 61968 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-6.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246177-1500701035/watcher-4246177-1500701035 -o /tmp/evaluation-result-4246177-1500701035/solver-4246177-1500701035 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500696956-15262 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 625325140 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246177-1500701035.xml

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

MD5SUM BENCH= d01afa5e20b7ebab190e76d647c74323
RANDOM SEED=625325140

node124.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		: 1600.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.16
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	: 5332.55
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		: 2668.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.16
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		: 1600.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	: 5332.55
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		: 1600.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.16
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		: 2000.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	: 5332.55
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.16
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		: 2400.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	: 5332.55
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		: 2533.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.16
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	: 5332.55
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		: 2668.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.16
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		: 1867.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	: 5332.55
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		: 2668.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.16
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		: 2133.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	: 5332.55
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		: 1600.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.16
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27095284 kB
MemAvailable:   27381324 kB
Buffers:          122240 kB
Cached:           445348 kB
SwapCached:            0 kB
Active:          4930068 kB
Inactive:         303920 kB
Active(anon):    4669504 kB
Inactive(anon):     8744 kB
Active(file):     260564 kB
Inactive(file):   295176 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42148 kB
Writeback:             0 kB
AnonPages:       4672080 kB
Mapped:            44952 kB
Shmem:              8840 kB
Slab:             126344 kB
SReclaimable:      92268 kB
SUnreclaim:        34076 kB
KernelStack:        4512 kB
PageTables:        14248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6051648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4524032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61928 MiB
End job on node124 at 2017-07-22 08:02:08

Name	Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml
MD5SUM	d01afa5e20b7ebab190e76d647c74323
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	118
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1430
Number of constraints	142
Number of domains	11
Minimum domain size	2
Maximum domain size	132
Distribution of domain sizes	[{"size":2,"count":130},{"size":71,"count":130},{"size":73,"count":130},{"size":88,"count":130},{"size":93,"count":130},{"size":104,"count":130},{"size":109,"count":130},{"size":111,"count":130},{"size":112,"count":130},{"size":117,"count":130},{"size":132,"count":130}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":1430}]
Minimum constraint arity	11
Maximum constraint arity	1300
Distribution of constraint arities	[{"arity":11,"count":130},{"arity":130,"count":11},{"arity":1300,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":140}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4246177

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