Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 160 | 19863.1 | 2520.1299 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml |
MD5SUM | 058109e0b262c2cf0fdf1876739ed95e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 158 |
Best CPU time to get the best result obtained on this benchmark | 2400.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1925 |
Number of constraints | 187 |
Number of domains | 10 |
Minimum domain size | 2 |
Maximum domain size | 162 |
Distribution of domain sizes | [{"size":2,"count":175},{"size":38,"count":175},{"size":61,"count":175},{"size":91,"count":175},{"size":93,"count":350},{"size":103,"count":175},{"size":114,"count":175},{"size":126,"count":175},{"size":129,"count":175},{"size":162,"count":175}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":1925}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 1750 |
Distribution of constraint arities | [{"arity":11,"count":175},{"arity":175,"count":11},{"arity":1750,"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":185}] |
Optimization problem | YES |
Type of objective | min SUM |
0.30/0.25 c version: 2017-07-26 0.30/0.25 c seed: 1254183987 0.30/0.26 c timeout: 20160 0.30/0.26 c memlimit: 11000 0.30/0.26 c nbcore: 8 0.30/0.28 c Parsing instance... 1.09/0.69 c Parsing done, starting search... 18.41/5.73 o 175 23.76/6.47 o 174 26.18/6.73 o 173 26.18/6.78 o 166 26.18/6.79 o 165 26.91/6.84 o 162 26.91/6.84 o 160 19862.25/2520.10 s SATISFIABLE 19862.25/2520.11 v <instantiation> 19862.25/2520.11 v <list> 19862.25/2520.11 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] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] 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] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] 19862.25/2520.11 v </list> 19862.25/2520.11 v <values> 19862.25/2520.11 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 1 1 0 4 0 0 0 0 0 0 1 1 0 2 0 3 0 0 0 0 0 0 0 2 0 0 0 0 3 0 1 0 1 2 0 0 0 0 3 0 1 0 1 2 0 0 0 0 3 0 1 0 1 2 0 0 0 0 3 0 1 0 1 2 0 0 0 0 3 0 1 0 1 2 0 0 0 0 3 0 1 0 1 2 0 0 0 0 3 0 1 0 1 2 0 0 0 0 3 0 1 0 1 2 0 0 0 0 3 0 1 0 1 0 5 0 0 0 0 0 0 0 0 0 1 0 4 0 0 0 0 1 2 0 1 0 4 0 0 0 0 1 2 0 1 0 3 1 0 0 1 0 0 0 1 0 3 0 1 0 1 0 1 0 1 0 2 2 0 0 1 0 0 0 1 0 2 2 0 0 1 0 0 0 1 0 2 2 0 0 1 0 0 0 1 0 2 2 0 0 0 1 0 0 1 0 2 2 0 0 0 1 0 0 1 0 2 2 0 0 0 1 0 0 1 0 2 2 0 0 0 1 0 0 1 0 2 2 0 0 0 1 0 0 1 0 2 2 0 0 0 1 0 0 1 0 2 2 0 0 0 1 0 0 1 0 2 2 0 0 0 1 0 0 1 0 2 2 0 0 0 1 0 0 1 0 2 2 0 0 0 1 0 0 1 0 2 0 2 0 0 1 0 0 1 0 2 0 2 0 0 1 0 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 1 0 1 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 1 3 0 0 0 1 0 0 1 0 0 4 0 0 1 0 2 0 1 0 0 4 0 0 1 0 2 0 1 0 0 4 0 0 1 0 2 0 1 0 0 4 0 0 1 0 2 0 1 0 0 4 0 0 1 0 2 0 1 0 0 4 0 0 1 0 0 0 1 0 0 4 0 0 1 0 0 0 1 0 0 4 0 0 1 0 0 0 1 0 0 4 0 0 1 0 0 0 1 0 0 4 0 0 1 0 0 0 1 0 0 4 0 0 1 0 0 0 1 0 0 4 0 0 1 0 0 0 1 0 0 4 0 0 1 0 0 0 1 0 0 4 0 0 0 1 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 1 4 0 0 0 0 1 0 0 0 1 4 0 0 0 0 1 0 0 0 1 4 0 0 0 0 1 0 0 0 1 4 0 0 0 0 1 0 0 0 1 4 0 0 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 1 1 0 0 1 0 0 0 1 3 0 2 0 0 1 0 0 0 1 3 0 2 0 0 1 0 0 0 1 3 0 2 0 0 1 0 0 0 1 3 0 2 0 0 1 0 0 0 1 3 0 2 0 0 1 0 0 0 1 3 0 2 0 0 1 0 0 0 1 3 0 2 0 0 1 0 0 0 1 3 0 2 0 0 1 0 0 0 1 3 0 2 0 0 1 0 0 0 1 3 0 2 0 0 1 0 0 0 1 3 0 1 0 0 1 0 0 0 1 3 0 0 0 0 1 0 0 0 1 3 0 0 0 0 1 0 0 0 1 3 0 0 0 0 1 0 0 0 1 3 0 0 0 0 1 0 0 0 1 3 0 0 0 0 1 0 0 0 1 3 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 1 0 0 0 3 2 0 0 0 0 1 0 0 0 2 3 0 0 0 0 1 0 0 0 2 3 0 0 0 0 1 0 0 0 2 3 0 0 0 0 1 0 0 0 2 3 0 0 0 0 1 0 0 0 2 3 0 0 0 0 1 0 0 0 2 1 0 2 0 1 0 0 0 0 2 1 0 2 0 1 0 0 0 0 2 1 0 0 2 1 0 2 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19862.25/2520.11 v </values> 19862.25/2520.11 v </instantiation>
OK 160
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13303 MiB free) memory of node 1: 16384 MiB (13791 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274915-1502706156/watcher-4274915-1502706156 -o /tmp/evaluation-result-4274915-1502706156/solver-4274915-1502706156 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502702754-1846 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1254183987 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4274915-1502706156.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=2832, runsolver pid=2829 Current StackSize limit: 8192 KiB [startup+0.100238 s]* /proc/loadavg: 7.89 8.04 7.82 1/198 2852 /proc/meminfo: memFree=27728388/32770624 swapFree=67108860/67108860 [pid=2832] ppid=2829 vsize=14325320 memory=31536 CPUtime=0.12 cores=0-7 /proc/2832/stat : 2832 (java) S 2829 2832 1819 0 -1 1077944320 8292 0 0 0 11 1 0 0 20 0 20 0 103696477 14669127680 7884 33554432000 4194304 4196468 140730485546608 140730485529152 140634171825911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 /proc/2832/statm: 3581330 7884 3407 1 0 3569050 0 [pid=2832/tid=2834] ppid=2829 vsize=14325320 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/2832/task/2834/stat : 2834 (java) R 2829 2832 1819 0 -1 4202560 6178 0 0 0 8 0 0 0 20 0 20 0 103696478 14669127680 7884 33554432000 4194304 4196468 140730485546608 140634176004784 140634155906398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2835] ppid=2829 vsize=14325320 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2832/task/2835/stat : 2835 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633767287952 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2836] ppid=2829 vsize=14325320 memory=140487608637056 CPUtime=0 cores=0-7 /proc/2832/task/2836/stat : 2836 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633766235152 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2837] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2837/stat : 2837 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633765182352 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2838] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2838/stat : 2838 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696478 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633764129552 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2839] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2839/stat : 2839 (java) S 2829 2832 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103696479 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633763076752 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2840] ppid=2829 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/2832/task/2840/stat : 2840 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696479 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633762023952 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2841] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2841/stat : 2841 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696479 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633760971152 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2842] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2842/stat : 2842 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696479 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633759918352 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2843] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2843/stat : 2843 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696480 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633361025904 140634171837058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2844] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2844/stat : 2844 (java) S 2829 2832 1819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103696480 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633359971872 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2845] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2845/stat : 2845 (java) S 2829 2832 1819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103696481 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633358919024 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2846] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2846/stat : 2846 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696483 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633357867344 140634171844507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2847] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2847/stat : 2847 (java) S 2829 2832 1819 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 103696483 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633356814704 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2848] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2848/stat : 2848 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696483 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633355761904 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2849] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2849/stat : 2849 (java) S 2829 2832 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103696483 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633354709104 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2850] ppid=2829 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7 /proc/2832/task/2850/stat : 2850 (java) S 2829 2832 1819 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 20 0 103696483 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633353656304 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2851] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2851/stat : 2851 (java) S 2829 2832 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103696483 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633352604768 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2852] ppid=2829 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/2832/task/2852/stat : 2852 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696483 14669127680 7884 33554432000 4194304 4196468 140730485546608 140633351552048 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 31536 KiB [startup+0.210415 s]* /proc/loadavg: 7.89 8.04 7.82 2/198 2852 /proc/meminfo: memFree=27719888/32770624 swapFree=67108860/67108860 [pid=2832] ppid=2829 vsize=14325320 memory=41144 CPUtime=0.3 cores=0-7 /proc/2832/stat : 2832 (java) S 2829 2832 1819 0 -1 1077944320 9422 0 0 0 28 2 0 0 20 0 20 0 103696477 14669127680 10286 33554432000 4194304 4196468 140730485546608 140730485529152 140634171825911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 /proc/2832/statm: 3581330 10286 3603 1 0 3569050 0 [pid=2832/tid=2834] ppid=2829 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/2832/task/2834/stat : 2834 (java) R 2829 2832 1819 0 -1 4202560 6846 0 0 0 18 1 0 0 20 0 20 0 103696478 14669127680 10286 33554432000 4194304 4196468 140730485546608 140634176050992 140634171847837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2835] ppid=2829 vsize=14325320 memory=9203 CPUtime=0 cores=0-7 /proc/2832/task/2835/stat : 2835 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633767287952 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2836] ppid=2829 vsize=14325320 memory=140487608645032 CPUtime=0 cores=0-7 /proc/2832/task/2836/stat : 2836 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633766235152 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2837] ppid=2829 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/2832/task/2837/stat : 2837 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633765182352 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2838] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2838/stat : 2838 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696478 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633764129552 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2839] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2839/stat : 2839 (java) S 2829 2832 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103696479 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633763076752 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2840] ppid=2829 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/2832/task/2840/stat : 2840 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696479 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633762023952 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2841] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2841/stat : 2841 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696479 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633760971152 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2842] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2842/stat : 2842 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696479 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633759918352 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2843] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2843/stat : 2843 (java) S 2829 2832 1819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103696480 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633361025904 140634171837058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2844] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2844/stat : 2844 (java) S 2829 2832 1819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103696480 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633359971872 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2845] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2845/stat : 2845 (java) S 2829 2832 1819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103696481 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633358919024 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2846] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2846/stat : 2846 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696483 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633357867344 140634171844507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2847] ppid=2829 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/2832/task/2847/stat : 2847 (java) S 2829 2832 1819 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 20 0 103696483 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633356814704 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2848] ppid=2829 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/2832/task/2848/stat : 2848 (java) S 2829 2832 1819 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 103696483 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633355761904 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2849] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2849/stat : 2849 (java) S 2829 2832 1819 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 20 0 103696483 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633354709104 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2850] ppid=2829 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7 /proc/2832/task/2850/stat : 2850 (java) S 2829 2832 1819 0 -1 1077944384 520 0 0 0 5 0 0 0 20 0 20 0 103696483 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633353656304 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2851] ppid=2829 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2851/stat : 2851 (java) S 2829 2832 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103696483 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633352604768 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2852] ppid=2829 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/2832/task/2852/stat : 2852 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696483 14669127680 10286 33554432000 4194304 4196468 140730485546608 140633351552048 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 41144 KiB [startup+0.310209 s]* /proc/loadavg: 7.89 8.04 7.82 2/198 2852 /proc/meminfo: memFree=27712196/32770624 swapFree=67108860/67108860 [pid=2832] ppid=2829 vsize=14325340 memory=49768 CPUtime=0.47 cores=0-7 /proc/2832/stat : 2832 (java) S 2829 2832 1819 0 -1 1077944320 10709 0 0 0 45 2 0 0 20 0 20 0 103696477 14669148160 12442 33554432000 4194304 4196468 140730485546608 140730485529152 140634171825911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 /proc/2832/statm: 3581335 12442 3721 1 0 3569050 0 [pid=2832/tid=2834] ppid=2829 vsize=14325340 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/2832/task/2834/stat : 2834 (java) R 2829 2832 1819 0 -1 4202560 7611 0 0 0 28 1 0 0 20 0 20 0 103696478 14669148160 12442 33554432000 4194304 4196468 140730485546608 140634176047760 140634155906398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2835] ppid=2829 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2835/stat : 2835 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633767287952 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2836] ppid=2829 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2836/stat : 2836 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633766235152 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2837] ppid=2829 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2837/stat : 2837 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633765182352 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2838] ppid=2829 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2838/stat : 2838 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696478 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633764129552 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2839] ppid=2829 vsize=14325340 memory=2244 CPUtime=0 cores=0-7 /proc/2832/task/2839/stat : 2839 (java) S 2829 2832 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103696479 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633763076752 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2840] ppid=2829 vsize=14325340 memory=140487507932079 CPUtime=0 cores=0-7 /proc/2832/task/2840/stat : 2840 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696479 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633762023952 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2841] ppid=2829 vsize=14325340 memory=140487507934384 CPUtime=0 cores=0-7 /proc/2832/task/2841/stat : 2841 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696479 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633760971152 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2842] ppid=2829 vsize=14325340 memory=140487507936688 CPUtime=0 cores=0-7 /proc/2832/task/2842/stat : 2842 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696479 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633759918352 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2843] ppid=2829 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2843/stat : 2843 (java) S 2829 2832 1819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103696480 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633361025904 140634171837058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2844] ppid=2829 vsize=14325340 memory=280975015880336 CPUtime=0 cores=0-7 /proc/2832/task/2844/stat : 2844 (java) S 2829 2832 1819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103696480 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633359971872 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2845] ppid=2829 vsize=14325340 memory=280975015887248 CPUtime=0 cores=0-7 /proc/2832/task/2845/stat : 2845 (java) S 2829 2832 1819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103696481 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633358919024 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2846] ppid=2829 vsize=14325340 memory=280975015828528 CPUtime=0 cores=0-7 /proc/2832/task/2846/stat : 2846 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696483 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633357867344 140634171844507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2847] ppid=2829 vsize=14325340 memory=280975015901072 CPUtime=0.03 cores=0-7 /proc/2832/task/2847/stat : 2847 (java) S 2829 2832 1819 0 -1 1077944384 551 0 0 0 3 0 0 0 20 0 20 0 103696483 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633356814704 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2848] ppid=2829 vsize=14325340 memory=280975015907984 CPUtime=0.03 cores=0-7 /proc/2832/task/2848/stat : 2848 (java) S 2829 2832 1819 0 -1 1077944384 166 0 0 0 3 0 0 0 20 0 20 0 103696483 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633355761904 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2849] ppid=2829 vsize=14325340 memory=280975015905680 CPUtime=0.01 cores=0-7 /proc/2832/task/2849/stat : 2849 (java) S 2829 2832 1819 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 20 0 103696483 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633354709104 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2850] ppid=2829 vsize=14325340 memory=280975015922288 CPUtime=0.08 cores=0-7 /proc/2832/task/2850/stat : 2850 (java) S 2829 2832 1819 0 -1 1077944384 658 0 0 0 8 0 0 0 20 0 20 0 103696483 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633353656304 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2851] ppid=2829 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2851/stat : 2851 (java) S 2829 2832 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103696483 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633352604768 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2852] ppid=2829 vsize=14325340 memory=-1 CPUtime=0 cores=0-7 /proc/2832/task/2852/stat : 2852 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696483 14669148160 12442 33554432000 4194304 4196468 140730485546608 140633351552048 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 14325340 KiB Current children cumulated memory: 49768 KiB [startup+0.700909 s] /proc/loadavg: 7.89 8.04 7.82 5/198 2852 /proc/meminfo: memFree=27698548/32770624 swapFree=67108860/67108860 [pid=2832] ppid=2829 vsize=14327388 memory=75748 CPUtime=1.34 cores=0-7 /proc/2832/stat : 2832 (java) S 2829 2832 1819 0 -1 1077944320 13065 0 0 0 130 4 0 0 20 0 20 0 103696477 14671245312 18937 33554432000 4194304 4196468 140730485546608 140730485529152 140634171825911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 /proc/2832/statm: 3581847 18937 3783 1 0 3569562 0 [pid=2832/tid=2834] ppid=2829 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7 /proc/2832/task/2834/stat : 2834 (java) R 2829 2832 1819 0 -1 4202560 8670 0 0 0 65 2 0 0 20 0 20 0 103696478 14671245312 18937 33554432000 4194304 4196468 140730485546608 140634176061456 140634171847837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2835] ppid=2829 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2835/stat : 2835 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14671245312 18937 33554432000 4194304 4196468 140730485546608 140633767287952 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2836] ppid=2829 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2836/stat : 2836 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14671245312 18937 33554432000 4194304 4196468 140730485546608 140633766235152 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2837] ppid=2829 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/2832/task/2837/stat : 2837 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696478 14671245312 18937 33554432000 4194304 4196468 140730485546608 140633765182352 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2838] ppid=2829 vsize=14327388 memory=1952 CPUtime=0 cores=0-7 /proc/2832/task/2838/stat : 2838 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696478 14671245312 18937 33554432000 4194304 4196468 140730485546608 140633764129552 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2839] ppid=2829 vsize=14327388 memory=8612 CPUtime=0 cores=0-7 /proc/2832/task/2839/stat : 2839 (java) S 2829 2832 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103696479 14671245312 18937 33554432000 4194304 4196468 140730485546608 140633763076752 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2840] ppid=2829 vsize=14327388 memory=4620 CPUtime=0 cores=0-7 /proc/2832/task/2840/stat : 2840 (java) S 2829 2832 1819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103696479 14671245312 18937 33554432000 4194304 4196468 140730485546608 140633762023952 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2841] ppid=2829 vsize=14327388 memory=1196 CPUtime=0 cores=0-7 /proc/2832/task/2841/stat : 2841 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696479 14671245312 18937 33554432000 4194304 4196468 140730485546608 140633760971152 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2842] ppid=2829 vsize=14327388 memory=15872 CPUtime=0 cores=0-7 /proc/2832/task/2842/stat : 2842 (java) S 2829 2832 1819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103696479 14671245312 18937 33554432000 4194304 4196468 140730485546608 140633759918352 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2843] ppid=2829 vsize=14327388 memory=18476 CPUtime=0 cores=0-7 /proc/2832/task/2843/stat : 2843 (java) S 2829 2832 1819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103696480 14671245312 18937 33554432000 4194304 4196468 140730485546608 140633361025904 140634171837058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 ################ # More data... # ################ /proc/2832/task/2855/stat : 2855 (java) S 2829 2832 1819 0 -1 1077944384 241 0 0 0 119 0 0 0 20 0 46 0 103696922 16453967872 541165 33554432000 4194304 4196468 140730485546608 140633337062672 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2856] ppid=2829 vsize=16068328 memory=1156 CPUtime=2465.55 cores=0-7 /proc/2832/task/2856/stat : 2856 (java) R 2829 2832 1819 0 -1 4202560 138655 0 0 0 246422 133 0 0 20 0 46 0 103696923 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632704404376 140633816970923 0 4 0 16800975 0 0 0 -1 7 0 0 65 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2857] ppid=2829 vsize=16068328 memory=2168764 CPUtime=0.26 cores=0-7 /proc/2832/task/2857/stat : 2857 (java) S 2829 2832 1819 0 -1 1077944384 56 0 0 0 26 0 0 0 20 0 46 0 103696923 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632703357968 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2858] ppid=2829 vsize=16068328 memory=2168764 CPUtime=2459.77 cores=0-7 /proc/2832/task/2858/stat : 2858 (java) R 2829 2832 1819 0 -1 4202560 113050 0 0 0 245865 112 0 0 20 0 46 0 103696925 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632702300624 140633817119445 0 4 0 16800975 0 0 0 -1 4 0 0 59 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2859] ppid=2829 vsize=16068328 memory=4104 CPUtime=2467.52 cores=0-7 /proc/2832/task/2859/stat : 2859 (java) R 2829 2832 1819 0 -1 4202560 141043 0 0 0 246619 133 0 0 20 0 46 0 103696925 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632701246856 140633815360829 0 4 0 16800975 0 0 0 -1 5 0 0 70 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2860] ppid=2829 vsize=16068328 memory=-6733704525061579059 CPUtime=1.11 cores=0-7 /proc/2832/task/2860/stat : 2860 (java) S 2829 2832 1819 0 -1 1077944384 55 0 0 0 111 0 0 0 20 0 46 0 103696925 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632700200592 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2861] ppid=2829 vsize=16068328 memory=4896 CPUtime=1.2 cores=0-7 /proc/2832/task/2861/stat : 2861 (java) S 2829 2832 1819 0 -1 1077944384 52 0 0 0 120 0 0 0 20 0 46 0 103696925 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632699147792 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2862] ppid=2829 vsize=16068328 memory=30080 CPUtime=0.1 cores=0-7 /proc/2832/task/2862/stat : 2862 (java) S 2829 2832 1819 0 -1 1077944384 46 0 0 0 10 0 0 0 20 0 46 0 103696925 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632698094992 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2863] ppid=2829 vsize=16068328 memory=1296 CPUtime=1.06 cores=0-7 /proc/2832/task/2863/stat : 2863 (java) S 2829 2832 1819 0 -1 1077944384 42 0 0 0 106 0 0 0 20 0 46 0 103696926 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632697042192 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2864] ppid=2829 vsize=16068328 memory=2340 CPUtime=1.06 cores=0-7 /proc/2832/task/2864/stat : 2864 (java) S 2829 2832 1819 0 -1 1077944384 104 0 0 0 106 0 0 0 20 0 46 0 103696926 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632695989392 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2865] ppid=2829 vsize=16068328 memory=1692 CPUtime=0.87 cores=0-7 /proc/2832/task/2865/stat : 2865 (java) S 2829 2832 1819 0 -1 1077944384 79 0 0 0 87 0 0 0 20 0 46 0 103696926 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632694936592 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2866] ppid=2829 vsize=16068328 memory=912 CPUtime=0.07 cores=0-7 /proc/2832/task/2866/stat : 2866 (java) S 2829 2832 1819 0 -1 1077944384 31 0 0 0 7 0 0 0 20 0 46 0 103696937 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632693883792 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2867] ppid=2829 vsize=16068328 memory=288230574492221466 CPUtime=2460.69 cores=0-7 /proc/2832/task/2867/stat : 2867 (java) R 2829 2832 1819 0 -1 4202560 122096 0 0 0 245953 116 0 0 20 0 46 0 103696960 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632690690952 140633816801286 0 4 0 16800975 0 0 0 -1 6 0 0 70 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2868] ppid=2829 vsize=16068328 memory=288230621803970871 CPUtime=0.12 cores=0-7 /proc/2832/task/2868/stat : 2868 (java) S 2829 2832 1819 0 -1 1077944384 144 0 0 0 12 0 0 0 20 0 46 0 103697052 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632689645200 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2869] ppid=2829 vsize=16068328 memory=13563812485793844 CPUtime=0.05 cores=0-7 /proc/2832/task/2869/stat : 2869 (java) S 2829 2832 1819 0 -1 1077944384 27 0 0 0 5 0 0 0 20 0 46 0 103697053 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632688592400 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2870] ppid=2829 vsize=16068328 memory=2408 CPUtime=0.49 cores=0-7 /proc/2832/task/2870/stat : 2870 (java) S 2829 2832 1819 0 -1 1077944384 43 0 0 0 49 0 0 0 20 0 46 0 103697053 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632687539600 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2871] ppid=2829 vsize=16068328 memory=1732 CPUtime=0.18 cores=0-7 /proc/2832/task/2871/stat : 2871 (java) S 2829 2832 1819 0 -1 1077944384 32 0 0 0 18 0 0 0 20 0 46 0 103697053 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632686486800 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2872] ppid=2829 vsize=16068328 memory=1224 CPUtime=0.04 cores=0-7 /proc/2832/task/2872/stat : 2872 (java) S 2829 2832 1819 0 -1 1077944384 26 0 0 0 4 0 0 0 20 0 46 0 103697053 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632685434000 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2873] ppid=2829 vsize=16068328 memory=12032 CPUtime=2465.94 cores=0-7 /proc/2832/task/2873/stat : 2873 (java) R 2829 2832 1819 0 -1 4202560 140844 0 0 0 246468 126 0 0 20 0 46 0 103697054 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632684374808 140633814398776 0 4 0 16800975 0 0 0 -1 1 0 0 77 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2874] ppid=2829 vsize=16068328 memory=5792 CPUtime=0.05 cores=0-7 /proc/2832/task/2874/stat : 2874 (java) S 2829 2832 1819 0 -1 1077944384 63 0 0 0 5 0 0 0 20 0 46 0 103697054 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632683328400 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2875] ppid=2829 vsize=16068328 memory=796 CPUtime=2463.79 cores=0-7 /proc/2832/task/2875/stat : 2875 (java) R 2829 2832 1819 0 -1 4202560 130165 0 0 0 246251 128 0 0 20 0 46 0 103697054 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632682270232 140633813683968 0 4 0 16800975 0 0 0 -1 0 0 0 71 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2876] ppid=2829 vsize=16068328 memory=288230574492221466 CPUtime=2465.76 cores=0-7 /proc/2832/task/2876/stat : 2876 (java) R 2829 2832 1819 0 -1 4202560 143621 0 0 0 246442 134 0 0 20 0 46 0 103697056 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632681217304 140633813685246 0 4 0 16800975 0 0 0 -1 3 0 0 75 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2877] ppid=2829 vsize=16068328 memory=288230621803970871 CPUtime=0.04 cores=0-7 /proc/2832/task/2877/stat : 2877 (java) S 2829 2832 1819 0 -1 1077944384 26 0 0 0 4 0 0 0 20 0 46 0 103697057 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632680171024 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2878] ppid=2829 vsize=16068328 memory=13563812485793844 CPUtime=2459.96 cores=0-7 /proc/2832/task/2878/stat : 2878 (java) R 2829 2832 1819 0 -1 4202560 121377 0 0 0 245873 123 0 0 20 0 46 0 103697057 16453967872 541165 33554432000 4194304 4196468 140730485546608 140632679111064 140633814322200 0 4 0 16800975 0 0 0 -1 2 0 0 68 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 Current children cumulated CPU time: 19862.2 s Current children cumulated vsize: 16068328 KiB Current children cumulated memory: 2164660 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.13 s] # the end of solver process 2832 was just reported to runsolver # cumulated CPU time of all completed processes: user=19846.2 s, system=16.9015 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.12 s] /proc/loadavg: 8.53 8.81 8.79 10/225 2922 /proc/meminfo: memFree=25581656/32770624 swapFree=67108860/67108860 [pid=2832] ppid=2829 vsize=16201456 memory=2164860 CPUtime=19863.1 cores=0-7 /proc/2832/stat : 2832 (java) S 2829 2832 1819 0 -1 1077944320 2555970 0 0 0 1984618 1688 0 0 20 0 46 0 103696477 16590290944 541215 33554432000 4194304 4196468 140730485546608 140730485529152 140634171825911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 /proc/2832/statm: 4050364 541215 3862 1 0 4037558 0 [pid=2832/tid=2834] ppid=2829 vsize=16201456 memory=2168764 CPUtime=4.37 cores=0-7 /proc/2832/task/2834/stat : 2834 (java) S 2829 2832 1819 0 -1 1077944384 14382 0 0 0 430 7 0 0 20 0 46 0 103696478 16590290944 541215 33554432000 4194304 4196468 140730485546608 140634176063616 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2835] ppid=2829 vsize=16201456 memory=2166200 CPUtime=14.21 cores=0-7 /proc/2832/task/2835/stat : 2835 (java) S 2829 2832 1819 0 -1 1077944384 132702 0 0 0 1353 68 0 0 20 0 46 0 103696478 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633767287952 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2836] ppid=2829 vsize=16201456 memory=2165688 CPUtime=14.18 cores=0-7 /proc/2832/task/2836/stat : 2836 (java) S 2829 2832 1819 0 -1 1077944384 128383 0 0 0 1358 60 0 0 20 0 46 0 103696478 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633766235152 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2837] ppid=2829 vsize=16201456 memory=2165172 CPUtime=14.24 cores=0-7 /proc/2832/task/2837/stat : 2837 (java) S 2829 2832 1819 0 -1 1077944384 122390 0 0 0 1362 62 0 0 20 0 46 0 103696478 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633765182352 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2838] ppid=2829 vsize=16201456 memory=2164660 CPUtime=14.3 cores=0-7 /proc/2832/task/2838/stat : 2838 (java) S 2829 2832 1819 0 -1 1077944384 140047 0 0 0 1366 64 0 0 20 0 46 0 103696478 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633764129552 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2839] ppid=2829 vsize=16201456 memory=26262701 CPUtime=14.18 cores=0-7 /proc/2832/task/2839/stat : 2839 (java) S 2829 2832 1819 0 -1 1077944384 129566 0 0 0 1357 61 0 0 20 0 46 0 103696479 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633763076752 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2840] ppid=2829 vsize=16201456 memory=30080 CPUtime=14.23 cores=0-7 /proc/2832/task/2840/stat : 2840 (java) S 2829 2832 1819 0 -1 1077944384 126782 0 0 0 1365 58 0 0 20 0 46 0 103696479 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633762023952 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2841] ppid=2829 vsize=16201456 memory=2175432 CPUtime=14.19 cores=0-7 /proc/2832/task/2841/stat : 2841 (java) S 2829 2832 1819 0 -1 1077944384 125156 0 0 0 1356 63 0 0 20 0 46 0 103696479 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633760971152 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2842] ppid=2829 vsize=16201456 memory=2227256 CPUtime=14.22 cores=0-7 /proc/2832/task/2842/stat : 2842 (java) S 2829 2832 1819 0 -1 1077944384 127693 0 0 0 1367 55 0 0 20 0 46 0 103696479 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633759918352 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2843] ppid=2829 vsize=16201456 memory=2205712 CPUtime=11.72 cores=0-7 /proc/2832/task/2843/stat : 2843 (java) R 2829 2832 1819 0 -1 4202560 368252 0 0 0 962 210 0 0 20 0 46 0 103696480 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633361025904 140634157046115 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2844] ppid=2829 vsize=16201456 memory=2195952 CPUtime=0 cores=0-7 /proc/2832/task/2844/stat : 2844 (java) S 2829 2832 1819 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 103696480 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633359971936 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2845] ppid=2829 vsize=16201456 memory=2201596 CPUtime=0.01 cores=0-7 /proc/2832/task/2845/stat : 2845 (java) S 2829 2832 1819 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 46 0 103696481 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633358919040 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2846] ppid=2829 vsize=16201456 memory=1196 CPUtime=0 cores=0-7 /proc/2832/task/2846/stat : 2846 (java) S 2829 2832 1819 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 46 0 103696483 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633357864112 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2847] ppid=2829 vsize=16201456 memory=15872 CPUtime=2.78 cores=0-7 /proc/2832/task/2847/stat : 2847 (java) S 2829 2832 1819 0 -1 1077944384 8956 0 0 0 276 2 0 0 20 0 46 0 103696483 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633356814464 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2848] ppid=2829 vsize=16201456 memory=2208 CPUtime=2.83 cores=0-7 /proc/2832/task/2848/stat : 2848 (java) S 2829 2832 1819 0 -1 1077944384 9307 0 0 0 281 2 0 0 20 0 46 0 103696483 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633355761904 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2849] ppid=2829 vsize=16201456 memory=6508 CPUtime=2.67 cores=0-7 /proc/2832/task/2849/stat : 2849 (java) S 2829 2832 1819 0 -1 1077944384 8782 0 0 0 265 2 0 0 20 0 46 0 103696483 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633354709104 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2850] ppid=2829 vsize=16201456 memory=140487509320364 CPUtime=0.95 cores=0-7 /proc/2832/task/2850/stat : 2850 (java) S 2829 2832 1819 0 -1 1077944384 13988 0 0 0 92 3 0 0 20 0 46 0 103696483 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633353653808 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2851] ppid=2829 vsize=16201456 memory=1012 CPUtime=0 cores=0-7 /proc/2832/task/2851/stat : 2851 (java) S 2829 2832 1819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 103696483 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633352604768 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2853] ppid=2829 vsize=16201456 memory=844 CPUtime=0.02 cores=0-7 /proc/2832/task/2853/stat : 2853 (java) S 2829 2832 1819 0 -1 1077944384 47 0 0 0 2 0 0 0 20 0 46 0 103696900 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633341264944 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2854] ppid=2829 vsize=16201456 memory=1156 CPUtime=5 cores=0-7 /proc/2832/task/2854/stat : 2854 (java) S 2829 2832 1819 0 -1 1077944384 31786 0 0 0 183 317 0 0 20 0 46 0 103696912 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633338115360 140634171837058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2855] ppid=2829 vsize=16201456 memory=8112282956445269571 CPUtime=1.19 cores=0-7 /proc/2832/task/2855/stat : 2855 (java) S 2829 2832 1819 0 -1 1077944384 241 0 0 0 119 0 0 0 20 0 46 0 103696922 16590290944 541215 33554432000 4194304 4196468 140730485546608 140633337062672 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2856] ppid=2829 vsize=16201456 memory=912 CPUtime=2465.65 cores=0-7 /proc/2832/task/2856/stat : 2856 (java) S 2829 2832 1819 0 -1 1077944384 138657 0 0 0 246432 133 0 0 20 0 46 0 103696923 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632704404240 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 65 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2857] ppid=2829 vsize=16201456 memory=4896 CPUtime=0.26 cores=0-7 /proc/2832/task/2857/stat : 2857 (java) S 2829 2832 1819 0 -1 1077944384 56 0 0 0 26 0 0 0 20 0 46 0 103696923 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632703357968 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2858] ppid=2829 vsize=16201456 memory=0 CPUtime=2459.87 cores=0-7 /proc/2832/task/2858/stat : 2858 (java) S 2829 2832 1819 0 -1 1077944384 113050 0 0 0 245875 112 0 0 20 0 46 0 103696925 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632702298640 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 59 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2859] ppid=2829 vsize=16201456 memory=0 CPUtime=2467.62 cores=0-7 /proc/2832/task/2859/stat : 2859 (java) S 2829 2832 1819 0 -1 1077944384 141044 0 0 0 246629 133 0 0 20 0 46 0 103696925 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632701246656 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 70 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2860] ppid=2829 vsize=16201456 memory=280975018481536 CPUtime=1.11 cores=0-7 /proc/2832/task/2860/stat : 2860 (java) S 2829 2832 1819 0 -1 1077944384 55 0 0 0 111 0 0 0 20 0 46 0 103696925 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632700200592 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2861] ppid=2829 vsize=16201456 memory=140487509755057 CPUtime=1.2 cores=0-7 /proc/2832/task/2861/stat : 2861 (java) S 2829 2832 1819 0 -1 1077944384 52 0 0 0 120 0 0 0 20 0 46 0 103696925 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632699147792 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2862] ppid=2829 vsize=16201456 memory=7374760261148304745 CPUtime=0.1 cores=0-7 /proc/2832/task/2862/stat : 2862 (java) S 2829 2832 1819 0 -1 1077944384 46 0 0 0 10 0 0 0 20 0 46 0 103696925 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632698094992 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2863] ppid=2829 vsize=16201456 memory=7594855014056028517 CPUtime=1.06 cores=0-7 /proc/2832/task/2863/stat : 2863 (java) S 2829 2832 1819 0 -1 1077944384 42 0 0 0 106 0 0 0 20 0 46 0 103696926 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632697042192 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2864] ppid=2829 vsize=16201456 memory=7018694428561135721 CPUtime=1.06 cores=0-7 /proc/2832/task/2864/stat : 2864 (java) S 2829 2832 1819 0 -1 1077944384 104 0 0 0 106 0 0 0 20 0 46 0 103696926 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632695989392 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2865] ppid=2829 vsize=16201456 memory=2166712 CPUtime=0.87 cores=0-7 /proc/2832/task/2865/stat : 2865 (java) S 2829 2832 1819 0 -1 1077944384 79 0 0 0 87 0 0 0 20 0 46 0 103696926 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632694936592 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2866] ppid=2829 vsize=16201456 memory=2167224 CPUtime=0.07 cores=0-7 /proc/2832/task/2866/stat : 2866 (java) S 2829 2832 1819 0 -1 1077944384 31 0 0 0 7 0 0 0 20 0 46 0 103696937 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632693883792 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2867] ppid=2829 vsize=16201456 memory=30088 CPUtime=2460.79 cores=0-7 /proc/2832/task/2867/stat : 2867 (java) S 2829 2832 1819 0 -1 1077944384 122096 0 0 0 245963 116 0 0 20 0 46 0 103696960 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632690691664 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2868] ppid=2829 vsize=16201456 memory=1296 CPUtime=0.12 cores=0-7 /proc/2832/task/2868/stat : 2868 (java) S 2829 2832 1819 0 -1 1077944384 144 0 0 0 12 0 0 0 20 0 46 0 103697052 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632689645200 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2869] ppid=2829 vsize=16201456 memory=8112282956445269571 CPUtime=0.05 cores=0-7 /proc/2832/task/2869/stat : 2869 (java) S 2829 2832 1819 0 -1 1077944384 27 0 0 0 5 0 0 0 20 0 46 0 103697053 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632688592400 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2870] ppid=2829 vsize=16201456 memory=288230621803970871 CPUtime=0.49 cores=0-7 /proc/2832/task/2870/stat : 2870 (java) S 2829 2832 1819 0 -1 1077944384 43 0 0 0 49 0 0 0 20 0 46 0 103697053 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632687539600 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2871] ppid=2829 vsize=16201456 memory=13563812485793844 CPUtime=0.18 cores=0-7 /proc/2832/task/2871/stat : 2871 (java) S 2829 2832 1819 0 -1 1077944384 32 0 0 0 18 0 0 0 20 0 46 0 103697053 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632686486800 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2872] ppid=2829 vsize=16201456 memory=4896 CPUtime=0.04 cores=0-7 /proc/2832/task/2872/stat : 2872 (java) S 2829 2832 1819 0 -1 1077944384 26 0 0 0 4 0 0 0 20 0 46 0 103697053 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632685434000 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2873] ppid=2829 vsize=16201456 memory=8112282956445269571 CPUtime=2466.04 cores=0-7 /proc/2832/task/2873/stat : 2873 (java) S 2829 2832 1819 0 -1 1077944384 140844 0 0 0 246478 126 0 0 20 0 46 0 103697054 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632684374448 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 77 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2874] ppid=2829 vsize=16201456 memory=912 CPUtime=0.05 cores=0-7 /proc/2832/task/2874/stat : 2874 (java) S 2829 2832 1819 0 -1 1077944384 63 0 0 0 5 0 0 0 20 0 46 0 103697054 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632683328400 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2875] ppid=2829 vsize=16201456 memory=4896 CPUtime=2463.88 cores=0-7 /proc/2832/task/2875/stat : 2875 (java) S 2829 2832 1819 0 -1 1077944384 130165 0 0 0 246260 128 0 0 20 0 46 0 103697054 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632682270096 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 71 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2876] ppid=2829 vsize=16201456 memory=932 CPUtime=2465.87 cores=0-7 /proc/2832/task/2876/stat : 2876 (java) S 2829 2832 1819 0 -1 1077944384 143622 0 0 0 246453 134 0 0 20 0 46 0 103697056 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632681217296 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 75 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2877] ppid=2829 vsize=16201456 memory=1572 CPUtime=0.04 cores=0-7 /proc/2832/task/2877/stat : 2877 (java) S 2829 2832 1819 0 -1 1077944384 26 0 0 0 4 0 0 0 20 0 46 0 103697057 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632680171024 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 [pid=2832/tid=2878] ppid=2829 vsize=16201456 memory=4144 CPUtime=2460.06 cores=0-7 /proc/2832/task/2878/stat : 2878 (java) S 2829 2832 1819 0 -1 1077944384 121377 0 0 0 245883 123 0 0 20 0 46 0 103697057 16590290944 541215 33554432000 4194304 4196468 140730485546608 140632679111024 140634171836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 68 0 0 6293624 6294260 10964992 140730485552225 140730485552411 140730485552411 140730485555151 0 Current children cumulated CPU time: 19863.1 s Current children cumulated vsize: 16201456 KiB Current children cumulated memory: 2164860 KiB Child status: 143 Real time (s): 2520.13 CPU time (s): 19863.1 CPU user time (s): 19846.2 CPU system time (s): 16.9015 CPU usage (%): 788.177 Max. virtual memory (cumulated for all children) (KiB): 16201456 Max. memory (cumulated for all children) (KiB): 3814844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19846.2 system time used= 16.9015 maximum resident set size= 3816892 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2556012 page faults= 0 swaps= 0 block input operations= 0 block output operations= 5544 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 965194 involuntary context switches= 428880 # summary of solver processes directly reported to runsolver: # pid: 2832 # total CPU time (s): 19863.1 # total CPU user time (s): 19846.2 # total CPU system time (s): 16.9015 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 26.6812 second user time and 35.6661 second system time The end
Begin job on node149 at 2017-08-14 12:08:17 IDJOB=4274915 IDBENCH=124216 IDSOLVER=2668 FILE ID=node149/4274915-1502706156 RUNJOBID= node149-1502702754-1846 PBS_JOBID= 20629013 Free space on /tmp= 61936 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-3.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274915-1502706156/watcher-4274915-1502706156 -o /tmp/evaluation-result-4274915-1502706156/solver-4274915-1502706156 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502702754-1846 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1254183987 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4274915-1502706156.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 058109e0b262c2cf0fdf1876739ed95e RANDOM SEED=1254183987 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.43 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 4 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.43 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.43 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27746236 kB MemAvailable: 31970116 kB Buffers: 294692 kB Cached: 4201988 kB SwapCached: 0 kB Active: 1212016 kB Inactive: 3339072 kB Active(anon): 57288 kB Inactive(anon): 24944 kB Active(file): 1154728 kB Inactive(file): 3314128 kB Unevictable: 6360 kB Mlocked: 6360 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42052 kB Writeback: 0 kB AnonPages: 60700 kB Mapped: 44700 kB Shmem: 25224 kB Slab: 168064 kB SReclaimable: 141716 kB SUnreclaim: 26348 kB KernelStack: 3136 kB PageTables: 4884 kB NFS_Unstable: 44 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61892 MiB End job on node149 at 2017-08-14 12:50:18