2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT	7.5916	1.69467

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297638-1532721399.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297638-1532721399.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.11/1.24	c solve instance...
7.03/1.67	s SATISFIABLE
7.03/1.67	v <instantiation>
7.03/1.67	v 	<list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4] </list>
7.03/1.67	v 	<values>7 3 19 9 13 18 23 3 19 9 11 8 7 25 19 20 5 18 14 25 19 20 11 8 5 9 19 3 7 8 19 9 11 18 5 9 19 3 22 6 19 25 11 15 5 25 10 3 11 6 19 25 11 15 5 25 0 3 11 24 19 25 11 15 5 25 0 3 5 15 19 8 5 20 19 3 5 12 5 3 21 2 5 12 5 3 21 2 5 12 5 3 0 3 5 12 19 18 0 18 19 9 4 2 0 18 19 2 0 2 1 2 1 2 19 2 1 2 1 2 19 2 1 2 1 2 19 2 1 2 1 2 19 2 16 2 2 15 18 16 6 2 18 2 16 2 2 18 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 2 2 6 17 18 6 2 2 8 2 2 18 2 8 2 2 6 18 8 6 18 2 6 8 18 2 6 18 8 6 2 2 6 8 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 </values>
7.03/1.67	v </instantiation>

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297638-1532721399/watcher-4297638-1532721399 -o /tmp/evaluation-result-4297638-1532721399/solver-4297638-1532721399 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532718264-16818 --watchdog 2580 HOME/xcsp3-exec -seed 2036296384 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297638-1532721399.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
solver pid=17457, runsolver pid=17454
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 7.89 8.15 8.15 2/199 17478
/proc/meminfo: memFree=28135204/32770624 swapFree=67108532/67108860
[pid=17457] ppid=17454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17457/stat : 17457 (xcsp3-exec) S 17454 17457 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89703094 115843072 363 33554432000 4194304 5098028 140720690785424 140720690783528 140661584990844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140720690791477 140720690791680 140720690791680 140720690794442 0
/proc/17457/statm: 28282 363 305 221 0 87 0
[pid=17459] ppid=17457 vsize=26104152 memory=26816 CPUtime=0.11 cores=0-7
/proc/17459/stat : 17459 (java) S 17457 17457 16791 0 -1 1077944320 5654 0 0 0 10 1 0 0 20 0 20 0 89703094 26730651648 6704 33554432000 4194304 4196468 140736255047216 140736255029760 139987896983287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
/proc/17459/statm: 6526038 6704 2995 1 0 6488315 0
[pid=17459/tid=17460] ppid=17457 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/17459/task/17460/stat : 17460 (java) R 17457 17457 16791 0 -1 4202560 3663 0 0 0 8 1 0 0 20 0 20 0 89703094 26730651648 6704 33554432000 4194304 4196468 140736255047216 139987901209648 139987496562896 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17461] ppid=17457 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17459/task/17461/stat : 17461 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 6704 33554432000 4194304 4196468 140736255047216 139987819563792 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17462] ppid=17457 vsize=26104152 memory=140055481489024 CPUtime=0 cores=0-7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 6704 33554432000 4194304 4196468 140736255047216 139987818511248 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17463] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 6704 33554432000 4194304 4196468 140736255047216 139987817458704 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17464] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 6704 33554432000 4194304 4196468 140736255047216 139987816406160 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17465] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 6704 33554432000 4194304 4196468 140736255047216 139987451402512 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17466] ppid=17457 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 6704 33554432000 4194304 4196468 140736255047216 139987450349968 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17467] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 6704 33554432000 4194304 4196468 140736255047216 139987449297424 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17468] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17457 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 6704 33554432000 4194304 4196468 140736255047216 139987448244880 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17469] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703097 26730651648 6704 33554432000 4194304 4196468 140736255047216 139986889337328 139987896994434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17470] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17457 16791 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89703097 26730651648 6704 33554432000 4194304 4196468 140736255047216 139986888283552 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17471] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17457 16791 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89703097 26730651648 6704 33554432000 4194304 4196468 140736255047216 139986887230960 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17472] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703100 26730651648 6704 33554432000 4194304 4196468 140736255047216 139986886179536 139987897001883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17473] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17473/stat : 17473 (java) S 17457 17457 16791 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 89703100 26730651648 6704 33554432000 4194304 4196468 140736255047216 139986885126128 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17474] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17457 16791 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89703100 26730651648 6704 33554432000 4194304 4196468 140736255047216 139986884073584 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17475] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17475/stat : 17475 (java) S 17457 17457 16791 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 89703100 26730651648 6704 33554432000 4194304 4196468 140736255047216 139986883021040 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17476] ppid=17457 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17459/task/17476/stat : 17476 (java) R 17457 17457 16791 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 20 0 89703100 26730651648 6704 33554432000 4194304 4196468 140736255047216 139986881968496 139987876001222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17477] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17457 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703100 26730651648 6704 33554432000 4194304 4196468 140736255047216 139986880916192 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17478] ppid=17457 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703100 26730651648 6704 33554432000 4194304 4196468 140736255047216 139986879863728 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28268 KiB

[startup+0.209743 s]*
/proc/loadavg: 7.89 8.15 8.15 3/199 17478
/proc/meminfo: memFree=28121348/32770624 swapFree=67108532/67108860
[pid=17457] ppid=17454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17457/stat : 17457 (xcsp3-exec) S 17454 17457 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89703094 115843072 363 33554432000 4194304 5098028 140720690785424 140720690783528 140661584990844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140720690791477 140720690791680 140720690791680 140720690794442 0
/proc/17457/statm: 28282 363 305 221 0 87 0
[pid=17459] ppid=17457 vsize=26104152 memory=41312 CPUtime=0.33 cores=0-7
/proc/17459/stat : 17459 (java) S 17457 17457 16791 0 -1 1077944320 8363 0 0 0 30 3 0 0 20 0 20 0 89703094 26730651648 10328 33554432000 4194304 4196468 140736255047216 140736255029760 139987896983287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
/proc/17459/statm: 6526038 10328 3185 1 0 6488315 0
[pid=17459/tid=17460] ppid=17457 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/17459/task/17460/stat : 17460 (java) R 17457 17457 16791 0 -1 4202560 5441 0 0 0 18 2 0 0 20 0 20 0 89703094 26730651648 10328 33554432000 4194304 4196468 140736255047216 139987901217168 139987881063774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17461] ppid=17457 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/17459/task/17461/stat : 17461 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 10328 33554432000 4194304 4196468 140736255047216 139987819563792 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17462] ppid=17457 vsize=26104152 memory=3906784270852363936 CPUtime=0 cores=0-7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 10328 33554432000 4194304 4196468 140736255047216 139987818511248 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17463] ppid=17457 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 10328 33554432000 4194304 4196468 140736255047216 139987817458704 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17464] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 10328 33554432000 4194304 4196468 140736255047216 139987816406160 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17465] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 10328 33554432000 4194304 4196468 140736255047216 139987451402512 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17466] ppid=17457 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 10328 33554432000 4194304 4196468 140736255047216 139987450349968 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17467] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 10328 33554432000 4194304 4196468 140736255047216 139987449297424 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17468] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17457 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703095 26730651648 10328 33554432000 4194304 4196468 140736255047216 139987448244880 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17469] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17457 16791 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89703097 26730651648 10328 33554432000 4194304 4196468 140736255047216 139986889337328 139987896994434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17470] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17457 16791 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89703097 26730651648 10328 33554432000 4194304 4196468 140736255047216 139986888283552 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17471] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17457 16791 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89703097 26730651648 10328 33554432000 4194304 4196468 140736255047216 139986887230960 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17472] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703100 26730651648 10328 33554432000 4194304 4196468 140736255047216 139986886179536 139987897001883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17473] ppid=17457 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17459/task/17473/stat : 17473 (java) S 17457 17457 16791 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 20 0 89703100 26730651648 10328 33554432000 4194304 4196468 140736255047216 139986885126128 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17474] ppid=17457 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17457 16791 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 89703100 26730651648 10328 33554432000 4194304 4196468 140736255047216 139986884073584 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17475] ppid=17457 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/17459/task/17475/stat : 17475 (java) S 17457 17457 16791 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 89703100 26730651648 10328 33554432000 4194304 4196468 140736255047216 139986883021040 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17476] ppid=17457 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/17459/task/17476/stat : 17476 (java) S 17457 17457 16791 0 -1 1077944384 811 0 0 0 7 0 0 0 20 0 20 0 89703100 26730651648 10328 33554432000 4194304 4196468 140736255047216 139986881968496 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17477] ppid=17457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17457 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703100 26730651648 10328 33554432000 4194304 4196468 140736255047216 139986880916192 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17478] ppid=17457 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703100 26730651648 10328 33554432000 4194304 4196468 140736255047216 139986879863728 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 42764 KiB

[startup+0.309784 s]*
/proc/loadavg: 7.89 8.15 8.15 4/199 17478
/proc/meminfo: memFree=28115912/32770624 swapFree=67108532/67108860
[pid=17457] ppid=17454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17457/stat : 17457 (xcsp3-exec) S 17454 17457 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89703094 115843072 363 33554432000 4194304 5098028 140720690785424 140720690783528 140661584990844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140720690791477 140720690791680 140720690791680 140720690794442 0
/proc/17457/statm: 28282 363 305 221 0 87 0
[pid=17459] ppid=17457 vsize=26108408 memory=48144 CPUtime=0.52 cores=0-7
/proc/17459/stat : 17459 (java) S 17457 17457 16791 0 -1 1077944320 9233 0 0 0 48 4 0 0 20 0 20 0 89703094 26735009792 12036 33554432000 4194304 4196468 140736255047216 140736255029760 139987896983287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
/proc/17459/statm: 6527102 12036 3233 1 0 6488315 0
[pid=17459/tid=17460] ppid=17457 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17459/task/17460/stat : 17460 (java) R 17457 17457 16791 0 -1 4202560 6159 0 0 0 27 2 0 0 20 0 20 0 89703094 26735009792 12036 33554432000 4194304 4196468 140736255047216 139987901212960 139987881063774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17461] ppid=17457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17461/stat : 17461 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26735009792 12036 33554432000 4194304 4196468 140736255047216 139987819563792 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17462] ppid=17457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26735009792 12036 33554432000 4194304 4196468 140736255047216 139987818511248 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17463] ppid=17457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26735009792 12036 33554432000 4194304 4196468 140736255047216 139987817458704 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17464] ppid=17457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26735009792 12036 33554432000 4194304 4196468 140736255047216 139987816406160 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17465] ppid=17457 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26735009792 12036 33554432000 4194304 4196468 140736255047216 139987451402512 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17466] ppid=17457 vsize=26108408 memory=140055326847919 CPUtime=0 cores=0-7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26735009792 12036 33554432000 4194304 4196468 140736255047216 139987450349968 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17467] ppid=17457 vsize=26108408 memory=140055326850224 CPUtime=0 cores=0-7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26735009792 12036 33554432000 4194304 4196468 140736255047216 139987449297424 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17468] ppid=17457 vsize=26108408 memory=140055326852528 CPUtime=0 cores=0-7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17457 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703095 26735009792 12036 33554432000 4194304 4196468 140736255047216 139987448244880 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17469] ppid=17457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17457 16791 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89703097 26735009792 12036 33554432000 4194304 4196468 140736255047216 139986889337328 139987896994434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17470] ppid=17457 vsize=26108408 memory=280110653712016 CPUtime=0 cores=0-7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17457 16791 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89703097 26735009792 12036 33554432000 4194304 4196468 140736255047216 139986888283552 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17471] ppid=17457 vsize=26108408 memory=280110653718928 CPUtime=0 cores=0-7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17457 16791 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89703097 26735009792 12036 33554432000 4194304 4196468 140736255047216 139986887230960 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17472] ppid=17457 vsize=26108408 memory=280110653660208 CPUtime=0 cores=0-7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703100 26735009792 12036 33554432000 4194304 4196468 140736255047216 139986886179536 139987897001883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17473] ppid=17457 vsize=26108408 memory=280110653732752 CPUtime=0.02 cores=0-7
/proc/17459/task/17473/stat : 17473 (java) S 17457 17457 16791 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 20 0 89703100 26735009792 12036 33554432000 4194304 4196468 140736255047216 139986885126128 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17474] ppid=17457 vsize=26108408 memory=280110653739664 CPUtime=0.02 cores=0-7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17457 16791 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 89703100 26735009792 12036 33554432000 4194304 4196468 140736255047216 139986884073584 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17475] ppid=17457 vsize=26108408 memory=280110653737360 CPUtime=0.03 cores=0-7
/proc/17459/task/17475/stat : 17475 (java) R 17457 17457 16791 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 20 0 89703100 26735009792 12036 33554432000 4194304 4196468 140736255047216 139986883007136 139987874869441 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17476] ppid=17457 vsize=26108408 memory=280110653753520 CPUtime=0.11 cores=0-7
/proc/17459/task/17476/stat : 17476 (java) S 17457 17457 16791 0 -1 1077944384 878 0 0 0 11 0 0 0 20 0 20 0 89703100 26735009792 12036 33554432000 4194304 4196468 140736255047216 139986881968496 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17477] ppid=17457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17457 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703100 26735009792 12036 33554432000 4194304 4196468 140736255047216 139986880916192 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17478] ppid=17457 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703100 26735009792 12036 33554432000 4194304 4196468 140736255047216 139986879863728 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 49596 KiB

[startup+0.700977 s]
/proc/loadavg: 7.89 8.15 8.15 6/199 17478
/proc/meminfo: memFree=28094496/32770624 swapFree=67108532/67108860
[pid=17457] ppid=17454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17457/stat : 17457 (xcsp3-exec) S 17454 17457 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89703094 115843072 363 33554432000 4194304 5098028 140720690785424 140720690783528 140661584990844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140720690791477 140720690791680 140720690791680 140720690794442 0
/proc/17457/statm: 28282 363 305 221 0 87 0
[pid=17459] ppid=17457 vsize=26110532 memory=95112 CPUtime=1.92 cores=0-7
/proc/17459/stat : 17459 (java) S 17457 17457 16791 0 -1 1077944320 14897 0 0 0 186 6 0 0 20 0 20 0 89703094 26737184768 23778 33554432000 4194304 4196468 140736255047216 140736255029760 139987896983287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
/proc/17459/statm: 6527633 23778 3364 1 0 6488827 0
[pid=17459/tid=17460] ppid=17457 vsize=26110532 memory=280110654111408 CPUtime=0.67 cores=0-7
/proc/17459/task/17460/stat : 17460 (java) R 17457 17457 16791 0 -1 4202560 7057 0 0 0 64 3 0 0 20 0 20 0 89703094 26737184768 23778 33554432000 4194304 4196468 140736255047216 139987901216992 139987896995222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17461] ppid=17457 vsize=26110532 memory=140055327056752 CPUtime=0 cores=0-7
/proc/17459/task/17461/stat : 17461 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26737184768 23778 33554432000 4194304 4196468 140736255047216 139987819563792 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17462] ppid=17457 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26737184768 23778 33554432000 4194304 4196468 140736255047216 139987818511248 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17463] ppid=17457 vsize=26110532 memory=1012 CPUtime=0 cores=0-7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26737184768 23778 33554432000 4194304 4196468 140736255047216 139987817458704 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17464] ppid=17457 vsize=26110532 memory=1444 CPUtime=0 cores=0-7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703095 26737184768 23778 33554432000 4194304 4196468 140736255047216 139987816406160 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17465] ppid=17457 vsize=26110532 memory=1200 CPUtime=0 cores=0-7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26737184768 23778 33554432000 4194304 4196468 140736255047216 139987451402512 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17466] ppid=17457 vsize=26110532 memory=15436 CPUtime=0 cores=0-7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26737184768 23778 33554432000 4194304 4196468 140736255047216 139987450349968 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17467] ppid=17457 vsize=26110532 memory=15700 CPUtime=0 cores=0-7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17457 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89703095 26737184768 23778 33554432000 4194304 4196468 140736255047216 139987449297424 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17468] ppid=17457 vsize=26110532 memory=16236 CPUtime=0 cores=0-7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17457 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703095 26737184768 23778 33554432000 4194304 4196468 140736255047216 139987448244880 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17469] ppid=17457 vsize=26110532 memory=4048 CPUtime=0 cores=0-7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17457 16791 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89703097 26737184768 23778 33554432000 4194304 4196468 140736255047216 139986889337328 139987896994434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17470] ppid=17457 vsize=26110532 memory=640 CPUtime=0 cores=0-7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17457 16791 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89703097 26737184768 23778 33554432000 4194304 4196468 140736255047216 139986888283552 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17471] ppid=17457 vsize=26110532 memory=1788 CPUtime=0 cores=0-7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17457 16791 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89703097 26737184768 23778 33554432000 4194304 4196468 140736255047216 139986887230960 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17472] ppid=17457 vsize=26110532 memory=960 CPUtime=0 cores=0-7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703100 26737184768 23778 33554432000 4194304 4196468 140736255047216 139986886179536 139987897001883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17473] ppid=17457 vsize=26110532 memory=0 CPUtime=0.29 cores=0-7
/proc/17459/task/17473/stat : 17473 (java) S 17457 17457 16791 0 -1 1077944384 1428 0 0 0 29 0 0 0 20 0 20 0 89703100 26737184768 23778 33554432000 4194304 4196468 140736255047216 139986885126128 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17474] ppid=17457 vsize=26110532 memory=1960 CPUtime=0.25 cores=0-7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17457 16791 0 -1 1077944384 1680 0 0 0 25 0 0 0 20 0 20 0 89703100 26737184768 23778 33554432000 4194304 4196468 140736255047216 139986884073584 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17475] ppid=17457 vsize=26110532 memory=5756 CPUtime=0.25 cores=0-7
/proc/17459/task/17475/stat : 17475 (java) S 17457 17457 16791 0 -1 1077944384 1183 0 0 0 25 0 0 0 20 0 20 0 89703100 26737184768 23778 33554432000 4194304 4196468 140736255047216 139986883021040 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17476] ppid=17457 vsize=26110532 memory=4616 CPUtime=0.41 cores=0-7
/proc/17459/task/17476/stat : 17476 (java) R 17457 17457 16791 0 -1 4202560 2239 0 0 0 40 1 0 0 20 0 20 0 89703100 26737184768 23778 33554432000 4194304 4196468 140736255047216 139986881964544 139987896995222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17477] ppid=17457 vsize=26110532 memory=1232 CPUtime=0 cores=0-7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17457 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89703100 26737184768 23778 33554432000 4194304 4196468 140736255047216 139986880916192 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17478] ppid=17457 vsize=26110532 memory=12012 CPUtime=0 cores=0-7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89703100 26737184768 23778 33554432000 4194304 4196468 140736255047216 139986879863728 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 26223660 KiB
Current children cumulated memory: 96564 KiB

[startup+1.50977 s]
/proc/loadavg: 7.89 8.15 8.15 6/199 17478
/proc/meminfo: memFree=27988180/32770624 swapFree=67108532/67108860
[pid=17457] ppid=17454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17457/stat : 17457 (xcsp3-exec) S 17454 17457 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89703094 115843072 363 33554432000 4194304 5098028 140720690785424 140720690783528 140661584990844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140720690791477 140720690791680 140720690791680 140720690794442 0
/proc/17457/statm: 28282 363 305 221 0 87 0
[pid=17459] ppid=17457 vsize=26643044 memory=219052 CPUtime=6.27 cores=0-7
/proc/17459/stat : 17459 (java) S 17457 17457 16791 0 -1 1077944320 24157 0 0 0 612 15 0 0 20 0 28 0 89703094 27282477056 54763 33554432000 4194304 4196468 140736255047216 140736255029760 139987896983287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
/proc/17459/statm: 6660761 54763 3413 1 0 6621955 0
[pid=17459/tid=17460] ppid=17457 vsize=26643044 memory=14413717810973266 CPUtime=1.2 cores=0-7
/proc/17459/task/17460/stat : 17460 (java) S 17457 17457 16791 0 -1 1077944384 7737 0 0 0 115 5 0 0 20 0 28 0 89703094 27282477056 54763 33554432000 4194304 4196468 140736255047216 139987901224064 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17461] ppid=17457 vsize=26643044 memory=0 CPUtime=0.01 cores=0-7
/proc/17459/task/17461/stat : 17461 (java) S 17457 17457 16791 0 -1 1077944384 140 0 0 0 0 1 0 0 20 0 28 0 89703095 27282477056 54763 33554432000 4194304 4196468 140736255047216 139987819563792 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17462] ppid=17457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17457 16791 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 89703095 27282477056 54763 33554432000 4194304 4196468 140736255047216 139987818511248 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17463] ppid=17457 vsize=26643044 memory=0 CPUtime=0.01 cores=0-7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17457 16791 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 28 0 89703095 27282477056 54763 33554432000 4194304 4196468 140736255047216 139987817458704 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17464] ppid=17457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17457 16791 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 89703095 27282477056 54763 33554432000 4194304 4196468 140736255047216 139987816406160 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17465] ppid=17457 vsize=26643044 memory=280110654385168 CPUtime=0.01 cores=0-7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17457 16791 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 28 0 89703095 27282477056 54763 33554432000 4194304 4196468 140736255047216 139987451402512 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17466] ppid=17457 vsize=26643044 memory=140055327193632 CPUtime=0 cores=0-7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17457 16791 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 89703095 27282477056 54763 33554432000 4194304 4196468 140736255047216 139987450349968 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17467] ppid=17457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17457 16791 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 89703095 27282477056 54763 33554432000 4194304 4196468 140736255047216 139987449297424 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17468] ppid=17457 vsize=26643044 memory=0 CPUtime=0.01 cores=0-7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17457 16791 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 28 0 89703095 27282477056 54763 33554432000 4194304 4196468 140736255047216 139987448244880 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17469] ppid=17457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17457 16791 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 89703097 27282477056 54763 33554432000 4194304 4196468 140736255047216 139986889337328 139987896994434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17470] ppid=17457 vsize=26643044 memory=2244 CPUtime=0 cores=0-7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17457 16791 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 89703097 27282477056 54763 33554432000 4194304 4196468 140736255047216 139986888283552 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17471] ppid=17457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17457 16791 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 89703097 27282477056 54763 33554432000 4194304 4196468 140736255047216 139986887230960 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17472] ppid=17457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89703100 27282477056 54763 33554432000 4194304 4196468 140736255047216 139986886179536 139987897001883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17473] ppid=17457 vsize=26643044 memory=0 CPUtime=0.97 cores=0-7
/proc/17459/task/17473/stat : 17473 (java) R 17457 17457 16791 0 -1 4202560 4147 0 0 0 96 1 0 0 20 0 28 0 89703100 27282477056 54763 33554432000 4194304 4196468 140736255047216 139986885114864 139987890080147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17474] ppid=17457 vsize=26643044 memory=0 CPUtime=0.89 cores=0-7
/proc/17459/task/17474/stat : 17474 (java) R 17457 17457 16791 0 -1 1077944384 3134 0 0 0 89 0 0 0 20 0 28 0 89703100 27282477056 54763 33554432000 4194304 4196468 140736255047216 139986884073584 139987896994434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17475] ppid=17457 vsize=26643044 memory=0 CPUtime=0.96 cores=0-7
/proc/17459/task/17475/stat : 17475 (java) R 17457 17457 16791 0 -1 4202560 3356 0 0 0 95 1 0 0 20 0 28 0 89703100 27282477056 54763 33554432000 4194304 4196468 140736255047216 139986883007008 139987880886600 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17476] ppid=17457 vsize=26643044 memory=6944656575208382560 CPUtime=0.65 cores=0-7
/proc/17459/task/17476/stat : 17476 (java) R 17457 17457 16791 0 -1 4202560 3448 0 0 0 64 1 0 0 20 0 28 0 89703100 27282477056 54763 33554432000 4194304 4196468 140736255047216 139986881968496 139987875968509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17477] ppid=17457 vsize=26643044 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17457 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89703100 27282477056 54763 33554432000 4194304 4196468 140736255047216 139986880916192 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17478] ppid=17457 vsize=26643044 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89703100 27282477056 54763 33554432000 4194304 4196468 140736255047216 139986879863728 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 220504 KiB

[startup+1.6946 s]
# the end of solver process 17457 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.4214 s, system=0.170207 s

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

[startup+1.60534 s]
/proc/loadavg: 7.89 8.15 8.15 6/199 17478
/proc/meminfo: memFree=27988180/32770624 swapFree=67108532/67108860
[pid=17457] ppid=17454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17457/stat : 17457 (xcsp3-exec) S 17454 17457 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89703094 115843072 363 33554432000 4194304 5098028 140720690785424 140720690783528 140661584990844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140720690791477 140720690791680 140720690791680 140720690794442 0
/proc/17457/statm: 28282 363 305 221 0 87 0
[pid=17459] ppid=17457 vsize=26645092 memory=219452 CPUtime=7.03 cores=0-7
/proc/17459/stat : 17459 (java) S 17457 17457 16791 0 -1 1077944320 24299 0 0 0 688 15 0 0 20 0 28 0 89703094 27284574208 54863 33554432000 4194304 4196468 140736255047216 140736255029760 139987896983287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
/proc/17459/statm: 6661273 54863 3413 1 0 6622467 0
[pid=17459/tid=17460] ppid=17457 vsize=26645092 memory=6944652177228980320 CPUtime=1.2 cores=0-7
/proc/17459/task/17460/stat : 17460 (java) S 17457 17457 16791 0 -1 1077944384 7737 0 0 0 115 5 0 0 20 0 28 0 89703094 27284574208 54863 33554432000 4194304 4196468 140736255047216 139987901224064 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17461] ppid=17457 vsize=26645092 memory=6944656592455360604 CPUtime=0.01 cores=0-7
/proc/17459/task/17461/stat : 17461 (java) S 17457 17457 16791 0 -1 1077944384 140 0 0 0 0 1 0 0 20 0 28 0 89703095 27284574208 54863 33554432000 4194304 4196468 140736255047216 139987819563792 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17462] ppid=17457 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17457 16791 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 89703095 27284574208 54863 33554432000 4194304 4196468 140736255047216 139987818511248 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17463] ppid=17457 vsize=26645092 memory=3868 CPUtime=0.01 cores=0-7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17457 16791 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 28 0 89703095 27284574208 54863 33554432000 4194304 4196468 140736255047216 139987817458704 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17464] ppid=17457 vsize=26645092 memory=26020 CPUtime=0 cores=0-7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17457 16791 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 89703095 27284574208 54863 33554432000 4194304 4196468 140736255047216 139987816406160 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17465] ppid=17457 vsize=26645092 memory=1280 CPUtime=0.01 cores=0-7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17457 16791 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 28 0 89703095 27284574208 54863 33554432000 4194304 4196468 140736255047216 139987451402512 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17466] ppid=17457 vsize=26645092 memory=2340 CPUtime=0 cores=0-7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17457 16791 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 89703095 27284574208 54863 33554432000 4194304 4196468 140736255047216 139987450349968 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17467] ppid=17457 vsize=26645092 memory=1832 CPUtime=0 cores=0-7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17457 16791 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 89703095 27284574208 54863 33554432000 4194304 4196468 140736255047216 139987449297424 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17468] ppid=17457 vsize=26645092 memory=792 CPUtime=0.01 cores=0-7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17457 16791 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 28 0 89703095 27284574208 54863 33554432000 4194304 4196468 140736255047216 139987448244880 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17469] ppid=17457 vsize=26645092 memory=1960 CPUtime=0 cores=0-7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17457 16791 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 89703097 27284574208 54863 33554432000 4194304 4196468 140736255047216 139986889337328 139987896994434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17470] ppid=17457 vsize=26645092 memory=5756 CPUtime=0 cores=0-7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17457 16791 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 89703097 27284574208 54863 33554432000 4194304 4196468 140736255047216 139986888283552 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17471] ppid=17457 vsize=26645092 memory=4616 CPUtime=0 cores=0-7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17457 16791 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 89703097 27284574208 54863 33554432000 4194304 4196468 140736255047216 139986887230960 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17472] ppid=17457 vsize=26645092 memory=1232 CPUtime=0 cores=0-7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89703100 27284574208 54863 33554432000 4194304 4196468 140736255047216 139986886179536 139987897001883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17473] ppid=17457 vsize=26645092 memory=164 CPUtime=1.03 cores=0-7
/proc/17459/task/17473/stat : 17473 (java) R 17457 17457 16791 0 -1 4202560 4167 0 0 0 102 1 0 0 20 0 28 0 89703100 27284574208 54863 33554432000 4194304 4196468 140736255047216 139986885107696 139987880475863 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17474] ppid=17457 vsize=26645092 memory=-9001734013606258791 CPUtime=0.95 cores=0-7
/proc/17459/task/17474/stat : 17474 (java) R 17457 17457 16791 0 -1 4202560 3142 0 0 0 95 0 0 0 20 0 28 0 89703100 27284574208 54863 33554432000 4194304 4196468 140736255047216 139986884062144 139987878506926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17475] ppid=17457 vsize=26645092 memory=-7384994778349281184 CPUtime=1.02 cores=0-7
/proc/17459/task/17475/stat : 17475 (java) R 17457 17457 16791 0 -1 4202560 3367 0 0 0 101 1 0 0 20 0 28 0 89703100 27284574208 54863 33554432000 4194304 4196468 140736255047216 139986883006168 139987877683971 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17476] ppid=17457 vsize=26645092 memory=-9001734013606258791 CPUtime=0.69 cores=0-7
/proc/17459/task/17476/stat : 17476 (java) R 17457 17457 16791 0 -1 4202560 3527 0 0 0 68 1 0 0 20 0 28 0 89703100 27284574208 54863 33554432000 4194304 4196468 140736255047216 139986881968496 139987875692229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17477] ppid=17457 vsize=26645092 memory=1399101730491701635 CPUtime=0 cores=0-7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17457 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89703100 27284574208 54863 33554432000 4194304 4196468 140736255047216 139986880916192 139987896993493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
[pid=17459/tid=17478] ppid=17457 vsize=26645092 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17457 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89703100 27284574208 54863 33554432000 4194304 4196468 140736255047216 139986879863728 139987896994434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736255054977 140736255055149 140736255055149 140736255057871 0
Current children cumulated CPU time: 7.03 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 220904 KiB

Child status: 0
Real time (s): 1.69467
CPU time (s): 7.5916
CPU user time (s): 7.4214
CPU system time (s): 0.170207
CPU usage (%): 447.971
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 220904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.4214
system time used= 0.170207
maximum resident set size= 221640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3103
involuntary context switches= 117


# summary of solver processes directly reported to runsolver:
#   pid: 17457
#   total CPU time (s): 7.5916
#   total CPU user time (s): 7.4214
#   total CPU system time (s): 0.170207

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026272 second user time and 0.06265 second system time

The end

Name	CarSequencing/ CarSequencing-75-01_c18.xml
MD5SUM	440a7f21d9ad6b426785aa5fd584fc01
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	7.5916
Satisfiable
(Un)Satisfiability was proved
Number of variables	1200
Number of constraints	1416
Number of domains	2
Minimum domain size	2
Maximum domain size	26
Distribution of domain sizes	[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree	2
Maximum variable degree	73
Distribution of variable degrees	[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":19},"...",{"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":6}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":3}, {"degree":73,"count":61}]
Minimum constraint arity	2
Maximum constraint arity	200
Distribution of constraint arities	[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":1},{"arity":50,"count":1},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":60,"count":1},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":1},{"arity":76,"count":1},{"arity":77,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints	200
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":200},{"type":"sum","count":1215},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective

Trace number 4297638

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data