2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.12.2	SAT	24.6223	9.71073

0.73/0.55	c Concrete v3.12.2.1568631193530 running
24.40/9.68	v <instantiation
24.40/9.68	v         >
24.40/9.68	v       <list>
24.40/9.68	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] g[0] g[1] g[2]
24.40/9.68	v       </list>
24.40/9.68	v       <values>
24.40/9.68	v         0 1 5 15 47 141 182 60 181 59 179 53 159 236 224 188 79 239 231 207 135 162 2 6 18 56 168 19 57 171 29 88 23 69 208 138 172 30 90 27 82 3 9 28 84 11 33 101 61 184 66 198 110 87 20 62 187 76 228 199 113 97 50 150 209 143 186 73 221 177 46 140 178 48 145 194 96 45 136 166 14 44 134 161 242 240 235 219 173 34 103 68 206 133 157 230 204 128 142 183 65 195 100 58 176 43 129 146 196 102 64 193 93 37 112 94 39 117 109 85 13 41 123 127 139 175 40 122 125 132 154 220 174 38 116 107 80 241 238 229 203 124 130 149 205 131 151 211 148 202 121 120 118 111 92 35 106 75 225 190 86 17 52 158 232 212 152 213 155 222 180 55 165 10 31 95 42 126 137 169 22 67 201 119 114 99 54 164 8 26 78 234 216 163 4 12 36 108 83 7 21 63 191 89 24 72 218 170 25 77 233 215 160 237 227 197 105 74 223 185 71 214 156 226 192 91 32 98 51 153 217 167 16 49 147 200 115 104 70 210 144 189 81 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 1 2 0 2 1 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 1 0 2 0 1 2 2 0 1 2 2 0 1 2 2 2 1 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 1 2 2 2 1 2 2 2 1 2 0 2 1 2 0 0 1 2 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 2 2 0 0 2 0 0 0 2 0 1 0 2 0 1 0 2 0 1 0 0 0 1 0 0 2 1 0 0 2 1 0 0 2 1 2 0 2 1 2 0 2 1 2 0 1 1 2 0 1 0 2 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 2 0 1 0 2 0 1 0 2 0 2 0 2 0 2 1 2 0 2 1 1 0 2 1 1 0 2 1 1 0 0 1 1 0 0 2 1 0 0 2 0 0 0 2 0 2 0 2 0 2 2 2 0 2 2 1 0 2 2 1 1 2 2 1 1 0 2 1 1 0 1 1 1 0 1 2 1 0 1 2 1 0 1 2 1 2 1 2 1 2 0 2 1 2 0 2 1 2 0 2 2 2 0 2 2 0 0 2 2 0 1 2 2 0 1 2 2 0 1 2 0 0 1 2 0 1 1 2 0 1 2 2 0 1 2 1 0 1 2 1 0 1 2 1 0 1 2 1 0 1 2 1 0 1 2 0 0 1 2 0 0 1 2 0 0 1 2 0 0 1 1 0 0 1 1 2 0 1 1 2 2 1 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 0 1 2 2 0 1 0 2 0 1 0 2 0 1 0 2 1 1 0 2 1 1 0 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 0 1 1 2 0 2 1 2 0 2 1 2 0 2 1 0 0 2 1 0 2 2 1 0 2 0 1 0 2 0 1 0 2 0 1 1 2 0 1 1 2 0 1 1 2 1 1 1 2 1 0 1 2 1 0 2 2 1 0 2 1 1 0 2 1 0 0 2 1 0 1 2 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 2 1 1 1 2 0 1 1 2 0 1 1 2 0 1 1 2 0 1 1 1 0 1 1 1 1 1 1 1 1 2 1 1 1 2 2 1 1 2 2 0 1 2 2 0 1 2 2 0 1 1 2 0 1 1 0 0 1 1 0 2 1 1 0 2 2 1 0 2 2 2 0 2 2 2 2 2 2 2 2 1 2 2 2 1 1 2 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 2 2 1 1 2 1 1 1 2 1 2 1 2 1 2 1 2 1 2 1 1 1 2 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 2 0 1 0 2 2 1 0 2 2 1 0 2 2 1 0 2 2 1 0 0 2 1 0 0 1 1 0 0 1 2 0 0 1 2 2 0 1 2 2 1 1 2 2 1 2 2 2 1 2 1 2 1 2 1 2 1 2 1 2 2 2 1 2 2 0 1 2 2 0 2 2 2 0 2 0 2 0 2 0 0 0 2 0 0 1 2 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 2 0 1 1 2 0 1 1 2 0 0 1 2 0 0 2 2 0 0 2 1 0 0 2 1 1 0 2 1 1 1 2 1 1 1 0 1 1 1 0 2 1 1 0 2 0 1 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 2 0 0 2 2 2 0 2 2 2 0 2 2 2 0 0 2 2 0 0 0 2 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 2 0 0 0 2 1 0 0 2 1 0 0 2 1 0 0 2 1 0 0 2 1 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 1 0 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 0 2 2 1 0 2 2 1 0 2 2 1 0 2 2 0 0 2 2 0 2 2 2 0 2 1 2 0 2 1 2 0 2 1 2 2 2 1 2 2 1 1 2 2 1 0 2 2 1 0 1 2 1 0 1 0 1 0 1 0 1 0 1 0 1 2 1 0 1 2 2 0 1 2 2 0 1 2 2 0 0 2 2 0 0 1 2 0 0 1 2 0 0 1 2 1 0 1 2 1 1 1 2 1 1 0 2 1 1 0 2 1 1 0 2 1 1 0 2 1 2 0 2 1 2 1 2 1 2 1 0 1 2 1 0 0 2 1 0 0 0 1 0 0 0 0 81 81 81
24.40/9.68	v       </values>
24.40/9.68	v     </instantiation>
24.40/9.68	s SATISFIABLE

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 (13714 MiB free)
  memory of node 1: 16384 MiB (15407 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400754-1568678798/watcher-4400754-1568678798 -o /tmp/evaluation-result-4400754-1568678798/solver-4400754-1568678798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568673289-31265 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1790479423 HOME/instance-4400754-1568678798.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=928, runsolver pid=925
Current StackSize limit: 8192 KiB


[startup+0.100119 s]*
/proc/loadavg: 1.50 1.52 1.46 3/221 986
/proc/meminfo: memFree=29812788/32770624 swapFree=66967424/67108860
[pid=928] ppid=925 vsize=9972712 memory=16552 CPUtime=0.08 cores=1,3,5,7
/proc/928/stat : 928 (java) S 925 928 31233 0 -1 1077944320 4399 13080 0 0 0 1 4 3 20 0 6 0 444146588 10212057088 4138 33554432000 4194304 4196468 140726582432448 140726582414992 139837195136759 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
/proc/928/statm: 2493178 4138 1933 1 0 2481616 0
[pid=928/tid=982] ppid=925 vsize=9972712 memory=4627829660337606006 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/982/stat : 982 (java) R 925 928 31233 0 -1 4202560 2331 13080 0 0 0 0 4 3 20 0 6 0 444146597 10212057088 4270 33554432000 4194304 4196468 140726582432448 139837166973520 139837174438288 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=983] ppid=925 vsize=9972712 memory=5792869726567804975 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/983/stat : 983 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 6 0 444146598 10212057088 4270 33554432000 4194304 4196468 140726582432448 139837199379600 139837195146965 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=984] ppid=925 vsize=9972712 memory=140250535425664 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/984/stat : 984 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 6 0 444146598 10212057088 4270 33554432000 4194304 4196468 140726582432448 139837098269712 139837195146965 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=985] ppid=925 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/985/stat : 985 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 6 0 444146598 10212057088 4336 33554432000 4194304 4196468 140726582432448 139837097216912 139837195146965 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=986] ppid=925 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/986/stat : 986 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 6 0 444146598 10212057088 4336 33554432000 4194304 4196468 140726582432448 139837096164112 139837195146965 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB

[startup+0.21042 s]*
/proc/loadavg: 1.50 1.52 1.46 4/230 995
/proc/meminfo: memFree=29792520/32770624 swapFree=66967424/67108860
[pid=928] ppid=925 vsize=10820020 memory=44044 CPUtime=0.26 cores=1,3,5,7
/proc/928/stat : 928 (java) S 925 928 31233 0 -1 1077944320 7346 13080 0 0 17 2 4 3 20 0 15 0 444146588 11079700480 11011 33554432000 4194304 4196468 140726582432448 140726582414992 139837195136759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
/proc/928/statm: 2705005 11011 3214 1 0 2667149 0
[pid=928/tid=982] ppid=925 vsize=10820196 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/928/task/982/stat : 982 (java) R 925 928 31233 0 -1 4202560 3910 13080 0 0 11 1 4 3 20 0 15 0 444146597 11079880704 11143 33554432000 4194304 4196468 140726582432448 139837166941984 139837176530493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=983] ppid=925 vsize=10820196 memory=4294967660 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/983/stat : 983 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146598 11079880704 11143 33554432000 4194304 4196468 140726582432448 139837199379600 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=984] ppid=925 vsize=10820196 memory=288370626687137408 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/984/stat : 984 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146598 11079880704 11143 33554432000 4194304 4196468 140726582432448 139837098269712 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=985] ppid=925 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/985/stat : 985 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146598 11079880704 11143 33554432000 4194304 4196468 140726582432448 139837097216912 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=986] ppid=925 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/986/stat : 986 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146598 11079880704 11143 33554432000 4194304 4196468 140726582432448 139837096164112 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=987] ppid=925 vsize=10820196 memory=140250535425664 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/987/stat : 987 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146599 11079880704 11143 33554432000 4194304 4196468 140726582432448 139836654385520 139837195147906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=988] ppid=925 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/988/stat : 988 (java) S 925 928 31233 0 -1 1077944384 33 13080 0 0 0 0 4 3 20 0 15 0 444146600 11079880704 11143 33554432000 4194304 4196468 140726582432448 139836653331488 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=989] ppid=925 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/989/stat : 989 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146600 11079880704 11143 33554432000 4194304 4196468 140726582432448 139836551848816 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=990] ppid=925 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/990/stat : 990 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146603 11079880704 11143 33554432000 4194304 4196468 140726582432448 139835947870032 139837195155355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=991] ppid=925 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/928/task/991/stat : 991 (java) S 925 928 31233 0 -1 1077944384 476 13080 0 0 1 0 4 3 20 0 15 0 444146603 11079880704 11143 33554432000 4194304 4196468 140726582432448 139836518292336 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=992] ppid=925 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/928/task/992/stat : 992 (java) R 925 928 31233 0 -1 4202560 190 13080 0 0 1 0 4 3 20 0 15 0 444146603 11079880704 11143 33554432000 4194304 4196468 140726582432448 139836517239536 139837178523563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=993] ppid=925 vsize=10820196 memory=140250535425664 CPUtime=0.1 cores=1,3,5,7
/proc/928/task/993/stat : 993 (java) S 925 928 31233 0 -1 1077944384 603 13080 0 0 3 0 4 3 20 0 15 0 444146603 11079880704 11143 33554432000 4194304 4196468 140726582432448 139836516186736 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=994] ppid=925 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/994/stat : 994 (java) S 925 928 31233 0 -1 1077944384 3 13080 0 0 0 0 4 3 20 0 15 0 444146603 11079880704 11143 33554432000 4194304 4196468 140726582432448 139835478108896 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=995] ppid=925 vsize=10820196 memory=140250535425664 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/995/stat : 995 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146603 11079880704 11143 33554432000 4194304 4196468 140726582432448 139836515134128 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 44044 KiB

[startup+0.310859 s]*
/proc/loadavg: 1.50 1.52 1.46 3/230 995
/proc/meminfo: memFree=29779856/32770624 swapFree=66967424/67108860
[pid=928] ppid=925 vsize=10820196 memory=52596 CPUtime=0.4 cores=1,3,5,7
/proc/928/stat : 928 (java) S 925 928 31233 0 -1 1077944320 10885 13080 0 0 29 4 4 3 20 0 15 0 444146588 11079880704 13149 33554432000 4194304 4196468 140726582432448 140726582414992 139837195136759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
/proc/928/statm: 2705049 13149 3310 1 0 2667149 0
[pid=928/tid=982] ppid=925 vsize=10820196 memory=1398720917958146503 CPUtime=0.29 cores=1,3,5,7
/proc/928/task/982/stat : 982 (java) R 925 928 31233 0 -1 4202560 7358 13080 0 0 19 3 4 3 20 0 15 0 444146597 11079880704 13149 33554432000 4194304 4196468 140726582432448 139837166945712 139837179217246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=983] ppid=925 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/983/stat : 983 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146598 11079880704 13149 33554432000 4194304 4196468 140726582432448 139837199379600 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=984] ppid=925 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/984/stat : 984 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146598 11079880704 13149 33554432000 4194304 4196468 140726582432448 139837098269712 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=985] ppid=925 vsize=10820196 memory=2209 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/985/stat : 985 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146598 11079880704 13149 33554432000 4194304 4196468 140726582432448 139837097216912 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=986] ppid=925 vsize=10820196 memory=2240 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/986/stat : 986 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146598 11079880704 13149 33554432000 4194304 4196468 140726582432448 139837096164112 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=987] ppid=925 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/987/stat : 987 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146599 11079880704 13149 33554432000 4194304 4196468 140726582432448 139836654385520 139837195147906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=988] ppid=925 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/988/stat : 988 (java) S 925 928 31233 0 -1 1077944384 33 13080 0 0 0 0 4 3 20 0 15 0 444146600 11079880704 13149 33554432000 4194304 4196468 140726582432448 139836653331488 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=989] ppid=925 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/989/stat : 989 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146600 11079880704 13149 33554432000 4194304 4196468 140726582432448 139836551848816 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=990] ppid=925 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/990/stat : 990 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146603 11079880704 13149 33554432000 4194304 4196468 140726582432448 139835947870032 139837195155355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=991] ppid=925 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/928/task/991/stat : 991 (java) R 925 928 31233 0 -1 1077944384 476 13080 0 0 1 0 4 3 20 0 15 0 444146603 11079880704 13149 33554432000 4194304 4196468 140726582432448 139836518292336 139837195147906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=992] ppid=925 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/928/task/992/stat : 992 (java) S 925 928 31233 0 -1 1077944384 192 13080 0 0 2 0 4 3 20 0 15 0 444146603 11079880704 13149 33554432000 4194304 4196468 140726582432448 139836517239536 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=993] ppid=925 vsize=10820196 memory=140250535425664 CPUtime=0.12 cores=1,3,5,7
/proc/928/task/993/stat : 993 (java) R 925 928 31233 0 -1 4202560 611 13080 0 0 5 0 4 3 20 0 15 0 444146603 11079880704 13149 33554432000 4194304 4196468 140726582432448 139836516186736 139837195148694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=994] ppid=925 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/994/stat : 994 (java) S 925 928 31233 0 -1 1077944384 3 13080 0 0 0 0 4 3 20 0 15 0 444146603 11079880704 13149 33554432000 4194304 4196468 140726582432448 139835478108896 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=995] ppid=925 vsize=10820196 memory=140250535425664 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/995/stat : 995 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146603 11079880704 13149 33554432000 4194304 4196468 140726582432448 139836515134128 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52596 KiB

[startup+0.705121 s]
/proc/loadavg: 1.50 1.52 1.46 4/230 995
/proc/meminfo: memFree=29764808/32770624 swapFree=66967424/67108860
[pid=928] ppid=925 vsize=10824364 memory=85784 CPUtime=1.13 cores=1,3,5,7
/proc/928/stat : 928 (java) S 925 928 31233 0 -1 1077944320 15128 13080 0 0 100 6 4 3 20 0 15 0 444146588 11084148736 21446 33554432000 4194304 4196468 140726582432448 140726582414992 139837195136759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
/proc/928/statm: 2706091 21446 3513 1 0 2668173 0
[pid=928/tid=982] ppid=925 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/928/task/982/stat : 982 (java) R 925 928 31233 0 -1 4202560 10539 13080 0 0 55 4 4 3 20 0 15 0 444146597 11084148736 21446 33554432000 4194304 4196468 140726582432448 139837166961968 139837176722263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=983] ppid=925 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/983/stat : 983 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146598 11084148736 21446 33554432000 4194304 4196468 140726582432448 139837199379600 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=984] ppid=925 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/984/stat : 984 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146598 11084148736 21446 33554432000 4194304 4196468 140726582432448 139837098269712 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=985] ppid=925 vsize=10824364 memory=3248 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/985/stat : 985 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146598 11084148736 21446 33554432000 4194304 4196468 140726582432448 139837097216912 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=986] ppid=925 vsize=10824364 memory=514716 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/986/stat : 986 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146598 11084148736 21446 33554432000 4194304 4196468 140726582432448 139837096164112 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=987] ppid=925 vsize=10824364 memory=1376 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/987/stat : 987 (java) S 925 928 31233 0 -1 1077944384 5 13080 0 0 0 0 4 3 20 0 15 0 444146599 11084148736 21446 33554432000 4194304 4196468 140726582432448 139836654385520 139837195147906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=988] ppid=925 vsize=10824364 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/988/stat : 988 (java) S 925 928 31233 0 -1 1077944384 33 13080 0 0 0 0 4 3 20 0 15 0 444146600 11084148736 21446 33554432000 4194304 4196468 140726582432448 139836653331488 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=989] ppid=925 vsize=10824364 memory=4068 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/989/stat : 989 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146600 11084148736 21446 33554432000 4194304 4196468 140726582432448 139836551848816 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=990] ppid=925 vsize=10824364 memory=1720 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/990/stat : 990 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146603 11084148736 21446 33554432000 4194304 4196468 140726582432448 139835947870032 139837195155355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=991] ppid=925 vsize=10824364 memory=5948 CPUtime=0.19 cores=1,3,5,7
/proc/928/task/991/stat : 991 (java) R 925 928 31233 0 -1 4202560 865 13080 0 0 12 0 4 3 20 0 15 0 444146603 11084148736 21446 33554432000 4194304 4196468 140726582432448 139836518278880 139837176680990 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=992] ppid=925 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/928/task/992/stat : 992 (java) S 925 928 31233 0 -1 1077944384 627 13080 0 0 13 0 4 3 20 0 15 0 444146603 11084148736 21446 33554432000 4194304 4196468 140726582432448 139836517239536 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=993] ppid=925 vsize=10824364 memory=140252157051459 CPUtime=0.24 cores=1,3,5,7
/proc/928/task/993/stat : 993 (java) R 925 928 31233 0 -1 4202560 838 13080 0 0 17 0 4 3 20 0 15 0 444146603 11084148736 21446 33554432000 4194304 4196468 140726582432448 139836516186736 139837176546909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=994] ppid=925 vsize=10824364 memory=140252157051462 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/994/stat : 994 (java) S 925 928 31233 0 -1 1077944384 3 13080 0 0 0 0 4 3 20 0 15 0 444146603 11084148736 21446 33554432000 4194304 4196468 140726582432448 139835478108896 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=995] ppid=925 vsize=10824364 memory=140252157051467 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/995/stat : 995 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146603 11084148736 21446 33554432000 4194304 4196468 140726582432448 139836515134128 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85784 KiB

[startup+1.50079 s]
/proc/loadavg: 1.50 1.52 1.46 5/230 995
/proc/meminfo: memFree=29708340/32770624 swapFree=66967424/67108860
[pid=928] ppid=925 vsize=10837560 memory=219932 CPUtime=3.34 cores=1,3,5,7
/proc/928/stat : 928 (java) S 925 928 31233 0 -1 1077944320 35144 13080 0 0 315 12 4 3 20 0 15 0 444146588 11097661440 54983 33554432000 4194304 4196468 140726582432448 140726582414992 139837195136759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
/proc/928/statm: 2709390 54983 3594 1 0 2671453 0
[pid=928/tid=982] ppid=925 vsize=10837560 memory=7306316766074331728 CPUtime=1.42 cores=1,3,5,7
/proc/928/task/982/stat : 982 (java) R 925 928 31233 0 -1 4202560 16652 13080 0 0 128 7 4 3 20 0 15 0 444146597 11097661440 54983 33554432000 4194304 4196468 140726582432448 139837166964944 139837195158685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=983] ppid=925 vsize=10837560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/928/task/983/stat : 983 (java) S 925 928 31233 0 -1 1077944384 66 13080 0 0 1 0 4 3 20 0 15 0 444146598 11097661440 54983 33554432000 4194304 4196468 140726582432448 139837199379600 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=984] ppid=925 vsize=10837560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/928/task/984/stat : 984 (java) S 925 928 31233 0 -1 1077944384 23 13080 0 0 1 0 4 3 20 0 15 0 444146598 11097661440 54983 33554432000 4194304 4196468 140726582432448 139837098269712 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=985] ppid=925 vsize=10837560 memory=54 CPUtime=0.08 cores=1,3,5,7
/proc/928/task/985/stat : 985 (java) S 925 928 31233 0 -1 1077944384 330 13080 0 0 1 0 4 3 20 0 15 0 444146598 11097661440 54983 33554432000 4194304 4196468 140726582432448 139837097216912 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=986] ppid=925 vsize=10837560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/928/task/986/stat : 986 (java) S 925 928 31233 0 -1 1077944384 84 13080 0 0 1 0 4 3 20 0 15 0 444146598 11097661440 54983 33554432000 4194304 4196468 140726582432448 139837096164112 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=987] ppid=925 vsize=10837560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/928/task/987/stat : 987 (java) S 925 928 31233 0 -1 1077944384 231 13080 0 0 1 0 4 3 20 0 15 0 444146599 11097661440 54983 33554432000 4194304 4196468 140726582432448 139836654385520 139837195147906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=988] ppid=925 vsize=10837560 memory=280500824523680 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/988/stat : 988 (java) S 925 928 31233 0 -1 1077944384 34 13080 0 0 0 0 4 3 20 0 15 0 444146600 11097661440 54983 33554432000 4194304 4196468 140726582432448 139836653331488 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=989] ppid=925 vsize=10837560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/989/stat : 989 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146600 11097661440 54983 33554432000 4194304 4196468 140726582432448 139836551848816 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=990] ppid=925 vsize=10837560 memory=288230376990843671 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/990/stat : 990 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146603 11097661440 54983 33554432000 4194304 4196468 140726582432448 139835947870032 139837195155355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=991] ppid=925 vsize=10837560 memory=288291056375936766 CPUtime=0.54 cores=1,3,5,7
/proc/928/task/991/stat : 991 (java) S 925 928 31233 0 -1 1077944384 2871 13080 0 0 47 0 4 3 20 0 15 0 444146603 11097661440 54983 33554432000 4194304 4196468 140726582432448 139836518292336 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=992] ppid=925 vsize=10837560 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/928/task/992/stat : 992 (java) R 925 928 31233 0 -1 4202560 9975 13080 0 0 84 1 4 3 20 0 15 0 444146603 11097661440 54983 33554432000 4194304 4196468 140726582432448 139836517225040 139837176681986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=993] ppid=925 vsize=10837560 memory=280500824889136 CPUtime=0.53 cores=1,3,5,7
/proc/928/task/993/stat : 993 (java) S 925 928 31233 0 -1 1077944384 2661 13080 0 0 46 0 4 3 20 0 15 0 444146603 11097661440 54983 33554432000 4194304 4196468 140726582432448 139836516186736 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=994] ppid=925 vsize=10837560 memory=280500824724800 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/994/stat : 994 (java) S 925 928 31233 0 -1 1077944384 3 13080 0 0 0 0 4 3 20 0 15 0 444146603 11097661440 54983 33554432000 4194304 4196468 140726582432448 139835478108896 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=995] ppid=925 vsize=10837560 memory=280500824715376 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/995/stat : 995 (java) S 925 928 31233 0 -1 1077944384 1 13080 0 0 0 0 4 3 20 0 15 0 444146603 11097661440 54983 33554432000 4194304 4196468 140726582432448 139836515134128 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
Current children cumulated CPU time: 3.34 s
Current children cumulated vsize: 10837560 KiB

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


[startup+8.00072 s]*
/proc/loadavg: 1.72 1.57 1.47 3/229 995
/proc/meminfo: memFree=29377724/32770624 swapFree=66967424/67108860
[pid=928] ppid=925 vsize=10851096 memory=456992 CPUtime=21.78 cores=1,3,5,7
/proc/928/stat : 928 (java) S 925 928 31233 0 -1 1077944320 75833 13080 0 0 2140 31 4 3 20 0 15 0 444146588 11111522304 114248 33554432000 4194304 4196468 140726582432448 140726582414992 139837195136759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
/proc/928/statm: 2712774 114248 3637 1 0 2674829 0
[pid=928/tid=982] ppid=925 vsize=10851096 memory=1398720917958146503 CPUtime=7.74 cores=1,3,5,7
/proc/928/task/982/stat : 982 (java) R 925 928 31233 0 -1 4202560 29258 13080 0 0 755 12 4 3 20 0 15 0 444146597 11111522304 114248 33554432000 4194304 4196468 140726582432448 139837166967392 139836781338945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=983] ppid=925 vsize=10851096 memory=4872558044660077418 CPUtime=0.17 cores=1,3,5,7
/proc/928/task/983/stat : 983 (java) S 925 928 31233 0 -1 1077944384 983 13080 0 0 9 1 4 3 20 0 15 0 444146598 11111522304 114248 33554432000 4194304 4196468 140726582432448 139837199379600 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=984] ppid=925 vsize=10851096 memory=2004 CPUtime=0.16 cores=1,3,5,7
/proc/928/task/984/stat : 984 (java) S 925 928 31233 0 -1 1077944384 188 13080 0 0 8 1 4 3 20 0 15 0 444146598 11111522304 114248 33554432000 4194304 4196468 140726582432448 139837098269712 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=985] ppid=925 vsize=10851096 memory=1408 CPUtime=0.16 cores=1,3,5,7
/proc/928/task/985/stat : 985 (java) S 925 928 31233 0 -1 1077944384 937 13080 0 0 8 1 4 3 20 0 15 0 444146598 11111522304 114248 33554432000 4194304 4196468 140726582432448 139837097216912 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=986] ppid=925 vsize=10851096 memory=3248 CPUtime=0.19 cores=1,3,5,7
/proc/928/task/986/stat : 986 (java) S 925 928 31233 0 -1 1077944384 427 13080 0 0 10 2 4 3 20 0 15 0 444146598 11111522304 114248 33554432000 4194304 4196468 140726582432448 139837096164112 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=987] ppid=925 vsize=10851096 memory=515232 CPUtime=0.13 cores=1,3,5,7
/proc/928/task/987/stat : 987 (java) S 925 928 31233 0 -1 1077944384 2529 13080 0 0 6 0 4 3 20 0 15 0 444146599 11111522304 114248 33554432000 4194304 4196468 140726582432448 139836654385520 139837195147906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=988] ppid=925 vsize=10851096 memory=1376 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/988/stat : 988 (java) S 925 928 31233 0 -1 1077944384 50 13080 0 0 0 0 4 3 20 0 15 0 444146600 11111522304 114248 33554432000 4194304 4196468 140726582432448 139836653331552 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=989] ppid=925 vsize=10851096 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/989/stat : 989 (java) S 925 928 31233 0 -1 1077944384 16 13080 0 0 0 0 4 3 20 0 15 0 444146600 11111522304 114248 33554432000 4194304 4196468 140726582432448 139836551848832 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=990] ppid=925 vsize=10851096 memory=4068 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/990/stat : 990 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 114248 33554432000 4194304 4196468 140726582432448 139835947870032 139837195155355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=991] ppid=925 vsize=10851096 memory=1720 CPUtime=5.39 cores=1,3,5,7
/proc/928/task/991/stat : 991 (java) S 925 928 31233 0 -1 1077944384 10607 13080 0 0 530 2 4 3 20 0 15 0 444146603 11111522304 114248 33554432000 4194304 4196468 140726582432448 139836518292336 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=992] ppid=925 vsize=10851096 memory=5948 CPUtime=5.62 cores=1,3,5,7
/proc/928/task/992/stat : 992 (java) S 925 928 31233 0 -1 1077944384 15400 13080 0 0 552 3 4 3 20 0 15 0 444146603 11111522304 114248 33554432000 4194304 4196468 140726582432448 139836517239536 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=993] ppid=925 vsize=10851096 memory=10564 CPUtime=2.68 cores=1,3,5,7
/proc/928/task/993/stat : 993 (java) S 925 928 31233 0 -1 1077944384 13106 13080 0 0 257 4 4 3 20 0 15 0 444146603 11111522304 114248 33554432000 4194304 4196468 140726582432448 139836516186736 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=994] ppid=925 vsize=10851096 memory=716 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/994/stat : 994 (java) S 925 928 31233 0 -1 1077944384 3 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 114248 33554432000 4194304 4196468 140726582432448 139835478108896 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=995] ppid=925 vsize=10851096 memory=780 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/995/stat : 995 (java) S 925 928 31233 0 -1 1077944384 118 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 114248 33554432000 4194304 4196468 140726582432448 139836515134128 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
Current children cumulated CPU time: 21.78 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 456992 KiB

[startup+8.80063 s]
/proc/loadavg: 1.72 1.57 1.47 3/229 995
/proc/meminfo: memFree=29377724/32770624 swapFree=66967424/67108860
[pid=928] ppid=925 vsize=10851096 memory=578488 CPUtime=23.11 cores=1,3,5,7
/proc/928/stat : 928 (java) S 925 928 31233 0 -1 1077944320 76621 13080 0 0 2267 37 4 3 20 0 15 0 444146588 11111522304 144622 33554432000 4194304 4196468 140726582432448 140726582414992 139837195136759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
/proc/928/statm: 2712774 144622 3637 1 0 2674829 0
[pid=928/tid=982] ppid=925 vsize=10851096 memory=6947385649911455296 CPUtime=8.51 cores=1,3,5,7
/proc/928/task/982/stat : 982 (java) R 925 928 31233 0 -1 4202560 29397 13080 0 0 830 14 4 3 20 0 15 0 444146597 11111522304 144622 33554432000 4194304 4196468 140726582432448 139837166967152 139836774548811 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=983] ppid=925 vsize=10851096 memory=-8311738553153378854 CPUtime=0.2 cores=1,3,5,7
/proc/928/task/983/stat : 983 (java) S 925 928 31233 0 -1 1077944384 994 13080 0 0 11 2 4 3 20 0 15 0 444146598 11111522304 144622 33554432000 4194304 4196468 140726582432448 139837199379600 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=984] ppid=925 vsize=10851096 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/928/task/984/stat : 984 (java) S 925 928 31233 0 -1 1077944384 204 13080 0 0 10 2 4 3 20 0 15 0 444146598 11111522304 144622 33554432000 4194304 4196468 140726582432448 139837098269712 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=985] ppid=925 vsize=10851096 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/928/task/985/stat : 985 (java) S 925 928 31233 0 -1 1077944384 955 13080 0 0 10 2 4 3 20 0 15 0 444146598 11111522304 144622 33554432000 4194304 4196468 140726582432448 139837097216912 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=986] ppid=925 vsize=10851096 memory=-8253362762721551492 CPUtime=0.22 cores=1,3,5,7
/proc/928/task/986/stat : 986 (java) S 925 928 31233 0 -1 1077944384 446 13080 0 0 12 3 4 3 20 0 15 0 444146598 11111522304 144622 33554432000 4194304 4196468 140726582432448 139837096164112 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=987] ppid=925 vsize=10851096 memory=-9116517340232375276 CPUtime=0.13 cores=1,3,5,7
/proc/928/task/987/stat : 987 (java) S 925 928 31233 0 -1 1077944384 2596 13080 0 0 6 0 4 3 20 0 15 0 444146599 11111522304 144622 33554432000 4194304 4196468 140726582432448 139836654385520 139837195147906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=988] ppid=925 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/988/stat : 988 (java) S 925 928 31233 0 -1 1077944384 50 13080 0 0 0 0 4 3 20 0 15 0 444146600 11111522304 144622 33554432000 4194304 4196468 140726582432448 139836653331552 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=989] ppid=925 vsize=10851096 memory=-8253362762722141311 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/989/stat : 989 (java) S 925 928 31233 0 -1 1077944384 16 13080 0 0 0 0 4 3 20 0 15 0 444146600 11111522304 144622 33554432000 4194304 4196468 140726582432448 139836551848832 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=990] ppid=925 vsize=10851096 memory=7100839861465685612 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/990/stat : 990 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 144622 33554432000 4194304 4196468 140726582432448 139835947870032 139837195155355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=991] ppid=925 vsize=10851096 memory=7092156008703223406 CPUtime=5.48 cores=1,3,5,7
/proc/928/task/991/stat : 991 (java) S 925 928 31233 0 -1 1077944384 10639 13080 0 0 539 2 4 3 20 0 15 0 444146603 11111522304 144622 33554432000 4194304 4196468 140726582432448 139836518292336 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=992] ppid=925 vsize=10851096 memory=6009316314409558884 CPUtime=5.76 cores=1,3,5,7
/proc/928/task/992/stat : 992 (java) S 925 928 31233 0 -1 1077944384 15482 13080 0 0 566 3 4 3 20 0 15 0 444146603 11111522304 144622 33554432000 4194304 4196468 140726582432448 139836517239536 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=993] ppid=925 vsize=10851096 memory=0 CPUtime=2.88 cores=1,3,5,7
/proc/928/task/993/stat : 993 (java) S 925 928 31233 0 -1 1077944384 13509 13080 0 0 277 4 4 3 20 0 15 0 444146603 11111522304 144622 33554432000 4194304 4196468 140726582432448 139836516186736 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=994] ppid=925 vsize=10851096 memory=3054156605368933524 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/994/stat : 994 (java) S 925 928 31233 0 -1 1077944384 3 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 144622 33554432000 4194304 4196468 140726582432448 139835478108896 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=995] ppid=925 vsize=10851096 memory=-7812800577974661517 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/995/stat : 995 (java) S 925 928 31233 0 -1 1077944384 118 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 144622 33554432000 4194304 4196468 140726582432448 139836515134128 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
Current children cumulated CPU time: 23.11 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 578488 KiB

[startup+9.20066 s]
/proc/loadavg: 1.72 1.57 1.47 3/229 995
/proc/meminfo: memFree=29255776/32770624 swapFree=66967424/67108860
[pid=928] ppid=925 vsize=10851096 memory=596924 CPUtime=23.75 cores=1,3,5,7
/proc/928/stat : 928 (java) S 925 928 31233 0 -1 1077944320 76740 13080 0 0 2328 40 4 3 20 0 15 0 444146588 11111522304 149231 33554432000 4194304 4196468 140726582432448 140726582414992 139837195136759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
/proc/928/statm: 2712774 149231 3637 1 0 2674829 0
[pid=928/tid=982] ppid=925 vsize=10851096 memory=0 CPUtime=8.88 cores=1,3,5,7
/proc/928/task/982/stat : 982 (java) R 925 928 31233 0 -1 4202560 29410 13080 0 0 867 14 4 3 20 0 15 0 444146597 11111522304 149231 33554432000 4194304 4196468 140726582432448 139837166966768 139836790311924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=983] ppid=925 vsize=10851096 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/928/task/983/stat : 983 (java) S 925 928 31233 0 -1 1077944384 1006 13080 0 0 12 3 4 3 20 0 15 0 444146598 11111522304 149231 33554432000 4194304 4196468 140726582432448 139837199379600 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=984] ppid=925 vsize=10851096 memory=6944656592455097440 CPUtime=0.21 cores=1,3,5,7
/proc/928/task/984/stat : 984 (java) S 925 928 31233 0 -1 1077944384 213 13080 0 0 11 3 4 3 20 0 15 0 444146598 11111522304 149231 33554432000 4194304 4196468 140726582432448 139837098269712 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=985] ppid=925 vsize=10851096 memory=6656426216303648864 CPUtime=0.21 cores=1,3,5,7
/proc/928/task/985/stat : 985 (java) S 925 928 31233 0 -1 1077944384 967 13080 0 0 11 3 4 3 20 0 15 0 444146598 11111522304 149231 33554432000 4194304 4196468 140726582432448 139837097216912 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=986] ppid=925 vsize=10851096 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/928/task/986/stat : 986 (java) S 925 928 31233 0 -1 1077944384 454 13080 0 0 13 3 4 3 20 0 15 0 444146598 11111522304 149231 33554432000 4194304 4196468 140726582432448 139837096164112 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=987] ppid=925 vsize=10851096 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/928/task/987/stat : 987 (java) S 925 928 31233 0 -1 1077944384 2596 13080 0 0 6 0 4 3 20 0 15 0 444146599 11111522304 149231 33554432000 4194304 4196468 140726582432448 139836654385520 139837195147906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=988] ppid=925 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/988/stat : 988 (java) S 925 928 31233 0 -1 1077944384 50 13080 0 0 0 0 4 3 20 0 15 0 444146600 11111522304 149231 33554432000 4194304 4196468 140726582432448 139836653331552 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=989] ppid=925 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/989/stat : 989 (java) S 925 928 31233 0 -1 1077944384 16 13080 0 0 0 0 4 3 20 0 15 0 444146600 11111522304 149231 33554432000 4194304 4196468 140726582432448 139836551848832 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=990] ppid=925 vsize=10851096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/990/stat : 990 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 149231 33554432000 4194304 4196468 140726582432448 139835947870032 139837195155355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=991] ppid=925 vsize=10851096 memory=0 CPUtime=5.54 cores=1,3,5,7
/proc/928/task/991/stat : 991 (java) S 925 928 31233 0 -1 1077944384 10656 13080 0 0 545 2 4 3 20 0 15 0 444146603 11111522304 149231 33554432000 4194304 4196468 140726582432448 139836518292336 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=992] ppid=925 vsize=10851096 memory=0 CPUtime=5.79 cores=1,3,5,7
/proc/928/task/992/stat : 992 (java) S 925 928 31233 0 -1 1077944384 15486 13080 0 0 569 3 4 3 20 0 15 0 444146603 11111522304 149231 33554432000 4194304 4196468 140726582432448 139836517239536 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=993] ppid=925 vsize=10851096 memory=0 CPUtime=2.96 cores=1,3,5,7
/proc/928/task/993/stat : 993 (java) S 925 928 31233 0 -1 1077944384 13553 13080 0 0 285 4 4 3 20 0 15 0 444146603 11111522304 149231 33554432000 4194304 4196468 140726582432448 139836516186736 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=994] ppid=925 vsize=10851096 memory=578480 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/994/stat : 994 (java) S 925 928 31233 0 -1 1077944384 3 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 149231 33554432000 4194304 4196468 140726582432448 139835478108896 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=995] ppid=925 vsize=10851096 memory=578476 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/995/stat : 995 (java) S 925 928 31233 0 -1 1077944384 118 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 149231 33554432000 4194304 4196468 140726582432448 139836515134128 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
Current children cumulated CPU time: 23.75 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 596924 KiB

[startup+9.60074 s]
/proc/loadavg: 1.72 1.57 1.47 3/229 995
/proc/meminfo: memFree=29255776/32770624 swapFree=66967424/67108860
[pid=928] ppid=925 vsize=10851096 memory=596928 CPUtime=24.4 cores=1,3,5,7
/proc/928/stat : 928 (java) S 925 928 31233 0 -1 1077944320 76864 13080 0 0 2393 40 4 3 20 0 15 0 444146588 11111522304 149232 33554432000 4194304 4196468 140726582432448 140726582414992 139837195136759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
/proc/928/statm: 2712774 149232 3638 1 0 2674829 0
[pid=928/tid=982] ppid=925 vsize=10851096 memory=0 CPUtime=9.28 cores=1,3,5,7
/proc/928/task/982/stat : 982 (java) R 925 928 31233 0 -1 4202560 29413 13080 0 0 907 14 4 3 20 0 15 0 444146597 11111522304 149232 33554432000 4194304 4196468 140726582432448 139837166966976 139836778763048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=983] ppid=925 vsize=10851096 memory=6947385649911455296 CPUtime=0.22 cores=1,3,5,7
/proc/928/task/983/stat : 983 (java) S 925 928 31233 0 -1 1077944384 1006 13080 0 0 12 3 4 3 20 0 15 0 444146598 11111522304 149232 33554432000 4194304 4196468 140726582432448 139837199379600 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=984] ppid=925 vsize=10851096 memory=4496608290974179477 CPUtime=0.21 cores=1,3,5,7
/proc/928/task/984/stat : 984 (java) S 925 928 31233 0 -1 1077944384 213 13080 0 0 11 3 4 3 20 0 15 0 444146598 11111522304 149232 33554432000 4194304 4196468 140726582432448 139837098269712 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=985] ppid=925 vsize=10851096 memory=4491321666314147993 CPUtime=0.21 cores=1,3,5,7
/proc/928/task/985/stat : 985 (java) S 925 928 31233 0 -1 1077944384 967 13080 0 0 11 3 4 3 20 0 15 0 444146598 11111522304 149232 33554432000 4194304 4196468 140726582432448 139837097216912 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=986] ppid=925 vsize=10851096 memory=4713387795600335425 CPUtime=0.23 cores=1,3,5,7
/proc/928/task/986/stat : 986 (java) S 925 928 31233 0 -1 1077944384 454 13080 0 0 13 3 4 3 20 0 15 0 444146598 11111522304 149232 33554432000 4194304 4196468 140726582432448 139837096164112 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=987] ppid=925 vsize=10851096 memory=-8385853988563173524 CPUtime=0.13 cores=1,3,5,7
/proc/928/task/987/stat : 987 (java) S 925 928 31233 0 -1 1077944384 2596 13080 0 0 6 0 4 3 20 0 15 0 444146599 11111522304 149232 33554432000 4194304 4196468 140726582432448 139836654385520 139837195147906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=988] ppid=925 vsize=10851096 memory=-7023770956763676308 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/988/stat : 988 (java) S 925 928 31233 0 -1 1077944384 50 13080 0 0 0 0 4 3 20 0 15 0 444146600 11111522304 149232 33554432000 4194304 4196468 140726582432448 139836653331552 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=989] ppid=925 vsize=10851096 memory=456736 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/989/stat : 989 (java) S 925 928 31233 0 -1 1077944384 16 13080 0 0 0 0 4 3 20 0 15 0 444146600 11111522304 149232 33554432000 4194304 4196468 140726582432448 139836551848832 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=990] ppid=925 vsize=10851096 memory=3544812030915036054 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/990/stat : 990 (java) S 925 928 31233 0 -1 1077944384 2 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 149232 33554432000 4194304 4196468 140726582432448 139835947870032 139837195155355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=991] ppid=925 vsize=10851096 memory=7163085606838889579 CPUtime=5.61 cores=1,3,5,7
/proc/928/task/991/stat : 991 (java) S 925 928 31233 0 -1 1077944384 10713 13080 0 0 552 2 4 3 20 0 15 0 444146603 11111522304 149232 33554432000 4194304 4196468 140726582432448 139836518292336 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=992] ppid=925 vsize=10851096 memory=7163085606838889579 CPUtime=5.9 cores=1,3,5,7
/proc/928/task/992/stat : 992 (java) S 925 928 31233 0 -1 1077944384 15543 13080 0 0 580 3 4 3 20 0 15 0 444146603 11111522304 149232 33554432000 4194304 4196468 140726582432448 139836517239536 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=993] ppid=925 vsize=10851096 memory=7738143365210003564 CPUtime=3.05 cores=1,3,5,7
/proc/928/task/993/stat : 993 (java) S 925 928 31233 0 -1 1077944384 13560 13080 0 0 294 4 4 3 20 0 15 0 444146603 11111522304 149232 33554432000 4194304 4196468 140726582432448 139836516186736 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=994] ppid=925 vsize=10851096 memory=7812447278616568664 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/994/stat : 994 (java) S 925 928 31233 0 -1 1077944384 3 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 149232 33554432000 4194304 4196468 140726582432448 139835478108896 139837195146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
[pid=928/tid=995] ppid=925 vsize=10851096 memory=8521215117246 CPUtime=0.07 cores=1,3,5,7
/proc/928/task/995/stat : 995 (java) S 925 928 31233 0 -1 1077944384 118 13080 0 0 0 0 4 3 20 0 15 0 444146603 11111522304 149232 33554432000 4194304 4196468 140726582432448 139836515134128 139837195147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29233152 140726582438639 140726582441157 140726582441157 140726582443983 0
Current children cumulated CPU time: 24.4 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 596928 KiB

[startup+9.70071 s]*
/proc/loadavg: 1.72 1.57 1.47 3/216 996
/proc/meminfo: memFree=29667440/32770624 swapFree=66967424/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 9.71073
CPU time (s): 24.6223
CPU user time (s): 24.169
CPU system time (s): 0.453363
CPU usage (%): 253.558
Max. virtual memory (cumulated for all children) (KiB): 10851096
Max. memory (cumulated for all children) (KiB): 596928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.169
system time used= 0.453363
maximum resident set size= 599452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10296
involuntary context switches= 176


# summary of solver processes directly reported to runsolver:
#   pid: 928
#   total CPU time (s): 24.6223
#   total CPU user time (s): 24.169
#   total CPU system time (s): 0.453363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078018 second user time and 0.14285 second system time

The end

Name	DeBruijnSequence/DeBruijnSequence-m1-s1/ DeBruijnSequence-03-05.xml
MD5SUM	039cea46cde688c2971a1406f493a012
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.252364
Satisfiable
(Un)Satisfiability was proved
Number of variables	1461
Number of constraints	1218
Number of domains	3
Minimum domain size	3
Maximum domain size	244
Distribution of domain sizes	[{"size":3,"count":1215},{"size":243,"count":243},{"size":244,"count":3}]
Minimum variable degree	1
Maximum variable degree	3
Distribution of variable degrees	[{"degree":1,"count":3},{"degree":2,"count":243},{"degree":3,"count":1215}]
Minimum constraint arity	2
Maximum constraint arity	246
Distribution of constraint arities	[{"arity":2,"count":972},{"arity":6,"count":243},{"arity":243,"count":2},{"arity":246,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	972
Distribution of constraint types	[{"type":"intension","count":972},{"type":"allDifferent","count":1},{"type":"sum","count":243},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problem	NO
Type of objective

Trace number 4400754

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data