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 4.0.5 (2017-07-05) | SAT (TO) | 158 | 2400.38 | 302.312 |
| 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.04 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246187-1500686797.xml" -tl '2400s' -p 8 -x 0 0.00/0.25 c [HOME/instance-4246187-1500686797.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.30 c 8 solvers in parallel 0.00/0.37 c parse instance... 0.00/0.93 c solve instance... 6.86/1.57 o 175 11.38/2.10 o 174 13.01/2.37 o 173 15.21/2.69 o 172 18.33/3.03 o 171 19.84/3.27 o 170 21.47/3.50 o 169 23.70/3.72 o 168 26.00/4.03 o 167 29.20/4.47 o 166 32.99/4.97 o 165 34.51/5.19 o 164 36.82/5.47 o 163 39.02/5.70 o 162 40.57/5.95 o 161 42.72/6.25 o 160 45.04/6.54 o 159 45.86/6.71 o 158 2400.38/302.34 s SATISFIABLE 2400.38/302.34 v <instantiation> 2400.38/302.34 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.38/302.34 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.38/302.34 v </instantiation> 2400.38/302.34 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-4246187-1500686797/watcher-4246187-1500686797 -o /tmp/evaluation-result-4246187-1500686797/solver-4246187-1500686797 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 609467714 HOME/instance-4246187-1500686797.xml pid=32208 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 15.06 15.21 14.58 10/271 32211 /proc/meminfo: memFree=31313156/32770624 swapFree=5800/241524 [pid=32211] ppid=32208 vsize=23104 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32211/stat : 32211 (runsolver) D 32208 32211 7621 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 3947499 23658496 103 33554432000 4194304 4338465 140722636451280 140722636448920 139980493202135 0 0 4096 24578 18446744071580418449 0 0 17 9 0 0 0 0 0 6438912 6441760 31219712 140722636456782 140722636457279 140722636457279 140722636459978 0 /proc/32211/statm: 5776 103 54 36 0 2156 0 [startup+0.100124 s] /proc/loadavg: 15.06 15.21 14.58 10/271 32211 /proc/meminfo: memFree=31313156/32770624 swapFree=5800/241524 [pid=32211] ppid=32208 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32211/stat : 32211 (xcsp3-exec) S 32208 32211 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3947499 9740288 346 33554432000 4194304 5098028 140728620314944 140728620313048 139765514982012 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 3 0 0 7196144 7232144 27131904 140728620323983 140728620324192 140728620324192 140728620326891 0 /proc/32211/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200345 s] /proc/loadavg: 15.06 15.21 14.58 10/271 32211 /proc/meminfo: memFree=31313156/32770624 swapFree=5800/241524 [pid=32211] ppid=32208 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32211/stat : 32211 (xcsp3-exec) S 32208 32211 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3947499 9740288 346 33554432000 4194304 5098028 140728620314944 140728620313048 139765514982012 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 3 0 0 7196144 7232144 27131904 140728620323983 140728620324192 140728620324192 140728620326891 0 /proc/32211/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300305 s] /proc/loadavg: 15.06 15.21 14.58 10/271 32211 /proc/meminfo: memFree=31313156/32770624 swapFree=5800/241524 [pid=32211] ppid=32208 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32211/stat : 32211 (xcsp3-exec) S 32208 32211 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3947499 9740288 346 33554432000 4194304 5098028 140728620314944 140728620313048 139765514982012 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 3 0 0 7196144 7232144 27131904 140728620323983 140728620324192 140728620324192 140728620326891 0 /proc/32211/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700226 s] /proc/loadavg: 15.06 15.21 14.58 10/271 32211 /proc/meminfo: memFree=31313156/32770624 swapFree=5800/241524 [pid=32211] ppid=32208 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32211/stat : 32211 (xcsp3-exec) S 32208 32211 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3947499 9740288 346 33554432000 4194304 5098028 140728620314944 140728620313048 139765514982012 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 3 0 0 7196144 7232144 27131904 140728620323983 140728620324192 140728620324192 140728620326891 0 /proc/32211/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50171 s] /proc/loadavg: 15.06 15.21 14.58 20/300 32240 /proc/meminfo: memFree=31166508/32770624 swapFree=5800/241604 [pid=32211] ppid=32208 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32211/stat : 32211 (xcsp3-exec) S 32208 32211 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3947499 9740288 346 33554432000 4194304 5098028 140728620314944 140728620313048 139765514982012 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 3 0 0 7196144 7232144 27131904 140728620323983 140728620324192 140728620324192 140728620326891 0 /proc/32211/statm: 2378 346 289 221 0 87 0 [pid=32213] ppid=32211 vsize=13801768 CPUtime=6.86 cores=1,3,5,7,9,11,13,15 /proc/32213/stat : 32213 (java) S 32211 32211 7621 0 -1 1077944320 16994 0 0 0 677 9 0 0 20 0 28 0 3947503 14133010432 39900 33554432000 4194304 4196468 140736370283584 140736370266128 139704402308855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 /proc/32213/statm: 3450442 39900 3243 1 0 3437675 0 [pid=32213/tid=32214] ppid=32211 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32214/stat : 32214 (java) S 32211 32211 7621 0 -1 1077944384 6964 0 0 0 84 4 0 0 20 0 28 0 3947503 14133010432 39900 33554432000 4194304 4196468 140736370283584 139704406549632 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32215] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32215/stat : 32215 (java) S 32211 32211 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3947504 14133010432 39900 33554432000 4194304 4196468 140736370283584 139704354929168 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32216] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32216/stat : 32216 (java) S 32211 32211 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3947504 14133010432 39900 33554432000 4194304 4196468 140736370283584 139704353876624 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32217] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32217/stat : 32217 (java) S 32211 32211 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3947504 14133010432 39900 33554432000 4194304 4196468 140736370283584 139704352823568 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32218] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32218/stat : 32218 (java) S 32211 32211 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3947504 14133010432 39900 33554432000 4194304 4196468 140736370283584 139704351771024 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32219] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32219/stat : 32219 (java) S 32211 32211 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3947504 14133010432 39900 33554432000 4194304 4196468 140736370283584 139704350718992 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32220] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32220/stat : 32220 (java) S 32211 32211 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3947504 14133010432 39900 33554432000 4194304 4196468 140736370283584 139704349666448 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32221] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32221/stat : 32221 (java) S 32211 32211 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3947504 14133010432 39900 33554432000 4194304 4196468 140736370283584 139704348613392 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32222] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32222/stat : 32222 (java) S 32211 32211 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3947504 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703994481552 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32223] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32223/stat : 32223 (java) S 32211 32211 7621 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3947507 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703596153072 139704402320002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32224] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32224/stat : 32224 (java) S 32211 32211 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3947507 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703595099296 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32225] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32225/stat : 32225 (java) S 32211 32211 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3947508 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703594046192 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32226] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32226/stat : 32226 (java) S 32211 32211 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3947512 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703592994768 139704402327451 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32227] ppid=32211 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32227/stat : 32227 (java) R 32211 32211 7621 0 -1 4202560 2049 0 0 0 78 0 0 0 20 0 28 0 3947512 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703591936088 139704394549840 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32228] ppid=32211 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32228/stat : 32228 (java) R 32211 32211 7621 0 -1 4202560 1654 0 0 0 81 0 0 0 20 0 28 0 3947512 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703590871552 139704402322728 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32229] ppid=32211 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32229/stat : 32229 (java) R 32211 32211 7621 0 -1 4202560 1958 0 0 0 83 0 0 0 20 0 28 0 3947512 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703589825536 139704385840338 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32230] ppid=32211 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32230/stat : 32230 (java) S 32211 32211 7621 0 -1 1077944384 2707 0 0 0 69 1 0 0 20 0 28 0 3947512 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703588784752 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32231] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32231/stat : 32231 (java) S 32211 32211 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3947512 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703587731936 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32232] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32232/stat : 32232 (java) S 32211 32211 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3947513 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703586679472 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32233] ppid=32211 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32233/stat : 32233 (java) R 32211 32211 7621 0 -1 4202560 56 0 0 0 42 0 0 0 20 0 28 0 3947594 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703578665312 139704028917216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32234] ppid=32211 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32234/stat : 32234 (java) R 32211 32211 7621 0 -1 4202560 45 0 0 0 25 0 0 0 20 0 28 0 3947594 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703577612672 139704029762732 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32235] ppid=32211 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32235/stat : 32235 (java) R 32211 32211 7621 0 -1 4202560 42 0 0 0 37 0 0 0 20 0 28 0 3947594 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703576559912 139704034848823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32236] ppid=32211 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32236/stat : 32236 (java) R 32211 32211 7621 0 -1 4202560 69 0 0 0 30 0 0 0 20 0 28 0 3947594 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703575506512 139704394542720 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32237] ppid=32211 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32237/stat : 32237 (java) R 32211 32211 7621 0 -1 4202560 31 0 0 0 32 0 0 0 20 0 28 0 3947594 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703574454200 139704029762732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32238] ppid=32211 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32238/stat : 32238 (java) R 32211 32211 7621 0 -1 4202560 34 0 0 0 38 0 0 0 20 0 28 0 3947594 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703573400984 139704033789312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32239] ppid=32211 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32239/stat : 32239 (java) R 32211 32211 7621 0 -1 4202560 33 0 0 0 38 0 0 0 20 0 28 0 3947594 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703572349032 139704029762743 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32240] ppid=32211 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32240/stat : 32240 (java) R 32211 32211 7621 0 -1 4202560 41 0 0 0 33 0 0 0 20 0 28 0 3947594 14133010432 39900 33554432000 4194304 4196468 140736370283584 139703571295672 139704034548198 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 Current children cumulated CPU time (s) 6.86 Current children cumulated vsize (KiB) 13811280 [startup+3.10136 s] /proc/loadavg: 15.06 15.21 14.58 18/300 32256 /proc/meminfo: memFree=31107520/32770624 swapFree=5800/241604 [pid=32211] ppid=32208 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32211/stat : 32211 (xcsp3-exec) S 32208 32211 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3947499 9740288 346 33554432000 4194304 5098028 140728620314944 140728620313048 139765514982012 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 3 0 0 7196144 7232144 27131904 140728620323983 140728620324192 140728620324192 140728620326891 0 /proc/32211/statm: 2378 346 289 221 0 87 0 [pid=32213] ppid=32211 vsize=13801768 CPUtime=19.04 cores=1,3,5,7,9,11,13,15 /proc/32213/stat : 32213 (java) S 32211 32211 7621 0 -1 1077944320 25262 0 0 0 1880 24 0 0 20 0 28 0 3947503 14133010432 53497 33554432000 4194304 4196468 140736370283584 140736370266128 139704402308855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 /proc/32213/statm: 3450442 53497 3281 1 0 3437675 0 [pid=32213/tid=32214] ppid=32211 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32214/stat : 32214 (java) S 32211 32211 7621 0 -1 1077944384 7099 0 0 0 85 4 0 0 20 0 28 0 3947503 14133010432 53497 33554432000 4194304 4196468 140736370283584 139704406549632 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32215] ppid=32211 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32215/stat : 32215 (java) S 32211 32211 7621 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 3947504 14133010432 53497 33554432000 4194304 4196468 140736370283584 139704354929168 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32216] ppid=32211 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32216/stat : 32216 (java) S 32211 32211 7621 0 -1 1077944384 250 0 0 0 1 1 0 0 20 0 28 0 3947504 14133010432 53497 33554432000 4194304 4196468 140736370283584 139704353876624 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32217] ppid=32211 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32217/stat : 32217 (java) S 32211 32211 7621 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 3947504 14133010432 53497 33554432000 4194304 4196468 140736370283584 139704352823568 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32218] ppid=32211 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32218/stat : 32218 (java) S 32211 32211 7621 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 3947504 14133010432 53497 33554432000 4194304 4196468 140736370283584 139704351771024 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32219] ppid=32211 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32219/stat : 32219 (java) S 32211 32211 7621 0 -1 1077944384 46 0 0 0 1 1 0 0 20 0 28 0 3947504 14133010432 53497 33554432000 4194304 4196468 140736370283584 139704350718992 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32220] ppid=32211 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32220/stat : 32220 (java) S 32211 32211 7621 0 -1 1077944384 109 0 0 0 1 1 0 0 20 0 28 0 3947504 14133010432 53497 33554432000 4194304 4196468 140736370283584 139704349666448 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32221] ppid=32211 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32221/stat : 32221 (java) S 32211 32211 7621 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 3947504 14133010432 53497 33554432000 4194304 4196468 140736370283584 139704348613392 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32222] ppid=32211 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32222/stat : 32222 (java) S 32211 32211 7621 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 28 0 3947504 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703994481552 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32223] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32223/stat : 32223 (java) S 32211 32211 7621 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 28 0 3947507 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703596153072 139704402320002 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32224] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32224/stat : 32224 (java) S 32211 32211 7621 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3947507 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703595099296 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32225] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32225/stat : 32225 (java) S 32211 32211 7621 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3947508 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703594046192 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32226] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32226/stat : 32226 (java) S 32211 32211 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3947512 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703592994768 139704402327451 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32227] ppid=32211 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32227/stat : 32227 (java) S 32211 32211 7621 0 -1 1077944384 2810 0 0 0 121 1 0 0 20 0 28 0 3947512 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703591942896 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32228] ppid=32211 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32228/stat : 32228 (java) R 32211 32211 7621 0 -1 4202560 2370 0 0 0 133 0 0 0 20 0 28 0 3947512 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703590890352 139704381528518 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32229] ppid=32211 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32229/stat : 32229 (java) R 32211 32211 7621 0 -1 4202560 5032 0 0 0 135 1 0 0 20 0 28 0 3947512 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703589837296 139704402330202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32230] ppid=32211 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32230/stat : 32230 (java) S 32211 32211 7621 0 -1 1077944384 3873 0 0 0 87 1 0 0 20 0 28 0 3947512 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703588784752 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32231] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32231/stat : 32231 (java) S 32211 32211 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3947512 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703587731936 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32232] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32232/stat : 32232 (java) S 32211 32211 7621 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 3947513 14133010432 53497 33554432000 4194304 4196468 140736370283584 139703586679472 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 Current children cumulated CPU time (s) 19.04 Current children cumulated vsize (KiB) 13811280 [startup+6.30139 s] /proc/loadavg: 15.30 15.26 14.59 19/300 32344 /proc/meminfo: memFree=31080096/32770624 swapFree=5800/241608 [pid=32211] ppid=32208 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32211/stat : 32211 (xcsp3-exec) S 32208 32211 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3947499 9740288 346 33554432000 4194304 5098028 140728620314944 140728620313048 139765514982012 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 3 0 0 7196144 7232144 27131904 140728620323983 140728620324192 140728620324192 140728620326891 0 /proc/32211/statm: 2378 346 289 221 0 87 0 [pid=32213] ppid=32211 vsize=13801768 CPUtime=43.45 cores=1,3,5,7,9,11,13,15 /proc/32213/stat : 32213 (java) S 32211 32211 7621 0 -1 1077944320 38592 0 0 0 4301 44 0 0 20 0 28 0 3947503 14133010432 65320 33554432000 4194304 4196468 140736370283584 140736370266128 139704402308855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 /proc/32213/statm: 3450442 65320 3284 1 0 3437675 0 [pid=32213/tid=32214] ppid=32211 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32214/stat : 32214 (java) S 32211 32211 7621 0 -1 1077944384 7165 0 0 0 87 4 0 0 20 0 28 0 3947503 14133010432 65320 33554432000 4194304 4196468 140736370283584 139704406549632 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32215] ppid=32211 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32215/stat : 32215 (java) S 32211 32211 7621 0 -1 1077944384 46 0 0 0 4 2 0 0 20 0 28 0 3947504 14133010432 65320 33554432000 4194304 4196468 140736370283584 139704354929168 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32216] ppid=32211 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32216/stat : 32216 (java) S 32211 32211 7621 0 -1 1077944384 269 0 0 0 4 2 0 0 20 0 28 0 3947504 14133010432 65320 33554432000 4194304 4196468 140736370283584 139704353876624 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32217] ppid=32211 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32217/stat : 32217 (java) S 32211 32211 7621 0 -1 1077944384 43 0 0 0 3 3 0 0 20 0 28 0 3947504 14133010432 65320 33554432000 4194304 4196468 140736370283584 139704352823568 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32218] ppid=32211 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32218/stat : 32218 (java) S 32211 32211 7621 0 -1 1077944384 40 0 0 0 2 2 0 0 20 0 28 0 3947504 14133010432 65320 33554432000 4194304 4196468 140736370283584 139704351771024 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 ################ # More data... # ################ [pid=32213/tid=32383] ppid=32211 vsize=13801768 CPUtime=274.65 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32383/stat : 32383 (java) R 32211 32211 7621 0 -1 4202560 664 0 0 0 27465 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703578664824 139704034586704 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32384] ppid=32211 vsize=13801768 CPUtime=273.77 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32384/stat : 32384 (java) R 32211 32211 7621 0 -1 4202560 817 0 0 0 27377 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703576559384 139704034413501 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 Current children cumulated CPU time (s) 2241.07 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+302.302 s] /proc/loadavg: 16.05 15.77 15.00 17/301 32593 /proc/meminfo: memFree=31300772/32770624 swapFree=5800/242060 [pid=32211] ppid=32208 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32211/stat : 32211 (xcsp3-exec) S 32208 32211 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3947499 9740288 346 33554432000 4194304 5098028 140728620314944 140728620313048 139765514982012 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 3 0 0 7196144 7232144 27131904 140728620323983 140728620324192 140728620324192 140728620326891 0 /proc/32211/statm: 2378 346 289 221 0 87 0 [pid=32213] ppid=32211 vsize=13801768 CPUtime=2400.38 cores=1,3,5,7,9,11,13,15 /proc/32213/stat : 32213 (java) S 32211 32211 7621 0 -1 1077944320 81983 0 0 0 239948 90 0 0 20 0 28 0 3947503 14133010432 99104 33554432000 4194304 4196468 140736370283584 140736370266128 139704402308855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 /proc/32213/statm: 3450442 99104 3289 1 0 3437675 0 [pid=32213/tid=32214] ppid=32211 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32214/stat : 32214 (java) S 32211 32211 7621 0 -1 1077944384 7167 0 0 0 87 4 0 0 20 0 28 0 3947503 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704406549632 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32215] ppid=32211 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32215/stat : 32215 (java) S 32211 32211 7621 0 -1 1077944384 1260 0 0 0 10 4 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704354929168 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32216] ppid=32211 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32216/stat : 32216 (java) S 32211 32211 7621 0 -1 1077944384 1166 0 0 0 11 5 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704353876624 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32217] ppid=32211 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32217/stat : 32217 (java) S 32211 32211 7621 0 -1 1077944384 267 0 0 0 10 6 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704352823568 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32218] ppid=32211 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32218/stat : 32218 (java) S 32211 32211 7621 0 -1 1077944384 1244 0 0 0 8 5 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704351771024 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32219] ppid=32211 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32219/stat : 32219 (java) S 32211 32211 7621 0 -1 1077944384 1970 0 0 0 10 5 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704350718992 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32220] ppid=32211 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32220/stat : 32220 (java) S 32211 32211 7621 0 -1 1077944384 375 0 0 0 10 5 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704349666448 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32221] ppid=32211 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32221/stat : 32221 (java) S 32211 32211 7621 0 -1 1077944384 1318 0 0 0 10 6 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704348613392 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32222] ppid=32211 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32222/stat : 32222 (java) S 32211 32211 7621 0 -1 1077944384 460 0 0 0 10 6 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703994481552 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32223] ppid=32211 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32223/stat : 32223 (java) S 32211 32211 7621 0 -1 1077944384 2122 0 0 0 4 4 0 0 20 0 28 0 3947507 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703596153072 139704402320002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32224] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32224/stat : 32224 (java) S 32211 32211 7621 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3947507 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703595099360 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32225] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32225/stat : 32225 (java) S 32211 32211 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3947508 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703594046208 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32226] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32226/stat : 32226 (java) S 32211 32211 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703592994768 139704402327451 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32227] ppid=32211 vsize=13801768 CPUtime=3.45 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32227/stat : 32227 (java) S 32211 32211 7621 0 -1 1077944384 12976 0 0 0 342 3 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703591942896 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32228] ppid=32211 vsize=13801768 CPUtime=3.28 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32228/stat : 32228 (java) S 32211 32211 7621 0 -1 1077944384 11285 0 0 0 326 2 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703590890352 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32229] ppid=32211 vsize=13801768 CPUtime=3.25 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32229/stat : 32229 (java) S 32211 32211 7621 0 -1 1077944384 16431 0 0 0 322 3 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703589837296 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32230] ppid=32211 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32230/stat : 32230 (java) S 32211 32211 7621 0 -1 1077944384 7312 0 0 0 104 2 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703588784752 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32231] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32231/stat : 32231 (java) S 32211 32211 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703587731936 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32232] ppid=32211 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32232/stat : 32232 (java) S 32211 32211 7621 0 -1 1077944384 1388 0 0 0 7 10 0 0 20 0 28 0 3947513 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703586679472 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32377] ppid=32211 vsize=13801768 CPUtime=294.04 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32377/stat : 32377 (java) R 32211 32211 7621 0 -1 4202560 1207 0 0 0 29404 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703571294728 139704034413501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32378] ppid=32211 vsize=13801768 CPUtime=292.71 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32378/stat : 32378 (java) R 32211 32211 7621 0 -1 4202560 427 0 0 0 29271 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703575506776 139704034882716 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32379] ppid=32211 vsize=13801768 CPUtime=294.79 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32379/stat : 32379 (java) R 32211 32211 7621 0 -1 4202560 2515 0 0 0 29479 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703573402504 139704034413245 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32380] ppid=32211 vsize=13801768 CPUtime=294.51 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32380/stat : 32380 (java) R 32211 32211 7621 0 -1 4202560 2682 0 0 0 29448 3 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703574457408 139704029762743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32381] ppid=32211 vsize=13801768 CPUtime=290.82 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32381/stat : 32381 (java) R 32211 32211 7621 0 -1 4202560 933 0 0 0 29082 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703577612408 139704036987780 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32382] ppid=32211 vsize=13801768 CPUtime=294.41 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32382/stat : 32382 (java) R 32211 32211 7621 0 -1 4202560 516 0 0 0 29440 1 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703572349176 139704034413184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32383] ppid=32211 vsize=13801768 CPUtime=294.59 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32383/stat : 32383 (java) R 32211 32211 7621 0 -1 4202560 665 0 0 0 29459 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703578664824 139704029762791 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32384] ppid=32211 vsize=13801768 CPUtime=293.75 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32384/stat : 32384 (java) R 32211 32211 7621 0 -1 4202560 824 0 0 0 29375 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703576559384 139704034413349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 Current children cumulated CPU time (s) 2400.38 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 32213 sig 9 ??? kill 32211 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+302.302 s] /proc/loadavg: 16.05 15.77 15.00 17/301 32593 /proc/meminfo: memFree=31300772/32770624 swapFree=5800/242060 [pid=32211] ppid=32208 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32211/stat : 32211 (xcsp3-exec) S 32208 32211 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3947499 9740288 346 33554432000 4194304 5098028 140728620314944 140728620313048 139765514982012 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 3 0 0 7196144 7232144 27131904 140728620323983 140728620324192 140728620324192 140728620326891 0 /proc/32211/statm: 2378 346 289 221 0 87 0 [pid=32213] ppid=32211 vsize=13801768 CPUtime=2400.38 cores=1,3,5,7,9,11,13,15 /proc/32213/stat : 32213 (java) S 32211 32211 7621 0 -1 1077944320 81983 0 0 0 239948 90 0 0 20 0 28 0 3947503 14133010432 99104 33554432000 4194304 4196468 140736370283584 140736370266128 139704402308855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 /proc/32213/statm: 3450442 99104 3289 1 0 3437675 0 [pid=32213/tid=32214] ppid=32211 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32214/stat : 32214 (java) S 32211 32211 7621 0 -1 1077944384 7167 0 0 0 87 4 0 0 20 0 28 0 3947503 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704406549632 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32215] ppid=32211 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32215/stat : 32215 (java) S 32211 32211 7621 0 -1 1077944384 1260 0 0 0 10 4 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704354929168 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32216] ppid=32211 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32216/stat : 32216 (java) S 32211 32211 7621 0 -1 1077944384 1166 0 0 0 11 5 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704353876624 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32217] ppid=32211 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32217/stat : 32217 (java) S 32211 32211 7621 0 -1 1077944384 267 0 0 0 10 6 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704352823568 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32218] ppid=32211 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32218/stat : 32218 (java) S 32211 32211 7621 0 -1 1077944384 1244 0 0 0 8 5 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704351771024 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32219] ppid=32211 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32219/stat : 32219 (java) S 32211 32211 7621 0 -1 1077944384 1970 0 0 0 10 5 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704350718992 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32220] ppid=32211 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32220/stat : 32220 (java) S 32211 32211 7621 0 -1 1077944384 375 0 0 0 10 5 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704349666448 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32221] ppid=32211 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32221/stat : 32221 (java) S 32211 32211 7621 0 -1 1077944384 1318 0 0 0 10 6 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139704348613392 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32222] ppid=32211 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32222/stat : 32222 (java) S 32211 32211 7621 0 -1 1077944384 460 0 0 0 10 6 0 0 20 0 28 0 3947504 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703994481552 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32223] ppid=32211 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32223/stat : 32223 (java) S 32211 32211 7621 0 -1 1077944384 2122 0 0 0 4 4 0 0 20 0 28 0 3947507 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703596153072 139704402320002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32224] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32224/stat : 32224 (java) S 32211 32211 7621 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3947507 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703595099360 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32225] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32225/stat : 32225 (java) S 32211 32211 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3947508 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703594046208 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32226] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32226/stat : 32226 (java) S 32211 32211 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703592994768 139704402327451 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32227] ppid=32211 vsize=13801768 CPUtime=3.45 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32227/stat : 32227 (java) S 32211 32211 7621 0 -1 1077944384 12976 0 0 0 342 3 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703591942896 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32228] ppid=32211 vsize=13801768 CPUtime=3.28 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32228/stat : 32228 (java) S 32211 32211 7621 0 -1 1077944384 11285 0 0 0 326 2 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703590890352 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32229] ppid=32211 vsize=13801768 CPUtime=3.25 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32229/stat : 32229 (java) S 32211 32211 7621 0 -1 1077944384 16431 0 0 0 322 3 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703589837296 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32230] ppid=32211 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32230/stat : 32230 (java) S 32211 32211 7621 0 -1 1077944384 7312 0 0 0 104 2 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703588784752 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32231] ppid=32211 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32231/stat : 32231 (java) S 32211 32211 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3947512 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703587731936 139704402319061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32232] ppid=32211 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32232/stat : 32232 (java) S 32211 32211 7621 0 -1 1077944384 1388 0 0 0 7 10 0 0 20 0 28 0 3947513 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703586679472 139704402320002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32377] ppid=32211 vsize=13801768 CPUtime=294.04 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32377/stat : 32377 (java) R 32211 32211 7621 0 -1 4202560 1207 0 0 0 29404 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703571294728 139704034413501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32378] ppid=32211 vsize=13801768 CPUtime=292.71 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32378/stat : 32378 (java) R 32211 32211 7621 0 -1 4202560 427 0 0 0 29271 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703575506776 139704034882716 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32379] ppid=32211 vsize=13801768 CPUtime=294.79 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32379/stat : 32379 (java) R 32211 32211 7621 0 -1 4202560 2515 0 0 0 29479 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703573402504 139704034413245 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32380] ppid=32211 vsize=13801768 CPUtime=294.51 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32380/stat : 32380 (java) R 32211 32211 7621 0 -1 4202560 2682 0 0 0 29448 3 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703574457408 139704029762743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32381] ppid=32211 vsize=13801768 CPUtime=290.82 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32381/stat : 32381 (java) R 32211 32211 7621 0 -1 4202560 933 0 0 0 29082 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703577612408 139704036987780 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32382] ppid=32211 vsize=13801768 CPUtime=294.41 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32382/stat : 32382 (java) R 32211 32211 7621 0 -1 4202560 516 0 0 0 29440 1 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703572349176 139704034413184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32383] ppid=32211 vsize=13801768 CPUtime=294.59 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32383/stat : 32383 (java) R 32211 32211 7621 0 -1 4202560 665 0 0 0 29459 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703578664824 139704029762791 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 [pid=32213/tid=32384] ppid=32211 vsize=13801768 CPUtime=293.75 cores=1,3,5,7,9,11,13,15 /proc/32213/task/32384/stat : 32384 (java) R 32211 32211 7621 0 -1 4202560 824 0 0 0 29375 0 0 0 20 0 28 0 3948170 14133010432 99104 33554432000 4194304 4196468 140736370283584 139703576559384 139704034413349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36777984 140736370287804 140736370287980 140736370287980 140736370290639 0 Current children cumulated CPU time (s) 2400.38 Current children cumulated vsize (KiB) 13811280 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 32211 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1092 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2184 # CPU time returned by wait4() is 0.003276 # while last known CPU time is 2400.38 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 302.312 CPU time (s): 2400.38 CPU user time (s): 2399.48 CPU system time (s): 0.9 CPU usage (%): 794.007 Max. virtual memory (cumulated for all children) (KiB): 13813060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001092 system time used= 0.002184 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 517 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= 2 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.88043 second user time and 4.69661 second system time The end
Begin job on node124 at 2017-07-22 03:26:37 IDJOB=4246187 IDBENCH=124216 IDSOLVER=2625 FILE ID=node124/4246187-1500686797 RUNJOBID= node124-1500683887-7653 PBS_JOBID= 20623343 Free space on /tmp= 62000 MiB SOLVER NAME= choco-solver 4.0.5 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-4246187-1500686797/watcher-4246187-1500686797 -o /tmp/evaluation-result-4246187-1500686797/solver-4246187-1500686797 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 609467714 HOME/instance-4246187-1500686797.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 058109e0b262c2cf0fdf1876739ed95e RANDOM SEED=609467714 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31313528 kB MemAvailable: 31361508 kB Buffers: 51728 kB Cached: 307196 kB SwapCached: 0 kB Active: 835484 kB Inactive: 250280 kB Active(anon): 729840 kB Inactive(anon): 8756 kB Active(file): 105644 kB Inactive(file): 241524 kB Unevictable: 5800 kB Mlocked: 5800 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7828 kB Writeback: 0 kB AnonPages: 732504 kB Mapped: 42480 kB Shmem: 8872 kB Slab: 66960 kB SReclaimable: 33296 kB SUnreclaim: 33664 kB KernelStack: 4720 kB PageTables: 6300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1654468 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 618496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61992 MiB End job on node124 at 2017-07-22 03:31:40