Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 87 | 2400.57 | 305.613 |
| Name | BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml |
| MD5SUM | 46f71c9023558927bc58b896c2ad9580 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 87 |
| Best CPU time to get the best result obtained on this benchmark | 20045.199 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1756 |
| Number of constraints | 705 |
| Number of domains | 2 |
| Minimum domain size | 81 |
| Maximum domain size | 352 |
| Distribution of domain sizes | [{"size":81,"count":1755},{"size":352,"count":1}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":1404},{"degree":5,"count":351}] |
| Minimum constraint arity | 5 |
| Maximum constraint arity | 1755 |
| Distribution of constraint arities | [{"arity":5,"count":702},{"arity":352,"count":1},{"arity":1755,"count":2}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":351},{"type":"lex","count":1},{"type":"sum","count":351},{"type":"count","count":1},{"type":"cardinality","count":1}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249490-1500695017.xml" -tl '2400s' -p 8 -x 3 0.00/0.20 c [HOME/instance-4249490-1500695017.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.25 c 8 solvers in parallel 0.00/0.32 c parse instance... 0.00/1.00 c solve instance... 76.93/11.59 o 86 79.60/13.38 o 87 2400.57/305.63 s SATISFIABLE 2400.57/305.63 v <instantiation> 2400.57/305.63 v <list>x b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[20][0] b[20][1] b[20][2] b[20][3] b[20][4] b[21][0] b[21][1] b[21][2] b[21][3] b[21][4] b[22][0] b[22][1] b[22][2] b[22][3] b[22][4] b[23][0] b[23][1] b[23][2] b[23][3] b[23][4] b[24][0] b[24][1] b[24][2] b[24][3] b[24][4] b[25][0] b[25][1] b[25][2] b[25][3] b[25][4] b[26][0] b[26][1] b[26][2] b[26][3] b[26][4] b[27][0] b[27][1] b[27][2] b[27][3] b[27][4] b[28][0] b[28][1] b[28][2] b[28][3] b[28][4] b[29][0] b[29][1] b[29][2] b[29][3] b[29][4] b[30][0] b[30][1] b[30][2] b[30][3] b[30][4] b[31][0] b[31][1] b[31][2] b[31][3] b[31][4] b[32][0] b[32][1] b[32][2] b[32][3] b[32][4] b[33][0] b[33][1] b[33][2] b[33][3] b[33][4] b[34][0] b[34][1] b[34][2] b[34][3] b[34][4] b[35][0] b[35][1] b[35][2] b[35][3] b[35][4] b[36][0] b[36][1] b[36][2] b[36][3] b[36][4] b[37][0] b[37][1] b[37][2] b[37][3] b[37][4] b[38][0] b[38][1] b[38][2] b[38][3] b[38][4] b[39][0] b[39][1] b[39][2] b[39][3] b[39][4] b[40][0] b[40][1] b[40][2] b[40][3] b[40][4] b[41][0] b[41][1] b[41][2] b[41][3] b[41][4] b[42][0] b[42][1] b[42][2] b[42][3] b[42][4] b[43][0] b[43][1] b[43][2] b[43][3] b[43][4] b[44][0] b[44][1] b[44][2] b[44][3] b[44][4] b[45][0] b[45][1] b[45][2] b[45][3] b[45][4] b[46][0] b[46][1] b[46][2] b[46][3] b[46][4] b[47][0] b[47][1] b[47][2] b[47][3] b[47][4] b[48][0] b[48][1] b[48][2] b[48][3] b[48][4] b[49][0] b[49][1] b[49][2] b[49][3] b[49][4] b[50][0] b[50][1] b[50][2] b[50][3] b[50][4] b[51][0] b[51][1] b[51][2] b[51][3] b[51][4] b[52][0] b[52][1] b[52][2] b[52][3] b[52][4] b[53][0] b[53][1] b[53][2] b[53][3] b[53][4] b[54][0] b[54][1] b[54][2] b[54][3] b[54][4] b[55][0] b[55][1] b[55][2] b[55][3] b[55][4] b[56][0] b[56][1] b[56][2] b[56][3] b[56][4] b[57][0] b[57][1] b[57][2] b[57][3] b[57][4] b[58][0] b[58][1] b[58][2] b[58][3] b[58][4] b[59][0] b[59][1] b[59][2] b[59][3] b[59][4] b[60][0] b[60][1] b[60][2] b[60][3] b[60][4] b[61][0] b[61][1] b[61][2] b[61][3] b[61][4] b[62][0] b[62][1] b[62][2] b[62][3] b[62][4] b[63][0] b[63][1] b[63][2] b[63][3] b[63][4] b[64][0] b[64][1] b[64][2] b[64][3] b[64][4] b[65][0] b[65][1] b[65][2] b[65][3] b[65][4] b[66][0] b[66][1] b[66][2] b[66][3] b[66][4] b[67][0] b[67][1] b[67][2] b[67][3] b[67][4] b[68][0] b[68][1] b[68][2] b[68][3] b[68][4] b[69][0] b[69][1] b[69][2] b[69][3] b[69][4] b[70][0] b[70][1] b[70][2] b[70][3] b[70][4] b[71][0] b[71][1] b[71][2] b[71][3] b[71][4] b[72][0] b[72][1] b[72][2] b[72][3] b[72][4] b[73][0] b[73][1] b[73][2] b[73][3] b[73][4] b[74][0] b[74][1] b[74][2] b[74][3] b[74][4] b[75][0] b[75][1] b[75][2] b[75][3] b[75][4] b[76][0] b[76][1] b[76][2] b[76][3] b[76][4] b[77][0] b[77][1] b[77][2] b[77][3] b[77][4] b[78][0] b[78][1] b[78][2] b[78][3] b[78][4] b[79][0] b[79][1] b[79][2] b[79][3] b[79][4] b[80][0] b[80][1] b[80][2] b[80][3] b[80][4] b[81][0] b[81][1] b[81][2] b[81][3] b[81][4] b[82][0] b[82][1] b[82][2] b[82][3] b[82][4] b[83][0] b[83][1] b[83][2] b[83][3] b[83][4] b[84][0] b[84][1] b[84][2] b[84][3] b[84][4] b[85][0] b[85][1] b[85][2] b[85][3] b[85][4] b[86][0] b[86][1] b[86][2] b[86][3] b[86][4] b[87][0] b[87][1] b[87][2] b[87][3] b[87][4] b[88][0] b[88][1] b[88][2] b[88][3] b[88][4] b[89][0] b[89][1] b[89][2] b[89][3] b[89][4] b[90][0] b[90][1] b[90][2] b[90][3] b[90][4] b[91][0] b[91][1] b[91][2] b[91][3] b[91][4] b[92][0] b[92][1] b[92][2] b[92][3] b[92][4] b[93][0] b[93][1] b[93][2] b[93][3] b[93][4] b[94][0] b[94][1] b[94][2] b[94][3] b[94][4] b[95][0] b[95][1] b[95][2] b[95][3] b[95][4] b[96][0] b[96][1] b[96][2] b[96][3] b[96][4] b[97][0] b[97][1] b[97][2] b[97][3] b[97][4] b[98][0] b[98][1] b[98][2] b[98][3] b[98][4] b[99][0] b[99][1] b[99][2] b[99][3] b[99][4] b[100][0] b[100][1] b[100][2] b[100][3] b[100][4] b[101][0] b[101][1] b[101][2] b[101][3] b[101][4] b[102][0] b[102][1] b[102][2] b[102][3] b[102][4] b[103][0] b[103][1] b[103][2] b[103][3] b[103][4] b[104][0] b[104][1] b[104][2] b[104][3] b[104][4] b[105][0] b[105][1] b[105][2] b[105][3] b[105][4] b[106][0] b[106][1] b[106][2] b[106][3] b[106][4] b[107][0] b[107][1] b[107][2] b[107][3] b[107][4] b[108][0] b[108][1] b[108][2] b[108][3] b[108][4] b[109][0] b[109][1] b[109][2] b[109][3] b[109][4] b[110][0] b[110][1] b[110][2] b[110][3] b[110][4] b[111][0] b[111][1] b[111][2] b[111][3] b[111][4] b[112][0] b[112][1] b[112][2] b[112][3] b[112][4] b[113][0] b[113][1] b[113][2] b[113][3] b[113][4] b[114][0] b[114][1] b[114][2] b[114][3] b[114][4] b[115][0] b[115][1] b[115][2] b[115][3] b[115][4] b[116][0] b[116][1] b[116][2] b[116][3] b[116][4] b[117][0] b[117][1] b[117][2] b[117][3] b[117][4] b[118][0] b[118][1] b[118][2] b[118][3] b[118][4] b[119][0] b[119][1] b[119][2] b[119][3] b[119][4] b[120][0] b[120][1] b[120][2] b[120][3] b[120][4] b[121][0] b[121][1] b[121][2] b[121][3] b[121][4] b[122][0] b[122][1] b[122][2] b[122][3] b[122][4] b[123][0] b[123][1] b[123][2] b[123][3] b[123][4] b[124][0] b[124][1] b[124][2] b[124][3] b[124][4] b[125][0] b[125][1] b[125][2] b[125][3] b[125][4] b[126][0] b[126][1] b[126][2] b[126][3] b[126][4] b[127][0] b[127][1] b[127][2] b[127][3] b[127][4] b[128][0] b[128][1] b[128][2] b[128][3] b[128][4] b[129][0] b[129][1] b[129][2] b[129][3] b[129][4] b[130][0] b[130][1] b[130][2] b[130][3] b[130][4] b[131][0] b[131][1] b[131][2] b[131][3] b[131][4] b[132][0] b[132][1] b[132][2] b[132][3] b[132][4] b[133][0] b[133][1] b[133][2] b[133][3] b[133][4] b[134][0] b[134][1] b[134][2] b[134][3] b[134][4] b[135][0] b[135][1] b[135][2] b[135][3] b[135][4] b[136][0] b[136][1] b[136][2] b[136][3] b[136][4] b[137][0] b[137][1] b[137][2] b[137][3] b[137][4] b[138][0] b[138][1] b[138][2] b[138][3] b[138][4] b[139][0] b[139][1] b[139][2] b[139][3] b[139][4] b[140][0] b[140][1] b[140][2] b[140][3] b[140][4] b[141][0] b[141][1] b[141][2] b[141][3] b[141][4] b[142][0] b[142][1] b[142][2] b[142][3] b[142][4] b[143][0] b[143][1] b[143][2] b[143][3] b[143][4] b[144][0] b[144][1] b[144][2] b[144][3] b[144][4] b[145][0] b[145][1] b[145][2] b[145][3] b[145][4] b[146][0] b[146][1] b[146][2] b[146][3] b[146][4] b[147][0] b[147][1] b[147][2] b[147][3] b[147][4] b[148][0] b[148][1] b[148][2] b[148][3] b[148][4] b[149][0] b[149][1] b[149][2] b[149][3] b[149][4] b[150][0] b[150][1] b[150][2] b[150][3] b[150][4] b[151][0] b[151][1] b[151][2] b[151][3] b[151][4] b[152][0] b[152][1] b[152][2] b[152][3] b[152][4] b[153][0] b[153][1] b[153][2] b[153][3] b[153][4] b[154][0] b[154][1] b[154][2] b[154][3] b[154][4] b[155][0] b[155][1] b[155][2] b[155][3] b[155][4] b[156][0] b[156][1] b[156][2] b[156][3] b[156][4] b[157][0] b[157][1] b[157][2] b[157][3] b[157][4] b[158][0] b[158][1] b[158][2] b[158][3] b[158][4] b[159][0] b[159][1] b[159][2] b[159][3] b[159][4] b[160][0] b[160][1] b[160][2] b[160][3] b[160][4] b[161][0] b[161][1] b[161][2] b[161][3] b[161][4] b[162][0] b[162][1] b[162][2] b[162][3] b[162][4] b[163][0] b[163][1] b[163][2] b[163][3] b[163][4] b[164][0] b[164][1] b[164][2] b[164][3] b[164][4] b[165][0] b[165][1] b[165][2] b[165][3] b[165][4] b[166][0] b[166][1] b[166][2] b[166][3] b[166][4] b[167][0] b[167][1] b[167][2] b[167][3] b[167][4] b[168][0] b[168][1] b[168][2] b[168][3] b[168][4] b[169][0] b[169][1] b[169][2] b[169][3] b[169][4] b[170][0] b[170][1] b[170][2] b[170][3] b[170][4] b[171][0] b[171][1] b[171][2] b[171][3] b[171][4] b[172][0] b[172][1] b[172][2] b[172][3] b[172][4] b[173][0] b[173][1] b[173][2] b[173][3] b[173][4] b[174][0] b[174][1] b[174][2] b[174][3] b[174][4] b[175][0] b[175][1] b[175][2] b[175][3] b[175][4] b[176][0] b[176][1] b[176][2] b[176][3] b[176][4] b[177][0] b[177][1] b[177][2] b[177][3] b[177][4] b[178][0] b[178][1] b[178][2] b[178][3] b[178][4] b[179][0] b[179][1] b[179][2] b[179][3] b[179][4] b[180][0] b[180][1] b[180][2] b[180][3] b[180][4] b[181][0] b[181][1] b[181][2] b[181][3] b[181][4] b[182][0] b[182][1] b[182][2] b[182][3] b[182][4] b[183][0] b[183][1] b[183][2] b[183][3] b[183][4] b[184][0] b[184][1] b[184][2] b[184][3] b[184][4] b[185][0] b[185][1] b[185][2] b[185][3] b[185][4] b[186][0] b[186][1] b[186][2] b[186][3] b[186][4] b[187][0] b[187][1] b[187][2] b[187][3] b[187][4] b[188][0] b[188][1] b[188][2] b[188][3] b[188][4] b[189][0] b[189][1] b[189][2] b[189][3] b[189][4] b[190][0] b[190][1] b[190][2] b[190][3] b[190][4] b[191][0] b[191][1] b[191][2] b[191][3] b[191][4] b[192][0] b[192][1] b[192][2] b[192][3] b[192][4] b[193][0] b[193][1] b[193][2] b[193][3] b[193][4] b[194][0] b[194][1] b[194][2] b[194][3] b[194][4] b[195][0] b[195][1] b[195][2] b[195][3] b[195][4] b[196][0] b[196][1] b[196][2] b[196][3] b[196][4] b[197][0] b[197][1] b[197][2] b[197][3] b[197][4] b[198][0] b[198][1] b[198][2] b[198][3] b[198][4] b[199][0] b[199][1] b[199][2] b[199][3] b[199][4] b[200][0] b[200][1] b[200][2] b[200][3] b[200][4] b[201][0] b[201][1] b[201][2] b[201][3] b[201][4] b[202][0] b[202][1] b[202][2] b[202][3] b[202][4] b[203][0] b[203][1] b[203][2] b[203][3] b[203][4] b[204][0] b[204][1] b[204][2] b[204][3] b[204][4] b[205][0] b[205][1] b[205][2] b[205][3] b[205][4] b[206][0] b[206][1] b[206][2] b[206][3] b[206][4] b[207][0] b[207][1] b[207][2] b[207][3] b[207][4] b[208][0] b[208][1] b[208][2] b[208][3] b[208][4] b[209][0] b[209][1] b[209][2] b[209][3] b[209][4] b[210][0] b[210][1] b[210][2] b[210][3] b[210][4] b[211][0] b[211][1] b[211][2] b[211][3] b[211][4] b[212][0] b[212][1] b[212][2] b[212][3] b[212][4] b[213][0] b[213][1] b[213][2] b[213][3] b[213][4] b[214][0] b[214][1] b[214][2] b[214][3] b[214][4] b[215][0] b[215][1] b[215][2] b[215][3] b[215][4] b[216][0] b[216][1] b[216][2] b[216][3] b[216][4] b[217][0] b[217][1] b[217][2] b[217][3] b[217][4] b[218][0] b[218][1] b[218][2] b[218][3] b[218][4] b[219][0] b[219][1] b[219][2] b[219][3] b[219][4] b[220][0] b[220][1] b[220][2] b[220][3] b[220][4] b[221][0] b[221][1] b[221][2] b[221][3] b[221][4] b[222][0] b[222][1] b[222][2] b[222][3] b[222][4] b[223][0] b[223][1] b[223][2] b[223][3] b[223][4] b[224][0] b[224][1] b[224][2] b[224][3] b[224][4] b[225][0] b[225][1] b[225][2] b[225][3] b[225][4] b[226][0] b[226][1] b[226][2] b[226][3] b[226][4] b[227][0] b[227][1] b[227][2] b[227][3] b[227][4] b[228][0] b[228][1] b[228][2] b[228][3] b[228][4] b[229][0] b[229][1] b[229][2] b[229][3] b[229][4] b[230][0] b[230][1] b[230][2] b[230][3] b[230][4] b[231][0] b[231][1] b[231][2] b[231][3] b[231][4] b[232][0] b[232][1] b[232][2] b[232][3] b[232][4] b[233][0] b[233][1] b[233][2] b[233][3] b[233][4] b[234][0] b[234][1] b[234][2] b[234][3] b[234][4] b[235][0] b[235][1] b[235][2] b[235][3] b[235][4] b[236][0] b[236][1] b[236][2] b[236][3] b[236][4] b[237][0] b[237][1] b[237][2] b[237][3] b[237][4] b[238][0] b[238][1] b[238][2] b[238][3] b[238][4] b[239][0] b[239][1] b[239][2] b[239][3] b[239][4] b[240][0] b[240][1] b[240][2] b[240][3] b[240][4] b[241][0] b[241][1] b[241][2] b[241][3] b[241][4] b[242][0] b[242][1] b[242][2] b[242][3] b[242][4] b[243][0] b[243][1] b[243][2] b[243][3] b[243][4] b[244][0] b[244][1] b[244][2] b[244][3] b[244][4] b[245][0] b[245][1] b[245][2] b[245][3] b[245][4] b[246][0] b[246][1] b[246][2] b[246][3] b[246][4] b[247][0] b[247][1] b[247][2] b[247][3] b[247][4] b[248][0] b[248][1] b[248][2] b[248][3] b[248][4] b[249][0] b[249][1] b[249][2] b[249][3] b[249][4] b[250][0] b[250][1] b[250][2] b[250][3] b[250][4] b[251][0] b[251][1] b[251][2] b[251][3] b[251][4] b[252][0] b[252][1] b[252][2] b[252][3] b[252][4] b[253][0] b[253][1] b[253][2] b[253][3] b[253][4] b[254][0] b[254][1] b[254][2] b[254][3] b[254][4] b[255][0] b[255][1] b[255][2] b[255][3] b[255][4] b[256][0] b[256][1] b[256][2] b[256][3] b[256][4] b[257][0] b[257][1] b[257][2] b[257][3] b[257][4] b[258][0] b[258][1] b[258][2] b[258][3] b[258][4] b[259][0] b[259][1] b[259][2] b[259][3] b[259][4] b[260][0] b[260][1] b[260][2] b[260][3] b[260][4] b[261][0] b[261][1] b[261][2] b[261][3] b[261][4] b[262][0] b[262][1] b[262][2] b[262][3] b[262][4] b[263][0] b[263][1] b[263][2] b[263][3] b[263][4] b[264][0] b[264][1] b[264][2] b[264][3] b[264][4] b[265][0] b[265][1] b[265][2] b[265][3] b[265][4] b[266][0] b[266][1] b[266][2] b[266][3] b[266][4] b[267][0] b[267][1] b[267][2] b[267][3] b[267][4] b[268][0] b[268][1] b[268][2] b[268][3] b[268][4] b[269][0] b[269][1] b[269][2] b[269][3] b[269][4] b[270][0] b[270][1] b[270][2] b[270][3] b[270][4] b[271][0] b[271][1] b[271][2] b[271][3] b[271][4] b[272][0] b[272][1] b[272][2] b[272][3] b[272][4] b[273][0] b[273][1] b[273][2] b[273][3] b[273][4] b[274][0] b[274][1] b[274][2] b[274][3] b[274][4] b[275][0] b[275][1] b[275][2] b[275][3] b[275][4] b[276][0] b[276][1] b[276][2] b[276][3] b[276][4] b[277][0] b[277][1] b[277][2] b[277][3] b[277][4] b[278][0] b[278][1] b[278][2] b[278][3] b[278][4] b[279][0] b[279][1] b[279][2] b[279][3] b[279][4] b[280][0] b[280][1] b[280][2] b[280][3] b[280][4] b[281][0] b[281][1] b[281][2] b[281][3] b[281][4] b[282][0] b[282][1] b[282][2] b[282][3] b[282][4] b[283][0] b[283][1] b[283][2] b[283][3] b[283][4] b[284][0] b[284][1] b[284][2] b[284][3] b[284][4] b[285][0] b[285][1] b[285][2] b[285][3] b[285][4] b[286][0] b[286][1] b[286][2] b[286][3] b[286][4] b[287][0] b[287][1] b[287][2] b[287][3] b[287][4] b[288][0] b[288][1] b[288][2] b[288][3] b[288][4] b[289][0] b[289][1] b[289][2] b[289][3] b[289][4] b[290][0] b[290][1] b[290][2] b[290][3] b[290][4] b[291][0] b[291][1] b[291][2] b[291][3] b[291][4] b[292][0] b[292][1] b[292][2] b[292][3] b[292][4] b[293][0] b[293][1] b[293][2] b[293][3] b[293][4] b[294][0] b[294][1] b[294][2] b[294][3] b[294][4] b[295][0] b[295][1] b[295][2] b[295][3] b[295][4] b[296][0] b[296][1] b[296][2] b[296][3] b[296][4] b[297][0] b[297][1] b[297][2] b[297][3] b[297][4] b[298][0] b[298][1] b[298][2] b[298][3] b[298][4] b[299][0] b[299][1] b[299][2] b[299][3] b[299][4] b[300][0] b[300][1] b[300][2] b[300][3] b[300][4] b[301][0] b[301][1] b[301][2] b[301][3] b[301][4] b[302][0] b[302][1] b[302][2] b[302][3] b[302][4] b[303][0] b[303][1] b[303][2] b[303][3] b[303][4] b[304][0] b[304][1] b[304][2] b[304][3] b[304][4] b[305][0] b[305][1] b[305][2] b[305][3] b[305][4] b[306][0] b[306][1] b[306][2] b[306][3] b[306][4] b[307][0] b[307][1] b[307][2] b[307][3] b[307][4] b[308][0] b[308][1] b[308][2] b[308][3] b[308][4] b[309][0] b[309][1] b[309][2] b[309][3] b[309][4] b[310][0] b[310][1] b[310][2] b[310][3] b[310][4] b[311][0] b[311][1] b[311][2] b[311][3] b[311][4] b[312][0] b[312][1] b[312][2] b[312][3] b[312][4] b[313][0] b[313][1] b[313][2] b[313][3] b[313][4] b[314][0] b[314][1] b[314][2] b[314][3] b[314][4] b[315][0] b[315][1] b[315][2] b[315][3] b[315][4] b[316][0] b[316][1] b[316][2] b[316][3] b[316][4] b[317][0] b[317][1] b[317][2] b[317][3] b[317][4] b[318][0] b[318][1] b[318][2] b[318][3] b[318][4] b[319][0] b[319][1] b[319][2] b[319][3] b[319][4] b[320][0] b[320][1] b[320][2] b[320][3] b[320][4] b[321][0] b[321][1] b[321][2] b[321][3] b[321][4] b[322][0] b[322][1] b[322][2] b[322][3] b[322][4] b[323][0] b[323][1] b[323][2] b[323][3] b[323][4] b[324][0] b[324][1] b[324][2] b[324][3] b[324][4] b[325][0] b[325][1] b[325][2] b[325][3] b[325][4] b[326][0] b[326][1] b[326][2] b[326][3] b[326][4] b[327][0] b[327][1] b[327][2] b[327][3] b[327][4] b[328][0] b[328][1] b[328][2] b[328][3] b[328][4] b[329][0] b[329][1] b[329][2] b[329][3] b[329][4] b[330][0] b[330][1] b[330][2] b[330][3] b[330][4] b[331][0] b[331][1] b[331][2] b[331][3] b[331][4] b[332][0] b[332][1] b[332][2] b[332][3] b[332][4] b[333][0] b[333][1] b[333][2] b[333][3] b[333][4] b[334][0] b[334][1] b[334][2] b[334][3] b[334][4] b[335][0] b[335][1] b[335][2] b[335][3] b[335][4] b[336][0] b[336][1] b[336][2] b[336][3] b[336][4] b[337][0] b[337][1] b[337][2] b[337][3] b[337][4] b[338][0] b[338][1] b[338][2] b[338][3] b[338][4] b[339][0] b[339][1] b[339][2] b[339][3] b[339][4] b[340][0] b[340][1] b[340][2] b[340][3] b[340][4] b[341][0] b[341][1] b[341][2] b[341][3] b[341][4] b[342][0] b[342][1] b[342][2] b[342][3] b[342][4] b[343][0] b[343][1] b[343][2] b[343][3] b[343][4] b[344][0] b[344][1] b[344][2] b[344][3] b[344][4] b[345][0] b[345][1] b[345][2] b[345][3] b[345][4] b[346][0] b[346][1] b[346][2] b[346][3] b[346][4] b[347][0] b[347][1] b[347][2] b[347][3] b[347][4] b[348][0] b[348][1] b[348][2] b[348][3] b[348][4] b[349][0] b[349][1] b[349][2] b[349][3] b[349][4] b[350][0] b[350][1] b[350][2] b[350][3] b[350][4] </list> 2400.57/305.64 v <values>87 100 20 0 0 0 100 20 0 0 0 100 20 0 0 0 100 20 0 0 0 100 20 0 0 0 100 0 0 0 0 99 21 0 0 0 99 21 0 0 0 99 21 0 0 0 99 21 0 0 0 99 0 0 0 0 99 0 0 0 0 98 22 0 0 0 98 22 0 0 0 98 22 0 0 0 98 22 0 0 0 98 0 0 0 0 98 0 0 0 0 98 0 0 0 0 98 0 0 0 0 97 23 0 0 0 97 23 0 0 0 97 0 0 0 0 97 0 0 0 0 97 0 0 0 0 97 0 0 0 0 96 24 0 0 0 96 24 0 0 0 96 24 0 0 0 96 0 0 0 0 95 25 0 0 0 95 25 0 0 0 95 0 0 0 0 95 0 0 0 0 95 0 0 0 0 95 0 0 0 0 95 0 0 0 0 95 0 0 0 0 95 0 0 0 0 94 26 0 0 0 94 26 0 0 0 94 26 0 0 0 94 0 0 0 0 94 0 0 0 0 94 0 0 0 0 93 27 0 0 0 93 27 0 0 0 93 27 0 0 0 93 27 0 0 0 93 27 0 0 0 93 27 0 0 0 93 0 0 0 0 93 0 0 0 0 93 0 0 0 0 93 0 0 0 0 92 28 0 0 0 92 28 0 0 0 91 29 0 0 0 91 29 0 0 0 91 29 0 0 0 91 29 0 0 0 90 30 0 0 0 90 30 0 0 0 90 30 0 0 0 90 30 0 0 0 90 30 0 0 0 90 29 0 0 0 89 31 0 0 0 89 31 0 0 0 89 31 0 0 0 89 31 0 0 0 89 31 0 0 0 89 31 0 0 0 89 29 0 0 0 89 29 0 0 0 89 28 0 0 0 89 0 0 0 0 89 0 0 0 0 89 0 0 0 0 88 32 0 0 0 88 32 0 0 0 88 32 0 0 0 88 32 0 0 0 88 32 0 0 0 88 0 0 0 0 88 0 0 0 0 87 33 0 0 0 87 33 0 0 0 87 33 0 0 0 87 33 0 0 0 87 33 0 0 0 87 33 0 0 0 87 33 0 0 0 86 34 0 0 0 86 34 0 0 0 86 34 0 0 0 86 34 0 0 0 86 34 0 0 0 86 34 0 0 0 84 36 0 0 0 84 36 0 0 0 84 36 0 0 0 84 36 0 0 0 84 36 0 0 0 84 36 0 0 0 84 36 0 0 0 83 37 0 0 0 83 37 0 0 0 83 37 0 0 0 83 37 0 0 0 83 37 0 0 0 83 37 0 0 0 83 37 0 0 0 82 38 0 0 0 82 38 0 0 0 82 38 0 0 0 82 37 0 0 0 82 36 0 0 0 82 36 0 0 0 82 36 0 0 0 82 36 0 0 0 81 39 0 0 0 81 39 0 0 0 81 39 0 0 0 80 40 0 0 0 80 40 0 0 0 80 40 0 0 0 80 40 0 0 0 80 40 0 0 0 80 39 0 0 0 80 39 0 0 0 80 39 0 0 0 80 39 0 0 0 80 36 0 0 0 80 35 0 0 0 79 41 0 0 0 79 41 0 0 0 79 41 0 0 0 79 41 0 0 0 79 41 0 0 0 79 41 0 0 0 78 42 0 0 0 78 42 0 0 0 78 42 0 0 0 78 42 0 0 0 78 42 0 0 0 78 41 0 0 0 78 35 0 0 0 78 35 0 0 0 77 43 0 0 0 77 43 0 0 0 77 43 0 0 0 77 43 0 0 0 77 35 0 0 0 77 35 0 0 0 77 35 0 0 0 77 35 0 0 0 77 35 0 0 0 76 44 0 0 0 76 44 0 0 0 76 44 0 0 0 76 44 0 0 0 76 44 0 0 0 76 44 0 0 0 75 45 0 0 0 75 45 0 0 0 75 45 0 0 0 75 45 0 0 0 75 44 0 0 0 75 35 0 0 0 75 35 0 0 0 74 46 0 0 0 74 46 0 0 0 74 46 0 0 0 74 46 0 0 0 74 46 0 0 0 74 46 0 0 0 73 47 0 0 0 73 47 0 0 0 72 48 0 0 0 72 48 0 0 0 72 48 0 0 0 72 48 0 0 0 71 49 0 0 0 71 49 0 0 0 71 49 0 0 0 71 49 0 0 0 71 49 0 0 0 70 50 0 0 0 70 50 0 0 0 70 50 0 0 0 70 50 0 0 0 70 50 0 0 0 70 49 0 0 0 70 49 0 0 0 70 48 0 0 0 69 51 0 0 0 69 51 0 0 0 68 52 0 0 0 68 52 0 0 0 68 52 0 0 0 68 52 0 0 0 68 52 0 0 0 68 52 0 0 0 67 53 0 0 0 67 52 0 0 0 67 52 0 0 0 67 51 0 0 0 67 51 0 0 0 67 51 0 0 0 67 51 0 0 0 66 54 0 0 0 66 54 0 0 0 66 54 0 0 0 66 54 0 0 0 66 51 0 0 0 66 51 0 0 0 66 51 0 0 0 65 55 0 0 0 64 56 0 0 0 64 56 0 0 0 64 56 0 0 0 64 56 0 0 0 64 56 0 0 0 64 56 0 0 0 64 56 0 0 0 64 56 0 0 0 64 56 0 0 0 64 56 0 0 0 64 56 0 0 0 63 57 0 0 0 63 57 0 0 0 63 57 0 0 0 63 57 0 0 0 63 57 0 0 0 63 57 0 0 0 62 58 0 0 0 62 58 0 0 0 62 58 0 0 0 62 58 0 0 0 62 58 0 0 0 62 57 0 0 0 62 56 0 0 0 61 59 0 0 0 61 59 0 0 0 61 59 0 0 0 61 59 0 0 0 61 59 0 0 0 61 59 0 0 0 61 56 0 0 0 61 55 0 0 0 61 55 0 0 0 60 60 0 0 0 60 60 0 0 0 60 55 0 0 0 55 55 0 0 0 55 51 0 0 0 48 48 0 0 0 48 48 0 0 0 47 47 0 0 0 46 46 0 0 0 46 35 35 0 0 46 35 34 0 0 46 33 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.57/305.64 v </instantiation> 2400.57/305.64 c Unexpected resolution interruption!
OK 87
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-4249490-1500695017/watcher-4249490-1500695017 -o /tmp/evaluation-result-4249490-1500695017/solver-4249490-1500695017 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1216754969 HOME/instance-4249490-1500695017.xml pid=16325 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.94 15.02 14.68 10/272 16328 /proc/meminfo: memFree=25557056/32770624 swapFree=5656/334248 [pid=16328] ppid=16325 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16328/stat : 16328 (xcsp3-exec) S 16325 16328 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4769191 9740288 346 33554432000 4194304 5098028 140734596887056 140734596885160 139808644956796 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12115968 140734596895886 140734596896096 140734596896096 140734596898795 0 /proc/16328/statm: 2378 346 289 221 0 87 0 [startup+0.100063 s] /proc/loadavg: 15.94 15.02 14.68 10/272 16328 /proc/meminfo: memFree=25557056/32770624 swapFree=5656/334248 [pid=16328] ppid=16325 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16328/stat : 16328 (xcsp3-exec) S 16325 16328 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4769191 9740288 346 33554432000 4194304 5098028 140734596887056 140734596885160 139808644956796 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12115968 140734596895886 140734596896096 140734596896096 140734596898795 0 /proc/16328/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200276 s] /proc/loadavg: 15.94 15.02 14.68 10/272 16328 /proc/meminfo: memFree=25557056/32770624 swapFree=5656/334248 [pid=16328] ppid=16325 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16328/stat : 16328 (xcsp3-exec) S 16325 16328 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4769191 9740288 346 33554432000 4194304 5098028 140734596887056 140734596885160 139808644956796 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12115968 140734596895886 140734596896096 140734596896096 140734596898795 0 /proc/16328/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300232 s] /proc/loadavg: 15.94 15.02 14.68 10/272 16328 /proc/meminfo: memFree=25557056/32770624 swapFree=5656/334248 [pid=16328] ppid=16325 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16328/stat : 16328 (xcsp3-exec) S 16325 16328 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4769191 9740288 346 33554432000 4194304 5098028 140734596887056 140734596885160 139808644956796 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12115968 140734596895886 140734596896096 140734596896096 140734596898795 0 /proc/16328/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700176 s] /proc/loadavg: 15.94 15.02 14.68 10/272 16328 /proc/meminfo: memFree=25557056/32770624 swapFree=5656/334248 [pid=16328] ppid=16325 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16328/stat : 16328 (xcsp3-exec) S 16325 16328 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4769191 9740288 346 33554432000 4194304 5098028 140734596887056 140734596885160 139808644956796 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12115968 140734596895886 140734596896096 140734596896096 140734596898795 0 /proc/16328/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50183 s] /proc/loadavg: 15.94 15.02 14.68 17/301 16357 /proc/meminfo: memFree=25398288/32770624 swapFree=5656/334304 [pid=16328] ppid=16325 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16328/stat : 16328 (xcsp3-exec) S 16325 16328 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4769191 9740288 346 33554432000 4194304 5098028 140734596887056 140734596885160 139808644956796 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12115968 140734596895886 140734596896096 140734596896096 140734596898795 0 /proc/16328/statm: 2378 346 289 221 0 87 0 [pid=16329] ppid=16328 vsize=13801768 CPUtime=6.74 cores=1,3,5,7,9,11,13,15 /proc/16329/stat : 16329 (java) S 16328 16328 7102 0 -1 1077944320 14891 0 0 0 666 8 0 0 20 0 28 0 4769192 14133010432 44918 33554432000 4194304 4196468 140735155566464 140735155549008 139969519398647 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 /proc/16329/statm: 3450442 44918 3244 1 0 3437675 0 [pid=16329/tid=16330] ppid=16328 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16330/stat : 16330 (java) S 16328 16328 7102 0 -1 1077944384 6362 0 0 0 95 4 0 0 20 0 28 0 4769192 14133010432 44918 33554432000 4194304 4196468 140735155566464 139969523639424 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16332] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16332/stat : 16332 (java) S 16328 16328 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4769193 14133010432 44918 33554432000 4194304 4196468 140735155566464 139969437879312 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16333] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16333/stat : 16333 (java) S 16328 16328 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4769193 14133010432 44918 33554432000 4194304 4196468 140735155566464 139969436826768 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16334] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16334/stat : 16334 (java) S 16328 16328 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4769193 14133010432 44918 33554432000 4194304 4196468 140735155566464 139969435773712 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16335] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16335/stat : 16335 (java) S 16328 16328 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4769193 14133010432 44918 33554432000 4194304 4196468 140735155566464 139969434721168 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16336] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16336/stat : 16336 (java) S 16328 16328 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4769193 14133010432 44918 33554432000 4194304 4196468 140735155566464 139969433668112 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16337] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16337/stat : 16337 (java) S 16328 16328 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4769193 14133010432 44918 33554432000 4194304 4196468 140735155566464 139969432615568 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16338] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16338/stat : 16338 (java) S 16328 16328 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4769193 14133010432 44918 33554432000 4194304 4196468 140735155566464 139969431562512 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16339] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16339/stat : 16339 (java) S 16328 16328 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4769193 14133010432 44918 33554432000 4194304 4196468 140735155566464 139969430509968 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16340] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16340/stat : 16340 (java) S 16328 16328 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4769195 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968713321200 139969519409794 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16341] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16341/stat : 16341 (java) S 16328 16328 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4769196 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968712267424 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16342] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16342/stat : 16342 (java) S 16328 16328 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4769196 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968711214320 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16343] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16343/stat : 16343 (java) S 16328 16328 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4769200 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968710162896 139969519417243 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16344] ppid=16328 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16344/stat : 16344 (java) R 16328 16328 7102 0 -1 4202560 1438 0 0 0 88 0 0 0 20 0 28 0 4769200 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968709109104 139969504294351 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16345] ppid=16328 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16345/stat : 16345 (java) R 16328 16328 7102 0 -1 4202560 1585 0 0 0 83 0 0 0 20 0 28 0 4769200 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968708044192 139969500590947 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16346] ppid=16328 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16346/stat : 16346 (java) R 16328 16328 7102 0 -1 4202560 1449 0 0 0 88 0 0 0 20 0 28 0 4769200 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968706990280 139969500943091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16347] ppid=16328 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16347/stat : 16347 (java) S 16328 16328 7102 0 -1 1077944384 2387 0 0 0 56 0 0 0 20 0 28 0 4769200 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968705951856 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16348] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16348/stat : 16348 (java) S 16328 16328 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4769201 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968704900064 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16349] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16349/stat : 16349 (java) S 16328 16328 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4769201 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968703847600 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16350] ppid=16328 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16350/stat : 16350 (java) R 16328 16328 7102 0 -1 4202560 57 0 0 0 40 0 0 0 20 0 28 0 4769294 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968695831816 139969114182240 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16351] ppid=16328 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16351/stat : 16351 (java) R 16328 16328 7102 0 -1 4202560 51 0 0 0 32 0 0 0 20 0 28 0 4769294 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968694782080 139969114558166 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16352] ppid=16328 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16352/stat : 16352 (java) R 16328 16328 7102 0 -1 4202560 43 0 0 0 27 0 0 0 20 0 28 0 4769294 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968693729248 139969114223999 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16353] ppid=16328 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16353/stat : 16353 (java) R 16328 16328 7102 0 -1 4202560 68 0 0 0 31 0 0 0 20 0 28 0 4769294 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968692676920 139969114750094 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16354] ppid=16328 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16354/stat : 16354 (java) R 16328 16328 7102 0 -1 4202560 29 0 0 0 26 0 0 0 20 0 28 0 4769294 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968691623520 139969114224160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16355] ppid=16328 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16355/stat : 16355 (java) R 16328 16328 7102 0 -1 4202560 35 0 0 0 27 0 0 0 20 0 28 0 4769294 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968690571128 139969114224043 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16356] ppid=16328 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16356/stat : 16356 (java) R 16328 16328 7102 0 -1 4202560 30 0 0 0 30 0 0 0 20 0 28 0 4769294 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968160192824 139969114558171 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16357] ppid=16328 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16357/stat : 16357 (java) R 16328 16328 7102 0 -1 4202560 42 0 0 0 37 0 0 0 20 0 28 0 4769294 14133010432 44918 33554432000 4194304 4196468 140735155566464 139968159137488 139969114558383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 Current children cumulated CPU time (s) 6.74 Current children cumulated vsize (KiB) 13811280 [startup+3.10157 s] /proc/loadavg: 15.94 15.02 14.68 19/301 16357 /proc/meminfo: memFree=25382592/32770624 swapFree=5656/334300 [pid=16328] ppid=16325 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16328/stat : 16328 (xcsp3-exec) S 16325 16328 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4769191 9740288 346 33554432000 4194304 5098028 140734596887056 140734596885160 139808644956796 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12115968 140734596895886 140734596896096 140734596896096 140734596898795 0 /proc/16328/statm: 2378 346 289 221 0 87 0 [pid=16329] ppid=16328 vsize=13801768 CPUtime=19.41 cores=1,3,5,7,9,11,13,15 /proc/16329/stat : 16329 (java) S 16328 16328 7102 0 -1 1077944320 21635 0 0 0 1914 27 0 0 20 0 28 0 4769192 14133010432 56259 33554432000 4194304 4196468 140735155566464 140735155549008 139969519398647 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 /proc/16329/statm: 3450442 56259 3263 1 0 3437675 0 [pid=16329/tid=16330] ppid=16328 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16330/stat : 16330 (java) S 16328 16328 7102 0 -1 1077944384 6362 0 0 0 95 4 0 0 20 0 28 0 4769192 14133010432 56259 33554432000 4194304 4196468 140735155566464 139969523639424 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16332] ppid=16328 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16332/stat : 16332 (java) S 16328 16328 7102 0 -1 1077944384 56 0 0 0 1 2 0 0 20 0 28 0 4769193 14133010432 56259 33554432000 4194304 4196468 140735155566464 139969437879312 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16333] ppid=16328 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16333/stat : 16333 (java) S 16328 16328 7102 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 4769193 14133010432 56259 33554432000 4194304 4196468 140735155566464 139969436826768 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16334] ppid=16328 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16334/stat : 16334 (java) S 16328 16328 7102 0 -1 1077944384 274 0 0 0 1 2 0 0 20 0 28 0 4769193 14133010432 56259 33554432000 4194304 4196468 140735155566464 139969435773712 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16335] ppid=16328 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16335/stat : 16335 (java) S 16328 16328 7102 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 28 0 4769193 14133010432 56259 33554432000 4194304 4196468 140735155566464 139969434721168 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16336] ppid=16328 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16336/stat : 16336 (java) S 16328 16328 7102 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 28 0 4769193 14133010432 56259 33554432000 4194304 4196468 140735155566464 139969433668112 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16337] ppid=16328 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16337/stat : 16337 (java) S 16328 16328 7102 0 -1 1077944384 136 0 0 0 1 2 0 0 20 0 28 0 4769193 14133010432 56259 33554432000 4194304 4196468 140735155566464 139969432615568 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16338] ppid=16328 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16338/stat : 16338 (java) S 16328 16328 7102 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 4769193 14133010432 56259 33554432000 4194304 4196468 140735155566464 139969431562512 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16339] ppid=16328 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16339/stat : 16339 (java) S 16328 16328 7102 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 28 0 4769193 14133010432 56259 33554432000 4194304 4196468 140735155566464 139969430509968 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16340] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16340/stat : 16340 (java) S 16328 16328 7102 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 28 0 4769195 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968713321200 139969519409794 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16341] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16341/stat : 16341 (java) S 16328 16328 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4769196 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968712267424 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16342] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16342/stat : 16342 (java) S 16328 16328 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4769196 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968711214320 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16343] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16343/stat : 16343 (java) S 16328 16328 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4769200 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968710162896 139969519417243 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16344] ppid=16328 vsize=13801768 CPUtime=1.62 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16344/stat : 16344 (java) S 16328 16328 7102 0 -1 1077944384 4772 0 0 0 161 1 0 0 20 0 28 0 4769200 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968709110000 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16345] ppid=16328 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16345/stat : 16345 (java) S 16328 16328 7102 0 -1 1077944384 2925 0 0 0 113 0 0 0 20 0 28 0 4769200 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968708057456 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16346] ppid=16328 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16346/stat : 16346 (java) S 16328 16328 7102 0 -1 1077944384 2333 0 0 0 128 0 0 0 20 0 28 0 4769200 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968707004400 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16347] ppid=16328 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16347/stat : 16347 (java) S 16328 16328 7102 0 -1 1077944384 2635 0 0 0 64 0 0 0 20 0 28 0 4769200 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968705951856 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16348] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16348/stat : 16348 (java) S 16328 16328 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4769201 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968704900064 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16349] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16349/stat : 16349 (java) S 16328 16328 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4769201 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968703847600 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16350] ppid=16328 vsize=13801768 CPUtime=1.56 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16350/stat : 16350 (java) R 16328 16328 7102 0 -1 4202560 70 0 0 0 156 0 0 0 20 0 28 0 4769294 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968695833512 139969114182240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16351] ppid=16328 vsize=13801768 CPUtime=1.79 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16351/stat : 16351 (java) R 16328 16328 7102 0 -1 4202560 63 0 0 0 179 0 0 0 20 0 28 0 4769294 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968694780224 139969114224062 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16352] ppid=16328 vsize=13801768 CPUtime=1.62 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16352/stat : 16352 (java) R 16328 16328 7102 0 -1 4202560 67 0 0 0 162 0 0 0 20 0 28 0 4769294 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968693728952 139969114182307 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16353] ppid=16328 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16353/stat : 16353 (java) R 16328 16328 7102 0 -1 4202560 88 0 0 0 165 0 0 0 20 0 28 0 4769294 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968692676312 139969114558112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16354] ppid=16328 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16354/stat : 16354 (java) R 16328 16328 7102 0 -1 4202560 95 0 0 0 165 0 0 0 20 0 28 0 4769294 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968691623272 139969114224048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16355] ppid=16328 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16355/stat : 16355 (java) R 16328 16328 7102 0 -1 4202560 47 0 0 0 170 0 0 0 20 0 28 0 4769294 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968690568704 139969114353198 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16356] ppid=16328 vsize=13801768 CPUtime=1.54 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16356/stat : 16356 (java) R 16328 16328 7102 0 -1 4202560 65 0 0 0 154 0 0 0 20 0 28 0 4769294 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968160193208 139969114558235 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16357] ppid=16328 vsize=13801768 CPUtime=1.82 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16357/stat : 16357 (java) R 16328 16328 7102 0 -1 4202560 80 0 0 0 182 0 0 0 20 0 28 0 4769294 14133010432 56259 33554432000 4194304 4196468 140735155566464 139968159137432 139969114619109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 Current children cumulated CPU time (s) 19.41 Current children cumulated vsize (KiB) 13811280 [startup+6.30167 s] /proc/loadavg: 16.02 15.05 14.69 17/301 16357 /proc/meminfo: memFree=25340988/32770624 swapFree=5656/334304 ################ # More data... # ################ [pid=16329/tid=16372] ppid=16328 vsize=13801768 CPUtime=206.24 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16372/stat : 16372 (java) R 16328 16328 7102 0 -1 4202560 997 0 0 0 20624 0 0 0 20 0 28 0 4770530 14133010432 161098 33554432000 4194304 4196468 140735155566464 139968159138216 139969114558131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16373] ppid=16328 vsize=13801768 CPUtime=206.4 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16373/stat : 16373 (java) R 16328 16328 7102 0 -1 4202560 524 0 0 0 20640 0 0 0 20 0 28 0 4770530 14133010432 161098 33554432000 4194304 4196468 140735155566464 139968690569352 139969114558147 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 Current children cumulated CPU time (s) 1737.35 Current children cumulated vsize (KiB) 13811280 [startup+282.302 s] /proc/loadavg: 9.53 12.40 13.74 10/291 16480 /proc/meminfo: memFree=23120028/32770624 swapFree=5656/334696 [pid=16328] ppid=16325 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16328/stat : 16328 (xcsp3-exec) S 16325 16328 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4769191 9740288 346 33554432000 4194304 5098028 140734596887056 140734596885160 139808644956796 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12115968 140734596895886 140734596896096 140734596896096 140734596898795 0 /proc/16328/statm: 2378 346 289 221 0 87 0 [pid=16329] ppid=16328 vsize=13801768 CPUtime=2215 cores=1,3,5,7,9,11,13,15 /proc/16329/stat : 16329 (java) S 16328 16328 7102 0 -1 1077944320 74425 0 0 0 221392 108 0 0 20 0 28 0 4769192 14133010432 200627 33554432000 4194304 4196468 140735155566464 140735155549008 139969519398647 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 /proc/16329/statm: 3450442 200627 3303 1 0 3437675 0 [pid=16329/tid=16330] ppid=16328 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16330/stat : 16330 (java) S 16328 16328 7102 0 -1 1077944384 6474 0 0 0 96 4 0 0 20 0 28 0 4769192 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969523639424 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16332] ppid=16328 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16332/stat : 16332 (java) S 16328 16328 7102 0 -1 1077944384 874 0 0 0 34 7 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969437879312 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16333] ppid=16328 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16333/stat : 16333 (java) S 16328 16328 7102 0 -1 1077944384 2246 0 0 0 34 7 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969436826768 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16334] ppid=16328 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16334/stat : 16334 (java) S 16328 16328 7102 0 -1 1077944384 1130 0 0 0 32 8 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969435773712 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16335] ppid=16328 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16335/stat : 16335 (java) S 16328 16328 7102 0 -1 1077944384 715 0 0 0 33 9 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969434721168 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16336] ppid=16328 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16336/stat : 16336 (java) S 16328 16328 7102 0 -1 1077944384 1111 0 0 0 30 10 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969433668112 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16337] ppid=16328 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16337/stat : 16337 (java) S 16328 16328 7102 0 -1 1077944384 731 0 0 0 33 9 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969432615568 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16338] ppid=16328 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16338/stat : 16338 (java) S 16328 16328 7102 0 -1 1077944384 386 0 0 0 34 8 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969431562512 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16339] ppid=16328 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16339/stat : 16339 (java) S 16328 16328 7102 0 -1 1077944384 555 0 0 0 30 7 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969430509968 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16340] ppid=16328 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16340/stat : 16340 (java) S 16328 16328 7102 0 -1 1077944384 4341 0 0 0 87 5 0 0 20 0 28 0 4769195 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968713321200 139969519409794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16341] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16341/stat : 16341 (java) S 16328 16328 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4769196 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968712267488 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16342] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16342/stat : 16342 (java) S 16328 16328 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4769196 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968711214336 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16343] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16343/stat : 16343 (java) S 16328 16328 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4769200 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968710162896 139969519417243 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16344] ppid=16328 vsize=13801768 CPUtime=3.13 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16344/stat : 16344 (java) S 16328 16328 7102 0 -1 1077944384 12290 0 0 0 311 2 0 0 20 0 28 0 4769200 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968709110000 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16345] ppid=16328 vsize=13801768 CPUtime=2.39 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16345/stat : 16345 (java) S 16328 16328 7102 0 -1 1077944384 8869 0 0 0 238 1 0 0 20 0 28 0 4769200 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968708057456 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16346] ppid=16328 vsize=13801768 CPUtime=2.73 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16346/stat : 16346 (java) S 16328 16328 7102 0 -1 1077944384 13880 0 0 0 271 2 0 0 20 0 28 0 4769200 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968707004400 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16347] ppid=16328 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16347/stat : 16347 (java) S 16328 16328 7102 0 -1 1077944384 7153 0 0 0 89 2 0 0 20 0 28 0 4769200 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968705951856 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16348] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16348/stat : 16348 (java) S 16328 16328 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4769201 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968704900064 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16349] ppid=16328 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16349/stat : 16349 (java) S 16328 16328 7102 0 -1 1077944384 525 0 0 0 6 9 0 0 20 0 28 0 4769201 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968703847600 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16366] ppid=16328 vsize=13801768 CPUtime=265.76 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16366/stat : 16366 (java) R 16328 16328 7102 0 -1 4202560 911 0 0 0 26576 0 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968692673816 139969114223983 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16367] ppid=16328 vsize=13801768 CPUtime=266.77 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16367/stat : 16367 (java) R 16328 16328 7102 0 -1 4202560 586 0 0 0 26677 0 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968693727528 139969114558147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16368] ppid=16328 vsize=13801768 CPUtime=266.59 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16368/stat : 16368 (java) R 16328 16328 7102 0 -1 4202560 3075 0 0 0 26658 1 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968160192768 139969114353174 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16369] ppid=16328 vsize=13801768 CPUtime=264.71 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16369/stat : 16369 (java) R 16328 16328 7102 0 -1 4202560 1845 0 0 0 26469 2 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968691621928 139969114353217 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16370] ppid=16328 vsize=13801768 CPUtime=266.07 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16370/stat : 16370 (java) R 16328 16328 7102 0 -1 4202560 997 0 0 0 26606 1 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968694779200 139969114558112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16371] ppid=16328 vsize=13801768 CPUtime=266 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16371/stat : 16371 (java) R 16328 16328 7102 0 -1 4202560 512 0 0 0 26600 0 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968695832472 139969114558097 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16372] ppid=16328 vsize=13801768 CPUtime=265.86 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16372/stat : 16372 (java) R 16328 16328 7102 0 -1 4202560 1037 0 0 0 26586 0 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968159138328 139969112732550 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16373] ppid=16328 vsize=13801768 CPUtime=266.16 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16373/stat : 16373 (java) R 16328 16328 7102 0 -1 4202560 563 0 0 0 26616 0 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968690569352 139969114182275 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 Current children cumulated CPU time (s) 2215 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+305.602 s] /proc/loadavg: 9.52 12.16 13.62 17/299 16488 /proc/meminfo: memFree=22093308/32770624 swapFree=5656/334716 [pid=16328] ppid=16325 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16328/stat : 16328 (xcsp3-exec) S 16325 16328 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4769191 9740288 346 33554432000 4194304 5098028 140734596887056 140734596885160 139808644956796 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 12115968 140734596895886 140734596896096 140734596896096 140734596898795 0 /proc/16328/statm: 2378 346 289 221 0 87 0 [pid=16329] ppid=16328 vsize=13801768 CPUtime=2400.57 cores=1,3,5,7,9,11,13,15 /proc/16329/stat : 16329 (java) S 16328 16328 7102 0 -1 1077944320 74604 0 0 0 239948 109 0 0 20 0 28 0 4769192 14133010432 200627 33554432000 4194304 4196468 140735155566464 140735155549008 139969519398647 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 /proc/16329/statm: 3450442 200627 3303 1 0 3437675 0 [pid=16329/tid=16330] ppid=16328 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16330/stat : 16330 (java) S 16328 16328 7102 0 -1 1077944384 6474 0 0 0 96 4 0 0 20 0 28 0 4769192 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969523639424 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16332] ppid=16328 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16332/stat : 16332 (java) S 16328 16328 7102 0 -1 1077944384 874 0 0 0 34 7 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969437879312 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16333] ppid=16328 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16333/stat : 16333 (java) S 16328 16328 7102 0 -1 1077944384 2246 0 0 0 34 7 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969436826768 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16334] ppid=16328 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16334/stat : 16334 (java) S 16328 16328 7102 0 -1 1077944384 1130 0 0 0 32 8 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969435773712 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16335] ppid=16328 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16335/stat : 16335 (java) S 16328 16328 7102 0 -1 1077944384 715 0 0 0 33 9 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969434721168 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16336] ppid=16328 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16336/stat : 16336 (java) S 16328 16328 7102 0 -1 1077944384 1111 0 0 0 30 10 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969433668112 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16337] ppid=16328 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16337/stat : 16337 (java) S 16328 16328 7102 0 -1 1077944384 731 0 0 0 33 9 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969432615568 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16338] ppid=16328 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16338/stat : 16338 (java) S 16328 16328 7102 0 -1 1077944384 386 0 0 0 34 8 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969431562512 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16339] ppid=16328 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16339/stat : 16339 (java) S 16328 16328 7102 0 -1 1077944384 555 0 0 0 30 7 0 0 20 0 28 0 4769193 14133010432 200627 33554432000 4194304 4196468 140735155566464 139969430509968 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16340] ppid=16328 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16340/stat : 16340 (java) S 16328 16328 7102 0 -1 1077944384 4341 0 0 0 87 5 0 0 20 0 28 0 4769195 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968713321200 139969519409794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16341] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16341/stat : 16341 (java) S 16328 16328 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4769196 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968712267488 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16342] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16342/stat : 16342 (java) S 16328 16328 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4769196 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968711214336 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16343] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16343/stat : 16343 (java) S 16328 16328 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4769200 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968710162896 139969519417243 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16344] ppid=16328 vsize=13801768 CPUtime=3.13 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16344/stat : 16344 (java) S 16328 16328 7102 0 -1 1077944384 12290 0 0 0 311 2 0 0 20 0 28 0 4769200 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968709110000 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16345] ppid=16328 vsize=13801768 CPUtime=2.4 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16345/stat : 16345 (java) S 16328 16328 7102 0 -1 1077944384 8971 0 0 0 239 1 0 0 20 0 28 0 4769200 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968708057456 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16346] ppid=16328 vsize=13801768 CPUtime=2.74 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16346/stat : 16346 (java) S 16328 16328 7102 0 -1 1077944384 13898 0 0 0 272 2 0 0 20 0 28 0 4769200 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968707004400 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16347] ppid=16328 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16347/stat : 16347 (java) S 16328 16328 7102 0 -1 1077944384 7153 0 0 0 89 2 0 0 20 0 28 0 4769200 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968705951856 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16348] ppid=16328 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16348/stat : 16348 (java) S 16328 16328 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4769201 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968704900064 139969519408853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16349] ppid=16328 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16349/stat : 16349 (java) S 16328 16328 7102 0 -1 1077944384 527 0 0 0 7 10 0 0 20 0 28 0 4769201 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968703847600 139969519409794 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16366] ppid=16328 vsize=13801768 CPUtime=289.05 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16366/stat : 16366 (java) R 16328 16328 7102 0 -1 4202560 912 0 0 0 28905 0 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968692673816 139969112732550 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16367] ppid=16328 vsize=13801768 CPUtime=290.05 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16367/stat : 16367 (java) R 16328 16328 7102 0 -1 4202560 593 0 0 0 29005 0 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968693727528 139969114223967 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16368] ppid=16328 vsize=13801768 CPUtime=289.87 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16368/stat : 16368 (java) R 16328 16328 7102 0 -1 4202560 3078 0 0 0 28986 1 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968160192768 139969116801223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16369] ppid=16328 vsize=13801768 CPUtime=287.98 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16369/stat : 16369 (java) R 16328 16328 7102 0 -1 4202560 1845 0 0 0 28796 2 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968691621608 139969114353238 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16370] ppid=16328 vsize=13801768 CPUtime=289.33 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16370/stat : 16370 (java) R 16328 16328 7102 0 -1 4202560 997 0 0 0 28932 1 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968694779200 139969114353169 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16371] ppid=16328 vsize=13801768 CPUtime=289.09 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16371/stat : 16371 (java) R 16328 16328 7102 0 -1 4202560 515 0 0 0 28909 0 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968695832472 139969114558097 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16372] ppid=16328 vsize=13801768 CPUtime=288.66 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16372/stat : 16372 (java) R 16328 16328 7102 0 -1 4202560 1061 0 0 0 28866 0 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968159137976 139969112732550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 [pid=16329/tid=16373] ppid=16328 vsize=13801768 CPUtime=289.43 cores=1,3,5,7,9,11,13,15 /proc/16329/task/16373/stat : 16373 (java) R 16328 16328 7102 0 -1 4202560 582 0 0 0 28943 0 0 0 20 0 28 0 4770530 14133010432 200627 33554432000 4194304 4196468 140735155566464 139968690569352 139969114558142 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24367104 140735155569852 140735155570028 140735155570028 140735155572687 0 Current children cumulated CPU time (s) 2400.57 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 16329 sig 9 ??? kill 16328 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16328 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1383 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1383 # CPU time returned by wait4() is 0.002766 # while last known CPU time is 2400.57 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 305.613 CPU time (s): 2400.57 CPU user time (s): 2399.48 CPU system time (s): 1.09 CPU usage (%): 785.494 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001383 system time used= 0.001383 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= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.96637 second user time and 4.75476 second system time The end
Begin job on node130 at 2017-07-22 05:43:37 IDJOB=4249490 IDBENCH=136475 IDSOLVER=2626 FILE ID=node130/4249490-1500695017 RUNJOBID= node130-1500684118-8560 PBS_JOBID= 20623029 Free space on /tmp= 61952 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n4c2w2n.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-4249490-1500695017/watcher-4249490-1500695017 -o /tmp/evaluation-result-4249490-1500695017/solver-4249490-1500695017 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1216754969 HOME/instance-4249490-1500695017.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 46f71c9023558927bc58b896c2ad9580 RANDOM SEED=1216754969 node130.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.34 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 : 2267.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.34 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 : 1733.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.34 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.34 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.34 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 : 2000.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.34 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 : 1733.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.34 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 : 2267.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.34 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: 25557056 kB MemAvailable: 25771976 kB Buffers: 121616 kB Cached: 374568 kB SwapCached: 0 kB Active: 6428960 kB Inactive: 343136 kB Active(anon): 6278240 kB Inactive(anon): 8888 kB Active(file): 150720 kB Inactive(file): 334248 kB Unevictable: 5656 kB Mlocked: 5656 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7792 kB Writeback: 0 kB AnonPages: 6281016 kB Mapped: 42640 kB Shmem: 8844 kB Slab: 125460 kB SReclaimable: 91572 kB SUnreclaim: 33888 kB KernelStack: 4688 kB PageTables: 18084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8482916 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6117376 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 61944 MiB End job on node130 at 2017-07-22 05:48:43