Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-16 | OPT | 14 | 122.237 | 31.0657 |
| Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml |
| MD5SUM | 200d8ff13be0114d953e34120514972f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 66.689 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1380 |
| Number of constraints | 1366 |
| Number of domains | 8 |
| Minimum domain size | 2 |
| Maximum domain size | 16 |
| Distribution of domain sizes | [{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399415-1568699955.xml" -tl '2520s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399415-1568699955.xml, -tl, 2520s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 3.20/1.19 c solve instance... 18.15/5.00 o 15 19.33/5.20 o 14 122.08/31.04 s OPTIMUM FOUND 122.08/31.04 v <instantiation> 122.08/31.04 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> 122.08/31.04 v <values>0 3 4 9 10 13 11 6 12 8 14 1 2 5 7 1 1 2 2 2 3 3 3 3 4 5 5 5 6 6 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 1 1 1 1 2 2 3 3 3 3 3 3 3 3 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 2 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 2 2 2 2 2 2 3 1 2 2 3 3 3 3 4 5 6 6 6 6 6 6 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 1 2 2 2 2 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 0 0 0 0 0 1 1 1 2 2 2 2 3 4 4 0 0 0 1 1 1 2 2 2 2 3 4 4 4 4 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 3 3 3 4 4 4 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 1 1 1 2 2 2 2 2 2 2 2 2 2 3 4 0 1 2 2 2 2 2 2 3 4 5 5 5 5 5 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 1 2 2 0 0 0 0 0 0 0 1 1 1 2 2 2 2 3 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 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 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 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 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 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 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 0 0 0 0 0 0 1 1 1 1 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 0 0 0 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 8 11 12 13 13 13 14 14 14 14 14 14 12 10 5 </values> 122.08/31.04 v </instantiation>
OK 14
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 (13762 MiB free)
memory of node 1: 16384 MiB (3526 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399415-1568699955/watcher-4399415-1568699955 -o /tmp/evaluation-result-4399415-1568699955/solver-4399415-1568699955 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568698283-25924 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 906199509 HOME/instance-4399415-1568699955.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27251, runsolver pid=27248
Current StackSize limit: 8192 KiB
[startup+0.100629 s]*
/proc/loadavg: 8.08 7.24 6.18 7/229 27267
/proc/meminfo: memFree=17686788/32770624 swapFree=66917056/67108860
[pid=27251] ppid=27248 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27251/stat : 27251 (xcsp3-exec) S 27248 27251 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445909335 115843072 362 33554432000 4194304 5098028 140736803118336 140736803116440 140038255051388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22851584 140736803119995 140736803120237 140736803120237 140736803123146 0
/proc/27251/statm: 28282 362 304 221 0 87 0
[pid=27253] ppid=27251 vsize=15144776 memory=30348 CPUtime=0.13 cores=0,2,4,6
/proc/27253/stat : 27253 (java) S 27251 27251 25893 0 -1 1077944320 5503 0 0 0 12 1 0 0 20 0 15 0 445909335 15508250624 7587 33554432000 4194304 4196468 140735453881392 140735453863936 140563646922487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
/proc/27253/statm: 3786194 7587 3154 1 0 3748377 0
[pid=27253/tid=27254] ppid=27251 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/27253/task/27254/stat : 27254 (java) R 27251 27251 25893 0 -1 4202560 3405 0 0 0 8 1 0 0 20 0 15 0 445909336 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563651157712 140563631002974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27255] ppid=27251 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27255/stat : 27255 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563239066128 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27256] ppid=27251 vsize=15144776 memory=139984731743872 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27256/stat : 27256 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563238013584 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27257] ppid=27251 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27257/stat : 27257 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563236960528 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27258] ppid=27251 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27258/stat : 27258 (java) S 27251 27251 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445909336 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563235907984 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27259] ppid=27251 vsize=15144776 memory=139984731743872 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27259/stat : 27259 (java) S 27251 27251 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445909338 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563115342576 140563646933634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27260] ppid=27251 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27260/stat : 27260 (java) S 27251 27251 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445909338 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563114288800 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27261] ppid=27251 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27261/stat : 27261 (java) S 27251 27251 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445909338 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563113235696 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27262] ppid=27251 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27262/stat : 27262 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445909341 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563112184272 140563646941083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27263] ppid=27251 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27263/stat : 27263 (java) R 27251 27251 25893 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 445909341 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563111131472 140563646932693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27264] ppid=27251 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27264/stat : 27264 (java) R 27251 27251 25893 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 15 0 445909341 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563110070480 140563631834624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27265] ppid=27251 vsize=15144776 memory=139984731743872 CPUtime=0.02 cores=0,2,4,6
/proc/27253/task/27265/stat : 27265 (java) R 27251 27251 25893 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 445909341 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563109025776 140563646943834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27266] ppid=27251 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27266/stat : 27266 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445909341 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563107973472 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27267] ppid=27251 vsize=15144776 memory=139984731743872 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27267/stat : 27267 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909341 15508250624 7587 33554432000 4194304 4196468 140735453881392 140563106921520 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31796 KiB
[startup+0.210717 s]*
/proc/loadavg: 8.08 7.24 6.18 7/229 27267
/proc/meminfo: memFree=17675128/32770624 swapFree=66917056/67108860
[pid=27251] ppid=27248 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27251/stat : 27251 (xcsp3-exec) S 27248 27251 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445909335 115843072 362 33554432000 4194304 5098028 140736803118336 140736803116440 140038255051388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22851584 140736803119995 140736803120237 140736803120237 140736803123146 0
/proc/27251/statm: 28282 362 304 221 0 87 0
[pid=27253] ppid=27251 vsize=15144776 memory=41428 CPUtime=0.34 cores=0,2,4,6
/proc/27253/stat : 27253 (java) S 27251 27251 25893 0 -1 1077944320 9028 0 0 0 31 3 0 0 20 0 15 0 445909335 15508250624 10357 33554432000 4194304 4196468 140735453881392 140735453863936 140563646922487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
/proc/27253/statm: 3786194 10357 3312 1 0 3748377 0
[pid=27253/tid=27254] ppid=27251 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/27253/task/27254/stat : 27254 (java) R 27251 27251 25893 0 -1 4202560 6227 0 0 0 18 2 0 0 20 0 15 0 445909336 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563651161488 140563284099144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27255] ppid=27251 vsize=15144776 memory=8955 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27255/stat : 27255 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563239066128 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27256] ppid=27251 vsize=15144776 memory=3616587888587286176 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27256/stat : 27256 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563238013584 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27257] ppid=27251 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27257/stat : 27257 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563236960528 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27258] ppid=27251 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27258/stat : 27258 (java) S 27251 27251 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445909336 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563235907984 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27259] ppid=27251 vsize=15144776 memory=139984731743872 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27259/stat : 27259 (java) S 27251 27251 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445909338 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563115342576 140563646933634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27260] ppid=27251 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27260/stat : 27260 (java) S 27251 27251 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445909338 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563114288800 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27261] ppid=27251 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27261/stat : 27261 (java) S 27251 27251 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445909338 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563113235696 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27262] ppid=27251 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27262/stat : 27262 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445909341 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563112184272 140563646941083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27263] ppid=27251 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27253/task/27263/stat : 27263 (java) S 27251 27251 25893 0 -1 1077944384 655 0 0 0 2 0 0 0 20 0 15 0 445909341 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563111131376 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27264] ppid=27251 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27253/task/27264/stat : 27264 (java) S 27251 27251 25893 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 15 0 445909341 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563110078832 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27265] ppid=27251 vsize=15144776 memory=139984731743872 CPUtime=0.08 cores=0,2,4,6
/proc/27253/task/27265/stat : 27265 (java) R 27251 27251 25893 0 -1 4202560 738 0 0 0 8 0 0 0 20 0 15 0 445909341 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563109025776 140563646934422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27266] ppid=27251 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27266/stat : 27266 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445909341 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563107973472 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27267] ppid=27251 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27267/stat : 27267 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909341 15508250624 10357 33554432000 4194304 4196468 140735453881392 140563106921520 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42876 KiB
[startup+0.318493 s]*
/proc/loadavg: 8.08 7.24 6.18 7/229 27267
/proc/meminfo: memFree=17667776/32770624 swapFree=66917056/67108860
[pid=27251] ppid=27248 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27251/stat : 27251 (xcsp3-exec) S 27248 27251 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445909335 115843072 362 33554432000 4194304 5098028 140736803118336 140736803116440 140038255051388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22851584 140736803119995 140736803120237 140736803120237 140736803123146 0
/proc/27251/statm: 28282 362 304 221 0 87 0
[pid=27253] ppid=27251 vsize=15149032 memory=50248 CPUtime=0.54 cores=0,2,4,6
/proc/27253/stat : 27253 (java) S 27251 27251 25893 0 -1 1077944320 10448 0 0 0 49 5 0 0 20 0 15 0 445909335 15512608768 12562 33554432000 4194304 4196468 140735453881392 140735453863936 140563646922487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
/proc/27253/statm: 3787258 12562 3358 1 0 3748377 0
[pid=27253/tid=27254] ppid=27251 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/27253/task/27254/stat : 27254 (java) R 27251 27251 25893 0 -1 4202560 7429 0 0 0 27 3 0 0 20 0 15 0 445909336 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563651158016 140563646944413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27255] ppid=27251 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27255/stat : 27255 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563239066128 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27256] ppid=27251 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27256/stat : 27256 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563238013584 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27257] ppid=27251 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27257/stat : 27257 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563236960528 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27258] ppid=27251 vsize=15149032 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27258/stat : 27258 (java) S 27251 27251 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445909336 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563235907984 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27259] ppid=27251 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27259/stat : 27259 (java) S 27251 27251 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445909338 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563115342576 140563646933634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27260] ppid=27251 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27260/stat : 27260 (java) S 27251 27251 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445909338 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563114288800 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27261] ppid=27251 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27261/stat : 27261 (java) S 27251 27251 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445909338 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563113235696 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27262] ppid=27251 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27262/stat : 27262 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445909341 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563112184272 140563646941083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27263] ppid=27251 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/27253/task/27263/stat : 27263 (java) S 27251 27251 25893 0 -1 1077944384 779 0 0 0 5 0 0 0 20 0 15 0 445909341 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563111131376 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27264] ppid=27251 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27253/task/27264/stat : 27264 (java) S 27251 27251 25893 0 -1 1077944384 115 0 0 0 3 0 0 0 20 0 15 0 445909341 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563110078832 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27265] ppid=27251 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27253/task/27265/stat : 27265 (java) S 27251 27251 25893 0 -1 1077944384 820 0 0 0 12 0 0 0 20 0 15 0 445909341 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563109025776 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27266] ppid=27251 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27266/stat : 27266 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445909341 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563107973472 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27267] ppid=27251 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27267/stat : 27267 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909341 15512608768 12562 33554432000 4194304 4196468 140735453881392 140563106921520 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51696 KiB
[startup+0.706376 s]
/proc/loadavg: 8.08 7.24 6.18 8/229 27267
/proc/meminfo: memFree=17646624/32770624 swapFree=66917056/67108860
[pid=27251] ppid=27248 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27251/stat : 27251 (xcsp3-exec) S 27248 27251 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445909335 115843072 362 33554432000 4194304 5098028 140736803118336 140736803116440 140038255051388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22851584 140736803119995 140736803120237 140736803120237 140736803123146 0
/proc/27251/statm: 28282 362 304 221 0 87 0
[pid=27253] ppid=27251 vsize=15151156 memory=91704 CPUtime=1.8 cores=0,2,4,6
/proc/27253/stat : 27253 (java) S 27251 27251 25893 0 -1 1077944320 14978 0 0 0 174 6 0 0 20 0 15 0 445909335 15514783744 22926 33554432000 4194304 4196468 140735453881392 140735453863936 140563646922487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
/proc/27253/statm: 3787789 22926 3445 1 0 3748889 0
[pid=27253/tid=27254] ppid=27251 vsize=15151156 memory=48356 CPUtime=0.68 cores=0,2,4,6
/proc/27253/task/27254/stat : 27254 (java) R 27251 27251 25893 0 -1 4202560 8661 0 0 0 64 4 0 0 20 0 15 0 445909336 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563651156912 140563640027969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27255] ppid=27251 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27255/stat : 27255 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563239066128 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27256] ppid=27251 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27256/stat : 27256 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563238013584 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27257] ppid=27251 vsize=15151156 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27257/stat : 27257 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909336 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563236960528 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27258] ppid=27251 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27258/stat : 27258 (java) S 27251 27251 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445909336 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563235907984 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27259] ppid=27251 vsize=15151156 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27259/stat : 27259 (java) S 27251 27251 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445909338 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563115342576 140563646933634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27260] ppid=27251 vsize=15151156 memory=6032 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27260/stat : 27260 (java) S 27251 27251 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445909338 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563114288800 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27261] ppid=27251 vsize=15151156 memory=11416 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27261/stat : 27261 (java) S 27251 27251 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445909338 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563113235696 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27262] ppid=27251 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27262/stat : 27262 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445909341 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563112184272 140563646941083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27263] ppid=27251 vsize=15151156 memory=776 CPUtime=0.33 cores=0,2,4,6
/proc/27253/task/27263/stat : 27263 (java) R 27251 27251 25893 0 -1 4202560 1600 0 0 0 33 0 0 0 20 0 15 0 445909341 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563111118160 140563630915327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27264] ppid=27251 vsize=15151156 memory=1560 CPUtime=0.35 cores=0,2,4,6
/proc/27253/task/27264/stat : 27264 (java) R 27251 27251 25893 0 -1 4202560 1277 0 0 0 35 0 0 0 20 0 15 0 445909341 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563110065184 140563631817556 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27265] ppid=27251 vsize=15151156 memory=4040 CPUtime=0.41 cores=0,2,4,6
/proc/27253/task/27265/stat : 27265 (java) R 27251 27251 25893 0 -1 1077944384 2134 0 0 0 41 0 0 0 20 0 15 0 445909341 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563109018064 140563646932693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27266] ppid=27251 vsize=15151156 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27266/stat : 27266 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445909341 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563107973472 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27267] ppid=27251 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27267/stat : 27267 (java) S 27251 27251 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445909341 15514783744 22926 33554432000 4194304 4196468 140735453881392 140563106921520 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93152 KiB
[startup+1.50073 s]
/proc/loadavg: 8.08 7.24 6.18 5/229 27267
/proc/meminfo: memFree=17574084/32770624 swapFree=66917056/67108860
[pid=27251] ppid=27248 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27251/stat : 27251 (xcsp3-exec) S 27248 27251 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445909335 115843072 362 33554432000 4194304 5098028 140736803118336 140736803116440 140038255051388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22851584 140736803119995 140736803120237 140736803120237 140736803123146 0
/proc/27251/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/27253/task/27267/stat : 27267 (java) S 27251 27251 25893 0 -1 1077944384 1072 0 0 0 0 0 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563106921520 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27278] ppid=27251 vsize=15419460 memory=8976414709404591081 CPUtime=23.38 cores=0,2,4,6
/proc/27253/task/27278/stat : 27278 (java) R 27251 27251 25893 0 -1 4202560 236 0 0 0 2338 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563095604808 140563293058581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27279] ppid=27251 vsize=15419460 memory=6944656575208382560 CPUtime=23.48 cores=0,2,4,6
/proc/27253/task/27279/stat : 27279 (java) R 27251 27251 25893 0 -1 4202560 1151 0 0 0 2348 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563094552536 140563292669284 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27280] ppid=27251 vsize=15419460 memory=-7094132109863559211 CPUtime=23.44 cores=0,2,4,6
/proc/27253/task/27280/stat : 27280 (java) R 27251 27251 25893 0 -1 4202560 396 0 0 0 2344 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563092450480 140563293060894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27281] ppid=27251 vsize=15419460 memory=6943526294502006880 CPUtime=23.21 cores=0,2,4,6
/proc/27253/task/27281/stat : 27281 (java) R 27251 27251 25893 0 -1 4202560 788 0 0 0 2321 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563093499768 140563292256887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
Current children cumulated CPU time: 113.28 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 252712 KiB
[startup+30.4015 s]
/proc/loadavg: 8.10 7.32 6.24 9/233 27281
/proc/meminfo: memFree=17465856/32770624 swapFree=66917056/67108860
[pid=27251] ppid=27248 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27251/stat : 27251 (xcsp3-exec) S 27248 27251 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445909335 115843072 362 33554432000 4194304 5098028 140736803118336 140736803116440 140038255051388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22851584 140736803119995 140736803120237 140736803120237 140736803123146 0
/proc/27251/statm: 28282 362 304 221 0 87 0
[pid=27253] ppid=27251 vsize=15419460 memory=251264 CPUtime=119.65 cores=0,2,4,6
/proc/27253/stat : 27253 (java) S 27251 27251 25893 0 -1 1077944320 48206 0 0 0 11944 21 0 0 20 0 19 0 445909335 15789527040 62816 33554432000 4194304 4196468 140735453881392 140735453863936 140563646922487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
/proc/27253/statm: 3854865 62816 3540 1 0 3815965 0
[pid=27253/tid=27254] ppid=27251 vsize=15419460 memory=4040 CPUtime=1.16 cores=0,2,4,6
/proc/27253/task/27254/stat : 27254 (java) S 27251 27251 25893 0 -1 1077944384 11643 0 0 0 110 6 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563651163264 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27255] ppid=27251 vsize=15419460 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/27253/task/27255/stat : 27255 (java) S 27251 27251 25893 0 -1 1077944384 2191 0 0 0 2 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563239066128 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27256] ppid=27251 vsize=15419460 memory=932 CPUtime=0.04 cores=0,2,4,6
/proc/27253/task/27256/stat : 27256 (java) S 27251 27251 25893 0 -1 1077944384 367 0 0 0 3 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563238013584 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27257] ppid=27251 vsize=15419460 memory=1636 CPUtime=0.03 cores=0,2,4,6
/proc/27253/task/27257/stat : 27257 (java) S 27251 27251 25893 0 -1 1077944384 1575 0 0 0 2 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563236960528 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27258] ppid=27251 vsize=15419460 memory=1436 CPUtime=0.04 cores=0,2,4,6
/proc/27253/task/27258/stat : 27258 (java) S 27251 27251 25893 0 -1 1077944384 580 0 0 0 3 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563235907984 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27259] ppid=27251 vsize=15419460 memory=896 CPUtime=0.01 cores=0,2,4,6
/proc/27253/task/27259/stat : 27259 (java) S 27251 27251 25893 0 -1 1077944384 812 0 0 0 1 0 0 0 20 0 19 0 445909338 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563115342576 140563646933634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27260] ppid=27251 vsize=15419460 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27260/stat : 27260 (java) S 27251 27251 25893 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445909338 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563114288864 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27261] ppid=27251 vsize=15419460 memory=2520 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27261/stat : 27261 (java) S 27251 27251 25893 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 445909338 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563113235712 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27262] ppid=27251 vsize=15419460 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27262/stat : 27262 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563112184272 140563646941083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27263] ppid=27251 vsize=15419460 memory=0 CPUtime=2.9 cores=0,2,4,6
/proc/27253/task/27263/stat : 27263 (java) S 27251 27251 25893 0 -1 1077944384 9826 0 0 0 287 3 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563111131376 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27264] ppid=27251 vsize=15419460 memory=0 CPUtime=2.85 cores=0,2,4,6
/proc/27253/task/27264/stat : 27264 (java) S 27251 27251 25893 0 -1 1077944384 8826 0 0 0 284 1 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563110078832 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27265] ppid=27251 vsize=15419460 memory=0 CPUtime=0.95 cores=0,2,4,6
/proc/27253/task/27265/stat : 27265 (java) S 27251 27251 25893 0 -1 1077944384 6194 0 0 0 93 2 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563109025776 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27266] ppid=27251 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27266/stat : 27266 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563107973472 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27267] ppid=27251 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27267/stat : 27267 (java) S 27251 27251 25893 0 -1 1077944384 1072 0 0 0 0 0 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563106921520 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27278] ppid=27251 vsize=15419460 memory=0 CPUtime=24.98 cores=0,2,4,6
/proc/27253/task/27278/stat : 27278 (java) R 27251 27251 25893 0 -1 4202560 236 0 0 0 2498 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563095604808 140563293060445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27279] ppid=27251 vsize=15419460 memory=0 CPUtime=25.05 cores=0,2,4,6
/proc/27253/task/27279/stat : 27279 (java) R 27251 27251 25893 0 -1 4202560 1151 0 0 0 2505 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563094553480 140563292408844 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27280] ppid=27251 vsize=15419460 memory=279969189020032 CPUtime=25.04 cores=0,2,4,6
/proc/27253/task/27280/stat : 27280 (java) R 27251 27251 25893 0 -1 4202560 396 0 0 0 2504 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563092450480 140563291216833 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27281] ppid=27251 vsize=15419460 memory=139984731742705 CPUtime=24.81 cores=0,2,4,6
/proc/27253/task/27281/stat : 27281 (java) R 27251 27251 25893 0 -1 4202560 788 0 0 0 2481 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563093499768 140563291217025 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
Current children cumulated CPU time: 119.65 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 252712 KiB
[startup+30.8015 s]
/proc/loadavg: 8.10 7.32 6.24 9/233 27281
/proc/meminfo: memFree=17465856/32770624 swapFree=66917056/67108860
[pid=27251] ppid=27248 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27251/stat : 27251 (xcsp3-exec) S 27248 27251 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445909335 115843072 362 33554432000 4194304 5098028 140736803118336 140736803116440 140038255051388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22851584 140736803119995 140736803120237 140736803120237 140736803123146 0
/proc/27251/statm: 28282 362 304 221 0 87 0
[pid=27253] ppid=27251 vsize=15419460 memory=251264 CPUtime=121.25 cores=0,2,4,6
/proc/27253/stat : 27253 (java) S 27251 27251 25893 0 -1 1077944320 48609 0 0 0 12104 21 0 0 20 0 19 0 445909335 15789527040 62816 33554432000 4194304 4196468 140735453881392 140735453863936 140563646922487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
/proc/27253/statm: 3854865 62816 3540 1 0 3815965 0
[pid=27253/tid=27254] ppid=27251 vsize=15419460 memory=6791534058613427641 CPUtime=1.16 cores=0,2,4,6
/proc/27253/task/27254/stat : 27254 (java) S 27251 27251 25893 0 -1 1077944384 11643 0 0 0 110 6 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563651163264 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27255] ppid=27251 vsize=15419460 memory=111632 CPUtime=0.03 cores=0,2,4,6
/proc/27253/task/27255/stat : 27255 (java) S 27251 27251 25893 0 -1 1077944384 2191 0 0 0 2 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563239066128 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27256] ppid=27251 vsize=15419460 memory=796 CPUtime=0.04 cores=0,2,4,6
/proc/27253/task/27256/stat : 27256 (java) S 27251 27251 25893 0 -1 1077944384 367 0 0 0 3 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563238013584 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27257] ppid=27251 vsize=15419460 memory=2241 CPUtime=0.03 cores=0,2,4,6
/proc/27253/task/27257/stat : 27257 (java) S 27251 27251 25893 0 -1 1077944384 1575 0 0 0 2 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563236960528 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27258] ppid=27251 vsize=15419460 memory=2244 CPUtime=0.04 cores=0,2,4,6
/proc/27253/task/27258/stat : 27258 (java) S 27251 27251 25893 0 -1 1077944384 580 0 0 0 3 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563235907984 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27259] ppid=27251 vsize=15419460 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27253/task/27259/stat : 27259 (java) S 27251 27251 25893 0 -1 1077944384 817 0 0 0 1 0 0 0 20 0 19 0 445909338 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563115342576 140563646933634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27260] ppid=27251 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27260/stat : 27260 (java) S 27251 27251 25893 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445909338 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563114288864 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27261] ppid=27251 vsize=15419460 memory=279969188472192 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27261/stat : 27261 (java) S 27251 27251 25893 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 445909338 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563113235712 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27262] ppid=27251 vsize=15419460 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27262/stat : 27262 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563112184272 140563646941083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27263] ppid=27251 vsize=15419460 memory=0 CPUtime=2.9 cores=0,2,4,6
/proc/27253/task/27263/stat : 27263 (java) S 27251 27251 25893 0 -1 1077944384 9826 0 0 0 287 3 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563111131376 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27264] ppid=27251 vsize=15419460 memory=5087 CPUtime=2.85 cores=0,2,4,6
/proc/27253/task/27264/stat : 27264 (java) S 27251 27251 25893 0 -1 1077944384 8826 0 0 0 284 1 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563110078832 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27265] ppid=27251 vsize=15419460 memory=2094 CPUtime=0.95 cores=0,2,4,6
/proc/27253/task/27265/stat : 27265 (java) S 27251 27251 25893 0 -1 1077944384 6194 0 0 0 93 2 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563109025776 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27266] ppid=27251 vsize=15419460 memory=80 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27266/stat : 27266 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563107973472 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27267] ppid=27251 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27267/stat : 27267 (java) S 27251 27251 25893 0 -1 1077944384 1110 0 0 0 0 0 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563106921520 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27278] ppid=27251 vsize=15419460 memory=593 CPUtime=25.38 cores=0,2,4,6
/proc/27253/task/27278/stat : 27278 (java) R 27251 27251 25893 0 -1 4202560 252 0 0 0 2538 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563095604808 140563293060844 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27279] ppid=27251 vsize=15419460 memory=139984594543843 CPUtime=25.44 cores=0,2,4,6
/proc/27253/task/27279/stat : 27279 (java) R 27251 27251 25893 0 -1 4202560 1327 0 0 0 2544 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563094553480 140563287840119 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27280] ppid=27251 vsize=15419460 memory=6944656592455360604 CPUtime=25.44 cores=0,2,4,6
/proc/27253/task/27280/stat : 27280 (java) R 27251 27251 25893 0 -1 4202560 450 0 0 0 2544 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563092450480 140563293058691 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27281] ppid=27251 vsize=15419460 memory=9122464004270842071 CPUtime=25.21 cores=0,2,4,6
/proc/27253/task/27281/stat : 27281 (java) R 27251 27251 25893 0 -1 4202560 902 0 0 0 2521 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563093499768 140563293058673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
Current children cumulated CPU time: 121.25 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 252712 KiB
[startup+31.0015 s]*
/proc/loadavg: 8.10 7.32 6.24 9/233 27281
/proc/meminfo: memFree=17465856/32770624 swapFree=66917056/67108860
[pid=27251] ppid=27248 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27251/stat : 27251 (xcsp3-exec) S 27248 27251 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445909335 115843072 362 33554432000 4194304 5098028 140736803118336 140736803116440 140038255051388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22851584 140736803119995 140736803120237 140736803120237 140736803123146 0
/proc/27251/statm: 28282 362 304 221 0 87 0
[pid=27253] ppid=27251 vsize=15419460 memory=251264 CPUtime=122.08 cores=0,2,4,6
/proc/27253/stat : 27253 (java) S 27251 27251 25893 0 -1 1077944320 48618 0 0 0 12187 21 0 0 20 0 19 0 445909335 15789527040 62816 33554432000 4194304 4196468 140735453881392 140735453863936 140563646922487 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
/proc/27253/statm: 3854865 62816 3540 1 0 3815965 0
[pid=27253/tid=27254] ppid=27251 vsize=15419460 memory=27992919332356134 CPUtime=1.16 cores=0,2,4,6
/proc/27253/task/27254/stat : 27254 (java) S 27251 27251 25893 0 -1 1077944384 11643 0 0 0 110 6 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563651163264 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27255] ppid=27251 vsize=15419460 memory=310 CPUtime=0.03 cores=0,2,4,6
/proc/27253/task/27255/stat : 27255 (java) S 27251 27251 25893 0 -1 1077944384 2191 0 0 0 2 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563239066128 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27256] ppid=27251 vsize=15419460 memory=4121270309921334944 CPUtime=0.04 cores=0,2,4,6
/proc/27253/task/27256/stat : 27256 (java) S 27251 27251 25893 0 -1 1077944384 367 0 0 0 3 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563238013584 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27257] ppid=27251 vsize=15419460 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/27253/task/27257/stat : 27257 (java) S 27251 27251 25893 0 -1 1077944384 1575 0 0 0 2 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563236960528 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27258] ppid=27251 vsize=15419460 memory=343 CPUtime=0.04 cores=0,2,4,6
/proc/27253/task/27258/stat : 27258 (java) S 27251 27251 25893 0 -1 1077944384 580 0 0 0 3 1 0 0 20 0 19 0 445909336 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563235907984 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27259] ppid=27251 vsize=15419460 memory=3690339825748649632 CPUtime=0.01 cores=0,2,4,6
/proc/27253/task/27259/stat : 27259 (java) S 27251 27251 25893 0 -1 1077944384 817 0 0 0 1 0 0 0 20 0 19 0 445909338 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563115342576 140563646933634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27260] ppid=27251 vsize=15419460 memory=2321098944041459743 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27260/stat : 27260 (java) S 27251 27251 25893 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445909338 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563114288864 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27261] ppid=27251 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27261/stat : 27261 (java) S 27251 27251 25893 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 445909338 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563113235712 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27262] ppid=27251 vsize=15419460 memory=7884228899615040597 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27262/stat : 27262 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563112184272 140563646941083 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27263] ppid=27251 vsize=15419460 memory=0 CPUtime=2.9 cores=0,2,4,6
/proc/27253/task/27263/stat : 27263 (java) S 27251 27251 25893 0 -1 1077944384 9826 0 0 0 287 3 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563111131376 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27264] ppid=27251 vsize=15419460 memory=9 CPUtime=2.85 cores=0,2,4,6
/proc/27253/task/27264/stat : 27264 (java) S 27251 27251 25893 0 -1 1077944384 8826 0 0 0 284 1 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563110078832 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27265] ppid=27251 vsize=15419460 memory=3472468263779554992 CPUtime=0.95 cores=0,2,4,6
/proc/27253/task/27265/stat : 27265 (java) S 27251 27251 25893 0 -1 1077944384 6194 0 0 0 93 2 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563109025776 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27266] ppid=27251 vsize=15419460 memory=139984594010231 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27266/stat : 27266 (java) S 27251 27251 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563107973472 140563646932693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27267] ppid=27251 vsize=15419460 memory=6879795653407677420 CPUtime=0 cores=0,2,4,6
/proc/27253/task/27267/stat : 27267 (java) S 27251 27251 25893 0 -1 1077944384 1110 0 0 0 0 0 0 0 20 0 19 0 445909341 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563106921520 140563646933634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27278] ppid=27251 vsize=15419460 memory=0 CPUtime=25.59 cores=0,2,4,6
/proc/27253/task/27278/stat : 27278 (java) R 27251 27251 25893 0 -1 4202560 252 0 0 0 2559 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563095604808 140563293059072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27279] ppid=27251 vsize=15419460 memory=0 CPUtime=25.64 cores=0,2,4,6
/proc/27253/task/27279/stat : 27279 (java) R 27251 27251 25893 0 -1 4202560 1336 0 0 0 2564 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563094553480 140563291216800 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27280] ppid=27251 vsize=15419460 memory=0 CPUtime=25.65 cores=0,2,4,6
/proc/27253/task/27280/stat : 27280 (java) R 27251 27251 25893 0 -1 4202560 450 0 0 0 2565 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563092450480 140563291216949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
[pid=27253/tid=27281] ppid=27251 vsize=15419460 memory=0 CPUtime=25.42 cores=0,2,4,6
/proc/27253/task/27281/stat : 27281 (java) R 27251 27251 25893 0 -1 4202560 902 0 0 0 2542 0 0 0 20 0 19 0 445909856 15789527040 62816 33554432000 4194304 4196468 140735453881392 140563093499768 140563293111732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36978688 140735453889519 140735453889690 140735453889690 140735453892559 0
Current children cumulated CPU time: 122.08 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 252712 KiB
Child status: 0
Real time (s): 31.0657
CPU time (s): 122.237
CPU user time (s): 122.012
CPU system time (s): 0.225507
CPU usage (%): 393.48
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 252712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.012
system time used= 0.225507
maximum resident set size= 253320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3454
involuntary context switches= 2127
# summary of solver processes directly reported to runsolver:
# pid: 27251
# total CPU time (s): 122.237
# total CPU user time (s): 122.012
# total CPU system time (s): 0.225507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.193592 second user time and 0.405495 second system time
The end
Begin job on node147 at 2019-09-17 07:58:32 IDJOB=4399415 IDBENCH=140467 IDSOLVER=2853 FILE ID=node147/4399415-1568699955 RUNJOBID= node147-1568698283-25924 PBS_JOBID= 21703812 Free space on /tmp= 58856 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-pb-30-15-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399415-1568699955/watcher-4399415-1568699955 -o /tmp/evaluation-result-4399415-1568699955/solver-4399415-1568699955 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568698283-25924 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 906199509 HOME/instance-4399415-1568699955.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 200d8ff13be0114d953e34120514972f RANDOM SEED=906199509 node147.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.52 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.52 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.52 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.52 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: 17704780 kB MemAvailable: 19176892 kB Buffers: 108520 kB Cached: 1655300 kB SwapCached: 87660 kB Active: 13571144 kB Inactive: 890860 kB Active(anon): 12613576 kB Inactive(anon): 133760 kB Active(file): 957568 kB Inactive(file): 757100 kB Unevictable: 108656 kB Mlocked: 108656 kB SwapTotal: 67108860 kB SwapFree: 66917056 kB Dirty: 26744 kB Writeback: 0 kB AnonPages: 12803924 kB Mapped: 61580 kB Shmem: 40920 kB Slab: 175936 kB SReclaimable: 146556 kB SUnreclaim: 29380 kB KernelStack: 4000 kB PageTables: 29972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 13278920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12578816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 58828 MiB End job on node147 at 2019-09-17 07:59:03