2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT (TO)	93	1999.16	252.11099

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271457-1502645411.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271457-1502645411.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.21/0.85	c solve instance...
25.61/3.87	o 93 
1998.45/252.08	s SATISFIABLE
1998.45/252.08	v <instantiation>
1998.45/252.08	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>
1998.45/252.08	v 	<values>93 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 72 0 0 78 72 0 0 78 72 0 0 78 72 0 0 78 72 0 0 78 72 0 0 78 72 0 0 77 73 0 0 77 73 0 0 77 73 0 0 77 73 0 0 77 73 0 0 77 73 0 0 77 70 0 0 76 74 0 0 76 74 0 0 76 74 0 0 76 74 0 0 76 74 0 0 76 74 0 0 75 75 0 0 75 75 0 0 75 75 0 0 75 75 0 0 75 75 0 0 75 74 0 0 74 70 0 0 70 70 0 0 70 44 36 0 44 44 43 0 43 43 43 0 43 43 43 0 42 42 42 0 42 42 41 0 41 40 40 0 40 40 40 30 39 39 39 33 39 38 38 35 38 38 38 36 38 38 37 37 37 37 37 37 37 37 37 37 36 36 36 35 35 35 35 35 35 35 35 35 34 34 34 34 34 34 34 34 34 34 33 33 32 32 32 32 32 32 32 32 31 31 31 31 31 31 30 30 30 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
1998.45/252.08	v </instantiation>
1998.45/252.08	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15077 MiB free)
  memory of node 1: 16384 MiB (15682 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271457-1502645411/watcher-4271457-1502645411 -o /tmp/evaluation-result-4271457-1502645411/solver-4271457-1502645411 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 63931474 HOME/instance-4271457-1502645411.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16151, runsolver pid=16148

[startup+0.100154 s]*
/proc/loadavg: 8.27 7.77 7.07 2/199 16172
/proc/meminfo: memFree=31482448/32770624 swapFree=67108860/67108860
[pid=16151] ppid=16148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16151/stat : 16151 (xcsp3-exec) S 16148 16151 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97628879 9740288 345 33554432000 4194304 5098028 140721843436816 140721843434920 140685590205052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22073344 140721843438700 140721843438908 140721843438908 140721843441643 0
/proc/16151/statm: 2378 345 289 221 0 87 0
[pid=16153] ppid=16151 vsize=25999808 memory=26252 CPUtime=0.11 cores=0-7
/proc/16153/stat : 16153 (java) S 16151 16151 4682 0 -1 1077944320 5509 0 0 0 10 1 0 0 20 0 20 0 97628879 26623803392 6563 33554432000 4194304 4196468 140732878581472 140732878564016 140198002052855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
/proc/16153/statm: 6499952 6563 2844 1 0 6488269 0
[pid=16153/tid=16154] ppid=16151 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16153/task/16154/stat : 16154 (java) R 16151 16151 4682 0 -1 4202560 3509 0 0 0 8 1 0 0 20 0 20 0 97628880 26623803392 6563 33554432000 4194304 4196468 140732878581472 140198006276656 140198002074202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16155] ppid=16151 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16153/task/16155/stat : 16155 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26623803392 6563 33554432000 4194304 4196468 140732878581472 140197954673680 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16156] ppid=16151 vsize=25999808 memory=139929080964736 CPUtime=0 cores=0-7
/proc/16153/task/16156/stat : 16156 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628880 26623803392 6563 33554432000 4194304 4196468 140732878581472 140197953621136 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16157] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16157/stat : 16157 (java) S 16151 16151 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97628880 26623803392 6563 33554432000 4194304 4196468 140732878581472 140197952568080 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16158] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16158/stat : 16158 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628880 26623803392 6563 33554432000 4194304 4196468 140732878581472 140197951515536 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16159] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16159/stat : 16159 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26623803392 6563 33554432000 4194304 4196468 140732878581472 140197950462480 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16160] ppid=16151 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16153/task/16160/stat : 16160 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26623803392 6563 33554432000 4194304 4196468 140732878581472 140197949409936 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16161] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16161/stat : 16161 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628880 26623803392 6563 33554432000 4194304 4196468 140732878581472 140197948356880 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16162] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16162/stat : 16162 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26623803392 6563 33554432000 4194304 4196468 140732878581472 140197947304336 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16163] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16163/stat : 16163 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628882 26623803392 6563 33554432000 4194304 4196468 140732878581472 140196408474352 140198002064002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16164] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16164/stat : 16164 (java) S 16151 16151 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97628882 26623803392 6563 33554432000 4194304 4196468 140732878581472 140196407420576 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16165] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16165/stat : 16165 (java) S 16151 16151 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97628882 26623803392 6563 33554432000 4194304 4196468 140732878581472 140196406367472 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16166] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16166/stat : 16166 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628885 26623803392 6563 33554432000 4194304 4196468 140732878581472 140196405316048 140198002071451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16167] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16167/stat : 16167 (java) R 16151 16151 4682 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 97628885 26623803392 6563 33554432000 4194304 4196468 140732878581472 140196404263152 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16168] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16168/stat : 16168 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628885 26623803392 6563 33554432000 4194304 4196468 140732878581472 140196403210608 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16169] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16169/stat : 16169 (java) S 16151 16151 4682 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 97628885 26623803392 6563 33554432000 4194304 4196468 140732878581472 140196402157552 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16170] ppid=16151 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16153/task/16170/stat : 16170 (java) R 16151 16151 4682 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 97628885 26623803392 6563 33554432000 4194304 4196468 140732878581472 140196401105008 140198002074202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16171] ppid=16151 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16171/stat : 16171 (java) S 16151 16151 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97628885 26623803392 6563 33554432000 4194304 4196468 140732878581472 140196400053216 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16172] ppid=16151 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16153/task/16172/stat : 16172 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628885 26623803392 6563 33554432000 4194304 4196468 140732878581472 140196399000752 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27632 KiB

[startup+0.210254 s]*
/proc/loadavg: 8.27 7.77 7.07 3/199 16172
/proc/meminfo: memFree=31471284/32770624 swapFree=67108860/67108860
[pid=16151] ppid=16148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16151/stat : 16151 (xcsp3-exec) S 16148 16151 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97628879 9740288 345 33554432000 4194304 5098028 140721843436816 140721843434920 140685590205052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22073344 140721843438700 140721843438908 140721843438908 140721843441643 0
/proc/16151/statm: 2378 345 289 221 0 87 0
[pid=16153] ppid=16151 vsize=26004064 memory=38356 CPUtime=0.33 cores=0-7
/proc/16153/stat : 16153 (java) S 16151 16151 4682 0 -1 1077944320 8283 0 0 0 31 2 0 0 20 0 20 0 97628879 26628161536 9589 33554432000 4194304 4196468 140732878581472 140732878564016 140198002052855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
/proc/16153/statm: 6501016 9589 3029 1 0 6488269 0
[pid=16153/tid=16154] ppid=16151 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16153/task/16154/stat : 16154 (java) R 16151 16151 4682 0 -1 4202560 5405 0 0 0 18 1 0 0 20 0 20 0 97628880 26628161536 9589 33554432000 4194304 4196468 140732878581472 140198006275744 140198002074781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16155] ppid=16151 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/16153/task/16155/stat : 16155 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 9589 33554432000 4194304 4196468 140732878581472 140197954673680 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16156] ppid=16151 vsize=26004064 memory=3978850513107953312 CPUtime=0 cores=0-7
/proc/16153/task/16156/stat : 16156 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 9589 33554432000 4194304 4196468 140732878581472 140197953621136 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16157] ppid=16151 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16153/task/16157/stat : 16157 (java) S 16151 16151 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 9589 33554432000 4194304 4196468 140732878581472 140197952568080 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16158] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16158/stat : 16158 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 9589 33554432000 4194304 4196468 140732878581472 140197951515536 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16159] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16159/stat : 16159 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 9589 33554432000 4194304 4196468 140732878581472 140197950462480 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16160] ppid=16151 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16153/task/16160/stat : 16160 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 9589 33554432000 4194304 4196468 140732878581472 140197949409936 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16161] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16161/stat : 16161 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 9589 33554432000 4194304 4196468 140732878581472 140197948356880 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16162] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16162/stat : 16162 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 9589 33554432000 4194304 4196468 140732878581472 140197947304336 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16163] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16163/stat : 16163 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628882 26628161536 9589 33554432000 4194304 4196468 140732878581472 140196408474352 140198002064002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16164] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16164/stat : 16164 (java) S 16151 16151 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97628882 26628161536 9589 33554432000 4194304 4196468 140732878581472 140196407420576 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16165] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16165/stat : 16165 (java) S 16151 16151 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97628882 26628161536 9589 33554432000 4194304 4196468 140732878581472 140196406367472 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16166] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16166/stat : 16166 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628885 26628161536 9589 33554432000 4194304 4196468 140732878581472 140196405316048 140198002071451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16167] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16167/stat : 16167 (java) S 16151 16151 4682 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 97628885 26628161536 9589 33554432000 4194304 4196468 140732878581472 140196404263152 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16168] ppid=16151 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16153/task/16168/stat : 16168 (java) S 16151 16151 4682 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 97628885 26628161536 9589 33554432000 4194304 4196468 140732878581472 140196403210608 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16169] ppid=16151 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/16153/task/16169/stat : 16169 (java) S 16151 16151 4682 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 20 0 97628885 26628161536 9589 33554432000 4194304 4196468 140732878581472 140196402157552 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16170] ppid=16151 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/16153/task/16170/stat : 16170 (java) R 16151 16151 4682 0 -1 4202560 723 0 0 0 7 0 0 0 20 0 20 0 97628885 26628161536 9589 33554432000 4194304 4196468 140732878581472 140196401105008 140197980999506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16171] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16171/stat : 16171 (java) S 16151 16151 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97628885 26628161536 9589 33554432000 4194304 4196468 140732878581472 140196400053216 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16172] ppid=16151 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16153/task/16172/stat : 16172 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628885 26628161536 9589 33554432000 4194304 4196468 140732878581472 140196399000752 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39736 KiB

[startup+0.310177 s]*
/proc/loadavg: 8.27 7.77 7.07 4/199 16172
/proc/meminfo: memFree=31466508/32770624 swapFree=67108860/67108860
[pid=16151] ppid=16148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16151/stat : 16151 (xcsp3-exec) S 16148 16151 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97628879 9740288 345 33554432000 4194304 5098028 140721843436816 140721843434920 140685590205052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22073344 140721843438700 140721843438908 140721843438908 140721843441643 0
/proc/16151/statm: 2378 345 289 221 0 87 0
[pid=16153] ppid=16151 vsize=26004064 memory=43792 CPUtime=0.5 cores=0-7
/proc/16153/stat : 16153 (java) S 16151 16151 4682 0 -1 1077944320 9182 0 0 0 47 3 0 0 20 0 20 0 97628879 26628161536 10948 33554432000 4194304 4196468 140732878581472 140732878564016 140198002052855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
/proc/16153/statm: 6501016 10948 3075 1 0 6488269 0
[pid=16153/tid=16154] ppid=16151 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16153/task/16154/stat : 16154 (java) R 16151 16151 4682 0 -1 4202560 6081 0 0 0 27 2 0 0 20 0 20 0 97628880 26628161536 10948 33554432000 4194304 4196468 140732878581472 140198006292192 140197614430337 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16155] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16155/stat : 16155 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 10948 33554432000 4194304 4196468 140732878581472 140197954673680 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16156] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16156/stat : 16156 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 10948 33554432000 4194304 4196468 140732878581472 140197953621136 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16157] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16157/stat : 16157 (java) S 16151 16151 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 10948 33554432000 4194304 4196468 140732878581472 140197952568080 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16158] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16158/stat : 16158 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 10948 33554432000 4194304 4196468 140732878581472 140197951515536 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16159] ppid=16151 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16153/task/16159/stat : 16159 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 10948 33554432000 4194304 4196468 140732878581472 140197950462480 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16160] ppid=16151 vsize=26004064 memory=139928960857007 CPUtime=0 cores=0-7
/proc/16153/task/16160/stat : 16160 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 10948 33554432000 4194304 4196468 140732878581472 140197949409936 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16161] ppid=16151 vsize=26004064 memory=139928960859312 CPUtime=0 cores=0-7
/proc/16153/task/16161/stat : 16161 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 10948 33554432000 4194304 4196468 140732878581472 140197948356880 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16162] ppid=16151 vsize=26004064 memory=139928960861616 CPUtime=0 cores=0-7
/proc/16153/task/16162/stat : 16162 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26628161536 10948 33554432000 4194304 4196468 140732878581472 140197947304336 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16163] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16163/stat : 16163 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628882 26628161536 10948 33554432000 4194304 4196468 140732878581472 140196408474352 140198002064002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16164] ppid=16151 vsize=26004064 memory=279857921730192 CPUtime=0 cores=0-7
/proc/16153/task/16164/stat : 16164 (java) S 16151 16151 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97628882 26628161536 10948 33554432000 4194304 4196468 140732878581472 140196407420576 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16165] ppid=16151 vsize=26004064 memory=279857921737104 CPUtime=0 cores=0-7
/proc/16153/task/16165/stat : 16165 (java) S 16151 16151 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97628882 26628161536 10948 33554432000 4194304 4196468 140732878581472 140196406367472 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16166] ppid=16151 vsize=26004064 memory=279857921678384 CPUtime=0 cores=0-7
/proc/16153/task/16166/stat : 16166 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628885 26628161536 10948 33554432000 4194304 4196468 140732878581472 140196405316048 140198002071451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16167] ppid=16151 vsize=26004064 memory=279857921750928 CPUtime=0.01 cores=0-7
/proc/16153/task/16167/stat : 16167 (java) S 16151 16151 4682 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 20 0 97628885 26628161536 10948 33554432000 4194304 4196468 140732878581472 140196404263152 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16168] ppid=16151 vsize=26004064 memory=279857921757840 CPUtime=0.02 cores=0-7
/proc/16153/task/16168/stat : 16168 (java) S 16151 16151 4682 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 20 0 97628885 26628161536 10948 33554432000 4194304 4196468 140732878581472 140196403210608 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16169] ppid=16151 vsize=26004064 memory=279857921755536 CPUtime=0.02 cores=0-7
/proc/16153/task/16169/stat : 16169 (java) S 16151 16151 4682 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 20 0 97628885 26628161536 10948 33554432000 4194304 4196468 140732878581472 140196402157552 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16170] ppid=16151 vsize=26004064 memory=279857921771696 CPUtime=0.12 cores=0-7
/proc/16153/task/16170/stat : 16170 (java) R 16151 16151 4682 0 -1 4202560 848 0 0 0 12 0 0 0 20 0 20 0 97628885 26628161536 10948 33554432000 4194304 4196468 140732878581472 140196401101376 140197980525969 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16171] ppid=16151 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16171/stat : 16171 (java) S 16151 16151 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97628885 26628161536 10948 33554432000 4194304 4196468 140732878581472 140196400053216 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16172] ppid=16151 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16153/task/16172/stat : 16172 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628885 26628161536 10948 33554432000 4194304 4196468 140732878581472 140196399000752 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45172 KiB

[startup+0.700917 s]
/proc/loadavg: 8.27 7.77 7.07 4/199 16172
/proc/meminfo: memFree=31447836/32770624 swapFree=67108860/67108860
[pid=16151] ppid=16148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16151/stat : 16151 (xcsp3-exec) S 16148 16151 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97628879 9740288 345 33554432000 4194304 5098028 140721843436816 140721843434920 140685590205052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22073344 140721843438700 140721843438908 140721843438908 140721843441643 0
/proc/16151/statm: 2378 345 289 221 0 87 0
[pid=16153] ppid=16151 vsize=26006188 memory=97432 CPUtime=1.8 cores=0-7
/proc/16153/stat : 16153 (java) S 16151 16151 4682 0 -1 1077944320 14524 0 0 0 175 5 0 0 20 0 20 0 97628879 26630336512 24358 33554432000 4194304 4196468 140732878581472 140732878564016 140198002052855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
/proc/16153/statm: 6501547 24358 3210 1 0 6488781 0
[pid=16153/tid=16154] ppid=16151 vsize=26006188 memory=279857922129584 CPUtime=0.67 cores=0-7
/proc/16153/task/16154/stat : 16154 (java) R 16151 16151 4682 0 -1 4202560 6754 0 0 0 64 3 0 0 20 0 20 0 97628880 26630336512 24358 33554432000 4194304 4196468 140732878581472 140198006289456 140197618921959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16155] ppid=16151 vsize=26006188 memory=139928961065840 CPUtime=0 cores=0-7
/proc/16153/task/16155/stat : 16155 (java) S 16151 16151 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97628880 26630336512 24358 33554432000 4194304 4196468 140732878581472 140197954673680 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16156] ppid=16151 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/16153/task/16156/stat : 16156 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97628880 26630336512 24358 33554432000 4194304 4196468 140732878581472 140197953621136 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16157] ppid=16151 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/16153/task/16157/stat : 16157 (java) S 16151 16151 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97628880 26630336512 24358 33554432000 4194304 4196468 140732878581472 140197952568080 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0

################
# More data... #
################

[pid=16153/tid=16188] ppid=16151 vsize=26538700 memory=1350256 CPUtime=156.19 cores=0-7
/proc/16153/task/16188/stat : 16188 (java) R 16151 16151 4682 0 -1 4202560 2242 0 0 0 15619 0 0 0 20 0 28 0 97629268 27175628800 337564 33554432000 4194304 4196468 140732878581472 140195446890888 140197620196256 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
Current children cumulated CPU time: 1282.63 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1351636 KiB

[startup+222.302 s]
/proc/loadavg: 8.06 8.00 7.33 9/207 16188
/proc/meminfo: memFree=30097816/32770624 swapFree=67108860/67108860
[pid=16151] ppid=16148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16151/stat : 16151 (xcsp3-exec) S 16148 16151 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97628879 9740288 345 33554432000 4194304 5098028 140721843436816 140721843434920 140685590205052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22073344 140721843438700 140721843438908 140721843438908 140721843441643 0
/proc/16151/statm: 2378 345 289 221 0 87 0
[pid=16153] ppid=16151 vsize=26538700 memory=1413948 CPUtime=1761.41 cores=0-7
/proc/16153/stat : 16153 (java) S 16151 16151 4682 0 -1 1077944320 93557 0 0 0 176047 94 0 0 20 0 28 0 97628879 27175628800 353487 33554432000 4194304 4196468 140732878581472 140732878564016 140198002052855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
/proc/16153/statm: 6634675 353487 3302 1 0 6621909 0
[pid=16153/tid=16154] ppid=16151 vsize=26538700 memory=1413948 CPUtime=0.84 cores=0-7
/proc/16153/task/16154/stat : 16154 (java) S 16151 16151 4682 0 -1 1077944384 6847 0 0 0 81 3 0 0 20 0 28 0 97628880 27175628800 353487 33554432000 4194304 4196468 140732878581472 140198006293632 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16155] ppid=16151 vsize=26538700 memory=1413948 CPUtime=0.87 cores=0-7
/proc/16153/task/16155/stat : 16155 (java) S 16151 16151 4682 0 -1 1077944384 929 0 0 0 83 4 0 0 20 0 28 0 97628880 27175628800 353487 33554432000 4194304 4196468 140732878581472 140197954673680 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16156] ppid=16151 vsize=26538700 memory=1380 CPUtime=0.88 cores=0-7
/proc/16153/task/16156/stat : 16156 (java) S 16151 16151 4682 0 -1 1077944384 2103 0 0 0 83 5 0 0 20 0 28 0 97628880 27175628800 353487 33554432000 4194304 4196468 140732878581472 140197953621136 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16157] ppid=16151 vsize=26538700 memory=184 CPUtime=0.88 cores=0-7
/proc/16153/task/16157/stat : 16157 (java) S 16151 16151 4682 0 -1 1077944384 1981 0 0 0 81 7 0 0 20 0 28 0 97628880 27175628800 353487 33554432000 4194304 4196468 140732878581472 140197952568080 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16158] ppid=16151 vsize=26538700 memory=68 CPUtime=0.86 cores=0-7
/proc/16153/task/16158/stat : 16158 (java) S 16151 16151 4682 0 -1 1077944384 2384 0 0 0 80 6 0 0 20 0 28 0 97628880 27175628800 353487 33554432000 4194304 4196468 140732878581472 140197951515536 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16159] ppid=16151 vsize=26538700 memory=6791534058613427641 CPUtime=0.87 cores=0-7
/proc/16153/task/16159/stat : 16159 (java) S 16151 16151 4682 0 -1 1077944384 778 0 0 0 81 6 0 0 20 0 28 0 97628880 27175628800 353487 33554432000 4194304 4196468 140732878581472 140197950462480 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16160] ppid=16151 vsize=26538700 memory=1380 CPUtime=0.85 cores=0-7
/proc/16153/task/16160/stat : 16160 (java) S 16151 16151 4682 0 -1 1077944384 1282 0 0 0 81 4 0 0 20 0 28 0 97628880 27175628800 353487 33554432000 4194304 4196468 140732878581472 140197949409936 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16161] ppid=16151 vsize=26538700 memory=87 CPUtime=0.89 cores=0-7
/proc/16153/task/16161/stat : 16161 (java) S 16151 16151 4682 0 -1 1077944384 1357 0 0 0 83 6 0 0 20 0 28 0 97628880 27175628800 353487 33554432000 4194304 4196468 140732878581472 140197948356880 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16162] ppid=16151 vsize=26538700 memory=85 CPUtime=0.89 cores=0-7
/proc/16153/task/16162/stat : 16162 (java) S 16151 16151 4682 0 -1 1077944384 2192 0 0 0 83 6 0 0 20 0 28 0 97628880 27175628800 353487 33554432000 4194304 4196468 140732878581472 140197947304336 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16163] ppid=16151 vsize=26538700 memory=0 CPUtime=1.02 cores=0-7
/proc/16153/task/16163/stat : 16163 (java) S 16151 16151 4682 0 -1 1077944384 9062 0 0 0 100 2 0 0 20 0 28 0 97628882 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196408474352 140198002064002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16164] ppid=16151 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/16153/task/16164/stat : 16164 (java) S 16151 16151 4682 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 97628882 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196407420640 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16165] ppid=16151 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/16153/task/16165/stat : 16165 (java) S 16151 16151 4682 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 97628882 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196406367488 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16166] ppid=16151 vsize=26538700 memory=1413948 CPUtime=0 cores=0-7
/proc/16153/task/16166/stat : 16166 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97628885 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196405316048 140198002071451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16167] ppid=16151 vsize=26538700 memory=1728 CPUtime=1.43 cores=0-7
/proc/16153/task/16167/stat : 16167 (java) S 16151 16151 4682 0 -1 1077944384 7489 0 0 0 143 0 0 0 20 0 28 0 97628885 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196404263152 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16168] ppid=16151 vsize=26538700 memory=1380 CPUtime=1.79 cores=0-7
/proc/16153/task/16168/stat : 16168 (java) S 16151 16151 4682 0 -1 1077944384 11682 0 0 0 177 2 0 0 20 0 28 0 97628885 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196403210608 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16169] ppid=16151 vsize=26538700 memory=1380 CPUtime=1.84 cores=0-7
/proc/16153/task/16169/stat : 16169 (java) S 16151 16151 4682 0 -1 1077944384 15012 0 0 0 181 3 0 0 20 0 28 0 97628885 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196402157552 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16170] ppid=16151 vsize=26538700 memory=1350256 CPUtime=0.69 cores=0-7
/proc/16153/task/16170/stat : 16170 (java) S 16151 16151 4682 0 -1 1077944384 7062 0 0 0 68 1 0 0 20 0 28 0 97628885 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196401105008 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16171] ppid=16151 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/16153/task/16171/stat : 16171 (java) S 16151 16151 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97628885 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196400053216 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16172] ppid=16151 vsize=26538700 memory=1380 CPUtime=0.04 cores=0-7
/proc/16153/task/16172/stat : 16172 (java) S 16151 16151 4682 0 -1 1077944384 1043 0 0 0 2 2 0 0 20 0 28 0 97628885 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196399000752 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16181] ppid=16151 vsize=26538700 memory=6791534058613427641 CPUtime=214.97 cores=0-7
/proc/16153/task/16181/stat : 16181 (java) R 16151 16151 4682 0 -1 4202560 1612 0 0 0 21496 1 0 0 20 0 28 0 97629267 27175628800 353487 33554432000 4194304 4196468 140732878581472 140195447942152 140197620196541 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16182] ppid=16151 vsize=26538700 memory=1380 CPUtime=216.19 cores=0-7
/proc/16153/task/16182/stat : 16182 (java) R 16151 16151 4682 0 -1 4202560 3243 0 0 0 21612 7 0 0 20 0 28 0 97629267 27175628800 353487 33554432000 4194304 4196468 140732878581472 140195448995976 140197620196388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16183] ppid=16151 vsize=26538700 memory=1380 CPUtime=214.6 cores=0-7
/proc/16153/task/16183/stat : 16183 (java) R 16151 16151 4682 0 -1 4202560 3376 0 0 0 21457 3 0 0 20 0 28 0 97629267 27175628800 353487 33554432000 4194304 4196468 140732878581472 140196390989576 140197621443138 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16184] ppid=16151 vsize=26538700 memory=1380 CPUtime=216.03 cores=0-7
/proc/16153/task/16184/stat : 16184 (java) R 16151 16151 4682 0 -1 4202560 2216 0 0 0 21601 2 0 0 20 0 28 0 97629267 27175628800 353487 33554432000 4194304 4196468 140732878581472 140195444788016 140197621444076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16185] ppid=16151 vsize=26538700 memory=1380 CPUtime=215.73 cores=0-7
/proc/16153/task/16185/stat : 16185 (java) R 16151 16151 4682 0 -1 4202560 4222 0 0 0 21571 2 0 0 20 0 28 0 97629267 27175628800 353487 33554432000 4194304 4196468 140732878581472 140195445839016 140197620196230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16186] ppid=16151 vsize=26538700 memory=1413948 CPUtime=215.99 cores=0-7
/proc/16153/task/16186/stat : 16186 (java) R 16151 16151 4682 0 -1 4202560 967 0 0 0 21599 0 0 0 20 0 28 0 97629267 27175628800 353487 33554432000 4194304 4196468 140732878581472 140195450047960 140197620196256 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16187] ppid=16151 vsize=26538700 memory=15876 CPUtime=216.13 cores=0-7
/proc/16153/task/16187/stat : 16187 (java) R 16151 16151 4682 0 -1 4202560 2007 0 0 0 21605 8 0 0 20 0 28 0 97629267 27175628800 353487 33554432000 4194304 4196468 140732878581472 140195443732744 140197620196214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16188] ppid=16151 vsize=26538700 memory=17948 CPUtime=216.02 cores=0-7
/proc/16153/task/16188/stat : 16188 (java) R 16151 16151 4682 0 -1 4202560 2414 0 0 0 21602 0 0 0 20 0 28 0 97629268 27175628800 353487 33554432000 4194304 4196468 140732878581472 140195446893048 140197620196256 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
Current children cumulated CPU time: 1761.41 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1415328 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.04 8.00 7.35 9/208 16195
/proc/meminfo: memFree=30096316/32770624 swapFree=67108860/67108860
[pid=16151] ppid=16148 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16151/stat : 16151 (xcsp3-exec) S 16148 16151 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97628879 9740288 345 33554432000 4194304 5098028 140721843436816 140721843434920 140685590205052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22073344 140721843438700 140721843438908 140721843438908 140721843441643 0
/proc/16151/statm: 2378 345 289 221 0 87 0
[pid=16153] ppid=16151 vsize=26538700 memory=1413952 CPUtime=1998.45 cores=0-7
/proc/16153/stat : 16153 (java) S 16151 16151 4682 0 -1 1077944320 95108 0 0 0 199750 95 0 0 20 0 28 0 97628879 27175628800 353488 33554432000 4194304 4196468 140732878581472 140732878564016 140198002052855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
/proc/16153/statm: 6634675 353488 3302 1 0 6621909 0
[pid=16153/tid=16154] ppid=16151 vsize=26538700 memory=6791534058613427641 CPUtime=0.84 cores=0-7
/proc/16153/task/16154/stat : 16154 (java) S 16151 16151 4682 0 -1 1077944384 6847 0 0 0 81 3 0 0 20 0 28 0 97628880 27175628800 353488 33554432000 4194304 4196468 140732878581472 140198006293632 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16155] ppid=16151 vsize=26538700 memory=4872558044660077418 CPUtime=0.87 cores=0-7
/proc/16153/task/16155/stat : 16155 (java) S 16151 16151 4682 0 -1 1077944384 929 0 0 0 83 4 0 0 20 0 28 0 97628880 27175628800 353488 33554432000 4194304 4196468 140732878581472 140197954673680 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16156] ppid=16151 vsize=26538700 memory=4140 CPUtime=0.88 cores=0-7
/proc/16153/task/16156/stat : 16156 (java) S 16151 16151 4682 0 -1 1077944384 2103 0 0 0 83 5 0 0 20 0 28 0 97628880 27175628800 353488 33554432000 4194304 4196468 140732878581472 140197953621136 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16157] ppid=16151 vsize=26538700 memory=1380 CPUtime=0.88 cores=0-7
/proc/16153/task/16157/stat : 16157 (java) S 16151 16151 4682 0 -1 1077944384 1981 0 0 0 81 7 0 0 20 0 28 0 97628880 27175628800 353488 33554432000 4194304 4196468 140732878581472 140197952568080 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16158] ppid=16151 vsize=26538700 memory=1413952 CPUtime=0.86 cores=0-7
/proc/16153/task/16158/stat : 16158 (java) S 16151 16151 4682 0 -1 1077944384 2384 0 0 0 80 6 0 0 20 0 28 0 97628880 27175628800 353488 33554432000 4194304 4196468 140732878581472 140197951515536 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16159] ppid=16151 vsize=26538700 memory=1413948 CPUtime=0.87 cores=0-7
/proc/16153/task/16159/stat : 16159 (java) S 16151 16151 4682 0 -1 1077944384 778 0 0 0 81 6 0 0 20 0 28 0 97628880 27175628800 353488 33554432000 4194304 4196468 140732878581472 140197950462480 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16160] ppid=16151 vsize=26538700 memory=20888 CPUtime=0.85 cores=0-7
/proc/16153/task/16160/stat : 16160 (java) S 16151 16151 4682 0 -1 1077944384 1282 0 0 0 81 4 0 0 20 0 28 0 97628880 27175628800 353488 33554432000 4194304 4196468 140732878581472 140197949409936 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16161] ppid=16151 vsize=26538700 memory=7681905605394137914 CPUtime=0.89 cores=0-7
/proc/16153/task/16161/stat : 16161 (java) S 16151 16151 4682 0 -1 1077944384 1357 0 0 0 83 6 0 0 20 0 28 0 97628880 27175628800 353488 33554432000 4194304 4196468 140732878581472 140197948356880 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16162] ppid=16151 vsize=26538700 memory=8257237230052613020 CPUtime=0.89 cores=0-7
/proc/16153/task/16162/stat : 16162 (java) S 16151 16151 4682 0 -1 1077944384 2192 0 0 0 83 6 0 0 20 0 28 0 97628880 27175628800 353488 33554432000 4194304 4196468 140732878581472 140197947304336 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16163] ppid=16151 vsize=26538700 memory=4612 CPUtime=1.02 cores=0-7
/proc/16153/task/16163/stat : 16163 (java) S 16151 16151 4682 0 -1 1077944384 9070 0 0 0 100 2 0 0 20 0 28 0 97628882 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196408474352 140198002064002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16164] ppid=16151 vsize=26538700 memory=1428 CPUtime=0 cores=0-7
/proc/16153/task/16164/stat : 16164 (java) S 16151 16151 4682 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 97628882 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196407420640 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16165] ppid=16151 vsize=26538700 memory=1204 CPUtime=0 cores=0-7
/proc/16153/task/16165/stat : 16165 (java) S 16151 16151 4682 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 97628882 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196406367488 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16166] ppid=16151 vsize=26538700 memory=15876 CPUtime=0 cores=0-7
/proc/16153/task/16166/stat : 16166 (java) S 16151 16151 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97628885 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196405316048 140198002071451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16167] ppid=16151 vsize=26538700 memory=17948 CPUtime=1.43 cores=0-7
/proc/16153/task/16167/stat : 16167 (java) S 16151 16151 4682 0 -1 1077944384 7495 0 0 0 143 0 0 0 20 0 28 0 97628885 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196404263152 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16168] ppid=16151 vsize=26538700 memory=6791534058613427641 CPUtime=1.79 cores=0-7
/proc/16153/task/16168/stat : 16168 (java) S 16151 16151 4682 0 -1 1077944384 11688 0 0 0 177 2 0 0 20 0 28 0 97628885 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196403210608 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16169] ppid=16151 vsize=26538700 memory=1413948 CPUtime=1.84 cores=0-7
/proc/16153/task/16169/stat : 16169 (java) S 16151 16151 4682 0 -1 1077944384 15024 0 0 0 181 3 0 0 20 0 28 0 97628885 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196402157552 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16170] ppid=16151 vsize=26538700 memory=1380 CPUtime=0.69 cores=0-7
/proc/16153/task/16170/stat : 16170 (java) S 16151 16151 4682 0 -1 1077944384 7259 0 0 0 68 1 0 0 20 0 28 0 97628885 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196401105008 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16171] ppid=16151 vsize=26538700 memory=1413948 CPUtime=0 cores=0-7
/proc/16153/task/16171/stat : 16171 (java) S 16151 16151 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97628885 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196400053216 140198002063061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16172] ppid=16151 vsize=26538700 memory=1796 CPUtime=0.05 cores=0-7
/proc/16153/task/16172/stat : 16172 (java) S 16151 16151 4682 0 -1 1077944384 1094 0 0 0 3 2 0 0 20 0 28 0 97628885 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196399000752 140198002064002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16181] ppid=16151 vsize=26538700 memory=1236 CPUtime=244.1 cores=0-7
/proc/16153/task/16181/stat : 16181 (java) R 16151 16151 4682 0 -1 4202560 1744 0 0 0 24409 1 0 0 20 0 28 0 97629267 27175628800 353488 33554432000 4194304 4196468 140732878581472 140195447944568 140197621443929 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16182] ppid=16151 vsize=26538700 memory=640 CPUtime=245.89 cores=0-7
/proc/16153/task/16182/stat : 16182 (java) R 16151 16151 4682 0 -1 4202560 3318 0 0 0 24582 7 0 0 20 0 28 0 97629267 27175628800 353488 33554432000 4194304 4196468 140732878581472 140195448995976 140197621444006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16183] ppid=16151 vsize=26538700 memory=956 CPUtime=244.31 cores=0-7
/proc/16153/task/16183/stat : 16183 (java) R 16151 16151 4682 0 -1 4202560 3549 0 0 0 24428 3 0 0 20 0 28 0 97629267 27175628800 353488 33554432000 4194304 4196468 140732878581472 140196390989576 140197621444117 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16184] ppid=16151 vsize=26538700 memory=2340 CPUtime=245.72 cores=0-7
/proc/16153/task/16184/stat : 16184 (java) R 16151 16151 4682 0 -1 4202560 2415 0 0 0 24570 2 0 0 20 0 28 0 97629267 27175628800 353488 33554432000 4194304 4196468 140732878581472 140195444788016 140197620196225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16185] ppid=16151 vsize=26538700 memory=2240 CPUtime=245.44 cores=0-7
/proc/16153/task/16185/stat : 16185 (java) R 16151 16151 4682 0 -1 4202560 4457 0 0 0 24541 3 0 0 20 0 28 0 97629267 27175628800 353488 33554432000 4194304 4196468 140732878581472 140195445839016 140197621443929 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16186] ppid=16151 vsize=26538700 memory=4128 CPUtime=245.69 cores=0-7
/proc/16153/task/16186/stat : 16186 (java) R 16151 16151 4682 0 -1 4202560 1013 0 0 0 24569 0 0 0 20 0 28 0 97629267 27175628800 353488 33554432000 4194304 4196468 140732878581472 140195450047960 140197620196211 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16187] ppid=16151 vsize=26538700 memory=928 CPUtime=245.84 cores=0-7
/proc/16153/task/16187/stat : 16187 (java) R 16151 16151 4682 0 -1 4202560 2156 0 0 0 24575 9 0 0 20 0 28 0 97629267 27175628800 353488 33554432000 4194304 4196468 140732878581472 140195443732744 140197621443667 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
[pid=16153/tid=16188] ppid=16151 vsize=26538700 memory=1576 CPUtime=245.72 cores=0-7
/proc/16153/task/16188/stat : 16188 (java) R 16151 16151 4682 0 -1 4202560 2676 0 0 0 24571 1 0 0 20 0 28 0 97629268 27175628800 353488 33554432000 4194304 4196468 140732878581472 140195446893048 140197620196230 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25661440 140732878582936 140732878583112 140732878583112 140732878585807 0
Current children cumulated CPU time: 1998.45 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1415332 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.043 s]
# the end of solver process 16151 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001905 s

[startup+252.111 s]
# the end of solver process 16153 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1998.19 s, system=0.975921 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 252.111
CPU time (s): 1999.16
CPU user time (s): 1998.19
CPU system time (s): 0.975921
CPU usage (%): 792.97
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1415332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1998.19
system time used= 0.975921
maximum resident set size= 1414864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10948
involuntary context switches= 21514


# summary of solver processes directly reported to runsolver:
#   pid: 16151,16153
#   total CPU time (s): 1999.16
#   total CPU user time (s): 1998.19
#   total CPU system time (s): 0.975921

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.23346 second user time and 2.64195 second system time

The end

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	1989.67
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

Trace number 4271457

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data