| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: OscaR - Conflict Ordering 2017-06-30 | SAT | 8.42835 | 3.19033 |
| 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.769068 |
| 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 |
0.27/0.28 c version: 2017-06-30 0.27/0.29 c seed: 1253477843 0.27/0.29 c timeout: 2400 0.27/0.29 c memlimit: 15500 0.27/0.29 c nbcore: 8 0.45/0.31 c Parsing instance... 3.35/1.26 c Parsing done, starting search... 8.25/3.15 s SATISFIABLE 8.25/3.15 v <instantiation> 8.25/3.15 v <list> 8.25/3.15 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] 8.25/3.15 v </list> 8.25/3.15 v <values> 8.25/3.15 v 0 2 7 23 70 211 149 204 128 141 182 61 183 63 189 83 6 18 55 165 11 35 105 73 219 172 31 93 37 113 96 45 136 167 16 49 148 201 119 114 101 62 186 74 222 180 54 163 4 14 42 126 137 170 24 72 217 166 13 40 121 120 118 112 94 39 117 108 81 1 3 10 30 90 28 85 12 36 109 84 9 29 87 20 60 181 57 171 27 82 5 15 47 143 187 75 225 191 88 21 65 195 100 59 177 46 138 173 33 99 56 168 19 58 175 41 124 129 145 194 97 50 151 210 146 197 106 76 230 205 130 147 199 111 92 34 104 69 209 142 185 71 213 153 218 169 22 66 198 110 89 25 77 231 208 139 176 44 132 154 221 178 48 144 190 86 17 51 155 223 184 67 203 123 127 140 179 52 156 226 193 95 43 131 152 214 157 228 200 115 103 68 206 133 158 232 212 150 207 135 164 8 26 78 235 220 174 38 116 107 79 237 227 196 102 64 192 91 32 98 53 160 238 229 202 122 125 134 161 242 240 236 224 188 80 241 239 233 215 159 234 216 162 0 0 0 0 0 0 0 0 0 2 0 0 0 2 1 0 0 2 1 2 0 2 1 2 1 2 1 2 1 1 1 2 1 1 2 2 1 1 2 0 1 1 2 0 2 1 2 0 2 0 2 0 2 0 2 0 2 0 2 1 2 0 2 1 0 0 2 1 0 0 2 1 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 1 2 0 0 1 0 0 0 1 0 2 0 1 0 2 2 1 0 2 2 0 0 2 2 0 1 2 2 0 1 0 2 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 2 1 0 1 2 0 0 1 2 0 0 1 2 0 0 1 2 0 0 1 2 0 0 1 2 1 0 1 2 1 1 1 2 1 1 1 2 1 1 1 0 1 1 1 0 2 1 1 0 2 0 1 0 2 0 2 0 2 0 2 2 2 0 2 2 0 0 2 2 0 2 2 2 0 2 0 2 0 2 0 0 0 2 0 0 0 2 0 0 0 1 0 0 0 1 1 0 0 1 1 2 0 1 1 2 0 1 1 2 0 0 1 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 1 2 0 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 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 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 2 1 0 0 2 0 0 0 2 0 2 0 2 0 2 0 2 0 2 0 1 0 2 0 1 0 2 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 1 2 0 2 1 2 0 2 2 2 0 2 2 1 0 2 2 1 0 2 2 1 0 0 2 1 0 0 2 1 0 0 2 1 0 0 2 1 0 0 2 1 0 2 2 1 0 2 0 1 0 2 0 1 0 2 0 1 2 2 0 1 2 0 0 1 2 0 1 1 2 0 1 0 2 0 1 0 2 0 1 0 2 0 1 0 2 0 0 0 2 0 0 2 2 0 0 2 0 0 0 2 0 1 0 2 0 1 1 2 0 1 1 1 0 1 1 1 2 1 1 1 2 1 1 1 2 1 0 1 2 1 0 1 2 1 0 1 2 1 0 1 2 1 0 1 2 1 2 1 2 1 2 1 2 1 2 1 0 1 2 1 0 2 2 1 0 2 2 1 0 2 2 1 0 2 2 1 1 2 2 1 1 2 2 1 1 2 1 1 1 2 1 1 1 2 1 1 0 2 1 1 0 1 1 1 0 1 0 1 0 1 0 2 0 1 0 2 1 1 0 2 1 2 0 2 1 2 0 2 1 2 0 2 1 2 0 2 1 2 0 2 1 2 0 2 1 2 2 2 1 2 2 0 1 2 2 0 0 2 2 0 0 2 2 0 0 2 1 0 0 2 1 1 0 2 1 1 0 2 1 1 0 0 1 1 0 0 2 1 0 0 2 2 0 0 2 2 1 0 2 2 1 2 2 2 1 2 0 2 1 2 0 1 1 2 0 1 1 2 0 1 1 2 0 1 1 2 2 1 1 2 2 0 1 2 2 0 1 2 2 0 1 2 2 0 1 2 1 0 1 2 1 0 1 2 1 0 0 2 1 0 0 1 1 0 0 1 2 0 0 1 2 2 0 1 2 2 0 1 2 2 0 2 2 2 0 2 1 2 0 2 1 1 0 2 1 1 1 2 1 1 1 2 1 1 1 2 0 1 1 2 0 1 1 2 0 1 2 2 0 1 2 2 0 1 2 2 1 1 2 2 1 0 2 2 1 0 1 2 1 0 1 1 1 0 1 1 2 0 1 1 2 1 1 1 2 1 2 1 2 1 2 2 2 1 2 2 1 1 2 2 1 1 2 2 1 1 0 2 1 1 0 2 1 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 2 2 2 1 2 1 2 1 2 1 2 1 2 1 2 0 2 1 2 0 0 1 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 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 1 2 2 2 1 0 2 2 1 0 2 2 1 0 2 1 1 0 2 1 0 0 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 2 1 2 2 2 1 2 2 2 1 1 2 2 1 1 1 2 1 1 1 1 1 1 1 1 2 1 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 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 2 2 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 0 2 2 2 0 0 2 2 0 0 0 2 0 0 0 0 81 81 81 8.25/3.15 v </values> 8.25/3.15 v </instantiation>
OK
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246471-1500711814/watcher-4246471-1500711814 -o /tmp/evaluation-result-4246471-1500711814/solver-4246471-1500711814 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500682654-14431 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1253477843 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246471-1500711814.xml pid=18609 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.79 1.62 1.54 3/261 18612 /proc/meminfo: memFree=31067740/32770624 swapFree=5896/264672 [pid=18612] ppid=18609 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/stat : 18612 (java) S 18609 18612 14399 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 6446454 369864704 1413 33554432000 4194304 4196468 140733492031888 140733492014432 140419905179383 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 /proc/18612/statm: 90299 1413 1072 1 0 79210 0 [pid=18612/tid=18613] ppid=18609 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18613/stat : 18613 (java) S 18609 18612 14399 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 6446454 369864704 1413 33554432000 4194304 4196468 140733492031888 140419909421472 140419905190530 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [startup+0.100075 s] /proc/loadavg: 1.79 1.62 1.54 3/261 18612 /proc/meminfo: memFree=31067740/32770624 swapFree=5896/264672 [pid=18612] ppid=18609 vsize=13263912 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/18612/stat : 18612 (java) S 18609 18612 14399 0 -1 1077944320 6959 0 0 0 10 1 0 0 20 0 20 0 6446454 13582245888 7200 33554432000 4194304 4196468 140733492031888 140733492014432 140419905179383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 /proc/18612/statm: 3315978 7200 3397 1 0 3303698 0 [pid=18612/tid=18613] ppid=18609 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18613/stat : 18613 (java) R 18609 18612 14399 0 -1 4202560 4979 0 0 0 8 0 0 0 20 0 20 0 6446454 13582245888 7200 33554432000 4194304 4196468 140733492031888 140419909349344 140419891247502 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13263912 [startup+0.200437 s] /proc/loadavg: 1.79 1.62 1.54 3/261 18612 /proc/meminfo: memFree=31067740/32770624 swapFree=5896/264672 [pid=18612] ppid=18609 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/18612/stat : 18612 (java) S 18609 18612 14399 0 -1 1077944320 9019 0 0 0 25 2 0 0 20 0 20 0 6446454 13582245888 9451 33554432000 4194304 4196468 140733492031888 140733492014432 140419905179383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 /proc/18612/statm: 3315978 9451 3545 1 0 3303698 0 [pid=18612/tid=18613] ppid=18609 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18613/stat : 18613 (java) R 18609 18612 14399 0 -1 4202560 6741 0 0 0 17 1 0 0 20 0 20 0 6446454 13582245888 9451 33554432000 4194304 4196468 140733492031888 140419909391488 140419905201309 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 13263912 [startup+0.300381 s] /proc/loadavg: 1.79 1.62 1.54 3/261 18612 /proc/meminfo: memFree=31067740/32770624 swapFree=5896/264672 [pid=18612] ppid=18609 vsize=13263912 CPUtime=0.45 cores=1,3,5,7,9,11,13,15 /proc/18612/stat : 18612 (java) S 18609 18612 14399 0 -1 1077944320 10296 0 0 0 43 2 0 0 20 0 20 0 6446454 13582245888 11604 33554432000 4194304 4196468 140733492031888 140733492014432 140419905179383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 /proc/18612/statm: 3315978 11604 3655 1 0 3303698 0 [pid=18612/tid=18613] ppid=18609 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18613/stat : 18613 (java) R 18609 18612 14399 0 -1 4202560 7430 0 0 0 26 2 0 0 20 0 20 0 6446454 13582245888 11604 33554432000 4194304 4196468 140733492031888 140419909408816 140419905201309 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 13263912 [startup+0.700268 s] /proc/loadavg: 1.79 1.62 1.54 3/261 18612 /proc/meminfo: memFree=31067740/32770624 swapFree=5896/264672 [pid=18612] ppid=18609 vsize=13265980 CPUtime=1.53 cores=1,3,5,7,9,11,13,15 /proc/18612/stat : 18612 (java) S 18609 18612 14399 0 -1 1077944320 14633 0 0 0 149 4 0 0 20 0 20 0 6446454 13584363520 20923 33554432000 4194304 4196468 140733492031888 140733492014432 140419905179383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 /proc/18612/statm: 3316495 20923 3770 1 0 3304210 0 [pid=18612/tid=18613] ppid=18609 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18613/stat : 18613 (java) R 18609 18612 14399 0 -1 4202560 8600 0 0 0 65 2 0 0 20 0 20 0 6446454 13584363520 20923 33554432000 4194304 4196468 140733492031888 140419909415776 140419541258775 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 Current children cumulated CPU time (s) 1.53 Current children cumulated vsize (KiB) 13265980 [startup+1.50108 s] /proc/loadavg: 1.79 1.62 1.54 4/281 18632 /proc/meminfo: memFree=30965456/32770624 swapFree=5896/264708 [pid=18612] ppid=18609 vsize=13270076 CPUtime=4.51 cores=1,3,5,7,9,11,13,15 /proc/18612/stat : 18612 (java) S 18609 18612 14399 0 -1 1077944320 30023 0 0 0 442 9 0 0 20 0 20 0 6446454 13588557824 44507 33554432000 4194304 4196468 140733492031888 140733492014432 140419905179383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 /proc/18612/statm: 3317519 44507 3792 1 0 3305234 0 [pid=18612/tid=18613] ppid=18609 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18613/stat : 18613 (java) R 18609 18612 14399 0 -1 4202560 11392 0 0 0 142 5 0 0 20 0 20 0 6446454 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419909417688 140419541262578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18615] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18615/stat : 18615 (java) S 18609 18612 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419863939728 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18616] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18616/stat : 18616 (java) S 18609 18612 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419503049232 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18617] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18617/stat : 18617 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419501996432 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18618] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18618/stat : 18618 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419500943632 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18619] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18619/stat : 18619 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419499891856 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18620] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18620/stat : 18620 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419498839056 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18621] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18621/stat : 18621 (java) S 18609 18612 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419497786256 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18622] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18622/stat : 18622 (java) S 18609 18612 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419496733456 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18623] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18623/stat : 18623 (java) S 18609 18612 14399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6446457 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419368122736 140419905190530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18624] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18624/stat : 18624 (java) S 18609 18612 14399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6446457 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419367068704 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18625] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18625/stat : 18625 (java) S 18609 18612 14399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6446457 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419366015856 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18626] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18626/stat : 18626 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446460 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419364964176 140419905197979 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18627] ppid=18609 vsize=13270076 CPUtime=0.81 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18627/stat : 18627 (java) R 18609 18612 14399 0 -1 4202560 4590 0 0 0 81 0 0 0 20 0 20 0 6446460 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419363894928 140419886699068 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18628] ppid=18609 vsize=13270076 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18628/stat : 18628 (java) R 18609 18612 14399 0 -1 4202560 3867 0 0 0 68 1 0 0 20 0 20 0 6446460 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419362840776 140419885751016 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18629] ppid=18609 vsize=13270076 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18629/stat : 18629 (java) R 18609 18612 14399 0 -1 4202560 2627 0 0 0 69 0 0 0 20 0 20 0 6446460 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419361793184 140419884425525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18630] ppid=18609 vsize=13270076 CPUtime=0.8 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18630/stat : 18630 (java) S 18609 18612 14399 0 -1 1077944384 6135 0 0 0 79 1 0 0 20 0 20 0 6446460 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419360754160 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18631] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18631/stat : 18631 (java) S 18609 18612 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6446460 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419359701600 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18632] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18632/stat : 18632 (java) S 18609 18612 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6446460 13588557824 44507 33554432000 4194304 4196468 140733492031888 140419358648880 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 Current children cumulated CPU time (s) 4.51 Current children cumulated vsize (KiB) 13270076 [startup+3.10096 s] /proc/loadavg: 1.79 1.62 1.54 3/281 18632 /proc/meminfo: memFree=30881452/32770624 swapFree=5896/264708 [pid=18612] ppid=18609 vsize=13270076 CPUtime=8.25 cores=1,3,5,7,9,11,13,15 /proc/18612/stat : 18612 (java) S 18609 18612 14399 0 -1 1077944320 35749 0 0 0 815 10 0 0 20 0 20 0 6446454 13588557824 55359 33554432000 4194304 4196468 140733492031888 140733492014432 140419905179383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 /proc/18612/statm: 3317519 55359 3798 1 0 3305234 0 [pid=18612/tid=18613] ppid=18609 vsize=13270076 CPUtime=3.07 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18613/stat : 18613 (java) R 18609 18612 14399 0 -1 4202560 11724 0 0 0 302 5 0 0 20 0 20 0 6446454 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419909415624 140419550000868 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18615] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18615/stat : 18615 (java) S 18609 18612 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419863939728 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18616] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18616/stat : 18616 (java) S 18609 18612 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419503049232 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18617] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18617/stat : 18617 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419501996432 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18618] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18618/stat : 18618 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419500943632 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18619] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18619/stat : 18619 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419499891856 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18620] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18620/stat : 18620 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419498839056 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18621] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18621/stat : 18621 (java) S 18609 18612 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419497786256 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18622] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18622/stat : 18622 (java) S 18609 18612 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419496733456 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18623] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18623/stat : 18623 (java) S 18609 18612 14399 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 6446457 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419368122736 140419905190530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18624] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18624/stat : 18624 (java) S 18609 18612 14399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6446457 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419367068704 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18625] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18625/stat : 18625 (java) S 18609 18612 14399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6446457 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419366015856 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18626] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18626/stat : 18626 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419364964176 140419905197979 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18627] ppid=18609 vsize=13270076 CPUtime=1.56 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18627/stat : 18627 (java) S 18609 18612 14399 0 -1 1077944384 5571 0 0 0 155 1 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419363912560 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18628] ppid=18609 vsize=13270076 CPUtime=1.4 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18628/stat : 18628 (java) S 18609 18612 14399 0 -1 1077944384 5687 0 0 0 139 1 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419362859760 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18629] ppid=18609 vsize=13270076 CPUtime=1.33 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18629/stat : 18629 (java) S 18609 18612 14399 0 -1 1077944384 5105 0 0 0 132 1 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419361806960 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18630] ppid=18609 vsize=13270076 CPUtime=0.85 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18630/stat : 18630 (java) S 18609 18612 14399 0 -1 1077944384 6224 0 0 0 84 1 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419360754160 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18631] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18631/stat : 18631 (java) S 18609 18612 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419359701600 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18632] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18632/stat : 18632 (java) S 18609 18612 14399 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419358648880 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 Current children cumulated CPU time (s) 8.25 Current children cumulated vsize (KiB) 13270076 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18612 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.10096 s] /proc/loadavg: 1.79 1.62 1.54 3/281 18632 /proc/meminfo: memFree=30881452/32770624 swapFree=5896/264708 [pid=18612] ppid=18609 vsize=13270076 CPUtime=8.25 cores=1,3,5,7,9,11,13,15 /proc/18612/stat : 18612 (java) S 18609 18612 14399 0 -1 1077944320 35749 0 0 0 815 10 0 0 20 0 20 0 6446454 13588557824 55359 33554432000 4194304 4196468 140733492031888 140733492014432 140419905179383 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 /proc/18612/statm: 3317519 55359 3798 1 0 3305234 0 [pid=18612/tid=18613] ppid=18609 vsize=13270076 CPUtime=3.07 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18613/stat : 18613 (java) R 18609 18612 14399 0 -1 4202560 11724 0 0 0 302 5 0 0 20 0 20 0 6446454 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419909415624 140419550000868 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18615] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18615/stat : 18615 (java) S 18609 18612 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419863939728 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18616] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18616/stat : 18616 (java) S 18609 18612 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419503049232 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18617] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18617/stat : 18617 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419501996432 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18618] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18618/stat : 18618 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419500943632 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18619] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18619/stat : 18619 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419499891856 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18620] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18620/stat : 18620 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419498839056 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18621] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18621/stat : 18621 (java) S 18609 18612 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419497786256 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18622] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18622/stat : 18622 (java) S 18609 18612 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6446455 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419496733456 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18623] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18623/stat : 18623 (java) S 18609 18612 14399 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 6446457 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419368122736 140419905190530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18624] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18624/stat : 18624 (java) S 18609 18612 14399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6446457 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419367068704 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18625] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18625/stat : 18625 (java) S 18609 18612 14399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6446457 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419366015856 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18626] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18626/stat : 18626 (java) S 18609 18612 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419364964176 140419905197979 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18627] ppid=18609 vsize=13270076 CPUtime=1.56 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18627/stat : 18627 (java) S 18609 18612 14399 0 -1 1077944384 5571 0 0 0 155 1 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419363912560 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18628] ppid=18609 vsize=13270076 CPUtime=1.4 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18628/stat : 18628 (java) S 18609 18612 14399 0 -1 1077944384 5687 0 0 0 139 1 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419362859760 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18629] ppid=18609 vsize=13270076 CPUtime=1.33 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18629/stat : 18629 (java) S 18609 18612 14399 0 -1 1077944384 5105 0 0 0 132 1 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419361806960 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18630] ppid=18609 vsize=13270076 CPUtime=0.85 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18630/stat : 18630 (java) S 18609 18612 14399 0 -1 1077944384 6224 0 0 0 84 1 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419360754160 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18631] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18631/stat : 18631 (java) S 18609 18612 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419359701600 140419905189589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 [pid=18612/tid=18632] ppid=18609 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18612/task/18632/stat : 18632 (java) S 18609 18612 14399 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 6446460 13588557824 55359 33554432000 4194304 4196468 140733492031888 140419358648880 140419905190530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12070912 140733492040841 140733492041028 140733492041028 140733492043727 0 Current children cumulated CPU time (s) 8.25 Current children cumulated vsize (KiB) 13270076 Child status: 0 Real time (s): 3.19033 CPU time (s): 8.42835 CPU user time (s): 8.30034 CPU system time (s): 0.128007 CPU usage (%): 264.184 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.30034 system time used= 0.128007 maximum resident set size= 236604 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37957 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= 4130 involuntary context switches= 569 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.026287 second user time and 0.035387 second system time The end
Begin job on node150 at 2017-07-22 10:23:34 IDJOB=4246471 IDBENCH=125572 IDSOLVER=2628 FILE ID=node150/4246471-1500711814 RUNJOBID= node150-1500682654-14431 PBS_JOBID= 20623331 Free space on /tmp= 61984 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-05.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246471-1500711814/watcher-4246471-1500711814 -o /tmp/evaluation-result-4246471-1500711814/solver-4246471-1500711814 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500682654-14431 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1253477843 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246471-1500711814.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 039cea46cde688c2971a1406f493a012 RANDOM SEED=1253477843 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31068112 kB MemAvailable: 31337172 kB Buffers: 123612 kB Cached: 425432 kB SwapCached: 0 kB Active: 992392 kB Inactive: 273416 kB Active(anon): 719368 kB Inactive(anon): 8744 kB Active(file): 273024 kB Inactive(file): 264672 kB Unevictable: 5896 kB Mlocked: 5896 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42224 kB Writeback: 0 kB AnonPages: 732352 kB Mapped: 45668 kB Shmem: 8848 kB Slab: 128672 kB SReclaimable: 94400 kB SUnreclaim: 34272 kB KernelStack: 4848 kB PageTables: 6548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2196680 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 606208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61944 MiB End job on node150 at 2017-07-22 10:23:37