Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 65 | 9.30407 | 1.71083 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t13-0.xml |
MD5SUM | 558323a2a8170e0d854a4dae083387a0 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 3.16953 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 968 |
Number of constraints | 100 |
Number of domains | 9 |
Minimum domain size | 2 |
Maximum domain size | 18 |
Distribution of domain sizes | [{"size":2,"count":176},{"size":6,"count":88},{"size":7,"count":88},{"size":8,"count":88},{"size":11,"count":88},{"size":13,"count":176},{"size":15,"count":88},{"size":17,"count":88},{"size":18,"count":88}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":968}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 880 |
Distribution of constraint arities | [{"arity":11,"count":88},{"arity":88,"count":11},{"arity":880,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":98}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407315-1569346981.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407315-1569346981.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.79/0.71 c solve instance... 4.04/1.10 o 68 4.87/1.19 o 67 6.22/1.39 o 66 8.56/1.68 o 65 8.56/1.69 s OPTIMUM FOUND 8.56/1.69 v <instantiation> 8.56/1.69 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] </list> 8.56/1.69 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 8.56/1.69 v </instantiation>
OK 65
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 (13704 MiB free) memory of node 1: 16384 MiB (14480 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407315-1569346981/watcher-4407315-1569346981 -o /tmp/evaluation-result-4407315-1569346981/solver-4407315-1569346981 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1678333843 HOME/instance-4407315-1569346981.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=25424, runsolver pid=25421 Current StackSize limit: 8192 KiB [startup+0.100137 s]* /proc/loadavg: 7.96 7.84 7.80 2/213 25447 /proc/meminfo: memFree=28845164/32770624 swapFree=66999256/67108860 [pid=25424] ppid=25421 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25424/stat : 25424 (xcsp3-exec) S 25421 25424 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510951208 115843072 362 33554432000 4194304 5098028 140723076669744 140723076667848 139829177365116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9916416 140723076678523 140723076678766 140723076678766 140723076681674 0 /proc/25424/statm: 28282 362 304 221 0 87 0 [pid=25426] ppid=25424 vsize=28227396 memory=29548 CPUtime=0.12 cores=0-7 /proc/25426/stat : 25426 (java) S 25424 25424 18413 0 -1 1077944320 5876 0 0 0 11 1 0 0 20 0 20 0 510951208 28904853504 7387 33554432000 4194304 4196468 140736170296016 140736170278560 139746023583479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 /proc/25426/statm: 7056849 7387 3114 1 0 7019032 0 [pid=25426/tid=25427] ppid=25424 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/25426/task/25427/stat : 25427 (java) R 25424 25424 18413 0 -1 4202560 3774 0 0 0 8 1 0 0 20 0 20 0 510951208 28904853504 7387 33554432000 4194304 4196468 140736170296016 139746027802784 139746023595414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25428] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25428/stat : 25428 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745976204176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25429] ppid=25424 vsize=28227396 memory=288370136130254464 CPUtime=0 cores=0-7 /proc/25426/task/25429/stat : 25429 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745975151376 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25430] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25430/stat : 25430 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745974099088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25431] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25431/stat : 25431 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745973046288 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25432] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25432/stat : 25432 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745971992976 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25433] ppid=25424 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25426/task/25433/stat : 25433 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745970940176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25434] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25434/stat : 25434 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745969887888 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25435] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25435/stat : 25435 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745968835088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25437] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25437/stat : 25437 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951211 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745004833392 139746023594626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25439] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25439/stat : 25439 (java) S 25424 25424 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510951211 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745003779360 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25440] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25440/stat : 25440 (java) S 25424 25424 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510951211 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745002727024 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25441] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25441/stat : 25441 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951214 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745001675344 139746023602075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25442] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25442/stat : 25442 (java) S 25424 25424 18413 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 510951214 28904853504 7387 33554432000 4194304 4196468 140736170296016 139745000622192 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25443] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25443/stat : 25443 (java) S 25424 25424 18413 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 510951214 28904853504 7387 33554432000 4194304 4196468 140736170296016 139744999569392 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25444] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25444/stat : 25444 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951214 28904853504 7387 33554432000 4194304 4196468 140736170296016 139744998517104 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25445] ppid=25424 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/25426/task/25445/stat : 25445 (java) R 25424 25424 18413 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 20 0 510951214 28904853504 7387 33554432000 4194304 4196468 140736170296016 139744997464304 139746002456709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25446] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25446/stat : 25446 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951214 28904853504 7387 33554432000 4194304 4196468 140736170296016 139744996412256 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25447] ppid=25424 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25426/task/25447/stat : 25447 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951215 28904853504 7387 33554432000 4194304 4196468 140736170296016 139744995359536 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30996 KiB [startup+0.21052 s]* /proc/loadavg: 7.96 7.84 7.80 2/213 25447 /proc/meminfo: memFree=28832048/32770624 swapFree=66999256/67108860 [pid=25424] ppid=25421 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25424/stat : 25424 (xcsp3-exec) S 25421 25424 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510951208 115843072 362 33554432000 4194304 5098028 140723076669744 140723076667848 139829177365116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9916416 140723076678523 140723076678766 140723076678766 140723076681674 0 /proc/25424/statm: 28282 362 304 221 0 87 0 [pid=25426] ppid=25424 vsize=28227396 memory=40876 CPUtime=0.33 cores=0-7 /proc/25426/stat : 25426 (java) S 25424 25424 18413 0 -1 1077944320 9516 0 0 0 30 3 0 0 20 0 20 0 510951208 28904853504 10219 33554432000 4194304 4196468 140736170296016 140736170278560 139746023583479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 /proc/25426/statm: 7056849 10219 3231 1 0 7019032 0 [pid=25426/tid=25427] ppid=25424 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/25426/task/25427/stat : 25427 (java) R 25424 25424 18413 0 -1 4202560 6664 0 0 0 17 2 0 0 20 0 20 0 510951208 28904853504 10219 33554432000 4194304 4196468 140736170296016 139746027817360 139746023604826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25428] ppid=25424 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/25426/task/25428/stat : 25428 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745976204176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25429] ppid=25424 vsize=28227396 memory=139759978563483 CPUtime=0 cores=0-7 /proc/25426/task/25429/stat : 25429 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745975151376 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25430] ppid=25424 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25426/task/25430/stat : 25430 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745974099088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25431] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25431/stat : 25431 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745973046288 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25432] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25432/stat : 25432 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745971992976 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25433] ppid=25424 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25426/task/25433/stat : 25433 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745970940176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25434] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25434/stat : 25434 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745969887888 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25435] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25435/stat : 25435 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745968835088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25437] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25437/stat : 25437 (java) S 25424 25424 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510951211 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745004833392 139746023594626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25439] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25439/stat : 25439 (java) S 25424 25424 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510951211 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745003779360 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25440] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25440/stat : 25440 (java) S 25424 25424 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510951211 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745002727024 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25441] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25441/stat : 25441 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951214 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745001675344 139746023602075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25442] ppid=25424 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25426/task/25442/stat : 25442 (java) S 25424 25424 18413 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 20 0 510951214 28904853504 10219 33554432000 4194304 4196468 140736170296016 139745000622192 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25443] ppid=25424 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25426/task/25443/stat : 25443 (java) S 25424 25424 18413 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 510951214 28904853504 10219 33554432000 4194304 4196468 140736170296016 139744999569392 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25444] ppid=25424 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/25426/task/25444/stat : 25444 (java) S 25424 25424 18413 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 20 0 510951214 28904853504 10219 33554432000 4194304 4196468 140736170296016 139744998517104 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25445] ppid=25424 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/25426/task/25445/stat : 25445 (java) R 25424 25424 18413 0 -1 4202560 737 0 0 0 8 0 0 0 20 0 20 0 510951214 28904853504 10219 33554432000 4194304 4196468 140736170296016 139744997464304 139746002248166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25446] ppid=25424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25446/stat : 25446 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951214 28904853504 10219 33554432000 4194304 4196468 140736170296016 139744996412256 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25447] ppid=25424 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25426/task/25447/stat : 25447 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951215 28904853504 10219 33554432000 4194304 4196468 140736170296016 139744995359536 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42324 KiB [startup+0.310466 s]* /proc/loadavg: 7.96 7.84 7.80 4/213 25447 /proc/meminfo: memFree=28824540/32770624 swapFree=66999256/67108860 [pid=25424] ppid=25421 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25424/stat : 25424 (xcsp3-exec) S 25421 25424 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510951208 115843072 362 33554432000 4194304 5098028 140723076669744 140723076667848 139829177365116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9916416 140723076678523 140723076678766 140723076678766 140723076681674 0 /proc/25424/statm: 28282 362 304 221 0 87 0 [pid=25426] ppid=25424 vsize=28231652 memory=50208 CPUtime=0.53 cores=0-7 /proc/25426/stat : 25426 (java) S 25424 25424 18413 0 -1 1077944320 10887 0 0 0 49 4 0 0 20 0 20 0 510951208 28909211648 12552 33554432000 4194304 4196468 140736170296016 140736170278560 139746023583479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 /proc/25426/statm: 7057913 12552 3312 1 0 7019032 0 [pid=25426/tid=25427] ppid=25424 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/25426/task/25427/stat : 25427 (java) R 25424 25424 18413 0 -1 4202560 7801 0 0 0 27 3 0 0 20 0 20 0 510951208 28909211648 12552 33554432000 4194304 4196468 140736170296016 139746027821392 139746007663966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25428] ppid=25424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25428/stat : 25428 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951209 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745976204176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25429] ppid=25424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25429/stat : 25429 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745975151376 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25430] ppid=25424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25430/stat : 25430 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951209 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745974099088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25431] ppid=25424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25431/stat : 25431 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745973046288 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25432] ppid=25424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25432/stat : 25432 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745971992976 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25433] ppid=25424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25433/stat : 25433 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951209 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745970940176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25434] ppid=25424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25434/stat : 25434 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951209 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745969887888 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25435] ppid=25424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25435/stat : 25435 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745968835088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25437] ppid=25424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25437/stat : 25437 (java) S 25424 25424 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510951211 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745004833392 139746023594626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25439] ppid=25424 vsize=28231652 memory=279519693053312 CPUtime=0 cores=0-7 /proc/25426/task/25439/stat : 25439 (java) S 25424 25424 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510951211 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745003779360 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25440] ppid=25424 vsize=28231652 memory=279519693057920 CPUtime=0 cores=0-7 /proc/25426/task/25440/stat : 25440 (java) S 25424 25424 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510951211 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745002727024 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25441] ppid=25424 vsize=28231652 memory=279519693062528 CPUtime=0 cores=0-7 /proc/25426/task/25441/stat : 25441 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951214 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745001675344 139746023602075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25442] ppid=25424 vsize=28231652 memory=279519693067136 CPUtime=0.02 cores=0-7 /proc/25426/task/25442/stat : 25442 (java) S 25424 25424 18413 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 20 0 510951214 28909211648 12552 33554432000 4194304 4196468 140736170296016 139745000622192 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25443] ppid=25424 vsize=28231652 memory=279519693071744 CPUtime=0.03 cores=0-7 /proc/25426/task/25443/stat : 25443 (java) R 25424 25424 18413 0 -1 4202560 269 0 0 0 3 0 0 0 20 0 20 0 510951214 28909211648 12552 33554432000 4194304 4196468 140736170296016 139744999550408 139746002829327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25444] ppid=25424 vsize=28231652 memory=279519693076352 CPUtime=0.02 cores=0-7 /proc/25426/task/25444/stat : 25444 (java) S 25424 25424 18413 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 510951214 28909211648 12552 33554432000 4194304 4196468 140736170296016 139744998517104 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25445] ppid=25424 vsize=28231652 memory=279519693080960 CPUtime=0.13 cores=0-7 /proc/25426/task/25445/stat : 25445 (java) S 25424 25424 18413 0 -1 1077944384 846 0 0 0 13 0 0 0 20 0 20 0 510951214 28909211648 12552 33554432000 4194304 4196468 140736170296016 139744997464304 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25446] ppid=25424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25446/stat : 25446 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951214 28909211648 12552 33554432000 4194304 4196468 140736170296016 139744996412256 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25447] ppid=25424 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/25426/task/25447/stat : 25447 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951215 28909211648 12552 33554432000 4194304 4196468 140736170296016 139744995359536 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51656 KiB [startup+0.700965 s] /proc/loadavg: 7.96 7.84 7.80 6/213 25447 /proc/meminfo: memFree=28812024/32770624 swapFree=66999256/67108860 [pid=25424] ppid=25421 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25424/stat : 25424 (xcsp3-exec) S 25421 25424 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510951208 115843072 362 33554432000 4194304 5098028 140723076669744 140723076667848 139829177365116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9916416 140723076678523 140723076678766 140723076678766 140723076681674 0 /proc/25424/statm: 28282 362 304 221 0 87 0 [pid=25426] ppid=25424 vsize=28233776 memory=102056 CPUtime=1.79 cores=0-7 /proc/25426/stat : 25426 (java) S 25424 25424 18413 0 -1 1077944320 16755 0 0 0 172 7 0 0 20 0 20 0 510951208 28911386624 25514 33554432000 4194304 4196468 140736170296016 140736170278560 139746023583479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 /proc/25426/statm: 7058444 25514 3460 1 0 7019544 0 [pid=25426/tid=25427] ppid=25424 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/25426/task/25427/stat : 25427 (java) R 25424 25424 18413 0 -1 4202560 9294 0 0 0 63 4 0 0 20 0 20 0 510951208 28911386624 25534 33554432000 4194304 4196468 140736170296016 139746027822240 139745636260452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25428] ppid=25424 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25428/stat : 25428 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951209 28911386624 25534 33554432000 4194304 4196468 140736170296016 139745976204176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25429] ppid=25424 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25429/stat : 25429 (java) S 25424 25424 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951209 28911386624 25534 33554432000 4194304 4196468 140736170296016 139745975151376 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25430] ppid=25424 vsize=28233776 memory=2828 CPUtime=0 cores=0-7 /proc/25426/task/25430/stat : 25430 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951209 28911386624 25534 33554432000 4194304 4196468 140736170296016 139745974099088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 ################ # More data... # ################ [startup+1.50113 s] /proc/loadavg: 7.96 7.84 7.80 14/221 25455 /proc/meminfo: memFree=28743324/32770624 swapFree=66999256/67108860 [pid=25424] ppid=25421 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25424/stat : 25424 (xcsp3-exec) S 25421 25424 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510951208 115843072 362 33554432000 4194304 5098028 140723076669744 140723076667848 139829177365116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9916416 140723076678523 140723076678766 140723076678766 140723076681674 0 /proc/25424/statm: 28282 362 304 221 0 87 0 [pid=25426] ppid=25424 vsize=28766288 memory=202688 CPUtime=7.78 cores=0-7 /proc/25426/stat : 25426 (java) S 25424 25424 18413 0 -1 1077944320 20586 0 0 0 765 13 0 0 20 0 28 0 510951208 29456678912 50672 33554432000 4194304 4196468 140736170296016 140736170278560 139746023583479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 /proc/25426/statm: 7191572 50672 3498 1 0 7152672 0 [pid=25426/tid=25427] ppid=25424 vsize=28766288 memory=0 CPUtime=0.71 cores=0-7 /proc/25426/task/25427/stat : 25427 (java) S 25424 25424 18413 0 -1 1077944384 9381 0 0 0 67 4 0 0 20 0 28 0 510951208 29456678912 50672 33554432000 4194304 4196468 140736170296016 139746027824256 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25428] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25428/stat : 25428 (java) S 25424 25424 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745976204176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25429] ppid=25424 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/25426/task/25429/stat : 25429 (java) S 25424 25424 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745975151376 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25430] ppid=25424 vsize=28766288 memory=16625 CPUtime=0 cores=0-7 /proc/25426/task/25430/stat : 25430 (java) S 25424 25424 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745974099088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25431] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25431/stat : 25431 (java) S 25424 25424 18413 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745973046288 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25432] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25432/stat : 25432 (java) S 25424 25424 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745971992976 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25433] ppid=25424 vsize=28766288 memory=182847689 CPUtime=0 cores=0-7 /proc/25426/task/25433/stat : 25433 (java) S 25424 25424 18413 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745970940176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25434] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25434/stat : 25434 (java) S 25424 25424 18413 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745969887888 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25435] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25435/stat : 25435 (java) S 25424 25424 18413 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745968835088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25437] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25437/stat : 25437 (java) S 25424 25424 18413 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 510951211 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745004833392 139746023594626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25439] ppid=25424 vsize=28766288 memory=139759846562720 CPUtime=0 cores=0-7 /proc/25426/task/25439/stat : 25439 (java) S 25424 25424 18413 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510951211 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745003779360 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25440] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25440/stat : 25440 (java) S 25424 25424 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510951211 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745002727024 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25441] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25441/stat : 25441 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510951214 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745001675344 139746023602075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25442] ppid=25424 vsize=28766288 memory=0 CPUtime=0.81 cores=0-7 /proc/25426/task/25442/stat : 25442 (java) R 25424 25424 18413 0 -1 4202560 1930 0 0 0 81 0 0 0 20 0 28 0 510951214 29456678912 50672 33554432000 4194304 4196468 140736170296016 139745000608608 139746007082344 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25443] ppid=25424 vsize=28766288 memory=3604 CPUtime=0.83 cores=0-7 /proc/25426/task/25443/stat : 25443 (java) R 25424 25424 18413 0 -1 4202560 1926 0 0 0 83 0 0 0 20 0 28 0 510951214 29456678912 50672 33554432000 4194304 4196468 140736170296016 139744999550408 139746007069520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25444] ppid=25424 vsize=28766288 memory=2828 CPUtime=0.85 cores=0-7 /proc/25426/task/25444/stat : 25444 (java) R 25424 25424 18413 0 -1 4202560 2298 0 0 0 85 0 0 0 20 0 28 0 510951214 29456678912 50672 33554432000 4194304 4196468 140736170296016 139744998498120 139746007114962 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25445] ppid=25424 vsize=28766288 memory=676 CPUtime=0.66 cores=0-7 /proc/25426/task/25445/stat : 25445 (java) R 25424 25424 18413 0 -1 1077944384 2833 0 0 0 65 1 0 0 20 0 28 0 510951214 29456678912 50672 33554432000 4194304 4196468 140736170296016 139744997464304 139746023594626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25446] ppid=25424 vsize=28766288 memory=1060 CPUtime=0 cores=0-7 /proc/25426/task/25446/stat : 25446 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510951214 29456678912 50672 33554432000 4194304 4196468 140736170296016 139744996412256 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25447] ppid=25424 vsize=28766288 memory=1548 CPUtime=0 cores=0-7 /proc/25426/task/25447/stat : 25447 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510951215 29456678912 50672 33554432000 4194304 4196468 140736170296016 139744995359536 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 Current children cumulated CPU time: 7.78 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 204136 KiB [startup+1.71077 s] # the end of solver process 25424 was just reported to runsolver # cumulated CPU time of all completed processes: user=9.15324 s, system=0.15083 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60113 s] /proc/loadavg: 7.96 7.84 7.80 14/221 25455 /proc/meminfo: memFree=28743324/32770624 swapFree=66999256/67108860 [pid=25424] ppid=25421 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25424/stat : 25424 (xcsp3-exec) S 25421 25424 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510951208 115843072 362 33554432000 4194304 5098028 140723076669744 140723076667848 139829177365116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9916416 140723076678523 140723076678766 140723076678766 140723076681674 0 /proc/25424/statm: 28282 362 304 221 0 87 0 [pid=25426] ppid=25424 vsize=28766288 memory=206916 CPUtime=8.56 cores=0-7 /proc/25426/stat : 25426 (java) S 25424 25424 18413 0 -1 1077944320 21579 0 0 0 843 13 0 0 20 0 28 0 510951208 29456678912 51729 33554432000 4194304 4196468 140736170296016 140736170278560 139746023583479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 /proc/25426/statm: 7191572 51729 3498 1 0 7152672 0 [pid=25426/tid=25427] ppid=25424 vsize=28766288 memory=4638795994813710432 CPUtime=0.71 cores=0-7 /proc/25426/task/25427/stat : 25427 (java) S 25424 25424 18413 0 -1 1077944384 9381 0 0 0 67 4 0 0 20 0 28 0 510951208 29456678912 51729 33554432000 4194304 4196468 140736170296016 139746027824256 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25428] ppid=25424 vsize=28766288 memory=4638778398333098081 CPUtime=0 cores=0-7 /proc/25426/task/25428/stat : 25428 (java) S 25424 25424 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745976204176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25429] ppid=25424 vsize=28766288 memory=5787213827063244903 CPUtime=0 cores=0-7 /proc/25426/task/25429/stat : 25429 (java) S 25424 25424 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745975151376 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25430] ppid=25424 vsize=28766288 memory=-6168368575958768251 CPUtime=0 cores=0-7 /proc/25426/task/25430/stat : 25430 (java) S 25424 25424 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745974099088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25431] ppid=25424 vsize=28766288 memory=-9106939688866061685 CPUtime=0 cores=0-7 /proc/25426/task/25431/stat : 25431 (java) S 25424 25424 18413 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745973046288 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25432] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25432/stat : 25432 (java) S 25424 25424 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745971992976 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25433] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25433/stat : 25433 (java) S 25424 25424 18413 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745970940176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25434] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25434/stat : 25434 (java) S 25424 25424 18413 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745969887888 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25435] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25435/stat : 25435 (java) S 25424 25424 18413 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 510951209 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745968835088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25437] ppid=25424 vsize=28766288 memory=4580 CPUtime=0 cores=0-7 /proc/25426/task/25437/stat : 25437 (java) S 25424 25424 18413 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 510951211 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745004833392 139746023594626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25439] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25439/stat : 25439 (java) S 25424 25424 18413 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510951211 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745003779360 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25440] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25440/stat : 25440 (java) S 25424 25424 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510951211 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745002727024 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25441] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25441/stat : 25441 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510951214 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745001675344 139746023602075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25442] ppid=25424 vsize=28766288 memory=0 CPUtime=0.88 cores=0-7 /proc/25426/task/25442/stat : 25442 (java) R 25424 25424 18413 0 -1 4202560 2241 0 0 0 88 0 0 0 20 0 28 0 510951214 29456678912 51729 33554432000 4194304 4196468 140736170296016 139745000615384 139746007083685 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25443] ppid=25424 vsize=28766288 memory=0 CPUtime=0.89 cores=0-7 /proc/25426/task/25443/stat : 25443 (java) R 25424 25424 18413 0 -1 4202560 2154 0 0 0 89 0 0 0 20 0 28 0 510951214 29456678912 51729 33554432000 4194304 4196468 140736170296016 139744999556176 139746008710192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25444] ppid=25424 vsize=28766288 memory=0 CPUtime=0.91 cores=0-7 /proc/25426/task/25444/stat : 25444 (java) R 25424 25424 18413 0 -1 4202560 2726 0 0 0 91 0 0 0 20 0 28 0 510951214 29456678912 51729 33554432000 4194304 4196468 140736170296016 139744998498120 139746007872494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25445] ppid=25424 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7 /proc/25426/task/25445/stat : 25445 (java) R 25424 25424 18413 0 -1 4202560 2859 0 0 0 65 1 0 0 20 0 28 0 510951214 29456678912 51729 33554432000 4194304 4196468 140736170296016 139744997464304 139746007663966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25446] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25446/stat : 25446 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510951214 29456678912 51729 33554432000 4194304 4196468 140736170296016 139744996412256 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25447] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25447/stat : 25447 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510951215 29456678912 51729 33554432000 4194304 4196468 140736170296016 139744995359536 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 Current children cumulated CPU time: 8.56 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 208364 KiB [startup+1.70099 s] /proc/loadavg: 7.96 7.84 7.80 14/221 25455 /proc/meminfo: memFree=28743324/32770624 swapFree=66999256/67108860 [pid=25424] ppid=25421 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25424/stat : 25424 (xcsp3-exec) S 25421 25424 18413 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510951208 115843072 362 33554432000 4194304 5098028 140723076669744 140723076667848 139829177365116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9916416 140723076678523 140723076678766 140723076678766 140723076681674 0 /proc/25424/statm: 28282 362 304 221 0 87 0 [pid=25426] ppid=25424 vsize=28766288 memory=212788 CPUtime=9.29 cores=0-7 /proc/25426/stat : 25426 (java) S 25424 25424 18413 0 -1 1077944320 22681 0 0 0 915 14 0 0 20 0 19 0 510951208 29456678912 53197 33554432000 4194304 4196468 140736170296016 140736170278560 139746023583479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 /proc/25426/statm: 7191572 53197 3498 1 0 7152672 0 [pid=25426/tid=25427] ppid=25424 vsize=28766288 memory=0 CPUtime=0.71 cores=0-7 /proc/25426/task/25427/stat : 25427 (java) S 25424 25424 18413 0 -1 1077944384 9385 0 0 0 67 4 0 0 20 0 19 0 510951208 29456678912 53197 33554432000 4194304 4196468 140736170296016 139746027826320 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25428] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25428/stat : 25428 (java) S 25424 25424 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 510951209 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745976204176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25429] ppid=25424 vsize=28766288 memory=3604 CPUtime=0 cores=0-7 /proc/25426/task/25429/stat : 25429 (java) S 25424 25424 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 510951209 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745975151376 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25430] ppid=25424 vsize=28766288 memory=2828 CPUtime=0 cores=0-7 /proc/25426/task/25430/stat : 25430 (java) S 25424 25424 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 510951209 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745974099088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25431] ppid=25424 vsize=28766288 memory=676 CPUtime=0 cores=0-7 /proc/25426/task/25431/stat : 25431 (java) S 25424 25424 18413 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 510951209 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745973046288 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25432] ppid=25424 vsize=28766288 memory=1060 CPUtime=0 cores=0-7 /proc/25426/task/25432/stat : 25432 (java) S 25424 25424 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 510951209 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745971992976 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25433] ppid=25424 vsize=28766288 memory=1548 CPUtime=0 cores=0-7 /proc/25426/task/25433/stat : 25433 (java) S 25424 25424 18413 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 510951209 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745970940176 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25434] ppid=25424 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/25426/task/25434/stat : 25434 (java) S 25424 25424 18413 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 510951209 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745969887888 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25435] ppid=25424 vsize=28766288 memory=16625 CPUtime=0 cores=0-7 /proc/25426/task/25435/stat : 25435 (java) S 25424 25424 18413 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 510951209 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745968835088 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25437] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25437/stat : 25437 (java) S 25424 25424 18413 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 510951211 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745004833600 139746023594626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25439] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25439/stat : 25439 (java) S 25424 25424 18413 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 510951211 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745003779360 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25440] ppid=25424 vsize=28766288 memory=182847689 CPUtime=0 cores=0-7 /proc/25426/task/25440/stat : 25440 (java) S 25424 25424 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 510951211 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745002727024 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25441] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25441/stat : 25441 (java) S 25424 25424 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 510951214 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745001674400 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25442] ppid=25424 vsize=28766288 memory=0 CPUtime=0.94 cores=0-7 /proc/25426/task/25442/stat : 25442 (java) S 25424 25424 18413 0 -1 1077944384 2259 0 0 0 94 0 0 0 20 0 19 0 510951214 29456678912 53197 33554432000 4194304 4196468 140736170296016 139745000610656 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25443] ppid=25424 vsize=28766288 memory=0 CPUtime=0.94 cores=0-7 /proc/25426/task/25443/stat : 25443 (java) S 25424 25424 18413 0 -1 1077944384 2163 0 0 0 94 0 0 0 20 0 19 0 510951214 29456678912 53197 33554432000 4194304 4196468 140736170296016 139744999554448 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25444] ppid=25424 vsize=28766288 memory=139759846562720 CPUtime=1.02 cores=0-7 /proc/25426/task/25444/stat : 25444 (java) S 25424 25424 18413 0 -1 1077944384 3657 0 0 0 101 1 0 0 20 0 19 0 510951214 29456678912 53197 33554432000 4194304 4196468 140736170296016 139744998496144 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25445] ppid=25424 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7 /proc/25426/task/25445/stat : 25445 (java) S 25424 25424 18413 0 -1 1077944384 2862 0 0 0 66 1 0 0 20 0 19 0 510951214 29456678912 53197 33554432000 4194304 4196468 140736170296016 139744997464304 139746023594626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 [pid=25426/tid=25446] ppid=25424 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25426/task/25446/stat : 25446 (java) S 25424 25424 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 510951214 29456678912 53197 33554432000 4194304 4196468 140736170296016 139744996412256 139746023593685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140736170300400 140736170300571 140736170300571 140736170303439 0 Current children cumulated CPU time: 9.29 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 214236 KiB Child status: 0 Real time (s): 1.71083 CPU time (s): 9.30407 CPU user time (s): 9.15324 CPU system time (s): 0.15083 CPU usage (%): 543.835 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 214236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.15324 system time used= 0.15083 maximum resident set size= 213740 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23242 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3502 involuntary context switches= 223 # summary of solver processes directly reported to runsolver: # pid: 25424 # total CPU time (s): 9.30407 # total CPU user time (s): 9.15324 # total CPU system time (s): 0.15083 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.031513 second user time and 0.063096 second system time The end
Begin job on node103 at 2019-09-24 19:42:02 IDJOB=4407315 IDBENCH=124190 IDSOLVER=2872 FILE ID=node103/4407315-1569346981 RUNJOBID= node103-1569335920-18440 PBS_JOBID= 21705072 Free space on /tmp= 20860 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-0.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407315-1569346981/watcher-4407315-1569346981 -o /tmp/evaluation-result-4407315-1569346981/solver-4407315-1569346981 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1678333843 HOME/instance-4407315-1569346981.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 558323a2a8170e0d854a4dae083387a0 RANDOM SEED=1678333843 node103.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.74 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.74 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.74 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.74 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: 28862588 kB MemAvailable: 31850624 kB Buffers: 53052 kB Cached: 3211856 kB SwapCached: 7000 kB Active: 3166532 kB Inactive: 113984 kB Active(anon): 3920 kB Inactive(anon): 69352 kB Active(file): 3162612 kB Inactive(file): 44632 kB Unevictable: 107056 kB Mlocked: 107056 kB SwapTotal: 67108860 kB SwapFree: 66999256 kB Dirty: 26296 kB Writeback: 0 kB AnonPages: 136748 kB Mapped: 57804 kB Shmem: 49080 kB Slab: 221816 kB SReclaimable: 193252 kB SUnreclaim: 28564 kB KernelStack: 3728 kB PageTables: 5816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514820 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 92160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 20836 MiB End job on node103 at 2019-09-24 19:42:04