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) | 94 | 2400.36 | 303.627 |
| 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-4249468-1500694629.xml" -tl '2400s' -p 8 -x 0 0.00/0.22 c [HOME/instance-4249468-1500694629.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.28 c 8 solvers in parallel 0.00/0.37 c parse instance... 3.20/1.13 c solve instance... 42.83/7.42 o 93 529.55/68.68 o 94 2400.36/303.66 s SATISFIABLE 2400.36/303.66 v <instantiation> 2400.36/303.66 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.36/303.66 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.36/303.66 v </instantiation> 2400.36/303.66 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-4249468-1500694629/watcher-4249468-1500694629 -o /tmp/evaluation-result-4249468-1500694629/solver-4249468-1500694629 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2046290262 HOME/instance-4249468-1500694629.xml pid=7096 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: 12.97 14.65 14.48 10/270 7099 /proc/meminfo: memFree=27838956/32770624 swapFree=5880/293936 [pid=7099] ppid=7096 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7099/stat : 7099 (xcsp3-exec) S 7096 7099 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4730625 9740288 346 33554432000 4194304 5098028 140731265374080 140731265372184 140095516213884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7499776 140731265381518 140731265381728 140731265381728 140731265384427 0 /proc/7099/statm: 2378 346 289 221 0 87 0 [startup+0.100099 s] /proc/loadavg: 12.97 14.65 14.48 10/270 7099 /proc/meminfo: memFree=27838956/32770624 swapFree=5880/293936 [pid=7099] ppid=7096 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7099/stat : 7099 (xcsp3-exec) S 7096 7099 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4730625 9740288 346 33554432000 4194304 5098028 140731265374080 140731265372184 140095516213884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7499776 140731265381518 140731265381728 140731265381728 140731265384427 0 /proc/7099/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200294 s] /proc/loadavg: 12.97 14.65 14.48 10/270 7099 /proc/meminfo: memFree=27838956/32770624 swapFree=5880/293936 [pid=7099] ppid=7096 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7099/stat : 7099 (xcsp3-exec) S 7096 7099 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4730625 9740288 346 33554432000 4194304 5098028 140731265374080 140731265372184 140095516213884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7499776 140731265381518 140731265381728 140731265381728 140731265384427 0 /proc/7099/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300306 s] /proc/loadavg: 12.97 14.65 14.48 10/270 7099 /proc/meminfo: memFree=27838956/32770624 swapFree=5880/293936 [pid=7099] ppid=7096 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7099/stat : 7099 (xcsp3-exec) S 7096 7099 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4730625 9740288 346 33554432000 4194304 5098028 140731265374080 140731265372184 140095516213884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7499776 140731265381518 140731265381728 140731265381728 140731265384427 0 /proc/7099/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700187 s] /proc/loadavg: 12.97 14.65 14.48 10/270 7099 /proc/meminfo: memFree=27838956/32770624 swapFree=5880/293936 [pid=7099] ppid=7096 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7099/stat : 7099 (xcsp3-exec) S 7096 7099 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4730625 9740288 346 33554432000 4194304 5098028 140731265374080 140731265372184 140095516213884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7499776 140731265381518 140731265381728 140731265381728 140731265384427 0 /proc/7099/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50109 s] /proc/loadavg: 12.97 14.65 14.48 13/291 7120 /proc/meminfo: memFree=27720844/32770624 swapFree=5880/293968 [pid=7099] ppid=7096 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7099/stat : 7099 (xcsp3-exec) S 7096 7099 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4730625 9740288 346 33554432000 4194304 5098028 140731265374080 140731265372184 140095516213884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7499776 140731265381518 140731265381728 140731265381728 140731265384427 0 /proc/7099/statm: 2378 346 289 221 0 87 0 [pid=7100] ppid=7099 vsize=13801768 CPUtime=6.02 cores=1,3,5,7,9,11,13,15 /proc/7100/stat : 7100 (java) S 7099 7099 7744 0 -1 1077944320 21340 0 0 0 594 8 0 0 20 0 28 0 4730625 14133010432 40998 33554432000 4194304 4196468 140727450681200 140727450663744 140412478418679 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 /proc/7100/statm: 3450442 40998 3240 1 0 3437675 0 [pid=7100/tid=7101] ppid=7099 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7101/stat : 7101 (java) S 7099 7099 7744 0 -1 1077944384 8451 0 0 0 108 4 0 0 20 0 28 0 4730625 14133010432 40998 33554432000 4194304 4196468 140727450681200 140412482659456 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7103] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7103/stat : 7103 (java) S 7099 7099 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4730626 14133010432 40998 33554432000 4194304 4196468 140727450681200 140412417383056 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7104] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7104/stat : 7104 (java) S 7099 7099 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4730626 14133010432 40998 33554432000 4194304 4196468 140727450681200 140412416330256 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7105] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7105/stat : 7105 (java) S 7099 7099 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4730626 14133010432 40998 33554432000 4194304 4196468 140727450681200 140412415277456 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7106] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7106/stat : 7106 (java) S 7099 7099 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4730626 14133010432 40998 33554432000 4194304 4196468 140727450681200 140412414224656 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7107] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7107/stat : 7107 (java) S 7099 7099 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4730626 14133010432 40998 33554432000 4194304 4196468 140727450681200 140412073761936 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7108] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7108/stat : 7108 (java) S 7099 7099 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4730626 14133010432 40998 33554432000 4194304 4196468 140727450681200 140412072709136 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7109] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7109/stat : 7109 (java) S 7099 7099 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4730626 14133010432 40998 33554432000 4194304 4196468 140727450681200 140412071656336 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7110] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7110/stat : 7110 (java) S 7099 7099 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4730626 14133010432 40998 33554432000 4194304 4196468 140727450681200 140412070603536 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7111] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7111/stat : 7111 (java) S 7099 7099 7744 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4730629 14133010432 40998 33554432000 4194304 4196468 140727450681200 140411805874544 140412478429826 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7112] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7112/stat : 7112 (java) S 7099 7099 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4730629 14133010432 40998 33554432000 4194304 4196468 140727450681200 140411804820512 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7113] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7113/stat : 7113 (java) S 7099 7099 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4730630 14133010432 40998 33554432000 4194304 4196468 140727450681200 140411803767664 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7114] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7114/stat : 7114 (java) S 7099 7099 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4730634 14133010432 40998 33554432000 4194304 4196468 140727450681200 140411802715984 140412478437275 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7115] ppid=7099 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7115/stat : 7115 (java) R 7099 7099 7744 0 -1 4202560 2981 0 0 0 73 0 0 0 20 0 28 0 4730634 14133010432 40998 33554432000 4194304 4196468 140727450681200 140411801650248 140412459962863 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7116] ppid=7099 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7116/stat : 7116 (java) R 7099 7099 7744 0 -1 4202560 2149 0 0 0 69 0 0 0 20 0 28 0 4730634 14133010432 40998 33554432000 4194304 4196468 140727450681200 140411800604056 140412461893920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7117] ppid=7099 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7117/stat : 7117 (java) R 7099 7099 7744 0 -1 4202560 3392 0 0 0 85 1 0 0 20 0 28 0 4730634 14133010432 40998 33554432000 4194304 4196468 140727450681200 140411799544864 140412457664756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7118] ppid=7099 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7118/stat : 7118 (java) R 7099 7099 7744 0 -1 4202560 2603 0 0 0 70 1 0 0 20 0 28 0 4730634 14133010432 40998 33554432000 4194304 4196468 140727450681200 140411798505968 140412457373229 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7119] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7119/stat : 7119 (java) S 7099 7099 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4730634 14133010432 40998 33554432000 4194304 4196468 140727450681200 140411797453408 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7120] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7120/stat : 7120 (java) S 7099 7099 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4730634 14133010432 40998 33554432000 4194304 4196468 140727450681200 140411796400688 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 Current children cumulated CPU time (s) 6.02 Current children cumulated vsize (KiB) 13811280 [startup+3.10154 s] /proc/loadavg: 12.97 14.65 14.48 19/299 7128 /proc/meminfo: memFree=27671876/32770624 swapFree=5880/293968 [pid=7099] ppid=7096 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7099/stat : 7099 (xcsp3-exec) S 7096 7099 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4730625 9740288 346 33554432000 4194304 5098028 140731265374080 140731265372184 140095516213884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7499776 140731265381518 140731265381728 140731265381728 140731265384427 0 /proc/7099/statm: 2378 346 289 221 0 87 0 [pid=7100] ppid=7099 vsize=13801768 CPUtime=18.69 cores=1,3,5,7,9,11,13,15 /proc/7100/stat : 7100 (java) S 7099 7099 7744 0 -1 1077944320 26749 0 0 0 1843 26 0 0 20 0 28 0 4730625 14133010432 58297 33554432000 4194304 4196468 140727450681200 140727450663744 140412478418679 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 /proc/7100/statm: 3450442 58297 3265 1 0 3437675 0 [pid=7100/tid=7101] ppid=7099 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7101/stat : 7101 (java) S 7099 7099 7744 0 -1 1077944384 8451 0 0 0 108 4 0 0 20 0 28 0 4730625 14133010432 58297 33554432000 4194304 4196468 140727450681200 140412482659456 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7103] ppid=7099 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7103/stat : 7103 (java) S 7099 7099 7744 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 28 0 4730626 14133010432 58297 33554432000 4194304 4196468 140727450681200 140412417383056 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7104] ppid=7099 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7104/stat : 7104 (java) S 7099 7099 7744 0 -1 1077944384 72 0 0 0 1 1 0 0 20 0 28 0 4730626 14133010432 58297 33554432000 4194304 4196468 140727450681200 140412416330256 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7105] ppid=7099 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7105/stat : 7105 (java) S 7099 7099 7744 0 -1 1077944384 183 0 0 0 1 1 0 0 20 0 28 0 4730626 14133010432 58297 33554432000 4194304 4196468 140727450681200 140412415277456 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7106] ppid=7099 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7106/stat : 7106 (java) S 7099 7099 7744 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 4730626 14133010432 58297 33554432000 4194304 4196468 140727450681200 140412414224656 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7107] ppid=7099 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7107/stat : 7107 (java) S 7099 7099 7744 0 -1 1077944384 683 0 0 0 1 1 0 0 20 0 28 0 4730626 14133010432 58297 33554432000 4194304 4196468 140727450681200 140412073761936 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7108] ppid=7099 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7108/stat : 7108 (java) S 7099 7099 7744 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 4730626 14133010432 58297 33554432000 4194304 4196468 140727450681200 140412072709136 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7109] ppid=7099 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7109/stat : 7109 (java) S 7099 7099 7744 0 -1 1077944384 34 0 0 0 1 2 0 0 20 0 28 0 4730626 14133010432 58297 33554432000 4194304 4196468 140727450681200 140412071656336 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7110] ppid=7099 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7110/stat : 7110 (java) S 7099 7099 7744 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 4730626 14133010432 58297 33554432000 4194304 4196468 140727450681200 140412070603536 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7111] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7111/stat : 7111 (java) S 7099 7099 7744 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 28 0 4730629 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411805874544 140412478429826 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7112] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7112/stat : 7112 (java) S 7099 7099 7744 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4730629 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411804820512 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7113] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7113/stat : 7113 (java) S 7099 7099 7744 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4730630 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411803767664 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7114] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7114/stat : 7114 (java) S 7099 7099 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4730634 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411802715984 140412478437275 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7115] ppid=7099 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7115/stat : 7115 (java) S 7099 7099 7744 0 -1 1077944384 4158 0 0 0 135 0 0 0 20 0 28 0 4730634 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411801664368 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7116] ppid=7099 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7116/stat : 7116 (java) S 7099 7099 7744 0 -1 1077944384 3042 0 0 0 128 0 0 0 20 0 28 0 4730634 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411800611568 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7117] ppid=7099 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7117/stat : 7117 (java) R 7099 7099 7744 0 -1 1077944384 4481 0 0 0 164 1 0 0 20 0 28 0 4730634 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411799558768 140412478429826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7118] ppid=7099 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7118/stat : 7118 (java) S 7099 7099 7744 0 -1 1077944384 3172 0 0 0 80 1 0 0 20 0 28 0 4730634 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411798505968 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7119] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7119/stat : 7119 (java) S 7099 7099 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4730634 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411797453408 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7120] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7120/stat : 7120 (java) S 7099 7099 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4730634 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411796400688 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7121] ppid=7099 vsize=13801768 CPUtime=1.51 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7121/stat : 7121 (java) R 7099 7099 7744 0 -1 4202560 114 0 0 0 151 0 0 0 20 0 28 0 4730740 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411788884680 140412100223672 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7122] ppid=7099 vsize=13801768 CPUtime=1.53 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7122/stat : 7122 (java) R 7099 7099 7744 0 -1 4202560 69 0 0 0 153 0 0 0 20 0 28 0 4730740 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411787832920 140412100775791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7123] ppid=7099 vsize=13801768 CPUtime=1.19 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7123/stat : 7123 (java) R 7099 7099 7744 0 -1 4202560 116 0 0 0 119 0 0 0 20 0 28 0 4730740 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411786784024 140412100775762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7124] ppid=7099 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7124/stat : 7124 (java) R 7099 7099 7744 0 -1 4202560 152 0 0 0 155 0 0 0 20 0 28 0 4730740 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411785728792 140412100223652 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7125] ppid=7099 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7125/stat : 7125 (java) R 7099 7099 7744 0 -1 4202560 160 0 0 0 150 0 0 0 20 0 28 0 4730740 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411784677520 140412100776167 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7126] ppid=7099 vsize=13801768 CPUtime=1.57 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7126/stat : 7126 (java) R 7099 7099 7744 0 -1 4202560 120 0 0 0 157 0 0 0 20 0 28 0 4730740 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411783622744 140412100776148 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7127] ppid=7099 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7127/stat : 7127 (java) R 7099 7099 7744 0 -1 4202560 58 0 0 0 165 0 0 0 20 0 28 0 4730740 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411782569944 140412100223919 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7128] ppid=7099 vsize=13801768 CPUtime=1.59 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7128/stat : 7128 (java) R 7099 7099 7744 0 -1 4202560 41 0 0 0 159 0 0 0 20 0 28 0 4730740 14133010432 58297 33554432000 4194304 4196468 140727450681200 140411781516248 140412100223558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 Current children cumulated CPU time (s) 18.69 Current children cumulated vsize (KiB) 13811280 [startup+6.30093 s] /proc/loadavg: 13.29 14.68 14.50 21/299 7128 /proc/meminfo: memFree=27618308/32770624 swapFree=5880/293976 [pid=7099] ppid=7096 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7099/stat : 7099 (xcsp3-exec) S 7096 7099 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4730625 9740288 346 33554432000 4194304 5098028 140731265374080 140731265372184 140095516213884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7499776 140731265381518 140731265381728 140731265381728 140731265384427 0 /proc/7099/statm: 2378 346 289 221 0 87 0 [pid=7100] ppid=7099 vsize=13801768 CPUtime=41.73 cores=1,3,5,7,9,11,13,15 /proc/7100/stat : 7100 (java) S 7099 7099 7744 0 -1 1077944320 27226 0 0 0 4146 27 0 0 20 0 28 0 4730625 14133010432 57550 33554432000 4194304 4196468 140727450681200 140727450663744 140412478418679 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 /proc/7100/statm: 3450442 57550 3269 1 0 3437675 0 [pid=7100/tid=7101] ppid=7099 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7101/stat : 7101 (java) S 7099 7099 7744 0 -1 1077944384 8451 0 0 0 108 4 0 0 20 0 28 0 4730625 14133010432 57550 33554432000 4194304 4196468 140727450681200 140412482659456 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7103] ppid=7099 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7103/stat : 7103 (java) S 7099 7099 7744 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 28 0 4730626 14133010432 57550 33554432000 4194304 4196468 140727450681200 140412417383056 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7104] ppid=7099 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7104/stat : 7104 (java) S 7099 7099 7744 0 -1 1077944384 72 0 0 0 1 1 0 0 20 0 28 0 4730626 14133010432 57550 33554432000 4194304 4196468 140727450681200 140412416330256 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7105] ppid=7099 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7105/stat : 7105 (java) S 7099 7099 7744 0 -1 1077944384 183 0 0 0 1 1 0 0 20 0 28 0 4730626 14133010432 57550 33554432000 4194304 4196468 140727450681200 140412415277456 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7106] ppid=7099 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7106/stat : 7106 (java) S 7099 7099 7744 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 4730626 14133010432 57550 33554432000 4194304 4196468 140727450681200 140412414224656 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 ################ # More data... # ################ /proc/7100/task/7144/stat : 7144 (java) R 7099 7099 7744 0 -1 4202560 528 0 0 0 15266 0 0 0 20 0 28 0 4737494 14133010432 144083 33554432000 4194304 4196468 140727450681200 140411781517024 140412100223667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7145] ppid=7099 vsize=13801768 CPUtime=151.31 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7145/stat : 7145 (java) R 7099 7099 7744 0 -1 4202560 524 0 0 0 15131 0 0 0 20 0 28 0 4737494 14133010432 144083 33554432000 4194304 4196468 140727450681200 140411783622568 140412100223550 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 Current children cumulated CPU time (s) 1753.09 Current children cumulated vsize (KiB) 13811280 [startup+282.302 s] /proc/loadavg: 16.08 15.54 14.91 17/301 7156 /proc/meminfo: memFree=25963276/32770624 swapFree=5880/294284 [pid=7099] ppid=7096 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7099/stat : 7099 (xcsp3-exec) S 7096 7099 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4730625 9740288 346 33554432000 4194304 5098028 140731265374080 140731265372184 140095516213884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7499776 140731265381518 140731265381728 140731265381728 140731265384427 0 /proc/7099/statm: 2378 346 289 221 0 87 0 [pid=7100] ppid=7099 vsize=13801768 CPUtime=2230.68 cores=1,3,5,7,9,11,13,15 /proc/7100/stat : 7100 (java) S 7099 7099 7744 0 -1 1077944320 97191 0 0 0 222962 106 0 0 20 0 28 0 4730625 14133010432 139918 33554432000 4194304 4196468 140727450681200 140727450663744 140412478418679 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 /proc/7100/statm: 3450442 139918 3286 1 0 3437675 0 [pid=7100/tid=7101] ppid=7099 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7101/stat : 7101 (java) S 7099 7099 7744 0 -1 1077944384 8691 0 0 0 108 4 0 0 20 0 28 0 4730625 14133010432 139918 33554432000 4194304 4196468 140727450681200 140412482659456 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7103] ppid=7099 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7103/stat : 7103 (java) S 7099 7099 7744 0 -1 1077944384 3153 0 0 0 25 8 0 0 20 0 28 0 4730626 14133010432 139918 33554432000 4194304 4196468 140727450681200 140412417383056 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7104] ppid=7099 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7104/stat : 7104 (java) S 7099 7099 7744 0 -1 1077944384 745 0 0 0 27 8 0 0 20 0 28 0 4730626 14133010432 139918 33554432000 4194304 4196468 140727450681200 140412416330256 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7105] ppid=7099 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7105/stat : 7105 (java) S 7099 7099 7744 0 -1 1077944384 639 0 0 0 24 7 0 0 20 0 28 0 4730626 14133010432 139918 33554432000 4194304 4196468 140727450681200 140412415277456 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7106] ppid=7099 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7106/stat : 7106 (java) S 7099 7099 7744 0 -1 1077944384 2104 0 0 0 26 8 0 0 20 0 28 0 4730626 14133010432 139918 33554432000 4194304 4196468 140727450681200 140412414224656 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7107] ppid=7099 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7107/stat : 7107 (java) S 7099 7099 7744 0 -1 1077944384 1759 0 0 0 29 7 0 0 20 0 28 0 4730626 14133010432 139918 33554432000 4194304 4196468 140727450681200 140412073761936 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7108] ppid=7099 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7108/stat : 7108 (java) S 7099 7099 7744 0 -1 1077944384 2013 0 0 0 25 8 0 0 20 0 28 0 4730626 14133010432 139918 33554432000 4194304 4196468 140727450681200 140412072709136 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7109] ppid=7099 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7109/stat : 7109 (java) S 7099 7099 7744 0 -1 1077944384 418 0 0 0 25 7 0 0 20 0 28 0 4730626 14133010432 139918 33554432000 4194304 4196468 140727450681200 140412071656336 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7110] ppid=7099 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7110/stat : 7110 (java) S 7099 7099 7744 0 -1 1077944384 1495 0 0 0 24 9 0 0 20 0 28 0 4730626 14133010432 139918 33554432000 4194304 4196468 140727450681200 140412070603536 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7111] ppid=7099 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7111/stat : 7111 (java) S 7099 7099 7744 0 -1 1077944384 2876 0 0 0 5 5 0 0 20 0 28 0 4730629 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411805874544 140412478429826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7112] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7112/stat : 7112 (java) S 7099 7099 7744 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4730629 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411804820576 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7113] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7113/stat : 7113 (java) S 7099 7099 7744 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4730630 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411803767664 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7114] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7114/stat : 7114 (java) S 7099 7099 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4730634 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411802715984 140412478437275 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7115] ppid=7099 vsize=13801768 CPUtime=3.03 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7115/stat : 7115 (java) S 7099 7099 7744 0 -1 1077944384 17161 0 0 0 302 1 0 0 20 0 28 0 4730634 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411801664368 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7116] ppid=7099 vsize=13801768 CPUtime=2.93 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7116/stat : 7116 (java) S 7099 7099 7744 0 -1 1077944384 15500 0 0 0 291 2 0 0 20 0 28 0 4730634 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411800611568 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7117] ppid=7099 vsize=13801768 CPUtime=3.41 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7117/stat : 7117 (java) S 7099 7099 7744 0 -1 1077944384 13824 0 0 0 339 2 0 0 20 0 28 0 4730634 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411799558768 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7118] ppid=7099 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7118/stat : 7118 (java) S 7099 7099 7744 0 -1 1077944384 7728 0 0 0 103 2 0 0 20 0 28 0 4730634 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411798505968 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7119] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7119/stat : 7119 (java) S 7099 7099 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4730634 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411797453408 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7120] ppid=7099 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7120/stat : 7120 (java) S 7099 7099 7744 0 -1 1077944384 912 0 0 0 8 8 0 0 20 0 28 0 4730634 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411796400688 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7138] ppid=7099 vsize=13801768 CPUtime=211.48 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7138/stat : 7138 (java) R 7099 7099 7744 0 -1 4202560 990 0 0 0 21148 0 0 0 20 0 28 0 4737494 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411784676688 140412102135938 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7139] ppid=7099 vsize=13801768 CPUtime=212.77 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7139/stat : 7139 (java) R 7099 7099 7744 0 -1 4202560 500 0 0 0 21277 0 0 0 20 0 28 0 4737494 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411787832920 140412102135888 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7140] ppid=7099 vsize=13801768 CPUtime=211.55 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7140/stat : 7140 (java) R 7099 7099 7744 0 -1 4202560 3376 0 0 0 21154 1 0 0 20 0 28 0 4737494 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411782570144 140412102135579 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7141] ppid=7099 vsize=13801768 CPUtime=213.08 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7141/stat : 7141 (java) R 7099 7099 7744 0 -1 4202560 1344 0 0 0 21308 0 0 0 20 0 28 0 4737494 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411788886440 140412100223522 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7142] ppid=7099 vsize=13801768 CPUtime=212.86 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7142/stat : 7142 (java) R 7099 7099 7744 0 -1 4202560 1095 0 0 0 21286 0 0 0 20 0 28 0 4737494 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411785728296 140412102135579 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7143] ppid=7099 vsize=13801768 CPUtime=213.06 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7143/stat : 7143 (java) R 7099 7099 7744 0 -1 4202560 596 0 0 0 21306 0 0 0 20 0 28 0 4737494 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411786780760 140412102366668 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7144] ppid=7099 vsize=13801768 CPUtime=212.47 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7144/stat : 7144 (java) R 7099 7099 7744 0 -1 4202560 578 0 0 0 21247 0 0 0 20 0 28 0 4737494 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411781517352 140412100223522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7145] ppid=7099 vsize=13801768 CPUtime=210.73 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7145/stat : 7145 (java) R 7099 7099 7744 0 -1 4202560 563 0 0 0 21072 1 0 0 20 0 28 0 4737494 14133010432 139918 33554432000 4194304 4196468 140727450681200 140411783622488 140412100223558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 Current children cumulated CPU time (s) 2230.68 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+303.602 s] /proc/loadavg: 13.98 15.10 14.78 10/293 7246 /proc/meminfo: memFree=30672312/32770624 swapFree=5880/294416 [pid=7099] ppid=7096 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7099/stat : 7099 (xcsp3-exec) S 7096 7099 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4730625 9740288 346 33554432000 4194304 5098028 140731265374080 140731265372184 140095516213884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7499776 140731265381518 140731265381728 140731265381728 140731265384427 0 /proc/7099/statm: 2378 346 289 221 0 87 0 [pid=7100] ppid=7099 vsize=13801768 CPUtime=2400.36 cores=1,3,5,7,9,11,13,15 /proc/7100/stat : 7100 (java) S 7099 7099 7744 0 -1 1077944320 98451 0 0 0 239926 110 0 0 20 0 28 0 4730625 14133010432 136456 33554432000 4194304 4196468 140727450681200 140727450663744 140412478418679 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 /proc/7100/statm: 3450442 136456 3286 1 0 3437675 0 [pid=7100/tid=7101] ppid=7099 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7101/stat : 7101 (java) S 7099 7099 7744 0 -1 1077944384 8691 0 0 0 108 4 0 0 20 0 28 0 4730625 14133010432 136456 33554432000 4194304 4196468 140727450681200 140412482659456 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7103] ppid=7099 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7103/stat : 7103 (java) S 7099 7099 7744 0 -1 1077944384 3163 0 0 0 27 8 0 0 20 0 28 0 4730626 14133010432 136456 33554432000 4194304 4196468 140727450681200 140412417383056 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7104] ppid=7099 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7104/stat : 7104 (java) S 7099 7099 7744 0 -1 1077944384 749 0 0 0 30 9 0 0 20 0 28 0 4730626 14133010432 136456 33554432000 4194304 4196468 140727450681200 140412416330256 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7105] ppid=7099 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7105/stat : 7105 (java) S 7099 7099 7744 0 -1 1077944384 648 0 0 0 25 8 0 0 20 0 28 0 4730626 14133010432 136456 33554432000 4194304 4196468 140727450681200 140412415277456 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7106] ppid=7099 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7106/stat : 7106 (java) S 7099 7099 7744 0 -1 1077944384 2112 0 0 0 28 9 0 0 20 0 28 0 4730626 14133010432 136456 33554432000 4194304 4196468 140727450681200 140412414224656 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7107] ppid=7099 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7107/stat : 7107 (java) S 7099 7099 7744 0 -1 1077944384 1770 0 0 0 32 7 0 0 20 0 28 0 4730626 14133010432 136456 33554432000 4194304 4196468 140727450681200 140412073761936 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7108] ppid=7099 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7108/stat : 7108 (java) S 7099 7099 7744 0 -1 1077944384 2019 0 0 0 28 8 0 0 20 0 28 0 4730626 14133010432 136456 33554432000 4194304 4196468 140727450681200 140412072709136 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7109] ppid=7099 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7109/stat : 7109 (java) S 7099 7099 7744 0 -1 1077944384 431 0 0 0 27 8 0 0 20 0 28 0 4730626 14133010432 136456 33554432000 4194304 4196468 140727450681200 140412071656336 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7110] ppid=7099 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7110/stat : 7110 (java) S 7099 7099 7744 0 -1 1077944384 1507 0 0 0 27 9 0 0 20 0 28 0 4730626 14133010432 136456 33554432000 4194304 4196468 140727450681200 140412070603536 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7111] ppid=7099 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7111/stat : 7111 (java) S 7099 7099 7744 0 -1 1077944384 2885 0 0 0 6 5 0 0 20 0 28 0 4730629 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411805874544 140412478429826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7112] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7112/stat : 7112 (java) S 7099 7099 7744 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4730629 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411804820576 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7113] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7113/stat : 7113 (java) S 7099 7099 7744 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4730630 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411803767664 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7114] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7114/stat : 7114 (java) S 7099 7099 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4730634 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411802715984 140412478437275 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7115] ppid=7099 vsize=13801768 CPUtime=3.03 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7115/stat : 7115 (java) S 7099 7099 7744 0 -1 1077944384 17161 0 0 0 302 1 0 0 20 0 28 0 4730634 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411801664368 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7116] ppid=7099 vsize=13801768 CPUtime=2.95 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7116/stat : 7116 (java) S 7099 7099 7744 0 -1 1077944384 16220 0 0 0 293 2 0 0 20 0 28 0 4730634 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411800611568 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7117] ppid=7099 vsize=13801768 CPUtime=3.41 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7117/stat : 7117 (java) S 7099 7099 7744 0 -1 1077944384 13824 0 0 0 339 2 0 0 20 0 28 0 4730634 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411799558768 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7118] ppid=7099 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7118/stat : 7118 (java) S 7099 7099 7744 0 -1 1077944384 8098 0 0 0 103 2 0 0 20 0 28 0 4730634 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411798505968 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7119] ppid=7099 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7119/stat : 7119 (java) S 7099 7099 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4730634 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411797453408 140412478428885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7120] ppid=7099 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7120/stat : 7120 (java) S 7099 7099 7744 0 -1 1077944384 920 0 0 0 9 9 0 0 20 0 28 0 4730634 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411796400688 140412478429826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7138] ppid=7099 vsize=13801768 CPUtime=232.69 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7138/stat : 7138 (java) R 7099 7099 7744 0 -1 4202560 999 0 0 0 23268 1 0 0 20 0 28 0 4737494 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411784676640 140412101952928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7139] ppid=7099 vsize=13801768 CPUtime=234.03 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7139/stat : 7139 (java) R 7099 7099 7744 0 -1 4202560 542 0 0 0 23403 0 0 0 20 0 28 0 4737494 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411787833544 140412102366749 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7140] ppid=7099 vsize=13801768 CPUtime=232.64 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7140/stat : 7140 (java) R 7099 7099 7744 0 -1 4202560 3385 0 0 0 23263 1 0 0 20 0 28 0 4737494 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411782570112 140412102135820 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7141] ppid=7099 vsize=13801768 CPUtime=234.34 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7141/stat : 7141 (java) R 7099 7099 7744 0 -1 4202560 1345 0 0 0 23434 0 0 0 20 0 28 0 4737494 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411788886440 140412099895985 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7142] ppid=7099 vsize=13801768 CPUtime=234.12 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7142/stat : 7142 (java) R 7099 7099 7744 0 -1 4202560 1102 0 0 0 23412 0 0 0 20 0 28 0 4737494 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411785728296 140412099895898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7143] ppid=7099 vsize=13801768 CPUtime=234.32 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7143/stat : 7143 (java) R 7099 7099 7744 0 -1 4202560 604 0 0 0 23432 0 0 0 20 0 28 0 4737494 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411786780616 140412100223652 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7144] ppid=7099 vsize=13801768 CPUtime=233.7 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7144/stat : 7144 (java) R 7099 7099 7744 0 -1 4202560 581 0 0 0 23370 0 0 0 20 0 28 0 4737494 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411781517352 140412102139526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 [pid=7100/tid=7145] ppid=7099 vsize=13801768 CPUtime=231.58 cores=1,3,5,7,9,11,13,15 /proc/7100/task/7145/stat : 7145 (java) R 7099 7099 7744 0 -1 4202560 564 0 0 0 23157 1 0 0 20 0 28 0 4737494 14133010432 136456 33554432000 4194304 4196468 140727450681200 140411783622488 140412102135594 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16044032 140727450682556 140727450682732 140727450682732 140727450685391 0 Current children cumulated CPU time (s) 2400.36 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 7100 sig 9 ??? kill 7099 sig 9 ??? kill -7099 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 7099 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1978 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=0 # CPU time returned by wait4() is 0.001978 # while last known CPU time is 2400.36 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 303.627 CPU time (s): 2400.36 CPU user time (s): 2399.26 CPU system time (s): 1.1 CPU usage (%): 790.561 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001978 system time used= 0 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 518 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.72671 second user time and 4.60759 second system time The end
Begin job on node127 at 2017-07-22 05:37:10 IDJOB=4249468 IDBENCH=136341 IDSOLVER=2625 FILE ID=node127/4249468-1500694629 RUNJOBID= node127-1500682387-7776 PBS_JOBID= 20623323 Free space on /tmp= 61976 MiB SOLVER NAME= choco-solver 4.0.5 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-4249468-1500694629/watcher-4249468-1500694629 -o /tmp/evaluation-result-4249468-1500694629/solver-4249468-1500694629 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2046290262 HOME/instance-4249468-1500694629.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= ee745fcf29eade3c7f55b7e84eebe45a RANDOM SEED=2046290262 node127.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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.94 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 : 2133.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.94 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 : 2000.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.94 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 : 2667.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.94 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 : 2400.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.94 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 : 2000.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.94 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 : 2267.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: 27839052 kB MemAvailable: 28016460 kB Buffers: 114892 kB Cached: 344448 kB SwapCached: 0 kB Active: 4195784 kB Inactive: 302600 kB Active(anon): 4041588 kB Inactive(anon): 8664 kB Active(file): 154196 kB Inactive(file): 293936 kB Unevictable: 5880 kB Mlocked: 5880 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7884 kB Writeback: 0 kB AnonPages: 4156712 kB Mapped: 42708 kB Shmem: 8840 kB Slab: 124616 kB SReclaimable: 90224 kB SUnreclaim: 34392 kB KernelStack: 4992 kB PageTables: 12840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5519504 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4026368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61968 MiB End job on node127 at 2017-07-22 05:42:13