Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 218.767 | 28.7243 |
Name | CoveringArray/CoveringArray-elt-s1/ CoveringArray-elt-3-10-2-12.xml |
MD5SUM | 616f71b8e0d8bc577b21aa831e8a99b8 |
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 | 255.478 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2400 |
Number of constraints | 1092 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 12 |
Distribution of domain sizes | [{"size":8,"count":1440},{"size":12,"count":960}] |
Minimum variable degree | 2 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":9,"count":1440}] |
Minimum constraint arity | 8 |
Maximum constraint arity | 120 |
Distribution of constraint arities | [{"arity":8,"count":120},{"arity":13,"count":960},{"arity":120,"count":12}] |
Number of extensional constraints | 12 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":12},{"type":"allDifferent","count":120},{"type":"element","count":960}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271098-1502836778.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271098-1502836778.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.34/0.26 c parse instance... 5.38/1.80 c solve instance... 218.74/28.70 s SATISFIABLE 218.74/28.70 v <instantiation> 218.74/28.70 v <list>p[0][0] p[0][1] p[0][2] p[0][3] p[0][4] p[0][5] p[0][6] p[0][7] p[1][0] p[1][1] p[1][2] p[1][3] p[1][4] p[1][5] p[1][6] p[1][7] p[2][0] p[2][1] p[2][2] p[2][3] p[2][4] p[2][5] p[2][6] p[2][7] p[3][0] p[3][1] p[3][2] p[3][3] p[3][4] p[3][5] p[3][6] p[3][7] p[4][0] p[4][1] p[4][2] p[4][3] p[4][4] p[4][5] p[4][6] p[4][7] p[5][0] p[5][1] p[5][2] p[5][3] p[5][4] p[5][5] p[5][6] p[5][7] p[6][0] p[6][1] p[6][2] p[6][3] p[6][4] p[6][5] p[6][6] p[6][7] p[7][0] p[7][1] p[7][2] p[7][3] p[7][4] p[7][5] p[7][6] p[7][7] p[8][0] p[8][1] p[8][2] p[8][3] p[8][4] p[8][5] p[8][6] p[8][7] p[9][0] p[9][1] p[9][2] p[9][3] p[9][4] p[9][5] p[9][6] p[9][7] p[10][0] p[10][1] p[10][2] p[10][3] p[10][4] p[10][5] p[10][6] p[10][7] p[11][0] p[11][1] p[11][2] p[11][3] p[11][4] p[11][5] p[11][6] p[11][7] p[12][0] p[12][1] p[12][2] p[12][3] p[12][4] p[12][5] p[12][6] p[12][7] p[13][0] p[13][1] p[13][2] p[13][3] p[13][4] p[13][5] p[13][6] p[13][7] p[14][0] p[14][1] p[14][2] p[14][3] p[14][4] p[14][5] p[14][6] p[14][7] p[15][0] p[15][1] p[15][2] p[15][3] p[15][4] p[15][5] p[15][6] p[15][7] p[16][0] p[16][1] p[16][2] p[16][3] p[16][4] p[16][5] p[16][6] p[16][7] p[17][0] p[17][1] p[17][2] p[17][3] p[17][4] p[17][5] p[17][6] p[17][7] p[18][0] p[18][1] p[18][2] p[18][3] p[18][4] p[18][5] p[18][6] p[18][7] p[19][0] p[19][1] p[19][2] p[19][3] p[19][4] p[19][5] p[19][6] p[19][7] p[20][0] p[20][1] p[20][2] p[20][3] p[20][4] p[20][5] p[20][6] p[20][7] p[21][0] p[21][1] p[21][2] p[21][3] p[21][4] p[21][5] p[21][6] p[21][7] p[22][0] p[22][1] p[22][2] p[22][3] p[22][4] p[22][5] p[22][6] p[22][7] p[23][0] p[23][1] p[23][2] p[23][3] p[23][4] p[23][5] p[23][6] p[23][7] p[24][0] p[24][1] p[24][2] p[24][3] p[24][4] p[24][5] p[24][6] p[24][7] p[25][0] p[25][1] p[25][2] p[25][3] p[25][4] p[25][5] p[25][6] p[25][7] p[26][0] p[26][1] p[26][2] p[26][3] p[26][4] p[26][5] p[26][6] p[26][7] p[27][0] p[27][1] p[27][2] p[27][3] p[27][4] p[27][5] p[27][6] p[27][7] p[28][0] p[28][1] p[28][2] p[28][3] p[28][4] p[28][5] p[28][6] p[28][7] p[29][0] p[29][1] p[29][2] p[29][3] p[29][4] p[29][5] p[29][6] p[29][7] p[30][0] p[30][1] p[30][2] p[30][3] p[30][4] p[30][5] p[30][6] p[30][7] p[31][0] p[31][1] p[31][2] p[31][3] p[31][4] p[31][5] p[31][6] p[31][7] p[32][0] p[32][1] p[32][2] p[32][3] p[32][4] p[32][5] p[32][6] p[32][7] p[33][0] p[33][1] p[33][2] p[33][3] p[33][4] p[33][5] p[33][6] p[33][7] p[34][0] p[34][1] p[34][2] p[34][3] p[34][4] p[34][5] p[34][6] p[34][7] p[35][0] p[35][1] p[35][2] p[35][3] p[35][4] p[35][5] p[35][6] p[35][7] p[36][0] p[36][1] p[36][2] p[36][3] p[36][4] p[36][5] p[36][6] p[36][7] p[37][0] p[37][1] p[37][2] p[37][3] p[37][4] p[37][5] p[37][6] p[37][7] p[38][0] p[38][1] p[38][2] p[38][3] p[38][4] p[38][5] p[38][6] p[38][7] p[39][0] p[39][1] p[39][2] p[39][3] p[39][4] p[39][5] p[39][6] p[39][7] p[40][0] p[40][1] p[40][2] p[40][3] p[40][4] p[40][5] p[40][6] p[40][7] p[41][0] p[41][1] p[41][2] p[41][3] p[41][4] p[41][5] p[41][6] p[41][7] p[42][0] p[42][1] p[42][2] p[42][3] p[42][4] p[42][5] p[42][6] p[42][7] p[43][0] p[43][1] p[43][2] p[43][3] p[43][4] p[43][5] p[43][6] p[43][7] p[44][0] p[44][1] p[44][2] p[44][3] p[44][4] p[44][5] p[44][6] p[44][7] p[45][0] p[45][1] p[45][2] p[45][3] p[45][4] p[45][5] p[45][6] p[45][7] p[46][0] p[46][1] p[46][2] p[46][3] p[46][4] p[46][5] p[46][6] p[46][7] p[47][0] p[47][1] p[47][2] p[47][3] p[47][4] p[47][5] p[47][6] p[47][7] p[48][0] p[48][1] p[48][2] p[48][3] p[48][4] p[48][5] p[48][6] p[48][7] p[49][0] p[49][1] p[49][2] p[49][3] p[49][4] p[49][5] p[49][6] p[49][7] p[50][0] p[50][1] p[50][2] p[50][3] p[50][4] p[50][5] p[50][6] p[50][7] p[51][0] p[51][1] p[51][2] p[51][3] p[51][4] p[51][5] p[51][6] p[51][7] p[52][0] p[52][1] p[52][2] p[52][3] p[52][4] p[52][5] p[52][6] p[52][7] p[53][0] p[53][1] p[53][2] p[53][3] p[53][4] p[53][5] p[53][6] p[53][7] p[54][0] p[54][1] p[54][2] p[54][3] p[54][4] p[54][5] p[54][6] p[54][7] p[55][0] p[55][1] p[55][2] p[55][3] p[55][4] p[55][5] p[55][6] p[55][7] p[56][0] p[56][1] p[56][2] p[56][3] p[56][4] p[56][5] p[56][6] p[56][7] p[57][0] p[57][1] p[57][2] p[57][3] p[57][4] p[57][5] p[57][6] p[57][7] p[58][0] p[58][1] p[58][2] p[58][3] p[58][4] p[58][5] p[58][6] p[58][7] p[59][0] p[59][1] p[59][2] p[59][3] p[59][4] p[59][5] p[59][6] p[59][7] p[60][0] p[60][1] p[60][2] p[60][3] p[60][4] p[60][5] p[60][6] p[60][7] p[61][0] p[61][1] p[61][2] p[61][3] p[61][4] p[61][5] p[61][6] p[61][7] p[62][0] p[62][1] p[62][2] p[62][3] p[62][4] p[62][5] p[62][6] p[62][7] p[63][0] p[63][1] p[63][2] p[63][3] p[63][4] p[63][5] p[63][6] p[63][7] p[64][0] p[64][1] p[64][2] p[64][3] p[64][4] p[64][5] p[64][6] p[64][7] p[65][0] p[65][1] p[65][2] p[65][3] p[65][4] p[65][5] p[65][6] p[65][7] p[66][0] p[66][1] p[66][2] p[66][3] p[66][4] p[66][5] p[66][6] p[66][7] p[67][0] p[67][1] p[67][2] p[67][3] p[67][4] p[67][5] p[67][6] p[67][7] p[68][0] p[68][1] p[68][2] p[68][3] p[68][4] p[68][5] p[68][6] p[68][7] p[69][0] p[69][1] p[69][2] p[69][3] p[69][4] p[69][5] p[69][6] p[69][7] p[70][0] p[70][1] p[70][2] p[70][3] p[70][4] p[70][5] p[70][6] p[70][7] p[71][0] p[71][1] p[71][2] p[71][3] p[71][4] p[71][5] p[71][6] p[71][7] p[72][0] p[72][1] p[72][2] p[72][3] p[72][4] p[72][5] p[72][6] p[72][7] p[73][0] p[73][1] p[73][2] p[73][3] p[73][4] p[73][5] p[73][6] p[73][7] p[74][0] p[74][1] p[74][2] p[74][3] p[74][4] p[74][5] p[74][6] p[74][7] p[75][0] p[75][1] p[75][2] p[75][3] p[75][4] p[75][5] p[75][6] p[75][7] p[76][0] p[76][1] p[76][2] p[76][3] p[76][4] p[76][5] p[76][6] p[76][7] p[77][0] p[77][1] p[77][2] p[77][3] p[77][4] p[77][5] p[77][6] p[77][7] p[78][0] p[78][1] p[78][2] p[78][3] p[78][4] p[78][5] p[78][6] p[78][7] p[79][0] p[79][1] p[79][2] p[79][3] p[79][4] p[79][5] p[79][6] p[79][7] p[80][0] p[80][1] p[80][2] p[80][3] p[80][4] p[80][5] p[80][6] p[80][7] p[81][0] p[81][1] p[81][2] p[81][3] p[81][4] p[81][5] p[81][6] p[81][7] p[82][0] p[82][1] p[82][2] p[82][3] p[82][4] p[82][5] p[82][6] p[82][7] p[83][0] p[83][1] p[83][2] p[83][3] p[83][4] p[83][5] p[83][6] p[83][7] p[84][0] p[84][1] p[84][2] p[84][3] p[84][4] p[84][5] p[84][6] p[84][7] p[85][0] p[85][1] p[85][2] p[85][3] p[85][4] p[85][5] p[85][6] p[85][7] p[86][0] p[86][1] p[86][2] p[86][3] p[86][4] p[86][5] p[86][6] p[86][7] p[87][0] p[87][1] p[87][2] p[87][3] p[87][4] p[87][5] p[87][6] p[87][7] p[88][0] p[88][1] p[88][2] p[88][3] p[88][4] p[88][5] p[88][6] p[88][7] p[89][0] p[89][1] p[89][2] p[89][3] p[89][4] p[89][5] p[89][6] p[89][7] p[90][0] p[90][1] p[90][2] p[90][3] p[90][4] p[90][5] p[90][6] p[90][7] p[91][0] p[91][1] p[91][2] p[91][3] p[91][4] p[91][5] p[91][6] p[91][7] p[92][0] p[92][1] p[92][2] p[92][3] p[92][4] p[92][5] p[92][6] p[92][7] p[93][0] p[93][1] p[93][2] p[93][3] p[93][4] p[93][5] p[93][6] p[93][7] p[94][0] p[94][1] p[94][2] p[94][3] p[94][4] p[94][5] p[94][6] p[94][7] p[95][0] p[95][1] p[95][2] p[95][3] p[95][4] p[95][5] p[95][6] p[95][7] p[96][0] p[96][1] p[96][2] p[96][3] p[96][4] p[96][5] p[96][6] p[96][7] p[97][0] p[97][1] p[97][2] p[97][3] p[97][4] p[97][5] p[97][6] p[97][7] p[98][0] p[98][1] p[98][2] p[98][3] p[98][4] p[98][5] p[98][6] p[98][7] p[99][0] p[99][1] p[99][2] p[99][3] p[99][4] p[99][5] p[99][6] p[99][7] p[100][0] p[100][1] p[100][2] p[100][3] p[100][4] p[100][5] p[100][6] p[100][7] p[101][0] p[101][1] p[101][2] p[101][3] p[101][4] p[101][5] p[101][6] p[101][7] p[102][0] p[102][1] p[102][2] p[102][3] p[102][4] p[102][5] p[102][6] p[102][7] p[103][0] p[103][1] p[103][2] p[103][3] p[103][4] p[103][5] p[103][6] p[103][7] p[104][0] p[104][1] p[104][2] p[104][3] p[104][4] p[104][5] p[104][6] p[104][7] p[105][0] p[105][1] p[105][2] p[105][3] p[105][4] p[105][5] p[105][6] p[105][7] p[106][0] p[106][1] p[106][2] p[106][3] p[106][4] p[106][5] p[106][6] p[106][7] p[107][0] p[107][1] p[107][2] p[107][3] p[107][4] p[107][5] p[107][6] p[107][7] p[108][0] p[108][1] p[108][2] p[108][3] p[108][4] p[108][5] p[108][6] p[108][7] p[109][0] p[109][1] p[109][2] p[109][3] p[109][4] p[109][5] p[109][6] p[109][7] p[110][0] p[110][1] p[110][2] p[110][3] p[110][4] p[110][5] p[110][6] p[110][7] p[111][0] p[111][1] p[111][2] p[111][3] p[111][4] p[111][5] p[111][6] p[111][7] p[112][0] p[112][1] p[112][2] p[112][3] p[112][4] p[112][5] p[112][6] p[112][7] p[113][0] p[113][1] p[113][2] p[113][3] p[113][4] p[113][5] p[113][6] p[113][7] p[114][0] p[114][1] p[114][2] p[114][3] p[114][4] p[114][5] p[114][6] p[114][7] p[115][0] p[115][1] p[115][2] p[115][3] p[115][4] p[115][5] p[115][6] p[115][7] p[116][0] p[116][1] p[116][2] p[116][3] p[116][4] p[116][5] p[116][6] p[116][7] p[117][0] p[117][1] p[117][2] p[117][3] p[117][4] p[117][5] p[117][6] p[117][7] p[118][0] p[118][1] p[118][2] p[118][3] p[118][4] p[118][5] p[118][6] p[118][7] p[119][0] p[119][1] p[119][2] p[119][3] p[119][4] p[119][5] p[119][6] p[119][7] v[0][0] v[0][1] v[0][2] v[0][3] v[0][4] v[0][5] v[0][6] v[0][7] v[0][8] v[0][9] v[0][10] v[0][11] v[1][0] v[1][1] v[1][2] v[1][3] v[1][4] v[1][5] v[1][6] v[1][7] v[1][8] v[1][9] v[1][10] v[1][11] v[2][0] v[2][1] v[2][2] v[2][3] v[2][4] v[2][5] v[2][6] v[2][7] v[2][8] v[2][9] v[2][10] v[2][11] v[3][0] v[3][1] v[3][2] v[3][3] v[3][4] v[3][5] v[3][6] v[3][7] v[3][8] v[3][9] v[3][10] v[3][11] v[4][0] v[4][1] v[4][2] v[4][3] v[4][4] v[4][5] v[4][6] v[4][7] v[4][8] v[4][9] v[4][10] v[4][11] v[5][0] v[5][1] v[5][2] v[5][3] v[5][4] v[5][5] v[5][6] v[5][7] v[5][8] v[5][9] v[5][10] v[5][11] v[6][0] v[6][1] v[6][2] v[6][3] v[6][4] v[6][5] v[6][6] v[6][7] v[6][8] v[6][9] v[6][10] v[6][11] v[7][0] v[7][1] v[7][2] v[7][3] v[7][4] v[7][5] v[7][6] v[7][7] v[7][8] v[7][9] v[7][10] v[7][11] v[8][0] v[8][1] v[8][2] v[8][3] v[8][4] v[8][5] v[8][6] v[8][7] v[8][8] v[8][9] v[8][10] v[8][11] v[9][0] v[9][1] v[9][2] v[9][3] v[9][4] v[9][5] v[9][6] v[9][7] v[9][8] v[9][9] v[9][10] v[9][11] v[10][0] v[10][1] v[10][2] v[10][3] v[10][4] v[10][5] v[10][6] v[10][7] v[10][8] v[10][9] v[10][10] v[10][11] v[11][0] v[11][1] v[11][2] v[11][3] v[11][4] v[11][5] v[11][6] v[11][7] v[11][8] v[11][9] v[11][10] v[11][11] v[12][0] v[12][1] v[12][2] v[12][3] v[12][4] v[12][5] v[12][6] v[12][7] v[12][8] v[12][9] v[12][10] v[12][11] v[13][0] v[13][1] v[13][2] v[13][3] v[13][4] v[13][5] v[13][6] v[13][7] v[13][8] v[13][9] v[13][10] v[13][11] v[14][0] v[14][1] v[14][2] v[14][3] v[14][4] v[14][5] v[14][6] v[14][7] v[14][8] v[14][9] v[14][10] v[14][11] v[15][0] v[15][1] v[15][2] v[15][3] v[15][4] v[15][5] v[15][6] v[15][7] v[15][8] v[15][9] v[15][10] v[15][11] v[16][0] v[16][1] v[16][2] v[16][3] v[16][4] v[16][5] v[16][6] v[16][7] v[16][8] v[16][9] v[16][10] v[16][11] v[17][0] v[17][1] v[17][2] v[17][3] v[17][4] v[17][5] v[17][6] v[17][7] v[17][8] v[17][9] v[17][10] v[17][11] v[18][0] v[18][1] v[18][2] v[18][3] v[18][4] v[18][5] v[18][6] v[18][7] v[18][8] v[18][9] v[18][10] v[18][11] v[19][0] v[19][1] v[19][2] v[19][3] v[19][4] v[19][5] v[19][6] v[19][7] v[19][8] v[19][9] v[19][10] v[19][11] v[20][0] v[20][1] v[20][2] v[20][3] v[20][4] v[20][5] v[20][6] v[20][7] v[20][8] v[20][9] v[20][10] v[20][11] v[21][0] v[21][1] v[21][2] v[21][3] v[21][4] v[21][5] v[21][6] v[21][7] v[21][8] v[21][9] v[21][10] v[21][11] v[22][0] v[22][1] v[22][2] v[22][3] v[22][4] v[22][5] v[22][6] v[22][7] v[22][8] v[22][9] v[22][10] v[22][11] v[23][0] v[23][1] v[23][2] v[23][3] v[23][4] v[23][5] v[23][6] v[23][7] v[23][8] v[23][9] v[23][10] v[23][11] v[24][0] v[24][1] v[24][2] v[24][3] v[24][4] v[24][5] v[24][6] v[24][7] v[24][8] v[24][9] v[24][10] v[24][11] v[25][0] v[25][1] v[25][2] v[25][3] v[25][4] v[25][5] v[25][6] v[25][7] v[25][8] v[25][9] v[25][10] v[25][11] v[26][0] v[26][1] v[26][2] v[26][3] v[26][4] v[26][5] v[26][6] v[26][7] v[26][8] v[26][9] v[26][10] v[26][11] v[27][0] v[27][1] v[27][2] v[27][3] v[27][4] v[27][5] v[27][6] v[27][7] v[27][8] v[27][9] v[27][10] v[27][11] v[28][0] v[28][1] v[28][2] v[28][3] v[28][4] v[28][5] v[28][6] v[28][7] v[28][8] v[28][9] v[28][10] v[28][11] v[29][0] v[29][1] v[29][2] v[29][3] v[29][4] v[29][5] v[29][6] v[29][7] v[29][8] v[29][9] v[29][10] v[29][11] v[30][0] v[30][1] v[30][2] v[30][3] v[30][4] v[30][5] v[30][6] v[30][7] v[30][8] v[30][9] v[30][10] v[30][11] v[31][0] v[31][1] v[31][2] v[31][3] v[31][4] v[31][5] v[31][6] v[31][7] v[31][8] v[31][9] v[31][10] v[31][11] v[32][0] v[32][1] v[32][2] v[32][3] v[32][4] v[32][5] v[32][6] v[32][7] v[32][8] v[32][9] v[32][10] v[32][11] v[33][0] v[33][1] v[33][2] v[33][3] v[33][4] v[33][5] v[33][6] v[33][7] v[33][8] v[33][9] v[33][10] v[33][11] v[34][0] v[34][1] v[34][2] v[34][3] v[34][4] v[34][5] v[34][6] v[34][7] v[34][8] v[34][9] v[34][10] v[34][11] v[35][0] v[35][1] v[35][2] v[35][3] v[35][4] v[35][5] v[35][6] v[35][7] v[35][8] v[35][9] v[35][10] v[35][11] v[36][0] v[36][1] v[36][2] v[36][3] v[36][4] v[36][5] v[36][6] v[36][7] v[36][8] v[36][9] v[36][10] v[36][11] v[37][0] v[37][1] v[37][2] v[37][3] v[37][4] v[37][5] v[37][6] v[37][7] v[37][8] v[37][9] v[37][10] v[37][11] v[38][0] v[38][1] v[38][2] v[38][3] v[38][4] v[38][5] v[38][6] v[38][7] v[38][8] v[38][9] v[38][10] v[38][11] v[39][0] v[39][1] v[39][2] v[39][3] v[39][4] v[39][5] v[39][6] v[39][7] v[39][8] v[39][9] v[39][10] v[39][11] v[40][0] v[40][1] v[40][2] v[40][3] v[40][4] v[40][5] v[40][6] v[40][7] v[40][8] v[40][9] v[40][10] v[40][11] v[41][0] v[41][1] v[41][2] v[41][3] v[41][4] v[41][5] v[41][6] v[41][7] v[41][8] v[41][9] v[41][10] v[41][11] v[42][0] v[42][1] v[42][2] v[42][3] v[42][4] v[42][5] v[42][6] v[42][7] v[42][8] v[42][9] v[42][10] v[42][11] v[43][0] v[43][1] v[43][2] v[43][3] v[43][4] v[43][5] v[43][6] v[43][7] v[43][8] v[43][9] v[43][10] v[43][11] v[44][0] v[44][1] v[44][2] v[44][3] v[44][4] v[44][5] v[44][6] v[44][7] v[44][8] v[44][9] v[44][10] v[44][11] v[45][0] v[45][1] v[45][2] v[45][3] v[45][4] v[45][5] v[45][6] v[45][7] v[45][8] v[45][9] v[45][10] v[45][11] v[46][0] v[46][1] v[46][2] v[46][3] v[46][4] v[46][5] v[46][6] v[46][7] v[46][8] v[46][9] v[46][10] v[46][11] v[47][0] v[47][1] v[47][2] v[47][3] v[47][4] v[47][5] v[47][6] v[47][7] v[47][8] v[47][9] v[47][10] v[47][11] v[48][0] v[48][1] v[48][2] v[48][3] v[48][4] v[48][5] v[48][6] v[48][7] v[48][8] v[48][9] v[48][10] v[48][11] v[49][0] v[49][1] v[49][2] v[49][3] v[49][4] v[49][5] v[49][6] v[49][7] v[49][8] v[49][9] v[49][10] v[49][11] v[50][0] v[50][1] v[50][2] v[50][3] v[50][4] v[50][5] v[50][6] v[50][7] v[50][8] v[50][9] v[50][10] v[50][11] v[51][0] v[51][1] v[51][2] v[51][3] v[51][4] v[51][5] v[51][6] v[51][7] v[51][8] v[51][9] v[51][10] v[51][11] v[52][0] v[52][1] v[52][2] v[52][3] v[52][4] v[52][5] v[52][6] v[52][7] v[52][8] v[52][9] v[52][10] v[52][11] v[53][0] v[53][1] v[53][2] v[53][3] v[53][4] v[53][5] v[53][6] v[53][7] v[53][8] v[53][9] v[53][10] v[53][11] v[54][0] v[54][1] v[54][2] v[54][3] v[54][4] v[54][5] v[54][6] v[54][7] v[54][8] v[54][9] v[54][10] v[54][11] v[55][0] v[55][1] v[55][2] v[55][3] v[55][4] v[55][5] v[55][6] v[55][7] v[55][8] v[55][9] v[55][10] v[55][11] v[56][0] v[56][1] v[56][2] v[56][3] v[56][4] v[56][5] v[56][6] v[56][7] v[56][8] v[56][9] v[56][10] v[56][11] v[57][0] v[57][1] v[57][2] v[57][3] v[57][4] v[57][5] v[57][6] v[57][7] v[57][8] v[57][9] v[57][10] v[57][11] v[58][0] v[58][1] v[58][2] v[58][3] v[58][4] v[58][5] v[58][6] v[58][7] v[58][8] v[58][9] v[58][10] v[58][11] v[59][0] v[59][1] v[59][2] v[59][3] v[59][4] v[59][5] v[59][6] v[59][7] v[59][8] v[59][9] v[59][10] v[59][11] v[60][0] v[60][1] v[60][2] v[60][3] v[60][4] v[60][5] v[60][6] v[60][7] v[60][8] v[60][9] v[60][10] v[60][11] v[61][0] v[61][1] v[61][2] v[61][3] v[61][4] v[61][5] v[61][6] v[61][7] v[61][8] v[61][9] v[61][10] v[61][11] v[62][0] v[62][1] v[62][2] v[62][3] v[62][4] v[62][5] v[62][6] v[62][7] v[62][8] v[62][9] v[62][10] v[62][11] v[63][0] v[63][1] v[63][2] v[63][3] v[63][4] v[63][5] v[63][6] v[63][7] v[63][8] v[63][9] v[63][10] v[63][11] v[64][0] v[64][1] v[64][2] v[64][3] v[64][4] v[64][5] v[64][6] v[64][7] v[64][8] v[64][9] v[64][10] v[64][11] v[65][0] v[65][1] v[65][2] v[65][3] v[65][4] v[65][5] v[65][6] v[65][7] v[65][8] v[65][9] v[65][10] v[65][11] v[66][0] v[66][1] v[66][2] v[66][3] v[66][4] v[66][5] v[66][6] v[66][7] v[66][8] v[66][9] v[66][10] v[66][11] v[67][0] v[67][1] v[67][2] v[67][3] v[67][4] v[67][5] v[67][6] v[67][7] v[67][8] v[67][9] v[67][10] v[67][11] v[68][0] v[68][1] v[68][2] v[68][3] v[68][4] v[68][5] v[68][6] v[68][7] v[68][8] v[68][9] v[68][10] v[68][11] v[69][0] v[69][1] v[69][2] v[69][3] v[69][4] v[69][5] v[69][6] v[69][7] v[69][8] v[69][9] v[69][10] v[69][11] v[70][0] v[70][1] v[70][2] v[70][3] v[70][4] v[70][5] v[70][6] v[70][7] v[70][8] v[70][9] v[70][10] v[70][11] v[71][0] v[71][1] v[71][2] v[71][3] v[71][4] v[71][5] v[71][6] v[71][7] v[71][8] v[71][9] v[71][10] v[71][11] v[72][0] v[72][1] v[72][2] v[72][3] v[72][4] v[72][5] v[72][6] v[72][7] v[72][8] v[72][9] v[72][10] v[72][11] v[73][0] v[73][1] v[73][2] v[73][3] v[73][4] v[73][5] v[73][6] v[73][7] v[73][8] v[73][9] v[73][10] v[73][11] v[74][0] v[74][1] v[74][2] v[74][3] v[74][4] v[74][5] v[74][6] v[74][7] v[74][8] v[74][9] v[74][10] v[74][11] v[75][0] v[75][1] v[75][2] v[75][3] v[75][4] v[75][5] v[75][6] v[75][7] v[75][8] v[75][9] v[75][10] v[75][11] v[76][0] v[76][1] v[76][2] v[76][3] v[76][4] v[76][5] v[76][6] v[76][7] v[76][8] v[76][9] v[76][10] v[76][11] v[77][0] v[77][1] v[77][2] v[77][3] v[77][4] v[77][5] v[77][6] v[77][7] v[77][8] v[77][9] v[77][10] v[77][11] v[78][0] v[78][1] v[78][2] v[78][3] v[78][4] v[78][5] v[78][6] v[78][7] v[78][8] v[78][9] v[78][10] v[78][11] v[79][0] v[79][1] v[79][2] v[79][3] v[79][4] v[79][5] v[79][6] v[79][7] v[79][8] v[79][9] v[79][10] v[79][11] v[80][0] v[80][1] v[80][2] v[80][3] v[80][4] v[80][5] v[80][6] v[80][7] v[80][8] v[80][9] v[80][10] v[80][11] v[81][0] v[81][1] v[81][2] v[81][3] v[81][4] v[81][5] v[81][6] v[81][7] v[81][8] v[81][9] v[81][10] v[81][11] v[82][0] v[82][1] v[82][2] v[82][3] v[82][4] v[82][5] v[82][6] v[82][7] v[82][8] v[82][9] v[82][10] v[82][11] v[83][0] v[83][1] v[83][2] v[83][3] v[83][4] v[83][5] v[83][6] v[83][7] v[83][8] v[83][9] v[83][10] v[83][11] v[84][0] v[84][1] v[84][2] v[84][3] v[84][4] v[84][5] v[84][6] v[84][7] v[84][8] v[84][9] v[84][10] v[84][11] v[85][0] v[85][1] v[85][2] v[85][3] v[85][4] v[85][5] v[85][6] v[85][7] v[85][8] v[85][9] v[85][10] v[85][11] v[86][0] v[86][1] v[86][2] v[86][3] v[86][4] v[86][5] v[86][6] v[86][7] v[86][8] v[86][9] v[86][10] v[86][11] v[87][0] v[87][1] v[87][2] v[87][3] v[87][4] v[87][5] v[87][6] v[87][7] v[87][8] v[87][9] v[87][10] v[87][11] v[88][0] v[88][1] v[88][2] v[88][3] v[88][4] v[88][5] v[88][6] v[88][7] v[88][8] v[88][9] v[88][10] v[88][11] v[89][0] v[89][1] v[89][2] v[89][3] v[89][4] v[89][5] v[89][6] v[89][7] v[89][8] v[89][9] v[89][10] v[89][11] v[90][0] v[90][1] v[90][2] v[90][3] v[90][4] v[90][5] v[90][6] v[90][7] v[90][8] v[90][9] v[90][10] v[90][11] v[91][0] v[91][1] v[91][2] v[91][3] v[91][4] v[91][5] v[91][6] v[91][7] v[91][8] v[91][9] v[91][10] v[91][11] v[92][0] v[92][1] v[92][2] v[92][3] v[92][4] v[92][5] v[92][6] v[92][7] v[92][8] v[92][9] v[92][10] v[92][11] v[93][0] v[93][1] v[93][2] v[93][3] v[93][4] v[93][5] v[93][6] v[93][7] v[93][8] v[93][9] v[93][10] v[93][11] v[94][0] v[94][1] v[94][2] v[94][3] v[94][4] v[94][5] v[94][6] v[94][7] v[94][8] v[94][9] v[94][10] v[94][11] v[95][0] v[95][1] v[95][2] v[95][3] v[95][4] v[95][5] v[95][6] v[95][7] v[95][8] v[95][9] v[95][10] v[95][11] v[96][0] v[96][1] v[96][2] v[96][3] v[96][4] v[96][5] v[96][6] v[96][7] v[96][8] v[96][9] v[96][10] v[96][11] v[97][0] v[97][1] v[97][2] v[97][3] v[97][4] v[97][5] v[97][6] v[97][7] v[97][8] v[97][9] v[97][10] v[97][11] v[98][0] v[98][1] v[98][2] v[98][3] v[98][4] v[98][5] v[98][6] v[98][7] v[98][8] v[98][9] v[98][10] v[98][11] v[99][0] v[99][1] v[99][2] v[99][3] v[99][4] v[99][5] v[99][6] v[99][7] v[99][8] v[99][9] v[99][10] v[99][11] v[100][0] v[100][1] v[100][2] v[100][3] v[100][4] v[100][5] v[100][6] v[100][7] v[100][8] v[100][9] v[100][10] v[100][11] v[101][0] v[101][1] v[101][2] v[101][3] v[101][4] v[101][5] v[101][6] v[101][7] v[101][8] v[101][9] v[101][10] v[101][11] v[102][0] v[102][1] v[102][2] v[102][3] v[102][4] v[102][5] v[102][6] v[102][7] v[102][8] v[102][9] v[102][10] v[102][11] v[103][0] v[103][1] v[103][2] v[103][3] v[103][4] v[103][5] v[103][6] v[103][7] v[103][8] v[103][9] v[103][10] v[103][11] v[104][0] v[104][1] v[104][2] v[104][3] v[104][4] v[104][5] v[104][6] v[104][7] v[104][8] v[104][9] v[104][10] v[104][11] v[105][0] v[105][1] v[105][2] v[105][3] v[105][4] v[105][5] v[105][6] v[105][7] v[105][8] v[105][9] v[105][10] v[105][11] v[106][0] v[106][1] v[106][2] v[106][3] v[106][4] v[106][5] v[106][6] v[106][7] v[106][8] v[106][9] v[106][10] v[106][11] v[107][0] v[107][1] v[107][2] v[107][3] v[107][4] v[107][5] v[107][6] v[107][7] v[107][8] v[107][9] v[107][10] v[107][11] v[108][0] v[108][1] v[108][2] v[108][3] v[108][4] v[108][5] v[108][6] v[108][7] v[108][8] v[108][9] v[108][10] v[108][11] v[109][0] v[109][1] v[109][2] v[109][3] v[109][4] v[109][5] v[109][6] v[109][7] v[109][8] v[109][9] v[109][10] v[109][11] v[110][0] v[110][1] v[110][2] v[110][3] v[110][4] v[110][5] v[110][6] v[110][7] v[110][8] v[110][9] v[110][10] v[110][11] v[111][0] v[111][1] v[111][2] v[111][3] v[111][4] v[111][5] v[111][6] v[111][7] v[111][8] v[111][9] v[111][10] v[111][11] v[112][0] v[112][1] v[112][2] v[112][3] v[112][4] v[112][5] v[112][6] v[112][7] v[112][8] v[112][9] v[112][10] v[112][11] v[113][0] v[113][1] v[113][2] v[113][3] v[113][4] v[113][5] v[113][6] v[113][7] v[113][8] v[113][9] v[113][10] v[113][11] v[114][0] v[114][1] v[114][2] v[114][3] v[114][4] v[114][5] v[114][6] v[114][7] v[114][8] v[114][9] v[114][10] v[114][11] v[115][0] v[115][1] v[115][2] v[115][3] v[115][4] v[115][5] v[115][6] v[115][7] v[115][8] v[115][9] v[115][10] v[115][11] v[116][0] v[116][1] v[116][2] v[116][3] v[116][4] v[116][5] v[116][6] v[116][7] v[116][8] v[116][9] v[116][10] v[116][11] v[117][0] v[117][1] v[117][2] v[117][3] v[117][4] v[117][5] v[117][6] v[117][7] v[117][8] v[117][9] v[117][10] v[117][11] v[118][0] v[118][1] v[118][2] v[118][3] v[118][4] v[118][5] v[118][6] v[118][7] v[118][8] v[118][9] v[118][10] v[118][11] v[119][0] v[119][1] v[119][2] v[119][3] v[119][4] v[119][5] v[119][6] v[119][7] v[119][8] v[119][9] v[119][10] v[119][11] </list> 218.74/28.70 v <values>9 5 1 7 11 8 6 0 5 9 1 7 10 8 6 0 5 2 7 4 11 10 3 6 5 2 7 4 10 11 3 0 2 9 7 4 11 10 0 3 5 2 1 7 8 10 0 3 5 2 4 7 11 8 0 6 5 9 4 7 8 11 6 0 1 9 5 7 11 3 10 8 1 9 7 4 11 6 8 10 9 2 7 4 6 11 10 8 2 1 5 4 6 3 0 8 9 2 5 4 6 11 8 10 9 2 5 7 11 6 0 8 2 9 5 7 6 11 8 10 5 4 7 2 11 10 8 0 5 1 7 2 6 11 3 0 5 4 2 9 11 10 0 8 1 4 9 7 6 11 8 3 5 1 9 7 11 6 3 8 5 1 2 9 6 10 8 0 7 1 9 4 3 11 10 0 7 1 2 9 11 3 6 10 5 7 9 2 8 3 0 10 5 7 4 2 3 8 0 6 5 1 2 9 8 11 6 10 5 9 2 1 6 3 0 8 5 7 1 4 6 10 0 11 9 7 4 2 3 10 11 8 5 9 2 1 6 10 8 11 5 7 1 4 0 11 8 10 5 7 4 1 11 6 3 10 5 7 4 9 6 11 8 10 9 1 4 7 0 8 11 10 5 9 4 7 8 0 3 11 5 9 2 7 3 11 6 10 11 9 10 8 1 3 4 7 11 9 5 10 1 6 7 0 9 2 10 8 6 1 7 4 2 9 5 8 6 1 0 4 9 2 5 10 6 3 0 4 11 2 5 8 3 6 0 7 2 9 8 10 3 1 4 0 5 10 8 9 1 6 7 0 10 11 9 8 6 4 7 0 5 10 2 8 6 4 0 3 5 10 9 2 6 4 0 7 5 10 9 2 4 1 0 7 5 11 8 9 6 1 3 7 5 8 9 2 7 1 6 4 5 8 2 10 7 3 6 4 8 11 9 10 1 7 0 4 5 8 9 10 3 1 4 6 8 11 2 10 3 7 6 0 5 9 11 8 6 3 0 4 5 10 8 2 6 7 1 4 9 10 11 8 3 7 4 1 5 9 8 11 6 7 4 1 5 11 8 10 6 7 1 3 11 2 9 8 0 7 4 1 2 11 8 10 6 0 3 1 9 8 11 2 0 1 4 7 8 9 2 11 6 0 3 7 5 11 2 10 4 0 6 1 11 6 3 9 5 4 8 0 6 11 9 2 10 4 7 8 11 1 2 9 5 4 0 8 1 11 9 2 5 10 8 7 11 1 9 2 4 10 0 7 6 11 2 9 4 10 8 7 3 11 9 2 7 8 10 4 11 3 2 9 5 8 0 4 1 11 6 2 8 7 0 10 11 1 9 6 5 8 4 10 3 11 6 9 5 7 4 10 6 3 2 1 7 10 0 8 9 3 1 11 5 10 8 4 9 6 11 2 5 10 4 8 3 9 2 1 5 10 8 0 6 11 1 3 0 7 8 10 11 6 3 1 5 7 4 10 6 11 3 9 5 0 8 10 9 6 11 2 0 8 4 10 6 1 3 11 8 0 4 7 3 11 2 1 5 0 8 7 5 11 10 4 7 8 9 0 11 1 6 10 7 8 2 9 5 11 6 4 8 7 0 2 5 1 4 6 3 7 9 2 5 11 6 10 8 7 2 9 5 10 11 4 7 9 2 8 5 10 1 11 9 3 8 2 5 6 4 1 3 7 0 8 6 10 4 11 3 7 2 0 5 11 1 4 0 7 8 3 11 6 4 10 0 7 9 8 5 11 4 10 2 0 8 9 5 1 11 10 9 8 3 7 6 1 4 10 8 9 2 7 5 11 6 10 3 9 8 7 5 3 11 8 6 9 2 4 5 3 8 11 9 10 0 2 3 7 11 8 9 6 0 2 5 7 8 11 6 10 2 0 5 7 8 3 0 2 9 10 11 7 3 8 0 2 4 10 5 11 3 1 2 0 4 10 5 8 11 7 9 6 4 10 8 1 3 7 6 9 4 10 5 11 8 1 4 0 6 10 6 7 9 10 0 11 1 4 5 7 9 10 11 2 4 8 6 7 3 10 2 11 8 1 9 6 3 7 0 8 11 2 5 9 3 7 8 1 4 11 5 9 6 10 4 0 8 1 0 6 11 2 9 8 3 10 6 0 2 11 8 9 3 10 5 11 6 7 4 9 8 1 5 9 8 1 4 11 2 10 7 2 0 6 3 1 6 3 5 0 5 4 7 2 1 7 2 0 6 3 5 1 4 4 7 2 1 6 3 0 7 2 4 1 5 4 7 3 1 6 3 0 6 2 5 0 4 5 6 3 0 7 3 0 6 2 5 1 5 4 6 2 1 7 3 0 6 3 4 0 5 5 6 3 1 6 2 0 7 3 5 0 5 4 7 3 0 6 2 0 6 3 4 1 5 5 7 0 1 5 2 2 4 3 7 1 6 4 7 0 1 4 3 2 5 2 6 1 7 4 7 1 1 4 3 2 4 2 7 0 6 5 6 1 0 5 3 2 4 2 7 1 7 4 6 0 1 5 3 2 4 3 6 0 7 5 6 1 1 4 2 2 5 3 7 0 7 4 7 1 0 4 2 2 4 3 6 1 7 5 7 0 3 6 1 0 5 2 6 3 5 4 7 1 3 6 1 0 4 2 7 2 4 5 6 1 2 7 1 0 4 2 7 3 5 4 6 0 3 7 1 0 4 3 6 2 5 5 6 1 3 6 0 0 5 3 7 2 5 4 7 1 2 6 0 0 4 3 6 3 5 5 7 1 3 4 3 0 6 0 5 2 6 5 6 1 2 5 3 0 6 0 5 3 7 4 6 0 3 5 3 0 6 1 4 2 7 5 6 1 3 4 2 0 7 1 5 2 7 4 7 1 2 4 2 0 6 1 4 3 7 5 6 3 2 5 3 0 4 0 7 1 5 6 6 2 3 5 3 0 4 1 6 0 5 7 6 3 3 4 2 0 5 1 7 0 5 6 7 3 2 4 2 0 4 1 6 1 5 7 4 2 1 7 3 0 4 1 6 2 7 5 4 3 1 6 2 0 5 1 7 2 7 4 5 3 0 6 2 0 4 1 6 3 7 5 4 1 3 6 2 0 5 3 5 0 7 6 5 1 2 6 2 0 4 3 4 1 7 7 5 3 2 4 0 0 6 3 6 1 7 5 7 4 1 5 6 2 4 7 3 1 2 0 7 4 1 4 7 2 5 6 2 1 3 0 7 5 1 4 7 2 4 6 3 0 2 1 6 5 0 5 7 2 4 6 3 1 3 0 6 4 1 5 7 2 4 7 2 0 3 1 6 5 1 4 6 2 5 7 3 0 3 0 7 5 0 4 6 2 4 7 2 1 3 1 7 4 3 6 5 0 5 6 2 3 1 0 7 5 3 6 5 0 4 6 3 2 0 1 6 5 2 7 5 0 4 6 3 3 1 0 6 4 3 7 5 0 4 7 2 2 1 1 6 5 3 6 4 0 5 7 3 2 1 0 7 5 2 6 4 0 4 7 2 3 1 1 7 5 3 4 7 0 6 4 1 2 2 1 6 5 2 5 7 0 6 4 1 3 3 0 6 4 3 5 7 0 6 5 0 2 3 1 6 5 3 4 6 0 7 5 1 2 3 0 7 5 2 4 6 0 6 5 0 3 3 1 6 7 2 5 7 0 4 4 3 1 1 2 6 6 3 5 7 0 4 5 2 0 1 3 6 7 3 4 6 0 5 5 3 0 1 2 7 7 2 4 6 0 4 5 2 1 1 3 4 6 1 7 7 0 4 5 2 2 3 1 4 7 1 6 6 0 5 5 3 2 3 0 5 7 0 6 6 0 4 5 2 3 3 1 4 5 3 6 6 0 5 7 1 0 3 2 5 5 2 6 6 0 4 7 0 1 3 3 5 7 2 4 4 0 6 7 2 1 3 1 7 0 3 2 5 4 1 6 6 3 5 0 7 1 3 2 5 4 0 6 7 2 4 1 6 1 2 3 5 4 0 6 7 3 5 0 6 0 3 3 5 4 0 7 6 2 5 1 6 1 3 2 4 4 1 7 7 2 5 0 7 1 2 2 4 4 0 7 6 3 5 1 7 1 3 0 7 4 2 4 5 2 6 1 6 1 2 1 7 4 2 4 5 3 7 0 6 0 3 1 7 4 2 5 4 2 7 1 6 1 3 0 6 4 3 5 5 2 7 0 7 1 2 0 6 4 2 5 4 3 7 1 6 3 2 1 7 4 0 4 7 1 5 2 6 2 3 1 7 4 0 5 6 0 5 3 6 3 3 0 6 4 1 5 7 0 5 2 7 3 2 0 6 4 0 5 6 1 5 3 4 2 1 3 7 4 0 5 6 2 7 1 4 3 1 2 6 4 1 5 7 2 7 0 5 3 0 2 6 4 0 5 6 3 7 1 4 1 3 2 6 4 1 7 5 0 7 2 5 1 2 2 6 4 0 7 4 1 7 3 5 3 2 0 4 4 2 7 6 1 7 1 7 1 7 4 3 0 2 4 5 6 2 1 6 1 6 5 3 0 2 4 5 7 3 0 6 0 7 5 3 0 2 5 4 6 3 1 6 1 7 4 2 0 3 5 5 6 3 0 7 1 6 4 2 0 2 5 4 7 3 1 6 3 6 5 3 0 0 4 7 5 1 2 6 2 7 5 3 0 0 5 6 4 1 3 6 3 7 4 2 0 1 5 7 4 1 2 7 3 6 4 2 0 0 5 6 5 1 3 4 2 5 7 3 0 0 5 6 6 3 1 4 3 5 6 2 0 1 5 7 6 3 0 5 3 4 6 2 0 0 5 6 7 3 1 4 1 7 6 2 0 1 7 5 4 3 2 5 1 6 6 2 0 0 7 4 5 3 3 5 3 6 4 0 0 2 7 6 5 3 1 6 3 6 1 7 0 4 0 3 5 5 2 6 2 7 1 7 0 4 1 2 4 5 3 6 3 7 0 6 0 5 1 3 4 5 2 7 3 6 0 6 0 4 1 2 5 5 3 4 2 5 3 7 0 4 1 2 6 7 1 4 3 5 2 6 0 5 1 3 6 7 0 5 3 4 2 6 0 4 1 2 7 7 1 4 1 7 2 6 0 5 3 1 4 7 2 5 1 6 2 6 0 4 3 0 5 7 3 5 3 6 0 4 0 6 3 2 5 7 1 4 6 5 3 7 0 0 1 6 2 3 5 4 7 5 2 6 0 1 1 7 2 3 4 5 7 4 2 6 0 0 1 6 3 3 5 4 5 7 2 6 0 1 3 5 0 3 6 5 5 6 2 6 0 0 3 4 1 3 7 5 7 6 0 4 0 2 3 6 1 3 5 0 5 3 6 6 0 1 3 5 4 7 2 1 5 2 6 6 0 0 3 4 5 7 3 1 7 2 4 4 0 2 3 6 5 7 1 1 3 6 4 4 0 2 7 2 1 7 5 </values> 218.74/28.70 v </instantiation>
OK
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 (14013 MiB free) memory of node 1: 16384 MiB (12222 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271098-1502836778/watcher-4271098-1502836778 -o /tmp/evaluation-result-4271098-1502836778/solver-4271098-1502836778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502833396-23298 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1662712443 HOME/instance-4271098-1502836778.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=23537, runsolver pid=23534 [startup+0.100116 s]* /proc/loadavg: 7.73 5.36 3.45 3/199 23558 /proc/meminfo: memFree=26851088/32770624 swapFree=67108860/67108860 [pid=23537] ppid=23534 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/23537/stat : 23537 (xcsp3-exec) S 23534 23537 23271 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 116765598 9740288 345 33554432000 4194304 5098028 140729147968416 140729147966520 140049271784060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11587584 140729147970660 140729147970871 140729147970871 140729147973611 0 /proc/23537/statm: 2378 345 289 221 0 87 0 [pid=23539] ppid=23537 vsize=25999808 memory=26248 CPUtime=0.12 cores=0-7 /proc/23539/stat : 23539 (java) S 23537 23537 23271 0 -1 1077944320 5490 0 0 0 10 2 0 0 20 0 20 0 116765598 26623803392 6562 33554432000 4194304 4196468 140730915688688 140730915671232 139880065896183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 /proc/23539/statm: 6499952 6562 2839 1 0 6488269 0 [pid=23539/tid=23540] ppid=23537 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/23539/task/23540/stat : 23540 (java) R 23537 23537 23271 0 -1 4202560 3493 0 0 0 8 1 0 0 20 0 20 0 116765598 26623803392 6562 33554432000 4194304 4196468 140730915688688 139880070128448 139880065908118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23541] ppid=23537 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23539/task/23541/stat : 23541 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765599 26623803392 6562 33554432000 4194304 4196468 140730915688688 139879973456656 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23542] ppid=23537 vsize=25999808 memory=140390909671040 CPUtime=0 cores=0-7 /proc/23539/task/23542/stat : 23542 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26623803392 6562 33554432000 4194304 4196468 140730915688688 139879972404112 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23543] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23543/stat : 23543 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26623803392 6562 33554432000 4194304 4196468 140730915688688 139879622478864 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23544] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23544/stat : 23544 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26623803392 6562 33554432000 4194304 4196468 140730915688688 139879621426320 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23545] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23545/stat : 23545 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26623803392 6562 33554432000 4194304 4196468 140730915688688 139879620372752 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23546] ppid=23537 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/23539/task/23546/stat : 23546 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26623803392 6562 33554432000 4194304 4196468 140730915688688 139879619320208 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23547] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23547/stat : 23547 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765599 26623803392 6562 33554432000 4194304 4196468 140730915688688 139879618267664 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23548] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23548/stat : 23548 (java) S 23537 23537 23271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116765599 26623803392 6562 33554432000 4194304 4196468 140730915688688 139879617215120 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23549] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23549/stat : 23549 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765600 26623803392 6562 33554432000 4194304 4196468 140730915688688 139878740814320 139880065907330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23550] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23550/stat : 23550 (java) S 23537 23537 23271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116765601 26623803392 6562 33554432000 4194304 4196468 140730915688688 139878739760544 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23551] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23551/stat : 23551 (java) S 23537 23537 23271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116765601 26623803392 6562 33554432000 4194304 4196468 140730915688688 139878738707952 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23552] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23552/stat : 23552 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765603 26623803392 6627 33554432000 4194304 4196468 140730915688688 139878737656528 139880065914779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23553] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23553/stat : 23553 (java) S 23537 23537 23271 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 116765603 26623803392 6627 33554432000 4194304 4196468 140730915688688 139878736603120 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23554] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23554/stat : 23554 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765603 26623803392 6627 33554432000 4194304 4196468 140730915688688 139878735550576 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23555] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23555/stat : 23555 (java) S 23537 23537 23271 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 116765604 26623803392 6627 33554432000 4194304 4196468 140730915688688 139878734498032 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23556] ppid=23537 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/23539/task/23556/stat : 23556 (java) R 23537 23537 23271 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 20 0 116765604 26623803392 6627 33554432000 4194304 4196468 140730915688688 139878733445488 139880044815070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23557] ppid=23537 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23557/stat : 23557 (java) S 23537 23537 23271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116765604 26623803392 6627 33554432000 4194304 4196468 140730915688688 139878732393184 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23558] ppid=23537 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/23539/task/23558/stat : 23558 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765604 26623803392 6627 33554432000 4194304 4196468 140730915688688 139878731340720 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27628 KiB [startup+0.210091 s]* /proc/loadavg: 7.73 5.36 3.45 2/199 23558 /proc/meminfo: memFree=26839344/32770624 swapFree=67108860/67108860 [pid=23537] ppid=23534 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/23537/stat : 23537 (xcsp3-exec) S 23534 23537 23271 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 116765598 9740288 345 33554432000 4194304 5098028 140729147968416 140729147966520 140049271784060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11587584 140729147970660 140729147970871 140729147970871 140729147973611 0 /proc/23537/statm: 2378 345 289 221 0 87 0 [pid=23539] ppid=23537 vsize=26004064 memory=39116 CPUtime=0.34 cores=0-7 /proc/23539/stat : 23539 (java) S 23537 23537 23271 0 -1 1077944320 8325 0 0 0 30 4 0 0 20 0 20 0 116765598 26628161536 9779 33554432000 4194304 4196468 140730915688688 140730915671232 139880065896183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 /proc/23539/statm: 6501016 9779 3065 1 0 6488269 0 [pid=23539/tid=23540] ppid=23537 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/23539/task/23540/stat : 23540 (java) R 23537 23537 23271 0 -1 4202560 5404 0 0 0 17 2 0 0 20 0 20 0 116765598 26628161536 9779 33554432000 4194304 4196468 140730915688688 139880070117176 139880049976670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23541] ppid=23537 vsize=26004064 memory=339 CPUtime=0 cores=0-7 /proc/23539/task/23541/stat : 23541 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 9779 33554432000 4194304 4196468 140730915688688 139879973456656 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23542] ppid=23537 vsize=26004064 memory=140390910195896 CPUtime=0 cores=0-7 /proc/23539/task/23542/stat : 23542 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 9779 33554432000 4194304 4196468 140730915688688 139879972404112 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23543] ppid=23537 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23539/task/23543/stat : 23543 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 9779 33554432000 4194304 4196468 140730915688688 139879622478864 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23544] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23544/stat : 23544 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 9779 33554432000 4194304 4196468 140730915688688 139879621426320 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23545] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23545/stat : 23545 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 9779 33554432000 4194304 4196468 140730915688688 139879620372752 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23546] ppid=23537 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23539/task/23546/stat : 23546 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 9779 33554432000 4194304 4196468 140730915688688 139879619320208 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23547] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23547/stat : 23547 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 9779 33554432000 4194304 4196468 140730915688688 139879618267664 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23548] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23548/stat : 23548 (java) S 23537 23537 23271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 9779 33554432000 4194304 4196468 140730915688688 139879617215120 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23549] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23549/stat : 23549 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765600 26628161536 9779 33554432000 4194304 4196468 140730915688688 139878740814320 139880065907330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23550] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23550/stat : 23550 (java) S 23537 23537 23271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116765601 26628161536 9779 33554432000 4194304 4196468 140730915688688 139878739760544 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23551] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23551/stat : 23551 (java) S 23537 23537 23271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116765601 26628161536 9779 33554432000 4194304 4196468 140730915688688 139878738707952 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23552] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23552/stat : 23552 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765603 26628161536 9779 33554432000 4194304 4196468 140730915688688 139878737656528 139880065914779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23553] ppid=23537 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/23539/task/23553/stat : 23553 (java) S 23537 23537 23271 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 20 0 116765603 26628161536 9779 33554432000 4194304 4196468 140730915688688 139878736603120 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23554] ppid=23537 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/23539/task/23554/stat : 23554 (java) S 23537 23537 23271 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 116765603 26628161536 9779 33554432000 4194304 4196468 140730915688688 139878735550576 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23555] ppid=23537 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/23539/task/23555/stat : 23555 (java) S 23537 23537 23271 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 20 0 116765604 26628161536 9779 33554432000 4194304 4196468 140730915688688 139878734498032 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23556] ppid=23537 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/23539/task/23556/stat : 23556 (java) R 23537 23537 23271 0 -1 4202560 770 0 0 0 7 0 0 0 20 0 20 0 116765604 26628161536 9779 33554432000 4194304 4196468 140730915688688 139878733443024 139880058133310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23557] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23557/stat : 23557 (java) S 23537 23537 23271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116765604 26628161536 9779 33554432000 4194304 4196468 140730915688688 139878732393184 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23558] ppid=23537 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23539/task/23558/stat : 23558 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765604 26628161536 9779 33554432000 4194304 4196468 140730915688688 139878731340720 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40496 KiB [startup+0.309425 s]* /proc/loadavg: 7.73 5.36 3.45 3/199 23558 /proc/meminfo: memFree=26835372/32770624 swapFree=67108860/67108860 [pid=23537] ppid=23534 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/23537/stat : 23537 (xcsp3-exec) S 23534 23537 23271 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 116765598 9740288 345 33554432000 4194304 5098028 140729147968416 140729147966520 140049271784060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11587584 140729147970660 140729147970871 140729147970871 140729147973611 0 /proc/23537/statm: 2378 345 289 221 0 87 0 [pid=23539] ppid=23537 vsize=26004064 memory=43744 CPUtime=0.5 cores=0-7 /proc/23539/stat : 23539 (java) S 23537 23537 23271 0 -1 1077944320 9180 0 0 0 46 4 0 0 20 0 20 0 116765598 26628161536 10936 33554432000 4194304 4196468 140730915688688 140730915671232 139880065896183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 /proc/23539/statm: 6501016 10936 3081 1 0 6488269 0 [pid=23539/tid=23540] ppid=23537 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/23539/task/23540/stat : 23540 (java) R 23537 23537 23271 0 -1 4202560 6068 0 0 0 27 2 0 0 20 0 20 0 116765598 26628161536 10936 33554432000 4194304 4196468 140730915688688 139880070135408 139880065908118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23541] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23541/stat : 23541 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 10936 33554432000 4194304 4196468 140730915688688 139879973456656 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23542] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23542/stat : 23542 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 10936 33554432000 4194304 4196468 140730915688688 139879972404112 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23543] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23543/stat : 23543 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 10936 33554432000 4194304 4196468 140730915688688 139879622478864 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23544] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23544/stat : 23544 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 10936 33554432000 4194304 4196468 140730915688688 139879621426320 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23545] ppid=23537 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/23539/task/23545/stat : 23545 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 11002 33554432000 4194304 4196468 140730915688688 139879620372752 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23546] ppid=23537 vsize=26004064 memory=140390804059055 CPUtime=0 cores=0-7 /proc/23539/task/23546/stat : 23546 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 11002 33554432000 4194304 4196468 140730915688688 139879619320208 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23547] ppid=23537 vsize=26004064 memory=140390804061360 CPUtime=0 cores=0-7 /proc/23539/task/23547/stat : 23547 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 11002 33554432000 4194304 4196468 140730915688688 139879618267664 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23548] ppid=23537 vsize=26004064 memory=140390804063664 CPUtime=0 cores=0-7 /proc/23539/task/23548/stat : 23548 (java) S 23537 23537 23271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116765599 26628161536 11002 33554432000 4194304 4196468 140730915688688 139879617215120 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23549] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23549/stat : 23549 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765600 26628161536 11002 33554432000 4194304 4196468 140730915688688 139878740814320 139880065907330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23550] ppid=23537 vsize=26004064 memory=280781608134288 CPUtime=0 cores=0-7 /proc/23539/task/23550/stat : 23550 (java) S 23537 23537 23271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116765601 26628161536 11002 33554432000 4194304 4196468 140730915688688 139878739760544 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23551] ppid=23537 vsize=26004064 memory=280781608141200 CPUtime=0 cores=0-7 /proc/23539/task/23551/stat : 23551 (java) S 23537 23537 23271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116765601 26628161536 11002 33554432000 4194304 4196468 140730915688688 139878738707952 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23552] ppid=23537 vsize=26004064 memory=280781608082480 CPUtime=0 cores=0-7 /proc/23539/task/23552/stat : 23552 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765603 26628161536 11002 33554432000 4194304 4196468 140730915688688 139878737656528 139880065914779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23553] ppid=23537 vsize=26004064 memory=280781608155024 CPUtime=0.01 cores=0-7 /proc/23539/task/23553/stat : 23553 (java) S 23537 23537 23271 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 20 0 116765603 26628161536 11002 33554432000 4194304 4196468 140730915688688 139878736603120 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23554] ppid=23537 vsize=26004064 memory=280781608161936 CPUtime=0.01 cores=0-7 /proc/23539/task/23554/stat : 23554 (java) S 23537 23537 23271 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 20 0 116765603 26628161536 11002 33554432000 4194304 4196468 140730915688688 139878735550576 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23555] ppid=23537 vsize=26004064 memory=280781608159632 CPUtime=0.03 cores=0-7 /proc/23539/task/23555/stat : 23555 (java) R 23537 23537 23271 0 -1 4202560 333 0 0 0 3 0 0 0 20 0 20 0 116765604 26628161536 11002 33554432000 4194304 4196468 140730915688688 139878734498032 139880058185632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23556] ppid=23537 vsize=26004064 memory=280781608175792 CPUtime=0.12 cores=0-7 /proc/23539/task/23556/stat : 23556 (java) D 23537 23537 23271 0 -1 4202560 903 0 0 0 12 0 0 0 20 0 20 0 116765604 26628161536 11002 33554432000 4194304 4196468 140730915688688 139878733442424 139880058613335 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23557] ppid=23537 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23557/stat : 23557 (java) S 23537 23537 23271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116765604 26628161536 11002 33554432000 4194304 4196468 140730915688688 139878732393184 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23558] ppid=23537 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/23539/task/23558/stat : 23558 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765604 26628161536 11002 33554432000 4194304 4196468 140730915688688 139878731340720 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45124 KiB [startup+0.700979 s] /proc/loadavg: 7.73 5.36 3.45 5/199 23558 /proc/meminfo: memFree=26809752/32770624 swapFree=67108860/67108860 [pid=23537] ppid=23534 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/23537/stat : 23537 (xcsp3-exec) S 23534 23537 23271 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 116765598 9740288 345 33554432000 4194304 5098028 140729147968416 140729147966520 140049271784060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11587584 140729147970660 140729147970871 140729147970871 140729147973611 0 /proc/23537/statm: 2378 345 289 221 0 87 0 [pid=23539] ppid=23537 vsize=26006188 memory=97836 CPUtime=1.93 cores=0-7 /proc/23539/stat : 23539 (java) S 23537 23537 23271 0 -1 1077944320 13478 0 0 0 186 7 0 0 20 0 20 0 116765598 26630336512 24459 33554432000 4194304 4196468 140730915688688 140730915671232 139880065896183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 /proc/23539/statm: 6501547 24459 3202 1 0 6488781 0 [pid=23539/tid=23540] ppid=23537 vsize=26006188 memory=280781608533680 CPUtime=0.67 cores=0-7 /proc/23539/task/23540/stat : 23540 (java) R 23537 23537 23271 0 -1 4202560 6576 0 0 0 64 3 0 0 20 0 20 0 116765598 26630336512 24459 33554432000 4194304 4196468 140730915688688 139880070131248 139879657265416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23541] ppid=23537 vsize=26006188 memory=140390804267888 CPUtime=0 cores=0-7 /proc/23539/task/23541/stat : 23541 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765599 26630336512 24459 33554432000 4194304 4196468 140730915688688 139879973456656 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23542] ppid=23537 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23542/stat : 23542 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26630336512 24459 33554432000 4194304 4196468 140730915688688 139879972404112 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23543] ppid=23537 vsize=26006188 memory=1008 CPUtime=0 cores=0-7 /proc/23539/task/23543/stat : 23543 (java) S 23537 23537 23271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116765599 26630336512 24459 33554432000 4194304 4196468 140730915688688 139879622478864 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 ################ # More data... # ################ [pid=23539/tid=23548] ppid=23537 vsize=26538700 memory=1576 CPUtime=0.05 cores=0-7 /proc/23539/task/23548/stat : 23548 (java) S 23537 23537 23271 0 -1 1077944384 1107 0 0 0 3 2 0 0 20 0 28 0 116765599 27175628800 106936 33554432000 4194304 4196468 140730915688688 139879617215120 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23549] ppid=23537 vsize=26538700 memory=932 CPUtime=0.01 cores=0-7 /proc/23539/task/23549/stat : 23549 (java) S 23537 23537 23271 0 -1 1077944384 882 0 0 0 1 0 0 0 20 0 28 0 116765600 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878740814320 139880065907330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23550] ppid=23537 vsize=26538700 memory=2236 CPUtime=0 cores=0-7 /proc/23539/task/23550/stat : 23550 (java) S 23537 23537 23271 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 116765601 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878739760608 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23551] ppid=23537 vsize=26538700 memory=4124 CPUtime=0 cores=0-7 /proc/23539/task/23551/stat : 23551 (java) S 23537 23537 23271 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 116765601 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878738707968 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23552] ppid=23537 vsize=26538700 memory=2200 CPUtime=0 cores=0-7 /proc/23539/task/23552/stat : 23552 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116765603 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878737656528 139880065914779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23553] ppid=23537 vsize=26538700 memory=6760 CPUtime=2.96 cores=0-7 /proc/23539/task/23553/stat : 23553 (java) S 23537 23537 23271 0 -1 1077944384 7915 0 0 0 294 2 0 0 20 0 28 0 116765603 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878736603120 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23554] ppid=23537 vsize=26538700 memory=840 CPUtime=3.01 cores=0-7 /proc/23539/task/23554/stat : 23554 (java) S 23537 23537 23271 0 -1 1077944384 8922 0 0 0 299 2 0 0 20 0 28 0 116765603 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878735550576 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23555] ppid=23537 vsize=26538700 memory=4104 CPUtime=2.99 cores=0-7 /proc/23539/task/23555/stat : 23555 (java) S 23537 23537 23271 0 -1 1077944384 7672 0 0 0 297 2 0 0 20 0 28 0 116765604 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878734498032 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23556] ppid=23537 vsize=26538700 memory=1692 CPUtime=0.87 cores=0-7 /proc/23539/task/23556/stat : 23556 (java) S 23537 23537 23271 0 -1 1077944384 7975 0 0 0 85 2 0 0 20 0 28 0 116765604 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878733445488 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23557] ppid=23537 vsize=26538700 memory=916 CPUtime=0 cores=0-7 /proc/23539/task/23557/stat : 23557 (java) S 23537 23537 23271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116765604 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878732393184 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23558] ppid=23537 vsize=26538700 memory=4128 CPUtime=0.01 cores=0-7 /proc/23539/task/23558/stat : 23558 (java) S 23537 23537 23271 0 -1 1077944384 232 0 0 0 0 1 0 0 20 0 28 0 116765604 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878731340720 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23559] ppid=23537 vsize=26538700 memory=1156 CPUtime=25.64 cores=0-7 /proc/23539/task/23559/stat : 23559 (java) R 23537 23537 23271 0 -1 4202560 542 0 0 0 2564 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878723329592 139879660076130 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23560] ppid=23537 vsize=26538700 memory=3160 CPUtime=25.44 cores=0-7 /proc/23539/task/23560/stat : 23560 (java) R 23537 23537 23271 0 -1 4202560 490 0 0 0 2544 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878722277760 139879660112430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23561] ppid=23537 vsize=26538700 memory=1380 CPUtime=25.42 cores=0-7 /proc/23539/task/23561/stat : 23561 (java) R 23537 23537 23271 0 -1 4202560 2564 0 0 0 2539 3 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878721226328 139879660076317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23562] ppid=23537 vsize=26538700 memory=427744 CPUtime=25.65 cores=0-7 /proc/23539/task/23562/stat : 23562 (java) R 23537 23537 23271 0 -1 4202560 748 0 0 0 2565 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878720171768 139879660012923 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23563] ppid=23537 vsize=26538700 memory=6791534058613427641 CPUtime=25.39 cores=0-7 /proc/23539/task/23563/stat : 23563 (java) R 23537 23537 23271 0 -1 4202560 866 0 0 0 2539 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878719119400 139879660076432 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23564] ppid=23537 vsize=26538700 memory=7670023139557335399 CPUtime=25.45 cores=0-7 /proc/23539/task/23564/stat : 23564 (java) R 23537 23537 23271 0 -1 4202560 594 0 0 0 2545 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878718069064 139879660218112 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23565] ppid=23537 vsize=26538700 memory=5794568550923130721 CPUtime=25.62 cores=0-7 /proc/23539/task/23565/stat : 23565 (java) R 23537 23537 23271 0 -1 4202560 334 0 0 0 2562 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878717014264 139879660076471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23566] ppid=23537 vsize=26538700 memory=5794568550923130721 CPUtime=25.54 cores=0-7 /proc/23539/task/23566/stat : 23566 (java) R 23537 23537 23271 0 -1 4202560 429 0 0 0 2554 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878715961992 139879661125947 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 Current children cumulated CPU time: 216.39 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 429124 KiB [startup+28.6017 s] /proc/loadavg: 8.37 5.75 3.65 9/207 23566 /proc/meminfo: memFree=26450972/32770624 swapFree=67108860/67108860 [pid=23537] ppid=23534 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/23537/stat : 23537 (xcsp3-exec) S 23534 23537 23271 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 116765598 9740288 345 33554432000 4194304 5098028 140729147968416 140729147966520 140049271784060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11587584 140729147970660 140729147970871 140729147970871 140729147973611 0 /proc/23537/statm: 2378 345 289 221 0 87 0 [pid=23539] ppid=23537 vsize=26538700 memory=427744 CPUtime=217.98 cores=0-7 /proc/23539/stat : 23539 (java) S 23537 23537 23271 0 -1 1077944320 51791 0 0 0 21755 43 0 0 20 0 28 0 116765598 27175628800 106936 33554432000 4194304 4196468 140730915688688 140730915671232 139880065896183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 /proc/23539/statm: 6634675 106936 3287 1 0 6621909 0 [pid=23539/tid=23540] ppid=23537 vsize=26538700 memory=1380 CPUtime=1.72 cores=0-7 /proc/23539/task/23540/stat : 23540 (java) S 23537 23537 23271 0 -1 1077944384 7979 0 0 0 167 5 0 0 20 0 28 0 116765598 27175628800 106936 33554432000 4194304 4196468 140730915688688 139880070136960 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23541] ppid=23537 vsize=26538700 memory=427744 CPUtime=0.05 cores=0-7 /proc/23539/task/23541/stat : 23541 (java) S 23537 23537 23271 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 28 0 116765599 27175628800 106936 33554432000 4194304 4196468 140730915688688 139879973456656 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23542] ppid=23537 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/23539/task/23542/stat : 23542 (java) S 23537 23537 23271 0 -1 1077944384 140 0 0 0 4 2 0 0 20 0 28 0 116765599 27175628800 106936 33554432000 4194304 4196468 140730915688688 139879972404112 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23543] ppid=23537 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/23539/task/23543/stat : 23543 (java) S 23537 23537 23271 0 -1 1077944384 170 0 0 0 4 2 0 0 20 0 28 0 116765599 27175628800 106936 33554432000 4194304 4196468 140730915688688 139879622478864 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23544] ppid=23537 vsize=26538700 memory=140390804949281 CPUtime=0.06 cores=0-7 /proc/23539/task/23544/stat : 23544 (java) S 23537 23537 23271 0 -1 1077944384 150 0 0 0 4 2 0 0 20 0 28 0 116765599 27175628800 106936 33554432000 4194304 4196468 140730915688688 139879621426320 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23545] ppid=23537 vsize=26538700 memory=7828270565687330183 CPUtime=0.06 cores=0-7 /proc/23539/task/23545/stat : 23545 (java) S 23537 23537 23271 0 -1 1077944384 127 0 0 0 4 2 0 0 20 0 28 0 116765599 27175628800 106936 33554432000 4194304 4196468 140730915688688 139879620372752 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23546] ppid=23537 vsize=26538700 memory=6656426216303648864 CPUtime=0.06 cores=0-7 /proc/23539/task/23546/stat : 23546 (java) S 23537 23537 23271 0 -1 1077944384 443 0 0 0 3 3 0 0 20 0 28 0 116765599 27175628800 106936 33554432000 4194304 4196468 140730915688688 139879619320208 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23547] ppid=23537 vsize=26538700 memory=6656426216303648864 CPUtime=0.05 cores=0-7 /proc/23539/task/23547/stat : 23547 (java) S 23537 23537 23271 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 28 0 116765599 27175628800 106936 33554432000 4194304 4196468 140730915688688 139879618267664 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23548] ppid=23537 vsize=26538700 memory=6943526294502006880 CPUtime=0.05 cores=0-7 /proc/23539/task/23548/stat : 23548 (java) S 23537 23537 23271 0 -1 1077944384 1107 0 0 0 3 2 0 0 20 0 28 0 116765599 27175628800 106936 33554432000 4194304 4196468 140730915688688 139879617215120 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23549] ppid=23537 vsize=26538700 memory=-2098775911743863648 CPUtime=0.01 cores=0-7 /proc/23539/task/23549/stat : 23549 (java) S 23537 23537 23271 0 -1 1077944384 882 0 0 0 1 0 0 0 20 0 28 0 116765600 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878740814320 139880065907330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23550] ppid=23537 vsize=26538700 memory=8128038100524242582 CPUtime=0 cores=0-7 /proc/23539/task/23550/stat : 23550 (java) S 23537 23537 23271 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 116765601 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878739760608 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23551] ppid=23537 vsize=26538700 memory=4137290303932963203 CPUtime=0 cores=0-7 /proc/23539/task/23551/stat : 23551 (java) S 23537 23537 23271 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 116765601 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878738707968 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23552] ppid=23537 vsize=26538700 memory=8370611207638964880 CPUtime=0 cores=0-7 /proc/23539/task/23552/stat : 23552 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116765603 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878737656528 139880065914779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23553] ppid=23537 vsize=26538700 memory=-8383301583103171957 CPUtime=2.96 cores=0-7 /proc/23539/task/23553/stat : 23553 (java) S 23537 23537 23271 0 -1 1077944384 7915 0 0 0 294 2 0 0 20 0 28 0 116765603 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878736603120 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23554] ppid=23537 vsize=26538700 memory=1692 CPUtime=3.01 cores=0-7 /proc/23539/task/23554/stat : 23554 (java) S 23537 23537 23271 0 -1 1077944384 8922 0 0 0 299 2 0 0 20 0 28 0 116765603 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878735550576 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23555] ppid=23537 vsize=26538700 memory=916 CPUtime=2.99 cores=0-7 /proc/23539/task/23555/stat : 23555 (java) S 23537 23537 23271 0 -1 1077944384 7672 0 0 0 297 2 0 0 20 0 28 0 116765604 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878734498032 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23556] ppid=23537 vsize=26538700 memory=4128 CPUtime=0.87 cores=0-7 /proc/23539/task/23556/stat : 23556 (java) S 23537 23537 23271 0 -1 1077944384 7975 0 0 0 85 2 0 0 20 0 28 0 116765604 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878733445488 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23557] ppid=23537 vsize=26538700 memory=7084271526448750400 CPUtime=0 cores=0-7 /proc/23539/task/23557/stat : 23557 (java) S 23537 23537 23271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116765604 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878732393184 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23558] ppid=23537 vsize=26538700 memory=7739243997556076654 CPUtime=0.01 cores=0-7 /proc/23539/task/23558/stat : 23558 (java) S 23537 23537 23271 0 -1 1077944384 232 0 0 0 0 1 0 0 20 0 28 0 116765604 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878731340720 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23559] ppid=23537 vsize=26538700 memory=7091877926751004756 CPUtime=25.84 cores=0-7 /proc/23539/task/23559/stat : 23559 (java) R 23537 23537 23271 0 -1 4202560 542 0 0 0 2584 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878723329592 139879660625658 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23560] ppid=23537 vsize=26538700 memory=6154282490091891024 CPUtime=25.64 cores=0-7 /proc/23539/task/23560/stat : 23560 (java) R 23537 23537 23271 0 -1 4202560 490 0 0 0 2564 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878722277760 139879660112430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23561] ppid=23537 vsize=26538700 memory=5868305129381915238 CPUtime=25.62 cores=0-7 /proc/23539/task/23561/stat : 23561 (java) R 23537 23537 23271 0 -1 4202560 2585 0 0 0 2559 3 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878721226328 139879662779266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23562] ppid=23537 vsize=26538700 memory=7681407940103534236 CPUtime=25.85 cores=0-7 /proc/23539/task/23562/stat : 23562 (java) R 23537 23537 23271 0 -1 4202560 748 0 0 0 2585 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878720171768 139879660076175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23563] ppid=23537 vsize=26538700 memory=7305218370954225494 CPUtime=25.58 cores=0-7 /proc/23539/task/23563/stat : 23563 (java) R 23537 23537 23271 0 -1 4202560 866 0 0 0 2558 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878719119400 139879661125973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23564] ppid=23537 vsize=26538700 memory=7740652437591779686 CPUtime=25.65 cores=0-7 /proc/23539/task/23564/stat : 23564 (java) R 23537 23537 23271 0 -1 4202560 594 0 0 0 2565 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878718069064 139879660012170 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23565] ppid=23537 vsize=26538700 memory=6935656952493068368 CPUtime=25.82 cores=0-7 /proc/23539/task/23565/stat : 23565 (java) R 23537 23537 23271 0 -1 4202560 334 0 0 0 2582 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878717014264 139879660077649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23566] ppid=23537 vsize=26538700 memory=2241 CPUtime=25.74 cores=0-7 /proc/23539/task/23566/stat : 23566 (java) R 23537 23537 23271 0 -1 4202560 429 0 0 0 2574 0 0 0 20 0 28 0 116765779 27175628800 106936 33554432000 4194304 4196468 140730915688688 139878715961992 139879660076188 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 Current children cumulated CPU time: 217.98 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 429124 KiB [startup+28.7012 s] /proc/loadavg: 8.37 5.75 3.65 9/207 23566 /proc/meminfo: memFree=26450972/32770624 swapFree=67108860/67108860 [pid=23537] ppid=23534 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/23537/stat : 23537 (xcsp3-exec) S 23534 23537 23271 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 116765598 9740288 345 33554432000 4194304 5098028 140729147968416 140729147966520 140049271784060 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11587584 140729147970660 140729147970871 140729147970871 140729147973611 0 /proc/23537/statm: 2378 345 289 221 0 87 0 [pid=23539] ppid=23537 vsize=26538700 memory=427240 CPUtime=218.74 cores=0-7 /proc/23539/stat : 23539 (java) S 23537 23537 23271 0 -1 1077944320 53628 0 0 0 21830 44 0 0 20 0 20 0 116765598 27175628800 106810 33554432000 4194304 4196468 140730915688688 140730915671232 139880065896183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 /proc/23539/statm: 6634675 106810 3289 1 0 6621909 0 [pid=23539/tid=23540] ppid=23537 vsize=26538700 memory=1380 CPUtime=1.72 cores=0-7 /proc/23539/task/23540/stat : 23540 (java) R 23537 23537 23271 0 -1 4202560 8425 0 0 0 167 5 0 0 20 0 20 0 116765598 27175628800 106810 33554432000 4194304 4196468 140730915688688 139880070137048 139880065908118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23541] ppid=23537 vsize=26538700 memory=33 CPUtime=0.05 cores=0-7 /proc/23539/task/23541/stat : 23541 (java) S 23537 23537 23271 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 20 0 116765599 27175628800 106810 33554432000 4194304 4196468 140730915688688 139879973456656 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23542] ppid=23537 vsize=26538700 memory=5 CPUtime=0.06 cores=0-7 /proc/23539/task/23542/stat : 23542 (java) S 23537 23537 23271 0 -1 1077944384 140 0 0 0 4 2 0 0 20 0 20 0 116765599 27175628800 106810 33554432000 4194304 4196468 140730915688688 139879972404112 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23543] ppid=23537 vsize=26538700 memory=5 CPUtime=0.06 cores=0-7 /proc/23539/task/23543/stat : 23543 (java) S 23537 23537 23271 0 -1 1077944384 170 0 0 0 4 2 0 0 20 0 20 0 116765599 27175628800 106810 33554432000 4194304 4196468 140730915688688 139879622478864 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23544] ppid=23537 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/23539/task/23544/stat : 23544 (java) S 23537 23537 23271 0 -1 1077944384 150 0 0 0 4 2 0 0 20 0 20 0 116765599 27175628800 106810 33554432000 4194304 4196468 140730915688688 139879621426320 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23545] ppid=23537 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7 /proc/23539/task/23545/stat : 23545 (java) S 23537 23537 23271 0 -1 1077944384 127 0 0 0 4 2 0 0 20 0 20 0 116765599 27175628800 106810 33554432000 4194304 4196468 140730915688688 139879620372752 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23546] ppid=23537 vsize=26538700 memory=68 CPUtime=0.06 cores=0-7 /proc/23539/task/23546/stat : 23546 (java) S 23537 23537 23271 0 -1 1077944384 443 0 0 0 3 3 0 0 20 0 20 0 116765599 27175628800 106810 33554432000 4194304 4196468 140730915688688 139879619320208 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23547] ppid=23537 vsize=26538700 memory=280781608128304 CPUtime=0.05 cores=0-7 /proc/23539/task/23547/stat : 23547 (java) S 23537 23537 23271 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 116765599 27175628800 106810 33554432000 4194304 4196468 140730915688688 139879618267664 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23548] ppid=23537 vsize=26538700 memory=1380 CPUtime=0.05 cores=0-7 /proc/23539/task/23548/stat : 23548 (java) S 23537 23537 23271 0 -1 1077944384 1107 0 0 0 3 2 0 0 20 0 20 0 116765599 27175628800 106810 33554432000 4194304 4196468 140730915688688 139879617215120 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23549] ppid=23537 vsize=26538700 memory=427744 CPUtime=0.01 cores=0-7 /proc/23539/task/23549/stat : 23549 (java) S 23537 23537 23271 0 -1 1077944384 882 0 0 0 1 0 0 0 20 0 20 0 116765600 27175628800 106810 33554432000 4194304 4196468 140730915688688 139878740814320 139880065907330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23550] ppid=23537 vsize=26538700 memory=4140 CPUtime=0 cores=0-7 /proc/23539/task/23550/stat : 23550 (java) S 23537 23537 23271 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 116765601 27175628800 106810 33554432000 4194304 4196468 140730915688688 139878739760608 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23551] ppid=23537 vsize=26538700 memory=32700 CPUtime=0 cores=0-7 /proc/23539/task/23551/stat : 23551 (java) S 23537 23537 23271 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 116765601 27175628800 106810 33554432000 4194304 4196468 140730915688688 139878738707968 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23552] ppid=23537 vsize=26538700 memory=1292 CPUtime=0 cores=0-7 /proc/23539/task/23552/stat : 23552 (java) S 23537 23537 23271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116765603 27175628800 106810 33554432000 4194304 4196468 140730915688688 139878737656528 139880065914779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23553] ppid=23537 vsize=26538700 memory=1362 CPUtime=2.97 cores=0-7 /proc/23539/task/23553/stat : 23553 (java) S 23537 23537 23271 0 -1 1077944384 8197 0 0 0 295 2 0 0 20 0 20 0 116765603 27175628800 106810 33554432000 4194304 4196468 140730915688688 139878736603120 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23554] ppid=23537 vsize=26538700 memory=515 CPUtime=3.01 cores=0-7 /proc/23539/task/23554/stat : 23554 (java) S 23537 23537 23271 0 -1 1077944384 8925 0 0 0 299 2 0 0 20 0 20 0 116765603 27175628800 106810 33554432000 4194304 4196468 140730915688688 139878735550576 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23555] ppid=23537 vsize=26538700 memory=0 CPUtime=3 cores=0-7 /proc/23539/task/23555/stat : 23555 (java) R 23537 23537 23271 0 -1 4202560 7771 0 0 0 298 2 0 0 20 0 20 0 116765604 27175628800 106810 33554432000 4194304 4196468 140730915688688 139878734486704 139880065917530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23556] ppid=23537 vsize=26538700 memory=0 CPUtime=0.87 cores=0-7 /proc/23539/task/23556/stat : 23556 (java) S 23537 23537 23271 0 -1 1077944384 8388 0 0 0 85 2 0 0 20 0 20 0 116765604 27175628800 106810 33554432000 4194304 4196468 140730915688688 139878733445488 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23557] ppid=23537 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/23539/task/23557/stat : 23557 (java) S 23537 23537 23271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116765604 27175628800 106810 33554432000 4194304 4196468 140730915688688 139878732393184 139880065906389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 [pid=23539/tid=23558] ppid=23537 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7 /proc/23539/task/23558/stat : 23558 (java) S 23537 23537 23271 0 -1 1077944384 232 0 0 0 0 1 0 0 20 0 20 0 116765604 27175628800 106810 33554432000 4194304 4196468 140730915688688 139878731340720 139880065907330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 9285632 140730915697810 140730915697987 140730915697987 140730915700687 0 Current children cumulated CPU time: 218.74 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 428620 KiB Child status: 0 Real time (s): 28.7243 CPU time (s): 218.767 CPU user time (s): 218.312 CPU system time (s): 0.455002 CPU usage (%): 761.609 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 429124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 218.312 system time used= 0.455002 maximum resident set size= 427856 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54624 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4877 involuntary context switches= 3144 # summary of solver processes directly reported to runsolver: # pid: 23537 # total CPU time (s): 218.767 # total CPU user time (s): 218.312 # total CPU system time (s): 0.455002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.271732 second user time and 0.366572 second system time The end
Begin job on node114 at 2017-08-16 00:25:19 IDJOB=4271098 IDBENCH=139773 IDSOLVER=2662 FILE ID=node114/4271098-1502836778 RUNJOBID= node114-1502833396-23298 PBS_JOBID= 20629847 Free space on /tmp= 61708 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/CoveringArray/CoveringArray-elt-s1/CoveringArray-elt-3-10-2-12.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271098-1502836778/watcher-4271098-1502836778 -o /tmp/evaluation-result-4271098-1502836778/solver-4271098-1502836778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502833396-23298 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1662712443 HOME/instance-4271098-1502836778.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 616f71b8e0d8bc577b21aa831e8a99b8 RANDOM SEED=1662712443 node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5332.98 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5332.98 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5332.98 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5332.98 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26866896 kB MemAvailable: 31984680 kB Buffers: 229180 kB Cached: 5175092 kB SwapCached: 0 kB Active: 533720 kB Inactive: 4924884 kB Active(anon): 57084 kB Inactive(anon): 25124 kB Active(file): 476636 kB Inactive(file): 4899760 kB Unevictable: 6432 kB Mlocked: 6432 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7788 kB Writeback: 0 kB AnonPages: 60584 kB Mapped: 46412 kB Shmem: 25224 kB Slab: 140068 kB SReclaimable: 114444 kB SUnreclaim: 25624 kB KernelStack: 3168 kB PageTables: 4876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61700 MiB End job on node114 at 2017-08-16 00:25:48