Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 259.246 | 33.675098 |
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-4280908-1503178798.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280908-1503178798.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 5.72/1.80 c solve instance... 258.87/33.65 s SATISFIABLE 258.87/33.65 v <instantiation> 258.87/33.65 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> 258.87/33.65 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> 258.87/33.65 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 (12772 MiB free) memory of node 1: 16384 MiB (12135 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280908-1503178798/watcher-4280908-1503178798 -o /tmp/evaluation-result-4280908-1503178798/solver-4280908-1503178798 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503175375-6738 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 985094218 HOME/instance-4280908-1503178798.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=7478, runsolver pid=7475 Current StackSize limit: 8192 KiB [startup+0.100147 s]* /proc/loadavg: 7.03 8.02 8.22 3/199 7499 /proc/meminfo: memFree=25490440/32770624 swapFree=67108860/67108860 [pid=7478] ppid=7475 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7478/stat : 7478 (xcsp3-exec) S 7475 7478 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150960680 9740288 346 33554432000 4194304 5098028 140736262165520 140736262163624 140038276285052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27054080 140736262173797 140736262174007 140736262174007 140736262176747 0 /proc/7478/statm: 2378 346 289 221 0 87 0 [pid=7480] ppid=7478 vsize=25999808 memory=26472 CPUtime=0.11 cores=0-7 /proc/7480/stat : 7480 (java) S 7478 7478 6711 0 -1 1077944320 5474 0 0 0 10 1 0 0 20 0 20 0 150960680 26623803392 6618 33554432000 4194304 4196468 140726707728688 140726707711232 140262767177463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 /proc/7480/statm: 6499952 6618 2859 1 0 6488269 0 [pid=7480/tid=7481] ppid=7478 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/7480/task/7481/stat : 7481 (java) R 7478 7478 6711 0 -1 4202560 3477 0 0 0 8 1 0 0 20 0 20 0 150960680 26623803392 6618 33554432000 4194304 4196468 140726707728688 140262771410736 140262767189398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7482] ppid=7478 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/7480/task/7482/stat : 7482 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26623803392 6618 33554432000 4194304 4196468 140726707728688 140262719798416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7483] ppid=7478 vsize=25999808 memory=140582414636672 CPUtime=0 cores=0-7 /proc/7480/task/7483/stat : 7483 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960681 26623803392 6618 33554432000 4194304 4196468 140726707728688 140262718745616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7484] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7484/stat : 7484 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26623803392 6618 33554432000 4194304 4196468 140726707728688 140262717692816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7485] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7485/stat : 7485 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26623803392 6618 33554432000 4194304 4196468 140726707728688 140262716640016 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7486] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7486/stat : 7486 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960681 26623803392 6618 33554432000 4194304 4196468 140726707728688 140262715587216 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7487] ppid=7478 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7480/task/7487/stat : 7487 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26623803392 6618 33554432000 4194304 4196468 140726707728688 140262714534416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7488] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7488/stat : 7488 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26623803392 6618 33554432000 4194304 4196468 140726707728688 140262713481616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7489] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7489/stat : 7489 (java) S 7478 7478 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150960681 26623803392 6618 33554432000 4194304 4196468 140726707728688 140262712428816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7490] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7490/stat : 7490 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960682 26623803392 6618 33554432000 4194304 4196468 140726707728688 140261509348208 140262767188610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7491] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7491/stat : 7491 (java) S 7478 7478 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150960683 26623803392 6618 33554432000 4194304 4196468 140726707728688 140261508294176 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7492] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7492/stat : 7492 (java) S 7478 7478 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150960683 26623803392 6618 33554432000 4194304 4196468 140726707728688 140261507241328 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7493] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7493/stat : 7493 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960685 26623803392 6618 33554432000 4194304 4196468 140726707728688 140261506189648 140262767196059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7494] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7494/stat : 7494 (java) S 7478 7478 6711 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 150960685 26623803392 6618 33554432000 4194304 4196468 140726707728688 140261505137008 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7495] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7495/stat : 7495 (java) S 7478 7478 6711 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 150960686 26623803392 6618 33554432000 4194304 4196468 140726707728688 140261504084208 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7496] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7496/stat : 7496 (java) S 7478 7478 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150960686 26623803392 6618 33554432000 4194304 4196468 140726707728688 140261503031408 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7497] ppid=7478 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/7480/task/7497/stat : 7497 (java) S 7478 7478 6711 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 20 0 150960686 26623803392 6618 33554432000 4194304 4196468 140726707728688 140261501978608 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7498] ppid=7478 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7498/stat : 7498 (java) S 7478 7478 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150960686 26623803392 6618 33554432000 4194304 4196468 140726707728688 140261500927072 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7499] ppid=7478 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7480/task/7499/stat : 7499 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960686 26623803392 6618 33554432000 4194304 4196468 140726707728688 140261499874352 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27856 KiB [startup+0.209887 s]* /proc/loadavg: 7.03 8.02 8.22 3/199 7499 /proc/meminfo: memFree=25478020/32770624 swapFree=67108860/67108860 [pid=7478] ppid=7475 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7478/stat : 7478 (xcsp3-exec) S 7475 7478 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150960680 9740288 346 33554432000 4194304 5098028 140736262165520 140736262163624 140038276285052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27054080 140736262173797 140736262174007 140736262174007 140736262176747 0 /proc/7478/statm: 2378 346 289 221 0 87 0 [pid=7480] ppid=7478 vsize=26004064 memory=38816 CPUtime=0.33 cores=0-7 /proc/7480/stat : 7480 (java) S 7478 7478 6711 0 -1 1077944320 8330 0 0 0 31 2 0 0 20 0 20 0 150960680 26628161536 9704 33554432000 4194304 4196468 140726707728688 140726707711232 140262767177463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 /proc/7480/statm: 6501016 9704 3044 1 0 6488269 0 [pid=7480/tid=7481] ppid=7478 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/7480/task/7481/stat : 7481 (java) R 7478 7478 6711 0 -1 4202560 5391 0 0 0 18 1 0 0 20 0 20 0 150960680 26628161536 9704 33554432000 4194304 4196468 140726707728688 140262771390960 140262751257950 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7482] ppid=7478 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/7480/task/7482/stat : 7482 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 9704 33554432000 4194304 4196468 140726707728688 140262719798416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7483] ppid=7478 vsize=26004064 memory=140582415335090 CPUtime=0 cores=0-7 /proc/7480/task/7483/stat : 7483 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 9704 33554432000 4194304 4196468 140726707728688 140262718745616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7484] ppid=7478 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7480/task/7484/stat : 7484 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 9704 33554432000 4194304 4196468 140726707728688 140262717692816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7485] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7485/stat : 7485 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 9704 33554432000 4194304 4196468 140726707728688 140262716640016 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7486] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7486/stat : 7486 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 9704 33554432000 4194304 4196468 140726707728688 140262715587216 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7487] ppid=7478 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7480/task/7487/stat : 7487 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 9704 33554432000 4194304 4196468 140726707728688 140262714534416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7488] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7488/stat : 7488 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 9704 33554432000 4194304 4196468 140726707728688 140262713481616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7489] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7489/stat : 7489 (java) S 7478 7478 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 9704 33554432000 4194304 4196468 140726707728688 140262712428816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7490] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7490/stat : 7490 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960682 26628161536 9704 33554432000 4194304 4196468 140726707728688 140261509348208 140262767188610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7491] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7491/stat : 7491 (java) S 7478 7478 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150960683 26628161536 9704 33554432000 4194304 4196468 140726707728688 140261508294176 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7492] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7492/stat : 7492 (java) S 7478 7478 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150960683 26628161536 9704 33554432000 4194304 4196468 140726707728688 140261507241328 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7493] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7493/stat : 7493 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960685 26628161536 9704 33554432000 4194304 4196468 140726707728688 140261506189648 140262767196059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7494] ppid=7478 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/7480/task/7494/stat : 7494 (java) S 7478 7478 6711 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 20 0 150960685 26628161536 9704 33554432000 4194304 4196468 140726707728688 140261505137008 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7495] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7495/stat : 7495 (java) S 7478 7478 6711 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 20 0 150960686 26628161536 9704 33554432000 4194304 4196468 140726707728688 140261504084208 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7496] ppid=7478 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/7480/task/7496/stat : 7496 (java) S 7478 7478 6711 0 -1 1077944384 296 0 0 0 1 0 0 0 20 0 20 0 150960686 26628161536 9704 33554432000 4194304 4196468 140726707728688 140261503031408 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7497] ppid=7478 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/7480/task/7497/stat : 7497 (java) R 7478 7478 6711 0 -1 4202560 766 0 0 0 8 0 0 0 20 0 20 0 150960686 26628161536 9704 33554432000 4194304 4196468 140726707728688 140261501978608 140262759512427 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7498] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7498/stat : 7498 (java) S 7478 7478 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150960686 26628161536 9704 33554432000 4194304 4196468 140726707728688 140261500927072 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7499] ppid=7478 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7480/task/7499/stat : 7499 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960686 26628161536 9704 33554432000 4194304 4196468 140726707728688 140261499874352 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40200 KiB [startup+0.309447 s]* /proc/loadavg: 7.03 8.02 8.22 3/199 7499 /proc/meminfo: memFree=25473616/32770624 swapFree=67108860/67108860 [pid=7478] ppid=7475 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7478/stat : 7478 (xcsp3-exec) S 7475 7478 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150960680 9740288 346 33554432000 4194304 5098028 140736262165520 140736262163624 140038276285052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27054080 140736262173797 140736262174007 140736262174007 140736262176747 0 /proc/7478/statm: 2378 346 289 221 0 87 0 [pid=7480] ppid=7478 vsize=26004064 memory=43992 CPUtime=0.49 cores=0-7 /proc/7480/stat : 7480 (java) S 7478 7478 6711 0 -1 1077944320 9191 0 0 0 47 2 0 0 20 0 20 0 150960680 26628161536 10998 33554432000 4194304 4196468 140726707728688 140726707711232 140262767177463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 /proc/7480/statm: 6501016 10998 3084 1 0 6488269 0 [pid=7480/tid=7481] ppid=7478 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/7480/task/7481/stat : 7481 (java) R 7478 7478 6711 0 -1 4202560 6062 0 0 0 27 2 0 0 20 0 20 0 150960680 26628161536 10998 33554432000 4194304 4196468 140726707728688 140262771416800 140262374525965 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7482] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7482/stat : 7482 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 10998 33554432000 4194304 4196468 140726707728688 140262719798416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7483] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7483/stat : 7483 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 10998 33554432000 4194304 4196468 140726707728688 140262718745616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7484] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7484/stat : 7484 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 10998 33554432000 4194304 4196468 140726707728688 140262717692816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7485] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7485/stat : 7485 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 10998 33554432000 4194304 4196468 140726707728688 140262716640016 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7486] ppid=7478 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/7480/task/7486/stat : 7486 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 10998 33554432000 4194304 4196468 140726707728688 140262715587216 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7487] ppid=7478 vsize=26004064 memory=140582265648047 CPUtime=0 cores=0-7 /proc/7480/task/7487/stat : 7487 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 10998 33554432000 4194304 4196468 140726707728688 140262714534416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7488] ppid=7478 vsize=26004064 memory=140582265650352 CPUtime=0 cores=0-7 /proc/7480/task/7488/stat : 7488 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 10998 33554432000 4194304 4196468 140726707728688 140262713481616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7489] ppid=7478 vsize=26004064 memory=140582265652656 CPUtime=0 cores=0-7 /proc/7480/task/7489/stat : 7489 (java) S 7478 7478 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150960681 26628161536 10998 33554432000 4194304 4196468 140726707728688 140262712428816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7490] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7490/stat : 7490 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960682 26628161536 10998 33554432000 4194304 4196468 140726707728688 140261509348208 140262767188610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7491] ppid=7478 vsize=26004064 memory=281164531312272 CPUtime=0 cores=0-7 /proc/7480/task/7491/stat : 7491 (java) S 7478 7478 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150960683 26628161536 10998 33554432000 4194304 4196468 140726707728688 140261508294176 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7492] ppid=7478 vsize=26004064 memory=281164531319184 CPUtime=0 cores=0-7 /proc/7480/task/7492/stat : 7492 (java) S 7478 7478 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150960683 26628161536 10998 33554432000 4194304 4196468 140726707728688 140261507241328 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7493] ppid=7478 vsize=26004064 memory=281164531260464 CPUtime=0 cores=0-7 /proc/7480/task/7493/stat : 7493 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960685 26628161536 10998 33554432000 4194304 4196468 140726707728688 140261506189648 140262767196059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7494] ppid=7478 vsize=26004064 memory=281164531333008 CPUtime=0.02 cores=0-7 /proc/7480/task/7494/stat : 7494 (java) S 7478 7478 6711 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 20 0 150960685 26628161536 10998 33554432000 4194304 4196468 140726707728688 140261505137008 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7495] ppid=7478 vsize=26004064 memory=281164531339920 CPUtime=0.01 cores=0-7 /proc/7480/task/7495/stat : 7495 (java) S 7478 7478 6711 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 150960686 26628161536 10998 33554432000 4194304 4196468 140726707728688 140261504084208 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7496] ppid=7478 vsize=26004064 memory=281164531337616 CPUtime=0.03 cores=0-7 /proc/7480/task/7496/stat : 7496 (java) S 7478 7478 6711 0 -1 1077944384 334 0 0 0 3 0 0 0 20 0 20 0 150960686 26628161536 10998 33554432000 4194304 4196468 140726707728688 140261503031408 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7497] ppid=7478 vsize=26004064 memory=281164531353776 CPUtime=0.13 cores=0-7 /proc/7480/task/7497/stat : 7497 (java) R 7478 7478 6711 0 -1 4202560 882 0 0 0 13 0 0 0 20 0 20 0 150960686 26628161536 10998 33554432000 4194304 4196468 140726707728688 140261501974976 140262748741830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7498] ppid=7478 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7498/stat : 7498 (java) S 7478 7478 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150960686 26628161536 10998 33554432000 4194304 4196468 140726707728688 140261500927072 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7499] ppid=7478 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7480/task/7499/stat : 7499 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960686 26628161536 10998 33554432000 4194304 4196468 140726707728688 140261499874352 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45376 KiB [startup+0.700982 s] /proc/loadavg: 7.03 8.02 8.22 6/199 7499 /proc/meminfo: memFree=25448228/32770624 swapFree=67108860/67108860 [pid=7478] ppid=7475 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7478/stat : 7478 (xcsp3-exec) S 7475 7478 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150960680 9740288 346 33554432000 4194304 5098028 140736262165520 140736262163624 140038276285052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27054080 140736262173797 140736262174007 140736262174007 140736262176747 0 /proc/7478/statm: 2378 346 289 221 0 87 0 [pid=7480] ppid=7478 vsize=26006188 memory=97628 CPUtime=1.95 cores=0-7 /proc/7480/stat : 7480 (java) S 7478 7478 6711 0 -1 1077944320 13417 0 0 0 191 4 0 0 20 0 20 0 150960680 26630336512 24407 33554432000 4194304 4196468 140726707728688 140726707711232 140262767177463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 /proc/7480/statm: 6501547 24407 3199 1 0 6488781 0 [pid=7480/tid=7481] ppid=7478 vsize=26006188 memory=281164531711664 CPUtime=0.66 cores=0-7 /proc/7480/task/7481/stat : 7481 (java) R 7478 7478 6711 0 -1 4202560 6575 0 0 0 64 2 0 0 20 0 20 0 150960680 26630336512 24407 33554432000 4194304 4196468 140726707728688 140262771412448 140262379125897 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7482] ppid=7478 vsize=26006188 memory=140582265856880 CPUtime=0 cores=0-7 /proc/7480/task/7482/stat : 7482 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26630336512 24407 33554432000 4194304 4196468 140726707728688 140262719798416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7483] ppid=7478 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7483/stat : 7483 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150960681 26630336512 24407 33554432000 4194304 4196468 140726707728688 140262718745616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7484] ppid=7478 vsize=26006188 memory=1204 CPUtime=0 cores=0-7 /proc/7480/task/7484/stat : 7484 (java) S 7478 7478 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150960681 26630336512 24407 33554432000 4194304 4196468 140726707728688 140262717692816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 ################ # More data... # ################ [pid=7480/tid=7497] ppid=7478 vsize=26538700 memory=1384 CPUtime=0.84 cores=0-7 /proc/7480/task/7497/stat : 7497 (java) S 7478 7478 6711 0 -1 1077944384 6141 0 0 0 82 2 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261501978608 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7498] ppid=7478 vsize=26538700 memory=462900 CPUtime=0 cores=0-7 /proc/7480/task/7498/stat : 7498 (java) S 7478 7478 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261500927072 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7499] ppid=7478 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/7480/task/7499/stat : 7499 (java) S 7478 7478 6711 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261499874352 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7500] ppid=7478 vsize=26538700 memory=0 CPUtime=30.11 cores=0-7 /proc/7480/task/7500/stat : 7500 (java) R 7478 7478 6711 0 -1 4202560 405 0 0 0 3011 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261491863048 140262381931936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7501] ppid=7478 vsize=26538700 memory=1384 CPUtime=30.23 cores=0-7 /proc/7480/task/7501/stat : 7501 (java) R 7478 7478 6711 0 -1 4202560 364 0 0 0 3023 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261490811256 140262382290009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7502] ppid=7478 vsize=26538700 memory=462900 CPUtime=30.14 cores=0-7 /proc/7480/task/7502/stat : 7502 (java) R 7478 7478 6711 0 -1 4202560 1967 0 0 0 3012 2 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261489760744 140262382252115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7503] ppid=7478 vsize=26538700 memory=1728 CPUtime=30.03 cores=0-7 /proc/7480/task/7503/stat : 7503 (java) R 7478 7478 6711 0 -1 4202560 1330 0 0 0 2999 4 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261488705880 140262383665549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7504] ppid=7478 vsize=26538700 memory=12136 CPUtime=30.23 cores=0-7 /proc/7480/task/7504/stat : 7504 (java) R 7478 7478 6711 0 -1 4202560 698 0 0 0 3023 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261487652856 140262382660208 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7505] ppid=7478 vsize=26538700 memory=1004 CPUtime=30.14 cores=0-7 /proc/7480/task/7505/stat : 7505 (java) R 7478 7478 6711 0 -1 4202560 1076 0 0 0 3014 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261486600056 140262382266091 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7506] ppid=7478 vsize=26538700 memory=1228 CPUtime=29.8 cores=0-7 /proc/7480/task/7506/stat : 7506 (java) R 7478 7478 6711 0 -1 4202560 397 0 0 0 2980 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261418062288 140262381932254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7507] ppid=7478 vsize=26538700 memory=1952 CPUtime=30.35 cores=0-7 /proc/7480/task/7507/stat : 7507 (java) R 7478 7478 6711 0 -1 4202560 732 0 0 0 3034 1 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261417011528 140262382950065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 Current children cumulated CPU time: 252.49 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 464284 KiB [startup+33.2013 s] /proc/loadavg: 7.41 8.01 8.21 9/207 7507 /proc/meminfo: memFree=25055080/32770624 swapFree=67108860/67108860 [pid=7478] ppid=7475 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7478/stat : 7478 (xcsp3-exec) S 7475 7478 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150960680 9740288 346 33554432000 4194304 5098028 140736262165520 140736262163624 140038276285052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27054080 140736262173797 140736262174007 140736262174007 140736262176747 0 /proc/7478/statm: 2378 346 289 221 0 87 0 [pid=7480] ppid=7478 vsize=26538700 memory=462900 CPUtime=255.67 cores=0-7 /proc/7480/stat : 7480 (java) S 7478 7478 6711 0 -1 1077944320 53360 0 0 0 25518 49 0 0 20 0 28 0 150960680 27175628800 115725 33554432000 4194304 4196468 140726707728688 140726707711232 140262767177463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 /proc/7480/statm: 6634675 115725 3284 1 0 6621909 0 [pid=7480/tid=7481] ppid=7478 vsize=26538700 memory=8508218500552443356 CPUtime=1.72 cores=0-7 /proc/7480/task/7481/stat : 7481 (java) S 7478 7478 6711 0 -1 1077944384 7224 0 0 0 167 5 0 0 20 0 28 0 150960680 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262771418240 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7482] ppid=7478 vsize=26538700 memory=6805124639032654198 CPUtime=0.07 cores=0-7 /proc/7480/task/7482/stat : 7482 (java) S 7478 7478 6711 0 -1 1077944384 1163 0 0 0 5 2 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262719798416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7483] ppid=7478 vsize=26538700 memory=288230574492221466 CPUtime=0.06 cores=0-7 /proc/7480/task/7483/stat : 7483 (java) S 7478 7478 6711 0 -1 1077944384 136 0 0 0 4 2 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262718745616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7484] ppid=7478 vsize=26538700 memory=315533655906976057 CPUtime=0.07 cores=0-7 /proc/7480/task/7484/stat : 7484 (java) S 7478 7478 6711 0 -1 1077944384 563 0 0 0 4 3 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262717692816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7485] ppid=7478 vsize=26538700 memory=16101468159609422 CPUtime=0.09 cores=0-7 /proc/7480/task/7485/stat : 7485 (java) S 7478 7478 6711 0 -1 1077944384 139 0 0 0 6 3 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262716640016 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7486] ppid=7478 vsize=26538700 memory=8389687274651136818 CPUtime=0.05 cores=0-7 /proc/7480/task/7486/stat : 7486 (java) S 7478 7478 6711 0 -1 1077944384 128 0 0 0 3 2 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262715587216 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7487] ppid=7478 vsize=26538700 memory=6655300316396806240 CPUtime=0.08 cores=0-7 /proc/7480/task/7487/stat : 7487 (java) S 7478 7478 6711 0 -1 1077944384 1216 0 0 0 5 3 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262714534416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7488] ppid=7478 vsize=26538700 memory=6944656592455097440 CPUtime=0.08 cores=0-7 /proc/7480/task/7488/stat : 7488 (java) S 7478 7478 6711 0 -1 1077944384 181 0 0 0 5 3 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262713481616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7489] ppid=7478 vsize=26538700 memory=6944656592455097440 CPUtime=0.07 cores=0-7 /proc/7480/task/7489/stat : 7489 (java) S 7478 7478 6711 0 -1 1077944384 313 0 0 0 4 3 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262712428816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7490] ppid=7478 vsize=26538700 memory=6944656592455097440 CPUtime=0.01 cores=0-7 /proc/7480/task/7490/stat : 7490 (java) S 7478 7478 6711 0 -1 1077944384 911 0 0 0 1 0 0 0 20 0 28 0 150960682 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261509348208 140262767188610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7491] ppid=7478 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/7480/task/7491/stat : 7491 (java) S 7478 7478 6711 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 150960683 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261508294240 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7492] ppid=7478 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/7480/task/7492/stat : 7492 (java) S 7478 7478 6711 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 150960683 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261507241344 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7493] ppid=7478 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/7480/task/7493/stat : 7493 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150960685 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261506189648 140262767196059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7494] ppid=7478 vsize=26538700 memory=8463011350845335707 CPUtime=2.57 cores=0-7 /proc/7480/task/7494/stat : 7494 (java) S 7478 7478 6711 0 -1 1077944384 7142 0 0 0 255 2 0 0 20 0 28 0 150960685 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261505137008 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7495] ppid=7478 vsize=26538700 memory=7167663508073228475 CPUtime=2.62 cores=0-7 /proc/7480/task/7495/stat : 7495 (java) S 7478 7478 6711 0 -1 1077944384 7638 0 0 0 260 2 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261504084208 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7496] ppid=7478 vsize=26538700 memory=6944652177228980320 CPUtime=2.91 cores=0-7 /proc/7480/task/7496/stat : 7496 (java) S 7478 7478 6711 0 -1 1077944384 11639 0 0 0 290 1 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261503031408 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7497] ppid=7478 vsize=26538700 memory=6003409828241434214 CPUtime=0.84 cores=0-7 /proc/7480/task/7497/stat : 7497 (java) S 7478 7478 6711 0 -1 1077944384 6141 0 0 0 82 2 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261501978608 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7498] ppid=7478 vsize=26538700 memory=-9174445032661854264 CPUtime=0 cores=0-7 /proc/7480/task/7498/stat : 7498 (java) S 7478 7478 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261500927072 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7499] ppid=7478 vsize=26538700 memory=-1664385933527490352 CPUtime=0 cores=0-7 /proc/7480/task/7499/stat : 7499 (java) S 7478 7478 6711 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261499874352 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7500] ppid=7478 vsize=26538700 memory=-1664385933527490352 CPUtime=30.51 cores=0-7 /proc/7480/task/7500/stat : 7500 (java) R 7478 7478 6711 0 -1 4202560 405 0 0 0 3051 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261491863048 140262381932443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7501] ppid=7478 vsize=26538700 memory=-6871183931233319769 CPUtime=30.63 cores=0-7 /proc/7480/task/7501/stat : 7501 (java) R 7478 7478 6711 0 -1 4202560 364 0 0 0 3063 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261490811256 140262382251808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7502] ppid=7478 vsize=26538700 memory=-2893623298589923098 CPUtime=30.54 cores=0-7 /proc/7480/task/7502/stat : 7502 (java) R 7478 7478 6711 0 -1 4202560 1970 0 0 0 3052 2 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261489760744 140262382252453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7503] ppid=7478 vsize=26538700 memory=-7025424297587845161 CPUtime=30.43 cores=0-7 /proc/7480/task/7503/stat : 7503 (java) R 7478 7478 6711 0 -1 4202560 1331 0 0 0 3039 4 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261488705880 140262381923833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7504] ppid=7478 vsize=26538700 memory=-1807685287717842718 CPUtime=30.62 cores=0-7 /proc/7480/task/7504/stat : 7504 (java) R 7478 7478 6711 0 -1 4202560 698 0 0 0 3062 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261487652856 140262381932497 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7505] ppid=7478 vsize=26538700 memory=-1664385933527490352 CPUtime=30.54 cores=0-7 /proc/7480/task/7505/stat : 7505 (java) R 7478 7478 6711 0 -1 4202560 1076 0 0 0 3054 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261486600056 140262381923605 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7506] ppid=7478 vsize=26538700 memory=-1664385933527490352 CPUtime=30.2 cores=0-7 /proc/7480/task/7506/stat : 7506 (java) R 7478 7478 6711 0 -1 4202560 397 0 0 0 3020 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261418062288 140262382252379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7507] ppid=7478 vsize=26538700 memory=-6871183931233319769 CPUtime=30.75 cores=0-7 /proc/7480/task/7507/stat : 7507 (java) R 7478 7478 6711 0 -1 4202560 734 0 0 0 3074 1 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261417011528 140262381923994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 Current children cumulated CPU time: 255.67 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 464284 KiB [startup+33.6013 s] /proc/loadavg: 7.41 8.01 8.21 9/207 7507 /proc/meminfo: memFree=25055080/32770624 swapFree=67108860/67108860 [pid=7478] ppid=7475 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7478/stat : 7478 (xcsp3-exec) S 7475 7478 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150960680 9740288 346 33554432000 4194304 5098028 140736262165520 140736262163624 140038276285052 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27054080 140736262173797 140736262174007 140736262174007 140736262176747 0 /proc/7478/statm: 2378 346 289 221 0 87 0 [pid=7480] ppid=7478 vsize=26538700 memory=462900 CPUtime=258.87 cores=0-7 /proc/7480/stat : 7480 (java) S 7478 7478 6711 0 -1 1077944320 53379 0 0 0 25838 49 0 0 20 0 28 0 150960680 27175628800 115725 33554432000 4194304 4196468 140726707728688 140726707711232 140262767177463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 /proc/7480/statm: 6634675 115725 3284 1 0 6621909 0 [pid=7480/tid=7481] ppid=7478 vsize=26538700 memory=462900 CPUtime=1.72 cores=0-7 /proc/7480/task/7481/stat : 7481 (java) S 7478 7478 6711 0 -1 1077944384 7224 0 0 0 167 5 0 0 20 0 28 0 150960680 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262771418240 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7482] ppid=7478 vsize=26538700 memory=42380 CPUtime=0.07 cores=0-7 /proc/7480/task/7482/stat : 7482 (java) S 7478 7478 6711 0 -1 1077944384 1163 0 0 0 5 2 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262719798416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7483] ppid=7478 vsize=26538700 memory=2428 CPUtime=0.06 cores=0-7 /proc/7480/task/7483/stat : 7483 (java) S 7478 7478 6711 0 -1 1077944384 136 0 0 0 4 2 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262718745616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7484] ppid=7478 vsize=26538700 memory=1292 CPUtime=0.07 cores=0-7 /proc/7480/task/7484/stat : 7484 (java) S 7478 7478 6711 0 -1 1077944384 563 0 0 0 4 3 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262717692816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7485] ppid=7478 vsize=26538700 memory=4096 CPUtime=0.09 cores=0-7 /proc/7480/task/7485/stat : 7485 (java) S 7478 7478 6711 0 -1 1077944384 139 0 0 0 6 3 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262716640016 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7486] ppid=7478 vsize=26538700 memory=42380 CPUtime=0.05 cores=0-7 /proc/7480/task/7486/stat : 7486 (java) S 7478 7478 6711 0 -1 1077944384 128 0 0 0 3 2 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262715587216 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7487] ppid=7478 vsize=26538700 memory=2428 CPUtime=0.08 cores=0-7 /proc/7480/task/7487/stat : 7487 (java) S 7478 7478 6711 0 -1 1077944384 1216 0 0 0 5 3 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262714534416 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7488] ppid=7478 vsize=26538700 memory=1292 CPUtime=0.08 cores=0-7 /proc/7480/task/7488/stat : 7488 (java) S 7478 7478 6711 0 -1 1077944384 181 0 0 0 5 3 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262713481616 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7489] ppid=7478 vsize=26538700 memory=1728 CPUtime=0.07 cores=0-7 /proc/7480/task/7489/stat : 7489 (java) S 7478 7478 6711 0 -1 1077944384 313 0 0 0 4 3 0 0 20 0 28 0 150960681 27175628800 115725 33554432000 4194304 4196468 140726707728688 140262712428816 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7490] ppid=7478 vsize=26538700 memory=12136 CPUtime=0.01 cores=0-7 /proc/7480/task/7490/stat : 7490 (java) S 7478 7478 6711 0 -1 1077944384 911 0 0 0 1 0 0 0 20 0 28 0 150960682 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261509348208 140262767188610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7491] ppid=7478 vsize=26538700 memory=1004 CPUtime=0 cores=0-7 /proc/7480/task/7491/stat : 7491 (java) S 7478 7478 6711 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 150960683 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261508294240 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7492] ppid=7478 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/7480/task/7492/stat : 7492 (java) S 7478 7478 6711 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 150960683 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261507241344 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7493] ppid=7478 vsize=26538700 memory=-6876588628787748224 CPUtime=0 cores=0-7 /proc/7480/task/7493/stat : 7493 (java) S 7478 7478 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150960685 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261506189648 140262767196059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7494] ppid=7478 vsize=26538700 memory=6944656592455360569 CPUtime=2.57 cores=0-7 /proc/7480/task/7494/stat : 7494 (java) S 7478 7478 6711 0 -1 1077944384 7142 0 0 0 255 2 0 0 20 0 28 0 150960685 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261505137008 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7495] ppid=7478 vsize=26538700 memory=59 CPUtime=2.62 cores=0-7 /proc/7480/task/7495/stat : 7495 (java) S 7478 7478 6711 0 -1 1077944384 7638 0 0 0 260 2 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261504084208 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7496] ppid=7478 vsize=26538700 memory=8112282956445269571 CPUtime=2.91 cores=0-7 /proc/7480/task/7496/stat : 7496 (java) S 7478 7478 6711 0 -1 1077944384 11639 0 0 0 290 1 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261503031408 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7497] ppid=7478 vsize=26538700 memory=0 CPUtime=0.84 cores=0-7 /proc/7480/task/7497/stat : 7497 (java) S 7478 7478 6711 0 -1 1077944384 6141 0 0 0 82 2 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261501978608 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7498] ppid=7478 vsize=26538700 memory=281164531740272 CPUtime=0 cores=0-7 /proc/7480/task/7498/stat : 7498 (java) S 7478 7478 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261500927072 140262767187669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7499] ppid=7478 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/7480/task/7499/stat : 7499 (java) S 7478 7478 6711 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 28 0 150960686 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261499874352 140262767188610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7500] ppid=7478 vsize=26538700 memory=0 CPUtime=30.9 cores=0-7 /proc/7480/task/7500/stat : 7500 (java) R 7478 7478 6711 0 -1 4202560 405 0 0 0 3090 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261491863048 140262382294236 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7501] ppid=7478 vsize=26538700 memory=0 CPUtime=31.03 cores=0-7 /proc/7480/task/7501/stat : 7501 (java) R 7478 7478 6711 0 -1 4202560 364 0 0 0 3103 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261490811256 140262382252421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7502] ppid=7478 vsize=26538700 memory=0 CPUtime=30.94 cores=0-7 /proc/7480/task/7502/stat : 7502 (java) R 7478 7478 6711 0 -1 4202560 1974 0 0 0 3092 2 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261489760744 140262383078653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7503] ppid=7478 vsize=26538700 memory=257 CPUtime=30.83 cores=0-7 /proc/7480/task/7503/stat : 7503 (java) R 7478 7478 6711 0 -1 4202560 1332 0 0 0 3079 4 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261488705880 140262384301982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7504] ppid=7478 vsize=26538700 memory=262 CPUtime=31.01 cores=0-7 /proc/7480/task/7504/stat : 7504 (java) R 7478 7478 6711 0 -1 4202560 712 0 0 0 3101 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261487652856 140262381932174 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7505] ppid=7478 vsize=26538700 memory=291 CPUtime=30.94 cores=0-7 /proc/7480/task/7505/stat : 7505 (java) R 7478 7478 6711 0 -1 4202560 1076 0 0 0 3094 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261486600056 140262382253620 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7506] ppid=7478 vsize=26538700 memory=1440 CPUtime=30.6 cores=0-7 /proc/7480/task/7506/stat : 7506 (java) R 7478 7478 6711 0 -1 4202560 397 0 0 0 3060 0 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261418062288 140262381932357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 [pid=7480/tid=7507] ppid=7478 vsize=26538700 memory=15880 CPUtime=31.15 cores=0-7 /proc/7480/task/7507/stat : 7507 (java) R 7478 7478 6711 0 -1 4202560 734 0 0 0 3114 1 0 0 20 0 28 0 150960862 27175628800 115725 33554432000 4194304 4196468 140726707728688 140261417011528 140262383607381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29536256 140726707733650 140726707733827 140726707733827 140726707736527 0 Current children cumulated CPU time: 258.87 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 464284 KiB Child status: 0 Real time (s): 33.6751 CPU time (s): 259.246 CPU user time (s): 258.735 CPU system time (s): 0.510942 CPU usage (%): 769.845 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 464284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 258.735 system time used= 0.510942 maximum resident set size= 463148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56302 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5278 involuntary context switches= 3469 # summary of solver processes directly reported to runsolver: # pid: 7478 # total CPU time (s): 259.246 # total CPU user time (s): 258.735 # total CPU system time (s): 0.510942 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.380562 second user time and 0.36132 second system time The end
Begin job on node148 at 2017-08-19 23:25:38 IDJOB=4280908 IDBENCH=139773 IDSOLVER=2675 FILE ID=node148/4280908-1503178798 RUNJOBID= node148-1503175375-6738 PBS_JOBID= 20630845 Free space on /tmp= 61944 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-4280908-1503178798/watcher-4280908-1503178798 -o /tmp/evaluation-result-4280908-1503178798/solver-4280908-1503178798 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503175375-6738 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 985094218 HOME/instance-4280908-1503178798.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 616f71b8e0d8bc577b21aa831e8a99b8 RANDOM SEED=985094218 node148.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 : 5333.19 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 : 5333.19 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 : 5333.19 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 : 5333.19 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: 25505220 kB MemAvailable: 31974484 kB Buffers: 295104 kB Cached: 6468336 kB SwapCached: 0 kB Active: 1167252 kB Inactive: 5648640 kB Active(anon): 4272 kB Inactive(anon): 84704 kB Active(file): 1162980 kB Inactive(file): 5563936 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8372 kB Writeback: 0 kB AnonPages: 54144 kB Mapped: 51504 kB Shmem: 33416 kB Slab: 143436 kB SReclaimable: 116364 kB SUnreclaim: 27072 kB KernelStack: 2960 kB PageTables: 4800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333528 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61940 MiB End job on node148 at 2017-08-19 23:26:12