Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b par (e747e1e) | OPT | 2 | 96.784 | 14.2068 |
| Name | TemplateDesign/ TemplateDesign-m1-herbs_c18.xml |
| MD5SUM | c28699084a36c5d45188c7cead550bcc |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 96.784 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1860 |
| Number of constraints | 1021 |
| Number of domains | 11 |
| Minimum domain size | 2 |
| Maximum domain size | 308 |
| Distribution of domain sizes | [{"size":2,"count":30},{"size":43,"count":900},{"size":66,"count":60},{"size":77,"count":210},{"size":88,"count":120},{"size":99,"count":180},{"size":110,"count":120},{"size":165,"count":30},{"size":253,"count":120},{"size":281,"count":30},{"size":308,"count":60}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":2,"count":1770},{"degree":3,"count":60},{"degree":32,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":60},{"arity":3,"count":900},{"arity":30,"count":61}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 960 |
| Distribution of constraint types | [{"type":"intension","count":960},{"type":"ordered","count":1},{"type":"sum","count":60}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297568-1532716431.xml" -tl '20160s' -p 8 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297568-1532716431.xml, -tl, 20160s, -p, 8] 0.12/0.21 c 8 solvers in parallel 0.34/0.28 c parse instance... 6.15/1.70 c solve instance... 63.98/10.11 o 30 87.70/13.03 o 3 96.34/14.15 o 2 96.34/14.18 s OPTIMUM FOUND 96.34/14.18 v <instantiation> 96.34/14.18 v <list>d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] npt[0] npt[1] npt[2] npt[3] npt[4] npt[5] npt[6] npt[7] npt[8] npt[9] npt[10] npt[11] npt[12] npt[13] npt[14] npt[15] npt[16] npt[17] npt[18] npt[19] npt[20] npt[21] npt[22] npt[23] npt[24] npt[25] npt[26] npt[27] npt[28] npt[29] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] nptv[0][0] nptv[0][1] nptv[0][2] nptv[0][3] nptv[0][4] nptv[0][5] nptv[0][6] nptv[0][7] nptv[0][8] nptv[0][9] nptv[0][10] nptv[0][11] nptv[0][12] nptv[0][13] nptv[0][14] nptv[0][15] nptv[0][16] nptv[0][17] nptv[0][18] nptv[0][19] nptv[0][20] nptv[0][21] nptv[0][22] nptv[0][23] nptv[0][24] nptv[0][25] nptv[0][26] nptv[0][27] nptv[0][28] nptv[0][29] nptv[1][0] nptv[1][1] nptv[1][2] nptv[1][3] nptv[1][4] nptv[1][5] nptv[1][6] nptv[1][7] nptv[1][8] nptv[1][9] nptv[1][10] nptv[1][11] nptv[1][12] nptv[1][13] nptv[1][14] nptv[1][15] nptv[1][16] nptv[1][17] nptv[1][18] nptv[1][19] nptv[1][20] nptv[1][21] nptv[1][22] nptv[1][23] nptv[1][24] nptv[1][25] nptv[1][26] nptv[1][27] nptv[1][28] nptv[1][29] nptv[2][0] nptv[2][1] nptv[2][2] nptv[2][3] nptv[2][4] nptv[2][5] nptv[2][6] nptv[2][7] nptv[2][8] nptv[2][9] nptv[2][10] nptv[2][11] nptv[2][12] nptv[2][13] nptv[2][14] nptv[2][15] nptv[2][16] nptv[2][17] nptv[2][18] nptv[2][19] nptv[2][20] nptv[2][21] nptv[2][22] nptv[2][23] nptv[2][24] nptv[2][25] nptv[2][26] nptv[2][27] nptv[2][28] nptv[2][29] nptv[3][0] nptv[3][1] nptv[3][2] nptv[3][3] nptv[3][4] nptv[3][5] nptv[3][6] nptv[3][7] nptv[3][8] nptv[3][9] nptv[3][10] nptv[3][11] nptv[3][12] nptv[3][13] nptv[3][14] nptv[3][15] nptv[3][16] nptv[3][17] nptv[3][18] nptv[3][19] nptv[3][20] nptv[3][21] nptv[3][22] nptv[3][23] nptv[3][24] nptv[3][25] nptv[3][26] nptv[3][27] nptv[3][28] nptv[3][29] nptv[4][0] nptv[4][1] nptv[4][2] nptv[4][3] nptv[4][4] nptv[4][5] nptv[4][6] nptv[4][7] nptv[4][8] nptv[4][9] nptv[4][10] nptv[4][11] nptv[4][12] nptv[4][13] nptv[4][14] nptv[4][15] nptv[4][16] nptv[4][17] nptv[4][18] nptv[4][19] nptv[4][20] nptv[4][21] nptv[4][22] nptv[4][23] nptv[4][24] nptv[4][25] nptv[4][26] nptv[4][27] nptv[4][28] nptv[4][29] nptv[5][0] nptv[5][1] nptv[5][2] nptv[5][3] nptv[5][4] nptv[5][5] nptv[5][6] nptv[5][7] nptv[5][8] nptv[5][9] nptv[5][10] nptv[5][11] nptv[5][12] nptv[5][13] nptv[5][14] nptv[5][15] nptv[5][16] nptv[5][17] nptv[5][18] nptv[5][19] nptv[5][20] nptv[5][21] nptv[5][22] nptv[5][23] nptv[5][24] nptv[5][25] nptv[5][26] nptv[5][27] nptv[5][28] nptv[5][29] nptv[6][0] nptv[6][1] nptv[6][2] nptv[6][3] nptv[6][4] nptv[6][5] nptv[6][6] nptv[6][7] nptv[6][8] nptv[6][9] nptv[6][10] nptv[6][11] nptv[6][12] nptv[6][13] nptv[6][14] nptv[6][15] nptv[6][16] nptv[6][17] nptv[6][18] nptv[6][19] nptv[6][20] nptv[6][21] nptv[6][22] nptv[6][23] nptv[6][24] nptv[6][25] nptv[6][26] nptv[6][27] nptv[6][28] nptv[6][29] nptv[7][0] nptv[7][1] nptv[7][2] nptv[7][3] nptv[7][4] nptv[7][5] nptv[7][6] nptv[7][7] nptv[7][8] nptv[7][9] nptv[7][10] nptv[7][11] nptv[7][12] nptv[7][13] nptv[7][14] nptv[7][15] nptv[7][16] nptv[7][17] nptv[7][18] nptv[7][19] nptv[7][20] nptv[7][21] nptv[7][22] nptv[7][23] nptv[7][24] nptv[7][25] nptv[7][26] nptv[7][27] nptv[7][28] nptv[7][29] nptv[8][0] nptv[8][1] nptv[8][2] nptv[8][3] nptv[8][4] nptv[8][5] nptv[8][6] nptv[8][7] nptv[8][8] nptv[8][9] nptv[8][10] nptv[8][11] nptv[8][12] nptv[8][13] nptv[8][14] nptv[8][15] nptv[8][16] nptv[8][17] nptv[8][18] nptv[8][19] nptv[8][20] nptv[8][21] nptv[8][22] nptv[8][23] nptv[8][24] nptv[8][25] nptv[8][26] nptv[8][27] nptv[8][28] nptv[8][29] nptv[9][0] nptv[9][1] nptv[9][2] nptv[9][3] nptv[9][4] nptv[9][5] nptv[9][6] nptv[9][7] nptv[9][8] nptv[9][9] nptv[9][10] nptv[9][11] nptv[9][12] nptv[9][13] nptv[9][14] nptv[9][15] nptv[9][16] nptv[9][17] nptv[9][18] nptv[9][19] nptv[9][20] nptv[9][21] nptv[9][22] nptv[9][23] nptv[9][24] nptv[9][25] nptv[9][26] nptv[9][27] nptv[9][28] nptv[9][29] nptv[10][0] nptv[10][1] nptv[10][2] nptv[10][3] nptv[10][4] nptv[10][5] nptv[10][6] nptv[10][7] nptv[10][8] nptv[10][9] nptv[10][10] nptv[10][11] nptv[10][12] nptv[10][13] nptv[10][14] nptv[10][15] nptv[10][16] nptv[10][17] nptv[10][18] nptv[10][19] nptv[10][20] nptv[10][21] nptv[10][22] nptv[10][23] nptv[10][24] nptv[10][25] nptv[10][26] nptv[10][27] nptv[10][28] nptv[10][29] nptv[11][0] nptv[11][1] nptv[11][2] nptv[11][3] nptv[11][4] nptv[11][5] nptv[11][6] nptv[11][7] nptv[11][8] nptv[11][9] nptv[11][10] nptv[11][11] nptv[11][12] nptv[11][13] nptv[11][14] nptv[11][15] nptv[11][16] nptv[11][17] nptv[11][18] nptv[11][19] nptv[11][20] nptv[11][21] nptv[11][22] nptv[11][23] nptv[11][24] nptv[11][25] nptv[11][26] nptv[11][27] nptv[11][28] nptv[11][29] nptv[12][0] nptv[12][1] nptv[12][2] nptv[12][3] nptv[12][4] nptv[12][5] nptv[12][6] nptv[12][7] nptv[12][8] nptv[12][9] nptv[12][10] nptv[12][11] nptv[12][12] nptv[12][13] nptv[12][14] nptv[12][15] nptv[12][16] nptv[12][17] nptv[12][18] nptv[12][19] nptv[12][20] nptv[12][21] nptv[12][22] nptv[12][23] nptv[12][24] nptv[12][25] nptv[12][26] nptv[12][27] nptv[12][28] nptv[12][29] nptv[13][0] nptv[13][1] nptv[13][2] nptv[13][3] nptv[13][4] nptv[13][5] nptv[13][6] nptv[13][7] nptv[13][8] nptv[13][9] nptv[13][10] nptv[13][11] nptv[13][12] nptv[13][13] nptv[13][14] nptv[13][15] nptv[13][16] nptv[13][17] nptv[13][18] nptv[13][19] nptv[13][20] nptv[13][21] nptv[13][22] nptv[13][23] nptv[13][24] nptv[13][25] nptv[13][26] nptv[13][27] nptv[13][28] nptv[13][29] nptv[14][0] nptv[14][1] nptv[14][2] nptv[14][3] nptv[14][4] nptv[14][5] nptv[14][6] nptv[14][7] nptv[14][8] nptv[14][9] nptv[14][10] nptv[14][11] nptv[14][12] nptv[14][13] nptv[14][14] nptv[14][15] nptv[14][16] nptv[14][17] nptv[14][18] nptv[14][19] nptv[14][20] nptv[14][21] nptv[14][22] nptv[14][23] nptv[14][24] nptv[14][25] nptv[14][26] nptv[14][27] nptv[14][28] nptv[14][29] nptv[15][0] nptv[15][1] nptv[15][2] nptv[15][3] nptv[15][4] nptv[15][5] nptv[15][6] nptv[15][7] nptv[15][8] nptv[15][9] nptv[15][10] nptv[15][11] nptv[15][12] nptv[15][13] nptv[15][14] nptv[15][15] nptv[15][16] nptv[15][17] nptv[15][18] nptv[15][19] nptv[15][20] nptv[15][21] nptv[15][22] nptv[15][23] nptv[15][24] nptv[15][25] nptv[15][26] nptv[15][27] nptv[15][28] nptv[15][29] nptv[16][0] nptv[16][1] nptv[16][2] nptv[16][3] nptv[16][4] nptv[16][5] nptv[16][6] nptv[16][7] nptv[16][8] nptv[16][9] nptv[16][10] nptv[16][11] nptv[16][12] nptv[16][13] nptv[16][14] nptv[16][15] nptv[16][16] nptv[16][17] nptv[16][18] nptv[16][19] nptv[16][20] nptv[16][21] nptv[16][22] nptv[16][23] nptv[16][24] nptv[16][25] nptv[16][26] nptv[16][27] nptv[16][28] nptv[16][29] nptv[17][0] nptv[17][1] nptv[17][2] nptv[17][3] nptv[17][4] nptv[17][5] nptv[17][6] nptv[17][7] nptv[17][8] nptv[17][9] nptv[17][10] nptv[17][11] nptv[17][12] nptv[17][13] nptv[17][14] nptv[17][15] nptv[17][16] nptv[17][17] nptv[17][18] nptv[17][19] nptv[17][20] nptv[17][21] nptv[17][22] nptv[17][23] nptv[17][24] nptv[17][25] nptv[17][26] nptv[17][27] nptv[17][28] nptv[17][29] nptv[18][0] nptv[18][1] nptv[18][2] nptv[18][3] nptv[18][4] nptv[18][5] nptv[18][6] nptv[18][7] nptv[18][8] nptv[18][9] nptv[18][10] nptv[18][11] nptv[18][12] nptv[18][13] nptv[18][14] nptv[18][15] nptv[18][16] nptv[18][17] nptv[18][18] nptv[18][19] nptv[18][20] nptv[18][21] nptv[18][22] nptv[18][23] nptv[18][24] nptv[18][25] nptv[18][26] nptv[18][27] nptv[18][28] nptv[18][29] nptv[19][0] nptv[19][1] nptv[19][2] nptv[19][3] nptv[19][4] nptv[19][5] nptv[19][6] nptv[19][7] nptv[19][8] nptv[19][9] nptv[19][10] nptv[19][11] nptv[19][12] nptv[19][13] nptv[19][14] nptv[19][15] nptv[19][16] nptv[19][17] nptv[19][18] nptv[19][19] nptv[19][20] nptv[19][21] nptv[19][22] nptv[19][23] nptv[19][24] nptv[19][25] nptv[19][26] nptv[19][27] nptv[19][28] nptv[19][29] nptv[20][0] nptv[20][1] nptv[20][2] nptv[20][3] nptv[20][4] nptv[20][5] nptv[20][6] nptv[20][7] nptv[20][8] nptv[20][9] nptv[20][10] nptv[20][11] nptv[20][12] nptv[20][13] nptv[20][14] nptv[20][15] nptv[20][16] nptv[20][17] nptv[20][18] nptv[20][19] nptv[20][20] nptv[20][21] nptv[20][22] nptv[20][23] nptv[20][24] nptv[20][25] nptv[20][26] nptv[20][27] nptv[20][28] nptv[20][29] nptv[21][0] nptv[21][1] nptv[21][2] nptv[21][3] nptv[21][4] nptv[21][5] nptv[21][6] nptv[21][7] nptv[21][8] nptv[21][9] nptv[21][10] nptv[21][11] nptv[21][12] nptv[21][13] nptv[21][14] nptv[21][15] nptv[21][16] nptv[21][17] nptv[21][18] nptv[21][19] nptv[21][20] nptv[21][21] nptv[21][22] nptv[21][23] nptv[21][24] nptv[21][25] nptv[21][26] nptv[21][27] nptv[21][28] nptv[21][29] nptv[22][0] nptv[22][1] nptv[22][2] nptv[22][3] nptv[22][4] nptv[22][5] nptv[22][6] nptv[22][7] nptv[22][8] nptv[22][9] nptv[22][10] nptv[22][11] nptv[22][12] nptv[22][13] nptv[22][14] nptv[22][15] nptv[22][16] nptv[22][17] nptv[22][18] nptv[22][19] nptv[22][20] nptv[22][21] nptv[22][22] nptv[22][23] nptv[22][24] nptv[22][25] nptv[22][26] nptv[22][27] nptv[22][28] nptv[22][29] nptv[23][0] nptv[23][1] nptv[23][2] nptv[23][3] nptv[23][4] nptv[23][5] nptv[23][6] nptv[23][7] nptv[23][8] nptv[23][9] nptv[23][10] nptv[23][11] nptv[23][12] nptv[23][13] nptv[23][14] nptv[23][15] nptv[23][16] nptv[23][17] nptv[23][18] nptv[23][19] nptv[23][20] nptv[23][21] nptv[23][22] nptv[23][23] nptv[23][24] nptv[23][25] nptv[23][26] nptv[23][27] nptv[23][28] nptv[23][29] nptv[24][0] nptv[24][1] nptv[24][2] nptv[24][3] nptv[24][4] nptv[24][5] nptv[24][6] nptv[24][7] nptv[24][8] nptv[24][9] nptv[24][10] nptv[24][11] nptv[24][12] nptv[24][13] nptv[24][14] nptv[24][15] nptv[24][16] nptv[24][17] nptv[24][18] nptv[24][19] nptv[24][20] nptv[24][21] nptv[24][22] nptv[24][23] nptv[24][24] nptv[24][25] nptv[24][26] nptv[24][27] nptv[24][28] nptv[24][29] nptv[25][0] nptv[25][1] nptv[25][2] nptv[25][3] nptv[25][4] nptv[25][5] nptv[25][6] nptv[25][7] nptv[25][8] nptv[25][9] nptv[25][10] nptv[25][11] nptv[25][12] nptv[25][13] nptv[25][14] nptv[25][15] nptv[25][16] nptv[25][17] nptv[25][18] nptv[25][19] nptv[25][20] nptv[25][21] nptv[25][22] nptv[25][23] nptv[25][24] nptv[25][25] nptv[25][26] nptv[25][27] nptv[25][28] nptv[25][29] nptv[26][0] nptv[26][1] nptv[26][2] nptv[26][3] nptv[26][4] nptv[26][5] nptv[26][6] nptv[26][7] nptv[26][8] nptv[26][9] nptv[26][10] nptv[26][11] nptv[26][12] nptv[26][13] nptv[26][14] nptv[26][15] nptv[26][16] nptv[26][17] nptv[26][18] nptv[26][19] nptv[26][20] nptv[26][21] nptv[26][22] nptv[26][23] nptv[26][24] nptv[26][25] nptv[26][26] nptv[26][27] nptv[26][28] nptv[26][29] nptv[27][0] nptv[27][1] nptv[27][2] nptv[27][3] nptv[27][4] nptv[27][5] nptv[27][6] nptv[27][7] nptv[27][8] nptv[27][9] nptv[27][10] nptv[27][11] nptv[27][12] nptv[27][13] nptv[27][14] nptv[27][15] nptv[27][16] nptv[27][17] nptv[27][18] nptv[27][19] nptv[27][20] nptv[27][21] nptv[27][22] nptv[27][23] nptv[27][24] nptv[27][25] nptv[27][26] nptv[27][27] nptv[27][28] nptv[27][29] nptv[28][0] nptv[28][1] nptv[28][2] nptv[28][3] nptv[28][4] nptv[28][5] nptv[28][6] nptv[28][7] nptv[28][8] nptv[28][9] nptv[28][10] nptv[28][11] nptv[28][12] nptv[28][13] nptv[28][14] nptv[28][15] nptv[28][16] nptv[28][17] nptv[28][18] nptv[28][19] nptv[28][20] nptv[28][21] nptv[28][22] nptv[28][23] nptv[28][24] nptv[28][25] nptv[28][26] nptv[28][27] nptv[28][28] nptv[28][29] nptv[29][0] nptv[29][1] nptv[29][2] nptv[29][3] nptv[29][4] nptv[29][5] nptv[29][6] nptv[29][7] nptv[29][8] nptv[29][9] nptv[29][10] nptv[29][11] nptv[29][12] nptv[29][13] nptv[29][14] nptv[29][15] nptv[29][16] nptv[29][17] nptv[29][18] nptv[29][19] nptv[29][20] nptv[29][21] nptv[29][22] nptv[29][23] nptv[29][24] nptv[29][25] nptv[29][26] nptv[29][27] nptv[29][28] nptv[29][29] </list> 96.34/14.18 v <values>4 4 3 3 3 3 2 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 2 2 1 3 2 2 2 1 2 1 1 9 1 1 0 0 0 0 0 0 0 0 0 0 6 6 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 76 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 304 304 228 228 228 228 152 76 76 76 76 76 76 76 76 0 76 76 76 76 76 76 76 76 76 76 76 76 0 0 0 0 0 0 20 20 10 30 20 20 20 10 20 10 10 90 10 10 0 0 0 0 0 0 0 0 0 0 60 60 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 96.34/14.18 v </instantiation>
OK 2
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 (9153 MiB free)
memory of node 1: 16384 MiB (12697 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297568-1532716431/watcher-4297568-1532716431 -o /tmp/evaluation-result-4297568-1532716431/solver-4297568-1532716431 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532713877-19577 --watchdog 2580 HOME/xcsp3-exec -seed 1539410469 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297568-1532716431.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
Current StackSize limit: 8192 KiB
solver pid=19810, runsolver pid=19807
[startup+0.100134 s]*
/proc/loadavg: 1.21 1.07 1.54 2/199 19831
/proc/meminfo: memFree=22359540/32770624 swapFree=67108796/67108860
[pid=19810] ppid=19807 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19810/stat : 19810 (xcsp3-exec) S 19807 19810 19550 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 89206255 115843072 363 33554432000 4194304 5098028 140725189647536 140725189645640 140560123327100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18227200 140725189649461 140725189649664 140725189649664 140725189652426 0
/proc/19810/statm: 28282 363 306 221 0 87 0
[pid=19812] ppid=19810 vsize=26104152 memory=27356 CPUtime=0.12 cores=0-7
/proc/19812/stat : 19812 (java) S 19810 19810 19550 0 -1 1077944320 5659 0 0 0 11 1 0 0 20 0 20 0 89206255 26730651648 6839 33554432000 4194304 4196468 140735968675376 140735968657920 140161574899447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
/proc/19812/statm: 6526038 6839 3033 1 0 6488315 0
[pid=19812/tid=19813] ppid=19810 vsize=26104152 memory=8258927099783322520 CPUtime=0.09 cores=0-7
/proc/19812/task/19813/stat : 19813 (java) R 19810 19810 19550 0 -1 4202560 3672 0 0 0 9 0 0 0 20 0 20 0 89206255 26730651648 6839 33554432000 4194304 4196468 140735968675376 140161579133984 140161558979934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19814] ppid=19810 vsize=26104152 memory=732370811066596325 CPUtime=0 cores=0-7
/proc/19812/task/19814/stat : 19814 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26730651648 6839 33554432000 4194304 4196468 140735968675376 140161497479824 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19815] ppid=19810 vsize=26104152 memory=140672729142912 CPUtime=0 cores=0-7
/proc/19812/task/19815/stat : 19815 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26730651648 6839 33554432000 4194304 4196468 140735968675376 140161496427024 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19816] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19816/stat : 19816 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206256 26730651648 6839 33554432000 4194304 4196468 140735968675376 140161495374224 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19817] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19817/stat : 19817 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26730651648 6839 33554432000 4194304 4196468 140735968675376 140161494321424 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19818] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19818/stat : 19818 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26730651648 6839 33554432000 4194304 4196468 140735968675376 140161129143440 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19819] ppid=19810 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19812/task/19819/stat : 19819 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26730651648 6839 33554432000 4194304 4196468 140735968675376 140161128090640 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19820] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19820/stat : 19820 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26730651648 6839 33554432000 4194304 4196468 140735968675376 140161127037840 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19821] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19821/stat : 19821 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26730651648 6839 33554432000 4194304 4196468 140735968675376 140161125985040 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19822] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19822/stat : 19822 (java) S 19810 19810 19550 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 89206257 26730651648 6839 33554432000 4194304 4196468 140735968675376 140160635238768 140161574910594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19823] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19823/stat : 19823 (java) S 19810 19810 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89206258 26730651648 6839 33554432000 4194304 4196468 140735968675376 140160634184736 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19824] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19824/stat : 19824 (java) S 19810 19810 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89206258 26730651648 6839 33554432000 4194304 4196468 140735968675376 140160633131888 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19825] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19825/stat : 19825 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206260 26730651648 6839 33554432000 4194304 4196468 140735968675376 140160632080208 140161574918043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19826] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19826/stat : 19826 (java) S 19810 19810 19550 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 89206260 26730651648 6839 33554432000 4194304 4196468 140735968675376 140160631028592 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19827] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19827/stat : 19827 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206260 26730651648 6839 33554432000 4194304 4196468 140735968675376 140160629975792 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19828] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19828/stat : 19828 (java) S 19810 19810 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89206261 26730651648 6839 33554432000 4194304 4196468 140735968675376 140160628922992 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19829] ppid=19810 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19812/task/19829/stat : 19829 (java) R 19810 19810 19550 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 20 0 89206261 26730651648 6839 33554432000 4194304 4196468 140735968675376 140160627870192 140161574920794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19830] ppid=19810 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19830/stat : 19830 (java) S 19810 19810 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89206261 26730651648 6839 33554432000 4194304 4196468 140735968675376 140160626817632 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19831] ppid=19810 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19812/task/19831/stat : 19831 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206261 26730651648 6839 33554432000 4194304 4196468 140735968675376 140160625764912 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28808 KiB
[startup+0.21529 s]*
/proc/loadavg: 1.21 1.07 1.54 2/199 19831
/proc/meminfo: memFree=22348636/32770624 swapFree=67108796/67108860
[pid=19810] ppid=19807 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19810/stat : 19810 (xcsp3-exec) S 19807 19810 19550 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 89206255 115843072 363 33554432000 4194304 5098028 140725189647536 140725189645640 140560123327100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18227200 140725189649461 140725189649664 140725189649664 140725189652426 0
/proc/19810/statm: 28282 363 306 221 0 87 0
[pid=19812] ppid=19810 vsize=26108408 memory=39692 CPUtime=0.34 cores=0-7
/proc/19812/stat : 19812 (java) S 19810 19810 19550 0 -1 1077944320 8559 0 0 0 32 2 0 0 20 0 20 0 89206255 26735009792 9923 33554432000 4194304 4196468 140735968675376 140735968657920 140161574899447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
/proc/19812/statm: 6527102 9923 3162 1 0 6488315 0
[pid=19812/tid=19813] ppid=19810 vsize=26108408 memory=0 CPUtime=0.2 cores=0-7
/proc/19812/task/19813/stat : 19813 (java) R 19810 19810 19550 0 -1 4202560 5639 0 0 0 19 1 0 0 20 0 20 0 89206255 26735009792 9923 33554432000 4194304 4196468 140735968675376 140161579120440 140161574921373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19814] ppid=19810 vsize=26108408 memory=281345323226872 CPUtime=0 cores=0-7
/proc/19812/task/19814/stat : 19814 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 9923 33554432000 4194304 4196468 140735968675376 140161497479824 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19815] ppid=19810 vsize=26108408 memory=140672729142912 CPUtime=0 cores=0-7
/proc/19812/task/19815/stat : 19815 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 9923 33554432000 4194304 4196468 140735968675376 140161496427024 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19816] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19816/stat : 19816 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 9923 33554432000 4194304 4196468 140735968675376 140161495374224 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19817] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19817/stat : 19817 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 9923 33554432000 4194304 4196468 140735968675376 140161494321424 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19818] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19818/stat : 19818 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 9923 33554432000 4194304 4196468 140735968675376 140161129143440 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19819] ppid=19810 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/19812/task/19819/stat : 19819 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 9923 33554432000 4194304 4196468 140735968675376 140161128090640 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19820] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19820/stat : 19820 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 9923 33554432000 4194304 4196468 140735968675376 140161127037840 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19821] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19821/stat : 19821 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 9923 33554432000 4194304 4196468 140735968675376 140161125985040 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19822] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19822/stat : 19822 (java) S 19810 19810 19550 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 89206257 26735009792 9923 33554432000 4194304 4196468 140735968675376 140160635238768 140161574910594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19823] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19823/stat : 19823 (java) S 19810 19810 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89206258 26735009792 9923 33554432000 4194304 4196468 140735968675376 140160634184736 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19824] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19824/stat : 19824 (java) S 19810 19810 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89206258 26735009792 9923 33554432000 4194304 4196468 140735968675376 140160633131888 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19825] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19825/stat : 19825 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206260 26735009792 9923 33554432000 4194304 4196468 140735968675376 140160632080208 140161574918043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19826] ppid=19810 vsize=26108408 memory=0 CPUtime=0.01 cores=0-7
/proc/19812/task/19826/stat : 19826 (java) S 19810 19810 19550 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 20 0 89206260 26735009792 9923 33554432000 4194304 4196468 140735968675376 140160631028592 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19827] ppid=19810 vsize=26108408 memory=0 CPUtime=0.02 cores=0-7
/proc/19812/task/19827/stat : 19827 (java) S 19810 19810 19550 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 20 0 89206260 26735009792 9923 33554432000 4194304 4196468 140735968675376 140160629975792 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19828] ppid=19810 vsize=26108408 memory=0 CPUtime=0.01 cores=0-7
/proc/19812/task/19828/stat : 19828 (java) S 19810 19810 19550 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 89206261 26735009792 9923 33554432000 4194304 4196468 140735968675376 140160628922992 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19829] ppid=19810 vsize=26108408 memory=0 CPUtime=0.07 cores=0-7
/proc/19812/task/19829/stat : 19829 (java) R 19810 19810 19550 0 -1 4202560 796 0 0 0 7 0 0 0 20 0 20 0 89206261 26735009792 9923 33554432000 4194304 4196468 140735968675376 140160627870192 140161567136574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19830] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19830/stat : 19830 (java) S 19810 19810 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89206261 26735009792 9923 33554432000 4194304 4196468 140735968675376 140160626817632 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19831] ppid=19810 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/19812/task/19831/stat : 19831 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206261 26735009792 9923 33554432000 4194304 4196468 140735968675376 140160625764912 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 41144 KiB
[startup+0.31038 s]*
/proc/loadavg: 1.21 1.07 1.54 2/199 19831
/proc/meminfo: memFree=22342804/32770624 swapFree=67108796/67108860
[pid=19810] ppid=19807 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19810/stat : 19810 (xcsp3-exec) S 19807 19810 19550 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 89206255 115843072 363 33554432000 4194304 5098028 140725189647536 140725189645640 140560123327100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18227200 140725189649461 140725189649664 140725189649664 140725189652426 0
/proc/19810/statm: 28282 363 306 221 0 87 0
[pid=19812] ppid=19810 vsize=26108408 memory=46600 CPUtime=0.51 cores=0-7
/proc/19812/stat : 19812 (java) S 19810 19810 19550 0 -1 1077944320 9326 0 0 0 48 3 0 0 20 0 20 0 89206255 26735009792 11650 33554432000 4194304 4196468 140735968675376 140735968657920 140161574899447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
/proc/19812/statm: 6527102 11650 3255 1 0 6488315 0
[pid=19812/tid=19813] ppid=19810 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19812/task/19813/stat : 19813 (java) R 19810 19810 19550 0 -1 4202560 6312 0 0 0 28 1 0 0 20 0 20 0 89206255 26735009792 11650 33554432000 4194304 4196468 140735968675376 140161579130560 140161558979934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19814] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19814/stat : 19814 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 11650 33554432000 4194304 4196468 140735968675376 140161497479824 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19815] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19815/stat : 19815 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 11650 33554432000 4194304 4196468 140735968675376 140161496427024 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19816] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19816/stat : 19816 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 11650 33554432000 4194304 4196468 140735968675376 140161495374224 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19817] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19817/stat : 19817 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 11650 33554432000 4194304 4196468 140735968675376 140161494321424 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19818] ppid=19810 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/19812/task/19818/stat : 19818 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 11650 33554432000 4194304 4196468 140735968675376 140161129143440 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19819] ppid=19810 vsize=26108408 memory=140672594178991 CPUtime=0 cores=0-7
/proc/19812/task/19819/stat : 19819 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 11650 33554432000 4194304 4196468 140735968675376 140161128090640 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19820] ppid=19810 vsize=26108408 memory=140672594181296 CPUtime=0 cores=0-7
/proc/19812/task/19820/stat : 19820 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 11650 33554432000 4194304 4196468 140735968675376 140161127037840 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19821] ppid=19810 vsize=26108408 memory=140672594183600 CPUtime=0 cores=0-7
/proc/19812/task/19821/stat : 19821 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26735009792 11650 33554432000 4194304 4196468 140735968675376 140161125985040 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19822] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19822/stat : 19822 (java) S 19810 19810 19550 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 89206257 26735009792 11650 33554432000 4194304 4196468 140735968675376 140160635238768 140161574910594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19823] ppid=19810 vsize=26108408 memory=281345188374160 CPUtime=0 cores=0-7
/proc/19812/task/19823/stat : 19823 (java) S 19810 19810 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89206258 26735009792 11650 33554432000 4194304 4196468 140735968675376 140160634184736 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19824] ppid=19810 vsize=26108408 memory=281345188381072 CPUtime=0 cores=0-7
/proc/19812/task/19824/stat : 19824 (java) S 19810 19810 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89206258 26735009792 11650 33554432000 4194304 4196468 140735968675376 140160633131888 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19825] ppid=19810 vsize=26108408 memory=281345188322352 CPUtime=0 cores=0-7
/proc/19812/task/19825/stat : 19825 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206260 26735009792 11650 33554432000 4194304 4196468 140735968675376 140160632080208 140161574918043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19826] ppid=19810 vsize=26108408 memory=281345188394896 CPUtime=0.02 cores=0-7
/proc/19812/task/19826/stat : 19826 (java) S 19810 19810 19550 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 20 0 89206260 26735009792 11658 33554432000 4194304 4196468 140735968675376 140160631028592 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19827] ppid=19810 vsize=26108408 memory=281345188401808 CPUtime=0.02 cores=0-7
/proc/19812/task/19827/stat : 19827 (java) S 19810 19810 19550 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 20 0 89206260 26735009792 11658 33554432000 4194304 4196468 140735968675376 140160629975792 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19828] ppid=19810 vsize=26108408 memory=281345188399504 CPUtime=0.02 cores=0-7
/proc/19812/task/19828/stat : 19828 (java) S 19810 19810 19550 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 20 0 89206261 26735009792 11658 33554432000 4194304 4196468 140735968675376 140160628922992 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19829] ppid=19810 vsize=26108408 memory=281345188415664 CPUtime=0.11 cores=0-7
/proc/19812/task/19829/stat : 19829 (java) S 19810 19810 19550 0 -1 1077944384 869 0 0 0 11 0 0 0 20 0 20 0 89206261 26735009792 11658 33554432000 4194304 4196468 140735968675376 140160627870192 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19830] ppid=19810 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19830/stat : 19830 (java) S 19810 19810 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89206261 26735009792 11658 33554432000 4194304 4196468 140735968675376 140160626817632 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19831] ppid=19810 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/19812/task/19831/stat : 19831 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206261 26735009792 11658 33554432000 4194304 4196468 140735968675376 140160625764912 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48052 KiB
[startup+0.701009 s]
/proc/loadavg: 1.21 1.07 1.54 5/199 19831
/proc/meminfo: memFree=22318612/32770624 swapFree=67108796/67108860
[pid=19810] ppid=19807 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19810/stat : 19810 (xcsp3-exec) S 19807 19810 19550 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 89206255 115843072 363 33554432000 4194304 5098028 140725189647536 140725189645640 140560123327100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18227200 140725189649461 140725189649664 140725189649664 140725189652426 0
/proc/19810/statm: 28282 363 306 221 0 87 0
[pid=19812] ppid=19810 vsize=26110532 memory=89332 CPUtime=1.8 cores=0-7
/proc/19812/stat : 19812 (java) S 19810 19810 19550 0 -1 1077944320 13457 0 0 0 175 5 0 0 20 0 20 0 89206255 26737184768 22333 33554432000 4194304 4196468 140735968675376 140735968657920 140161574899447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
/proc/19812/statm: 6527633 22333 3367 1 0 6488827 0
[pid=19812/tid=19813] ppid=19810 vsize=26110532 memory=281345188710528 CPUtime=0.67 cores=0-7
/proc/19812/task/19813/stat : 19813 (java) R 19810 19810 19550 0 -1 4202560 7186 0 0 0 64 3 0 0 20 0 20 0 89206255 26737184768 22333 33554432000 4194304 4196468 140735968675376 140161579135072 140161574913301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19814] ppid=19810 vsize=26110532 memory=5085241279643 CPUtime=0 cores=0-7
/proc/19812/task/19814/stat : 19814 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26737184768 22333 33554432000 4194304 4196468 140735968675376 140161497479824 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19815] ppid=19810 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19815/stat : 19815 (java) S 19810 19810 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89206256 26737184768 22333 33554432000 4194304 4196468 140735968675376 140161496427024 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19816] ppid=19810 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/19812/task/19816/stat : 19816 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89206256 26737184768 22333 33554432000 4194304 4196468 140735968675376 140161495374224 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
################
# More data... #
################
[pid=19812/tid=19826] ppid=19810 vsize=26645092 memory=1040 CPUtime=3.19 cores=0-7
/proc/19812/task/19826/stat : 19826 (java) S 19810 19810 19550 0 -1 1077944384 11805 0 0 0 316 3 0 0 20 0 28 0 89206260 27284574208 622804 33554432000 4194304 4196468 140735968675376 140160631028592 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19827] ppid=19810 vsize=26645092 memory=1628 CPUtime=2.67 cores=0-7
/proc/19812/task/19827/stat : 19827 (java) S 19810 19810 19550 0 -1 1077944384 7677 0 0 0 266 1 0 0 20 0 28 0 89206260 27284574208 622804 33554432000 4194304 4196468 140735968675376 140160629975792 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19828] ppid=19810 vsize=26645092 memory=8800 CPUtime=2.94 cores=0-7
/proc/19812/task/19828/stat : 19828 (java) S 19810 19810 19550 0 -1 1077944384 8809 0 0 0 292 2 0 0 20 0 28 0 89206261 27284574208 622804 33554432000 4194304 4196468 140735968675376 140160628922992 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19829] ppid=19810 vsize=26645092 memory=1120 CPUtime=1.01 cores=0-7
/proc/19812/task/19829/stat : 19829 (java) S 19810 19810 19550 0 -1 1077944384 5475 0 0 0 100 1 0 0 20 0 28 0 89206261 27284574208 622804 33554432000 4194304 4196468 140735968675376 140160627870192 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19830] ppid=19810 vsize=26645092 memory=792 CPUtime=0 cores=0-7
/proc/19812/task/19830/stat : 19830 (java) S 19810 19810 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89206261 27284574208 622804 33554432000 4194304 4196468 140735968675376 140160626817632 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19831] ppid=19810 vsize=26645092 memory=832 CPUtime=0 cores=0-7
/proc/19812/task/19831/stat : 19831 (java) S 19810 19810 19550 0 -1 1077944384 524 0 0 0 0 0 0 0 20 0 28 0 89206261 27284574208 622804 33554432000 4194304 4196468 140735968675376 140160625764912 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19840] ppid=19810 vsize=26645092 memory=1608 CPUtime=2.45 cores=0-7
/proc/19812/task/19840/stat : 19840 (java) R 19810 19810 19550 0 -1 4202560 367 0 0 0 245 0 0 0 20 0 28 0 89207266 27284574208 622804 33554432000 4194304 4196468 140735968675376 140159684570288 140161183415323 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19841] ppid=19810 vsize=26645092 memory=5012 CPUtime=2.45 cores=0-7
/proc/19812/task/19841/stat : 19841 (java) R 19810 19810 19550 0 -1 4202560 170 0 0 0 245 0 0 0 20 0 28 0 89207266 27284574208 622804 33554432000 4194304 4196468 140735968675376 140159686676200 140161183879372 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19842] ppid=19810 vsize=26645092 memory=4032 CPUtime=2.53 cores=0-7
/proc/19812/task/19842/stat : 19842 (java) R 19810 19810 19550 0 -1 4202560 300 0 0 0 252 1 0 0 20 0 28 0 89207266 27284574208 622804 33554432000 4194304 4196468 140735968675376 140159690887752 140161177891788 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19843] ppid=19810 vsize=26645092 memory=0 CPUtime=2.44 cores=0-7
/proc/19812/task/19843/stat : 19843 (java) R 19810 19810 19550 0 -1 4202560 1671 0 0 0 240 4 0 0 20 0 28 0 89207267 27284574208 622804 33554432000 4194304 4196468 140735968675376 140159689834888 140161183735664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19844] ppid=19810 vsize=26645092 memory=0 CPUtime=2.4 cores=0-7
/proc/19812/task/19844/stat : 19844 (java) R 19810 19810 19550 0 -1 4202560 269 0 0 0 239 1 0 0 20 0 28 0 89207267 27284574208 622804 33554432000 4194304 4196468 140735968675376 140159687729640 140161185912430 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19845] ppid=19810 vsize=26645092 memory=0 CPUtime=2.48 cores=0-7
/proc/19812/task/19845/stat : 19845 (java) R 19810 19810 19550 0 -1 4202560 418 0 0 0 248 0 0 0 20 0 28 0 89207267 27284574208 622804 33554432000 4194304 4196468 140735968675376 140159685623440 140161183824276 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19846] ppid=19810 vsize=26645092 memory=0 CPUtime=2.43 cores=0-7
/proc/19812/task/19846/stat : 19846 (java) R 19810 19810 19550 0 -1 4202560 385 0 0 0 242 1 0 0 20 0 28 0 89207267 27284574208 622804 33554432000 4194304 4196468 140735968675376 140159691939976 140161177891771 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19847] ppid=19810 vsize=26645092 memory=0 CPUtime=2.32 cores=0-7
/proc/19812/task/19847/stat : 19847 (java) R 19810 19810 19550 0 -1 4202560 811 0 0 0 232 0 0 0 20 0 28 0 89207267 27284574208 622804 33554432000 4194304 4196468 140735968675376 140159688781400 140161183415960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
Current children cumulated CPU time: 86.04 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 2492668 KiB
[startup+13.6012 s]
/proc/loadavg: 1.62 1.16 1.56 9/207 19847
/proc/meminfo: memFree=19891564/32770624 swapFree=67108796/67108860
[pid=19810] ppid=19807 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19810/stat : 19810 (xcsp3-exec) S 19807 19810 19550 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 89206255 115843072 363 33554432000 4194304 5098028 140725189647536 140725189645640 140560123327100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18227200 140725189649461 140725189649664 140725189649664 140725189652426 0
/proc/19810/statm: 28282 363 306 221 0 87 0
[pid=19812] ppid=19810 vsize=26645092 memory=2491040 CPUtime=92.28 cores=0-7
/proc/19812/stat : 19812 (java) S 19810 19810 19550 0 -1 1077944320 89969 0 0 0 8807 421 0 0 20 0 28 0 89206255 27284574208 622760 33554432000 4194304 4196468 140735968675376 140735968657920 140161574899447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
/proc/19812/statm: 6661273 622760 3465 1 0 6622467 0
[pid=19812/tid=19813] ppid=19810 vsize=26645092 memory=6791534058613427641 CPUtime=1.61 cores=0-7
/proc/19812/task/19813/stat : 19813 (java) S 19810 19810 19550 0 -1 1077944384 8674 0 0 0 157 4 0 0 20 0 28 0 89206255 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161579140224 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19814] ppid=19810 vsize=26645092 memory=288230583166042425 CPUtime=2.88 cores=0-7
/proc/19812/task/19814/stat : 19814 (java) S 19810 19810 19550 0 -1 1077944384 3351 0 0 0 244 44 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161497479824 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19815] ppid=19810 vsize=26645092 memory=15539617717815893 CPUtime=2.88 cores=0-7
/proc/19812/task/19815/stat : 19815 (java) S 19810 19810 19550 0 -1 1077944384 2447 0 0 0 245 43 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161496427024 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19816] ppid=19810 vsize=26645092 memory=4124 CPUtime=2.88 cores=0-7
/proc/19812/task/19816/stat : 19816 (java) S 19810 19810 19550 0 -1 1077944384 2112 0 0 0 244 44 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161495374224 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19817] ppid=19810 vsize=26645092 memory=924 CPUtime=2.88 cores=0-7
/proc/19812/task/19817/stat : 19817 (java) S 19810 19810 19550 0 -1 1077944384 2557 0 0 0 243 45 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161494321424 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19818] ppid=19810 vsize=26645092 memory=1572 CPUtime=2.87 cores=0-7
/proc/19812/task/19818/stat : 19818 (java) S 19810 19810 19550 0 -1 1077944384 2651 0 0 0 244 43 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161129143440 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19819] ppid=19810 vsize=26645092 memory=2092 CPUtime=2.87 cores=0-7
/proc/19812/task/19819/stat : 19819 (java) S 19810 19810 19550 0 -1 1077944384 2166 0 0 0 244 43 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161128090640 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19820] ppid=19810 vsize=26645092 memory=7524 CPUtime=2.85 cores=0-7
/proc/19812/task/19820/stat : 19820 (java) S 19810 19810 19550 0 -1 1077944384 3045 0 0 0 242 43 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161127037840 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19821] ppid=19810 vsize=26645092 memory=1452 CPUtime=2.87 cores=0-7
/proc/19812/task/19821/stat : 19821 (java) S 19810 19810 19550 0 -1 1077944384 2533 0 0 0 244 43 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161125985040 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19822] ppid=19810 vsize=26645092 memory=3708 CPUtime=1.11 cores=0-7
/proc/19812/task/19822/stat : 19822 (java) S 19810 19810 19550 0 -1 1077944384 6081 0 0 0 111 0 0 0 20 0 28 0 89206257 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160635238768 140161574910594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19823] ppid=19810 vsize=26645092 memory=25624 CPUtime=0 cores=0-7
/proc/19812/task/19823/stat : 19823 (java) S 19810 19810 19550 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 89206258 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160634184800 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19824] ppid=19810 vsize=26645092 memory=2088 CPUtime=0 cores=0-7
/proc/19812/task/19824/stat : 19824 (java) S 19810 19810 19550 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 89206258 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160633131904 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19825] ppid=19810 vsize=26645092 memory=1040 CPUtime=0 cores=0-7
/proc/19812/task/19825/stat : 19825 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89206260 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160632080208 140161574918043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19826] ppid=19810 vsize=26645092 memory=1628 CPUtime=3.36 cores=0-7
/proc/19812/task/19826/stat : 19826 (java) S 19810 19810 19550 0 -1 1077944384 14314 0 0 0 332 4 0 0 20 0 28 0 89206260 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160631028592 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19827] ppid=19810 vsize=26645092 memory=8800 CPUtime=2.77 cores=0-7
/proc/19812/task/19827/stat : 19827 (java) S 19810 19810 19550 0 -1 1077944384 9563 0 0 0 276 1 0 0 20 0 28 0 89206260 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160629975792 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19828] ppid=19810 vsize=26645092 memory=1120 CPUtime=3.06 cores=0-7
/proc/19812/task/19828/stat : 19828 (java) S 19810 19810 19550 0 -1 1077944384 10320 0 0 0 304 2 0 0 20 0 28 0 89206261 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160628922992 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19829] ppid=19810 vsize=26645092 memory=792 CPUtime=1.04 cores=0-7
/proc/19812/task/19829/stat : 19829 (java) S 19810 19810 19550 0 -1 1077944384 6326 0 0 0 102 2 0 0 20 0 28 0 89206261 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160627870192 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19830] ppid=19810 vsize=26645092 memory=832 CPUtime=0 cores=0-7
/proc/19812/task/19830/stat : 19830 (java) S 19810 19810 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89206261 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160626817632 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19831] ppid=19810 vsize=26645092 memory=1608 CPUtime=0 cores=0-7
/proc/19812/task/19831/stat : 19831 (java) S 19810 19810 19550 0 -1 1077944384 541 0 0 0 0 0 0 0 20 0 28 0 89206261 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160625764912 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
Current children cumulated CPU time: 92.28 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 2492492 KiB
[startup+14.0012 s]*
/proc/loadavg: 1.62 1.16 1.56 9/207 19855
/proc/meminfo: memFree=19891564/32770624 swapFree=67108796/67108860
[pid=19810] ppid=19807 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19810/stat : 19810 (xcsp3-exec) S 19807 19810 19550 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 89206255 115843072 363 33554432000 4194304 5098028 140725189647536 140725189645640 140560123327100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18227200 140725189649461 140725189649664 140725189649664 140725189652426 0
/proc/19810/statm: 28282 363 306 221 0 87 0
[pid=19812] ppid=19810 vsize=26645092 memory=2491040 CPUtime=95.54 cores=0-7
/proc/19812/stat : 19812 (java) S 19810 19810 19550 0 -1 1077944320 89997 0 0 0 9133 421 0 0 20 0 28 0 89206255 27284574208 622760 33554432000 4194304 4196468 140735968675376 140735968657920 140161574899447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
/proc/19812/statm: 6661273 622760 3465 1 0 6622467 0
[pid=19812/tid=19813] ppid=19810 vsize=26645092 memory=-1807685287717842718 CPUtime=1.61 cores=0-7
/proc/19812/task/19813/stat : 19813 (java) S 19810 19810 19550 0 -1 1077944384 8674 0 0 0 157 4 0 0 20 0 28 0 89206255 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161579140224 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19814] ppid=19810 vsize=26645092 memory=-1161699032756030039 CPUtime=2.88 cores=0-7
/proc/19812/task/19814/stat : 19814 (java) S 19810 19810 19550 0 -1 1077944384 3351 0 0 0 244 44 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161497479824 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19815] ppid=19810 vsize=26645092 memory=-7003737579269690708 CPUtime=2.88 cores=0-7
/proc/19812/task/19815/stat : 19815 (java) S 19810 19810 19550 0 -1 1077944384 2447 0 0 0 245 43 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161496427024 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19816] ppid=19810 vsize=26645092 memory=0 CPUtime=2.88 cores=0-7
/proc/19812/task/19816/stat : 19816 (java) S 19810 19810 19550 0 -1 1077944384 2112 0 0 0 244 44 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161495374224 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19817] ppid=19810 vsize=26645092 memory=4032 CPUtime=2.88 cores=0-7
/proc/19812/task/19817/stat : 19817 (java) S 19810 19810 19550 0 -1 1077944384 2557 0 0 0 243 45 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161494321424 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19818] ppid=19810 vsize=26645092 memory=1284 CPUtime=2.87 cores=0-7
/proc/19812/task/19818/stat : 19818 (java) S 19810 19810 19550 0 -1 1077944384 2651 0 0 0 244 43 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161129143440 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19819] ppid=19810 vsize=26645092 memory=1088 CPUtime=2.87 cores=0-7
/proc/19812/task/19819/stat : 19819 (java) S 19810 19810 19550 0 -1 1077944384 2166 0 0 0 244 43 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161128090640 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19820] ppid=19810 vsize=26645092 memory=1800 CPUtime=2.85 cores=0-7
/proc/19812/task/19820/stat : 19820 (java) S 19810 19810 19550 0 -1 1077944384 3045 0 0 0 242 43 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161127037840 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19821] ppid=19810 vsize=26645092 memory=7024 CPUtime=2.87 cores=0-7
/proc/19812/task/19821/stat : 19821 (java) S 19810 19810 19550 0 -1 1077944384 2533 0 0 0 244 43 0 0 20 0 28 0 89206256 27284574208 622760 33554432000 4194304 4196468 140735968675376 140161125985040 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19822] ppid=19810 vsize=26645092 memory=6791534058613427641 CPUtime=1.11 cores=0-7
/proc/19812/task/19822/stat : 19822 (java) S 19810 19810 19550 0 -1 1077944384 6081 0 0 0 111 0 0 0 20 0 28 0 89206257 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160635238768 140161574910594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19823] ppid=19810 vsize=26645092 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/19812/task/19823/stat : 19823 (java) S 19810 19810 19550 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 89206258 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160634184800 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19824] ppid=19810 vsize=26645092 memory=8693530189639940264 CPUtime=0 cores=0-7
/proc/19812/task/19824/stat : 19824 (java) S 19810 19810 19550 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 89206258 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160633131904 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19825] ppid=19810 vsize=26645092 memory=-7020083094934924583 CPUtime=0 cores=0-7
/proc/19812/task/19825/stat : 19825 (java) S 19810 19810 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89206260 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160632080208 140161574918043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19826] ppid=19810 vsize=26645092 memory=-7449351074009272878 CPUtime=3.36 cores=0-7
/proc/19812/task/19826/stat : 19826 (java) S 19810 19810 19550 0 -1 1077944384 14314 0 0 0 332 4 0 0 20 0 28 0 89206260 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160631028592 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19827] ppid=19810 vsize=26645092 memory=1676 CPUtime=2.77 cores=0-7
/proc/19812/task/19827/stat : 19827 (java) S 19810 19810 19550 0 -1 1077944384 9563 0 0 0 276 1 0 0 20 0 28 0 89206260 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160629975792 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19828] ppid=19810 vsize=26645092 memory=960 CPUtime=3.06 cores=0-7
/proc/19812/task/19828/stat : 19828 (java) S 19810 19810 19550 0 -1 1077944384 10320 0 0 0 304 2 0 0 20 0 28 0 89206261 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160628922992 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19829] ppid=19810 vsize=26645092 memory=33 CPUtime=1.04 cores=0-7
/proc/19812/task/19829/stat : 19829 (java) S 19810 19810 19550 0 -1 1077944384 6326 0 0 0 102 2 0 0 20 0 28 0 89206261 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160627870192 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19830] ppid=19810 vsize=26645092 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/19812/task/19830/stat : 19830 (java) S 19810 19810 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89206261 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160626817632 140161574909653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19831] ppid=19810 vsize=26645092 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/19812/task/19831/stat : 19831 (java) S 19810 19810 19550 0 -1 1077944384 541 0 0 0 0 0 0 0 20 0 28 0 89206261 27284574208 622760 33554432000 4194304 4196468 140735968675376 140160625764912 140161574910594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19848] ppid=19810 vsize=26645092 memory=6944652177228980320 CPUtime=0.96 cores=0-7
/proc/19812/task/19848/stat : 19848 (java) R 19810 19810 19550 0 -1 4202560 204 0 0 0 96 0 0 0 20 0 28 0 89207559 27284574208 622760 33554432000 4194304 4196468 140735968675376 140159689835464 140161184331799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19849] ppid=19810 vsize=26645092 memory=6944656575208382560 CPUtime=0.91 cores=0-7
/proc/19812/task/19849/stat : 19849 (java) R 19810 19810 19550 0 -1 4202560 39 0 0 0 91 0 0 0 20 0 28 0 89207559 27284574208 622760 33554432000 4194304 4196468 140735968675376 140159686678728 140161183735664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19850] ppid=19810 vsize=26645092 memory=6655300316396806240 CPUtime=0.97 cores=0-7
/proc/19812/task/19850/stat : 19850 (java) R 19810 19810 19550 0 -1 4202560 48 0 0 0 97 0 0 0 20 0 28 0 89207559 27284574208 622760 33554432000 4194304 4196468 140735968675376 140159684576472 140161185912166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19851] ppid=19810 vsize=26645092 memory=0 CPUtime=0.95 cores=0-7
/proc/19812/task/19851/stat : 19851 (java) R 19810 19810 19550 0 -1 4202560 101 0 0 0 95 0 0 0 20 0 28 0 89207559 27284574208 622760 33554432000 4194304 4196468 140735968675376 140159688784600 140161185831258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19852] ppid=19810 vsize=26645092 memory=0 CPUtime=0.95 cores=0-7
/proc/19812/task/19852/stat : 19852 (java) R 19810 19810 19550 0 -1 4202560 72 0 0 0 95 0 0 0 20 0 28 0 89207559 27284574208 622760 33554432000 4194304 4196468 140735968675376 140159685626408 140161183879990 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19853] ppid=19810 vsize=26645092 memory=1452 CPUtime=0.89 cores=0-7
/proc/19812/task/19853/stat : 19853 (java) R 19810 19810 19550 0 -1 4202560 228 0 0 0 89 0 0 0 20 0 28 0 89207559 27284574208 622760 33554432000 4194304 4196468 140735968675376 140159691940264 140161183879548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19854] ppid=19810 vsize=26645092 memory=2490996 CPUtime=0.85 cores=0-7
/proc/19812/task/19854/stat : 19854 (java) R 19810 19810 19550 0 -1 4202560 25 0 0 0 85 0 0 0 20 0 28 0 89207559 27284574208 622760 33554432000 4194304 4196468 140735968675376 140159690888936 140161183879689 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
[pid=19812/tid=19855] ppid=19810 vsize=26645092 memory=0 CPUtime=0.83 cores=0-7
/proc/19812/task/19855/stat : 19855 (java) R 19810 19810 19550 0 -1 4202560 187 0 0 0 83 0 0 0 20 0 28 0 89207559 27284574208 622760 33554432000 4194304 4196468 140735968675376 140159687730512 140161183699020 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14290944 140735968683137 140735968683309 140735968683309 140735968686031 0
Current children cumulated CPU time: 95.54 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 2492492 KiB
[startup+14.2013 s]
/proc/loadavg: 1.62 1.16 1.56 9/207 19855
/proc/meminfo: memFree=19891564/32770624 swapFree=67108796/67108860
[pid=19810] ppid=19807 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19810/stat : 19810 (xcsp3-exec) S 19807 19810 19550 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 89206255 115843072 363 33554432000 4194304 5098028 140725189647536 140725189645640 140560123327100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18227200 140725189649461 140725189649664 140725189649664 140725189652426 0
/proc/19810/statm: 28282 363 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 14.2068
CPU time (s): 96.784
CPU user time (s): 92.5085
CPU system time (s): 4.27548
CPU usage (%): 681.251
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 2492668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.5085
system time used= 4.27548
maximum resident set size= 2491224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92561
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6492
involuntary context switches= 1918
# summary of solver processes directly reported to runsolver:
# pid: 19810
# total CPU time (s): 96.784
# total CPU user time (s): 92.5085
# total CPU system time (s): 4.27548
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.160116 second user time and 0.179285 second system time
The end
Begin job on node138 at 2018-07-27 20:33:51 IDJOB=4297568 IDBENCH=141353 IDSOLVER=2760 FILE ID=node138/4297568-1532716431 RUNJOBID= node138-1532713877-19577 PBS_JOBID= 21022322 Free space on /tmp= 53804 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m1-herbs_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297568-1532716431/watcher-4297568-1532716431 -o /tmp/evaluation-result-4297568-1532716431/solver-4297568-1532716431 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532713877-19577 --watchdog 2580 HOME/xcsp3-exec -seed 1539410469 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297568-1532716431.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c28699084a36c5d45188c7cead550bcc RANDOM SEED=1539410469 node138.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.71 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.71 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.71 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.71 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: 22375576 kB MemAvailable: 31923436 kB Buffers: 191276 kB Cached: 9566304 kB SwapCached: 44 kB Active: 2476160 kB Inactive: 7341632 kB Active(anon): 2176 kB Inactive(anon): 85528 kB Active(file): 2473984 kB Inactive(file): 7256104 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 21824 kB Writeback: 0 kB AnonPages: 266624 kB Mapped: 36944 kB Shmem: 25164 kB Slab: 273840 kB SReclaimable: 246232 kB SUnreclaim: 27608 kB KernelStack: 3632 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 53780 MiB End job on node138 at 2018-07-27 20:34:05