Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 158 | 2400.11 | 302.212 |
| 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.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246188-1500687090.xml" -tl '2400s' -p 8 -x 3 0.00/0.19 c [HOME/instance-4246188-1500687090.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.25 c 8 solvers in parallel 0.00/0.31 c parse instance... 0.00/0.90 c solve instance... 8.01/1.69 o 175 11.92/2.20 o 174 14.24/2.49 o 173 15.77/2.65 o 172 17.33/2.88 o 171 19.68/3.11 o 170 21.22/3.31 o 169 22.01/3.49 o 168 24.25/3.70 o 167 26.55/4.01 o 166 28.82/4.33 o 165 29.69/4.50 o 164 31.87/4.79 o 163 33.37/4.97 o 162 34.89/5.13 o 161 36.40/5.31 o 160 37.11/5.48 o 159 38.82/5.65 o 158 2400.11/302.25 s SATISFIABLE 2400.11/302.25 v <instantiation> 2400.11/302.25 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> 2400.11/302.25 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> 2400.11/302.25 v </instantiation> 2400.11/302.25 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-4246188-1500687090/watcher-4246188-1500687090 -o /tmp/evaluation-result-4246188-1500687090/solver-4246188-1500687090 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2136326530 HOME/instance-4246188-1500687090.xml pid=22345 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 15.61 14.65 14.17 10/273 22348 /proc/meminfo: memFree=31057548/32770624 swapFree=5884/244976 [pid=22348] ppid=22345 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22348/stat : 22348 (xcsp3-exec) S 22345 22348 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3976752 9740288 346 33554432000 4194304 5098028 140723295443664 140723295441768 140009435959932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29036544 140723295446158 140723295446368 140723295446368 140723295449067 0 /proc/22348/statm: 2378 346 289 221 0 87 0 [startup+0.100138 s] /proc/loadavg: 15.61 14.65 14.17 10/273 22348 /proc/meminfo: memFree=31057548/32770624 swapFree=5884/244976 [pid=22348] ppid=22345 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22348/stat : 22348 (xcsp3-exec) S 22345 22348 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3976752 9740288 346 33554432000 4194304 5098028 140723295443664 140723295441768 140009435959932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29036544 140723295446158 140723295446368 140723295446368 140723295449067 0 /proc/22348/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200332 s] /proc/loadavg: 15.61 14.65 14.17 10/273 22348 /proc/meminfo: memFree=31057548/32770624 swapFree=5884/244976 [pid=22348] ppid=22345 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22348/stat : 22348 (xcsp3-exec) S 22345 22348 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3976752 9740288 346 33554432000 4194304 5098028 140723295443664 140723295441768 140009435959932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29036544 140723295446158 140723295446368 140723295446368 140723295449067 0 /proc/22348/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300216 s] /proc/loadavg: 15.61 14.65 14.17 10/273 22348 /proc/meminfo: memFree=31057548/32770624 swapFree=5884/244976 [pid=22348] ppid=22345 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22348/stat : 22348 (xcsp3-exec) S 22345 22348 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3976752 9740288 346 33554432000 4194304 5098028 140723295443664 140723295441768 140009435959932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29036544 140723295446158 140723295446368 140723295446368 140723295449067 0 /proc/22348/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.70021 s] /proc/loadavg: 15.61 14.65 14.17 10/273 22348 /proc/meminfo: memFree=31057548/32770624 swapFree=5884/244976 [pid=22348] ppid=22345 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22348/stat : 22348 (xcsp3-exec) S 22345 22348 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3976752 9740288 346 33554432000 4194304 5098028 140723295443664 140723295441768 140009435959932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29036544 140723295446158 140723295446368 140723295446368 140723295449067 0 /proc/22348/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50151 s] /proc/loadavg: 15.16 14.58 14.15 20/302 22377 /proc/meminfo: memFree=30909436/32770624 swapFree=5884/245000 [pid=22348] ppid=22345 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22348/stat : 22348 (xcsp3-exec) S 22345 22348 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3976752 9740288 346 33554432000 4194304 5098028 140723295443664 140723295441768 140009435959932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29036544 140723295446158 140723295446368 140723295446368 140723295449067 0 /proc/22348/statm: 2378 346 289 221 0 87 0 [pid=22349] ppid=22348 vsize=13801768 CPUtime=7.2 cores=0,2,4,6,8,10,12,14 /proc/22349/stat : 22349 (java) S 22348 22348 8571 0 -1 1077944320 17960 0 0 0 711 9 0 0 20 0 28 0 3976752 14133010432 41279 33554432000 4194304 4196468 140727040548928 140727040531472 139670550941431 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 /proc/22349/statm: 3450442 41279 3226 1 0 3437675 0 [pid=22349/tid=22350] ppid=22348 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22350/stat : 22350 (java) S 22348 22348 8571 0 -1 1077944384 6418 0 0 0 85 4 0 0 20 0 28 0 3976753 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670555182208 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22352] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22352/stat : 22352 (java) S 22348 22348 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3976754 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670469421584 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22353] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22353/stat : 22353 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976754 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670468369040 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22354] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22354/stat : 22354 (java) S 22348 22348 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3976754 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670467315984 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22355] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22355/stat : 22355 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976754 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670466263440 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22356] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22356/stat : 22356 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976754 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670465211408 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22357] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22357/stat : 22357 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976754 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670464158864 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22358] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22358/stat : 22358 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976754 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670463105808 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22359] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22359/stat : 22359 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976754 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670462053264 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22360] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22360/stat : 22360 (java) S 22348 22348 8571 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3976756 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670013225200 139670550952578 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22361] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22361/stat : 22361 (java) S 22348 22348 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3976757 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670012171424 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22362] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22362/stat : 22362 (java) S 22348 22348 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3976757 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670011118320 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22363] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22363/stat : 22363 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976761 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670010066896 139670550960027 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22364] ppid=22348 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22364/stat : 22364 (java) R 22348 22348 8571 0 -1 4202560 2017 0 0 0 89 0 0 0 20 0 28 0 3976761 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670009000904 139670535338107 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22365] ppid=22348 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22365/stat : 22365 (java) R 22348 22348 8571 0 -1 4202560 2302 0 0 0 83 1 0 0 20 0 28 0 3976761 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670007943496 139670532117340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22366] ppid=22348 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22366/stat : 22366 (java) R 22348 22348 8571 0 -1 4202560 2748 0 0 0 84 0 0 0 20 0 28 0 3976761 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670006893976 139670536049170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22367] ppid=22348 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22367/stat : 22367 (java) S 22348 22348 8571 0 -1 1077944384 2810 0 0 0 72 1 0 0 20 0 28 0 3976761 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670005856720 139670550962621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22368] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22368/stat : 22368 (java) S 22348 22348 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3976761 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670004804064 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22369] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22369/stat : 22369 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976762 14133010432 41279 33554432000 4194304 4196468 140727040548928 139670003751600 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22370] ppid=22348 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22370/stat : 22370 (java) R 22348 22348 8571 0 -1 4202560 51 0 0 0 30 0 0 0 20 0 28 0 3976844 14133010432 41279 33554432000 4194304 4196468 140727040548928 139669995737864 139670143221021 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22371] ppid=22348 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22371/stat : 22371 (java) R 22348 22348 8571 0 -1 4202560 45 0 0 0 40 0 0 0 20 0 28 0 3976844 14133010432 41279 33554432000 4194304 4196468 140727040548928 139669994686280 139670550953366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22372] ppid=22348 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22372/stat : 22372 (java) R 22348 22348 8571 0 -1 4202560 53 0 0 0 32 0 0 0 20 0 28 0 3976844 14133010432 41279 33554432000 4194304 4196468 140727040548928 139669993632216 139670144498529 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22373] ppid=22348 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22373/stat : 22373 (java) R 22348 22348 8571 0 -1 4202560 71 0 0 0 46 0 0 0 20 0 28 0 3976844 14133010432 41279 33554432000 4194304 4196468 140727040548928 139669992581832 139670144012003 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22374] ppid=22348 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22374/stat : 22374 (java) R 22348 22348 8571 0 -1 4202560 35 0 0 0 35 0 0 0 20 0 28 0 3976844 14133010432 41279 33554432000 4194304 4196468 140727040548928 139669991526376 139670530000106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22375] ppid=22348 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22375/stat : 22375 (java) R 22348 22348 8571 0 -1 4202560 31 0 0 0 34 0 0 0 20 0 28 0 3976844 14133010432 41279 33554432000 4194304 4196468 140727040548928 139669990473944 139670143959476 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22376] ppid=22348 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22376/stat : 22376 (java) R 22348 22348 8571 0 -1 4202560 32 0 0 0 33 0 0 0 20 0 28 0 3976844 14133010432 41279 33554432000 4194304 4196468 140727040548928 139669989423544 139670143862262 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22377] ppid=22348 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22377/stat : 22377 (java) R 22348 22348 8571 0 -1 4202560 37 0 0 0 42 0 0 0 20 0 28 0 3976844 14133010432 41279 33554432000 4194304 4196468 140727040548928 139669786317968 139670143825759 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 Current children cumulated CPU time (s) 7.2 Current children cumulated vsize (KiB) 13811280 [startup+3.10125 s] /proc/loadavg: 15.16 14.58 14.15 13/302 22385 /proc/meminfo: memFree=30874968/32770624 swapFree=5884/245000 [pid=22348] ppid=22345 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22348/stat : 22348 (xcsp3-exec) S 22345 22348 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3976752 9740288 346 33554432000 4194304 5098028 140723295443664 140723295441768 140009435959932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29036544 140723295446158 140723295446368 140723295446368 140723295449067 0 /proc/22348/statm: 2378 346 289 221 0 87 0 [pid=22349] ppid=22348 vsize=13801768 CPUtime=19.68 cores=0,2,4,6,8,10,12,14 /proc/22349/stat : 22349 (java) S 22348 22348 8571 0 -1 1077944320 31974 0 0 0 1947 21 0 0 20 0 28 0 3976752 14133010432 57740 33554432000 4194304 4196468 140727040548928 140727040531472 139670550941431 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 /proc/22349/statm: 3450442 57740 3270 1 0 3437675 0 [pid=22349/tid=22350] ppid=22348 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22350/stat : 22350 (java) S 22348 22348 8571 0 -1 1077944384 6485 0 0 0 86 4 0 0 20 0 28 0 3976753 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670555182208 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22352] ppid=22348 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22352/stat : 22352 (java) S 22348 22348 8571 0 -1 1077944384 43 0 0 0 1 1 0 0 20 0 28 0 3976754 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670469421584 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22353] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22353/stat : 22353 (java) S 22348 22348 8571 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3976754 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670468369040 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22354] ppid=22348 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22354/stat : 22354 (java) S 22348 22348 8571 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 28 0 3976754 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670467315984 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22355] ppid=22348 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22355/stat : 22355 (java) S 22348 22348 8571 0 -1 1077944384 226 0 0 0 1 1 0 0 20 0 28 0 3976754 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670466263440 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22356] ppid=22348 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22356/stat : 22356 (java) S 22348 22348 8571 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 28 0 3976754 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670465211408 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22357] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22357/stat : 22357 (java) S 22348 22348 8571 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3976754 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670464158864 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22358] ppid=22348 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22358/stat : 22358 (java) S 22348 22348 8571 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 28 0 3976754 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670463105808 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22359] ppid=22348 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22359/stat : 22359 (java) S 22348 22348 8571 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 28 0 3976754 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670462053264 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22360] ppid=22348 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22360/stat : 22360 (java) S 22348 22348 8571 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 28 0 3976756 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670013225200 139670550952578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22361] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22361/stat : 22361 (java) S 22348 22348 8571 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3976757 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670012171424 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22362] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22362/stat : 22362 (java) S 22348 22348 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3976757 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670011118320 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22363] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22363/stat : 22363 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976761 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670010066896 139670550960027 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22364] ppid=22348 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22364/stat : 22364 (java) S 22348 22348 8571 0 -1 1077944384 4046 0 0 0 177 0 0 0 20 0 28 0 3976761 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670009015024 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22365] ppid=22348 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22365/stat : 22365 (java) S 22348 22348 8571 0 -1 1077944384 8536 0 0 0 159 2 0 0 20 0 28 0 3976761 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670007962480 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22366] ppid=22348 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22366/stat : 22366 (java) S 22348 22348 8571 0 -1 1077944384 5881 0 0 0 167 0 0 0 20 0 28 0 3976761 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670006909424 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22367] ppid=22348 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22367/stat : 22367 (java) S 22348 22348 8571 0 -1 1077944384 3335 0 0 0 94 2 0 0 20 0 28 0 3976761 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670005856880 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22368] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22368/stat : 22368 (java) S 22348 22348 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3976761 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670004804064 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22369] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22369/stat : 22369 (java) S 22348 22348 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3976762 14133010432 57740 33554432000 4194304 4196468 140727040548928 139670003751600 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 Current children cumulated CPU time (s) 19.68 Current children cumulated vsize (KiB) 13811280 [startup+6.3013 s] /proc/loadavg: 15.14 14.58 14.16 17/302 22513 /proc/meminfo: memFree=30813432/32770624 swapFree=5884/245028 [pid=22348] ppid=22345 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22348/stat : 22348 (xcsp3-exec) S 22345 22348 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3976752 9740288 346 33554432000 4194304 5098028 140723295443664 140723295441768 140009435959932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29036544 140723295446158 140723295446368 140723295446368 140723295449067 0 /proc/22348/statm: 2378 346 289 221 0 87 0 [pid=22349] ppid=22348 vsize=13801768 CPUtime=44.12 cores=0,2,4,6,8,10,12,14 /proc/22349/stat : 22349 (java) S 22348 22348 8571 0 -1 1077944320 37202 0 0 0 4376 36 0 0 20 0 28 0 3976752 14133010432 65771 33554432000 4194304 4196468 140727040548928 140727040531472 139670550941431 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 /proc/22349/statm: 3450442 65771 3276 1 0 3437675 0 [pid=22349/tid=22350] ppid=22348 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22350/stat : 22350 (java) S 22348 22348 8571 0 -1 1077944384 6579 0 0 0 88 4 0 0 20 0 28 0 3976753 14133010432 65771 33554432000 4194304 4196468 140727040548928 139670555182208 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22352] ppid=22348 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22352/stat : 22352 (java) S 22348 22348 8571 0 -1 1077944384 57 0 0 0 1 1 0 0 20 0 28 0 3976754 14133010432 65771 33554432000 4194304 4196468 140727040548928 139670469421584 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22353] ppid=22348 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22353/stat : 22353 (java) S 22348 22348 8571 0 -1 1077944384 58 0 0 0 1 2 0 0 20 0 28 0 3976754 14133010432 65771 33554432000 4194304 4196468 140727040548928 139670468369040 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22354] ppid=22348 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22354/stat : 22354 (java) S 22348 22348 8571 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 28 0 3976754 14133010432 65771 33554432000 4194304 4196468 140727040548928 139670467315984 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22355] ppid=22348 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22355/stat : 22355 (java) S 22348 22348 8571 0 -1 1077944384 244 0 0 0 2 2 0 0 20 0 28 0 3976754 14133010432 65771 33554432000 4194304 4196468 140727040548928 139670466263440 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 ################ # More data... # ################ [pid=22349/tid=22520] ppid=22348 vsize=13801768 CPUtime=215.94 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22520/stat : 22520 (java) R 22348 22348 8571 0 -1 4202560 448 0 0 0 21594 0 0 0 20 0 28 0 3977318 14133010432 97894 33554432000 4194304 4196468 140727040548928 139669993631560 139670144498529 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22521] ppid=22348 vsize=13801768 CPUtime=215.89 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22521/stat : 22521 (java) R 22348 22348 8571 0 -1 4202560 927 0 0 0 21589 0 0 0 20 0 28 0 3977318 14133010432 97894 33554432000 4194304 4196468 140727040548928 139669994683760 139670144905607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 Current children cumulated CPU time (s) 1764.09 Current children cumulated vsize (KiB) 13811280 [startup+282.302 s] /proc/loadavg: 16.27 15.63 14.71 18/304 22664 /proc/meminfo: memFree=31020900/32770624 swapFree=5884/271296 [pid=22348] ppid=22345 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22348/stat : 22348 (xcsp3-exec) S 22345 22348 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3976752 9740288 346 33554432000 4194304 5098028 140723295443664 140723295441768 140009435959932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29036544 140723295446158 140723295446368 140723295446368 140723295449067 0 /proc/22348/statm: 2378 346 289 221 0 87 0 [pid=22349] ppid=22348 vsize=13801768 CPUtime=2241.67 cores=0,2,4,6,8,10,12,14 /proc/22349/stat : 22349 (java) S 22348 22348 8571 0 -1 1077944320 81897 0 0 0 224083 84 0 0 20 0 28 0 3976752 14133010432 97380 33554432000 4194304 4196468 140727040548928 140727040531472 139670550941431 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 /proc/22349/statm: 3450442 97380 3286 1 0 3437675 0 [pid=22349/tid=22350] ppid=22348 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22350/stat : 22350 (java) S 22348 22348 8571 0 -1 1077944384 6579 0 0 0 88 4 0 0 20 0 28 0 3976753 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670555182208 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22352] ppid=22348 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22352/stat : 22352 (java) S 22348 22348 8571 0 -1 1077944384 830 0 0 0 7 4 0 0 20 0 28 0 3976754 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670469421584 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22353] ppid=22348 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22353/stat : 22353 (java) S 22348 22348 8571 0 -1 1077944384 389 0 0 0 8 5 0 0 20 0 28 0 3976754 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670468369040 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22354] ppid=22348 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22354/stat : 22354 (java) S 22348 22348 8571 0 -1 1077944384 1136 0 0 0 8 5 0 0 20 0 28 0 3976754 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670467315984 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22355] ppid=22348 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22355/stat : 22355 (java) S 22348 22348 8571 0 -1 1077944384 1045 0 0 0 9 5 0 0 20 0 28 0 3976754 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670466263440 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22356] ppid=22348 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22356/stat : 22356 (java) S 22348 22348 8571 0 -1 1077944384 2186 0 0 0 8 5 0 0 20 0 28 0 3976754 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670465211408 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22357] ppid=22348 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22357/stat : 22357 (java) S 22348 22348 8571 0 -1 1077944384 1581 0 0 0 9 4 0 0 20 0 28 0 3976754 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670464158864 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22358] ppid=22348 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22358/stat : 22358 (java) S 22348 22348 8571 0 -1 1077944384 747 0 0 0 9 4 0 0 20 0 28 0 3976754 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670463105808 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22359] ppid=22348 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22359/stat : 22359 (java) S 22348 22348 8571 0 -1 1077944384 471 0 0 0 9 6 0 0 20 0 28 0 3976754 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670462053264 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22360] ppid=22348 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22360/stat : 22360 (java) S 22348 22348 8571 0 -1 1077944384 2048 0 0 0 5 4 0 0 20 0 28 0 3976756 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670013225200 139670550952578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22361] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22361/stat : 22361 (java) S 22348 22348 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3976757 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670012171488 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22362] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22362/stat : 22362 (java) S 22348 22348 8571 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3976757 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670011118336 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22363] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22363/stat : 22363 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976761 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670010066896 139670550960027 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22364] ppid=22348 vsize=13801768 CPUtime=2.83 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22364/stat : 22364 (java) S 22348 22348 8571 0 -1 1077944384 10325 0 0 0 281 2 0 0 20 0 28 0 3976761 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670009015024 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22365] ppid=22348 vsize=13801768 CPUtime=2.87 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22365/stat : 22365 (java) S 22348 22348 8571 0 -1 1077944384 16246 0 0 0 284 3 0 0 20 0 28 0 3976761 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670007962480 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22366] ppid=22348 vsize=13801768 CPUtime=3.27 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22366/stat : 22366 (java) S 22348 22348 8571 0 -1 1077944384 13600 0 0 0 326 1 0 0 20 0 28 0 3976761 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670006909424 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22367] ppid=22348 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22367/stat : 22367 (java) S 22348 22348 8571 0 -1 1077944384 8281 0 0 0 113 2 0 0 20 0 28 0 3976761 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670005856880 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22368] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22368/stat : 22368 (java) S 22348 22348 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3976761 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670004804064 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22369] ppid=22348 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22369/stat : 22369 (java) S 22348 22348 8571 0 -1 1077944384 357 0 0 0 6 6 0 0 20 0 28 0 3976762 14133010432 97380 33554432000 4194304 4196468 140727040548928 139670003751600 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22514] ppid=22348 vsize=13801768 CPUtime=273.17 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22514/stat : 22514 (java) R 22348 22348 8571 0 -1 4202560 1272 0 0 0 27317 0 0 0 20 0 28 0 3977318 14133010432 97380 33554432000 4194304 4196468 140727040548928 139669990472152 139670144498441 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22515] ppid=22348 vsize=13801768 CPUtime=275.94 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22515/stat : 22515 (java) R 22348 22348 8571 0 -1 4202560 652 0 0 0 27594 0 0 0 20 0 28 0 3977318 14133010432 97380 33554432000 4194304 4196468 140727040548928 139669989420840 139670144498862 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22516] ppid=22348 vsize=13801768 CPUtime=275.91 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22516/stat : 22516 (java) R 22348 22348 8571 0 -1 4202560 2886 0 0 0 27590 1 0 0 20 0 28 0 3977318 14133010432 97380 33554432000 4194304 4196468 140727040548928 139669995740064 139670144953079 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22517] ppid=22348 vsize=13801768 CPUtime=273.23 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22517/stat : 22517 (java) R 22348 22348 8571 0 -1 4202560 2783 0 0 0 27320 3 0 0 20 0 28 0 3977318 14133010432 97380 33554432000 4194304 4196468 140727040548928 139669991527064 139670144498529 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22518] ppid=22348 vsize=13801768 CPUtime=273.55 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22518/stat : 22518 (java) R 22348 22348 8571 0 -1 4202560 938 0 0 0 27354 1 0 0 20 0 28 0 3977318 14133010432 97380 33554432000 4194304 4196468 140727040548928 139669992579240 139670144498524 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22519] ppid=22348 vsize=13801768 CPUtime=275.89 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22519/stat : 22519 (java) R 22348 22348 8571 0 -1 4202560 588 0 0 0 27586 3 0 0 20 0 28 0 3977318 14133010432 97380 33554432000 4194304 4196468 140727040548928 139669786317096 139670144904542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22520] ppid=22348 vsize=13801768 CPUtime=275.86 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22520/stat : 22520 (java) R 22348 22348 8571 0 -1 4202560 522 0 0 0 27586 0 0 0 20 0 28 0 3977318 14133010432 97380 33554432000 4194304 4196468 140727040548928 139669993631280 139670144953139 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22521] ppid=22348 vsize=13801768 CPUtime=275.79 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22521/stat : 22521 (java) R 22348 22348 8571 0 -1 4202560 978 0 0 0 27579 0 0 0 20 0 28 0 3977318 14133010432 97380 33554432000 4194304 4196468 140727040548928 139669994684328 139670144498307 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 Current children cumulated CPU time (s) 2241.67 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+302.202 s] /proc/loadavg: 16.72 15.77 14.78 17/301 22672 /proc/meminfo: memFree=30964952/32770624 swapFree=5884/272648 [pid=22348] ppid=22345 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22348/stat : 22348 (xcsp3-exec) S 22345 22348 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3976752 9740288 346 33554432000 4194304 5098028 140723295443664 140723295441768 140009435959932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29036544 140723295446158 140723295446368 140723295446368 140723295449067 0 /proc/22348/statm: 2378 346 289 221 0 87 0 [pid=22349] ppid=22348 vsize=13801768 CPUtime=2400.11 cores=0,2,4,6,8,10,12,14 /proc/22349/stat : 22349 (java) S 22348 22348 8571 0 -1 1077944320 83672 0 0 0 239926 85 0 0 20 0 28 0 3976752 14133010432 96615 33554432000 4194304 4196468 140727040548928 140727040531472 139670550941431 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 /proc/22349/statm: 3450442 96615 3286 1 0 3437675 0 [pid=22349/tid=22350] ppid=22348 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22350/stat : 22350 (java) S 22348 22348 8571 0 -1 1077944384 6579 0 0 0 88 4 0 0 20 0 28 0 3976753 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670555182208 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22352] ppid=22348 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22352/stat : 22352 (java) S 22348 22348 8571 0 -1 1077944384 831 0 0 0 7 4 0 0 20 0 28 0 3976754 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670469421584 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22353] ppid=22348 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22353/stat : 22353 (java) S 22348 22348 8571 0 -1 1077944384 389 0 0 0 8 5 0 0 20 0 28 0 3976754 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670468369040 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22354] ppid=22348 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22354/stat : 22354 (java) S 22348 22348 8571 0 -1 1077944384 1143 0 0 0 9 5 0 0 20 0 28 0 3976754 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670467315984 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22355] ppid=22348 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22355/stat : 22355 (java) S 22348 22348 8571 0 -1 1077944384 1045 0 0 0 9 5 0 0 20 0 28 0 3976754 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670466263440 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22356] ppid=22348 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22356/stat : 22356 (java) S 22348 22348 8571 0 -1 1077944384 2192 0 0 0 8 5 0 0 20 0 28 0 3976754 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670465211408 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22357] ppid=22348 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22357/stat : 22357 (java) S 22348 22348 8571 0 -1 1077944384 1583 0 0 0 9 5 0 0 20 0 28 0 3976754 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670464158864 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22358] ppid=22348 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22358/stat : 22358 (java) S 22348 22348 8571 0 -1 1077944384 751 0 0 0 9 5 0 0 20 0 28 0 3976754 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670463105808 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22359] ppid=22348 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22359/stat : 22359 (java) S 22348 22348 8571 0 -1 1077944384 476 0 0 0 9 6 0 0 20 0 28 0 3976754 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670462053264 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22360] ppid=22348 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22360/stat : 22360 (java) S 22348 22348 8571 0 -1 1077944384 2050 0 0 0 5 4 0 0 20 0 28 0 3976756 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670013225200 139670550952578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22361] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22361/stat : 22361 (java) S 22348 22348 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3976757 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670012171488 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22362] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22362/stat : 22362 (java) S 22348 22348 8571 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3976757 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670011118336 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22363] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22363/stat : 22363 (java) S 22348 22348 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3976761 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670010066896 139670550960027 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22364] ppid=22348 vsize=13801768 CPUtime=2.84 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22364/stat : 22364 (java) S 22348 22348 8571 0 -1 1077944384 10548 0 0 0 282 2 0 0 20 0 28 0 3976761 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670009015024 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22365] ppid=22348 vsize=13801768 CPUtime=2.87 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22365/stat : 22365 (java) S 22348 22348 8571 0 -1 1077944384 16246 0 0 0 284 3 0 0 20 0 28 0 3976761 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670007962480 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22366] ppid=22348 vsize=13801768 CPUtime=3.31 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22366/stat : 22366 (java) S 22348 22348 8571 0 -1 1077944384 14554 0 0 0 330 1 0 0 20 0 28 0 3976761 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670006909424 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22367] ppid=22348 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22367/stat : 22367 (java) S 22348 22348 8571 0 -1 1077944384 8476 0 0 0 113 2 0 0 20 0 28 0 3976761 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670005856880 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22368] ppid=22348 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22368/stat : 22368 (java) S 22348 22348 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3976761 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670004804064 139670550951637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22369] ppid=22348 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22369/stat : 22369 (java) S 22348 22348 8571 0 -1 1077944384 363 0 0 0 6 7 0 0 20 0 28 0 3976762 14133010432 96615 33554432000 4194304 4196468 140727040548928 139670003751600 139670550952578 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22514] ppid=22348 vsize=13801768 CPUtime=293.04 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22514/stat : 22514 (java) R 22348 22348 8571 0 -1 4202560 1331 0 0 0 29304 0 0 0 20 0 28 0 3977318 14133010432 96615 33554432000 4194304 4196468 140727040548928 139669990472120 139670145232704 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22515] ppid=22348 vsize=13801768 CPUtime=295.79 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22515/stat : 22515 (java) R 22348 22348 8571 0 -1 4202560 668 0 0 0 29579 0 0 0 20 0 28 0 3977318 14133010432 96615 33554432000 4194304 4196468 140727040548928 139669989420952 139670144498594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22516] ppid=22348 vsize=13801768 CPUtime=295.78 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22516/stat : 22516 (java) R 22348 22348 8571 0 -1 4202560 3030 0 0 0 29577 1 0 0 20 0 28 0 3977318 14133010432 96615 33554432000 4194304 4196468 140727040548928 139669995737384 139670144498508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22517] ppid=22348 vsize=13801768 CPUtime=292.53 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22517/stat : 22517 (java) R 22348 22348 8571 0 -1 4202560 2801 0 0 0 29250 3 0 0 20 0 28 0 3977318 14133010432 96615 33554432000 4194304 4196468 140727040548928 139669991526824 139670144498529 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22518] ppid=22348 vsize=13801768 CPUtime=293.43 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22518/stat : 22518 (java) R 22348 22348 8571 0 -1 4202560 1047 0 0 0 29342 1 0 0 20 0 28 0 3977318 14133010432 96615 33554432000 4194304 4196468 140727040548928 139669992582032 139670144904272 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22519] ppid=22348 vsize=13801768 CPUtime=295.74 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22519/stat : 22519 (java) R 22348 22348 8571 0 -1 4202560 589 0 0 0 29571 3 0 0 20 0 28 0 3977318 14133010432 96615 33554432000 4194304 4196468 140727040548928 139669786316720 139670145078694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22520] ppid=22348 vsize=13801768 CPUtime=295.71 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22520/stat : 22520 (java) R 22348 22348 8571 0 -1 4202560 533 0 0 0 29571 0 0 0 20 0 28 0 3977318 14133010432 96615 33554432000 4194304 4196468 140727040548928 139669993631560 139670144498594 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 [pid=22349/tid=22521] ppid=22348 vsize=13801768 CPUtime=295.67 cores=0,2,4,6,8,10,12,14 /proc/22349/task/22521/stat : 22521 (java) R 22348 22348 8571 0 -1 4202560 990 0 0 0 29567 0 0 0 20 0 28 0 3977318 14133010432 96615 33554432000 4194304 4196468 140727040548928 139669994684008 139670144498826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140727040550076 140727040550252 140727040550252 140727040552911 0 Current children cumulated CPU time (s) 2400.11 Current children cumulated vsize (KiB) 13811280 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 22349 sig 9 ??? kill 22348 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 22348 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2964 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1037 # CPU time returned by wait4() is 0.004001 # while last known CPU time is 2400.11 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 302.212 CPU time (s): 2400.11 CPU user time (s): 2399.26 CPU system time (s): 0.85 CPU usage (%): 794.18 Max. virtual memory (cumulated for all children) (KiB): 13813216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002964 system time used= 0.001037 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 518 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 3.96529 second user time and 4.87545 second system time The end
Begin job on node126 at 2017-07-22 03:31:30 IDJOB=4246188 IDBENCH=124216 IDSOLVER=2626 FILE ID=node126/4246188-1500687090 RUNJOBID= node126-1500683384-8602 PBS_JOBID= 20623339 Free space on /tmp= 61976 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246188-1500687090/watcher-4246188-1500687090 -o /tmp/evaluation-result-4246188-1500687090/solver-4246188-1500687090 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2136326530 HOME/instance-4246188-1500687090.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 058109e0b262c2cf0fdf1876739ed95e RANDOM SEED=2136326530 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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 : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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 : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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 : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31058000 kB MemAvailable: 31110028 kB Buffers: 50912 kB Cached: 311840 kB SwapCached: 0 kB Active: 1084844 kB Inactive: 253644 kB Active(anon): 978652 kB Inactive(anon): 8668 kB Active(file): 106192 kB Inactive(file): 244976 kB Unevictable: 5884 kB Mlocked: 5884 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8064 kB Writeback: 0 kB AnonPages: 1100516 kB Mapped: 42588 kB Shmem: 8872 kB Slab: 66976 kB SReclaimable: 33388 kB SUnreclaim: 33588 kB KernelStack: 5200 kB PageTables: 7932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2306336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 978944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61968 MiB End job on node126 at 2017-07-22 03:36:32