Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 4.0.5 (2017-07-05) | SAT (TO) | 87 | 2400.1 | 304.83 |
| 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-4249489-1500694708.xml" -tl '2400s' -p 8 -x 0 0.00/0.22 c [HOME/instance-4249489-1500694708.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.27 c 8 solvers in parallel 0.00/0.34 c parse instance... 3.19/1.14 c solve instance... 71.27/9.81 o 86 73.91/11.52 o 87 2400.10/304.86 s SATISFIABLE 2400.10/304.86 v <instantiation> 2400.10/304.86 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.10/304.86 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.10/304.86 v </instantiation> 2400.10/304.86 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-4249489-1500694708/watcher-4249489-1500694708 -o /tmp/evaluation-result-4249489-1500694708/solver-4249489-1500694708 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 796629004 HOME/instance-4249489-1500694708.xml pid=19358 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 13.82 13.50 13.60 9/275 19361 /proc/meminfo: memFree=25538192/32770624 swapFree=5900/310556 [pid=19361] ppid=19358 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19361/stat : 19361 (xcsp3-exec) S 19358 19361 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4737714 9740288 346 33554432000 4194304 5098028 140728597243872 140728597241976 140515017646716 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17244160 140728597251215 140728597251424 140728597251424 140728597254123 0 /proc/19361/statm: 2378 346 289 221 0 87 0 [startup+0.100063 s] /proc/loadavg: 13.82 13.50 13.60 9/275 19361 /proc/meminfo: memFree=25538192/32770624 swapFree=5900/310556 [pid=19361] ppid=19358 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19361/stat : 19361 (xcsp3-exec) S 19358 19361 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4737714 9740288 346 33554432000 4194304 5098028 140728597243872 140728597241976 140515017646716 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17244160 140728597251215 140728597251424 140728597251424 140728597254123 0 /proc/19361/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200274 s] /proc/loadavg: 13.82 13.50 13.60 9/275 19361 /proc/meminfo: memFree=25538192/32770624 swapFree=5900/310556 [pid=19361] ppid=19358 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19361/stat : 19361 (xcsp3-exec) S 19358 19361 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4737714 9740288 346 33554432000 4194304 5098028 140728597243872 140728597241976 140515017646716 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17244160 140728597251215 140728597251424 140728597251424 140728597254123 0 /proc/19361/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300317 s] /proc/loadavg: 13.82 13.50 13.60 9/275 19361 /proc/meminfo: memFree=25538192/32770624 swapFree=5900/310556 [pid=19361] ppid=19358 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19361/stat : 19361 (xcsp3-exec) S 19358 19361 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4737714 9740288 346 33554432000 4194304 5098028 140728597243872 140728597241976 140515017646716 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17244160 140728597251215 140728597251424 140728597251424 140728597254123 0 /proc/19361/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700204 s] /proc/loadavg: 13.82 13.50 13.60 9/275 19361 /proc/meminfo: memFree=25538192/32770624 swapFree=5900/310556 [pid=19361] ppid=19358 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19361/stat : 19361 (xcsp3-exec) S 19358 19361 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4737714 9740288 346 33554432000 4194304 5098028 140728597243872 140728597241976 140515017646716 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17244160 140728597251215 140728597251424 140728597251424 140728597254123 0 /proc/19361/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50131 s] /proc/loadavg: 13.82 13.50 13.60 13/296 19382 /proc/meminfo: memFree=25406332/32770624 swapFree=5900/310588 [pid=19361] ppid=19358 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19361/stat : 19361 (xcsp3-exec) S 19358 19361 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4737714 9740288 346 33554432000 4194304 5098028 140728597243872 140728597241976 140515017646716 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17244160 140728597251215 140728597251424 140728597251424 140728597254123 0 /proc/19361/statm: 2378 346 289 221 0 87 0 [pid=19362] ppid=19361 vsize=13801768 CPUtime=5.96 cores=0,2,4,6,8,10,12,14 /proc/19362/stat : 19362 (java) S 19361 19361 16913 0 -1 1077944320 22695 0 0 0 586 10 0 0 20 0 28 0 4737714 14133010432 45301 33554432000 4194304 4196468 140724280419744 140724280402288 139899563777783 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 /proc/19362/statm: 3450442 45301 3222 1 0 3437675 0 [pid=19362/tid=19363] ppid=19361 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19363/stat : 19363 (java) S 19361 19361 16913 0 -1 1077944384 8535 0 0 0 107 5 0 0 20 0 28 0 4737715 14133010432 45301 33554432000 4194304 4196468 140724280419744 139899568018560 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19365] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19365/stat : 19365 (java) S 19361 19361 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4737716 14133010432 45301 33554432000 4194304 4196468 140724280419744 139899502742416 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19366] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19366/stat : 19366 (java) S 19361 19361 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4737716 14133010432 45301 33554432000 4194304 4196468 140724280419744 139899501689616 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19367] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19367/stat : 19367 (java) S 19361 19361 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4737716 14133010432 45301 33554432000 4194304 4196468 140724280419744 139899160714384 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19368] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19368/stat : 19368 (java) S 19361 19361 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4737716 14133010432 45301 33554432000 4194304 4196468 140724280419744 139899159661584 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19369] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19369/stat : 19369 (java) S 19361 19361 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4737716 14133010432 45301 33554432000 4194304 4196468 140724280419744 139899158608272 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19370] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19370/stat : 19370 (java) S 19361 19361 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4737716 14133010432 45301 33554432000 4194304 4196468 140724280419744 139899157555472 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19371] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19371/stat : 19371 (java) S 19361 19361 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4737716 14133010432 45301 33554432000 4194304 4196468 140724280419744 139899156503184 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19372] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19372/stat : 19372 (java) S 19361 19361 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4737716 14133010432 45301 33554432000 4194304 4196468 140724280419744 139899155450384 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19373] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19373/stat : 19373 (java) S 19361 19361 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4737718 14133010432 45301 33554432000 4194304 4196468 140724280419744 139898891774576 139899563788930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19374] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19374/stat : 19374 (java) S 19361 19361 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4737719 14133010432 45301 33554432000 4194304 4196468 140724280419744 139898890720544 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19375] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19375/stat : 19375 (java) S 19361 19361 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4737719 14133010432 45301 33554432000 4194304 4196468 140724280419744 139898889668208 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19376] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19376/stat : 19376 (java) S 19361 19361 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4737723 14133010432 45301 33554432000 4194304 4196468 140724280419744 139898888616528 139899563796379 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19377] ppid=19361 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19377/stat : 19377 (java) R 19361 19361 16913 0 -1 4202560 4350 0 0 0 80 0 0 0 20 0 28 0 4737723 14133010432 45301 33554432000 4194304 4196468 140724280419744 139898887549440 139899548527432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19378] ppid=19361 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19378/stat : 19378 (java) R 19361 19361 16913 0 -1 4202560 2724 0 0 0 82 0 0 0 20 0 28 0 4737723 14133010432 45301 33554432000 4194304 4196468 140724280419744 139898886496672 139899547309425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19379] ppid=19361 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19379/stat : 19379 (java) R 19361 19361 16913 0 -1 4202560 2892 0 0 0 78 0 0 0 20 0 28 0 4737723 14133010432 45301 33554432000 4194304 4196468 140724280419744 139898885444832 139899547683737 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19380] ppid=19361 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19380/stat : 19380 (java) S 19361 19361 16913 0 -1 1077944384 2408 0 0 0 61 2 0 0 20 0 28 0 4737723 14133010432 45301 33554432000 4194304 4196468 140724280419744 139898884405488 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19381] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19381/stat : 19381 (java) S 19361 19361 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4737723 14133010432 45301 33554432000 4194304 4196468 140724280419744 139898883353440 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19382] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19382/stat : 19382 (java) S 19361 19361 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4737724 14133010432 45301 33554432000 4194304 4196468 140724280419744 139898882300720 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 13811280 [startup+3.10147 s] /proc/loadavg: 13.82 13.50 13.60 20/304 19390 /proc/meminfo: memFree=25359916/32770624 swapFree=5900/310588 [pid=19361] ppid=19358 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19361/stat : 19361 (xcsp3-exec) S 19358 19361 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4737714 9740288 346 33554432000 4194304 5098028 140728597243872 140728597241976 140515017646716 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17244160 140728597251215 140728597251424 140728597251424 140728597254123 0 /proc/19361/statm: 2378 346 289 221 0 87 0 [pid=19362] ppid=19361 vsize=13801768 CPUtime=18.67 cores=0,2,4,6,8,10,12,14 /proc/19362/stat : 19362 (java) S 19361 19361 16913 0 -1 1077944320 27406 0 0 0 1840 27 0 0 20 0 28 0 4737714 14133010432 58642 33554432000 4194304 4196468 140724280419744 140724280402288 139899563777783 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 /proc/19362/statm: 3450442 58642 3270 1 0 3437675 0 [pid=19362/tid=19363] ppid=19361 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19363/stat : 19363 (java) S 19361 19361 16913 0 -1 1077944384 8535 0 0 0 107 5 0 0 20 0 28 0 4737715 14133010432 58642 33554432000 4194304 4196468 140724280419744 139899568018560 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19365] ppid=19361 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19365/stat : 19365 (java) S 19361 19361 16913 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 28 0 4737716 14133010432 58642 33554432000 4194304 4196468 140724280419744 139899502742416 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19366] ppid=19361 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19366/stat : 19366 (java) S 19361 19361 16913 0 -1 1077944384 245 0 0 0 1 1 0 0 20 0 28 0 4737716 14133010432 58642 33554432000 4194304 4196468 140724280419744 139899501689616 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19367] ppid=19361 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19367/stat : 19367 (java) S 19361 19361 16913 0 -1 1077944384 756 0 0 0 1 1 0 0 20 0 28 0 4737716 14133010432 58642 33554432000 4194304 4196468 140724280419744 139899160714384 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19368] ppid=19361 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19368/stat : 19368 (java) S 19361 19361 16913 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 28 0 4737716 14133010432 58642 33554432000 4194304 4196468 140724280419744 139899159661584 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19369] ppid=19361 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19369/stat : 19369 (java) S 19361 19361 16913 0 -1 1077944384 52 0 0 0 1 2 0 0 20 0 28 0 4737716 14133010432 58642 33554432000 4194304 4196468 140724280419744 139899158608272 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19370] ppid=19361 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19370/stat : 19370 (java) S 19361 19361 16913 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 4737716 14133010432 58642 33554432000 4194304 4196468 140724280419744 139899157555472 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19371] ppid=19361 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19371/stat : 19371 (java) S 19361 19361 16913 0 -1 1077944384 52 0 0 0 1 2 0 0 20 0 28 0 4737716 14133010432 58642 33554432000 4194304 4196468 140724280419744 139899156503184 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19372] ppid=19361 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19372/stat : 19372 (java) S 19361 19361 16913 0 -1 1077944384 34 0 0 0 1 2 0 0 20 0 28 0 4737716 14133010432 58642 33554432000 4194304 4196468 140724280419744 139899155450384 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19373] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19373/stat : 19373 (java) S 19361 19361 16913 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 28 0 4737718 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898891774576 139899563788930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19374] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19374/stat : 19374 (java) S 19361 19361 16913 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4737719 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898890720544 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19375] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19375/stat : 19375 (java) S 19361 19361 16913 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4737719 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898889668208 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19376] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19376/stat : 19376 (java) S 19361 19361 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4737723 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898888616528 139899563796379 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19377] ppid=19361 vsize=13801768 CPUtime=1.59 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19377/stat : 19377 (java) S 19361 19361 16913 0 -1 1077944384 4666 0 0 0 159 0 0 0 20 0 28 0 4737723 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898887563376 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19378] ppid=19361 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19378/stat : 19378 (java) S 19361 19361 16913 0 -1 1077944384 4077 0 0 0 164 1 0 0 20 0 28 0 4737723 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898886510576 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19379] ppid=19361 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19379/stat : 19379 (java) S 19361 19361 16913 0 -1 1077944384 3519 0 0 0 138 0 0 0 20 0 28 0 4737723 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898885458288 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19380] ppid=19361 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19380/stat : 19380 (java) S 19361 19361 16913 0 -1 1077944384 3102 0 0 0 72 2 0 0 20 0 28 0 4737723 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898884405488 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19381] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19381/stat : 19381 (java) S 19361 19361 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4737723 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898883353440 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19382] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19382/stat : 19382 (java) S 19361 19361 16913 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4737724 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898882300720 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19383] ppid=19361 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19383/stat : 19383 (java) R 19361 19361 16913 0 -1 4202560 100 0 0 0 146 0 0 0 20 0 28 0 4737829 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898874287416 139899188112496 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19384] ppid=19361 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19384/stat : 19384 (java) R 19361 19361 16913 0 -1 4202560 76 0 0 0 141 0 0 0 20 0 28 0 4737830 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898873236344 139899187351286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19385] ppid=19361 vsize=13801768 CPUtime=1.59 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19385/stat : 19385 (java) R 19361 19361 16913 0 -1 4202560 215 0 0 0 159 0 0 0 20 0 28 0 4737830 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898872183000 139899187351321 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19386] ppid=19361 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19386/stat : 19386 (java) R 19361 19361 16913 0 -1 4202560 86 0 0 0 136 0 0 0 20 0 28 0 4737830 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898871129752 139899187351345 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19387] ppid=19361 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19387/stat : 19387 (java) R 19361 19361 16913 0 -1 4202560 93 0 0 0 154 0 0 0 20 0 28 0 4737830 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898870077056 139899188112140 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19388] ppid=19361 vsize=13801768 CPUtime=1.52 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19388/stat : 19388 (java) R 19361 19361 16913 0 -1 4202560 60 0 0 0 152 0 0 0 20 0 28 0 4737830 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898869022472 139899187351321 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19389] ppid=19361 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19389/stat : 19389 (java) R 19361 19361 16913 0 -1 4202560 45 0 0 0 138 0 0 0 20 0 28 0 4737830 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898867970608 139899187351443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19390] ppid=19361 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19390/stat : 19390 (java) R 19361 19361 16913 0 -1 4202560 48 0 0 0 155 0 0 0 20 0 28 0 4737830 14133010432 58642 33554432000 4194304 4196468 140724280419744 139898866916792 139899187351271 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 Current children cumulated CPU time (s) 18.67 Current children cumulated vsize (KiB) 13811280 [startup+6.30204 s] /proc/loadavg: 13.83 13.51 13.60 17/304 19390 /proc/meminfo: memFree=25318376/32770624 swapFree=5900/310600 [pid=19361] ppid=19358 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19361/stat : 19361 (xcsp3-exec) S 19358 19361 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4737714 9740288 346 33554432000 4194304 5098028 140728597243872 140728597241976 140515017646716 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17244160 140728597251215 140728597251424 140728597251424 140728597254123 0 /proc/19361/statm: 2378 346 289 221 0 87 0 [pid=19362] ppid=19361 vsize=13801768 CPUtime=44.1 cores=0,2,4,6,8,10,12,14 /proc/19362/stat : 19362 (java) S 19361 19361 16913 0 -1 1077944320 28053 0 0 0 4382 28 0 0 20 0 28 0 4737714 14133010432 57795 33554432000 4194304 4196468 140724280419744 140724280402288 139899563777783 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 /proc/19362/statm: 3450442 57795 3274 1 0 3437675 0 [pid=19362/tid=19363] ppid=19361 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19363/stat : 19363 (java) S 19361 19361 16913 0 -1 1077944384 8535 0 0 0 107 5 0 0 20 0 28 0 4737715 14133010432 57795 33554432000 4194304 4196468 140724280419744 139899568018560 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19365] ppid=19361 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19365/stat : 19365 (java) S 19361 19361 16913 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 28 0 4737716 14133010432 57795 33554432000 4194304 4196468 140724280419744 139899502742416 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19366] ppid=19361 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19366/stat : 19366 (java) S 19361 19361 16913 0 -1 1077944384 245 0 0 0 1 1 0 0 20 0 28 0 4737716 14133010432 57795 33554432000 4194304 4196468 140724280419744 139899501689616 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19367] ppid=19361 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19367/stat : 19367 (java) S 19361 19361 16913 0 -1 1077944384 756 0 0 0 1 1 0 0 20 0 28 0 4737716 14133010432 57795 33554432000 4194304 4196468 140724280419744 139899160714384 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19368] ppid=19361 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19368/stat : 19368 (java) S 19361 19361 16913 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 28 0 4737716 14133010432 57795 33554432000 4194304 4196468 140724280419744 139899159661584 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 ################ # More data... # ################ [pid=19362/tid=19405] ppid=19361 vsize=13801768 CPUtime=209.99 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19405/stat : 19405 (java) R 19361 19361 16913 0 -1 4202560 424 0 0 0 20999 0 0 0 20 0 28 0 4738866 14133010432 174742 33554432000 4194304 4196468 140724280419744 139898866917480 139899187351286 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19406] ppid=19361 vsize=13801768 CPUtime=208.38 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19406/stat : 19406 (java) R 19361 19361 16913 0 -1 4202560 528 0 0 0 20838 0 0 0 20 0 28 0 4738866 14133010432 174742 33554432000 4194304 4196468 140724280419744 139898874285776 139899188485201 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 Current children cumulated CPU time (s) 1752.18 Current children cumulated vsize (KiB) 13811280 [startup+282.302 s] /proc/loadavg: 15.16 14.89 14.19 17/304 19569 /proc/meminfo: memFree=30635304/32770624 swapFree=5900/310980 [pid=19361] ppid=19358 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19361/stat : 19361 (xcsp3-exec) S 19358 19361 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4737714 9740288 346 33554432000 4194304 5098028 140728597243872 140728597241976 140515017646716 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17244160 140728597251215 140728597251424 140728597251424 140728597254123 0 /proc/19361/statm: 2378 346 289 221 0 87 0 [pid=19362] ppid=19361 vsize=13801768 CPUtime=2220.84 cores=0,2,4,6,8,10,12,14 /proc/19362/stat : 19362 (java) S 19361 19361 16913 0 -1 1077944320 82033 0 0 0 221970 114 0 0 20 0 28 0 4737714 14133010432 207659 33554432000 4194304 4196468 140724280419744 140724280402288 139899563777783 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 /proc/19362/statm: 3450442 207659 3303 1 0 3437675 0 [pid=19362/tid=19363] ppid=19361 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19363/stat : 19363 (java) S 19361 19361 16913 0 -1 1077944384 8730 0 0 0 108 5 0 0 20 0 28 0 4737715 14133010432 207659 33554432000 4194304 4196468 140724280419744 139899568018560 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19365] ppid=19361 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19365/stat : 19365 (java) S 19361 19361 16913 0 -1 1077944384 1067 0 0 0 38 10 0 0 20 0 28 0 4737716 14133010432 207659 33554432000 4194304 4196468 140724280419744 139899502742416 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19366] ppid=19361 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19366/stat : 19366 (java) S 19361 19361 16913 0 -1 1077944384 2045 0 0 0 38 9 0 0 20 0 28 0 4737716 14133010432 207659 33554432000 4194304 4196468 140724280419744 139899501689616 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19367] ppid=19361 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19367/stat : 19367 (java) S 19361 19361 16913 0 -1 1077944384 1571 0 0 0 39 9 0 0 20 0 28 0 4737716 14133010432 207659 33554432000 4194304 4196468 140724280419744 139899160714384 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19368] ppid=19361 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19368/stat : 19368 (java) S 19361 19361 16913 0 -1 1077944384 1208 0 0 0 39 9 0 0 20 0 28 0 4737716 14133010432 207659 33554432000 4194304 4196468 140724280419744 139899159661584 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19369] ppid=19361 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19369/stat : 19369 (java) S 19361 19361 16913 0 -1 1077944384 1140 0 0 0 38 10 0 0 20 0 28 0 4737716 14133010432 207659 33554432000 4194304 4196468 140724280419744 139899158608272 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19370] ppid=19361 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19370/stat : 19370 (java) S 19361 19361 16913 0 -1 1077944384 434 0 0 0 38 10 0 0 20 0 28 0 4737716 14133010432 207659 33554432000 4194304 4196468 140724280419744 139899157555472 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19371] ppid=19361 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19371/stat : 19371 (java) S 19361 19361 16913 0 -1 1077944384 691 0 0 0 38 11 0 0 20 0 28 0 4737716 14133010432 207659 33554432000 4194304 4196468 140724280419744 139899156503184 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19372] ppid=19361 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19372/stat : 19372 (java) S 19361 19361 16913 0 -1 1077944384 682 0 0 0 41 9 0 0 20 0 28 0 4737716 14133010432 207659 33554432000 4194304 4196468 140724280419744 139899155450384 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19373] ppid=19361 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19373/stat : 19373 (java) S 19361 19361 16913 0 -1 1077944384 5648 0 0 0 132 6 0 0 20 0 28 0 4737718 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898891774576 139899563788930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19374] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19374/stat : 19374 (java) S 19361 19361 16913 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 4737719 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898890720608 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19375] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19375/stat : 19375 (java) S 19361 19361 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4737719 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898889668224 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19376] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19376/stat : 19376 (java) S 19361 19361 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4737723 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898888616528 139899563796379 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19377] ppid=19361 vsize=13801768 CPUtime=2.96 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19377/stat : 19377 (java) S 19361 19361 16913 0 -1 1077944384 13340 0 0 0 295 1 0 0 20 0 28 0 4737723 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898887563376 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19378] ppid=19361 vsize=13801768 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19378/stat : 19378 (java) S 19361 19361 16913 0 -1 1077944384 12652 0 0 0 307 2 0 0 20 0 28 0 4737723 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898886510576 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19379] ppid=19361 vsize=13801768 CPUtime=2.56 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19379/stat : 19379 (java) S 19361 19361 16913 0 -1 1077944384 11026 0 0 0 255 1 0 0 20 0 28 0 4737723 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898885458288 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19380] ppid=19361 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19380/stat : 19380 (java) S 19361 19361 16913 0 -1 1077944384 7254 0 0 0 94 2 0 0 20 0 28 0 4737723 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898884405488 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19381] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19381/stat : 19381 (java) S 19361 19361 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4737723 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898883353440 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19382] ppid=19361 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19382/stat : 19382 (java) S 19361 19361 16913 0 -1 1077944384 718 0 0 0 7 5 0 0 20 0 28 0 4737724 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898882300720 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19399] ppid=19361 vsize=13801768 CPUtime=267.72 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19399/stat : 19399 (java) R 19361 19361 16913 0 -1 4202560 930 0 0 0 26772 0 0 0 20 0 28 0 4738866 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898867969464 139899187351305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19400] ppid=19361 vsize=13801768 CPUtime=267.43 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19400/stat : 19400 (java) R 19361 19361 16913 0 -1 4202560 1025 0 0 0 26742 1 0 0 20 0 28 0 4738866 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898869023032 139899187351305 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19401] ppid=19361 vsize=13801768 CPUtime=267.79 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19401/stat : 19401 (java) R 19361 19361 16913 0 -1 4202560 2940 0 0 0 26777 2 0 0 20 0 28 0 4738866 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898872180064 139899188484498 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19402] ppid=19361 vsize=13801768 CPUtime=265.76 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19402/stat : 19402 (java) R 19361 19361 16913 0 -1 4202560 1758 0 0 0 26576 0 0 0 20 0 28 0 4738866 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898873232952 139899188484916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19403] ppid=19361 vsize=13801768 CPUtime=266.65 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19403/stat : 19403 (java) R 19361 19361 16913 0 -1 4202560 1229 0 0 0 26664 1 0 0 20 0 28 0 4738866 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898871127992 139899188488118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19404] ppid=19361 vsize=13801768 CPUtime=268.47 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19404/stat : 19404 (java) R 19361 19361 16913 0 -1 4202560 491 0 0 0 26847 0 0 0 20 0 28 0 4738866 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898870075192 139899187351286 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19405] ppid=19361 vsize=13801768 CPUtime=268.34 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19405/stat : 19405 (java) R 19361 19361 16913 0 -1 4202560 754 0 0 0 26834 0 0 0 20 0 28 0 4738866 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898866917480 139899187351461 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19406] ppid=19361 vsize=13801768 CPUtime=266.8 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19406/stat : 19406 (java) R 19361 19361 16913 0 -1 4202560 646 0 0 0 26680 0 0 0 20 0 28 0 4738866 14133010432 207659 33554432000 4194304 4196468 140724280419744 139898874286056 139899187351321 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 Current children cumulated CPU time (s) 2220.84 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+304.819 s] /proc/loadavg: 15.45 14.98 14.24 17/304 19569 /proc/meminfo: memFree=30559964/32770624 swapFree=5900/310996 [pid=19361] ppid=19358 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19361/stat : 19361 (xcsp3-exec) S 19358 19361 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4737714 9740288 346 33554432000 4194304 5098028 140728597243872 140728597241976 140515017646716 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17244160 140728597251215 140728597251424 140728597251424 140728597254123 0 /proc/19361/statm: 2378 346 289 221 0 87 0 [pid=19362] ppid=19361 vsize=13801768 CPUtime=2400.1 cores=0,2,4,6,8,10,12,14 /proc/19362/stat : 19362 (java) S 19361 19361 16913 0 -1 1077944320 82114 0 0 0 239895 115 0 0 20 0 28 0 4737714 14133010432 207672 33554432000 4194304 4196468 140724280419744 140724280402288 139899563777783 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 /proc/19362/statm: 3450442 207672 3303 1 0 3437675 0 [pid=19362/tid=19363] ppid=19361 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19363/stat : 19363 (java) S 19361 19361 16913 0 -1 1077944384 8730 0 0 0 108 5 0 0 20 0 28 0 4737715 14133010432 207672 33554432000 4194304 4196468 140724280419744 139899568018560 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19365] ppid=19361 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19365/stat : 19365 (java) S 19361 19361 16913 0 -1 1077944384 1074 0 0 0 39 11 0 0 20 0 28 0 4737716 14133010432 207672 33554432000 4194304 4196468 140724280419744 139899502742416 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19366] ppid=19361 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19366/stat : 19366 (java) S 19361 19361 16913 0 -1 1077944384 2046 0 0 0 39 9 0 0 20 0 28 0 4737716 14133010432 207672 33554432000 4194304 4196468 140724280419744 139899501689616 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19367] ppid=19361 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19367/stat : 19367 (java) S 19361 19361 16913 0 -1 1077944384 1574 0 0 0 40 9 0 0 20 0 28 0 4737716 14133010432 207672 33554432000 4194304 4196468 140724280419744 139899160714384 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19368] ppid=19361 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19368/stat : 19368 (java) S 19361 19361 16913 0 -1 1077944384 1209 0 0 0 40 9 0 0 20 0 28 0 4737716 14133010432 207672 33554432000 4194304 4196468 140724280419744 139899159661584 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19369] ppid=19361 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19369/stat : 19369 (java) S 19361 19361 16913 0 -1 1077944384 1147 0 0 0 39 10 0 0 20 0 28 0 4737716 14133010432 207672 33554432000 4194304 4196468 140724280419744 139899158608272 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19370] ppid=19361 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19370/stat : 19370 (java) S 19361 19361 16913 0 -1 1077944384 435 0 0 0 39 10 0 0 20 0 28 0 4737716 14133010432 207672 33554432000 4194304 4196468 140724280419744 139899157555472 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19371] ppid=19361 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19371/stat : 19371 (java) S 19361 19361 16913 0 -1 1077944384 692 0 0 0 39 11 0 0 20 0 28 0 4737716 14133010432 207672 33554432000 4194304 4196468 140724280419744 139899156503184 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19372] ppid=19361 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19372/stat : 19372 (java) S 19361 19361 16913 0 -1 1077944384 689 0 0 0 42 9 0 0 20 0 28 0 4737716 14133010432 207672 33554432000 4194304 4196468 140724280419744 139899155450384 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19373] ppid=19361 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19373/stat : 19373 (java) S 19361 19361 16913 0 -1 1077944384 5654 0 0 0 132 7 0 0 20 0 28 0 4737718 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898891774576 139899563788930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19374] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19374/stat : 19374 (java) S 19361 19361 16913 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 4737719 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898890720608 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19375] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19375/stat : 19375 (java) S 19361 19361 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4737719 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898889668224 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19376] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19376/stat : 19376 (java) S 19361 19361 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4737723 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898888616528 139899563796379 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19377] ppid=19361 vsize=13801768 CPUtime=2.96 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19377/stat : 19377 (java) S 19361 19361 16913 0 -1 1077944384 13340 0 0 0 295 1 0 0 20 0 28 0 4737723 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898887563376 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19378] ppid=19361 vsize=13801768 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19378/stat : 19378 (java) S 19361 19361 16913 0 -1 1077944384 12652 0 0 0 307 2 0 0 20 0 28 0 4737723 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898886510576 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19379] ppid=19361 vsize=13801768 CPUtime=2.56 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19379/stat : 19379 (java) S 19361 19361 16913 0 -1 1077944384 11026 0 0 0 255 1 0 0 20 0 28 0 4737723 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898885458288 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19380] ppid=19361 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19380/stat : 19380 (java) S 19361 19361 16913 0 -1 1077944384 7254 0 0 0 94 2 0 0 20 0 28 0 4737723 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898884405488 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19381] ppid=19361 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19381/stat : 19381 (java) S 19361 19361 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4737723 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898883353440 139899563787989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19382] ppid=19361 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19382/stat : 19382 (java) S 19361 19361 16913 0 -1 1077944384 720 0 0 0 7 6 0 0 20 0 28 0 4737724 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898882300720 139899563788930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19399] ppid=19361 vsize=13801768 CPUtime=290.2 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19399/stat : 19399 (java) R 19361 19361 16913 0 -1 4202560 930 0 0 0 29020 0 0 0 20 0 28 0 4738866 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898867969464 139899188484928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19400] ppid=19361 vsize=13801768 CPUtime=289.74 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19400/stat : 19400 (java) R 19361 19361 16913 0 -1 4202560 1030 0 0 0 28973 1 0 0 20 0 28 0 4738866 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898869022704 139899187351345 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19401] ppid=19361 vsize=13801768 CPUtime=289.8 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19401/stat : 19401 (java) R 19361 19361 16913 0 -1 4202560 2971 0 0 0 28978 2 0 0 20 0 28 0 4738866 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898872182928 139899189801447 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19402] ppid=19361 vsize=13801768 CPUtime=288.24 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19402/stat : 19402 (java) R 19361 19361 16913 0 -1 4202560 1760 0 0 0 28824 0 0 0 20 0 28 0 4738866 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898873232952 139899188723522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19403] ppid=19361 vsize=13801768 CPUtime=289.12 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19403/stat : 19403 (java) R 19361 19361 16913 0 -1 4202560 1230 0 0 0 28911 1 0 0 20 0 28 0 4738866 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898871127992 139899186916454 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19404] ppid=19361 vsize=13801768 CPUtime=290.93 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19404/stat : 19404 (java) R 19361 19361 16913 0 -1 4202560 493 0 0 0 29093 0 0 0 20 0 28 0 4738866 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898870075112 139899187351305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19405] ppid=19361 vsize=13801768 CPUtime=290.82 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19405/stat : 19405 (java) R 19361 19361 16913 0 -1 4202560 758 0 0 0 29082 0 0 0 20 0 28 0 4738866 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898866917480 139899187351286 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 [pid=19362/tid=19406] ppid=19361 vsize=13801768 CPUtime=289.28 cores=0,2,4,6,8,10,12,14 /proc/19362/task/19406/stat : 19406 (java) R 19361 19361 16913 0 -1 4202560 646 0 0 0 28928 0 0 0 20 0 28 0 4738866 14133010432 207672 33554432000 4194304 4196468 140724280419744 139898874285896 139899188484876 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13701120 140724280423612 140724280423788 140724280423788 140724280426447 0 Current children cumulated CPU time (s) 2400.1 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 19362 sig 9 ??? kill 19361 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 19361 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2070 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1035 # CPU time returned by wait4() is 0.003105 # while last known CPU time is 2400.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 304.83 CPU time (s): 2400.1 CPU user time (s): 2398.95 CPU system time (s): 1.15 CPU usage (%): 787.357 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.00207 system time used= 0.001035 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 519 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.95419 second user time and 4.38435 second system time The end
Begin job on node133 at 2017-07-22 05:38:28 IDJOB=4249489 IDBENCH=136475 IDSOLVER=2625 FILE ID=node133/4249489-1500694708 RUNJOBID= node133-1500682387-16944 PBS_JOBID= 20623321 Free space on /tmp= 62008 MiB SOLVER NAME= choco-solver 4.0.5 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-4249489-1500694708/watcher-4249489-1500694708 -o /tmp/evaluation-result-4249489-1500694708/solver-4249489-1500694708 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 796629004 HOME/instance-4249489-1500694708.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 46f71c9023558927bc58b896c2ad9580 RANDOM SEED=796629004 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 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 : 1867.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 : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 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 : 1867.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 : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25538304 kB MemAvailable: 25756792 kB Buffers: 119520 kB Cached: 377872 kB SwapCached: 0 kB Active: 6467260 kB Inactive: 319312 kB Active(anon): 6291524 kB Inactive(anon): 8756 kB Active(file): 175736 kB Inactive(file): 310556 kB Unevictable: 5900 kB Mlocked: 5900 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7756 kB Writeback: 0 kB AnonPages: 6431308 kB Mapped: 43284 kB Shmem: 8872 kB Slab: 130316 kB SReclaimable: 96060 kB SUnreclaim: 34256 kB KernelStack: 5072 kB PageTables: 17940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8497988 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6266880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62000 MiB End job on node133 at 2017-07-22 05:43:33