Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 94 | 2400.01 | 304.412 |
| Name | BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml |
| MD5SUM | ee745fcf29eade3c7f55b7e84eebe45a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 93 |
| Best CPU time to get the best result obtained on this benchmark | 20067.6 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1293 |
| Number of constraints | 649 |
| Number of domains | 2 |
| Minimum domain size | 72 |
| Maximum domain size | 324 |
| Distribution of domain sizes | [{"size":72,"count":1292},{"size":324,"count":1}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":969},{"degree":5,"count":323}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 1292 |
| Distribution of constraint arities | [{"arity":4,"count":646},{"arity":324,"count":1},{"arity":1292,"count":2}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":323},{"type":"lex","count":1},{"type":"sum","count":323},{"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-4249469-1500694932.xml" -tl '2400s' -p 8 -x 3 0.00/0.19 c [HOME/instance-4249469-1500694932.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.25 c 8 solvers in parallel 0.00/0.31 c parse instance... 0.00/0.95 c solve instance... 41.22/7.15 o 93 513.93/67.53 o 94 2400.01/304.45 s SATISFIABLE 2400.01/304.45 v <instantiation> 2400.01/304.45 v <list>x b[0][0] b[0][1] b[0][2] b[0][3] b[1][0] b[1][1] b[1][2] b[1][3] b[2][0] b[2][1] b[2][2] b[2][3] b[3][0] b[3][1] b[3][2] b[3][3] b[4][0] b[4][1] b[4][2] b[4][3] b[5][0] b[5][1] b[5][2] b[5][3] b[6][0] b[6][1] b[6][2] b[6][3] b[7][0] b[7][1] b[7][2] b[7][3] b[8][0] b[8][1] b[8][2] b[8][3] b[9][0] b[9][1] b[9][2] b[9][3] b[10][0] b[10][1] b[10][2] b[10][3] b[11][0] b[11][1] b[11][2] b[11][3] b[12][0] b[12][1] b[12][2] b[12][3] b[13][0] b[13][1] b[13][2] b[13][3] b[14][0] b[14][1] b[14][2] b[14][3] b[15][0] b[15][1] b[15][2] b[15][3] b[16][0] b[16][1] b[16][2] b[16][3] b[17][0] b[17][1] b[17][2] b[17][3] b[18][0] b[18][1] b[18][2] b[18][3] b[19][0] b[19][1] b[19][2] b[19][3] b[20][0] b[20][1] b[20][2] b[20][3] b[21][0] b[21][1] b[21][2] b[21][3] b[22][0] b[22][1] b[22][2] b[22][3] b[23][0] b[23][1] b[23][2] b[23][3] b[24][0] b[24][1] b[24][2] b[24][3] b[25][0] b[25][1] b[25][2] b[25][3] b[26][0] b[26][1] b[26][2] b[26][3] b[27][0] b[27][1] b[27][2] b[27][3] b[28][0] b[28][1] b[28][2] b[28][3] b[29][0] b[29][1] b[29][2] b[29][3] b[30][0] b[30][1] b[30][2] b[30][3] b[31][0] b[31][1] b[31][2] b[31][3] b[32][0] b[32][1] b[32][2] b[32][3] b[33][0] b[33][1] b[33][2] b[33][3] b[34][0] b[34][1] b[34][2] b[34][3] b[35][0] b[35][1] b[35][2] b[35][3] b[36][0] b[36][1] b[36][2] b[36][3] b[37][0] b[37][1] b[37][2] b[37][3] b[38][0] b[38][1] b[38][2] b[38][3] b[39][0] b[39][1] b[39][2] b[39][3] b[40][0] b[40][1] b[40][2] b[40][3] b[41][0] b[41][1] b[41][2] b[41][3] b[42][0] b[42][1] b[42][2] b[42][3] b[43][0] b[43][1] b[43][2] b[43][3] b[44][0] b[44][1] b[44][2] b[44][3] b[45][0] b[45][1] b[45][2] b[45][3] b[46][0] b[46][1] b[46][2] b[46][3] b[47][0] b[47][1] b[47][2] b[47][3] b[48][0] b[48][1] b[48][2] b[48][3] b[49][0] b[49][1] b[49][2] b[49][3] b[50][0] b[50][1] b[50][2] b[50][3] b[51][0] b[51][1] b[51][2] b[51][3] b[52][0] b[52][1] b[52][2] b[52][3] b[53][0] b[53][1] b[53][2] b[53][3] b[54][0] b[54][1] b[54][2] b[54][3] b[55][0] b[55][1] b[55][2] b[55][3] b[56][0] b[56][1] b[56][2] b[56][3] b[57][0] b[57][1] b[57][2] b[57][3] b[58][0] b[58][1] b[58][2] b[58][3] b[59][0] b[59][1] b[59][2] b[59][3] b[60][0] b[60][1] b[60][2] b[60][3] b[61][0] b[61][1] b[61][2] b[61][3] b[62][0] b[62][1] b[62][2] b[62][3] b[63][0] b[63][1] b[63][2] b[63][3] b[64][0] b[64][1] b[64][2] b[64][3] b[65][0] b[65][1] b[65][2] b[65][3] b[66][0] b[66][1] b[66][2] b[66][3] b[67][0] b[67][1] b[67][2] b[67][3] b[68][0] b[68][1] b[68][2] b[68][3] b[69][0] b[69][1] b[69][2] b[69][3] b[70][0] b[70][1] b[70][2] b[70][3] b[71][0] b[71][1] b[71][2] b[71][3] b[72][0] b[72][1] b[72][2] b[72][3] b[73][0] b[73][1] b[73][2] b[73][3] b[74][0] b[74][1] b[74][2] b[74][3] b[75][0] b[75][1] b[75][2] b[75][3] b[76][0] b[76][1] b[76][2] b[76][3] b[77][0] b[77][1] b[77][2] b[77][3] b[78][0] b[78][1] b[78][2] b[78][3] b[79][0] b[79][1] b[79][2] b[79][3] b[80][0] b[80][1] b[80][2] b[80][3] b[81][0] b[81][1] b[81][2] b[81][3] b[82][0] b[82][1] b[82][2] b[82][3] b[83][0] b[83][1] b[83][2] b[83][3] b[84][0] b[84][1] b[84][2] b[84][3] b[85][0] b[85][1] b[85][2] b[85][3] b[86][0] b[86][1] b[86][2] b[86][3] b[87][0] b[87][1] b[87][2] b[87][3] b[88][0] b[88][1] b[88][2] b[88][3] b[89][0] b[89][1] b[89][2] b[89][3] b[90][0] b[90][1] b[90][2] b[90][3] b[91][0] b[91][1] b[91][2] b[91][3] b[92][0] b[92][1] b[92][2] b[92][3] b[93][0] b[93][1] b[93][2] b[93][3] b[94][0] b[94][1] b[94][2] b[94][3] b[95][0] b[95][1] b[95][2] b[95][3] b[96][0] b[96][1] b[96][2] b[96][3] b[97][0] b[97][1] b[97][2] b[97][3] b[98][0] b[98][1] b[98][2] b[98][3] b[99][0] b[99][1] b[99][2] b[99][3] b[100][0] b[100][1] b[100][2] b[100][3] b[101][0] b[101][1] b[101][2] b[101][3] b[102][0] b[102][1] b[102][2] b[102][3] b[103][0] b[103][1] b[103][2] b[103][3] b[104][0] b[104][1] b[104][2] b[104][3] b[105][0] b[105][1] b[105][2] b[105][3] b[106][0] b[106][1] b[106][2] b[106][3] b[107][0] b[107][1] b[107][2] b[107][3] b[108][0] b[108][1] b[108][2] b[108][3] b[109][0] b[109][1] b[109][2] b[109][3] b[110][0] b[110][1] b[110][2] b[110][3] b[111][0] b[111][1] b[111][2] b[111][3] b[112][0] b[112][1] b[112][2] b[112][3] b[113][0] b[113][1] b[113][2] b[113][3] b[114][0] b[114][1] b[114][2] b[114][3] b[115][0] b[115][1] b[115][2] b[115][3] b[116][0] b[116][1] b[116][2] b[116][3] b[117][0] b[117][1] b[117][2] b[117][3] b[118][0] b[118][1] b[118][2] b[118][3] b[119][0] b[119][1] b[119][2] b[119][3] b[120][0] b[120][1] b[120][2] b[120][3] b[121][0] b[121][1] b[121][2] b[121][3] b[122][0] b[122][1] b[122][2] b[122][3] b[123][0] b[123][1] b[123][2] b[123][3] b[124][0] b[124][1] b[124][2] b[124][3] b[125][0] b[125][1] b[125][2] b[125][3] b[126][0] b[126][1] b[126][2] b[126][3] b[127][0] b[127][1] b[127][2] b[127][3] b[128][0] b[128][1] b[128][2] b[128][3] b[129][0] b[129][1] b[129][2] b[129][3] b[130][0] b[130][1] b[130][2] b[130][3] b[131][0] b[131][1] b[131][2] b[131][3] b[132][0] b[132][1] b[132][2] b[132][3] b[133][0] b[133][1] b[133][2] b[133][3] b[134][0] b[134][1] b[134][2] b[134][3] b[135][0] b[135][1] b[135][2] b[135][3] b[136][0] b[136][1] b[136][2] b[136][3] b[137][0] b[137][1] b[137][2] b[137][3] b[138][0] b[138][1] b[138][2] b[138][3] b[139][0] b[139][1] b[139][2] b[139][3] b[140][0] b[140][1] b[140][2] b[140][3] b[141][0] b[141][1] b[141][2] b[141][3] b[142][0] b[142][1] b[142][2] b[142][3] b[143][0] b[143][1] b[143][2] b[143][3] b[144][0] b[144][1] b[144][2] b[144][3] b[145][0] b[145][1] b[145][2] b[145][3] b[146][0] b[146][1] b[146][2] b[146][3] b[147][0] b[147][1] b[147][2] b[147][3] b[148][0] b[148][1] b[148][2] b[148][3] b[149][0] b[149][1] b[149][2] b[149][3] b[150][0] b[150][1] b[150][2] b[150][3] b[151][0] b[151][1] b[151][2] b[151][3] b[152][0] b[152][1] b[152][2] b[152][3] b[153][0] b[153][1] b[153][2] b[153][3] b[154][0] b[154][1] b[154][2] b[154][3] b[155][0] b[155][1] b[155][2] b[155][3] b[156][0] b[156][1] b[156][2] b[156][3] b[157][0] b[157][1] b[157][2] b[157][3] b[158][0] b[158][1] b[158][2] b[158][3] b[159][0] b[159][1] b[159][2] b[159][3] b[160][0] b[160][1] b[160][2] b[160][3] b[161][0] b[161][1] b[161][2] b[161][3] b[162][0] b[162][1] b[162][2] b[162][3] b[163][0] b[163][1] b[163][2] b[163][3] b[164][0] b[164][1] b[164][2] b[164][3] b[165][0] b[165][1] b[165][2] b[165][3] b[166][0] b[166][1] b[166][2] b[166][3] b[167][0] b[167][1] b[167][2] b[167][3] b[168][0] b[168][1] b[168][2] b[168][3] b[169][0] b[169][1] b[169][2] b[169][3] b[170][0] b[170][1] b[170][2] b[170][3] b[171][0] b[171][1] b[171][2] b[171][3] b[172][0] b[172][1] b[172][2] b[172][3] b[173][0] b[173][1] b[173][2] b[173][3] b[174][0] b[174][1] b[174][2] b[174][3] b[175][0] b[175][1] b[175][2] b[175][3] b[176][0] b[176][1] b[176][2] b[176][3] b[177][0] b[177][1] b[177][2] b[177][3] b[178][0] b[178][1] b[178][2] b[178][3] b[179][0] b[179][1] b[179][2] b[179][3] b[180][0] b[180][1] b[180][2] b[180][3] b[181][0] b[181][1] b[181][2] b[181][3] b[182][0] b[182][1] b[182][2] b[182][3] b[183][0] b[183][1] b[183][2] b[183][3] b[184][0] b[184][1] b[184][2] b[184][3] b[185][0] b[185][1] b[185][2] b[185][3] b[186][0] b[186][1] b[186][2] b[186][3] b[187][0] b[187][1] b[187][2] b[187][3] b[188][0] b[188][1] b[188][2] b[188][3] b[189][0] b[189][1] b[189][2] b[189][3] b[190][0] b[190][1] b[190][2] b[190][3] b[191][0] b[191][1] b[191][2] b[191][3] b[192][0] b[192][1] b[192][2] b[192][3] b[193][0] b[193][1] b[193][2] b[193][3] b[194][0] b[194][1] b[194][2] b[194][3] b[195][0] b[195][1] b[195][2] b[195][3] b[196][0] b[196][1] b[196][2] b[196][3] b[197][0] b[197][1] b[197][2] b[197][3] b[198][0] b[198][1] b[198][2] b[198][3] b[199][0] b[199][1] b[199][2] b[199][3] b[200][0] b[200][1] b[200][2] b[200][3] b[201][0] b[201][1] b[201][2] b[201][3] b[202][0] b[202][1] b[202][2] b[202][3] b[203][0] b[203][1] b[203][2] b[203][3] b[204][0] b[204][1] b[204][2] b[204][3] b[205][0] b[205][1] b[205][2] b[205][3] b[206][0] b[206][1] b[206][2] b[206][3] b[207][0] b[207][1] b[207][2] b[207][3] b[208][0] b[208][1] b[208][2] b[208][3] b[209][0] b[209][1] b[209][2] b[209][3] b[210][0] b[210][1] b[210][2] b[210][3] b[211][0] b[211][1] b[211][2] b[211][3] b[212][0] b[212][1] b[212][2] b[212][3] b[213][0] b[213][1] b[213][2] b[213][3] b[214][0] b[214][1] b[214][2] b[214][3] b[215][0] b[215][1] b[215][2] b[215][3] b[216][0] b[216][1] b[216][2] b[216][3] b[217][0] b[217][1] b[217][2] b[217][3] b[218][0] b[218][1] b[218][2] b[218][3] b[219][0] b[219][1] b[219][2] b[219][3] b[220][0] b[220][1] b[220][2] b[220][3] b[221][0] b[221][1] b[221][2] b[221][3] b[222][0] b[222][1] b[222][2] b[222][3] b[223][0] b[223][1] b[223][2] b[223][3] b[224][0] b[224][1] b[224][2] b[224][3] b[225][0] b[225][1] b[225][2] b[225][3] b[226][0] b[226][1] b[226][2] b[226][3] b[227][0] b[227][1] b[227][2] b[227][3] b[228][0] b[228][1] b[228][2] b[228][3] b[229][0] b[229][1] b[229][2] b[229][3] b[230][0] b[230][1] b[230][2] b[230][3] b[231][0] b[231][1] b[231][2] b[231][3] b[232][0] b[232][1] b[232][2] b[232][3] b[233][0] b[233][1] b[233][2] b[233][3] b[234][0] b[234][1] b[234][2] b[234][3] b[235][0] b[235][1] b[235][2] b[235][3] b[236][0] b[236][1] b[236][2] b[236][3] b[237][0] b[237][1] b[237][2] b[237][3] b[238][0] b[238][1] b[238][2] b[238][3] b[239][0] b[239][1] b[239][2] b[239][3] b[240][0] b[240][1] b[240][2] b[240][3] b[241][0] b[241][1] b[241][2] b[241][3] b[242][0] b[242][1] b[242][2] b[242][3] b[243][0] b[243][1] b[243][2] b[243][3] b[244][0] b[244][1] b[244][2] b[244][3] b[245][0] b[245][1] b[245][2] b[245][3] b[246][0] b[246][1] b[246][2] b[246][3] b[247][0] b[247][1] b[247][2] b[247][3] b[248][0] b[248][1] b[248][2] b[248][3] b[249][0] b[249][1] b[249][2] b[249][3] b[250][0] b[250][1] b[250][2] b[250][3] b[251][0] b[251][1] b[251][2] b[251][3] b[252][0] b[252][1] b[252][2] b[252][3] b[253][0] b[253][1] b[253][2] b[253][3] b[254][0] b[254][1] b[254][2] b[254][3] b[255][0] b[255][1] b[255][2] b[255][3] b[256][0] b[256][1] b[256][2] b[256][3] b[257][0] b[257][1] b[257][2] b[257][3] b[258][0] b[258][1] b[258][2] b[258][3] b[259][0] b[259][1] b[259][2] b[259][3] b[260][0] b[260][1] b[260][2] b[260][3] b[261][0] b[261][1] b[261][2] b[261][3] b[262][0] b[262][1] b[262][2] b[262][3] b[263][0] b[263][1] b[263][2] b[263][3] b[264][0] b[264][1] b[264][2] b[264][3] b[265][0] b[265][1] b[265][2] b[265][3] b[266][0] b[266][1] b[266][2] b[266][3] b[267][0] b[267][1] b[267][2] b[267][3] b[268][0] b[268][1] b[268][2] b[268][3] b[269][0] b[269][1] b[269][2] b[269][3] b[270][0] b[270][1] b[270][2] b[270][3] b[271][0] b[271][1] b[271][2] b[271][3] b[272][0] b[272][1] b[272][2] b[272][3] b[273][0] b[273][1] b[273][2] b[273][3] b[274][0] b[274][1] b[274][2] b[274][3] b[275][0] b[275][1] b[275][2] b[275][3] b[276][0] b[276][1] b[276][2] b[276][3] b[277][0] b[277][1] b[277][2] b[277][3] b[278][0] b[278][1] b[278][2] b[278][3] b[279][0] b[279][1] b[279][2] b[279][3] b[280][0] b[280][1] b[280][2] b[280][3] b[281][0] b[281][1] b[281][2] b[281][3] b[282][0] b[282][1] b[282][2] b[282][3] b[283][0] b[283][1] b[283][2] b[283][3] b[284][0] b[284][1] b[284][2] b[284][3] b[285][0] b[285][1] b[285][2] b[285][3] b[286][0] b[286][1] b[286][2] b[286][3] b[287][0] b[287][1] b[287][2] b[287][3] b[288][0] b[288][1] b[288][2] b[288][3] b[289][0] b[289][1] b[289][2] b[289][3] b[290][0] b[290][1] b[290][2] b[290][3] b[291][0] b[291][1] b[291][2] b[291][3] b[292][0] b[292][1] b[292][2] b[292][3] b[293][0] b[293][1] b[293][2] b[293][3] b[294][0] b[294][1] b[294][2] b[294][3] b[295][0] b[295][1] b[295][2] b[295][3] b[296][0] b[296][1] b[296][2] b[296][3] b[297][0] b[297][1] b[297][2] b[297][3] b[298][0] b[298][1] b[298][2] b[298][3] b[299][0] b[299][1] b[299][2] b[299][3] b[300][0] b[300][1] b[300][2] b[300][3] b[301][0] b[301][1] b[301][2] b[301][3] b[302][0] b[302][1] b[302][2] b[302][3] b[303][0] b[303][1] b[303][2] b[303][3] b[304][0] b[304][1] b[304][2] b[304][3] b[305][0] b[305][1] b[305][2] b[305][3] b[306][0] b[306][1] b[306][2] b[306][3] b[307][0] b[307][1] b[307][2] b[307][3] b[308][0] b[308][1] b[308][2] b[308][3] b[309][0] b[309][1] b[309][2] b[309][3] b[310][0] b[310][1] b[310][2] b[310][3] b[311][0] b[311][1] b[311][2] b[311][3] b[312][0] b[312][1] b[312][2] b[312][3] b[313][0] b[313][1] b[313][2] b[313][3] b[314][0] b[314][1] b[314][2] b[314][3] b[315][0] b[315][1] b[315][2] b[315][3] b[316][0] b[316][1] b[316][2] b[316][3] b[317][0] b[317][1] b[317][2] b[317][3] b[318][0] b[318][1] b[318][2] b[318][3] b[319][0] b[319][1] b[319][2] b[319][3] b[320][0] b[320][1] b[320][2] b[320][3] b[321][0] b[321][1] b[321][2] b[321][3] b[322][0] b[322][1] b[322][2] b[322][3] </list> 2400.01/304.45 v <values>94 100 50 0 0 100 50 0 0 100 50 0 0 100 50 0 0 100 49 0 0 100 49 0 0 99 51 0 0 99 51 0 0 99 51 0 0 99 49 0 0 99 49 0 0 99 49 0 0 99 49 0 0 99 48 0 0 98 52 0 0 98 52 0 0 98 52 0 0 98 52 0 0 98 52 0 0 98 52 0 0 98 48 0 0 98 48 0 0 98 48 0 0 98 48 0 0 97 53 0 0 97 53 0 0 97 53 0 0 97 53 0 0 97 53 0 0 97 53 0 0 97 53 0 0 97 48 0 0 97 48 0 0 97 48 0 0 96 54 0 0 96 54 0 0 95 55 0 0 95 55 0 0 95 55 0 0 95 55 0 0 95 55 0 0 95 55 0 0 95 55 0 0 95 55 0 0 94 56 0 0 94 56 0 0 94 56 0 0 94 56 0 0 94 56 0 0 94 56 0 0 94 56 0 0 94 56 0 0 93 57 0 0 93 57 0 0 93 57 0 0 93 57 0 0 93 57 0 0 93 57 0 0 93 57 0 0 93 57 0 0 93 57 0 0 93 56 0 0 92 58 0 0 92 58 0 0 92 58 0 0 91 59 0 0 91 59 0 0 91 59 0 0 91 59 0 0 91 59 0 0 91 58 0 0 91 58 0 0 90 60 0 0 90 60 0 0 90 60 0 0 90 60 0 0 90 58 0 0 90 56 0 0 90 55 0 0 90 54 0 0 90 54 0 0 89 61 0 0 89 61 0 0 89 61 0 0 89 54 0 0 89 54 0 0 89 54 0 0 89 48 0 0 89 47 0 0 88 62 0 0 88 62 0 0 88 62 0 0 88 62 0 0 88 62 0 0 88 47 0 0 88 47 0 0 88 47 0 0 88 46 0 0 88 46 0 0 87 63 0 0 87 63 0 0 87 63 0 0 87 63 0 0 87 63 0 0 87 63 0 0 87 63 0 0 87 46 0 0 87 46 0 0 86 64 0 0 86 64 0 0 86 64 0 0 86 64 0 0 86 64 0 0 86 64 0 0 86 64 0 0 85 65 0 0 85 65 0 0 85 65 0 0 85 65 0 0 85 65 0 0 85 64 0 0 85 64 0 0 85 64 0 0 85 64 0 0 84 66 0 0 84 66 0 0 84 66 0 0 84 66 0 0 84 66 0 0 84 66 0 0 84 66 0 0 84 66 0 0 84 66 0 0 83 67 0 0 83 67 0 0 83 67 0 0 83 67 0 0 83 67 0 0 83 67 0 0 83 67 0 0 83 64 0 0 83 64 0 0 83 64 0 0 83 45 0 0 83 44 0 0 82 68 0 0 82 68 0 0 82 68 0 0 82 68 0 0 82 68 0 0 82 68 0 0 82 68 0 0 82 68 0 0 81 69 0 0 81 69 0 0 81 69 0 0 81 69 0 0 81 69 0 0 81 44 0 0 81 44 0 0 81 44 0 0 80 70 0 0 80 70 0 0 80 70 0 0 80 70 0 0 80 70 0 0 79 71 0 0 79 71 0 0 79 71 0 0 79 71 0 0 79 71 0 0 79 71 0 0 79 71 0 0 79 71 0 0 79 71 0 0 79 71 0 0 79 71 0 0 78 70 0 0 78 70 0 0 78 70 0 0 78 70 0 0 78 70 0 0 78 44 0 0 78 44 0 0 77 44 0 0 77 43 30 0 77 43 30 0 77 43 30 0 77 43 30 0 77 43 0 0 77 43 0 0 76 43 31 0 76 42 32 0 76 42 32 0 76 42 32 0 76 42 32 0 76 42 32 0 75 41 34 0 75 41 34 0 75 40 35 0 75 40 35 0 75 40 35 0 75 40 35 0 75 40 35 0 75 39 36 0 75 39 36 0 75 39 36 0 75 39 36 0 74 38 38 0 74 38 38 0 74 38 38 0 74 38 37 0 74 37 37 0 74 37 37 0 74 37 37 0 74 37 37 0 73 37 36 0 73 35 35 0 73 35 35 0 73 35 34 0 73 34 34 0 73 34 34 0 72 34 34 0 72 34 33 0 72 33 33 0 72 32 32 0 72 32 31 0 72 31 31 0 72 31 31 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.01/304.45 v </instantiation> 2400.01/304.45 c Unexpected resolution interruption!
OK 94
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-4249469-1500694932/watcher-4249469-1500694932 -o /tmp/evaluation-result-4249469-1500694932/solver-4249469-1500694932 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1697598219 HOME/instance-4249469-1500694932.xml pid=16818 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 14.04 13.53 13.54 10/272 16821 /proc/meminfo: memFree=27419100/32770624 swapFree=5972/271612 [pid=16821] ppid=16818 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16821/stat : 16821 (xcsp3-exec) S 16818 16821 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4762744 9740288 346 33554432000 4194304 5098028 140729542403216 140729542401320 140584702276220 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36630528 140729542407310 140729542407520 140729542407520 140729542410219 0 /proc/16821/statm: 2378 346 289 221 0 87 0 [startup+0.100064 s] /proc/loadavg: 14.04 13.53 13.54 10/272 16821 /proc/meminfo: memFree=27419100/32770624 swapFree=5972/271612 [pid=16821] ppid=16818 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16821/stat : 16821 (xcsp3-exec) S 16818 16821 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4762744 9740288 346 33554432000 4194304 5098028 140729542403216 140729542401320 140584702276220 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36630528 140729542407310 140729542407520 140729542407520 140729542410219 0 /proc/16821/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.20026 s] /proc/loadavg: 14.04 13.53 13.54 10/272 16821 /proc/meminfo: memFree=27419100/32770624 swapFree=5972/271612 [pid=16821] ppid=16818 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16821/stat : 16821 (xcsp3-exec) S 16818 16821 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4762744 9740288 346 33554432000 4194304 5098028 140729542403216 140729542401320 140584702276220 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36630528 140729542407310 140729542407520 140729542407520 140729542410219 0 /proc/16821/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300209 s] /proc/loadavg: 14.04 13.53 13.54 10/272 16821 /proc/meminfo: memFree=27419100/32770624 swapFree=5972/271612 [pid=16821] ppid=16818 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16821/stat : 16821 (xcsp3-exec) S 16818 16821 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4762744 9740288 346 33554432000 4194304 5098028 140729542403216 140729542401320 140584702276220 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36630528 140729542407310 140729542407520 140729542407520 140729542410219 0 /proc/16821/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.70021 s] /proc/loadavg: 14.04 13.53 13.54 10/272 16821 /proc/meminfo: memFree=27419100/32770624 swapFree=5972/271612 [pid=16821] ppid=16818 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16821/stat : 16821 (xcsp3-exec) S 16818 16821 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4762744 9740288 346 33554432000 4194304 5098028 140729542403216 140729542401320 140584702276220 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36630528 140729542407310 140729542407520 140729542407520 140729542410219 0 /proc/16821/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50155 s] /proc/loadavg: 14.04 13.53 13.54 23/301 16850 /proc/meminfo: memFree=27271708/32770624 swapFree=5972/271648 [pid=16821] ppid=16818 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16821/stat : 16821 (xcsp3-exec) S 16818 16821 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4762744 9740288 346 33554432000 4194304 5098028 140729542403216 140729542401320 140584702276220 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36630528 140729542407310 140729542407520 140729542407520 140729542410219 0 /proc/16821/statm: 2378 346 289 221 0 87 0 [pid=16822] ppid=16821 vsize=13801768 CPUtime=7 cores=1,3,5,7,9,11,13,15 /proc/16822/stat : 16822 (java) S 16821 16821 14626 0 -1 1077944320 15265 0 0 0 693 7 0 0 20 0 28 0 4762744 14133010432 41734 33554432000 4194304 4196468 140734372173840 140734372156384 139726873689847 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 /proc/16822/statm: 3450442 41734 3241 1 0 3437675 0 [pid=16822/tid=16823] ppid=16821 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16823/stat : 16823 (java) S 16821 16821 14626 0 -1 1077944384 6842 0 0 0 90 3 0 0 20 0 28 0 4762745 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726877930624 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16825] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16825/stat : 16825 (java) S 16821 16821 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4762746 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726830242192 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16826] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16826/stat : 16826 (java) S 16821 16821 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4762746 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726472018192 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16827] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16827/stat : 16827 (java) S 16821 16821 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4762746 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726470965904 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16828] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16828/stat : 16828 (java) S 16821 16821 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4762746 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726469913104 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16829] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16829/stat : 16829 (java) S 16821 16821 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4762746 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726468860816 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16830] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16830/stat : 16830 (java) S 16821 16821 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4762746 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726467808016 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16831] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16831/stat : 16831 (java) S 16821 16821 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4762746 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726466755728 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16832] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16832/stat : 16832 (java) S 16821 16821 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4762746 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726465702928 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16833] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16833/stat : 16833 (java) S 16821 16821 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4762748 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726201825392 139726873700994 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16834] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16834/stat : 16834 (java) S 16821 16821 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4762749 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726200771360 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16835] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16835/stat : 16835 (java) S 16821 16821 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4762749 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726199719024 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16836] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16836/stat : 16836 (java) S 16821 16821 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4762753 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726198667344 139726873708443 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16837] ppid=16821 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16837/stat : 16837 (java) R 16821 16821 14626 0 -1 4202560 1539 0 0 0 77 0 0 0 20 0 28 0 4762753 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726197601784 139726857184000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16838] ppid=16821 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16838/stat : 16838 (java) R 16821 16821 14626 0 -1 4202560 1436 0 0 0 88 0 0 0 20 0 28 0 4762753 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726196562336 139726857808112 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16839] ppid=16821 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16839/stat : 16839 (java) R 16821 16821 14626 0 -1 4202560 1607 0 0 0 80 0 0 0 20 0 28 0 4762753 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726195491144 139726857592887 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16840] ppid=16821 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16840/stat : 16840 (java) S 16821 16821 14626 0 -1 1077944384 2169 0 0 0 64 1 0 0 20 0 28 0 4762753 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726194457328 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16841] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16841/stat : 16841 (java) S 16821 16821 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4762753 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726193404256 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16842] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16842/stat : 16842 (java) S 16821 16821 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4762753 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726192351536 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16843] ppid=16821 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16843/stat : 16843 (java) R 16821 16821 14626 0 -1 4202560 47 0 0 0 35 0 0 0 20 0 28 0 4762840 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726184337408 139726516271411 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16844] ppid=16821 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16844/stat : 16844 (java) R 16821 16821 14626 0 -1 4202560 51 0 0 0 46 0 0 0 20 0 28 0 4762840 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726183287272 139726516271884 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16845] ppid=16821 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16845/stat : 16845 (java) R 16821 16821 14626 0 -1 4202560 42 0 0 0 32 0 0 0 20 0 28 0 4762840 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726182234536 139726516271884 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16846] ppid=16821 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16846/stat : 16846 (java) R 16821 16821 14626 0 -1 4202560 77 0 0 0 39 0 0 0 20 0 28 0 4762840 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726181180088 139726515681655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16847] ppid=16821 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16847/stat : 16847 (java) R 16821 16821 14626 0 -1 4202560 36 0 0 0 35 0 0 0 20 0 28 0 4762840 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726180127104 139726516270827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16848] ppid=16821 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16848/stat : 16848 (java) R 16821 16821 14626 0 -1 4202560 31 0 0 0 38 0 0 0 20 0 28 0 4762840 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726179074600 139726515781154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16849] ppid=16821 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16849/stat : 16849 (java) R 16821 16821 14626 0 -1 4202560 36 0 0 0 31 0 0 0 20 0 28 0 4762840 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726178023880 139726516271151 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16850] ppid=16821 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16850/stat : 16850 (java) R 16821 16821 14626 0 -1 4202560 36 0 0 0 31 0 0 0 20 0 28 0 4762840 14133010432 41734 33554432000 4194304 4196468 140734372173840 139726176967752 139726516271151 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 Current children cumulated CPU time (s) 7 Current children cumulated vsize (KiB) 13811280 [startup+3.10157 s] /proc/loadavg: 14.28 13.58 13.56 19/301 16850 /proc/meminfo: memFree=27258940/32770624 swapFree=5972/271644 [pid=16821] ppid=16818 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16821/stat : 16821 (xcsp3-exec) S 16818 16821 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4762744 9740288 346 33554432000 4194304 5098028 140729542403216 140729542401320 140584702276220 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36630528 140729542407310 140729542407520 140729542407520 140729542410219 0 /proc/16821/statm: 2378 346 289 221 0 87 0 [pid=16822] ppid=16821 vsize=13801768 CPUtime=19.68 cores=1,3,5,7,9,11,13,15 /proc/16822/stat : 16822 (java) S 16821 16821 14626 0 -1 1077944320 21535 0 0 0 1944 24 0 0 20 0 28 0 4762744 14133010432 56254 33554432000 4194304 4196468 140734372173840 140734372156384 139726873689847 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 /proc/16822/statm: 3450442 56254 3264 1 0 3437675 0 [pid=16822/tid=16823] ppid=16821 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16823/stat : 16823 (java) S 16821 16821 14626 0 -1 1077944384 6842 0 0 0 90 3 0 0 20 0 28 0 4762745 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726877930624 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16825] ppid=16821 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16825/stat : 16825 (java) S 16821 16821 14626 0 -1 1077944384 59 0 0 0 1 1 0 0 20 0 28 0 4762746 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726830242192 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16826] ppid=16821 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16826/stat : 16826 (java) S 16821 16821 14626 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 4762746 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726472018192 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16827] ppid=16821 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16827/stat : 16827 (java) S 16821 16821 14626 0 -1 1077944384 102 0 0 0 1 2 0 0 20 0 28 0 4762746 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726470965904 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16828] ppid=16821 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16828/stat : 16828 (java) S 16821 16821 14626 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 28 0 4762746 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726469913104 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16829] ppid=16821 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16829/stat : 16829 (java) S 16821 16821 14626 0 -1 1077944384 29 0 0 0 1 2 0 0 20 0 28 0 4762746 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726468860816 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16830] ppid=16821 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16830/stat : 16830 (java) S 16821 16821 14626 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 28 0 4762746 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726467808016 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16831] ppid=16821 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16831/stat : 16831 (java) S 16821 16821 14626 0 -1 1077944384 255 0 0 0 1 1 0 0 20 0 28 0 4762746 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726466755728 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16832] ppid=16821 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16832/stat : 16832 (java) S 16821 16821 14626 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 28 0 4762746 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726465702928 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16833] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16833/stat : 16833 (java) S 16821 16821 14626 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 28 0 4762748 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726201825392 139726873700994 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16834] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16834/stat : 16834 (java) S 16821 16821 14626 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4762749 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726200771360 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16835] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16835/stat : 16835 (java) S 16821 16821 14626 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4762749 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726199719024 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16836] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16836/stat : 16836 (java) S 16821 16821 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4762753 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726198667344 139726873708443 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16837] ppid=16821 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16837/stat : 16837 (java) S 16821 16821 14626 0 -1 1077944384 2270 0 0 0 108 0 0 0 20 0 28 0 4762753 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726197615216 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16838] ppid=16821 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16838/stat : 16838 (java) S 16821 16821 14626 0 -1 1077944384 2788 0 0 0 142 0 0 0 20 0 28 0 4762753 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726196562416 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16839] ppid=16821 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16839/stat : 16839 (java) S 16821 16821 14626 0 -1 1077944384 3114 0 0 0 130 1 0 0 20 0 28 0 4762753 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726195510128 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16840] ppid=16821 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16840/stat : 16840 (java) S 16821 16821 14626 0 -1 1077944384 3343 0 0 0 73 1 0 0 20 0 28 0 4762753 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726194457328 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16841] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16841/stat : 16841 (java) S 16821 16821 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4762753 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726193404256 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16842] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16842/stat : 16842 (java) S 16821 16821 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4762753 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726192351536 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16843] ppid=16821 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16843/stat : 16843 (java) R 16821 16821 14626 0 -1 4202560 90 0 0 0 169 0 0 0 20 0 28 0 4762840 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726184336000 139726515781234 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16844] ppid=16821 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16844/stat : 16844 (java) R 16821 16821 14626 0 -1 4202560 118 0 0 0 198 0 0 0 20 0 28 0 4762840 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726183284648 139726515862006 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16845] ppid=16821 vsize=13801768 CPUtime=1.62 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16845/stat : 16845 (java) R 16821 16821 14626 0 -1 4202560 120 0 0 0 162 0 0 0 20 0 28 0 4762840 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726182234776 139726515563875 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16846] ppid=16821 vsize=13801768 CPUtime=1.87 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16846/stat : 16846 (java) R 16821 16821 14626 0 -1 4202560 162 0 0 0 187 0 0 0 20 0 28 0 4762840 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726181179928 139726516043835 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16847] ppid=16821 vsize=13801768 CPUtime=1.84 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16847/stat : 16847 (java) R 16821 16821 14626 0 -1 4202560 234 0 0 0 184 0 0 0 20 0 28 0 4762840 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726180127640 139726516762004 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16848] ppid=16821 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16848/stat : 16848 (java) R 16821 16821 14626 0 -1 4202560 67 0 0 0 172 0 0 0 20 0 28 0 4762840 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726179074392 139726515861723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16849] ppid=16821 vsize=13801768 CPUtime=1.62 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16849/stat : 16849 (java) R 16821 16821 14626 0 -1 4202560 85 0 0 0 162 0 0 0 20 0 28 0 4762840 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726178021080 139726515861723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16850] ppid=16821 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16850/stat : 16850 (java) R 16821 16821 14626 0 -1 4202560 74 0 0 0 148 0 0 0 20 0 28 0 4762840 14133010432 56254 33554432000 4194304 4196468 140734372173840 139726176967416 139726515861789 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 Current children cumulated CPU time (s) 19.68 Current children cumulated vsize (KiB) 13811280 [startup+6.30099 s] /proc/loadavg: 14.28 13.58 13.56 19/301 16850 /proc/meminfo: memFree=27189436/32770624 swapFree=5972/271648 ################ # More data... # ################ [pid=16822/tid=16867] ppid=16821 vsize=13801768 CPUtime=154.26 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16867/stat : 16867 (java) R 16821 16821 14626 0 -1 4202560 433 0 0 0 15426 0 0 0 20 0 28 0 4769497 14133010432 133664 33554432000 4194304 4196468 140734372173840 139726180126616 139726515861697 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16868] ppid=16821 vsize=13801768 CPUtime=154.25 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16868/stat : 16868 (java) R 16821 16821 14626 0 -1 4202560 805 0 0 0 15425 0 0 0 20 0 28 0 4769497 14133010432 133664 33554432000 4194304 4196468 140734372173840 139726182231720 139726517966749 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 Current children cumulated CPU time (s) 1746.43 Current children cumulated vsize (KiB) 13811280 [startup+282.302 s] /proc/loadavg: 13.54 14.36 13.93 10/292 16959 /proc/meminfo: memFree=30428260/32770624 swapFree=5972/272084 [pid=16821] ppid=16818 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16821/stat : 16821 (xcsp3-exec) S 16818 16821 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4762744 9740288 346 33554432000 4194304 5098028 140729542403216 140729542401320 140584702276220 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36630528 140729542407310 140729542407520 140729542407520 140729542410219 0 /proc/16821/statm: 2378 346 289 221 0 87 0 [pid=16822] ppid=16821 vsize=13801768 CPUtime=2224.02 cores=1,3,5,7,9,11,13,15 /proc/16822/stat : 16822 (java) S 16821 16821 14626 0 -1 1077944320 91625 0 0 0 222291 111 0 0 20 0 28 0 4762744 14133010432 129612 33554432000 4194304 4196468 140734372173840 140734372156384 139726873689847 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 /proc/16822/statm: 3450442 129612 3288 1 0 3437675 0 [pid=16822/tid=16823] ppid=16821 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16823/stat : 16823 (java) S 16821 16821 14626 0 -1 1077944384 7165 0 0 0 90 3 0 0 20 0 28 0 4762745 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726877930624 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16825] ppid=16821 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16825/stat : 16825 (java) S 16821 16821 14626 0 -1 1077944384 609 0 0 0 30 8 0 0 20 0 28 0 4762746 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726830242192 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16826] ppid=16821 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16826/stat : 16826 (java) S 16821 16821 14626 0 -1 1077944384 1563 0 0 0 30 9 0 0 20 0 28 0 4762746 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726472018192 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16827] ppid=16821 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16827/stat : 16827 (java) S 16821 16821 14626 0 -1 1077944384 1241 0 0 0 29 6 0 0 20 0 28 0 4762746 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726470965904 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16828] ppid=16821 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16828/stat : 16828 (java) S 16821 16821 14626 0 -1 1077944384 1296 0 0 0 29 9 0 0 20 0 28 0 4762746 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726469913104 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16829] ppid=16821 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16829/stat : 16829 (java) S 16821 16821 14626 0 -1 1077944384 1334 0 0 0 27 10 0 0 20 0 28 0 4762746 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726468860816 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16830] ppid=16821 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16830/stat : 16830 (java) S 16821 16821 14626 0 -1 1077944384 1617 0 0 0 26 9 0 0 20 0 28 0 4762746 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726467808016 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16831] ppid=16821 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16831/stat : 16831 (java) S 16821 16821 14626 0 -1 1077944384 1926 0 0 0 29 8 0 0 20 0 28 0 4762746 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726466755728 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16832] ppid=16821 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16832/stat : 16832 (java) S 16821 16821 14626 0 -1 1077944384 1667 0 0 0 29 8 0 0 20 0 28 0 4762746 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726465702928 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16833] ppid=16821 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16833/stat : 16833 (java) S 16821 16821 14626 0 -1 1077944384 3105 0 0 0 5 6 0 0 20 0 28 0 4762748 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726201825392 139726873700994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16834] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16834/stat : 16834 (java) S 16821 16821 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4762749 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726200771424 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16835] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16835/stat : 16835 (java) S 16821 16821 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4762749 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726199719040 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16836] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16836/stat : 16836 (java) S 16821 16821 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4762753 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726198667344 139726873708443 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16837] ppid=16821 vsize=13801768 CPUtime=2.19 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16837/stat : 16837 (java) S 16821 16821 14626 0 -1 1077944384 11956 0 0 0 217 2 0 0 20 0 28 0 4762753 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726197615216 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16838] ppid=16821 vsize=13801768 CPUtime=3.38 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16838/stat : 16838 (java) S 16821 16821 14626 0 -1 1077944384 16037 0 0 0 336 2 0 0 20 0 28 0 4762753 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726196562416 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16839] ppid=16821 vsize=13801768 CPUtime=3.24 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16839/stat : 16839 (java) S 16821 16821 14626 0 -1 1077944384 14122 0 0 0 321 3 0 0 20 0 28 0 4762753 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726195510128 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16840] ppid=16821 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16840/stat : 16840 (java) S 16821 16821 14626 0 -1 1077944384 8236 0 0 0 98 2 0 0 20 0 28 0 4762753 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726194457328 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16841] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16841/stat : 16841 (java) S 16821 16821 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4762753 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726193404256 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16842] ppid=16821 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16842/stat : 16842 (java) S 16821 16821 14626 0 -1 1077944384 1151 0 0 0 6 8 0 0 20 0 28 0 4762753 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726192351536 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16861] ppid=16821 vsize=13801768 CPUtime=210.49 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16861/stat : 16861 (java) R 16821 16821 14626 0 -1 4202560 1222 0 0 0 21049 0 0 0 20 0 28 0 4769497 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726176967608 139726515861697 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16862] ppid=16821 vsize=13801768 CPUtime=214.28 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16862/stat : 16862 (java) R 16821 16821 14626 0 -1 4202560 695 0 0 0 21428 0 0 0 20 0 28 0 4769497 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726179073960 139726515861723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16863] ppid=16821 vsize=13801768 CPUtime=213.64 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16863/stat : 16863 (java) R 16821 16821 14626 0 -1 4202560 3144 0 0 0 21363 1 0 0 20 0 28 0 4769497 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726184340192 139726517823667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16864] ppid=16821 vsize=13801768 CPUtime=213.3 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16864/stat : 16864 (java) R 16821 16821 14626 0 -1 4202560 1124 0 0 0 21330 0 0 0 20 0 28 0 4769497 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726181179560 139726517823804 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16865] ppid=16821 vsize=13801768 CPUtime=213.91 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16865/stat : 16865 (java) R 16821 16821 14626 0 -1 4202560 1047 0 0 0 21391 0 0 0 20 0 28 0 4769497 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726178021928 139726517823791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16866] ppid=16821 vsize=13801768 CPUtime=214.28 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16866/stat : 16866 (java) R 16821 16821 14626 0 -1 4202560 575 0 0 0 21428 0 0 0 20 0 28 0 4769497 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726183285080 139726517823218 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16867] ppid=16821 vsize=13801768 CPUtime=214.08 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16867/stat : 16867 (java) R 16821 16821 14626 0 -1 4202560 495 0 0 0 21408 0 0 0 20 0 28 0 4769497 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726180126256 139726517823848 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16868] ppid=16821 vsize=13801768 CPUtime=213.43 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16868/stat : 16868 (java) R 16821 16821 14626 0 -1 4202560 880 0 0 0 21343 0 0 0 20 0 28 0 4769497 14133010432 129612 33554432000 4194304 4196468 140734372173840 139726182231528 139726515861662 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 Current children cumulated CPU time (s) 2224.02 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+304.402 s] /proc/loadavg: 11.93 13.91 13.79 10/292 16959 /proc/meminfo: memFree=29365488/32770624 swapFree=5972/272108 [pid=16821] ppid=16818 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16821/stat : 16821 (xcsp3-exec) S 16818 16821 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4762744 9740288 346 33554432000 4194304 5098028 140729542403216 140729542401320 140584702276220 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 36630528 140729542407310 140729542407520 140729542407520 140729542410219 0 /proc/16821/statm: 2378 346 289 221 0 87 0 [pid=16822] ppid=16821 vsize=13801768 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15 /proc/16822/stat : 16822 (java) S 16821 16821 14626 0 -1 1077944320 92517 0 0 0 239887 114 0 0 20 0 28 0 4762744 14133010432 126178 33554432000 4194304 4196468 140734372173840 140734372156384 139726873689847 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 /proc/16822/statm: 3450442 126178 3288 1 0 3437675 0 [pid=16822/tid=16823] ppid=16821 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16823/stat : 16823 (java) S 16821 16821 14626 0 -1 1077944384 7165 0 0 0 90 3 0 0 20 0 28 0 4762745 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726877930624 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16825] ppid=16821 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16825/stat : 16825 (java) S 16821 16821 14626 0 -1 1077944384 620 0 0 0 32 8 0 0 20 0 28 0 4762746 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726830242192 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16826] ppid=16821 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16826/stat : 16826 (java) S 16821 16821 14626 0 -1 1077944384 1570 0 0 0 32 10 0 0 20 0 28 0 4762746 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726472018192 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16827] ppid=16821 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16827/stat : 16827 (java) S 16821 16821 14626 0 -1 1077944384 1288 0 0 0 31 6 0 0 20 0 28 0 4762746 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726470965904 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16828] ppid=16821 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16828/stat : 16828 (java) S 16821 16821 14626 0 -1 1077944384 1303 0 0 0 31 9 0 0 20 0 28 0 4762746 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726469913104 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16829] ppid=16821 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16829/stat : 16829 (java) S 16821 16821 14626 0 -1 1077944384 1337 0 0 0 30 10 0 0 20 0 28 0 4762746 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726468860816 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16830] ppid=16821 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16830/stat : 16830 (java) S 16821 16821 14626 0 -1 1077944384 1627 0 0 0 29 9 0 0 20 0 28 0 4762746 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726467808016 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16831] ppid=16821 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16831/stat : 16831 (java) S 16821 16821 14626 0 -1 1077944384 1934 0 0 0 31 8 0 0 20 0 28 0 4762746 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726466755728 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16832] ppid=16821 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16832/stat : 16832 (java) S 16821 16821 14626 0 -1 1077944384 1671 0 0 0 31 8 0 0 20 0 28 0 4762746 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726465702928 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16833] ppid=16821 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16833/stat : 16833 (java) S 16821 16821 14626 0 -1 1077944384 3106 0 0 0 6 7 0 0 20 0 28 0 4762748 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726201825392 139726873700994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16834] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16834/stat : 16834 (java) S 16821 16821 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4762749 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726200771424 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16835] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16835/stat : 16835 (java) S 16821 16821 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4762749 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726199719040 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16836] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16836/stat : 16836 (java) S 16821 16821 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4762753 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726198667344 139726873708443 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16837] ppid=16821 vsize=13801768 CPUtime=2.19 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16837/stat : 16837 (java) S 16821 16821 14626 0 -1 1077944384 11956 0 0 0 217 2 0 0 20 0 28 0 4762753 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726197615216 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16838] ppid=16821 vsize=13801768 CPUtime=3.39 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16838/stat : 16838 (java) S 16821 16821 14626 0 -1 1077944384 16347 0 0 0 337 2 0 0 20 0 28 0 4762753 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726196562416 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16839] ppid=16821 vsize=13801768 CPUtime=3.25 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16839/stat : 16839 (java) S 16821 16821 14626 0 -1 1077944384 14274 0 0 0 322 3 0 0 20 0 28 0 4762753 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726195510128 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16840] ppid=16821 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16840/stat : 16840 (java) S 16821 16821 14626 0 -1 1077944384 8236 0 0 0 98 2 0 0 20 0 28 0 4762753 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726194457328 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16841] ppid=16821 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16841/stat : 16841 (java) S 16821 16821 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4762753 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726193404256 139726873700053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16842] ppid=16821 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16842/stat : 16842 (java) S 16821 16821 14626 0 -1 1077944384 1154 0 0 0 7 9 0 0 20 0 28 0 4762753 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726192351536 139726873700994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16861] ppid=16821 vsize=13801768 CPUtime=232.42 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16861/stat : 16861 (java) R 16821 16821 14626 0 -1 4202560 1225 0 0 0 23241 1 0 0 20 0 28 0 4769497 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726176967360 139726517823269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16862] ppid=16821 vsize=13801768 CPUtime=235.92 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16862/stat : 16862 (java) R 16821 16821 14626 0 -1 4202560 700 0 0 0 23592 0 0 0 20 0 28 0 4769497 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726179073880 139726516044341 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16863] ppid=16821 vsize=13801768 CPUtime=235.68 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16863/stat : 16863 (java) R 16821 16821 14626 0 -1 4202560 3363 0 0 0 23567 1 0 0 20 0 28 0 4769497 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726184337704 139726517966834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16864] ppid=16821 vsize=13801768 CPUtime=235.35 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16864/stat : 16864 (java) R 16821 16821 14626 0 -1 4202560 1207 0 0 0 23535 0 0 0 20 0 28 0 4769497 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726181179480 139726517823149 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16865] ppid=16821 vsize=13801768 CPUtime=235.94 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16865/stat : 16865 (java) R 16821 16821 14626 0 -1 4202560 1054 0 0 0 23594 0 0 0 20 0 28 0 4769497 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726178024576 139726515861997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16866] ppid=16821 vsize=13801768 CPUtime=236.34 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16866/stat : 16866 (java) R 16821 16821 14626 0 -1 4202560 575 0 0 0 23634 0 0 0 20 0 28 0 4769497 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726183285160 139726517823496 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16867] ppid=16821 vsize=13801768 CPUtime=236.13 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16867/stat : 16867 (java) R 16821 16821 14626 0 -1 4202560 502 0 0 0 23613 0 0 0 20 0 28 0 4769497 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726180126936 139726517823384 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 [pid=16822/tid=16868] ppid=16821 vsize=13801768 CPUtime=235.39 cores=1,3,5,7,9,11,13,15 /proc/16822/task/16868/stat : 16868 (java) R 16821 16821 14626 0 -1 4202560 885 0 0 0 23539 0 0 0 20 0 28 0 4769497 14133010432 126178 33554432000 4194304 4196468 140734372173840 139726182231720 139726517823414 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26402816 140734372177084 140734372177260 140734372177260 140734372179919 0 Current children cumulated CPU time (s) 2400.01 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 16822 sig 9 ??? kill 16821 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 16821 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1614 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1614 # CPU time returned by wait4() is 0.003228 # while last known CPU time is 2400.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 304.412 CPU time (s): 2400.01 CPU user time (s): 2398.87 CPU system time (s): 1.14 CPU usage (%): 788.407 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001614 system time used= 0.001614 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 517 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.82486 second user time and 4.57855 second system time The end
Begin job on node105 at 2017-07-22 05:42:12 IDJOB=4249469 IDBENCH=136341 IDSOLVER=2626 FILE ID=node105/4249469-1500694932 RUNJOBID= node105-1500682495-14658 PBS_JOBID= 20623326 Free space on /tmp= 62000 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n4c3w4o.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-4249469-1500694932/watcher-4249469-1500694932 -o /tmp/evaluation-result-4249469-1500694932/solver-4249469-1500694932 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1697598219 HOME/instance-4249469-1500694932.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= ee745fcf29eade3c7f55b7e84eebe45a RANDOM SEED=1697598219 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 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 : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 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 : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 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 : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 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 : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27420020 kB MemAvailable: 27596784 kB Buffers: 120444 kB Cached: 336036 kB SwapCached: 0 kB Active: 4628828 kB Inactive: 280240 kB Active(anon): 4455108 kB Inactive(anon): 8628 kB Active(file): 173720 kB Inactive(file): 271612 kB Unevictable: 5972 kB Mlocked: 6004 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7856 kB Writeback: 0 kB AnonPages: 4572684 kB Mapped: 43300 kB Shmem: 8852 kB Slab: 128964 kB SReclaimable: 94536 kB SUnreclaim: 34428 kB KernelStack: 5024 kB PageTables: 14692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5631620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4362240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61992 MiB End job on node105 at 2017-07-22 05:47:17