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-18)	SAT (TO)	93	20067.6	2520.1201

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280277-1503163636.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280277-1503163636.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.24/0.85	c solve instance...
28.22/5.41	o 93 
20066.77/2520.09	s SATISFIABLE
20066.77/2520.09	v <instantiation>
20066.77/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>
20066.77/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>
20066.77/2520.09	v </instantiation>
20066.77/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 (11933 MiB free)
  memory of node 1: 16384 MiB (12148 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280277-1503163636/watcher-4280277-1503163636 -o /tmp/evaluation-result-4280277-1503163636/solver-4280277-1503163636 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503162776-1911 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1675307700 HOME/instance-4280277-1503163636.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=1928, runsolver pid=1925

[startup+0.100161 s]*
/proc/loadavg: 8.22 8.21 8.29 2/201 1949
/proc/meminfo: memFree=24643880/32770624 swapFree=67108860/67108860
[pid=1928] ppid=1925 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1928/stat : 1928 (xcsp3-exec) S 1925 1928 1884 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149444342 9740288 346 33554432000 4194304 5098028 140726262466208 140726262464312 139799700021884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16384000 140726262473828 140726262474039 140726262474039 140726262476779 0
/proc/1928/statm: 2378 346 289 221 0 87 0
[pid=1930] ppid=1928 vsize=25999808 memory=26328 CPUtime=0.11 cores=0-7
/proc/1930/stat : 1930 (java) S 1928 1928 1884 0 -1 1077944320 5475 0 0 0 9 2 0 0 20 0 20 0 149444343 26623803392 6582 33554432000 4194304 4196468 140731941204656 140731941187200 140425817104119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
/proc/1930/statm: 6499952 6582 2846 1 0 6488269 0
[pid=1930/tid=1931] ppid=1928 vsize=25999808 memory=1400242874264906928 CPUtime=0.09 cores=0-7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1928 1884 0 -1 4202560 3491 0 0 0 8 1 0 0 20 0 20 0 149444343 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425821337392 140425817116054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1932] ppid=1928 vsize=25999808 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1930/task/1932/stat : 1932 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425769724816 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1933] ppid=1928 vsize=25999808 memory=140644246500992 CPUtime=0 cores=0-7
/proc/1930/task/1933/stat : 1933 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425373809424 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1934] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1934/stat : 1934 (java) S 1928 1928 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149444344 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425372757136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1935] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1935/stat : 1935 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425371704336 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1936] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1936/stat : 1936 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425370651024 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1937] ppid=1928 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1930/task/1937/stat : 1937 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425369598224 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1938] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1938/stat : 1938 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425368545936 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1939] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1939/stat : 1939 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425367493136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1940] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1940/stat : 1940 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444345 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425011448432 140425817115266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1941] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1941/stat : 1941 (java) S 1928 1928 1884 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149444346 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425010394400 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1942] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1942/stat : 1942 (java) S 1928 1928 1884 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149444346 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425009342064 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1943] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1943/stat : 1943 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444348 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425008290384 140425817122715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1944] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1944/stat : 1944 (java) S 1928 1928 1884 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 149444348 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425007237232 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1945] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1945/stat : 1945 (java) S 1928 1928 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149444348 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425006184432 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1946] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1946/stat : 1946 (java) S 1928 1928 1884 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 149444348 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425005132144 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1947] ppid=1928 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/1930/task/1947/stat : 1947 (java) S 1928 1928 1884 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 149444348 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425004079344 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1948] ppid=1928 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1948/stat : 1948 (java) S 1928 1928 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149444348 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425003027296 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1949] ppid=1928 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1930/task/1949/stat : 1949 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444349 26623803392 6582 33554432000 4194304 4196468 140731941204656 140425001974576 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27712 KiB

[startup+0.210445 s]*
/proc/loadavg: 8.22 8.21 8.29 2/201 1949
/proc/meminfo: memFree=24632964/32770624 swapFree=67108860/67108860
[pid=1928] ppid=1925 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1928/stat : 1928 (xcsp3-exec) S 1925 1928 1884 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149444342 9740288 346 33554432000 4194304 5098028 140726262466208 140726262464312 139799700021884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16384000 140726262473828 140726262474039 140726262474039 140726262476779 0
/proc/1928/statm: 2378 346 289 221 0 87 0
[pid=1930] ppid=1928 vsize=26004064 memory=38828 CPUtime=0.33 cores=0-7
/proc/1930/stat : 1930 (java) S 1928 1928 1884 0 -1 1077944320 8312 0 0 0 30 3 0 0 20 0 20 0 149444343 26628161536 9707 33554432000 4194304 4196468 140731941204656 140731941187200 140425817104119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
/proc/1930/statm: 6501016 9707 3063 1 0 6488269 0
[pid=1930/tid=1931] ppid=1928 vsize=26004096 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1928 1884 0 -1 4202560 5406 0 0 0 17 2 0 0 20 0 20 0 149444343 26628194304 9728 33554432000 4194304 4196468 140731941204656 140425821314928 140425809783837 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1932] ppid=1928 vsize=26004096 memory=340 CPUtime=0 cores=0-7
/proc/1930/task/1932/stat : 1932 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26628194304 9728 33554432000 4194304 4196468 140731941204656 140425769724816 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1933] ppid=1928 vsize=26004096 memory=140644246513493 CPUtime=0 cores=0-7
/proc/1930/task/1933/stat : 1933 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26628194304 9728 33554432000 4194304 4196468 140731941204656 140425373809424 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1934] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1934/stat : 1934 (java) S 1928 1928 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425372757136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1935] ppid=1928 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1930/task/1935/stat : 1935 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425371704336 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1936] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1936/stat : 1936 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425370651024 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1937] ppid=1928 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1930/task/1937/stat : 1937 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425369598224 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1938] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1938/stat : 1938 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425368545936 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1939] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1939/stat : 1939 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425367493136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1940] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1940/stat : 1940 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444345 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425011448432 140425817115266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1941] ppid=1928 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1941/stat : 1941 (java) S 1928 1928 1884 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149444346 26628194304 9728 33554432000 4194304 4196468 140731941204656 140425010394400 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1942] ppid=1928 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1942/stat : 1942 (java) S 1928 1928 1884 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149444346 26628194304 9728 33554432000 4194304 4196468 140731941204656 140425009342064 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1943] ppid=1928 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1943/stat : 1943 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444348 26628194304 9728 33554432000 4194304 4196468 140731941204656 140425008290384 140425817122715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1944] ppid=1928 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1930/task/1944/stat : 1944 (java) S 1928 1928 1884 0 -1 1077944384 568 0 0 0 1 0 0 0 20 0 20 0 149444348 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425007237232 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1945] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1945/stat : 1945 (java) S 1928 1928 1884 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 149444348 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425006184432 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1946] ppid=1928 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/1930/task/1946/stat : 1946 (java) S 1928 1928 1884 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 149444348 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425005132144 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1947] ppid=1928 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/1930/task/1947/stat : 1947 (java) S 1928 1928 1884 0 -1 1077944384 755 0 0 0 7 0 0 0 20 0 20 0 149444348 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425004079344 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1948] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1948/stat : 1948 (java) S 1928 1928 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149444348 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425003027296 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1949] ppid=1928 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1930/task/1949/stat : 1949 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444349 26628161536 9728 33554432000 4194304 4196468 140731941204656 140425001974576 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40212 KiB

[startup+0.310233 s]*
/proc/loadavg: 8.22 8.21 8.29 3/201 1949
/proc/meminfo: memFree=24628376/32770624 swapFree=67108860/67108860
[pid=1928] ppid=1925 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1928/stat : 1928 (xcsp3-exec) S 1925 1928 1884 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149444342 9740288 346 33554432000 4194304 5098028 140726262466208 140726262464312 139799700021884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16384000 140726262473828 140726262474039 140726262474039 140726262476779 0
/proc/1928/statm: 2378 346 289 221 0 87 0
[pid=1930] ppid=1928 vsize=26004064 memory=44012 CPUtime=0.5 cores=0-7
/proc/1930/stat : 1930 (java) S 1928 1928 1884 0 -1 1077944320 9170 0 0 0 46 4 0 0 20 0 20 0 149444343 26628161536 11003 33554432000 4194304 4196468 140731941204656 140731941187200 140425817104119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
/proc/1930/statm: 6501016 11003 3092 1 0 6488269 0
[pid=1930/tid=1931] ppid=1928 vsize=26004064 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1928 1884 0 -1 4202560 6072 0 0 0 27 2 0 0 20 0 20 0 149444343 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425821342816 140425817116054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1932] ppid=1928 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1930/task/1932/stat : 1932 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425769724816 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1933] ppid=1928 vsize=26004064 memory=8596 CPUtime=0 cores=0-7
/proc/1930/task/1933/stat : 1933 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425373809424 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1934] ppid=1928 vsize=26004064 memory=15876 CPUtime=0 cores=0-7
/proc/1930/task/1934/stat : 1934 (java) S 1928 1928 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425372757136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1935] ppid=1928 vsize=26004064 memory=4052 CPUtime=0 cores=0-7
/proc/1930/task/1935/stat : 1935 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425371704336 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1936] ppid=1928 vsize=26004064 memory=24096 CPUtime=0 cores=0-7
/proc/1930/task/1936/stat : 1936 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425370651024 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1937] ppid=1928 vsize=26004064 memory=18472 CPUtime=0 cores=0-7
/proc/1930/task/1937/stat : 1937 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425369598224 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1938] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1938/stat : 1938 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425368545936 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1939] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1939/stat : 1939 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425367493136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1940] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1940/stat : 1940 (java) S 1928 1928 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149444345 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425011448432 140425817115266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1941] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1941/stat : 1941 (java) S 1928 1928 1884 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149444346 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425010394400 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1942] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1942/stat : 1942 (java) S 1928 1928 1884 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149444346 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425009342064 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1943] ppid=1928 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/1930/task/1943/stat : 1943 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444348 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425008290384 140425817122715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1944] ppid=1928 vsize=26004064 memory=2244 CPUtime=0.02 cores=0-7
/proc/1930/task/1944/stat : 1944 (java) R 1928 1928 1884 0 -1 4202560 582 0 0 0 2 0 0 0 20 0 20 0 149444348 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425007237232 140425795208353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1945] ppid=1928 vsize=26004064 memory=2244 CPUtime=0.01 cores=0-7
/proc/1930/task/1945/stat : 1945 (java) S 1928 1928 1884 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 149444348 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425006184432 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1946] ppid=1928 vsize=26004064 memory=2244 CPUtime=0.02 cores=0-7
/proc/1930/task/1946/stat : 1946 (java) S 1928 1928 1884 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 20 0 149444348 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425005132144 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1947] ppid=1928 vsize=26004064 memory=2244 CPUtime=0.12 cores=0-7
/proc/1930/task/1947/stat : 1947 (java) R 1928 1928 1884 0 -1 4202560 871 0 0 0 12 0 0 0 20 0 20 0 149444348 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425004076280 140425796818916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1948] ppid=1928 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1948/stat : 1948 (java) S 1928 1928 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149444348 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425003027296 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1949] ppid=1928 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1930/task/1949/stat : 1949 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444349 26628161536 11515 33554432000 4194304 4196468 140731941204656 140425001974576 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45396 KiB

[startup+0.701016 s]
/proc/loadavg: 7.80 8.12 8.26 4/201 1949
/proc/meminfo: memFree=24609820/32770624 swapFree=67108860/67108860
[pid=1928] ppid=1925 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1928/stat : 1928 (xcsp3-exec) S 1925 1928 1884 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149444342 9740288 346 33554432000 4194304 5098028 140726262466208 140726262464312 139799700021884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16384000 140726262473828 140726262474039 140726262474039 140726262476779 0
/proc/1928/statm: 2378 346 289 221 0 87 0
[pid=1930] ppid=1928 vsize=26006188 memory=99564 CPUtime=1.83 cores=0-7
/proc/1930/stat : 1930 (java) S 1928 1928 1884 0 -1 1077944320 14544 0 0 0 176 7 0 0 20 0 20 0 149444343 26630336512 24891 33554432000 4194304 4196468 140731941204656 140731941187200 140425817104119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
/proc/1930/statm: 6501547 24891 3211 1 0 6488781 0
[pid=1930/tid=1931] ppid=1928 vsize=26006188 memory=0 CPUtime=0.67 cores=0-7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1928 1884 0 -1 4202560 6744 0 0 0 64 3 0 0 20 0 20 0 149444343 26630336512 24891 33554432000 4194304 4196468 140731941204656 140425821342000 140425451807367 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1932] ppid=1928 vsize=26006188 memory=140644140229488 CPUtime=0 cores=0-7
/proc/1930/task/1932/stat : 1932 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26630336512 24891 33554432000 4194304 4196468 140731941204656 140425769724816 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1933] ppid=1928 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1930/task/1933/stat : 1933 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149444344 26630336512 24891 33554432000 4194304 4196468 140731941204656 140425373809424 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1934] ppid=1928 vsize=26006188 memory=7667493128842138735 CPUtime=0 cores=0-7
/proc/1930/task/1934/stat : 1934 (java) S 1928 1928 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149444344 26630336512 24891 33554432000 4194304 4196468 140731941204656 140425372757136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0

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

[pid=1930/tid=1965] ppid=1928 vsize=26538700 memory=4144 CPUtime=2420.49 cores=0-7
/proc/1930/task/1965/stat : 1965 (java) R 1928 1928 1884 0 -1 4202560 5807 0 0 0 242026 23 0 0 20 0 28 0 149444884 27175628800 607919 33554432000 4194304 4196468 140731941204656 140424989753400 140425454763030 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
Current children cumulated CPU time: 19446.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2433060 KiB

[startup+2502.3 s]
/proc/loadavg: 8.03 8.17 8.25 9/208 1998
/proc/meminfo: memFree=22238028/32770624 swapFree=67108860/67108860
[pid=1928] ppid=1925 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1928/stat : 1928 (xcsp3-exec) S 1925 1928 1884 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149444342 9740288 346 33554432000 4194304 5098028 140726262466208 140726262464312 139799700021884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16384000 140726262473828 140726262474039 140726262474039 140726262476779 0
/proc/1928/statm: 2378 346 289 221 0 87 0
[pid=1930] ppid=1928 vsize=26538700 memory=2431676 CPUtime=19925.5 cores=0-7
/proc/1930/stat : 1930 (java) S 1928 1928 1884 0 -1 1077944320 214036 0 0 0 1992300 248 0 0 20 0 28 0 149444343 27175628800 607919 33554432000 4194304 4196468 140731941204656 140731941187200 140425817104119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
/proc/1930/statm: 6634675 607919 3302 1 0 6621909 0
[pid=1930/tid=1931] ppid=1928 vsize=26538700 memory=2431676 CPUtime=0.84 cores=0-7
/proc/1930/task/1931/stat : 1931 (java) S 1928 1928 1884 0 -1 1077944384 6968 0 0 0 80 4 0 0 20 0 28 0 149444343 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425821344896 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1932] ppid=1928 vsize=26538700 memory=55 CPUtime=2.85 cores=0-7
/proc/1930/task/1932/stat : 1932 (java) S 1928 1928 1884 0 -1 1077944384 6648 0 0 0 272 13 0 0 20 0 28 0 149444344 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425769724816 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1933] ppid=1928 vsize=26538700 memory=2431676 CPUtime=2.84 cores=0-7
/proc/1930/task/1933/stat : 1933 (java) S 1928 1928 1884 0 -1 1077944384 5856 0 0 0 277 7 0 0 20 0 28 0 149444344 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425373809424 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1934] ppid=1928 vsize=26538700 memory=2431676 CPUtime=2.82 cores=0-7
/proc/1930/task/1934/stat : 1934 (java) S 1928 1928 1884 0 -1 1077944384 7135 0 0 0 267 15 0 0 20 0 28 0 149444344 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425372757136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1935] ppid=1928 vsize=26538700 memory=1424 CPUtime=2.84 cores=0-7
/proc/1930/task/1935/stat : 1935 (java) S 1928 1928 1884 0 -1 1077944384 5827 0 0 0 275 9 0 0 20 0 28 0 149444344 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425371704336 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1936] ppid=1928 vsize=26538700 memory=8596 CPUtime=2.83 cores=0-7
/proc/1930/task/1936/stat : 1936 (java) S 1928 1928 1884 0 -1 1077944384 7819 0 0 0 274 9 0 0 20 0 28 0 149444344 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425370651024 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1937] ppid=1928 vsize=26538700 memory=244011 CPUtime=2.86 cores=0-7
/proc/1930/task/1937/stat : 1937 (java) S 1928 1928 1884 0 -1 1077944384 8919 0 0 0 279 7 0 0 20 0 28 0 149444344 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425369598224 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1938] ppid=1928 vsize=26538700 memory=244424 CPUtime=2.78 cores=0-7
/proc/1930/task/1938/stat : 1938 (java) S 1928 1928 1884 0 -1 1077944384 8001 0 0 0 268 10 0 0 20 0 28 0 149444344 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425368545936 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1939] ppid=1928 vsize=26538700 memory=1796 CPUtime=2.84 cores=0-7
/proc/1930/task/1939/stat : 1939 (java) S 1928 1928 1884 0 -1 1077944384 8542 0 0 0 271 13 0 0 20 0 28 0 149444344 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425367493136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1940] ppid=1928 vsize=26538700 memory=960 CPUtime=4.21 cores=0-7
/proc/1930/task/1940/stat : 1940 (java) S 1928 1928 1884 0 -1 1077944384 22408 0 0 0 417 4 0 0 20 0 28 0 149444345 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425011448432 140425817115266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1941] ppid=1928 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/1930/task/1941/stat : 1941 (java) S 1928 1928 1884 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 149444346 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425010394464 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1942] ppid=1928 vsize=26538700 memory=4144 CPUtime=0 cores=0-7
/proc/1930/task/1942/stat : 1942 (java) S 1928 1928 1884 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 149444346 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425009342080 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1943] ppid=1928 vsize=26538700 memory=52961580 CPUtime=0 cores=0-7
/proc/1930/task/1943/stat : 1943 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149444348 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425008290384 140425817122715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1944] ppid=1928 vsize=26538700 memory=0 CPUtime=1.68 cores=0-7
/proc/1930/task/1944/stat : 1944 (java) S 1928 1928 1884 0 -1 1077944384 13088 0 0 0 165 3 0 0 20 0 28 0 149444348 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425007237232 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1945] ppid=1928 vsize=26538700 memory=1424 CPUtime=1.66 cores=0-7
/proc/1930/task/1945/stat : 1945 (java) S 1928 1928 1884 0 -1 1077944384 12639 0 0 0 164 2 0 0 20 0 28 0 149444348 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425006184432 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1946] ppid=1928 vsize=26538700 memory=8596 CPUtime=2.18 cores=0-7
/proc/1930/task/1946/stat : 1946 (java) S 1928 1928 1884 0 -1 1077944384 14855 0 0 0 214 4 0 0 20 0 28 0 149444348 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425005132144 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1947] ppid=1928 vsize=26538700 memory=281288280287872 CPUtime=0.7 cores=0-7
/proc/1930/task/1947/stat : 1947 (java) S 1928 1928 1884 0 -1 1077944384 11697 0 0 0 68 2 0 0 20 0 28 0 149444348 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425004079344 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1948] ppid=1928 vsize=26538700 memory=-6873162000112450758 CPUtime=0 cores=0-7
/proc/1930/task/1948/stat : 1948 (java) S 1928 1928 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149444348 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425003027296 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1949] ppid=1928 vsize=26538700 memory=1384 CPUtime=0.47 cores=0-7
/proc/1930/task/1949/stat : 1949 (java) S 1928 1928 1884 0 -1 1077944384 2740 0 0 0 33 14 0 0 20 0 28 0 149444349 27175628800 607919 33554432000 4194304 4196468 140731941204656 140425001974576 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1958] ppid=1928 vsize=26538700 memory=1384 CPUtime=2485.11 cores=0-7
/proc/1930/task/1958/stat : 1958 (java) R 1928 1928 1884 0 -1 4202560 3951 0 0 0 248506 5 0 0 20 0 28 0 149444884 27175628800 607919 33554432000 4194304 4196468 140731941204656 140424986594632 140425454762798 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1959] ppid=1928 vsize=26538700 memory=2431676 CPUtime=2489.24 cores=0-7
/proc/1930/task/1959/stat : 1959 (java) R 1928 1928 1884 0 -1 4202560 4812 0 0 0 248910 14 0 0 20 0 28 0 149444884 27175628800 607919 33554432000 4194304 4196468 140731941204656 140424987648312 140425456352864 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1960] ppid=1928 vsize=26538700 memory=1384 CPUtime=2487.28 cores=0-7
/proc/1930/task/1960/stat : 1960 (java) R 1928 1928 1884 0 -1 4202560 8033 0 0 0 248724 4 0 0 20 0 28 0 149444884 27175628800 607919 33554432000 4194304 4196468 140731941204656 140424990805656 140425456719942 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1961] ppid=1928 vsize=26538700 memory=1384 CPUtime=2482.87 cores=0-7
/proc/1930/task/1961/stat : 1961 (java) R 1928 1928 1884 0 -1 4202560 21983 0 0 0 248243 44 0 0 20 0 28 0 149444884 27175628800 607919 33554432000 4194304 4196468 140731941204656 140424993966528 140425456352419 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1962] ppid=1928 vsize=26538700 memory=2431676 CPUtime=2476.85 cores=0-7
/proc/1930/task/1962/stat : 1962 (java) R 1928 1928 1884 0 -1 4202560 12312 0 0 0 247663 22 0 0 20 0 28 0 149444884 27175628800 607919 33554432000 4194304 4196468 140731941204656 140424992911120 140425456352991 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1963] ppid=1928 vsize=26538700 memory=1384 CPUtime=2484.44 cores=0-7
/proc/1930/task/1963/stat : 1963 (java) R 1928 1928 1884 0 -1 4202560 2544 0 0 0 248439 5 0 0 20 0 28 0 149444884 27175628800 607919 33554432000 4194304 4196468 140731941204656 140424988700472 140425456352864 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1964] ppid=1928 vsize=26538700 memory=2431676 CPUtime=2482.06 cores=0-7
/proc/1930/task/1964/stat : 1964 (java) R 1928 1928 1884 0 -1 4202560 8100 0 0 0 248191 15 0 0 20 0 28 0 149444884 27175628800 607919 33554432000 4194304 4196468 140731941204656 140424991858952 140425455845913 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1965] ppid=1928 vsize=26538700 memory=1384 CPUtime=2480.49 cores=0-7
/proc/1930/task/1965/stat : 1965 (java) R 1928 1928 1884 0 -1 4202560 5851 0 0 0 248026 23 0 0 20 0 28 0 149444884 27175628800 607919 33554432000 4194304 4196468 140731941204656 140424989753400 140425456352724 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
Current children cumulated CPU time: 19925.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2433060 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.17 8.20 8.25 9/208 1998
/proc/meminfo: memFree=22255644/32770624 swapFree=67108860/67108860
[pid=1928] ppid=1925 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1928/stat : 1928 (xcsp3-exec) S 1925 1928 1884 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149444342 9740288 346 33554432000 4194304 5098028 140726262466208 140726262464312 139799700021884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16384000 140726262473828 140726262474039 140726262474039 140726262476779 0
/proc/1928/statm: 2378 346 289 221 0 87 0
[pid=1930] ppid=1928 vsize=26538700 memory=2413208 CPUtime=20066.8 cores=0-7
/proc/1930/stat : 1930 (java) S 1928 1928 1884 0 -1 1077944320 215915 0 0 0 2006428 249 0 0 20 0 28 0 149444343 27175628800 603302 33554432000 4194304 4196468 140731941204656 140731941187200 140425817104119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
/proc/1930/statm: 6634675 603302 3302 1 0 6621909 0
[pid=1930/tid=1931] ppid=1928 vsize=26538700 memory=1399051139730258233 CPUtime=0.84 cores=0-7
/proc/1930/task/1931/stat : 1931 (java) S 1928 1928 1884 0 -1 1077944384 6968 0 0 0 80 4 0 0 20 0 28 0 149444343 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425821344896 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1932] ppid=1928 vsize=26538700 memory=4126316290023845779 CPUtime=2.91 cores=0-7
/proc/1930/task/1932/stat : 1932 (java) S 1928 1928 1884 0 -1 1077944384 6666 0 0 0 278 13 0 0 20 0 28 0 149444344 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425769724816 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1933] ppid=1928 vsize=26538700 memory=792 CPUtime=2.91 cores=0-7
/proc/1930/task/1933/stat : 1933 (java) S 1928 1928 1884 0 -1 1077944384 6503 0 0 0 284 7 0 0 20 0 28 0 149444344 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425373809424 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1934] ppid=1928 vsize=26538700 memory=10096 CPUtime=2.89 cores=0-7
/proc/1930/task/1934/stat : 1934 (java) S 1928 1928 1884 0 -1 1077944384 7487 0 0 0 274 15 0 0 20 0 28 0 149444344 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425372757136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1935] ppid=1928 vsize=26538700 memory=1224 CPUtime=2.91 cores=0-7
/proc/1930/task/1935/stat : 1935 (java) S 1928 1928 1884 0 -1 1077944384 5839 0 0 0 282 9 0 0 20 0 28 0 149444344 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425371704336 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1936] ppid=1928 vsize=26538700 memory=5784 CPUtime=2.89 cores=0-7
/proc/1930/task/1936/stat : 1936 (java) S 1928 1928 1884 0 -1 1077944384 7849 0 0 0 280 9 0 0 20 0 28 0 149444344 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425370651024 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1937] ppid=1928 vsize=26538700 memory=1720 CPUtime=2.92 cores=0-7
/proc/1930/task/1937/stat : 1937 (java) S 1928 1928 1884 0 -1 1077944384 8969 0 0 0 285 7 0 0 20 0 28 0 149444344 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425369598224 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1938] ppid=1928 vsize=26538700 memory=4612 CPUtime=2.85 cores=0-7
/proc/1930/task/1938/stat : 1938 (java) S 1928 1928 1884 0 -1 1077944384 8176 0 0 0 274 11 0 0 20 0 28 0 149444344 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425368545936 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1939] ppid=1928 vsize=26538700 memory=1008 CPUtime=2.91 cores=0-7
/proc/1930/task/1939/stat : 1939 (java) S 1928 1928 1884 0 -1 1077944384 8551 0 0 0 278 13 0 0 20 0 28 0 149444344 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425367493136 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1940] ppid=1928 vsize=26538700 memory=1944 CPUtime=4.21 cores=0-7
/proc/1930/task/1940/stat : 1940 (java) S 1928 1928 1884 0 -1 1077944384 22602 0 0 0 417 4 0 0 20 0 28 0 149444345 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425011448432 140425817115266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1941] ppid=1928 vsize=26538700 memory=1008 CPUtime=0 cores=0-7
/proc/1930/task/1941/stat : 1941 (java) S 1928 1928 1884 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 149444346 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425010394464 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1942] ppid=1928 vsize=26538700 memory=1944 CPUtime=0 cores=0-7
/proc/1930/task/1942/stat : 1942 (java) S 1928 1928 1884 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 149444346 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425009342080 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1943] ppid=1928 vsize=26538700 memory=10096 CPUtime=0 cores=0-7
/proc/1930/task/1943/stat : 1943 (java) S 1928 1928 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149444348 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425008290384 140425817122715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1944] ppid=1928 vsize=26538700 memory=1224 CPUtime=1.68 cores=0-7
/proc/1930/task/1944/stat : 1944 (java) S 1928 1928 1884 0 -1 1077944384 13088 0 0 0 165 3 0 0 20 0 28 0 149444348 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425007237232 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1945] ppid=1928 vsize=26538700 memory=5784 CPUtime=1.66 cores=0-7
/proc/1930/task/1945/stat : 1945 (java) S 1928 1928 1884 0 -1 1077944384 12639 0 0 0 164 2 0 0 20 0 28 0 149444348 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425006184432 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1946] ppid=1928 vsize=26538700 memory=1720 CPUtime=2.18 cores=0-7
/proc/1930/task/1946/stat : 1946 (java) S 1928 1928 1884 0 -1 1077944384 14855 0 0 0 214 4 0 0 20 0 28 0 149444348 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425005132144 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1947] ppid=1928 vsize=26538700 memory=4612 CPUtime=0.7 cores=0-7
/proc/1930/task/1947/stat : 1947 (java) S 1928 1928 1884 0 -1 1077944384 11697 0 0 0 68 2 0 0 20 0 28 0 149444348 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425004079344 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1948] ppid=1928 vsize=26538700 memory=1008 CPUtime=0 cores=0-7
/proc/1930/task/1948/stat : 1948 (java) S 1928 1928 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149444348 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425003027296 140425817114325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1949] ppid=1928 vsize=26538700 memory=1944 CPUtime=0.47 cores=0-7
/proc/1930/task/1949/stat : 1949 (java) S 1928 1928 1884 0 -1 1077944384 2740 0 0 0 33 14 0 0 20 0 28 0 149444349 27175628800 603302 33554432000 4194304 4196468 140731941204656 140425001974576 140425817115266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1958] ppid=1928 vsize=26538700 memory=1200 CPUtime=2502.75 cores=0-7
/proc/1930/task/1958/stat : 1958 (java) R 1928 1928 1884 0 -1 4202560 3953 0 0 0 250270 5 0 0 20 0 28 0 149444884 27175628800 603302 33554432000 4194304 4196468 140731941204656 140424986594632 140425454762779 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1959] ppid=1928 vsize=26538700 memory=1424 CPUtime=2506.88 cores=0-7
/proc/1930/task/1959/stat : 1959 (java) R 1928 1928 1884 0 -1 4202560 4825 0 0 0 250674 14 0 0 20 0 28 0 149444884 27175628800 603302 33554432000 4194304 4196468 140731941204656 140424987648312 140425456352419 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1960] ppid=1928 vsize=26538700 memory=8596 CPUtime=2504.92 cores=0-7
/proc/1930/task/1960/stat : 1960 (java) R 1928 1928 1884 0 -1 4202560 8045 0 0 0 250488 4 0 0 20 0 28 0 149444884 27175628800 603302 33554432000 4194304 4196468 140731941204656 140424990805768 140425454762758 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1961] ppid=1928 vsize=26538700 memory=15876 CPUtime=2500.16 cores=0-7
/proc/1930/task/1961/stat : 1961 (java) R 1928 1928 1884 0 -1 4202560 22103 0 0 0 249971 45 0 0 20 0 28 0 149444884 27175628800 603302 33554432000 4194304 4196468 140731941204656 140424993963408 140425454763259 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1962] ppid=1928 vsize=26538700 memory=1384 CPUtime=2494.5 cores=0-7
/proc/1930/task/1962/stat : 1962 (java) R 1928 1928 1884 0 -1 4202560 12318 0 0 0 249428 22 0 0 20 0 28 0 149444884 27175628800 603302 33554432000 4194304 4196468 140731941204656 140424992911368 140425456352864 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1963] ppid=1928 vsize=26538700 memory=8112282956445269571 CPUtime=2502.09 cores=0-7
/proc/1930/task/1963/stat : 1963 (java) R 1928 1928 1884 0 -1 4202560 2547 0 0 0 250204 5 0 0 20 0 28 0 149444884 27175628800 603302 33554432000 4194304 4196468 140731941204656 140424988700472 140425454762758 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1964] ppid=1928 vsize=26538700 memory=1796 CPUtime=2499.71 cores=0-7
/proc/1930/task/1964/stat : 1964 (java) R 1928 1928 1884 0 -1 4202560 8324 0 0 0 249956 15 0 0 20 0 28 0 149444884 27175628800 603302 33554432000 4194304 4196468 140731941204656 140424991861440 140425454762758 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
[pid=1930/tid=1965] ppid=1928 vsize=26538700 memory=960 CPUtime=2498.13 cores=0-7
/proc/1930/task/1965/stat : 1965 (java) R 1928 1928 1884 0 -1 4202560 5863 0 0 0 249790 23 0 0 20 0 28 0 149444884 27175628800 603302 33554432000 4194304 4196468 140731941204656 140424989753480 140425454762758 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 31182848 140731941209234 140731941209411 140731941209411 140731941212111 0
Current children cumulated CPU time: 20066.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2414592 KiB

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

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20065.1
system time used= 2.51302
maximum resident set size= 2535848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62090
involuntary context switches= 202699


# summary of solver processes directly reported to runsolver:
#   pid: 1928,1930
#   total CPU time (s): 20067.6
#   total CPU user time (s): 20065.1
#   total CPU system time (s): 2.51302

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data