Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 126 | 2400.13 | 2345.33 |
| 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 |
0.42/0.31 c version: 2017-06-30 0.42/0.31 c seed: 1460177272 0.42/0.31 c timeout: 2400 0.42/0.31 c memlimit: 15500 0.42/0.31 c nbcore: 8 0.42/0.33 c Parsing instance... 1.71/0.90 c Parsing done, starting search... 2.57/1.15 o 130 2.57/1.18 o 129 2.99/1.22 o 128 2.99/1.26 o 127 2.99/1.30 o 126 2400.09/2345.30 s SATISFIABLE 2400.09/2345.31 v <instantiation> 2400.09/2345.31 v <list> 2400.09/2345.31 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.09/2345.31 v </list> 2400.09/2345.31 v <values> 2400.09/2345.31 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 1 1 1 1 1 1 1 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 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 3 2 1 0 0 0 0 0 0 0 0 1 0 5 1 0 0 0 0 0 0 1 0 5 1 0 0 0 0 0 0 1 0 2 4 0 0 0 1 0 0 1 0 2 4 0 0 0 1 0 0 1 0 2 4 0 0 0 1 0 0 1 0 2 4 0 0 0 1 0 0 1 0 2 3 0 0 0 1 0 0 1 0 2 3 0 0 0 1 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 1 0 2 2 0 0 0 3 2 0 1 0 2 2 0 0 0 3 2 0 1 0 2 1 2 2 0 0 0 0 1 0 2 1 2 2 0 0 0 0 1 0 2 1 2 2 0 0 0 0 1 0 0 7 0 0 0 0 0 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 5 0 3 0 1 0 0 1 1 0 0 6 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 3 2 0 2 0 1 0 0 1 0 3 1 0 1 0 1 0 0 1 0 3 1 0 1 0 1 0 0 1 0 3 0 0 1 0 1 0 0 1 0 3 0 0 1 0 1 0 0 1 0 3 0 0 1 0 1 0 0 1 0 3 0 0 0 0 1 0 0 1 0 3 0 0 0 0 1 0 0 1 0 2 4 0 0 0 1 0 0 1 0 2 1 0 1 0 1 0 0 1 0 2 1 0 0 0 1 0 0 1 0 2 0 5 2 0 1 0 0 1 0 2 0 5 2 0 1 0 0 1 0 2 0 5 2 0 1 0 0 1 0 2 0 5 2 0 1 0 0 1 0 2 0 5 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 3 2 0 1 0 0 1 0 2 0 1 0 0 1 0 0 1 0 0 0 6 7 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 1 0 0 5 2 0 0 0 0 0 0 0 0 5 2 0 0 0 0 0 0 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 4 0 0 0 0 0 1 0 0 3 0 4 0 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 3 0 0 4 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2400.09/2345.31 v </values> 2400.09/2345.31 v </instantiation>
OK 126
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-4246176-1500707101/watcher-4246176-1500707101 -o /tmp/evaluation-result-4246176-1500707101/solver-4246176-1500707101 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500682654-14431 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1460177272 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246176-1500707101.xml pid=18097 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.02 2.01 1.89 3/263 18100 /proc/meminfo: memFree=28370952/32770624 swapFree=5912/259564 [pid=18100] ppid=18097 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 5975167 369864704 1924 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 90299 1924 1072 1 0 79210 0 [pid=18100/tid=18101] ppid=18097 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) S 18097 18100 14399 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 5975168 369864704 1924 33554432000 4194304 4196468 140727379459536 140400025467296 140400021236354 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [startup+0.1001 s] /proc/loadavg: 2.02 2.01 1.89 3/263 18100 /proc/meminfo: memFree=28370952/32770624 swapFree=5912/259564 [pid=18100] ppid=18097 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 5518 0 0 0 8 1 0 0 20 0 20 0 5975167 13582725120 6603 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 3316095 6603 3306 1 0 3303815 0 [pid=18100/tid=18101] ppid=18097 vsize=13264380 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) R 18097 18100 14399 0 -1 4202560 3595 0 0 0 7 0 0 0 20 0 20 0 5975168 13582725120 6603 33554432000 4194304 4196468 140727379459536 140400025467488 140400021247133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13264380 [startup+0.200405 s] /proc/loadavg: 2.02 2.01 1.89 3/263 18100 /proc/meminfo: memFree=28370952/32770624 swapFree=5912/259564 [pid=18100] ppid=18097 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 8610 0 0 0 24 2 0 0 20 0 20 0 5975167 13582245888 9161 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 3315978 9161 3569 1 0 3303698 0 [pid=18100/tid=18101] ppid=18097 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) R 18097 18100 14399 0 -1 4202560 6341 0 0 0 17 1 0 0 20 0 20 0 5975168 13582245888 9161 33554432000 4194304 4196468 140727379459536 140400025422224 140400004412016 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300405 s] /proc/loadavg: 2.02 2.01 1.89 3/263 18100 /proc/meminfo: memFree=28370952/32770624 swapFree=5912/259564 [pid=18100] ppid=18097 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 9579 0 0 0 40 2 0 0 20 0 20 0 5975167 13582245888 10834 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 3315978 10834 3630 1 0 3303698 0 [pid=18100/tid=18101] ppid=18097 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) R 18097 18100 14399 0 -1 4202560 7054 0 0 0 25 2 0 0 20 0 20 0 5975168 13582245888 10834 33554432000 4194304 4196468 140727379459536 140400025448544 140399613222292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.700299 s] /proc/loadavg: 2.02 2.01 1.89 3/263 18100 /proc/meminfo: memFree=28370952/32770624 swapFree=5912/259564 [pid=18100] ppid=18097 vsize=13265980 CPUtime=1.31 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 12015 0 0 0 127 4 0 0 20 0 20 0 5975167 13584363520 17812 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 3316495 17812 3765 1 0 3304210 0 [pid=18100/tid=18101] ppid=18097 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) R 18097 18100 14399 0 -1 4202560 8196 0 0 0 64 3 0 0 20 0 20 0 5975168 13584363520 17812 33554432000 4194304 4196468 140727379459536 140400025453712 140399612141491 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 13265980 [startup+1.50122 s] /proc/loadavg: 2.02 2.01 1.89 6/283 18120 /proc/meminfo: memFree=28246712/32770624 swapFree=5912/259912 [pid=18100] ppid=18097 vsize=13268028 CPUtime=4.15 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 29719 0 0 0 405 10 0 0 20 0 20 0 5975167 13586460672 51153 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 3317007 51153 3787 1 0 3304722 0 [pid=18100/tid=18101] ppid=18097 vsize=13268028 CPUtime=1.47 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) R 18097 18100 14399 0 -1 4202560 10517 0 0 0 141 6 0 0 20 0 20 0 5975168 13586460672 51153 33554432000 4194304 4196468 140727379459536 140400025461416 140399617293400 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18103] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18103/stat : 18103 (java) S 18097 18100 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399939705488 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18104] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18104/stat : 18104 (java) S 18097 18100 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399938652688 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18105] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18105/stat : 18105 (java) S 18097 18100 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399937599888 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18106] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18106/stat : 18106 (java) S 18097 18100 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399936547088 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18107] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18107/stat : 18107 (java) S 18097 18100 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399935495312 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18108] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18108/stat : 18108 (java) S 18097 18100 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399934442512 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18109] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18109/stat : 18109 (java) S 18097 18100 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399933389712 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18110] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18110/stat : 18110 (java) S 18097 18100 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399932336912 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18111] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18111/stat : 18111 (java) S 18097 18100 14399 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 5975171 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399484471664 140400021236354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18112] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18112/stat : 18112 (java) S 18097 18100 14399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399483417632 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18113] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18113/stat : 18113 (java) S 18097 18100 14399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399482364784 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18114] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18114/stat : 18114 (java) S 18097 18100 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399481313104 140400021243803 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18115] ppid=18097 vsize=13268028 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18115/stat : 18115 (java) R 18097 18100 14399 0 -1 4202560 5239 0 0 0 68 1 0 0 20 0 20 0 5975176 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399480242896 140400007280475 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18116] ppid=18097 vsize=13268028 CPUtime=0.72 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18116/stat : 18116 (java) R 18097 18100 14399 0 -1 4202560 4744 0 0 0 71 1 0 0 20 0 20 0 5975176 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399479194712 140400005615067 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18117] ppid=18097 vsize=13268028 CPUtime=0.73 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18117/stat : 18117 (java) R 18097 18100 14399 0 -1 4202560 5068 0 0 0 73 0 0 0 20 0 20 0 5975176 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399478142112 140400014322083 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18118] ppid=18097 vsize=13268028 CPUtime=0.49 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18118/stat : 18118 (java) S 18097 18100 14399 0 -1 1077944384 2743 0 0 0 49 0 0 0 20 0 20 0 5975176 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399477103088 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18119] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18119/stat : 18119 (java) S 18097 18100 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399476050528 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18120] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18120/stat : 18120 (java) S 18097 18100 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 51153 33554432000 4194304 4196468 140727379459536 140399474997808 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 Current children cumulated CPU time (s) 4.15 Current children cumulated vsize (KiB) 13268028 [startup+3.10118 s] /proc/loadavg: 2.02 2.01 1.89 6/283 18120 /proc/meminfo: memFree=28142136/32770624 swapFree=5912/259912 [pid=18100] ppid=18097 vsize=13268028 CPUtime=8.47 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 34315 0 0 0 834 13 0 0 20 0 20 0 5975167 13586460672 63036 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 3317007 63036 3814 1 0 3304722 0 [pid=18100/tid=18101] ppid=18097 vsize=13268028 CPUtime=3.04 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) R 18097 18100 14399 0 -1 4202560 10966 0 0 0 298 6 0 0 20 0 20 0 5975168 13586460672 63036 33554432000 4194304 4196468 140727379459536 140400025463336 140399617069295 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18103] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18103/stat : 18103 (java) S 18097 18100 14399 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399939705488 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18104] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18104/stat : 18104 (java) S 18097 18100 14399 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399938652688 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18105] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18105/stat : 18105 (java) S 18097 18100 14399 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399937599888 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18106] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18106/stat : 18106 (java) S 18097 18100 14399 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399936547088 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18107] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18107/stat : 18107 (java) S 18097 18100 14399 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399935495312 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18108] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18108/stat : 18108 (java) S 18097 18100 14399 0 -1 1077944384 773 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399934442512 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18109] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18109/stat : 18109 (java) S 18097 18100 14399 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399933389712 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18110] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18110/stat : 18110 (java) S 18097 18100 14399 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 5975169 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399932336912 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18111] ppid=18097 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18111/stat : 18111 (java) S 18097 18100 14399 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 5975171 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399484471664 140400021236354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18112] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18112/stat : 18112 (java) S 18097 18100 14399 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399483417696 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18113] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18113/stat : 18113 (java) S 18097 18100 14399 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399482364800 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18114] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18114/stat : 18114 (java) S 18097 18100 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399481313104 140400021243803 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18115] ppid=18097 vsize=13268028 CPUtime=1.53 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18115/stat : 18115 (java) S 18097 18100 14399 0 -1 1077944384 6001 0 0 0 152 1 0 0 20 0 20 0 5975176 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399480261488 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18116] ppid=18097 vsize=13268028 CPUtime=1.61 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18116/stat : 18116 (java) S 18097 18100 14399 0 -1 1077944384 5364 0 0 0 160 1 0 0 20 0 20 0 5975176 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399479208688 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18117] ppid=18097 vsize=13268028 CPUtime=1.63 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18117/stat : 18117 (java) S 18097 18100 14399 0 -1 1077944384 5681 0 0 0 163 0 0 0 20 0 20 0 5975176 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399478155888 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18118] ppid=18097 vsize=13268028 CPUtime=0.53 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18118/stat : 18118 (java) S 18097 18100 14399 0 -1 1077944384 3566 0 0 0 53 0 0 0 20 0 20 0 5975176 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399477103088 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18119] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18119/stat : 18119 (java) S 18097 18100 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399476050528 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18120] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18120/stat : 18120 (java) D 18097 18100 14399 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 63036 33554432000 4194304 4196468 140727379459536 140399474997728 140400006081294 0 4 0 16800975 18446744072100363397 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 Current children cumulated CPU time (s) 8.47 Current children cumulated vsize (KiB) 13268028 [startup+6.30083 s] /proc/loadavg: 2.02 2.01 1.89 3/283 18120 /proc/meminfo: memFree=28148564/32770624 swapFree=5912/259920 [pid=18100] ppid=18097 vsize=13268028 CPUtime=11.79 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 34404 0 0 0 1165 14 0 0 20 0 20 0 5975167 13586460672 58747 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 3317007 58747 3814 1 0 3304722 0 [pid=18100/tid=18101] ppid=18097 vsize=13268028 CPUtime=6.22 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) R 18097 18100 14399 0 -1 4202560 10974 0 0 0 616 6 0 0 20 0 20 0 5975168 13586460672 58747 33554432000 4194304 4196468 140727379459536 140400025463680 140399618052987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18103] ppid=18097 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18103/stat : 18103 (java) S 18097 18100 14399 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 5975169 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399939705488 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18104] ppid=18097 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18104/stat : 18104 (java) S 18097 18100 14399 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 5975169 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399938652688 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18105] ppid=18097 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18105/stat : 18105 (java) S 18097 18100 14399 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 5975169 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399937599888 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18106] ppid=18097 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18106/stat : 18106 (java) S 18097 18100 14399 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 20 0 5975169 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399936547088 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18107] ppid=18097 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18107/stat : 18107 (java) S 18097 18100 14399 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 5975169 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399935495312 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18108] ppid=18097 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18108/stat : 18108 (java) S 18097 18100 14399 0 -1 1077944384 776 0 0 0 2 0 0 0 20 0 20 0 5975169 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399934442512 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18109] ppid=18097 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18109/stat : 18109 (java) S 18097 18100 14399 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 20 0 5975169 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399933389712 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18110] ppid=18097 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18110/stat : 18110 (java) S 18097 18100 14399 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 20 0 5975169 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399932336912 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18111] ppid=18097 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18111/stat : 18111 (java) S 18097 18100 14399 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 5975171 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399484471664 140400021236354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18112] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18112/stat : 18112 (java) S 18097 18100 14399 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399483417696 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18113] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18113/stat : 18113 (java) S 18097 18100 14399 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 58747 33554432000 4194304 4196468 140727379459536 140399482364800 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18114] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=18100/tid=18116] ppid=18097 vsize=13268028 CPUtime=1.64 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18116/stat : 18116 (java) S 18097 18100 14399 0 -1 1077944384 6457 0 0 0 162 2 0 0 20 0 20 0 5975176 13586460672 92081 33554432000 4194304 4196468 140727379459536 140399479208688 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18117] ppid=18097 vsize=13268028 CPUtime=1.64 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18117/stat : 18117 (java) S 18097 18100 14399 0 -1 1077944384 5764 0 0 0 163 1 0 0 20 0 20 0 5975176 13586460672 92081 33554432000 4194304 4196468 140727379459536 140399478155888 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18118] ppid=18097 vsize=13268028 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18118/stat : 18118 (java) S 18097 18100 14399 0 -1 1077944384 3842 0 0 0 54 1 0 0 20 0 20 0 5975176 13586460672 92081 33554432000 4194304 4196468 140727379459536 140399477103088 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18119] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18119/stat : 18119 (java) S 18097 18100 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 92081 33554432000 4194304 4196468 140727379459536 140399476050528 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18120] ppid=18097 vsize=13268028 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18120/stat : 18120 (java) S 18097 18100 14399 0 -1 1077944384 914 0 0 0 44 46 0 0 20 0 20 0 5975176 13586460672 92081 33554432000 4194304 4196468 140727379459536 140399474997808 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 Current children cumulated CPU time (s) 2315.23 Current children cumulated vsize (KiB) 13268028 [startup+2322.3 s] /proc/loadavg: 1.61 1.51 1.51 3/282 18277 /proc/meminfo: memFree=30457220/32770624 swapFree=5912/262140 [pid=18100] ppid=18097 vsize=13268028 CPUtime=2376.65 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 159849 0 0 0 237303 362 0 0 20 0 20 0 5975167 13586460672 92599 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 3317007 92599 3824 1 0 3304722 0 [pid=18100/tid=18101] ppid=18097 vsize=13268028 CPUtime=2306.68 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) R 18097 18100 14399 0 -1 4202560 88697 0 0 0 230644 24 0 0 20 0 20 0 5975168 13586460672 92599 33554432000 4194304 4196468 140727379459536 140400025463680 140399617069290 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18103] ppid=18097 vsize=13268028 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18103/stat : 18103 (java) S 18097 18100 14399 0 -1 1077944384 4735 0 0 0 696 37 0 0 20 0 20 0 5975169 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399939705488 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18104] ppid=18097 vsize=13268028 CPUtime=7.24 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18104/stat : 18104 (java) S 18097 18100 14399 0 -1 1077944384 3784 0 0 0 691 33 0 0 20 0 20 0 5975169 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399938652688 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18105] ppid=18097 vsize=13268028 CPUtime=7.28 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18105/stat : 18105 (java) S 18097 18100 14399 0 -1 1077944384 3587 0 0 0 692 36 0 0 20 0 20 0 5975169 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399937599888 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18106] ppid=18097 vsize=13268028 CPUtime=7.25 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18106/stat : 18106 (java) S 18097 18100 14399 0 -1 1077944384 3889 0 0 0 691 34 0 0 20 0 20 0 5975169 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399936547088 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18107] ppid=18097 vsize=13268028 CPUtime=7.24 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18107/stat : 18107 (java) S 18097 18100 14399 0 -1 1077944384 4594 0 0 0 687 37 0 0 20 0 20 0 5975169 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399935495312 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18108] ppid=18097 vsize=13268028 CPUtime=7.25 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18108/stat : 18108 (java) S 18097 18100 14399 0 -1 1077944384 4941 0 0 0 687 38 0 0 20 0 20 0 5975169 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399934442512 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18109] ppid=18097 vsize=13268028 CPUtime=7.34 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18109/stat : 18109 (java) S 18097 18100 14399 0 -1 1077944384 3916 0 0 0 694 40 0 0 20 0 20 0 5975169 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399933389712 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18110] ppid=18097 vsize=13268028 CPUtime=7.32 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18110/stat : 18110 (java) S 18097 18100 14399 0 -1 1077944384 6340 0 0 0 699 33 0 0 20 0 20 0 5975169 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399932336912 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18111] ppid=18097 vsize=13268028 CPUtime=5.25 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18111/stat : 18111 (java) S 18097 18100 14399 0 -1 1077944384 10517 0 0 0 490 35 0 0 20 0 20 0 5975171 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399484471664 140400021236354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18112] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18112/stat : 18112 (java) S 18097 18100 14399 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399483417696 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18113] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18113/stat : 18113 (java) S 18097 18100 14399 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399482364800 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18114] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18114/stat : 18114 (java) S 18097 18100 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399481313104 140400021243803 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18115] ppid=18097 vsize=13268028 CPUtime=1.58 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18115/stat : 18115 (java) S 18097 18100 14399 0 -1 1077944384 6424 0 0 0 157 1 0 0 20 0 20 0 5975176 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399480261488 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18116] ppid=18097 vsize=13268028 CPUtime=1.64 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18116/stat : 18116 (java) S 18097 18100 14399 0 -1 1077944384 6459 0 0 0 162 2 0 0 20 0 20 0 5975176 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399479208688 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18117] ppid=18097 vsize=13268028 CPUtime=1.64 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18117/stat : 18117 (java) S 18097 18100 14399 0 -1 1077944384 5767 0 0 0 163 1 0 0 20 0 20 0 5975176 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399478155888 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18118] ppid=18097 vsize=13268028 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18118/stat : 18118 (java) S 18097 18100 14399 0 -1 1077944384 3844 0 0 0 54 1 0 0 20 0 20 0 5975176 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399477103088 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18119] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18119/stat : 18119 (java) S 18097 18100 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399476050528 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18120] ppid=18097 vsize=13268028 CPUtime=0.93 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18120/stat : 18120 (java) S 18097 18100 14399 0 -1 1077944384 934 0 0 0 46 47 0 0 20 0 20 0 5975176 13586460672 92599 33554432000 4194304 4196468 140727379459536 140399474997808 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 Current children cumulated CPU time (s) 2376.65 Current children cumulated vsize (KiB) 13268028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2345.3 s] /proc/loadavg: 1.58 1.51 1.51 3/282 18278 /proc/meminfo: memFree=30494564/32770624 swapFree=5912/262172 [pid=18100] ppid=18097 vsize=13268028 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 161221 0 0 0 239643 366 0 0 20 0 20 0 5975167 13586460672 93853 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 3317007 93853 3824 1 0 3304722 0 [pid=18100/tid=18101] ppid=18097 vsize=13268028 CPUtime=2329.53 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) R 18097 18100 14399 0 -1 4202560 89295 0 0 0 232929 24 0 0 20 0 20 0 5975168 13586460672 93853 33554432000 4194304 4196468 140727379459536 140400025463440 140399618049584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18103] ppid=18097 vsize=13268028 CPUtime=7.39 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18103/stat : 18103 (java) S 18097 18100 14399 0 -1 1077944384 4746 0 0 0 702 37 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399939705488 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18104] ppid=18097 vsize=13268028 CPUtime=7.3 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18104/stat : 18104 (java) S 18097 18100 14399 0 -1 1077944384 3793 0 0 0 696 34 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399938652688 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18105] ppid=18097 vsize=13268028 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18105/stat : 18105 (java) S 18097 18100 14399 0 -1 1077944384 3600 0 0 0 697 36 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399937599888 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18106] ppid=18097 vsize=13268028 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18106/stat : 18106 (java) S 18097 18100 14399 0 -1 1077944384 3937 0 0 0 698 35 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399936547088 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18107] ppid=18097 vsize=13268028 CPUtime=7.31 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18107/stat : 18107 (java) S 18097 18100 14399 0 -1 1077944384 4608 0 0 0 694 37 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399935495312 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18108] ppid=18097 vsize=13268028 CPUtime=7.32 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18108/stat : 18108 (java) S 18097 18100 14399 0 -1 1077944384 5096 0 0 0 693 39 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399934442512 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18109] ppid=18097 vsize=13268028 CPUtime=7.41 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18109/stat : 18109 (java) S 18097 18100 14399 0 -1 1077944384 4048 0 0 0 700 41 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399933389712 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18110] ppid=18097 vsize=13268028 CPUtime=7.39 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18110/stat : 18110 (java) S 18097 18100 14399 0 -1 1077944384 6445 0 0 0 705 34 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399932336912 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18111] ppid=18097 vsize=13268028 CPUtime=5.3 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18111/stat : 18111 (java) S 18097 18100 14399 0 -1 1077944384 10778 0 0 0 495 35 0 0 20 0 20 0 5975171 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399484471664 140400021236354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18112] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18112/stat : 18112 (java) S 18097 18100 14399 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399483417696 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18113] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18113/stat : 18113 (java) S 18097 18100 14399 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399482364800 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18114] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18114/stat : 18114 (java) S 18097 18100 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399481313104 140400021243803 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18115] ppid=18097 vsize=13268028 CPUtime=1.58 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18115/stat : 18115 (java) S 18097 18100 14399 0 -1 1077944384 6426 0 0 0 157 1 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399480261488 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18116] ppid=18097 vsize=13268028 CPUtime=1.64 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18116/stat : 18116 (java) S 18097 18100 14399 0 -1 1077944384 6462 0 0 0 162 2 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399479208688 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18117] ppid=18097 vsize=13268028 CPUtime=1.64 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18117/stat : 18117 (java) S 18097 18100 14399 0 -1 1077944384 5769 0 0 0 163 1 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399478155888 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18118] ppid=18097 vsize=13268028 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18118/stat : 18118 (java) S 18097 18100 14399 0 -1 1077944384 3846 0 0 0 54 1 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399477103088 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18119] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18119/stat : 18119 (java) S 18097 18100 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399476050528 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18120] ppid=18097 vsize=13268028 CPUtime=0.93 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18120/stat : 18120 (java) S 18097 18100 14399 0 -1 1077944384 951 0 0 0 46 47 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399474997808 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 13268028 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 18100 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2345.3 s] /proc/loadavg: 1.58 1.51 1.51 3/282 18278 /proc/meminfo: memFree=30494564/32770624 swapFree=5912/262172 [pid=18100] ppid=18097 vsize=13268028 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15 /proc/18100/stat : 18100 (java) S 18097 18100 14399 0 -1 1077944320 161221 0 0 0 239643 366 0 0 20 0 20 0 5975167 13586460672 93853 33554432000 4194304 4196468 140727379459536 140727379442080 140400021225207 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 /proc/18100/statm: 3317007 93853 3824 1 0 3304722 0 [pid=18100/tid=18101] ppid=18097 vsize=13268028 CPUtime=2329.53 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18101/stat : 18101 (java) R 18097 18100 14399 0 -1 4202560 89295 0 0 0 232929 24 0 0 20 0 20 0 5975168 13586460672 93853 33554432000 4194304 4196468 140727379459536 140400025463440 140399618049584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18103] ppid=18097 vsize=13268028 CPUtime=7.39 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18103/stat : 18103 (java) S 18097 18100 14399 0 -1 1077944384 4746 0 0 0 702 37 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399939705488 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18104] ppid=18097 vsize=13268028 CPUtime=7.3 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18104/stat : 18104 (java) S 18097 18100 14399 0 -1 1077944384 3793 0 0 0 696 34 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399938652688 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18105] ppid=18097 vsize=13268028 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18105/stat : 18105 (java) S 18097 18100 14399 0 -1 1077944384 3600 0 0 0 697 36 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399937599888 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18106] ppid=18097 vsize=13268028 CPUtime=7.33 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18106/stat : 18106 (java) S 18097 18100 14399 0 -1 1077944384 3937 0 0 0 698 35 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399936547088 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18107] ppid=18097 vsize=13268028 CPUtime=7.31 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18107/stat : 18107 (java) S 18097 18100 14399 0 -1 1077944384 4608 0 0 0 694 37 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399935495312 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18108] ppid=18097 vsize=13268028 CPUtime=7.32 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18108/stat : 18108 (java) S 18097 18100 14399 0 -1 1077944384 5096 0 0 0 693 39 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399934442512 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18109] ppid=18097 vsize=13268028 CPUtime=7.41 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18109/stat : 18109 (java) S 18097 18100 14399 0 -1 1077944384 4048 0 0 0 700 41 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399933389712 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18110] ppid=18097 vsize=13268028 CPUtime=7.39 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18110/stat : 18110 (java) S 18097 18100 14399 0 -1 1077944384 6445 0 0 0 705 34 0 0 20 0 20 0 5975169 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399932336912 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18111] ppid=18097 vsize=13268028 CPUtime=5.3 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18111/stat : 18111 (java) S 18097 18100 14399 0 -1 1077944384 10778 0 0 0 495 35 0 0 20 0 20 0 5975171 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399484471664 140400021236354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18112] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18112/stat : 18112 (java) S 18097 18100 14399 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399483417696 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18113] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18113/stat : 18113 (java) S 18097 18100 14399 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 5975172 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399482364800 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18114] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18114/stat : 18114 (java) S 18097 18100 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399481313104 140400021243803 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18115] ppid=18097 vsize=13268028 CPUtime=1.58 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18115/stat : 18115 (java) S 18097 18100 14399 0 -1 1077944384 6426 0 0 0 157 1 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399480261488 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18116] ppid=18097 vsize=13268028 CPUtime=1.64 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18116/stat : 18116 (java) S 18097 18100 14399 0 -1 1077944384 6462 0 0 0 162 2 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399479208688 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18117] ppid=18097 vsize=13268028 CPUtime=1.64 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18117/stat : 18117 (java) S 18097 18100 14399 0 -1 1077944384 5769 0 0 0 163 1 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399478155888 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18118] ppid=18097 vsize=13268028 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18118/stat : 18118 (java) S 18097 18100 14399 0 -1 1077944384 3846 0 0 0 54 1 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399477103088 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18119] ppid=18097 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18119/stat : 18119 (java) S 18097 18100 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399476050528 140400021235413 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 [pid=18100/tid=18120] ppid=18097 vsize=13268028 CPUtime=0.93 cores=1,3,5,7,9,11,13,15 /proc/18100/task/18120/stat : 18120 (java) S 18097 18100 14399 0 -1 1077944384 951 0 0 0 46 47 0 0 20 0 20 0 5975176 13586460672 93853 33554432000 4194304 4196468 140727379459536 140399474997808 140400021236354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 7131136 140727379461257 140727379461444 140727379461444 140727379464143 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 13268028 Child status: 143 Real time (s): 2345.33 CPU time (s): 2400.13 CPU user time (s): 2396.46 CPU system time (s): 3.67045 CPU usage (%): 102.337 Max. virtual memory (cumulated for all children) (KiB): 13268028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.46 system time used= 3.67045 maximum resident set size= 375900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 162389 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2592 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 287231 involuntary context switches= 163706 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.1172 second user time and 22.2829 second system time The end
Begin job on node150 at 2017-07-22 09:05:01 IDJOB=4246176 IDBENCH=124211 IDSOLVER=2628 FILE ID=node150/4246176-1500707101 RUNJOBID= node150-1500682654-14431 PBS_JOBID= 20623331 Free space on /tmp= 61984 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-6.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246176-1500707101/watcher-4246176-1500707101 -o /tmp/evaluation-result-4246176-1500707101/solver-4246176-1500707101 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500682654-14431 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1460177272 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246176-1500707101.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= d01afa5e20b7ebab190e76d647c74323 RANDOM SEED=1460177272 node150.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.10 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.10 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.10 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 : 1867.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.10 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 : 1733.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 : 1867.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.10 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 : 2668.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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 1600.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.10 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 : 2668.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.10 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 : 2400.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: 28370748 kB MemAvailable: 28633604 kB Buffers: 120252 kB Cached: 422996 kB SwapCached: 0 kB Active: 3689320 kB Inactive: 268536 kB Active(anon): 3417388 kB Inactive(anon): 8728 kB Active(file): 271932 kB Inactive(file): 259808 kB Unevictable: 5912 kB Mlocked: 5912 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42116 kB Writeback: 0 kB AnonPages: 3406088 kB Mapped: 45456 kB Shmem: 8848 kB Slab: 127788 kB SReclaimable: 93904 kB SUnreclaim: 33884 kB KernelStack: 4880 kB PageTables: 11936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4312196 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3272704 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61944 MiB End job on node150 at 2017-07-22 09:44:07