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-20 parallel | OPT | 14 | 230.502 | 29.8205 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml |
| MD5SUM | 1892dc6bbe7f4411da75bff22067cf15 |
| 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 | 69.5267 |
| 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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404722-1568998935.xml" -tl '20160s' -p 8 0.11/0.18 c Choco 3fb4b153 0.11/0.19 c [HOME/instance-4404722-1568998935.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.82/1.44 c solve instance... 14.81/2.76 o 15 17.25/3.10 o 14 229.76/29.79 s OPTIMUM FOUND 229.76/29.79 v <instantiation> 229.76/29.79 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> 229.76/29.79 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> 229.76/29.79 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 (7353 MiB free)
memory of node 1: 16384 MiB (8924 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404722-1568998935/watcher-4404722-1568998935 -o /var/tmp/evaluation-result-4404722-1568998935/solver-4404722-1568998935 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 541323929 HOME/instance-4404722-1568998935.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=9392, runsolver pid=9389
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 6.75 7.94 8.23 2/215 9413
/proc/meminfo: memFree=16649916/32770624 swapFree=67001916/67108860
[pid=9392] ppid=9389 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9392/stat : 9392 (xcsp3-exec) S 9389 9392 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476133023 115843072 363 33554432000 4194304 5098028 140727803009440 140727803007544 140355211371132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29016064 140727803011922 140727803012181 140727803012181 140727803015110 0
/proc/9392/statm: 28282 363 304 221 0 87 0
[pid=9394] ppid=9392 vsize=28227396 memory=29128 CPUtime=0.11 cores=0-7
/proc/9394/stat : 9394 (java) S 9392 9392 6043 0 -1 1077944320 5840 0 0 0 10 1 0 0 20 0 20 0 476133023 28904853504 7282 33554432000 4194304 4196468 140722531941312 140722531923856 139993034149623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
/proc/9394/statm: 7056849 7282 3081 1 0 7019032 0
[pid=9394/tid=9395] ppid=9392 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9394/task/9395/stat : 9395 (java) R 9392 9392 6043 0 -1 4202560 3832 0 0 0 8 1 0 0 20 0 20 0 476133023 28904853504 7347 33554432000 4194304 4196468 140722531941312 139993038374464 139993034161558 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9396] ppid=9392 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9394/task/9396/stat : 9396 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 7347 33554432000 4194304 4196468 140722531941312 139992986770320 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9397] ppid=9392 vsize=28227396 memory=139997350569600 CPUtime=0 cores=0-7
/proc/9394/task/9397/stat : 9397 (java) S 9392 9392 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 7347 33554432000 4194304 4196468 140722531941312 139992985717520 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9398] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9398/stat : 9398 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 7347 33554432000 4194304 4196468 140722531941312 139992984665232 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9399] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9399/stat : 9399 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 7347 33554432000 4194304 4196468 140722531941312 139992581921808 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9400] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9400/stat : 9400 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 7347 33554432000 4194304 4196468 140722531941312 139992580868496 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9401] ppid=9392 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9394/task/9401/stat : 9401 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 7347 33554432000 4194304 4196468 140722531941312 139992579815696 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9402] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9402/stat : 9402 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 7347 33554432000 4194304 4196468 140722531941312 139992578763408 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9403] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9403/stat : 9403 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 7347 33554432000 4194304 4196468 140722531941312 139992577710608 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9404] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9404/stat : 9404 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133026 28904853504 7347 33554432000 4194304 4196468 140722531941312 139991363578480 139993034160770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9405] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9405/stat : 9405 (java) S 9392 9392 6043 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476133026 28904853504 7347 33554432000 4194304 4196468 140722531941312 139991362524448 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9406] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9406/stat : 9406 (java) S 9392 9392 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476133026 28904853504 7347 33554432000 4194304 4196468 140722531941312 139991361472112 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9407] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9407/stat : 9407 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133029 28904853504 7347 33554432000 4194304 4196468 140722531941312 139991360420432 139993034168219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9408] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9408/stat : 9408 (java) S 9392 9392 6043 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 476133029 28904853504 7347 33554432000 4194304 4196468 140722531941312 139991359367280 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9409] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9409/stat : 9409 (java) S 9392 9392 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476133029 28904853504 7347 33554432000 4194304 4196468 140722531941312 139991358314480 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9410] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9410/stat : 9410 (java) S 9392 9392 6043 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476133029 28904853504 7347 33554432000 4194304 4196468 140722531941312 139991357262192 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9411] ppid=9392 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9394/task/9411/stat : 9411 (java) R 9392 9392 6043 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 476133029 28904853504 7347 33554432000 4194304 4196468 140722531941312 139991356209392 139993012794860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9412] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9412/stat : 9412 (java) S 9392 9392 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476133030 28904853504 7347 33554432000 4194304 4196468 140722531941312 139991355157344 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9413] ppid=9392 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9394/task/9413/stat : 9413 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133030 28904853504 7347 33554432000 4194304 4196468 140722531941312 139991354104624 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30580 KiB
[startup+0.210033 s]*
/proc/loadavg: 6.75 7.94 8.23 3/215 9413
/proc/meminfo: memFree=16637528/32770624 swapFree=67001916/67108860
[pid=9392] ppid=9389 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9392/stat : 9392 (xcsp3-exec) S 9389 9392 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476133023 115843072 363 33554432000 4194304 5098028 140727803009440 140727803007544 140355211371132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29016064 140727803011922 140727803012181 140727803012181 140727803015110 0
/proc/9392/statm: 28282 363 304 221 0 87 0
[pid=9394] ppid=9392 vsize=28227396 memory=41144 CPUtime=0.33 cores=0-7
/proc/9394/stat : 9394 (java) S 9392 9392 6043 0 -1 1077944320 9519 0 0 0 29 4 0 0 20 0 20 0 476133023 28904853504 10286 33554432000 4194304 4196468 140722531941312 140722531923856 139993034149623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
/proc/9394/statm: 7056849 10286 3285 1 0 7019032 0
[pid=9394/tid=9395] ppid=9392 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9394/task/9395/stat : 9395 (java) R 9392 9392 6043 0 -1 4202560 6646 0 0 0 17 2 0 0 20 0 20 0 476133023 28904853504 10286 33554432000 4194304 4196468 140722531941312 139993038381536 139993034171549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9396] ppid=9392 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/9394/task/9396/stat : 9396 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 10286 33554432000 4194304 4196468 140722531941312 139992986770320 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9397] ppid=9392 vsize=28227396 memory=139997350583180 CPUtime=0 cores=0-7
/proc/9394/task/9397/stat : 9397 (java) S 9392 9392 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 10286 33554432000 4194304 4196468 140722531941312 139992985717520 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9398] ppid=9392 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9394/task/9398/stat : 9398 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 10286 33554432000 4194304 4196468 140722531941312 139992984665232 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9399] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9399/stat : 9399 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 10286 33554432000 4194304 4196468 140722531941312 139992581921808 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9400] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9400/stat : 9400 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 10286 33554432000 4194304 4196468 140722531941312 139992580868496 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9401] ppid=9392 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9394/task/9401/stat : 9401 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 10286 33554432000 4194304 4196468 140722531941312 139992579815696 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9402] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9402/stat : 9402 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 10286 33554432000 4194304 4196468 140722531941312 139992578763408 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9403] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9403/stat : 9403 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28904853504 10286 33554432000 4194304 4196468 140722531941312 139992577710608 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9404] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9404/stat : 9404 (java) S 9392 9392 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476133026 28904853504 10286 33554432000 4194304 4196468 140722531941312 139991363578480 139993034160770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9405] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9405/stat : 9405 (java) S 9392 9392 6043 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476133026 28904853504 10286 33554432000 4194304 4196468 140722531941312 139991362524448 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9406] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9406/stat : 9406 (java) S 9392 9392 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476133026 28904853504 10286 33554432000 4194304 4196468 140722531941312 139991361472112 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9407] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9407/stat : 9407 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133029 28904853504 10286 33554432000 4194304 4196468 140722531941312 139991360420432 139993034168219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9408] ppid=9392 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9394/task/9408/stat : 9408 (java) S 9392 9392 6043 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 476133029 28904853504 10286 33554432000 4194304 4196468 140722531941312 139991359367280 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9409] ppid=9392 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9394/task/9409/stat : 9409 (java) S 9392 9392 6043 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 20 0 476133029 28904853504 10286 33554432000 4194304 4196468 140722531941312 139991358314480 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9410] ppid=9392 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9394/task/9410/stat : 9410 (java) S 9392 9392 6043 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 20 0 476133029 28904853504 10286 33554432000 4194304 4196468 140722531941312 139991357262192 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9411] ppid=9392 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/9394/task/9411/stat : 9411 (java) R 9392 9392 6043 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 476133029 28904853504 10286 33554432000 4194304 4196468 140722531941312 139991356205248 139993012788908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9412] ppid=9392 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9412/stat : 9412 (java) S 9392 9392 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476133030 28904853504 10286 33554432000 4194304 4196468 140722531941312 139991355157344 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9413] ppid=9392 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9394/task/9413/stat : 9413 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133030 28904853504 10286 33554432000 4194304 4196468 140722531941312 139991354104624 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42596 KiB
[startup+0.309763 s]*
/proc/loadavg: 6.75 7.94 8.23 3/215 9413
/proc/meminfo: memFree=16632616/32770624 swapFree=67001916/67108860
[pid=9392] ppid=9389 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9392/stat : 9392 (xcsp3-exec) S 9389 9392 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476133023 115843072 363 33554432000 4194304 5098028 140727803009440 140727803007544 140355211371132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29016064 140727803011922 140727803012181 140727803012181 140727803015110 0
/proc/9392/statm: 28282 363 304 221 0 87 0
[pid=9394] ppid=9392 vsize=28231652 memory=49392 CPUtime=0.52 cores=0-7
/proc/9394/stat : 9394 (java) S 9392 9392 6043 0 -1 1077944320 10667 0 0 0 47 5 0 0 20 0 20 0 476133023 28909211648 12348 33554432000 4194304 4196468 140722531941312 140722531923856 139993034149623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
/proc/9394/statm: 7057913 12348 3353 1 0 7019032 0
[pid=9394/tid=9395] ppid=9392 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9394/task/9395/stat : 9395 (java) R 9392 9392 6043 0 -1 4202560 7694 0 0 0 26 3 0 0 20 0 20 0 476133023 28909211648 12348 33554432000 4194304 4196468 140722531941312 139993038386240 139993034171549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9396] ppid=9392 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9396/stat : 9396 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28909211648 12348 33554432000 4194304 4196468 140722531941312 139992986770320 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9397] ppid=9392 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9397/stat : 9397 (java) S 9392 9392 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476133024 28909211648 12348 33554432000 4194304 4196468 140722531941312 139992985717520 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9398] ppid=9392 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9398/stat : 9398 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28909211648 12348 33554432000 4194304 4196468 140722531941312 139992984665232 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9399] ppid=9392 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9399/stat : 9399 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133024 28909211648 12348 33554432000 4194304 4196468 140722531941312 139992581921808 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9400] ppid=9392 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/9394/task/9400/stat : 9400 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28909211648 12348 33554432000 4194304 4196468 140722531941312 139992580868496 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9401] ppid=9392 vsize=28231652 memory=139997210571695 CPUtime=0 cores=0-7
/proc/9394/task/9401/stat : 9401 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28909211648 12348 33554432000 4194304 4196468 140722531941312 139992579815696 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9402] ppid=9392 vsize=28231652 memory=139997210574000 CPUtime=0 cores=0-7
/proc/9394/task/9402/stat : 9402 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133024 28909211648 12348 33554432000 4194304 4196468 140722531941312 139992578763408 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9403] ppid=9392 vsize=28231652 memory=139997210576304 CPUtime=0 cores=0-7
/proc/9394/task/9403/stat : 9403 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28909211648 12348 33554432000 4194304 4196468 140722531941312 139992577710608 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9404] ppid=9392 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9404/stat : 9404 (java) S 9392 9392 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476133026 28909211648 12348 33554432000 4194304 4196468 140722531941312 139991363578480 139993034160770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9405] ppid=9392 vsize=28231652 memory=279994421159568 CPUtime=0 cores=0-7
/proc/9394/task/9405/stat : 9405 (java) S 9392 9392 6043 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476133026 28909211648 12348 33554432000 4194304 4196468 140722531941312 139991362524448 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9406] ppid=9392 vsize=28231652 memory=279994421166480 CPUtime=0 cores=0-7
/proc/9394/task/9406/stat : 9406 (java) S 9392 9392 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476133026 28909211648 12348 33554432000 4194304 4196468 140722531941312 139991361472112 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9407] ppid=9392 vsize=28231652 memory=279994421107760 CPUtime=0 cores=0-7
/proc/9394/task/9407/stat : 9407 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133029 28909211648 12348 33554432000 4194304 4196468 140722531941312 139991360420432 139993034168219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9408] ppid=9392 vsize=28231652 memory=279994421180304 CPUtime=0.02 cores=0-7
/proc/9394/task/9408/stat : 9408 (java) S 9392 9392 6043 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 20 0 476133029 28909211648 12348 33554432000 4194304 4196468 140722531941312 139991359367280 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9409] ppid=9392 vsize=28231652 memory=279994421187216 CPUtime=0.03 cores=0-7
/proc/9394/task/9409/stat : 9409 (java) S 9392 9392 6043 0 -1 1077944384 263 0 0 0 3 0 0 0 20 0 20 0 476133029 28909211648 12348 33554432000 4194304 4196468 140722531941312 139991358314480 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9410] ppid=9392 vsize=28231652 memory=279994421184912 CPUtime=0.02 cores=0-7
/proc/9394/task/9410/stat : 9410 (java) R 9392 9392 6043 0 -1 4202560 194 0 0 0 2 0 0 0 20 0 20 0 476133029 28909211648 12348 33554432000 4194304 4196468 140722531941312 139991357252576 139993017635899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9411] ppid=9392 vsize=28231652 memory=279994421201072 CPUtime=0.12 cores=0-7
/proc/9394/task/9411/stat : 9411 (java) S 9392 9392 6043 0 -1 1077944384 822 0 0 0 12 0 0 0 20 0 20 0 476133029 28909211648 12348 33554432000 4194304 4196468 140722531941312 139991356209392 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9412] ppid=9392 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9412/stat : 9412 (java) S 9392 9392 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476133030 28909211648 12348 33554432000 4194304 4196468 140722531941312 139991355157344 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9413] ppid=9392 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9394/task/9413/stat : 9413 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476133030 28909211648 12348 33554432000 4194304 4196468 140722531941312 139991354104624 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50844 KiB
[startup+0.700954 s]
/proc/loadavg: 6.75 7.94 8.23 4/215 9413
/proc/meminfo: memFree=16608928/32770624 swapFree=67001916/67108860
[pid=9392] ppid=9389 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9392/stat : 9392 (xcsp3-exec) S 9389 9392 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476133023 115843072 363 33554432000 4194304 5098028 140727803009440 140727803007544 140355211371132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29016064 140727803011922 140727803012181 140727803012181 140727803015110 0
/proc/9392/statm: 28282 363 304 221 0 87 0
[pid=9394] ppid=9392 vsize=28233776 memory=93080 CPUtime=1.89 cores=0-7
/proc/9394/stat : 9394 (java) S 9392 9392 6043 0 -1 1077944320 15130 0 0 0 182 7 0 0 20 0 20 0 476133023 28911386624 23270 33554432000 4194304 4196468 140722531941312 140722531923856 139993034149623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
/proc/9394/statm: 7058444 23270 3461 1 0 7019544 0
[pid=9394/tid=9395] ppid=9392 vsize=28233776 memory=279994421558960 CPUtime=0.67 cores=0-7
/proc/9394/task/9395/stat : 9395 (java) R 9392 9392 6043 0 -1 4202560 8842 0 0 0 63 4 0 0 20 0 20 0 476133023 28911386624 23270 33554432000 4194304 4196468 140722531941312 139993038385376 139993018230110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9396] ppid=9392 vsize=28233776 memory=139997210780528 CPUtime=0 cores=0-7
/proc/9394/task/9396/stat : 9396 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28911386624 23270 33554432000 4194304 4196468 140722531941312 139992986770320 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9397] ppid=9392 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9397/stat : 9397 (java) S 9392 9392 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476133024 28911386624 23270 33554432000 4194304 4196468 140722531941312 139992985717520 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9398] ppid=9392 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/9394/task/9398/stat : 9398 (java) S 9392 9392 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476133024 28911386624 23270 33554432000 4194304 4196468 140722531941312 139992984665232 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
################
# More data... #
################
/proc/9394/task/9430/stat : 9430 (java) R 9392 9392 6043 0 -1 4202560 284 0 0 0 2372 0 0 0 20 0 28 0 476133333 29458776064 148825 33554432000 4194304 4196468 140722531941312 139991335657272 139992673065603 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9431] ppid=9392 vsize=28768336 memory=8560 CPUtime=23.69 cores=0-7
/proc/9394/task/9431/stat : 9431 (java) R 9392 9392 6043 0 -1 4202560 237 0 0 0 2369 0 0 0 20 0 28 0 476133333 29458776064 148825 33554432000 4194304 4196468 140722531941312 139991338816536 139992675539159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9432] ppid=9392 vsize=28768336 memory=6132 CPUtime=23.58 cores=0-7
/proc/9394/task/9432/stat : 9432 (java) R 9392 9392 6043 0 -1 4202560 388 0 0 0 2357 1 0 0 20 0 28 0 476133333 29458776064 148825 33554432000 4194304 4196468 140722531941312 139991340921080 139992675538603 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9433] ppid=9392 vsize=28768336 memory=1056 CPUtime=23.59 cores=0-7
/proc/9394/task/9433/stat : 9433 (java) R 9392 9392 6043 0 -1 4202560 772 0 0 0 2356 3 0 0 20 0 28 0 476133333 29458776064 148825 33554432000 4194304 4196468 140722531941312 139991341973800 139992673061969 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9434] ppid=9392 vsize=28768336 memory=804 CPUtime=23.72 cores=0-7
/proc/9394/task/9434/stat : 9434 (java) R 9392 9392 6043 0 -1 4202560 778 0 0 0 2372 0 0 0 20 0 28 0 476133333 29458776064 148825 33554432000 4194304 4196468 140722531941312 139991337763304 139992673311711 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9435] ppid=9392 vsize=28768336 memory=1660 CPUtime=23.43 cores=0-7
/proc/9394/task/9435/stat : 9435 (java) R 9392 9392 6043 0 -1 4202560 315 0 0 0 2343 0 0 0 20 0 28 0 476133334 29458776064 148825 33554432000 4194304 4196468 140722531941312 139991343026536 139992674361140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9436] ppid=9392 vsize=28768336 memory=4104 CPUtime=23.49 cores=0-7
/proc/9394/task/9436/stat : 9436 (java) R 9392 9392 6043 0 -1 4202560 361 0 0 0 2349 0 0 0 20 0 28 0 476133334 29458776064 148825 33554432000 4194304 4196468 140722531941312 139991336710792 139992673062024 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9437] ppid=9392 vsize=28768336 memory=1804 CPUtime=23.36 cores=0-7
/proc/9394/task/9437/stat : 9437 (java) R 9392 9392 6043 0 -1 4202560 2119 0 0 0 2333 3 0 0 20 0 28 0 476133335 29458776064 148825 33554432000 4194304 4196468 140722531941312 139991339868424 139993019359582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
Current children cumulated CPU time: 209.83 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 596752 KiB
[startup+28.8016 s]
/proc/loadavg: 7.46 8.01 8.25 9/225 9442
/proc/meminfo: memFree=16054228/32770624 swapFree=67001916/67108860
[pid=9392] ppid=9389 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9392/stat : 9392 (xcsp3-exec) S 9389 9392 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476133023 115843072 363 33554432000 4194304 5098028 140727803009440 140727803007544 140355211371132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29016064 140727803011922 140727803012181 140727803012181 140727803015110 0
/proc/9392/statm: 28282 363 304 221 0 87 0
[pid=9394] ppid=9392 vsize=28768336 memory=654208 CPUtime=222.58 cores=0-7
/proc/9394/stat : 9394 (java) S 9392 9392 6043 0 -1 1077944320 58996 0 0 0 22200 58 0 0 20 0 28 0 476133023 29458776064 163552 33554432000 4194304 4196468 140722531941312 140722531923856 139993034149623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
/proc/9394/statm: 7192084 163552 3542 1 0 7153184 0
[pid=9394/tid=9395] ppid=9392 vsize=28768336 memory=279994422112304 CPUtime=1.42 cores=0-7
/proc/9394/task/9395/stat : 9395 (java) S 9392 9392 6043 0 -1 1077944384 11022 0 0 0 136 6 0 0 20 0 28 0 476133023 29458776064 163552 33554432000 4194304 4196468 140722531941312 139993038390400 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9396] ppid=9392 vsize=28768336 memory=3472468293439225196 CPUtime=0.07 cores=0-7
/proc/9394/task/9396/stat : 9396 (java) S 9392 9392 6043 0 -1 1077944384 541 0 0 0 4 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992986770320 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9397] ppid=9392 vsize=28768336 memory=7949103738753023376 CPUtime=0.06 cores=0-7
/proc/9394/task/9397/stat : 9397 (java) S 9392 9392 6043 0 -1 1077944384 283 0 0 0 3 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992985717520 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9398] ppid=9392 vsize=28768336 memory=4198994929212872642 CPUtime=0.07 cores=0-7
/proc/9394/task/9398/stat : 9398 (java) S 9392 9392 6043 0 -1 1077944384 382 0 0 0 4 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992984665232 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9399] ppid=9392 vsize=28768336 memory=7308752475132239786 CPUtime=0.07 cores=0-7
/proc/9394/task/9399/stat : 9399 (java) S 9392 9392 6043 0 -1 1077944384 668 0 0 0 4 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992581921808 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9400] ppid=9392 vsize=28768336 memory=3467947032636845536 CPUtime=0.07 cores=0-7
/proc/9394/task/9400/stat : 9400 (java) S 9392 9392 6043 0 -1 1077944384 1166 0 0 0 4 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992580868496 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9401] ppid=9392 vsize=28768336 memory=3461490601841229289 CPUtime=0.07 cores=0-7
/proc/9394/task/9401/stat : 9401 (java) S 9392 9392 6043 0 -1 1077944384 975 0 0 0 4 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992579815696 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9402] ppid=9392 vsize=28768336 memory=55 CPUtime=0.06 cores=0-7
/proc/9394/task/9402/stat : 9402 (java) S 9392 9392 6043 0 -1 1077944384 352 0 0 0 3 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992578763408 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9403] ppid=9392 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/9394/task/9403/stat : 9403 (java) S 9392 9392 6043 0 -1 1077944384 405 0 0 0 3 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992577710608 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9404] ppid=9392 vsize=28768336 memory=288230583132487972 CPUtime=0.02 cores=0-7
/proc/9394/task/9404/stat : 9404 (java) S 9392 9392 6043 0 -1 1077944384 1992 0 0 0 2 0 0 0 20 0 28 0 476133026 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991363578480 139993034160770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9405] ppid=9392 vsize=28768336 memory=288289974074475830 CPUtime=0 cores=0-7
/proc/9394/task/9405/stat : 9405 (java) S 9392 9392 6043 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 476133026 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991362524512 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9406] ppid=9392 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9406/stat : 9406 (java) S 9392 9392 6043 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476133026 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991361472128 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9407] ppid=9392 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9407/stat : 9407 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476133029 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991360420432 139993034168219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9408] ppid=9392 vsize=28768336 memory=0 CPUtime=3.26 cores=0-7
/proc/9394/task/9408/stat : 9408 (java) S 9392 9392 6043 0 -1 1077944384 7838 0 0 0 323 3 0 0 20 0 28 0 476133029 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991359367280 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9409] ppid=9392 vsize=28768336 memory=0 CPUtime=2.93 cores=0-7
/proc/9394/task/9409/stat : 9409 (java) S 9392 9392 6043 0 -1 1077944384 6912 0 0 0 291 2 0 0 20 0 28 0 476133029 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991358314480 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9410] ppid=9392 vsize=28768336 memory=0 CPUtime=2.91 cores=0-7
/proc/9394/task/9410/stat : 9410 (java) S 9392 9392 6043 0 -1 1077944384 9476 0 0 0 290 1 0 0 20 0 28 0 476133029 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991357262192 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9411] ppid=9392 vsize=28768336 memory=1452 CPUtime=1.15 cores=0-7
/proc/9394/task/9411/stat : 9411 (java) S 9392 9392 6043 0 -1 1077944384 9059 0 0 0 112 3 0 0 20 0 28 0 476133029 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991356209392 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9412] ppid=9392 vsize=28768336 memory=438984 CPUtime=0 cores=0-7
/proc/9394/task/9412/stat : 9412 (java) S 9392 9392 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476133030 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991355157344 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9413] ppid=9392 vsize=28768336 memory=2052 CPUtime=0.01 cores=0-7
/proc/9394/task/9413/stat : 9413 (java) S 9392 9392 6043 0 -1 1077944384 214 0 0 0 0 1 0 0 20 0 28 0 476133030 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991354104624 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9430] ppid=9392 vsize=28768336 memory=1428 CPUtime=25.3 cores=0-7
/proc/9394/task/9430/stat : 9430 (java) R 9392 9392 6043 0 -1 4202560 288 0 0 0 2530 0 0 0 20 0 28 0 476133333 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991335656872 139992674130942 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9431] ppid=9392 vsize=28768336 memory=1716 CPUtime=25.27 cores=0-7
/proc/9394/task/9431/stat : 9431 (java) R 9392 9392 6043 0 -1 4202560 238 0 0 0 2527 0 0 0 20 0 28 0 476133333 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991338815696 139992672541480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9432] ppid=9392 vsize=28768336 memory=784 CPUtime=25.15 cores=0-7
/proc/9394/task/9432/stat : 9432 (java) R 9392 9392 6043 0 -1 4202560 390 0 0 0 2514 1 0 0 20 0 28 0 476133333 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991340921064 139992674360562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9433] ppid=9392 vsize=28768336 memory=8560 CPUtime=25.17 cores=0-7
/proc/9394/task/9433/stat : 9433 (java) R 9392 9392 6043 0 -1 4202560 784 0 0 0 2514 3 0 0 20 0 28 0 476133333 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991341973208 139992673370609 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9434] ppid=9392 vsize=28768336 memory=6132 CPUtime=25.29 cores=0-7
/proc/9394/task/9434/stat : 9434 (java) R 9392 9392 6043 0 -1 4202560 787 0 0 0 2529 0 0 0 20 0 28 0 476133333 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991337762984 139992672541512 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9435] ppid=9392 vsize=28768336 memory=17828 CPUtime=25.01 cores=0-7
/proc/9394/task/9435/stat : 9435 (java) R 9392 9392 6043 0 -1 4202560 317 0 0 0 2501 0 0 0 20 0 28 0 476133334 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991343026344 139992673311891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9436] ppid=9392 vsize=28768336 memory=279994421832912 CPUtime=25.05 cores=0-7
/proc/9394/task/9436/stat : 9436 (java) R 9392 9392 6043 0 -1 4202560 363 0 0 0 2505 0 0 0 20 0 28 0 476133334 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991336710216 139992674360625 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9437] ppid=9392 vsize=28768336 memory=139997211344944 CPUtime=24.94 cores=0-7
/proc/9394/task/9437/stat : 9437 (java) R 9392 9392 6043 0 -1 4202560 2153 0 0 0 2490 4 0 0 20 0 28 0 476133335 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991339868472 139992675138476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
Current children cumulated CPU time: 222.58 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 655660 KiB
[startup+29.6016 s]
/proc/loadavg: 7.46 8.01 8.25 9/225 9442
/proc/meminfo: memFree=16026860/32770624 swapFree=67001916/67108860
[pid=9392] ppid=9389 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9392/stat : 9392 (xcsp3-exec) S 9389 9392 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476133023 115843072 363 33554432000 4194304 5098028 140727803009440 140727803007544 140355211371132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29016064 140727803011922 140727803012181 140727803012181 140727803015110 0
/proc/9392/statm: 28282 363 304 221 0 87 0
[pid=9394] ppid=9392 vsize=28768336 memory=654208 CPUtime=228.96 cores=0-7
/proc/9394/stat : 9394 (java) S 9392 9392 6043 0 -1 1077944320 59021 0 0 0 22838 58 0 0 20 0 28 0 476133023 29458776064 163552 33554432000 4194304 4196468 140722531941312 140722531923856 139993034149623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
/proc/9394/statm: 7192084 163552 3542 1 0 7153184 0
[pid=9394/tid=9395] ppid=9392 vsize=28768336 memory=1452 CPUtime=1.42 cores=0-7
/proc/9394/task/9395/stat : 9395 (java) S 9392 9392 6043 0 -1 1077944384 11022 0 0 0 136 6 0 0 20 0 28 0 476133023 29458776064 163552 33554432000 4194304 4196468 140722531941312 139993038390400 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9396] ppid=9392 vsize=28768336 memory=8112282956445269571 CPUtime=0.07 cores=0-7
/proc/9394/task/9396/stat : 9396 (java) S 9392 9392 6043 0 -1 1077944384 541 0 0 0 4 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992986770320 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9397] ppid=9392 vsize=28768336 memory=303148769816609083 CPUtime=0.06 cores=0-7
/proc/9394/task/9397/stat : 9397 (java) S 9392 9392 6043 0 -1 1077944384 283 0 0 0 3 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992985717520 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9398] ppid=9392 vsize=28768336 memory=15825486429292335 CPUtime=0.07 cores=0-7
/proc/9394/task/9398/stat : 9398 (java) S 9392 9392 6043 0 -1 1077944384 382 0 0 0 4 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992984665232 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9399] ppid=9392 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/9394/task/9399/stat : 9399 (java) S 9392 9392 6043 0 -1 1077944384 668 0 0 0 4 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992581921808 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9400] ppid=9392 vsize=28768336 memory=81028 CPUtime=0.07 cores=0-7
/proc/9394/task/9400/stat : 9400 (java) S 9392 9392 6043 0 -1 1077944384 1166 0 0 0 4 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992580868496 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9401] ppid=9392 vsize=28768336 memory=-8102431393132624720 CPUtime=0.07 cores=0-7
/proc/9394/task/9401/stat : 9401 (java) S 9392 9392 6043 0 -1 1077944384 975 0 0 0 4 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992579815696 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9402] ppid=9392 vsize=28768336 memory=-8181453203898211701 CPUtime=0.06 cores=0-7
/proc/9394/task/9402/stat : 9402 (java) S 9392 9392 6043 0 -1 1077944384 352 0 0 0 3 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992578763408 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9403] ppid=9392 vsize=28768336 memory=164 CPUtime=0.06 cores=0-7
/proc/9394/task/9403/stat : 9403 (java) S 9392 9392 6043 0 -1 1077944384 405 0 0 0 3 3 0 0 20 0 28 0 476133024 29458776064 163552 33554432000 4194304 4196468 140722531941312 139992577710608 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9404] ppid=9392 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/9394/task/9404/stat : 9404 (java) S 9392 9392 6043 0 -1 1077944384 1992 0 0 0 2 0 0 0 20 0 28 0 476133026 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991363578480 139993034160770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9405] ppid=9392 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9405/stat : 9405 (java) S 9392 9392 6043 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 476133026 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991362524512 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9406] ppid=9392 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9406/stat : 9406 (java) S 9392 9392 6043 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476133026 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991361472128 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9407] ppid=9392 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9394/task/9407/stat : 9407 (java) S 9392 9392 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476133029 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991360420432 139993034168219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9408] ppid=9392 vsize=28768336 memory=218 CPUtime=3.26 cores=0-7
/proc/9394/task/9408/stat : 9408 (java) S 9392 9392 6043 0 -1 1077944384 7838 0 0 0 323 3 0 0 20 0 28 0 476133029 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991359367280 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9409] ppid=9392 vsize=28768336 memory=1 CPUtime=2.93 cores=0-7
/proc/9394/task/9409/stat : 9409 (java) S 9392 9392 6043 0 -1 1077944384 6912 0 0 0 291 2 0 0 20 0 28 0 476133029 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991358314480 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9410] ppid=9392 vsize=28768336 memory=3280 CPUtime=2.91 cores=0-7
/proc/9394/task/9410/stat : 9410 (java) S 9392 9392 6043 0 -1 1077944384 9476 0 0 0 290 1 0 0 20 0 28 0 476133029 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991357262192 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9411] ppid=9392 vsize=28768336 memory=54744 CPUtime=1.15 cores=0-7
/proc/9394/task/9411/stat : 9411 (java) S 9392 9392 6043 0 -1 1077944384 9059 0 0 0 112 3 0 0 20 0 28 0 476133029 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991356209392 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9412] ppid=9392 vsize=28768336 memory=988 CPUtime=0 cores=0-7
/proc/9394/task/9412/stat : 9412 (java) S 9392 9392 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476133030 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991355157344 139993034159829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9413] ppid=9392 vsize=28768336 memory=2052 CPUtime=0.01 cores=0-7
/proc/9394/task/9413/stat : 9413 (java) S 9392 9392 6043 0 -1 1077944384 214 0 0 0 0 1 0 0 20 0 28 0 476133030 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991354104624 139993034160770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9430] ppid=9392 vsize=28768336 memory=1428 CPUtime=26.1 cores=0-7
/proc/9394/task/9430/stat : 9430 (java) R 9392 9392 6043 0 -1 4202560 288 0 0 0 2610 0 0 0 20 0 28 0 476133333 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991335656872 139992673063037 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9431] ppid=9392 vsize=28768336 memory=1716 CPUtime=26.07 cores=0-7
/proc/9394/task/9431/stat : 9431 (java) R 9392 9392 6043 0 -1 4202560 238 0 0 0 2607 0 0 0 20 0 28 0 476133333 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991338815696 139992674360689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9432] ppid=9392 vsize=28768336 memory=784 CPUtime=25.95 cores=0-7
/proc/9394/task/9432/stat : 9432 (java) R 9392 9392 6043 0 -1 4202560 390 0 0 0 2594 1 0 0 20 0 28 0 476133333 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991340921064 139992675539840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9433] ppid=9392 vsize=28768336 memory=8560 CPUtime=25.97 cores=0-7
/proc/9394/task/9433/stat : 9433 (java) R 9392 9392 6043 0 -1 4202560 786 0 0 0 2594 3 0 0 20 0 28 0 476133333 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991341973208 139992674360812 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9434] ppid=9392 vsize=28768336 memory=6132 CPUtime=26.09 cores=0-7
/proc/9394/task/9434/stat : 9434 (java) R 9392 9392 6043 0 -1 4202560 791 0 0 0 2609 0 0 0 20 0 28 0 476133333 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991337762984 139992676423168 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9435] ppid=9392 vsize=28768336 memory=1056 CPUtime=25.81 cores=0-7
/proc/9394/task/9435/stat : 9435 (java) R 9392 9392 6043 0 -1 4202560 319 0 0 0 2581 0 0 0 20 0 28 0 476133334 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991343026344 139992673385068 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9436] ppid=9392 vsize=28768336 memory=1540 CPUtime=25.83 cores=0-7
/proc/9394/task/9436/stat : 9436 (java) R 9392 9392 6043 0 -1 4202560 366 0 0 0 2583 0 0 0 20 0 28 0 476133334 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991336710216 139992672541742 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
[pid=9394/tid=9437] ppid=9392 vsize=28768336 memory=728 CPUtime=25.74 cores=0-7
/proc/9394/task/9437/stat : 9437 (java) R 9392 9392 6043 0 -1 4202560 2167 0 0 0 2570 4 0 0 20 0 28 0 476133335 29458776064 163552 33554432000 4194304 4196468 140722531941312 139991339868472 139992672541782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140722531943382 140722531943558 140722531943558 140722531946447 0
Current children cumulated CPU time: 228.96 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 655660 KiB
[startup+29.8109 s]*
/proc/loadavg: 7.46 8.01 8.25 3/197 9442
/proc/meminfo: memFree=16667540/32770624 swapFree=67001916/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 29.8205
CPU time (s): 230.502
CPU user time (s): 229.904
CPU system time (s): 0.598485
CPU usage (%): 772.967
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 655660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.904
system time used= 0.598485
maximum resident set size= 654208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5940
involuntary context switches= 3763
# summary of solver processes directly reported to runsolver:
# pid: 9392
# total CPU time (s): 230.502
# total CPU user time (s): 229.904
# total CPU system time (s): 0.598485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.292201 second user time and 0.381606 second system time
The end
Begin job on node133 at 2019-09-20 19:01:34 IDJOB=4404722 IDBENCH=126794 IDSOLVER=2865 FILE ID=node133/4404722-1568998935 RUNJOBID= node133-1568994386-6070 PBS_JOBID= 21704723 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-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 /var/tmp/evaluation-result-4404722-1568998935/watcher-4404722-1568998935 -o /var/tmp/evaluation-result-4404722-1568998935/solver-4404722-1568998935 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 541323929 HOME/instance-4404722-1568998935.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1892dc6bbe7f4411da75bff22067cf15 RANDOM SEED=541323929 node133.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.18 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.18 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.18 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.18 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: 16667684 kB MemAvailable: 31849544 kB Buffers: 119868 kB Cached: 14975444 kB SwapCached: 5368 kB Active: 7526372 kB Inactive: 7574208 kB Active(anon): 1568 kB Inactive(anon): 50296 kB Active(file): 7524804 kB Inactive(file): 7523912 kB Unevictable: 111416 kB Mlocked: 111416 kB SwapTotal: 67108860 kB SwapFree: 67001916 kB Dirty: 26224 kB Writeback: 0 kB AnonPages: 150100 kB Mapped: 51952 kB Shmem: 37752 kB Slab: 590632 kB SReclaimable: 561604 kB SUnreclaim: 29028 kB KernelStack: 3776 kB PageTables: 5460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 106496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13464 MiB End job on node133 at 2019-09-20 19:02:05