Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 7 | 18.3103 | 3.21257 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbo-30-15-1.xml |
MD5SUM | 9a57509d02107f3cf02e1da9240cc9e8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 9.25888 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1380 |
Number of constraints | 1366 |
Number of domains | 6 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":1065},{"size":3,"count":150},{"size":4,"count":105},{"size":5,"count":30},{"size":15,"count":15},{"size":16,"count":15}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] |
Number of extensional constraints | 450 |
Number of intensional constraints | 450 |
Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394375-1568447458.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394375-1568447458.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.91/1.45 c solve instance... 5.39/1.73 o 13 5.39/1.73 o 12 5.39/1.80 o 11 5.39/1.81 o 10 8.16/1.96 o 9 9.80/2.11 o 8 9.80/2.16 o 7 17.63/3.19 s OPTIMUM FOUND 17.63/3.19 v <instantiation> 17.63/3.19 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] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] 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[0][10] r[0][11] r[0][12] r[0][13] r[0][14] 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[1][10] r[1][11] r[1][12] r[1][13] r[1][14] 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[2][10] r[2][11] r[2][12] r[2][13] r[2][14] 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[3][10] r[3][11] r[3][12] r[3][13] r[3][14] 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[4][10] r[4][11] r[4][12] r[4][13] r[4][14] 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[5][10] r[5][11] r[5][12] r[5][13] r[5][14] 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[6][10] r[6][11] r[6][12] r[6][13] r[6][14] 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[7][10] r[7][11] r[7][12] r[7][13] r[7][14] 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[8][10] r[8][11] r[8][12] r[8][13] r[8][14] 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[9][10] r[9][11] r[9][12] r[9][13] r[9][14] 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[10][10] r[10][11] r[10][12] r[10][13] r[10][14] 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[11][10] r[11][11] r[11][12] r[11][13] r[11][14] 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[12][10] r[12][11] r[12][12] r[12][13] r[12][14] 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[13][10] r[13][11] r[13][12] r[13][13] r[13][14] 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[14][10] r[14][11] r[14][12] r[14][13] r[14][14] 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[15][10] r[15][11] r[15][12] r[15][13] r[15][14] 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[16][10] r[16][11] r[16][12] r[16][13] r[16][14] 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[17][10] r[17][11] r[17][12] r[17][13] r[17][14] 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[18][10] r[18][11] r[18][12] r[18][13] r[18][14] 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[19][10] r[19][11] r[19][12] r[19][13] r[19][14] 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[20][10] r[20][11] r[20][12] r[20][13] r[20][14] 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[21][10] r[21][11] r[21][12] r[21][13] r[21][14] 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[22][10] r[22][11] r[22][12] r[22][13] r[22][14] 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[23][10] r[23][11] r[23][12] r[23][13] r[23][14] 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[24][10] r[24][11] r[24][12] r[24][13] r[24][14] 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[25][10] r[25][11] r[25][12] r[25][13] r[25][14] 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[26][10] r[26][11] r[26][12] r[26][13] r[26][14] 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[27][10] r[27][11] r[27][12] r[27][13] r[27][14] 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[28][10] r[28][11] r[28][12] r[28][13] r[28][14] 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[29][10] r[29][11] r[29][12] r[29][13] r[29][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] </list> 17.63/3.19 v <values>0 1 5 6 12 13 4 3 14 10 2 9 7 8 11 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 2 2 2 2 2 0 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 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 2 2 2 2 2 2 2 2 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 1 1 2 3 3 3 3 3 3 3 3 3 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 2 2 2 3 0 0 0 0 0 0 0 0 0 0 1 1 2 2 3 0 0 0 1 1 1 1 1 1 1 2 3 3 3 3 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 1 1 2 2 2 2 3 4 4 4 4 4 4 0 0 0 0 0 0 0 1 1 2 2 3 3 3 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 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 1 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 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 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 1 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 4 6 6 7 6 7 7 7 7 7 7 7 7 6 4 </values> 17.63/3.19 v </instantiation>
OK 7
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 (14865 MiB free) memory of node 1: 16384 MiB (15008 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394375-1568447458/watcher-4394375-1568447458 -o /tmp/evaluation-result-4394375-1568447458/solver-4394375-1568447458 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568447416-2308 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1234998423 HOME/instance-4394375-1568447458.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=2326, runsolver pid=2322 Current StackSize limit: 8192 KiB [startup+0.10016 s]* /proc/loadavg: 8.12 8.22 8.19 2/213 2347 /proc/meminfo: memFree=30575304/32770624 swapFree=66927268/67108860 [pid=2326] ppid=2322 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 2281 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420993143 115843072 363 33554432000 4194304 5098028 140733192630368 140733192628472 140338715038332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20361216 140733192639349 140733192639593 140733192639593 140733192642506 0 /proc/2326/statm: 28282 363 304 221 0 87 0 [pid=2328] ppid=2326 vsize=28227388 memory=28932 CPUtime=0.12 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 2281 0 -1 1077944320 5710 0 0 0 11 1 0 0 20 0 20 0 420993143 28904845312 7233 33554432000 4194304 4196468 140729005615520 140729005598064 140082833489655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 /proc/2328/statm: 7056847 7233 3095 1 0 7019032 0 [pid=2328/tid=2329] ppid=2326 vsize=28227388 memory=1399051139730258233 CPUtime=0.09 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) R 2326 2326 2281 0 -1 4202560 3615 0 0 0 8 1 0 0 20 0 20 0 420993143 28904845312 7233 33554432000 4194304 4196468 140729005615520 140082837725976 140082833511581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2330] ppid=2326 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 7233 33554432000 4194304 4196468 140729005615520 140082786110608 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2331] ppid=2326 vsize=28227388 memory=140235642730112 CPUtime=0 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 7233 33554432000 4194304 4196468 140729005615520 140082785057808 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2332] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 7233 33554432000 4194304 4196468 140729005615520 140082784005008 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2333] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2333/stat : 2333 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 7233 33554432000 4194304 4196468 140729005615520 140082782952208 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2334] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2334/stat : 2334 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 7233 33554432000 4194304 4196468 140729005615520 140082781899408 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2335] ppid=2326 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2335/stat : 2335 (java) S 2326 2326 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 7233 33554432000 4194304 4196468 140729005615520 140082780846608 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2336] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2336/stat : 2336 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 7233 33554432000 4194304 4196468 140729005615520 140082779793808 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2337] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2337/stat : 2337 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 7233 33554432000 4194304 4196468 140729005615520 140082778741008 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2338] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420993145 28904845312 7233 33554432000 4194304 4196468 140729005615520 140081815530352 140082833500802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2339] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 2281 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420993146 28904845312 7233 33554432000 4194304 4196468 140729005615520 140081814476320 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2340] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 2281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420993146 28904845312 7233 33554432000 4194304 4196468 140729005615520 140081813423472 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2341] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993149 28904845312 7233 33554432000 4194304 4196468 140729005615520 140081812371792 140082833508251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2342] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) S 2326 2326 2281 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 420993149 28904845312 7233 33554432000 4194304 4196468 140729005615520 140081811319152 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2343] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) S 2326 2326 2281 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 420993149 28904845312 7233 33554432000 4194304 4196468 140729005615520 140081810266352 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2344] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) S 2326 2326 2281 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 420993149 28904845312 7233 33554432000 4194304 4196468 140729005615520 140081809213552 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2345] ppid=2326 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) S 2326 2326 2281 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 20 0 420993149 28904845312 7233 33554432000 4194304 4196468 140729005615520 140081808160752 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2346] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420993149 28904845312 7233 33554432000 4194304 4196468 140729005615520 140081807109216 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2347] ppid=2326 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2347/stat : 2347 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993149 28904845312 7233 33554432000 4194304 4196468 140729005615520 140081806056496 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30384 KiB [startup+0.2106 s]* /proc/loadavg: 8.12 8.22 8.19 3/213 2347 /proc/meminfo: memFree=30562840/32770624 swapFree=66927268/67108860 [pid=2326] ppid=2322 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 2281 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420993143 115843072 363 33554432000 4194304 5098028 140733192630368 140733192628472 140338715038332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20361216 140733192639349 140733192639593 140733192639593 140733192642506 0 /proc/2326/statm: 28282 363 304 221 0 87 0 [pid=2328] ppid=2326 vsize=28227388 memory=40568 CPUtime=0.34 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 2281 0 -1 1077944320 9374 0 0 0 30 4 0 0 20 0 20 0 420993143 28904845312 10142 33554432000 4194304 4196468 140729005615520 140729005598064 140082833489655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 /proc/2328/statm: 7056847 10142 3299 1 0 7019032 0 [pid=2328/tid=2329] ppid=2326 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) R 2326 2326 2281 0 -1 4202560 6626 0 0 0 17 2 0 0 20 0 20 0 420993143 28904845312 10142 33554432000 4194304 4196468 140729005615520 140082837722752 140082815779023 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2330] ppid=2326 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 10142 33554432000 4194304 4196468 140729005615520 140082786110608 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2331] ppid=2326 vsize=28227388 memory=3689493456984438432 CPUtime=0 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 10142 33554432000 4194304 4196468 140729005615520 140082785057808 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2332] ppid=2326 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 10142 33554432000 4194304 4196468 140729005615520 140082784005008 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2333] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2333/stat : 2333 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 10142 33554432000 4194304 4196468 140729005615520 140082782952208 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2334] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2334/stat : 2334 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 10142 33554432000 4194304 4196468 140729005615520 140082781899408 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2335] ppid=2326 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2335/stat : 2335 (java) S 2326 2326 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 10142 33554432000 4194304 4196468 140729005615520 140082780846608 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2336] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2336/stat : 2336 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 10142 33554432000 4194304 4196468 140729005615520 140082779793808 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2337] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2337/stat : 2337 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28904845312 10142 33554432000 4194304 4196468 140729005615520 140082778741008 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2338] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 2281 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420993145 28904845312 10142 33554432000 4194304 4196468 140729005615520 140081815530352 140082833500802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2339] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 2281 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420993146 28904845312 10142 33554432000 4194304 4196468 140729005615520 140081814476320 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2340] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 2281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420993146 28904845312 10142 33554432000 4194304 4196468 140729005615520 140081813423472 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2341] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993149 28904845312 10142 33554432000 4194304 4196468 140729005615520 140081812371792 140082833508251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2342] ppid=2326 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) S 2326 2326 2281 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 20 0 420993149 28904845312 10142 33554432000 4194304 4196468 140729005615520 140081811319152 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2343] ppid=2326 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) S 2326 2326 2281 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 420993149 28904845312 10142 33554432000 4194304 4196468 140729005615520 140081810266352 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2344] ppid=2326 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) S 2326 2326 2281 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 420993149 28904845312 10142 33554432000 4194304 4196468 140729005615520 140081809213552 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2345] ppid=2326 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) R 2326 2326 2281 0 -1 4202560 783 0 0 0 8 0 0 0 20 0 20 0 420993149 28904845312 10142 33554432000 4194304 4196468 140729005615520 140081808160560 140082812112528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2346] ppid=2326 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420993149 28904845312 10142 33554432000 4194304 4196468 140729005615520 140081807109216 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2347] ppid=2326 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2347/stat : 2347 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993149 28904845312 10142 33554432000 4194304 4196468 140729005615520 140081806056496 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42020 KiB [startup+0.310389 s]* /proc/loadavg: 8.12 8.22 8.19 4/213 2347 /proc/meminfo: memFree=30555416/32770624 swapFree=66927268/67108860 [pid=2326] ppid=2322 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 2281 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420993143 115843072 363 33554432000 4194304 5098028 140733192630368 140733192628472 140338715038332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20361216 140733192639349 140733192639593 140733192639593 140733192642506 0 /proc/2326/statm: 28282 363 304 221 0 87 0 [pid=2328] ppid=2326 vsize=28231644 memory=50068 CPUtime=0.51 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 2281 0 -1 1077944320 10892 0 0 0 47 4 0 0 20 0 20 0 420993143 28909203456 12517 33554432000 4194304 4196468 140729005615520 140729005598064 140082833489655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 /proc/2328/statm: 7057911 12517 3345 1 0 7019032 0 [pid=2328/tid=2329] ppid=2326 vsize=28231644 memory=1399051139730258233 CPUtime=0.3 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) R 2326 2326 2281 0 -1 4202560 7771 0 0 0 27 3 0 0 20 0 20 0 420993143 28909203456 12517 33554432000 4194304 4196468 140729005615520 140082837720768 140082817570142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2330] ppid=2326 vsize=28231644 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420993144 28909203456 12517 33554432000 4194304 4196468 140729005615520 140082786110608 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2331] ppid=2326 vsize=28231644 memory=22444 CPUtime=0 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28909203456 12517 33554432000 4194304 4196468 140729005615520 140082785057808 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2332] ppid=2326 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420993144 28909203456 12517 33554432000 4194304 4196468 140729005615520 140082784005008 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2333] ppid=2326 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2333/stat : 2333 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28909203456 12517 33554432000 4194304 4196468 140729005615520 140082782952208 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2334] ppid=2326 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2334/stat : 2334 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28909203456 12517 33554432000 4194304 4196468 140729005615520 140082781899408 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2335] ppid=2326 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2335/stat : 2335 (java) S 2326 2326 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420993144 28909203456 12517 33554432000 4194304 4196468 140729005615520 140082780846608 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2336] ppid=2326 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2336/stat : 2336 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28909203456 12517 33554432000 4194304 4196468 140729005615520 140082779793808 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2337] ppid=2326 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/2328/task/2337/stat : 2337 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28909203456 12517 33554432000 4194304 4196468 140729005615520 140082778741008 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2338] ppid=2326 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 2281 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420993145 28909203456 12517 33554432000 4194304 4196468 140729005615520 140081815530352 140082833500802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2339] ppid=2326 vsize=28231644 memory=140235514147791 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 2281 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420993146 28909203456 12517 33554432000 4194304 4196468 140729005615520 140081814476320 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2340] ppid=2326 vsize=28231644 memory=280471028297872 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 2281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420993146 28909203456 12517 33554432000 4194304 4196468 140729005615520 140081813423472 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2341] ppid=2326 vsize=28231644 memory=280471028314000 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993149 28909203456 12517 33554432000 4194304 4196468 140729005615520 140081812371792 140082833508251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2342] ppid=2326 vsize=28231644 memory=280471028311696 CPUtime=0.02 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) S 2326 2326 2281 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 20 0 420993149 28909203456 12517 33554432000 4194304 4196468 140729005615520 140081811319152 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2343] ppid=2326 vsize=28231644 memory=280471028318608 CPUtime=0.02 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) S 2326 2326 2281 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 20 0 420993149 28909203456 12517 33554432000 4194304 4196468 140729005615520 140081810266352 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2344] ppid=2326 vsize=28231644 memory=280471028259888 CPUtime=0.02 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) R 2326 2326 2281 0 -1 4202560 495 0 0 0 2 0 0 0 20 0 20 0 420993149 28909203456 12517 33554432000 4194304 4196468 140729005615520 140081809203936 140082816876459 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2345] ppid=2326 vsize=28231644 memory=280471028332432 CPUtime=0.12 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) S 2326 2326 2281 0 -1 1077944384 949 0 0 0 12 0 0 0 20 0 20 0 420993149 28909203456 12517 33554432000 4194304 4196468 140729005615520 140081808160752 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2346] ppid=2326 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420993149 28909203456 12517 33554432000 4194304 4196468 140729005615520 140081807109216 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2347] ppid=2326 vsize=28231644 memory=511 CPUtime=0 cores=0-7 /proc/2328/task/2347/stat : 2347 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993149 28909203456 12517 33554432000 4194304 4196468 140729005615520 140081806056496 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51520 KiB [startup+0.700972 s] /proc/loadavg: 7.63 8.11 8.16 6/213 2347 /proc/meminfo: memFree=30533924/32770624 swapFree=66927268/67108860 [pid=2326] ppid=2322 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 2281 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420993143 115843072 363 33554432000 4194304 5098028 140733192630368 140733192628472 140338715038332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20361216 140733192639349 140733192639593 140733192639593 140733192642506 0 /proc/2326/statm: 28282 363 304 221 0 87 0 [pid=2328] ppid=2326 vsize=28233768 memory=95916 CPUtime=1.96 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 2281 0 -1 1077944320 16664 0 0 0 189 7 0 0 20 0 20 0 420993143 28911378432 23979 33554432000 4194304 4196468 140729005615520 140729005598064 140082833489655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 /proc/2328/statm: 7058442 23979 3456 1 0 7019544 0 [pid=2328/tid=2329] ppid=2326 vsize=28233768 memory=280471028711088 CPUtime=0.67 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) R 2326 2326 2281 0 -1 4202560 9312 0 0 0 63 4 0 0 20 0 20 0 420993143 28911378432 23979 33554432000 4194304 4196468 140729005615520 140082837725568 140082817533285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2330] ppid=2326 vsize=28233768 memory=140235514356592 CPUtime=0 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420993144 28911378432 23979 33554432000 4194304 4196468 140729005615520 140082786110608 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2331] ppid=2326 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993144 28911378432 23979 33554432000 4194304 4196468 140729005615520 140082785057808 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2332] ppid=2326 vsize=28233768 memory=1656 CPUtime=0 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420993144 28911378432 23979 33554432000 4194304 4196468 140729005615520 140082784005008 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 ################ # More data... # ################ [pid=2328/tid=2338] ppid=2326 vsize=28233768 memory=1560 CPUtime=0 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 2281 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420993145 28911378432 23979 33554432000 4194304 4196468 140729005615520 140081815530352 140082833500802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2339] ppid=2326 vsize=28233768 memory=928 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 2281 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420993146 28911378432 23979 33554432000 4194304 4196468 140729005615520 140081814476320 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2340] ppid=2326 vsize=28233768 memory=1768 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 2281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420993146 28911378432 23979 33554432000 4194304 4196468 140729005615520 140081813423472 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2341] ppid=2326 vsize=28233768 memory=832 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993149 28911378432 23979 33554432000 4194304 4196468 140729005615520 140081812371792 140082833508251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2342] ppid=2326 vsize=28233768 memory=33 CPUtime=0.22 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) S 2326 2326 2281 0 -1 1077944384 941 0 0 0 22 0 0 0 20 0 20 0 420993149 28911378432 23979 33554432000 4194304 4196468 140729005615520 140081811319152 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2343] ppid=2326 vsize=28233768 memory=-6368199152461293614 CPUtime=0.34 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) R 2326 2326 2281 0 -1 4202560 1184 0 0 0 34 0 0 0 20 0 20 0 420993149 28911378432 23979 33554432000 4194304 4196468 140729005615520 140081810266352 140082814125573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2344] ppid=2326 vsize=28233768 memory=6944656592455350634 CPUtime=0.26 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) S 2326 2326 2281 0 -1 1077944384 1339 0 0 0 26 0 0 0 20 0 20 0 420993149 28911378432 23979 33554432000 4194304 4196468 140729005615520 140081809213552 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2345] ppid=2326 vsize=28233768 memory=-7019007802211091872 CPUtime=0.4 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) R 2326 2326 2281 0 -1 4202560 2578 0 0 0 40 0 0 0 20 0 20 0 420993149 28911378432 23979 33554432000 4194304 4196468 140729005615520 140081808160880 140082833501590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2346] ppid=2326 vsize=28233768 memory=776 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420993149 28911378432 23979 33554432000 4194304 4196468 140729005615520 140081807109216 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2347] ppid=2326 vsize=28233768 memory=1540 CPUtime=0 cores=0-7 /proc/2328/task/2347/stat : 2347 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420993149 28911378432 23979 33554432000 4194304 4196468 140729005615520 140081806056496 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 Current children cumulated CPU time: 1.96 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 97368 KiB [startup+1.50499 s] /proc/loadavg: 7.63 8.11 8.16 5/213 2347 /proc/meminfo: memFree=30441056/32770624 swapFree=66927268/67108860 [pid=2326] ppid=2322 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 2281 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420993143 115843072 363 33554432000 4194304 5098028 140733192630368 140733192628472 140338715038332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20361216 140733192639349 140733192639593 140733192639593 140733192642506 0 /proc/2326/statm: 28282 363 304 221 0 87 0 [pid=2328] ppid=2326 vsize=28768328 memory=243020 CPUtime=5.39 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 2281 0 -1 1077944320 31687 0 0 0 518 21 0 0 20 0 28 0 420993143 29458767872 60755 33554432000 4194304 4196468 140729005615520 140729005598064 140082833489655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 /proc/2328/statm: 7192082 60755 3489 1 0 7153184 0 [pid=2328/tid=2329] ppid=2326 vsize=28768328 memory=202232 CPUtime=1.44 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) S 2326 2326 2281 0 -1 1077944384 11189 0 0 0 138 6 0 0 20 0 28 0 420993143 29458767872 60755 33554432000 4194304 4196468 140729005615520 140082837730432 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2330] ppid=2326 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) R 2326 2326 2281 0 -1 4202560 42 0 0 0 1 1 0 0 20 0 28 0 420993144 29458767872 60755 33554432000 4194304 4196468 140729005615520 140082786110808 140082818517511 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2331] ppid=2326 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) R 2326 2326 2281 0 -1 4202560 36 0 0 0 1 1 0 0 20 0 28 0 420993144 29458767872 60755 33554432000 4194304 4196468 140729005615520 140082785055440 140082818517529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2332] ppid=2326 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) R 2326 2326 2281 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 28 0 420993144 29458767872 60755 33554432000 4194304 4196468 140729005615520 140082784002640 140082818517538 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2333] ppid=2326 vsize=28768328 memory=280471028984848 CPUtime=0.02 cores=0-7 /proc/2328/task/2333/stat : 2333 (java) R 2326 2326 2281 0 -1 4202560 85 0 0 0 1 1 0 0 20 0 28 0 420993144 29458767872 60755 33554432000 4194304 4196468 140729005615520 140082782952208 140082818517511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2334] ppid=2326 vsize=28768328 memory=140235514493472 CPUtime=0.01 cores=0-7 /proc/2328/task/2334/stat : 2334 (java) R 2326 2326 2281 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 28 0 420993144 29458767872 60755 33554432000 4194304 4196468 140729005615520 140082781899408 140082826595327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2335] ppid=2326 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/2328/task/2335/stat : 2335 (java) R 2326 2326 2281 0 -1 4202560 36 0 0 0 1 0 0 0 20 0 28 0 420993144 29458767872 60755 33554432000 4194304 4196468 140729005615520 140082780846608 140082818517547 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2336] ppid=2326 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2336/stat : 2336 (java) R 2326 2326 2281 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 28 0 420993144 29458767872 60755 33554432000 4194304 4196468 140729005615520 140082779791616 140082818517529 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2337] ppid=2326 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/2328/task/2337/stat : 2337 (java) R 2326 2326 2281 0 -1 4202560 48 0 0 0 1 0 0 0 20 0 28 0 420993144 29458767872 60755 33554432000 4194304 4196468 140729005615520 140082778738640 140082826596201 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2338] ppid=2326 vsize=28768328 memory=4580 CPUtime=0 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 2281 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 420993145 29458767872 60755 33554432000 4194304 4196468 140729005615520 140081815528864 140082833499861 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2339] ppid=2326 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 2281 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 420993146 29458767872 60755 33554432000 4194304 4196468 140729005615520 140081814476320 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2340] ppid=2326 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 2281 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 420993146 29458767872 60755 33554432000 4194304 4196468 140729005615520 140081813423472 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2341] ppid=2326 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420993149 29458767872 60755 33554432000 4194304 4196468 140729005615520 140081812371792 140082833508251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2342] ppid=2326 vsize=28768328 memory=0 CPUtime=0.95 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) S 2326 2326 2281 0 -1 1077944384 4632 0 0 0 94 1 0 0 20 0 28 0 420993149 29458767872 60755 33554432000 4194304 4196468 140729005615520 140081811303120 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2343] ppid=2326 vsize=28768328 memory=0 CPUtime=1.08 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) S 2326 2326 2281 0 -1 1077944384 4400 0 0 0 106 2 0 0 20 0 28 0 420993149 29458767872 60755 33554432000 4194304 4196468 140729005615520 140081810251344 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2344] ppid=2326 vsize=28768328 memory=8112282956445269571 CPUtime=1.03 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) S 2326 2326 2281 0 -1 1077944384 4622 0 0 0 102 1 0 0 20 0 28 0 420993149 29458767872 60755 33554432000 4194304 4196468 140729005615520 140081809193520 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2345] ppid=2326 vsize=28768328 memory=-7735619938911498612 CPUtime=0.67 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) S 2326 2326 2281 0 -1 1077944384 4889 0 0 0 65 2 0 0 20 0 28 0 420993149 29458767872 60755 33554432000 4194304 4196468 140729005615520 140081808160752 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2346] ppid=2326 vsize=28768328 memory=5869125288488569235 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420993149 29458767872 60755 33554432000 4194304 4196468 140729005615520 140081807109216 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2347] ppid=2326 vsize=28768328 memory=7158016764013535125 CPUtime=0 cores=0-7 /proc/2328/task/2347/stat : 2347 (java) S 2326 2326 2281 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 420993149 29458767872 60755 33554432000 4194304 4196468 140729005615520 140081806056496 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 Current children cumulated CPU time: 5.39 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 244472 KiB [startup+3.10115 s] /proc/loadavg: 7.63 8.11 8.16 13/221 2423 /proc/meminfo: memFree=30353456/32770624 swapFree=66927268/67108860 [pid=2326] ppid=2322 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 2281 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420993143 115843072 363 33554432000 4194304 5098028 140733192630368 140733192628472 140338715038332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20361216 140733192639349 140733192639593 140733192639593 140733192642506 0 /proc/2326/statm: 28282 363 304 221 0 87 0 [pid=2328] ppid=2326 vsize=28768328 memory=261188 CPUtime=17.63 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 2281 0 -1 1077944320 38529 0 0 0 1738 25 0 0 20 0 28 0 420993143 29458767872 65297 33554432000 4194304 4196468 140729005615520 140729005598064 140082833489655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 /proc/2328/statm: 7192082 65297 3525 1 0 7153184 0 [pid=2328/tid=2329] ppid=2326 vsize=28768328 memory=1452 CPUtime=1.46 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) S 2326 2326 2281 0 -1 1077944384 11195 0 0 0 140 6 0 0 20 0 28 0 420993143 29458767872 65297 33554432000 4194304 4196468 140729005615520 140082837730432 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2330] ppid=2326 vsize=28768328 memory=254228 CPUtime=0.02 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 2281 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 28 0 420993144 29458767872 65297 33554432000 4194304 4196468 140729005615520 140082786110608 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2331] ppid=2326 vsize=28768328 memory=1452 CPUtime=0.02 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 2281 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 420993144 29458767872 65297 33554432000 4194304 4196468 140729005615520 140082785057808 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2332] ppid=2326 vsize=28768328 memory=254692 CPUtime=0.01 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 2281 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 28 0 420993144 29458767872 65297 33554432000 4194304 4196468 140729005615520 140082784005008 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2333] ppid=2326 vsize=28768328 memory=288230574492221466 CPUtime=0.02 cores=0-7 /proc/2328/task/2333/stat : 2333 (java) S 2326 2326 2281 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 28 0 420993144 29458767872 65297 33554432000 4194304 4196468 140729005615520 140082782952208 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2334] ppid=2326 vsize=28768328 memory=288230596050944315 CPUtime=0.01 cores=0-7 /proc/2328/task/2334/stat : 2334 (java) S 2326 2326 2281 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 420993144 29458767872 65297 33554432000 4194304 4196468 140729005615520 140082781899408 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2335] ppid=2326 vsize=28768328 memory=15536306298030392 CPUtime=0.01 cores=0-7 /proc/2328/task/2335/stat : 2335 (java) S 2326 2326 2281 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 420993144 29458767872 65297 33554432000 4194304 4196468 140729005615520 140082780846608 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2336] ppid=2326 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2336/stat : 2336 (java) S 2326 2326 2281 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 420993144 29458767872 65297 33554432000 4194304 4196468 140729005615520 140082779793808 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2337] ppid=2326 vsize=28768328 memory=5794251801077829732 CPUtime=0.01 cores=0-7 /proc/2328/task/2337/stat : 2337 (java) S 2326 2326 2281 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 28 0 420993144 29458767872 65297 33554432000 4194304 4196468 140729005615520 140082778741008 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2338] ppid=2326 vsize=28768328 memory=7158868966862973284 CPUtime=0 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 2281 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 28 0 420993145 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081815530352 140082833500802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2339] ppid=2326 vsize=28768328 memory=7883944108235712103 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 2281 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 420993146 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081814476384 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2340] ppid=2326 vsize=28768328 memory=7374755803106273902 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 2281 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 420993146 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081813423488 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2341] ppid=2326 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420993149 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081812371792 140082833508251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2342] ppid=2326 vsize=28768328 memory=0 CPUtime=2.11 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) R 2326 2326 2281 0 -1 4202560 5561 0 0 0 209 2 0 0 20 0 28 0 420993149 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081811311360 140082817896811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2343] ppid=2326 vsize=28768328 memory=280471028984848 CPUtime=2.21 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) R 2326 2326 2281 0 -1 4202560 5165 0 0 0 219 2 0 0 20 0 28 0 420993149 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081810247920 140082814062744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2344] ppid=2326 vsize=28768328 memory=140235514493472 CPUtime=2.42 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) R 2326 2326 2281 0 -1 4202560 5189 0 0 0 241 1 0 0 20 0 28 0 420993149 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081809199776 140082816876440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2345] ppid=2326 vsize=28768328 memory=0 CPUtime=1.16 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) R 2326 2326 2281 0 -1 1077944384 7247 0 0 0 113 3 0 0 20 0 28 0 420993149 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081808160752 140082833500802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2346] ppid=2326 vsize=28768328 memory=55 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420993149 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081807109216 140082833499861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2347] ppid=2326 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2347/stat : 2347 (java) S 2326 2326 2281 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 420993149 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081806056496 140082833500802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2416] ppid=2326 vsize=28768328 memory=0 CPUtime=0.63 cores=0-7 /proc/2328/task/2416/stat : 2416 (java) R 2326 2326 2281 0 -1 4202560 98 0 0 0 63 0 0 0 20 0 28 0 420993359 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081794747656 140082465812549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2417] ppid=2326 vsize=28768328 memory=0 CPUtime=0.63 cores=0-7 /proc/2328/task/2417/stat : 2417 (java) R 2326 2326 2281 0 -1 4202560 34 0 0 0 63 0 0 0 20 0 28 0 420993359 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081788432552 140082464396229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2418] ppid=2326 vsize=28768328 memory=0 CPUtime=0.56 cores=0-7 /proc/2328/task/2418/stat : 2418 (java) R 2326 2326 2281 0 -1 4202560 244 0 0 0 56 0 0 0 20 0 28 0 420993359 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081787379832 140082467257992 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2419] ppid=2326 vsize=28768328 memory=6944652177228980320 CPUtime=0.58 cores=0-7 /proc/2328/task/2419/stat : 2419 (java) R 2326 2326 2281 0 -1 4202560 168 0 0 0 58 0 0 0 20 0 28 0 420993359 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081793697880 140082463580757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2420] ppid=2326 vsize=28768328 memory=6944656592455097440 CPUtime=0.64 cores=0-7 /proc/2328/task/2420/stat : 2420 (java) R 2326 2326 2281 0 -1 4202560 138 0 0 0 64 0 0 0 20 0 28 0 420993359 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081789484784 140082464396224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2421] ppid=2326 vsize=28768328 memory=6943526294502006880 CPUtime=0.85 cores=0-7 /proc/2328/task/2421/stat : 2421 (java) R 2326 2326 2281 0 -1 4202560 34 0 0 0 85 0 0 0 20 0 28 0 420993359 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081791588192 140082464803075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2422] ppid=2326 vsize=28768328 memory=4294967295 CPUtime=0.7 cores=0-7 /proc/2328/task/2422/stat : 2422 (java) R 2326 2326 2281 0 -1 4202560 93 0 0 0 70 0 0 0 20 0 28 0 420993359 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081792642656 140082464396785 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 [pid=2328/tid=2423] ppid=2326 vsize=28768328 memory=589972050986101276 CPUtime=0.51 cores=0-7 /proc/2328/task/2423/stat : 2423 (java) R 2326 2326 2281 0 -1 4202560 80 0 0 0 51 0 0 0 20 0 28 0 420993359 29458767872 65297 33554432000 4194304 4196468 140729005615520 140081790537416 140082465812108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18067456 140729005622250 140729005622422 140729005622422 140729005625295 0 Current children cumulated CPU time: 17.63 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 262640 KiB [startup+3.21252 s] # the end of solver process 2326 was just reported to runsolver # cumulated CPU time of all completed processes: user=18.0437 s, system=0.266632 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20152 s]* /proc/loadavg: 7.63 8.11 8.16 1/212 2423 /proc/meminfo: memFree=30339008/32770624 swapFree=66927268/67108860 [pid=2326] ppid=2322 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 2281 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420993143 115843072 363 33554432000 4194304 5098028 140733192630368 140733192628472 140338715038332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20361216 140733192639349 140733192639593 140733192639593 140733192642506 0 /proc/2326/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 3.21257 CPU time (s): 18.3103 CPU user time (s): 18.0437 CPU system time (s): 0.266632 CPU usage (%): 569.959 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 262640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.0437 system time used= 0.266632 maximum resident set size= 267304 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39515 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4188 involuntary context switches= 479 # summary of solver processes directly reported to runsolver: # pid: 2326 # total CPU time (s): 18.3103 # total CPU user time (s): 18.0437 # total CPU system time (s): 0.266632 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.050232 second user time and 0.075348 second system time The end
Begin job on node137 at 2019-09-14 09:50:16 IDJOB=4394375 IDBENCH=140480 IDSOLVER=2843 FILE ID=node137/4394375-1568447458 RUNJOBID= node137-1568447416-2308 PBS_JOBID= 21702354 Free space on /tmp= 61428 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbo-30-15-1.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-4394375-1568447458/watcher-4394375-1568447458 -o /tmp/evaluation-result-4394375-1568447458/solver-4394375-1568447458 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568447416-2308 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1234998423 HOME/instance-4394375-1568447458.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9a57509d02107f3cf02e1da9240cc9e8 RANDOM SEED=1234998423 node137.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 : 5334.00 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 : 5334.00 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 : 5334.00 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 : 5334.00 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: 30591532 kB MemAvailable: 31817760 kB Buffers: 98020 kB Cached: 1408176 kB SwapCached: 77540 kB Active: 1431700 kB Inactive: 155268 kB Active(anon): 3868 kB Inactive(anon): 118296 kB Active(file): 1427832 kB Inactive(file): 36972 kB Unevictable: 108704 kB Mlocked: 108704 kB SwapTotal: 67108860 kB SwapFree: 66927268 kB Dirty: 26068 kB Writeback: 0 kB AnonPages: 117024 kB Mapped: 44220 kB Shmem: 32780 kB Slab: 183140 kB SReclaimable: 154516 kB SUnreclaim: 28624 kB KernelStack: 3312 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497524 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 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= 61404 MiB End job on node137 at 2019-09-14 09:50:19