Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 158 | 1920.16 | 241.436 |
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 | 2006.21 |
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.00/0.07 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254473-1501683232.xml" -tl '1920s' -p 8 -x 0 0.00/0.26 c [HOME/instance-4254473-1501683232.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.32 c 8 solvers in parallel 0.00/0.39 c parse instance... 0.00/0.91 c solve instance... 5.96/1.41 o 175 7.44/1.61 o 174 8.11/1.78 o 173 9.56/1.92 o 172 10.30/2.04 o 171 11.06/2.17 o 170 12.64/2.32 o 169 13.24/2.48 o 168 14.75/2.61 o 167 15.49/2.76 o 166 16.20/2.89 o 165 17.75/3.02 o 164 18.42/3.17 o 163 19.88/3.30 o 162 20.67/3.42 o 161 21.39/3.56 o 160 22.74/3.70 o 159 23.52/3.81 o 158 1920.16/241.46 s SATISFIABLE 1920.16/241.46 v <instantiation> 1920.16/241.46 v <list>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] </list> 1920.16/241.46 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 2 3 0 0 0 0 0 0 0 2 0 5 0 0 0 0 0 0 0 4 0 5 0 0 0 0 0 0 0 4 0 5 0 0 0 0 0 0 0 4 0 5 0 0 0 0 0 0 0 4 0 5 0 0 0 0 0 0 0 4 0 5 0 0 0 0 0 0 0 4 0 5 0 0 0 0 0 0 0 4 0 5 0 0 0 0 0 0 0 4 0 5 0 0 0 0 0 0 0 3 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 5 0 0 0 0 0 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 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 2 3 0 0 0 0 1 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 5 0 0 0 1 0 0 0 0 0 2 3 0 0 1 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 3 3 0 0 0 0 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 6 0 0 0 0 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 6 0 0 0 0 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 6 0 0 0 0 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 6 0 0 0 0 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 6 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 3 4 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 6 3 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 1920.16/241.46 v </instantiation> 1920.16/241.46 c Unexpected resolution interruption!
OK 158
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254473-1501683232/watcher-4254473-1501683232 -o /tmp/evaluation-result-4254473-1501683232/solver-4254473-1501683232 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1677536428 HOME/instance-4254473-1501683232.xml pid=1426 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 7.27 6.96 6.72 2/172 1429 /proc/meminfo: memFree=31759280/32770624 swapFree=0/254772 [pid=1429] ppid=1426 vsize=23672 CPUtime=0 cores=0-7 /proc/1429/stat : 1429 (runsolver) D 1426 1429 24937 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16943481 24240128 107 18446744073709551615 4194304 4338465 140730187899584 140730187897224 140523947623127 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 33067008 140730187903058 140730187903555 140730187903555 140730187907018 0 /proc/1429/statm: 5918 107 54 36 0 2156 0 [startup+0.100152 s] /proc/loadavg: 7.27 6.96 6.72 2/172 1429 /proc/meminfo: memFree=31759280/32770624 swapFree=0/254772 [pid=1429] ppid=1426 vsize=9512 CPUtime=0 cores=0-7 /proc/1429/stat : 1429 (xcsp3-exec) S 1426 1429 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16943481 9740288 345 18446744073709551615 4194304 5098028 140729043658320 140729043656424 139730277307004 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 14700544 140729043661202 140729043661412 140729043661412 140729043664875 0 /proc/1429/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200295 s] /proc/loadavg: 7.27 6.96 6.72 2/172 1429 /proc/meminfo: memFree=31759280/32770624 swapFree=0/254772 [pid=1429] ppid=1426 vsize=9512 CPUtime=0 cores=0-7 /proc/1429/stat : 1429 (xcsp3-exec) S 1426 1429 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16943481 9740288 345 18446744073709551615 4194304 5098028 140729043658320 140729043656424 139730277307004 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 14700544 140729043661202 140729043661412 140729043661412 140729043664875 0 /proc/1429/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300317 s] /proc/loadavg: 7.27 6.96 6.72 2/172 1429 /proc/meminfo: memFree=31759280/32770624 swapFree=0/254772 [pid=1429] ppid=1426 vsize=9512 CPUtime=0 cores=0-7 /proc/1429/stat : 1429 (xcsp3-exec) S 1426 1429 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16943481 9740288 345 18446744073709551615 4194304 5098028 140729043658320 140729043656424 139730277307004 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 14700544 140729043661202 140729043661412 140729043661412 140729043664875 0 /proc/1429/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700236 s] /proc/loadavg: 7.27 6.96 6.72 2/172 1429 /proc/meminfo: memFree=31759280/32770624 swapFree=0/254772 [pid=1429] ppid=1426 vsize=9512 CPUtime=0 cores=0-7 /proc/1429/stat : 1429 (xcsp3-exec) S 1426 1429 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16943481 9740288 345 18446744073709551615 4194304 5098028 140729043658320 140729043656424 139730277307004 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 14700544 140729043661202 140729043661412 140729043661412 140729043664875 0 /proc/1429/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.5067 s] /proc/loadavg: 7.27 6.96 6.72 13/201 1458 /proc/meminfo: memFree=31612340/32770624 swapFree=0/254776 [pid=1429] ppid=1426 vsize=9512 CPUtime=0 cores=0-7 /proc/1429/stat : 1429 (xcsp3-exec) S 1426 1429 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16943481 9740288 345 18446744073709551615 4194304 5098028 140729043658320 140729043656424 139730277307004 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 14700544 140729043661202 140729043661412 140729043661412 140729043664875 0 /proc/1429/statm: 2378 345 289 221 0 87 0 [pid=1431] ppid=1429 vsize=26534456 CPUtime=6.7 cores=0-7 /proc/1431/stat : 1431 (java) S 1429 1429 24937 0 -1 1077944320 19700 0 0 0 660 10 0 0 20 0 28 0 16943489 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140732377150096 140195942289143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 /proc/1431/statm: 6633614 45212 3216 1 0 6621915 0 [pid=1431/tid=1432] ppid=1429 vsize=26534456 CPUtime=0.78 cores=0-7 /proc/1431/task/1432/stat : 1432 (java) S 1429 1429 24937 0 -1 1077944384 8769 0 0 0 74 4 0 0 20 0 28 0 16943489 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195946529920 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1433] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1433/stat : 1433 (java) S 1429 1429 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195854194960 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1434] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1434/stat : 1434 (java) S 1429 1429 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195503901072 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1435] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1435/stat : 1435 (java) S 1429 1429 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195502848528 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1436] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1436/stat : 1436 (java) S 1429 1429 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195501795984 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1437] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1437/stat : 1437 (java) S 1429 1429 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195500743440 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1438] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1438/stat : 1438 (java) S 1429 1429 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195499690896 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1439] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1439/stat : 1439 (java) S 1429 1429 24937 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195498638352 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1440] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1440/stat : 1440 (java) S 1429 1429 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195497585808 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1441] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1441/stat : 1441 (java) S 1429 1429 24937 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195454728176 140195942300290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1442] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1442/stat : 1442 (java) S 1429 1429 24937 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195453674400 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1443] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1443/stat : 1443 (java) S 1429 1429 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195452621808 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1444] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1444/stat : 1444 (java) S 1429 1429 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16943495 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195451570384 140195942307739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1445] ppid=1429 vsize=26534456 CPUtime=0.73 cores=0-7 /proc/1431/task/1445/stat : 1445 (java) R 1429 1429 24937 0 -1 4202560 2315 0 0 0 73 0 0 0 20 0 28 0 16943495 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195203672856 140195927413934 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1446] ppid=1429 vsize=26534456 CPUtime=0.82 cores=0-7 /proc/1431/task/1446/stat : 1446 (java) R 1429 1429 24937 0 -1 1077944384 1935 0 0 0 82 0 0 0 20 0 28 0 16943495 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195202620016 140195942300290 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1447] ppid=1429 vsize=26534456 CPUtime=0.81 cores=0-7 /proc/1431/task/1447/stat : 1447 (java) S 1429 1429 24937 0 -1 1077944384 2281 0 0 0 80 1 0 0 20 0 28 0 16943495 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195201567472 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1448] ppid=1429 vsize=26534456 CPUtime=0.57 cores=0-7 /proc/1431/task/1448/stat : 1448 (java) S 1429 1429 24937 0 -1 1077944384 2561 0 0 0 57 0 0 0 20 0 28 0 16943495 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195200514928 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1449] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1449/stat : 1449 (java) S 1429 1429 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16943495 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195199461600 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1450] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1450/stat : 1450 (java) R 1429 1429 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16943500 27171282944 45212 18446744073709551615 4194304 4196468 140732377167552 140195198409136 140195942300290 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 Current children cumulated CPU time (s) 6.7 Current children cumulated vsize (KiB) 26543968 [startup+3.10169 s] /proc/loadavg: 7.27 6.96 6.72 10/201 1506 /proc/meminfo: memFree=31554200/32770624 swapFree=0/254776 [pid=1429] ppid=1426 vsize=9512 CPUtime=0 cores=0-7 /proc/1429/stat : 1429 (xcsp3-exec) S 1426 1429 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16943481 9740288 345 18446744073709551615 4194304 5098028 140729043658320 140729043656424 139730277307004 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 14700544 140729043661202 140729043661412 140729043661412 140729043664875 0 /proc/1429/statm: 2378 345 289 221 0 87 0 [pid=1431] ppid=1429 vsize=26534456 CPUtime=18.42 cores=0-7 /proc/1431/stat : 1431 (java) S 1429 1429 24937 0 -1 1077944320 22073 0 0 0 1825 17 0 0 20 0 28 0 16943489 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140732377150096 140195942289143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 /proc/1431/statm: 6633614 54570 3238 1 0 6621915 0 [pid=1431/tid=1432] ppid=1429 vsize=26534456 CPUtime=0.8 cores=0-7 /proc/1431/task/1432/stat : 1432 (java) S 1429 1429 24937 0 -1 1077944384 8770 0 0 0 76 4 0 0 20 0 28 0 16943489 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195946529920 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1433] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1433/stat : 1433 (java) S 1429 1429 24937 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195854194960 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1434] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1434/stat : 1434 (java) S 1429 1429 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195503901072 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1435] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1435/stat : 1435 (java) S 1429 1429 24937 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195502848528 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1436] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1436/stat : 1436 (java) S 1429 1429 24937 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195501795984 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1437] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1437/stat : 1437 (java) S 1429 1429 24937 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195500743440 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1438] ppid=1429 vsize=26534456 CPUtime=0.01 cores=0-7 /proc/1431/task/1438/stat : 1438 (java) S 1429 1429 24937 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 16943490 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195499690896 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1439] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1439/stat : 1439 (java) S 1429 1429 24937 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195498638352 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1440] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1440/stat : 1440 (java) S 1429 1429 24937 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 16943490 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195497585808 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1441] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1441/stat : 1441 (java) S 1429 1429 24937 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195454728176 140195942300290 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1442] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1442/stat : 1442 (java) S 1429 1429 24937 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195453674400 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1443] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1443/stat : 1443 (java) S 1429 1429 24937 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195452621808 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1444] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1444/stat : 1444 (java) S 1429 1429 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16943495 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195451570384 140195942307739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1445] ppid=1429 vsize=26534456 CPUtime=1.1 cores=0-7 /proc/1431/task/1445/stat : 1445 (java) S 1429 1429 24937 0 -1 1077944384 2700 0 0 0 110 0 0 0 20 0 28 0 16943495 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195203672560 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1446] ppid=1429 vsize=26534456 CPUtime=1.2 cores=0-7 /proc/1431/task/1446/stat : 1446 (java) S 1429 1429 24937 0 -1 1077944384 2016 0 0 0 120 0 0 0 20 0 28 0 16943495 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195202620016 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1447] ppid=1429 vsize=26534456 CPUtime=1.05 cores=0-7 /proc/1431/task/1447/stat : 1447 (java) S 1429 1429 24937 0 -1 1077944384 2320 0 0 0 104 1 0 0 20 0 28 0 16943495 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195201567472 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1448] ppid=1429 vsize=26534456 CPUtime=0.64 cores=0-7 /proc/1431/task/1448/stat : 1448 (java) S 1429 1429 24937 0 -1 1077944384 2665 0 0 0 64 0 0 0 20 0 28 0 16943495 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195200514928 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1449] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1449/stat : 1449 (java) S 1429 1429 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16943495 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195199461600 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1450] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1450/stat : 1450 (java) S 1429 1429 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16943500 27171282944 54570 18446744073709551615 4194304 4196468 140732377167552 140195198409136 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 Current children cumulated CPU time (s) 18.42 Current children cumulated vsize (KiB) 26543968 [startup+6.30169 s] /proc/loadavg: 7.17 6.95 6.71 9/201 1602 /proc/meminfo: memFree=31522724/32770624 swapFree=0/254780 [pid=1429] ppid=1426 vsize=9512 CPUtime=0 cores=0-7 /proc/1429/stat : 1429 (xcsp3-exec) S 1426 1429 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16943481 9740288 345 18446744073709551615 4194304 5098028 140729043658320 140729043656424 139730277307004 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 14700544 140729043661202 140729043661412 140729043661412 140729043664875 0 /proc/1429/statm: 2378 345 289 221 0 87 0 [pid=1431] ppid=1429 vsize=26534456 CPUtime=43.37 cores=0-7 /proc/1431/stat : 1431 (java) S 1429 1429 24937 0 -1 1077944320 26468 0 0 0 4309 28 0 0 20 0 28 0 16943489 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140732377150096 140195942289143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 /proc/1431/statm: 6633614 62090 3242 1 0 6621915 0 [pid=1431/tid=1432] ppid=1429 vsize=26534456 CPUtime=0.81 cores=0-7 /proc/1431/task/1432/stat : 1432 (java) S 1429 1429 24937 0 -1 1077944384 8770 0 0 0 77 4 0 0 20 0 28 0 16943489 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195946529920 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1433] ppid=1429 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/1431/task/1433/stat : 1433 (java) S 1429 1429 24937 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 28 0 16943490 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195854194960 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1434] ppid=1429 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/1431/task/1434/stat : 1434 (java) S 1429 1429 24937 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 28 0 16943490 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195503901072 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1435] ppid=1429 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/1431/task/1435/stat : 1435 (java) S 1429 1429 24937 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 16943490 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195502848528 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1436] ppid=1429 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/1431/task/1436/stat : 1436 (java) S 1429 1429 24937 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 16943490 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195501795984 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1437] ppid=1429 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/1431/task/1437/stat : 1437 (java) S 1429 1429 24937 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 28 0 16943490 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195500743440 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1438] ppid=1429 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/1431/task/1438/stat : 1438 (java) S 1429 1429 24937 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 28 0 16943490 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195499690896 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1439] ppid=1429 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/1431/task/1439/stat : 1439 (java) S 1429 1429 24937 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 28 0 16943490 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195498638352 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1440] ppid=1429 vsize=26534456 CPUtime=0.02 cores=0-7 /proc/1431/task/1440/stat : 1440 (java) S 1429 1429 24937 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 28 0 16943490 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195497585808 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1441] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1441/stat : 1441 (java) S 1429 1429 24937 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195454728176 140195942300290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1442] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1442/stat : 1442 (java) S 1429 1429 24937 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195453674464 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1443] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1443/stat : 1443 (java) S 1429 1429 24937 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195452621824 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1444] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1444/stat : 1444 (java) S 1429 1429 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16943495 27171282944 62090 18446744073709551615 4194304 4196468 140732377167552 140195451570384 140195942307739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 ################ # More data... # ################ [pid=1431/tid=1601] ppid=1429 vsize=26534456 CPUtime=158.17 cores=0-7 /proc/1431/task/1601/stat : 1601 (java) R 1429 1429 24937 0 -1 4202560 677 0 0 0 15817 0 0 0 20 0 28 0 16943863 27171282944 64736 18446744073709551615 4194304 4196468 140732377167552 140195183029768 140195539992960 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1602] ppid=1429 vsize=26534456 CPUtime=158.26 cores=0-7 /proc/1431/task/1602/stat : 1602 (java) R 1429 1429 24937 0 -1 4202560 1560 0 0 0 15826 0 0 0 20 0 28 0 16943863 27171282944 64736 18446744073709551615 4194304 4196468 140732377167552 140195187240168 140195539818078 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 Current children cumulated CPU time (s) 1288.57 Current children cumulated vsize (KiB) 26543968 [startup+222.308 s] /proc/loadavg: 8.30 7.58 7.01 9/203 1644 /proc/meminfo: memFree=31512896/32770624 swapFree=0/254880 [pid=1429] ppid=1426 vsize=9512 CPUtime=0 cores=0-7 /proc/1429/stat : 1429 (xcsp3-exec) S 1426 1429 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16943481 9740288 345 18446744073709551615 4194304 5098028 140729043658320 140729043656424 139730277307004 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 14700544 140729043661202 140729043661412 140729043661412 140729043664875 0 /proc/1429/statm: 2378 345 289 221 0 87 0 [pid=1431] ppid=1429 vsize=26534456 CPUtime=1767.7 cores=0-7 /proc/1431/stat : 1431 (java) S 1429 1429 24937 0 -1 1077944320 70418 0 0 0 176715 55 0 0 20 0 28 0 16943489 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140732377150096 140195942289143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 /proc/1431/statm: 6633614 64594 3252 1 0 6621915 0 [pid=1431/tid=1432] ppid=1429 vsize=26534456 CPUtime=0.81 cores=0-7 /proc/1431/task/1432/stat : 1432 (java) S 1429 1429 24937 0 -1 1077944384 8770 0 0 0 77 4 0 0 20 0 28 0 16943489 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195946529920 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1433] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1433/stat : 1433 (java) S 1429 1429 24937 0 -1 1077944384 471 0 0 0 6 3 0 0 20 0 28 0 16943490 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195854194960 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1434] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1434/stat : 1434 (java) S 1429 1429 24937 0 -1 1077944384 275 0 0 0 6 3 0 0 20 0 28 0 16943490 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195503901072 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1435] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1435/stat : 1435 (java) S 1429 1429 24937 0 -1 1077944384 1036 0 0 0 5 4 0 0 20 0 28 0 16943490 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195502848528 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1436] ppid=1429 vsize=26534456 CPUtime=0.1 cores=0-7 /proc/1431/task/1436/stat : 1436 (java) S 1429 1429 24937 0 -1 1077944384 1247 0 0 0 6 4 0 0 20 0 28 0 16943490 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195501795984 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1437] ppid=1429 vsize=26534456 CPUtime=0.1 cores=0-7 /proc/1431/task/1437/stat : 1437 (java) S 1429 1429 24937 0 -1 1077944384 702 0 0 0 6 4 0 0 20 0 28 0 16943490 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195500743440 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1438] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1438/stat : 1438 (java) S 1429 1429 24937 0 -1 1077944384 2039 0 0 0 5 4 0 0 20 0 28 0 16943490 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195499690896 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1439] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1439/stat : 1439 (java) S 1429 1429 24937 0 -1 1077944384 1187 0 0 0 6 3 0 0 20 0 28 0 16943490 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195498638352 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1440] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1440/stat : 1440 (java) S 1429 1429 24937 0 -1 1077944384 747 0 0 0 6 3 0 0 20 0 28 0 16943490 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195497585808 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1441] ppid=1429 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/1431/task/1441/stat : 1441 (java) S 1429 1429 24937 0 -1 1077944384 2213 0 0 0 3 0 0 0 20 0 28 0 16943492 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195454728176 140195942300290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1442] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1442/stat : 1442 (java) S 1429 1429 24937 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195453674464 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1443] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1443/stat : 1443 (java) S 1429 1429 24937 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195452621824 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1444] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1444/stat : 1444 (java) S 1429 1429 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16943495 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195451570384 140195942307739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1445] ppid=1429 vsize=26534456 CPUtime=1.57 cores=0-7 /proc/1431/task/1445/stat : 1445 (java) S 1429 1429 24937 0 -1 1077944384 8014 0 0 0 156 1 0 0 20 0 28 0 16943495 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195203672560 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1446] ppid=1429 vsize=26534456 CPUtime=1.81 cores=0-7 /proc/1431/task/1446/stat : 1446 (java) S 1429 1429 24937 0 -1 1077944384 8653 0 0 0 180 1 0 0 20 0 28 0 16943495 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195202620016 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1447] ppid=1429 vsize=26534456 CPUtime=1.61 cores=0-7 /proc/1431/task/1447/stat : 1447 (java) S 1429 1429 24937 0 -1 1077944384 8821 0 0 0 159 2 0 0 20 0 28 0 16943495 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195201567472 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1448] ppid=1429 vsize=26534456 CPUtime=0.73 cores=0-7 /proc/1431/task/1448/stat : 1448 (java) S 1429 1429 24937 0 -1 1077944384 6287 0 0 0 72 1 0 0 20 0 28 0 16943495 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195200514928 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1449] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1449/stat : 1449 (java) S 1429 1429 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16943495 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195199461600 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1450] ppid=1429 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/1431/task/1450/stat : 1450 (java) S 1429 1429 24937 0 -1 1077944384 595 0 0 0 0 3 0 0 20 0 28 0 16943500 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195198409136 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1595] ppid=1429 vsize=26534456 CPUtime=218.07 cores=0-7 /proc/1431/task/1595/stat : 1595 (java) R 1429 1429 24937 0 -1 4202560 948 0 0 0 21807 0 0 0 20 0 28 0 16943863 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195188292032 140195539992981 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1596] ppid=1429 vsize=26534456 CPUtime=217.03 cores=0-7 /proc/1431/task/1596/stat : 1596 (java) R 1429 1429 24937 0 -1 4202560 929 0 0 0 21703 0 0 0 20 0 28 0 16943863 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195190398856 140195535081596 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1597] ppid=1429 vsize=26534456 CPUtime=218.27 cores=0-7 /proc/1431/task/1597/stat : 1597 (java) R 1429 1429 24937 0 -1 4202560 1603 0 0 0 21827 0 0 0 20 0 28 0 16943863 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195185135624 140195535081596 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1598] ppid=1429 vsize=26534456 CPUtime=216.71 cores=0-7 /proc/1431/task/1598/stat : 1598 (java) R 1429 1429 24937 0 -1 4202560 6079 0 0 0 21667 4 0 0 20 0 28 0 16943863 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195189349440 140195535081607 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1599] ppid=1429 vsize=26534456 CPUtime=218.3 cores=0-7 /proc/1431/task/1599/stat : 1599 (java) R 1429 1429 24937 0 -1 4202560 641 0 0 0 21830 0 0 0 20 0 28 0 16943863 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195186188552 140195535081596 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1600] ppid=1429 vsize=26534456 CPUtime=216.97 cores=0-7 /proc/1431/task/1600/stat : 1600 (java) R 1429 1429 24937 0 -1 4202560 2653 0 0 0 21697 0 0 0 20 0 28 0 16943863 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195184083336 140195540065452 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1601] ppid=1429 vsize=26534456 CPUtime=218.16 cores=0-7 /proc/1431/task/1601/stat : 1601 (java) R 1429 1429 24937 0 -1 4202560 737 0 0 0 21816 0 0 0 20 0 28 0 16943863 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195183029768 140195535081596 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1602] ppid=1429 vsize=26534456 CPUtime=218.26 cores=0-7 /proc/1431/task/1602/stat : 1602 (java) R 1429 1429 24937 0 -1 4202560 1708 0 0 0 21825 1 0 0 20 0 28 0 16943863 27171282944 64594 18446744073709551615 4194304 4196468 140732377167552 140195187240328 140195540065408 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 Current children cumulated CPU time (s) 1767.7 Current children cumulated vsize (KiB) 26543968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+241.402 s] /proc/loadavg: 8.44 7.65 7.05 9/203 1644 /proc/meminfo: memFree=31513332/32770624 swapFree=0/254884 [pid=1429] ppid=1426 vsize=9512 CPUtime=0 cores=0-7 /proc/1429/stat : 1429 (xcsp3-exec) S 1426 1429 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16943481 9740288 345 18446744073709551615 4194304 5098028 140729043658320 140729043656424 139730277307004 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 14700544 140729043661202 140729043661412 140729043661412 140729043664875 0 /proc/1429/statm: 2378 345 289 221 0 87 0 [pid=1431] ppid=1429 vsize=26534456 CPUtime=1920.16 cores=0-7 /proc/1431/stat : 1431 (java) S 1429 1429 24937 0 -1 1077944320 71568 0 0 0 191960 56 0 0 20 0 28 0 16943489 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140732377150096 140195942289143 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 /proc/1431/statm: 6633614 64337 3252 1 0 6621915 0 [pid=1431/tid=1432] ppid=1429 vsize=26534456 CPUtime=0.81 cores=0-7 /proc/1431/task/1432/stat : 1432 (java) S 1429 1429 24937 0 -1 1077944384 8770 0 0 0 77 4 0 0 20 0 28 0 16943489 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195946529920 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1433] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1433/stat : 1433 (java) S 1429 1429 24937 0 -1 1077944384 475 0 0 0 6 3 0 0 20 0 28 0 16943490 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195854194960 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1434] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1434/stat : 1434 (java) S 1429 1429 24937 0 -1 1077944384 316 0 0 0 6 3 0 0 20 0 28 0 16943490 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195503901072 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1435] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1435/stat : 1435 (java) S 1429 1429 24937 0 -1 1077944384 1394 0 0 0 5 4 0 0 20 0 28 0 16943490 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195502848528 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1436] ppid=1429 vsize=26534456 CPUtime=0.1 cores=0-7 /proc/1431/task/1436/stat : 1436 (java) S 1429 1429 24937 0 -1 1077944384 1282 0 0 0 6 4 0 0 20 0 28 0 16943490 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195501795984 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1437] ppid=1429 vsize=26534456 CPUtime=0.1 cores=0-7 /proc/1431/task/1437/stat : 1437 (java) S 1429 1429 24937 0 -1 1077944384 708 0 0 0 6 4 0 0 20 0 28 0 16943490 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195500743440 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1438] ppid=1429 vsize=26534456 CPUtime=0.1 cores=0-7 /proc/1431/task/1438/stat : 1438 (java) S 1429 1429 24937 0 -1 1077944384 2044 0 0 0 6 4 0 0 20 0 28 0 16943490 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195499690896 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1439] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1439/stat : 1439 (java) S 1429 1429 24937 0 -1 1077944384 1257 0 0 0 6 3 0 0 20 0 28 0 16943490 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195498638352 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1440] ppid=1429 vsize=26534456 CPUtime=0.09 cores=0-7 /proc/1431/task/1440/stat : 1440 (java) S 1429 1429 24937 0 -1 1077944384 798 0 0 0 6 3 0 0 20 0 28 0 16943490 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195497585808 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1441] ppid=1429 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/1431/task/1441/stat : 1441 (java) S 1429 1429 24937 0 -1 1077944384 2470 0 0 0 3 0 0 0 20 0 28 0 16943492 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195454728176 140195942300290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1442] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1442/stat : 1442 (java) S 1429 1429 24937 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195453674464 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1443] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1443/stat : 1443 (java) S 1429 1429 24937 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 16943492 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195452621824 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1444] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1444/stat : 1444 (java) S 1429 1429 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16943495 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195451570384 140195942307739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1445] ppid=1429 vsize=26534456 CPUtime=1.57 cores=0-7 /proc/1431/task/1445/stat : 1445 (java) S 1429 1429 24937 0 -1 1077944384 8014 0 0 0 156 1 0 0 20 0 28 0 16943495 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195203672560 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1446] ppid=1429 vsize=26534456 CPUtime=1.81 cores=0-7 /proc/1431/task/1446/stat : 1446 (java) S 1429 1429 24937 0 -1 1077944384 8653 0 0 0 180 1 0 0 20 0 28 0 16943495 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195202620016 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1447] ppid=1429 vsize=26534456 CPUtime=1.61 cores=0-7 /proc/1431/task/1447/stat : 1447 (java) S 1429 1429 24937 0 -1 1077944384 8821 0 0 0 159 2 0 0 20 0 28 0 16943495 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195201567472 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1448] ppid=1429 vsize=26534456 CPUtime=0.73 cores=0-7 /proc/1431/task/1448/stat : 1448 (java) S 1429 1429 24937 0 -1 1077944384 6287 0 0 0 72 1 0 0 20 0 28 0 16943495 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195200514928 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1449] ppid=1429 vsize=26534456 CPUtime=0 cores=0-7 /proc/1431/task/1449/stat : 1449 (java) S 1429 1429 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16943495 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195199461600 140195942299349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1450] ppid=1429 vsize=26534456 CPUtime=0.03 cores=0-7 /proc/1431/task/1450/stat : 1450 (java) S 1429 1429 24937 0 -1 1077944384 595 0 0 0 0 3 0 0 20 0 28 0 16943500 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195198409136 140195942300290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1595] ppid=1429 vsize=26534456 CPUtime=237.16 cores=0-7 /proc/1431/task/1595/stat : 1595 (java) R 1429 1429 24937 0 -1 4202560 948 0 0 0 23716 0 0 0 20 0 28 0 16943863 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195188292000 140195539992981 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1596] ppid=1429 vsize=26534456 CPUtime=236.12 cores=0-7 /proc/1431/task/1596/stat : 1596 (java) R 1429 1429 24937 0 -1 4202560 933 0 0 0 23612 0 0 0 20 0 28 0 16943863 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195190398856 140195539993038 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1597] ppid=1429 vsize=26534456 CPUtime=237.36 cores=0-7 /proc/1431/task/1597/stat : 1597 (java) R 1429 1429 24937 0 -1 4202560 1611 0 0 0 23736 0 0 0 20 0 28 0 16943863 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195185135624 140195540685892 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1598] ppid=1429 vsize=26534456 CPUtime=235.53 cores=0-7 /proc/1431/task/1598/stat : 1598 (java) R 1429 1429 24937 0 -1 4202560 6368 0 0 0 23549 4 0 0 20 0 28 0 16943863 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195189349056 140195535081622 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1599] ppid=1429 vsize=26534456 CPUtime=237.39 cores=0-7 /proc/1431/task/1599/stat : 1599 (java) R 1429 1429 24937 0 -1 4202560 645 0 0 0 23739 0 0 0 20 0 28 0 16943863 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195186188552 140195535081596 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1600] ppid=1429 vsize=26534456 CPUtime=236.06 cores=0-7 /proc/1431/task/1600/stat : 1600 (java) R 1429 1429 24937 0 -1 4202560 2662 0 0 0 23606 0 0 0 20 0 28 0 16943863 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195184083336 140195540065452 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1601] ppid=1429 vsize=26534456 CPUtime=237.25 cores=0-7 /proc/1431/task/1601/stat : 1601 (java) R 1429 1429 24937 0 -1 4202560 740 0 0 0 23725 0 0 0 20 0 28 0 16943863 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195183029768 140195535081596 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 [pid=1431/tid=1602] ppid=1429 vsize=26534456 CPUtime=237.35 cores=0-7 /proc/1431/task/1602/stat : 1602 (java) R 1429 1429 24937 0 -1 4202560 1714 0 0 0 23734 1 0 0 20 0 28 0 16943863 27171282944 64337 18446744073709551615 4194304 4196468 140732377167552 140195187240328 140195540798220 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140732377174480 140732377174656 140732377174656 140732377178063 0 Current children cumulated CPU time (s) 1920.16 Current children cumulated vsize (KiB) 26543968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 1431 sig 9 ??? kill 1429 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1429 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1785 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=217 # CPU time returned by wait4() is 0.002002 # while last known CPU time is 1920.16 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 241.436 CPU time (s): 1920.16 CPU user time (s): 1919.6 CPU system time (s): 0.56 CPU usage (%): 795.309 Max. virtual memory (cumulated for all children) (KiB): 26543968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001785 system time used= 0.000217 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.56478 second user time and 1.83205 second system time The end
Begin job on node131 at 2017-08-02 15:59:55 IDJOB=4254473 IDBENCH=124216 IDSOLVER=2636 FILE ID=node131/4254473-1501683232 RUNJOBID= node131-1501676534-24993 PBS_JOBID= Free space on /tmp= 61944 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254473-1501683232/watcher-4254473-1501683232 -o /tmp/evaluation-result-4254473-1501683232/solver-4254473-1501683232 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1677536428 HOME/instance-4254473-1501683232.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 058109e0b262c2cf0fdf1876739ed95e RANDOM SEED=1677536428 node131.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 : 5334.07 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 : 5334.07 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 : 5334.07 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 : 5334.07 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: 31759916 kB MemAvailable: 32013444 kB Buffers: 135720 kB Cached: 405828 kB SwapCached: 0 kB Active: 327844 kB Inactive: 271496 kB Active(anon): 58084 kB Inactive(anon): 16724 kB Active(file): 269760 kB Inactive(file): 254772 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7588 kB Writeback: 4 kB AnonPages: 57552 kB Mapped: 30728 kB Shmem: 17064 kB Slab: 114292 kB SReclaimable: 89664 kB SUnreclaim: 24628 kB KernelStack: 3120 kB PageTables: 4340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 290056 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61936 MiB End job on node131 at 2017-08-02 16:03:57