2017 XCSP3 competition: main track (CSP and COP, 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	20062.6	2520.1201

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270467-1502785631.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270467-1502785631.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.19	c 8 solvers in parallel
0.32/0.26	c parse instance...
2.24/0.85	c solve instance...
27.70/5.06	o 93 
20061.82/2520.09	s SATISFIABLE
20061.82/2520.09	v <instantiation>
20061.82/2520.09	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>
20061.82/2520.09	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>
20061.82/2520.09	v </instantiation>
20061.82/2520.09	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 (13914 MiB free)
  memory of node 1: 16384 MiB (14168 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270467-1502785631/watcher-4270467-1502785631 -o /tmp/evaluation-result-4270467-1502785631/solver-4270467-1502785631 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502779728-10509 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 840304822 HOME/instance-4270467-1502785631.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=10917, runsolver pid=10914

[startup+0.100124 s]*
/proc/loadavg: 8.01 8.16 8.27 3/201 10938
/proc/meminfo: memFree=28741096/32770624 swapFree=67108860/67108860
[pid=10917] ppid=10914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10917/stat : 10917 (xcsp3-exec) S 10914 10917 10482 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111644095 9740288 346 33554432000 4194304 5098028 140720476934656 140720476932760 139975021105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8425472 140720476943461 140720476943671 140720476943671 140720476946411 0
/proc/10917/statm: 2378 346 289 221 0 87 0
[pid=10919] ppid=10917 vsize=25999808 memory=26868 CPUtime=0.11 cores=0-7
/proc/10919/stat : 10919 (java) S 10917 10917 10482 0 -1 1077944320 5652 0 0 0 10 1 0 0 20 0 20 0 111644095 26623803392 6717 33554432000 4194304 4196468 140736140119296 140736140101840 140076601540343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
/proc/10919/statm: 6499952 6717 2849 1 0 6488269 0
[pid=10919/tid=10920] ppid=10917 vsize=25999808 memory=8328451419030856344 CPUtime=0.09 cores=0-7
/proc/10919/task/10920/stat : 10920 (java) R 10917 10917 10482 0 -1 4202560 3661 0 0 0 8 1 0 0 20 0 20 0 111644095 26623803392 6717 33554432000 4194304 4196468 140736140119296 140076605774880 140076601552278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10921] ppid=10917 vsize=25999808 memory=732369797360839653 CPUtime=0 cores=0-7
/proc/10919/task/10921/stat : 10921 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26623803392 6717 33554432000 4194304 4196468 140736140119296 140076554160400 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10922] ppid=10917 vsize=25999808 memory=139659023386240 CPUtime=0 cores=0-7
/proc/10919/task/10922/stat : 10922 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26623803392 6717 33554432000 4194304 4196468 140736140119296 140076553107856 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10923] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10923/stat : 10923 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26623803392 6717 33554432000 4194304 4196468 140736140119296 140076552055312 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10924] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10924/stat : 10924 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26623803392 6717 33554432000 4194304 4196468 140736140119296 140076551002768 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10925] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10925/stat : 10925 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26623803392 6717 33554432000 4194304 4196468 140736140119296 140076549950224 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10926] ppid=10917 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10919/task/10926/stat : 10926 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26623803392 6717 33554432000 4194304 4196468 140736140119296 140076548897680 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10927] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10927/stat : 10927 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26623803392 6717 33554432000 4194304 4196468 140736140119296 140076547845136 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10928] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10928/stat : 10928 (java) S 10917 10917 10482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111644096 26623803392 6717 33554432000 4194304 4196468 140736140119296 140076546792592 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10929] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10929/stat : 10929 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644097 26623803392 6717 33554432000 4194304 4196468 140736140119296 140075796056048 140076601551490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10930] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10930/stat : 10930 (java) S 10917 10917 10482 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111644098 26623803392 6717 33554432000 4194304 4196468 140736140119296 140075727840160 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10931] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10931/stat : 10931 (java) S 10917 10917 10482 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111644098 26623803392 6717 33554432000 4194304 4196468 140736140119296 140075726787568 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10932] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10932/stat : 10932 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644100 26623803392 6717 33554432000 4194304 4196468 140736140119296 140075725736144 140076601558939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10933] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10933/stat : 10933 (java) S 10917 10917 10482 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 111644100 26623803392 6717 33554432000 4194304 4196468 140736140119296 140075724683760 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10934] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10934/stat : 10934 (java) S 10917 10917 10482 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 111644100 26623803392 6717 33554432000 4194304 4196468 140736140119296 140075723631216 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10935] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10935/stat : 10935 (java) S 10917 10917 10482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111644101 26623803392 6717 33554432000 4194304 4196468 140736140119296 140075722578672 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10936] ppid=10917 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10919/task/10936/stat : 10936 (java) R 10917 10917 10482 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 111644101 26623803392 6717 33554432000 4194304 4196468 140736140119296 140075721526128 140076582777904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10937] ppid=10917 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10937/stat : 10937 (java) S 10917 10917 10482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111644101 26623803392 6717 33554432000 4194304 4196468 140736140119296 140075720472800 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10938] ppid=10917 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10919/task/10938/stat : 10938 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644101 26623803392 6717 33554432000 4194304 4196468 140736140119296 140075719420336 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28252 KiB

[startup+0.210449 s]*
/proc/loadavg: 8.01 8.16 8.27 2/201 10938
/proc/meminfo: memFree=28730428/32770624 swapFree=67108860/67108860
[pid=10917] ppid=10914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10917/stat : 10917 (xcsp3-exec) S 10914 10917 10482 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111644095 9740288 346 33554432000 4194304 5098028 140720476934656 140720476932760 139975021105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8425472 140720476943461 140720476943671 140720476943671 140720476946411 0
/proc/10917/statm: 2378 346 289 221 0 87 0
[pid=10919] ppid=10917 vsize=26004096 memory=38528 CPUtime=0.32 cores=0-7
/proc/10919/stat : 10919 (java) S 10917 10917 10482 0 -1 1077944320 8274 0 0 0 30 2 0 0 20 0 20 0 111644095 26628194304 9632 33554432000 4194304 4196468 140736140119296 140736140101840 140076601540343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
/proc/10919/statm: 6501016 9632 3026 1 0 6488269 0
[pid=10919/tid=10920] ppid=10917 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/10919/task/10920/stat : 10920 (java) D 10917 10917 10482 0 -1 1077944384 5478 0 0 0 18 2 0 0 20 0 20 0 111644095 26628161536 9632 33554432000 4194304 4196468 140736140119296 140076605742032 140076594219565 0 4 0 16800975 18446744072101662244 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10921] ppid=10917 vsize=26004096 memory=732369797360839653 CPUtime=0 cores=0-7
/proc/10919/task/10921/stat : 10921 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26628194304 9632 33554432000 4194304 4196468 140736140119296 140076554160400 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10922] ppid=10917 vsize=26004096 memory=139659023386240 CPUtime=0 cores=0-7
/proc/10919/task/10922/stat : 10922 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26628194304 9632 33554432000 4194304 4196468 140736140119296 140076553107856 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10923] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10923/stat : 10923 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 9632 33554432000 4194304 4196468 140736140119296 140076552055312 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10924] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10924/stat : 10924 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 9632 33554432000 4194304 4196468 140736140119296 140076551002768 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10925] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10925/stat : 10925 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 9632 33554432000 4194304 4196468 140736140119296 140076549950224 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10926] ppid=10917 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10919/task/10926/stat : 10926 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 9632 33554432000 4194304 4196468 140736140119296 140076548897680 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10927] ppid=10917 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10927/stat : 10927 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26628194304 9632 33554432000 4194304 4196468 140736140119296 140076547845136 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10928] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10928/stat : 10928 (java) S 10917 10917 10482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 9632 33554432000 4194304 4196468 140736140119296 140076546792592 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10929] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10929/stat : 10929 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644097 26628161536 9632 33554432000 4194304 4196468 140736140119296 140075796056048 140076601551490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10930] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10930/stat : 10930 (java) S 10917 10917 10482 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111644098 26628161536 9632 33554432000 4194304 4196468 140736140119296 140075727840160 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10931] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10931/stat : 10931 (java) S 10917 10917 10482 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111644098 26628161536 9632 33554432000 4194304 4196468 140736140119296 140075726787568 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10932] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10932/stat : 10932 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644100 26628161536 9632 33554432000 4194304 4196468 140736140119296 140075725736144 140076601558939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10933] ppid=10917 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10919/task/10933/stat : 10933 (java) S 10917 10917 10482 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 111644100 26628161536 9632 33554432000 4194304 4196468 140736140119296 140075724683760 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10934] ppid=10917 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/10919/task/10934/stat : 10934 (java) S 10917 10917 10482 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 111644100 26628194304 9632 33554432000 4194304 4196468 140736140119296 140075723631216 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10935] ppid=10917 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/10919/task/10935/stat : 10935 (java) S 10917 10917 10482 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 20 0 111644101 26628194304 9632 33554432000 4194304 4196468 140736140119296 140075722578672 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10936] ppid=10917 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/10919/task/10936/stat : 10936 (java) S 10917 10917 10482 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 20 0 111644101 26628161536 9632 33554432000 4194304 4196468 140736140119296 140075721526128 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10937] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10937/stat : 10937 (java) S 10917 10917 10482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111644101 26628161536 9632 33554432000 4194304 4196468 140736140119296 140075720472800 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10938] ppid=10917 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10919/task/10938/stat : 10938 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644101 26628161536 9632 33554432000 4194304 4196468 140736140119296 140075719420336 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 39912 KiB

[startup+0.31071 s]*
/proc/loadavg: 8.01 8.16 8.27 4/201 10938
/proc/meminfo: memFree=28726024/32770624 swapFree=67108860/67108860
[pid=10917] ppid=10914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10917/stat : 10917 (xcsp3-exec) S 10914 10917 10482 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111644095 9740288 346 33554432000 4194304 5098028 140720476934656 140720476932760 139975021105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8425472 140720476943461 140720476943671 140720476943671 140720476946411 0
/proc/10917/statm: 2378 346 289 221 0 87 0
[pid=10919] ppid=10917 vsize=26004064 memory=45940 CPUtime=0.51 cores=0-7
/proc/10919/stat : 10919 (java) S 10917 10917 10482 0 -1 1077944320 9153 0 0 0 48 3 0 0 20 0 20 0 111644095 26628161536 11485 33554432000 4194304 4196468 140736140119296 140736140101840 140076601540343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
/proc/10919/statm: 6501016 11485 3124 1 0 6488269 0
[pid=10919/tid=10920] ppid=10917 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/10919/task/10920/stat : 10920 (java) R 10917 10917 10482 0 -1 4202560 6102 0 0 0 28 2 0 0 20 0 20 0 111644095 26628161536 11485 33554432000 4194304 4196468 140736140119296 140076605778096 140076601562269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10921] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10921/stat : 10921 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 11485 33554432000 4194304 4196468 140736140119296 140076554160400 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10922] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10922/stat : 10922 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 11485 33554432000 4194304 4196468 140736140119296 140076553107856 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10923] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10923/stat : 10923 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 11485 33554432000 4194304 4196468 140736140119296 140076552055312 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10924] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10924/stat : 10924 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 11485 33554432000 4194304 4196468 140736140119296 140076551002768 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10925] ppid=10917 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10919/task/10925/stat : 10925 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 11485 33554432000 4194304 4196468 140736140119296 140076549950224 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10926] ppid=10917 vsize=26004064 memory=139658914788271 CPUtime=0 cores=0-7
/proc/10919/task/10926/stat : 10926 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 11485 33554432000 4194304 4196468 140736140119296 140076548897680 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10927] ppid=10917 vsize=26004064 memory=139658914790576 CPUtime=0 cores=0-7
/proc/10919/task/10927/stat : 10927 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 11485 33554432000 4194304 4196468 140736140119296 140076547845136 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10928] ppid=10917 vsize=26004064 memory=139658914792880 CPUtime=0 cores=0-7
/proc/10919/task/10928/stat : 10928 (java) S 10917 10917 10482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111644096 26628161536 11485 33554432000 4194304 4196468 140736140119296 140076546792592 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10929] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10929/stat : 10929 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644097 26628161536 11485 33554432000 4194304 4196468 140736140119296 140075796056048 140076601551490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10930] ppid=10917 vsize=26004064 memory=279317829592720 CPUtime=0 cores=0-7
/proc/10919/task/10930/stat : 10930 (java) S 10917 10917 10482 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111644098 26628161536 11485 33554432000 4194304 4196468 140736140119296 140075727840160 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10931] ppid=10917 vsize=26004064 memory=279317829599632 CPUtime=0 cores=0-7
/proc/10919/task/10931/stat : 10931 (java) S 10917 10917 10482 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111644098 26628161536 11485 33554432000 4194304 4196468 140736140119296 140075726787568 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10932] ppid=10917 vsize=26004064 memory=279317829540912 CPUtime=0 cores=0-7
/proc/10919/task/10932/stat : 10932 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644100 26628161536 11485 33554432000 4194304 4196468 140736140119296 140075725736144 140076601558939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10933] ppid=10917 vsize=26004064 memory=279317829613456 CPUtime=0.02 cores=0-7
/proc/10919/task/10933/stat : 10933 (java) S 10917 10917 10482 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 111644100 26628161536 11485 33554432000 4194304 4196468 140736140119296 140075724683760 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10934] ppid=10917 vsize=26004064 memory=279317829620368 CPUtime=0.01 cores=0-7
/proc/10919/task/10934/stat : 10934 (java) S 10917 10917 10482 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 20 0 111644100 26628161536 11485 33554432000 4194304 4196468 140736140119296 140075723631216 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10935] ppid=10917 vsize=26004064 memory=279317829618064 CPUtime=0.02 cores=0-7
/proc/10919/task/10935/stat : 10935 (java) S 10917 10917 10482 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 20 0 111644101 26628161536 11485 33554432000 4194304 4196468 140736140119296 140075722578672 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10936] ppid=10917 vsize=26004064 memory=279317829634224 CPUtime=0.13 cores=0-7
/proc/10919/task/10936/stat : 10936 (java) R 10917 10917 10482 0 -1 4202560 828 0 0 0 13 0 0 0 20 0 20 0 111644101 26628161536 11485 33554432000 4194304 4196468 140736140119296 140075721525312 140076581783120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10937] ppid=10917 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10937/stat : 10937 (java) S 10917 10917 10482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111644101 26628161536 11485 33554432000 4194304 4196468 140736140119296 140075720472800 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10938] ppid=10917 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10919/task/10938/stat : 10938 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644101 26628161536 11485 33554432000 4194304 4196468 140736140119296 140075719420336 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47324 KiB

[startup+0.700961 s]
/proc/loadavg: 8.01 8.16 8.27 4/201 10938
/proc/meminfo: memFree=28706856/32770624 swapFree=67108860/67108860
[pid=10917] ppid=10914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10917/stat : 10917 (xcsp3-exec) S 10914 10917 10482 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111644095 9740288 346 33554432000 4194304 5098028 140720476934656 140720476932760 139975021105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8425472 140720476943461 140720476943671 140720476943671 140720476946411 0
/proc/10917/statm: 2378 346 289 221 0 87 0
[pid=10919] ppid=10917 vsize=26006188 memory=100088 CPUtime=1.82 cores=0-7
/proc/10919/stat : 10919 (java) S 10917 10917 10482 0 -1 1077944320 14665 0 0 0 176 6 0 0 20 0 20 0 111644095 26630336512 25022 33554432000 4194304 4196468 140736140119296 140736140101840 140076601540343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
/proc/10919/statm: 6501547 25022 3210 1 0 6488781 0
[pid=10919/tid=10920] ppid=10917 vsize=26006188 memory=279317829929152 CPUtime=0.67 cores=0-7
/proc/10919/task/10920/stat : 10920 (java) R 10917 10917 10482 0 -1 4202560 6771 0 0 0 64 3 0 0 20 0 20 0 111644095 26630336512 25022 33554432000 4194304 4196468 140736140119296 140076605775808 140076214485520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10921] ppid=10917 vsize=26006188 memory=4964982195330 CPUtime=0 cores=0-7
/proc/10919/task/10921/stat : 10921 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26630336512 25022 33554432000 4194304 4196468 140736140119296 140076554160400 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10922] ppid=10917 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10922/stat : 10922 (java) S 10917 10917 10482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111644096 26630336512 25022 33554432000 4194304 4196468 140736140119296 140076553107856 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10923] ppid=10917 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10919/task/10923/stat : 10923 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111644096 26630336512 25022 33554432000 4194304 4196468 140736140119296 140076552055312 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0

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

[pid=10919/tid=10954] ppid=10917 vsize=26538700 memory=1384 CPUtime=2429.64 cores=0-7
/proc/10919/task/10954/stat : 10954 (java) R 10917 10917 10482 0 -1 4202560 7860 0 0 0 242960 4 0 0 20 0 28 0 111644603 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075708251784 140076221410637 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
Current children cumulated CPU time: 19441.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2149588 KiB

[startup+2502.3 s]
/proc/loadavg: 8.08 8.26 8.25 9/208 10987
/proc/meminfo: memFree=26616628/32770624 swapFree=67108860/67108860
[pid=10917] ppid=10914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10917/stat : 10917 (xcsp3-exec) S 10914 10917 10482 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111644095 9740288 346 33554432000 4194304 5098028 140720476934656 140720476932760 139975021105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8425472 140720476943461 140720476943671 140720476943671 140720476946411 0
/proc/10917/statm: 2378 346 289 221 0 87 0
[pid=10919] ppid=10917 vsize=26538700 memory=2148204 CPUtime=19920.5 cores=0-7
/proc/10919/stat : 10919 (java) S 10917 10917 10482 0 -1 1077944320 173825 0 0 0 1991884 164 0 0 20 0 28 0 111644095 27175628800 537051 33554432000 4194304 4196468 140736140119296 140736140101840 140076601540343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
/proc/10919/statm: 6634675 537051 3302 1 0 6621909 0
[pid=10919/tid=10920] ppid=10917 vsize=26538700 memory=1384 CPUtime=0.84 cores=0-7
/proc/10919/task/10920/stat : 10920 (java) S 10917 10917 10482 0 -1 1077944384 7039 0 0 0 80 4 0 0 20 0 28 0 111644095 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076605781120 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10921] ppid=10917 vsize=26538700 memory=6791534058613427641 CPUtime=1.82 cores=0-7
/proc/10919/task/10921/stat : 10921 (java) S 10917 10917 10482 0 -1 1077944384 3903 0 0 0 175 7 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076554160400 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10922] ppid=10917 vsize=26538700 memory=2148204 CPUtime=1.88 cores=0-7
/proc/10919/task/10922/stat : 10922 (java) S 10917 10917 10482 0 -1 1077944384 10925 0 0 0 180 8 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076553107856 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10923] ppid=10917 vsize=26538700 memory=6791534058613427641 CPUtime=1.84 cores=0-7
/proc/10919/task/10923/stat : 10923 (java) S 10917 10917 10482 0 -1 1077944384 4935 0 0 0 179 5 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076552055312 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10924] ppid=10917 vsize=26538700 memory=2148204 CPUtime=1.85 cores=0-7
/proc/10919/task/10924/stat : 10924 (java) S 10917 10917 10482 0 -1 1077944384 3743 0 0 0 178 7 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076551002768 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10925] ppid=10917 vsize=26538700 memory=6791534058613427641 CPUtime=1.83 cores=0-7
/proc/10919/task/10925/stat : 10925 (java) S 10917 10917 10482 0 -1 1077944384 2476 0 0 0 178 5 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076549950224 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10926] ppid=10917 vsize=26538700 memory=3860 CPUtime=1.81 cores=0-7
/proc/10919/task/10926/stat : 10926 (java) S 10917 10917 10482 0 -1 1077944384 3411 0 0 0 175 6 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076548897680 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10927] ppid=10917 vsize=26538700 memory=2148204 CPUtime=1.86 cores=0-7
/proc/10919/task/10927/stat : 10927 (java) S 10917 10917 10482 0 -1 1077944384 3611 0 0 0 178 8 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076547845136 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10928] ppid=10917 vsize=26538700 memory=1384 CPUtime=1.84 cores=0-7
/proc/10919/task/10928/stat : 10928 (java) S 10917 10917 10482 0 -1 1077944384 4180 0 0 0 177 7 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076546792592 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10929] ppid=10917 vsize=26538700 memory=2148204 CPUtime=5.39 cores=0-7
/proc/10919/task/10929/stat : 10929 (java) S 10917 10917 10482 0 -1 1077944384 22919 0 0 0 536 3 0 0 20 0 28 0 111644097 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075796056048 140076601551490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10930] ppid=10917 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/10919/task/10930/stat : 10930 (java) S 10917 10917 10482 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 111644098 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075727840224 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10931] ppid=10917 vsize=26538700 memory=2148204 CPUtime=0 cores=0-7
/proc/10919/task/10931/stat : 10931 (java) S 10917 10917 10482 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 111644098 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075726787584 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10932] ppid=10917 vsize=26538700 memory=32196 CPUtime=0 cores=0-7
/proc/10919/task/10932/stat : 10932 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 111644100 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075725736144 140076601558939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10933] ppid=10917 vsize=26538700 memory=1384 CPUtime=1.74 cores=0-7
/proc/10919/task/10933/stat : 10933 (java) S 10917 10917 10482 0 -1 1077944384 12660 0 0 0 171 3 0 0 20 0 28 0 111644100 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075724683760 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10934] ppid=10917 vsize=26538700 memory=1384 CPUtime=1.74 cores=0-7
/proc/10919/task/10934/stat : 10934 (java) S 10917 10917 10482 0 -1 1077944384 18222 0 0 0 169 5 0 0 20 0 28 0 111644100 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075723631216 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10935] ppid=10917 vsize=26538700 memory=1384 CPUtime=2.01 cores=0-7
/proc/10919/task/10935/stat : 10935 (java) S 10917 10917 10482 0 -1 1077944384 14082 0 0 0 199 2 0 0 20 0 28 0 111644101 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075722578672 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10936] ppid=10917 vsize=26538700 memory=1384 CPUtime=0.69 cores=0-7
/proc/10919/task/10936/stat : 10936 (java) S 10917 10917 10482 0 -1 1077944384 9042 0 0 0 68 1 0 0 20 0 28 0 111644101 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075721526128 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10937] ppid=10917 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/10919/task/10937/stat : 10937 (java) S 10917 10917 10482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 111644101 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075720472800 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10938] ppid=10917 vsize=26538700 memory=2148204 CPUtime=0.42 cores=0-7
/proc/10919/task/10938/stat : 10938 (java) S 10917 10917 10482 0 -1 1077944384 2308 0 0 0 25 17 0 0 20 0 28 0 111644101 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075719420336 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10947] ppid=10917 vsize=26538700 memory=1384 CPUtime=2479.91 cores=0-7
/proc/10919/task/10947/stat : 10947 (java) R 10917 10917 10482 0 -1 4202560 3213 0 0 0 247986 5 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075704040120 140076220282938 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10948] ppid=10917 vsize=26538700 memory=2148204 CPUtime=2473.48 cores=0-7
/proc/10919/task/10948/stat : 10948 (java) R 10917 10917 10482 0 -1 4202560 4620 0 0 0 247320 28 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075705093944 140076220283220 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10949] ppid=10917 vsize=26538700 memory=1384 CPUtime=2489.56 cores=0-7
/proc/10919/task/10949/stat : 10949 (java) R 10917 10917 10482 0 -1 4202560 6911 0 0 0 248954 2 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075711410184 140076220900209 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10950] ppid=10917 vsize=26538700 memory=2148204 CPUtime=2482.86 cores=0-7
/proc/10919/task/10950/stat : 10950 (java) R 10917 10917 10482 0 -1 4202560 5360 0 0 0 248277 9 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075710357392 140076220900660 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10951] ppid=10917 vsize=26538700 memory=2148204 CPUtime=2488.63 cores=0-7
/proc/10919/task/10951/stat : 10951 (java) R 10917 10917 10482 0 -1 4202560 12490 0 0 0 248856 7 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075709307792 140076220900564 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10952] ppid=10917 vsize=26538700 memory=1384 CPUtime=2476.51 cores=0-7
/proc/10919/task/10952/stat : 10952 (java) R 10917 10917 10482 0 -1 4202560 1925 0 0 0 247646 5 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075707199880 140076220282983 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10953] ppid=10917 vsize=26538700 memory=2148204 CPUtime=2489.88 cores=0-7
/proc/10919/task/10953/stat : 10953 (java) R 10917 10917 10482 0 -1 4202560 4075 0 0 0 248972 16 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075706146312 140076220900013 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10954] ppid=10917 vsize=26538700 memory=32196 CPUtime=2489.64 cores=0-7
/proc/10919/task/10954/stat : 10954 (java) R 10917 10917 10482 0 -1 4202560 8040 0 0 0 248960 4 0 0 20 0 28 0 111644603 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075708251784 140076220900745 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
Current children cumulated CPU time: 19920.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2149588 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.06 8.24 8.24 9/208 10987
/proc/meminfo: memFree=26616756/32770624 swapFree=67108860/67108860
[pid=10917] ppid=10914 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10917/stat : 10917 (xcsp3-exec) S 10914 10917 10482 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111644095 9740288 346 33554432000 4194304 5098028 140720476934656 140720476932760 139975021105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8425472 140720476943461 140720476943671 140720476943671 140720476946411 0
/proc/10917/statm: 2378 346 289 221 0 87 0
[pid=10919] ppid=10917 vsize=26538700 memory=2148204 CPUtime=20061.8 cores=0-7
/proc/10919/stat : 10919 (java) S 10917 10917 10482 0 -1 1077944320 173936 0 0 0 2006018 164 0 0 20 0 28 0 111644095 27175628800 537051 33554432000 4194304 4196468 140736140119296 140736140101840 140076601540343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
/proc/10919/statm: 6634675 537051 3302 1 0 6621909 0
[pid=10919/tid=10920] ppid=10917 vsize=26538700 memory=16432 CPUtime=0.84 cores=0-7
/proc/10919/task/10920/stat : 10920 (java) S 10917 10917 10482 0 -1 1077944384 7039 0 0 0 80 4 0 0 20 0 28 0 111644095 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076605781120 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10921] ppid=10917 vsize=26538700 memory=18756 CPUtime=1.82 cores=0-7
/proc/10919/task/10921/stat : 10921 (java) S 10917 10917 10482 0 -1 1077944384 3903 0 0 0 175 7 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076554160400 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10922] ppid=10917 vsize=26538700 memory=-7003737579269690708 CPUtime=1.88 cores=0-7
/proc/10919/task/10922/stat : 10922 (java) S 10917 10917 10482 0 -1 1077944384 10925 0 0 0 180 8 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076553107856 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10923] ppid=10917 vsize=26538700 memory=1692 CPUtime=1.84 cores=0-7
/proc/10919/task/10923/stat : 10923 (java) S 10917 10917 10482 0 -1 1077944384 4935 0 0 0 179 5 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076552055312 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10924] ppid=10917 vsize=26538700 memory=916 CPUtime=1.85 cores=0-7
/proc/10919/task/10924/stat : 10924 (java) S 10917 10917 10482 0 -1 1077944384 3743 0 0 0 178 7 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076551002768 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10925] ppid=10917 vsize=26538700 memory=5596 CPUtime=1.83 cores=0-7
/proc/10919/task/10925/stat : 10925 (java) S 10917 10917 10482 0 -1 1077944384 2476 0 0 0 178 5 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076549950224 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10926] ppid=10917 vsize=26538700 memory=1152 CPUtime=1.81 cores=0-7
/proc/10919/task/10926/stat : 10926 (java) S 10917 10917 10482 0 -1 1077944384 3411 0 0 0 175 6 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076548897680 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10927] ppid=10917 vsize=26538700 memory=3860 CPUtime=1.86 cores=0-7
/proc/10919/task/10927/stat : 10927 (java) S 10917 10917 10482 0 -1 1077944384 3611 0 0 0 178 8 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076547845136 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10928] ppid=10917 vsize=26538700 memory=1384 CPUtime=1.84 cores=0-7
/proc/10919/task/10928/stat : 10928 (java) S 10917 10917 10482 0 -1 1077944384 4180 0 0 0 177 7 0 0 20 0 28 0 111644096 27175628800 537051 33554432000 4194304 4196468 140736140119296 140076546792592 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10929] ppid=10917 vsize=26538700 memory=2148204 CPUtime=5.39 cores=0-7
/proc/10919/task/10929/stat : 10929 (java) S 10917 10917 10482 0 -1 1077944384 22919 0 0 0 536 3 0 0 20 0 28 0 111644097 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075796056048 140076601551490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10930] ppid=10917 vsize=26538700 memory=4100 CPUtime=0 cores=0-7
/proc/10919/task/10930/stat : 10930 (java) S 10917 10917 10482 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 111644098 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075727840224 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10931] ppid=10917 vsize=26538700 memory=1152 CPUtime=0 cores=0-7
/proc/10919/task/10931/stat : 10931 (java) S 10917 10917 10482 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 111644098 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075726787584 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10932] ppid=10917 vsize=26538700 memory=4044 CPUtime=0 cores=0-7
/proc/10919/task/10932/stat : 10932 (java) S 10917 10917 10482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 111644100 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075725736144 140076601558939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10933] ppid=10917 vsize=26538700 memory=1792 CPUtime=1.74 cores=0-7
/proc/10919/task/10933/stat : 10933 (java) S 10917 10917 10482 0 -1 1077944384 12660 0 0 0 171 3 0 0 20 0 28 0 111644100 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075724683760 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10934] ppid=10917 vsize=26538700 memory=636 CPUtime=1.74 cores=0-7
/proc/10919/task/10934/stat : 10934 (java) S 10917 10917 10482 0 -1 1077944384 18222 0 0 0 169 5 0 0 20 0 28 0 111644100 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075723631216 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10935] ppid=10917 vsize=26538700 memory=1236 CPUtime=2.01 cores=0-7
/proc/10919/task/10935/stat : 10935 (java) S 10917 10917 10482 0 -1 1077944384 14082 0 0 0 199 2 0 0 20 0 28 0 111644101 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075722578672 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10936] ppid=10917 vsize=26538700 memory=960 CPUtime=0.69 cores=0-7
/proc/10919/task/10936/stat : 10936 (java) S 10917 10917 10482 0 -1 1077944384 9042 0 0 0 68 1 0 0 20 0 28 0 111644101 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075721526128 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10937] ppid=10917 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/10919/task/10937/stat : 10937 (java) S 10917 10917 10482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 111644101 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075720472800 140076601550549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10938] ppid=10917 vsize=26538700 memory=2424 CPUtime=0.42 cores=0-7
/proc/10919/task/10938/stat : 10938 (java) S 10917 10917 10482 0 -1 1077944384 2308 0 0 0 25 17 0 0 20 0 28 0 111644101 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075719420336 140076601551490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10947] ppid=10917 vsize=26538700 memory=4080 CPUtime=2497.29 cores=0-7
/proc/10919/task/10947/stat : 10947 (java) R 10917 10917 10482 0 -1 4202560 3220 0 0 0 249724 5 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075704040120 140076220900084 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10948] ppid=10917 vsize=26538700 memory=932 CPUtime=2491.19 cores=0-7
/proc/10919/task/10948/stat : 10948 (java) R 10917 10917 10482 0 -1 4202560 4629 0 0 0 249091 28 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075705093944 140076220900651 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10949] ppid=10917 vsize=26538700 memory=1584 CPUtime=2507.27 cores=0-7
/proc/10919/task/10949/stat : 10949 (java) R 10917 10917 10482 0 -1 4202560 6916 0 0 0 250725 2 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075711410184 140076220901007 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10950] ppid=10917 vsize=26538700 memory=2196 CPUtime=2500.57 cores=0-7
/proc/10919/task/10950/stat : 10950 (java) R 10917 10917 10482 0 -1 4202560 5377 0 0 0 250048 9 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075710357392 140076220900585 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10951] ppid=10917 vsize=26538700 memory=6508 CPUtime=2506.33 cores=0-7
/proc/10919/task/10951/stat : 10951 (java) R 10917 10917 10482 0 -1 4202560 12498 0 0 0 250626 7 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075709307792 140076220900773 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10952] ppid=10917 vsize=26538700 memory=840 CPUtime=2494.22 cores=0-7
/proc/10919/task/10952/stat : 10952 (java) R 10917 10917 10482 0 -1 4202560 1929 0 0 0 249417 5 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075707199880 140076220283197 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10953] ppid=10917 vsize=26538700 memory=1692 CPUtime=2507.59 cores=0-7
/proc/10919/task/10953/stat : 10953 (java) R 10917 10917 10482 0 -1 4202560 4087 0 0 0 250743 16 0 0 20 0 28 0 111644602 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075706146312 140076220282898 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
[pid=10919/tid=10954] ppid=10917 vsize=26538700 memory=12064 CPUtime=2507.35 cores=0-7
/proc/10919/task/10954/stat : 10954 (java) R 10917 10917 10482 0 -1 4202560 8089 0 0 0 250731 4 0 0 20 0 28 0 111644603 27175628800 537051 33554432000 4194304 4196468 140736140119296 140075708251784 140076220632340 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7397376 140736140125330 140736140125507 140736140125507 140736140128207 0
Current children cumulated CPU time: 20061.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2149588 KiB

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

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

[startup+2520.12 s]
# the end of solver process 10919 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20061 s, system=1.6573 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): 2520.12
CPU time (s): 20062.6
CPU user time (s): 20061
CPU system time (s): 1.6573
CPU usage (%): 796.098
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2169568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20061
system time used= 1.6573
maximum resident set size= 2168184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174817
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60991
involuntary context switches= 200813


# summary of solver processes directly reported to runsolver:
#   pid: 10917,10919
#   total CPU time (s): 20062.6
#   total CPU user time (s): 20061
#   total CPU system time (s): 1.6573

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2827 second user time and 27.2404 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	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

Trace number 4270467

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data