Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 2 | 286.758 | 38.0179 |
Name | TemplateDesign/ TemplateDesign-m1s-herbs_c18.xml |
MD5SUM | f93f81431bc4a45d4c2655bc4c8b27b0 |
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 | 286.758 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1860 |
Number of constraints | 990 |
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 | 31 |
Distribution of variable degrees | [{"degree":2,"count":1830},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":30},{"arity":3,"count":900},{"arity":30,"count":60}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":900},{"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-4297573-1532716476.xml" -tl '20160s' -p 8 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297573-1532716476.xml, -tl, 20160s, -p, 8] 0.12/0.21 c 8 solvers in parallel 0.33/0.28 c parse instance... 5.24/1.59 c solve instance... 247.43/33.09 o 4 249.75/33.35 o 3 285.48/37.85 o 2 286.24/37.98 s OPTIMUM FOUND 286.24/37.98 v <instantiation> 286.24/37.98 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> 286.24/37.98 v <values>1 0 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 4 24 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 10 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 12 17 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 36 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 1 28 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 5 32 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 35 0 0 0 0 0 0 0 0 0 0 0 0 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 12 0 1 0 0 0 0 0 0 0 0 0 0 0 27 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 23 0 0 0 0 0 0 0 0 0 0 0 0 9 2 0 0 0 0 0 0 0 0 0 0 0 0 0 3 12 27 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0 0 0 0 0 0 4 23 0 0 0 0 0 0 0 0 0 0 0 27 12 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 4 4 3 3 3 3 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 3 3 2 2 2 2 2 2 2 2 1 1 1 1 6 0 0 0 0 0 0 5 5 0 26 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 30 0 0 0 0 1 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 41 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 21 0 0 0 0 0 0 0 0 0 0 0 1 1 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 16 20 1 6 0 0 35 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 27 10 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 28 0 5 6 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 22 0 8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 5 0 0 0 0 0 0 0 0 0 0 0 28 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 30 0 0 0 0 0 0 0 0 0 0 0 0 8 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 41 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 73 12 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 292 292 219 219 219 219 146 73 73 73 73 73 73 73 73 73 73 73 73 73 73 0 73 73 73 73 73 73 0 0 0 0 0 0 0 0 0 36 36 24 24 24 24 24 24 24 24 12 12 12 12 72 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 </values> 286.24/37.98 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 (9151 MiB free) memory of node 1: 16384 MiB (12696 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297573-1532716476/watcher-4297573-1532716476 -o /tmp/evaluation-result-4297573-1532716476/solver-4297573-1532716476 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532713877-19577 --watchdog 2580 HOME/xcsp3-exec -seed 2128459068 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297573-1532716476.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=20704, runsolver pid=20701 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 3.77 1.71 1.73 2/199 20725 /proc/meminfo: memFree=22355832/32770624 swapFree=67108796/67108860 [pid=20704] ppid=20701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20704/stat : 20704 (xcsp3-exec) S 20701 20704 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89210759 115843072 363 33554432000 4194304 5098028 140724647280560 140724647278664 140168741155452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35504128 140724647285813 140724647286016 140724647286016 140724647288778 0 /proc/20704/statm: 28282 363 305 221 0 87 0 [pid=20706] ppid=20704 vsize=26104152 memory=26988 CPUtime=0.12 cores=0-7 /proc/20706/stat : 20706 (java) S 20704 20704 19550 0 -1 1077944320 5661 0 0 0 11 1 0 0 20 0 20 0 89210759 26730651648 6747 33554432000 4194304 4196468 140736629008256 140736628990800 140199772700407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 /proc/20706/statm: 6526038 6747 3000 1 0 6488315 0 [pid=20706/tid=20707] ppid=20704 vsize=26104152 memory=8184337330466627479 CPUtime=0.08 cores=0-7 /proc/20706/task/20707/stat : 20707 (java) R 20704 20704 19550 0 -1 4202560 3675 0 0 0 8 0 0 0 20 0 20 0 89210759 26730651648 6747 33554432000 4194304 4196468 140736629008256 140199776934944 140199756780894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20708] ppid=20704 vsize=26104152 memory=732370617929014245 CPUtime=0 cores=0-7 /proc/20706/task/20708/stat : 20708 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 6747 33554432000 4194304 4196468 140736629008256 140199680261008 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20709] ppid=20704 vsize=26104152 memory=140479591560832 CPUtime=0 cores=0-7 /proc/20706/task/20709/stat : 20709 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 6747 33554432000 4194304 4196468 140736629008256 140199679208208 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20710] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20710/stat : 20710 (java) S 20704 20704 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 6747 33554432000 4194304 4196468 140736629008256 140199329107088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20711] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20711/stat : 20711 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 6747 33554432000 4194304 4196468 140736629008256 140199328054288 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20712] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20712/stat : 20712 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 6747 33554432000 4194304 4196468 140736629008256 140199327000976 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20713] ppid=20704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20706/task/20713/stat : 20713 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 6747 33554432000 4194304 4196468 140736629008256 140199325948176 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20714] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20714/stat : 20714 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 6747 33554432000 4194304 4196468 140736629008256 140199324895888 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20715] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20715/stat : 20715 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 6747 33554432000 4194304 4196468 140736629008256 140199323843088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20716] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20716/stat : 20716 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210762 26730651648 6747 33554432000 4194304 4196468 140736629008256 140198447577712 140199772711554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20717] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20717/stat : 20717 (java) S 20704 20704 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89210762 26730651648 6747 33554432000 4194304 4196468 140736629008256 140198446523680 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20718] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20718/stat : 20718 (java) S 20704 20704 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89210762 26730651648 6747 33554432000 4194304 4196468 140736629008256 140198445471344 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20719] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20719/stat : 20719 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210765 26730651648 6747 33554432000 4194304 4196468 140736629008256 140198444419664 140199772719003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20720] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20720/stat : 20720 (java) S 20704 20704 19550 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 89210765 26730651648 6747 33554432000 4194304 4196468 140736629008256 140198443366512 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20721] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20721/stat : 20721 (java) R 20704 20704 19550 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 20 0 89210765 26730651648 6747 33554432000 4194304 4196468 140736629008256 140198442313712 140199772712342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20722] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20722/stat : 20722 (java) S 20704 20704 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89210765 26730651648 6747 33554432000 4194304 4196468 140736629008256 140198441261424 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20723] ppid=20704 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/20706/task/20723/stat : 20723 (java) R 20704 20704 19550 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 89210765 26730651648 6747 33554432000 4194304 4196468 140736629008256 140198440208624 140199772721754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20724] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20724/stat : 20724 (java) S 20704 20704 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89210765 26730651648 6747 33554432000 4194304 4196468 140736629008256 140198439156576 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20725] ppid=20704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20706/task/20725/stat : 20725 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210765 26730651648 6747 33554432000 4194304 4196468 140736629008256 140198438103856 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28440 KiB [startup+0.210298 s]* /proc/loadavg: 3.77 1.71 1.73 3/199 20725 /proc/meminfo: memFree=22346328/32770624 swapFree=67108796/67108860 [pid=20704] ppid=20701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20704/stat : 20704 (xcsp3-exec) S 20701 20704 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89210759 115843072 363 33554432000 4194304 5098028 140724647280560 140724647278664 140168741155452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35504128 140724647285813 140724647286016 140724647286016 140724647288778 0 /proc/20704/statm: 28282 363 305 221 0 87 0 [pid=20706] ppid=20704 vsize=26104152 memory=38976 CPUtime=0.33 cores=0-7 /proc/20706/stat : 20706 (java) S 20704 20704 19550 0 -1 1077944320 8377 0 0 0 31 2 0 0 20 0 20 0 89210759 26730651648 9744 33554432000 4194304 4196468 140736629008256 140736628990800 140199772700407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 /proc/20706/statm: 6526038 9744 3161 1 0 6488315 0 [pid=20706/tid=20707] ppid=20704 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7 /proc/20706/task/20707/stat : 20707 (java) R 20704 20704 19550 0 -1 4202560 5591 0 0 0 19 1 0 0 20 0 20 0 89210759 26730651648 9744 33554432000 4194304 4196468 140736629008256 140199776931728 140199772722333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20708] ppid=20704 vsize=26104152 memory=280959046334200 CPUtime=0 cores=0-7 /proc/20706/task/20708/stat : 20708 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 9744 33554432000 4194304 4196468 140736629008256 140199680261008 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20709] ppid=20704 vsize=26104152 memory=140479591560832 CPUtime=0 cores=0-7 /proc/20706/task/20709/stat : 20709 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 9744 33554432000 4194304 4196468 140736629008256 140199679208208 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20710] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20710/stat : 20710 (java) S 20704 20704 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 9744 33554432000 4194304 4196468 140736629008256 140199329107088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20711] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20711/stat : 20711 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 9744 33554432000 4194304 4196468 140736629008256 140199328054288 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20712] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20712/stat : 20712 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 9744 33554432000 4194304 4196468 140736629008256 140199327000976 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20713] ppid=20704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20706/task/20713/stat : 20713 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 9744 33554432000 4194304 4196468 140736629008256 140199325948176 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20714] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20714/stat : 20714 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 9744 33554432000 4194304 4196468 140736629008256 140199324895888 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20715] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20715/stat : 20715 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26730651648 9744 33554432000 4194304 4196468 140736629008256 140199323843088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20716] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20716/stat : 20716 (java) S 20704 20704 19550 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89210762 26730651648 9744 33554432000 4194304 4196468 140736629008256 140198447577712 140199772711554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20717] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20717/stat : 20717 (java) S 20704 20704 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89210762 26730651648 9744 33554432000 4194304 4196468 140736629008256 140198446523680 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20718] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20718/stat : 20718 (java) S 20704 20704 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89210762 26730651648 9744 33554432000 4194304 4196468 140736629008256 140198445471344 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20719] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20719/stat : 20719 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210765 26730651648 9744 33554432000 4194304 4196468 140736629008256 140198444419664 140199772719003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20720] ppid=20704 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/20706/task/20720/stat : 20720 (java) S 20704 20704 19550 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 89210765 26730651648 9744 33554432000 4194304 4196468 140736629008256 140198443366512 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20721] ppid=20704 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/20706/task/20721/stat : 20721 (java) S 20704 20704 19550 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 20 0 89210765 26730651648 9744 33554432000 4194304 4196468 140736629008256 140198442313712 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20722] ppid=20704 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/20706/task/20722/stat : 20722 (java) S 20704 20704 19550 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 20 0 89210765 26730651648 9744 33554432000 4194304 4196468 140736629008256 140198441261424 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20723] ppid=20704 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7 /proc/20706/task/20723/stat : 20723 (java) S 20704 20704 19550 0 -1 1077944384 751 0 0 0 7 0 0 0 20 0 20 0 89210765 26730651648 9744 33554432000 4194304 4196468 140736629008256 140198440208624 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20724] ppid=20704 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20724/stat : 20724 (java) S 20704 20704 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89210765 26730651648 9744 33554432000 4194304 4196468 140736629008256 140198439156576 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20725] ppid=20704 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/20706/task/20725/stat : 20725 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210765 26730651648 9744 33554432000 4194304 4196468 140736629008256 140198438103856 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40428 KiB [startup+0.310262 s]* /proc/loadavg: 3.77 1.71 1.73 3/199 20725 /proc/meminfo: memFree=22339504/32770624 swapFree=67108796/67108860 [pid=20704] ppid=20701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20704/stat : 20704 (xcsp3-exec) S 20701 20704 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89210759 115843072 363 33554432000 4194304 5098028 140724647280560 140724647278664 140168741155452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35504128 140724647285813 140724647286016 140724647286016 140724647288778 0 /proc/20704/statm: 28282 363 305 221 0 87 0 [pid=20706] ppid=20704 vsize=26108408 memory=46656 CPUtime=0.52 cores=0-7 /proc/20706/stat : 20706 (java) S 20704 20704 19550 0 -1 1077944320 9366 0 0 0 49 3 0 0 20 0 20 0 89210759 26735009792 11664 33554432000 4194304 4196468 140736629008256 140736628990800 140199772700407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 /proc/20706/statm: 6527102 11664 3266 1 0 6488315 0 [pid=20706/tid=20707] ppid=20704 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/20706/task/20707/stat : 20707 (java) R 20704 20704 19550 0 -1 4202560 6312 0 0 0 27 2 0 0 20 0 20 0 89210759 26735009792 11664 33554432000 4194304 4196468 140736629008256 140199776937696 140199772722333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20708] ppid=20704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20708/stat : 20708 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26735009792 11664 33554432000 4194304 4196468 140736629008256 140199680261008 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20709] ppid=20704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20709/stat : 20709 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210760 26735009792 11664 33554432000 4194304 4196468 140736629008256 140199679208208 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20710] ppid=20704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20710/stat : 20710 (java) S 20704 20704 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89210760 26735009792 11664 33554432000 4194304 4196468 140736629008256 140199329107088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20711] ppid=20704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20711/stat : 20711 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210760 26735009792 11664 33554432000 4194304 4196468 140736629008256 140199328054288 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20712] ppid=20704 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/20706/task/20712/stat : 20712 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26735009792 11664 33554432000 4194304 4196468 140736629008256 140199327000976 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20713] ppid=20704 vsize=26108408 memory=140479454868399 CPUtime=0 cores=0-7 /proc/20706/task/20713/stat : 20713 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210760 26735009792 11664 33554432000 4194304 4196468 140736629008256 140199325948176 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20714] ppid=20704 vsize=26108408 memory=140479454870704 CPUtime=0 cores=0-7 /proc/20706/task/20714/stat : 20714 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26735009792 11664 33554432000 4194304 4196468 140736629008256 140199324895888 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20715] ppid=20704 vsize=26108408 memory=140479454873008 CPUtime=0 cores=0-7 /proc/20706/task/20715/stat : 20715 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26735009792 11664 33554432000 4194304 4196468 140736629008256 140199323843088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20716] ppid=20704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20716/stat : 20716 (java) S 20704 20704 19550 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89210762 26735009792 11664 33554432000 4194304 4196468 140736629008256 140198447577712 140199772711554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20717] ppid=20704 vsize=26108408 memory=280958909752976 CPUtime=0 cores=0-7 /proc/20706/task/20717/stat : 20717 (java) S 20704 20704 19550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89210762 26735009792 11664 33554432000 4194304 4196468 140736629008256 140198446523680 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20718] ppid=20704 vsize=26108408 memory=280958909759888 CPUtime=0 cores=0-7 /proc/20706/task/20718/stat : 20718 (java) S 20704 20704 19550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89210762 26735009792 11664 33554432000 4194304 4196468 140736629008256 140198445471344 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20719] ppid=20704 vsize=26108408 memory=280958909701168 CPUtime=0 cores=0-7 /proc/20706/task/20719/stat : 20719 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210765 26735009792 11729 33554432000 4194304 4196468 140736629008256 140198444419664 140199772719003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20720] ppid=20704 vsize=26108408 memory=280958909773712 CPUtime=0.02 cores=0-7 /proc/20706/task/20720/stat : 20720 (java) S 20704 20704 19550 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 20 0 89210765 26735009792 11729 33554432000 4194304 4196468 140736629008256 140198443366512 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20721] ppid=20704 vsize=26108408 memory=280958909780624 CPUtime=0.02 cores=0-7 /proc/20706/task/20721/stat : 20721 (java) S 20704 20704 19550 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 20 0 89210765 26735009792 11729 33554432000 4194304 4196468 140736629008256 140198442313712 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20722] ppid=20704 vsize=26108408 memory=280958909778320 CPUtime=0.03 cores=0-7 /proc/20706/task/20722/stat : 20722 (java) S 20704 20704 19550 0 -1 1077944384 231 0 0 0 3 0 0 0 20 0 20 0 89210765 26735009792 11729 33554432000 4194304 4196468 140736629008256 140198441261424 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20723] ppid=20704 vsize=26108408 memory=280958909794480 CPUtime=0.12 cores=0-7 /proc/20706/task/20723/stat : 20723 (java) S 20704 20704 19550 0 -1 1077944384 896 0 0 0 12 0 0 0 20 0 20 0 89210765 26735009792 11729 33554432000 4194304 4196468 140736629008256 140198440208624 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20724] ppid=20704 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20724/stat : 20724 (java) S 20704 20704 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89210765 26735009792 11729 33554432000 4194304 4196468 140736629008256 140198439156576 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20725] ppid=20704 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/20706/task/20725/stat : 20725 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210765 26735009792 11729 33554432000 4194304 4196468 140736629008256 140198438103856 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48108 KiB [startup+0.700987 s] /proc/loadavg: 3.77 1.71 1.73 5/199 20725 /proc/meminfo: memFree=22320212/32770624 swapFree=67108796/67108860 [pid=20704] ppid=20701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20704/stat : 20704 (xcsp3-exec) S 20701 20704 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89210759 115843072 363 33554432000 4194304 5098028 140724647280560 140724647278664 140168741155452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35504128 140724647285813 140724647286016 140724647286016 140724647288778 0 /proc/20704/statm: 28282 363 305 221 0 87 0 [pid=20706] ppid=20704 vsize=26110532 memory=85216 CPUtime=1.7 cores=0-7 /proc/20706/stat : 20706 (java) S 20704 20704 19550 0 -1 1077944320 12955 0 0 0 165 5 0 0 20 0 20 0 89210759 26737184768 21304 33554432000 4194304 4196468 140736629008256 140736628990800 140199772700407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 /proc/20706/statm: 6527633 21304 3370 1 0 6488827 0 [pid=20706/tid=20707] ppid=20704 vsize=26110532 memory=280958910089344 CPUtime=0.67 cores=0-7 /proc/20706/task/20707/stat : 20707 (java) R 20704 20704 19550 0 -1 4202560 7174 0 0 0 64 3 0 0 20 0 20 0 89210759 26737184768 21304 33554432000 4194304 4196468 140736629008256 140199776937872 140199772712342 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20708] ppid=20704 vsize=26110532 memory=5085241279643 CPUtime=0 cores=0-7 /proc/20706/task/20708/stat : 20708 (java) S 20704 20704 19550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89210760 26737184768 21304 33554432000 4194304 4196468 140736629008256 140199680261008 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20709] ppid=20704 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20709/stat : 20709 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89210760 26737184768 21304 33554432000 4194304 4196468 140736629008256 140199679208208 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20710] ppid=20704 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/20706/task/20710/stat : 20710 (java) S 20704 20704 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89210760 26737184768 21304 33554432000 4194304 4196468 140736629008256 140199329107088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 ################ # More data... # ################ [pid=20706/tid=20744] ppid=20704 vsize=26645092 memory=1040 CPUtime=1.97 cores=0-7 /proc/20706/task/20744/stat : 20744 (java) R 20704 20704 19550 0 -1 4202560 117 0 0 0 197 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198419853504 140199362245101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20745] ppid=20704 vsize=26645092 memory=1452 CPUtime=1.85 cores=0-7 /proc/20706/task/20745/stat : 20745 (java) R 20704 20704 19550 0 -1 4202560 332 0 0 0 185 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198421958384 140199368265925 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20746] ppid=20704 vsize=26645092 memory=2934068 CPUtime=2.01 cores=0-7 /proc/20706/task/20746/stat : 20746 (java) R 20704 20704 19550 0 -1 4202560 430 0 0 0 201 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198423011136 140199367353658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20747] ppid=20704 vsize=26645092 memory=1452 CPUtime=1.98 cores=0-7 /proc/20706/task/20747/stat : 20747 (java) R 20704 20704 19550 0 -1 4202560 196 0 0 0 198 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198420906160 140199362245203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20748] ppid=20704 vsize=26645092 memory=2554656 CPUtime=1.95 cores=0-7 /proc/20706/task/20748/stat : 20748 (java) R 20704 20704 19550 0 -1 4202560 146 0 0 0 195 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198425116872 140199367706311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20749] ppid=20704 vsize=26645092 memory=6944656592455097440 CPUtime=2 cores=0-7 /proc/20706/task/20749/stat : 20749 (java) R 20704 20704 19550 0 -1 4202560 214 0 0 0 200 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198424063640 140199360284854 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 Current children cumulated CPU time: 266.34 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 3056508 KiB [startup+37.0016 s] /proc/loadavg: 5.84 2.49 1.99 9/207 20749 /proc/meminfo: memFree=19326372/32770624 swapFree=67108796/67108860 [pid=20704] ppid=20701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20704/stat : 20704 (xcsp3-exec) S 20701 20704 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89210759 115843072 363 33554432000 4194304 5098028 140724647280560 140724647278664 140168741155452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35504128 140724647285813 140724647286016 140724647286016 140724647288778 0 /proc/20704/statm: 28282 363 305 221 0 87 0 [pid=20706] ppid=20704 vsize=26645092 memory=3055056 CPUtime=279.11 cores=0-7 /proc/20706/stat : 20706 (java) S 20704 20704 19550 0 -1 1077944320 151008 0 0 0 27330 581 0 0 20 0 28 0 89210759 27284574208 763764 33554432000 4194304 4196468 140736629008256 140736628990800 140199772700407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 /proc/20706/statm: 6661273 763764 3467 1 0 6622467 0 [pid=20706/tid=20707] ppid=20704 vsize=26645092 memory=6791534058613427641 CPUtime=1.49 cores=0-7 /proc/20706/task/20707/stat : 20707 (java) S 20704 20704 19550 0 -1 1077944384 8642 0 0 0 145 4 0 0 20 0 28 0 89210759 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199776941184 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20708] ppid=20704 vsize=26645092 memory=5936707907980714599 CPUtime=3.22 cores=0-7 /proc/20706/task/20708/stat : 20708 (java) S 20704 20704 19550 0 -1 1077944384 5523 0 0 0 262 60 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199680261008 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20709] ppid=20704 vsize=26645092 memory=5859855382337712482 CPUtime=3.22 cores=0-7 /proc/20706/task/20709/stat : 20709 (java) S 20704 20704 19550 0 -1 1077944384 5484 0 0 0 262 60 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199679208208 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20710] ppid=20704 vsize=26645092 memory=5787213857246504025 CPUtime=3.25 cores=0-7 /proc/20706/task/20710/stat : 20710 (java) S 20704 20704 19550 0 -1 1077944384 5766 0 0 0 267 58 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199329107088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20711] ppid=20704 vsize=26645092 memory=5787213827181732953 CPUtime=3.23 cores=0-7 /proc/20706/task/20711/stat : 20711 (java) S 20704 20704 19550 0 -1 1077944384 5708 0 0 0 260 63 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199328054288 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20712] ppid=20704 vsize=26645092 memory=6791534058613427641 CPUtime=3.23 cores=0-7 /proc/20706/task/20712/stat : 20712 (java) S 20704 20704 19550 0 -1 1077944384 5595 0 0 0 265 58 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199327000976 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20713] ppid=20704 vsize=26645092 memory=288230583166042425 CPUtime=3.24 cores=0-7 /proc/20706/task/20713/stat : 20713 (java) S 20704 20704 19550 0 -1 1077944384 6437 0 0 0 262 62 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199325948176 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20714] ppid=20704 vsize=26645092 memory=15539617717815893 CPUtime=3.28 cores=0-7 /proc/20706/task/20714/stat : 20714 (java) S 20704 20704 19550 0 -1 1077944384 6344 0 0 0 264 64 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199324895888 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20715] ppid=20704 vsize=26645092 memory=15044 CPUtime=3.25 cores=0-7 /proc/20706/task/20715/stat : 20715 (java) S 20704 20704 19550 0 -1 1077944384 5363 0 0 0 264 61 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199323843088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20716] ppid=20704 vsize=26645092 memory=19732 CPUtime=1.13 cores=0-7 /proc/20706/task/20716/stat : 20716 (java) S 20704 20704 19550 0 -1 1077944384 4815 0 0 0 112 1 0 0 20 0 28 0 89210762 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198447577712 140199772711554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20717] ppid=20704 vsize=26645092 memory=17604 CPUtime=0 cores=0-7 /proc/20706/task/20717/stat : 20717 (java) S 20704 20704 19550 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 89210762 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198446523744 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20718] ppid=20704 vsize=26645092 memory=4016 CPUtime=0 cores=0-7 /proc/20706/task/20718/stat : 20718 (java) S 20704 20704 19550 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 89210762 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198445471360 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20719] ppid=20704 vsize=26645092 memory=644 CPUtime=0 cores=0-7 /proc/20706/task/20719/stat : 20719 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198444419664 140199772719003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20720] ppid=20704 vsize=26645092 memory=0 CPUtime=2.7 cores=0-7 /proc/20706/task/20720/stat : 20720 (java) S 20704 20704 19550 0 -1 1077944384 13843 0 0 0 266 4 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198443366512 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20721] ppid=20704 vsize=26645092 memory=3054156605268465310 CPUtime=2.57 cores=0-7 /proc/20706/task/20721/stat : 20721 (java) S 20704 20704 19550 0 -1 1077944384 15903 0 0 0 253 4 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198442313712 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20722] ppid=20704 vsize=26645092 memory=-8412652177879177843 CPUtime=2.59 cores=0-7 /proc/20706/task/20722/stat : 20722 (java) S 20704 20704 19550 0 -1 1077944384 13811 0 0 0 257 2 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198441261424 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20723] ppid=20704 vsize=26645092 memory=4715433313220523562 CPUtime=0.94 cores=0-7 /proc/20706/task/20723/stat : 20723 (java) S 20704 20704 19550 0 -1 1077944384 10034 0 0 0 91 3 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198440208624 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20724] ppid=20704 vsize=26645092 memory=8514726395714825349 CPUtime=0 cores=0-7 /proc/20706/task/20724/stat : 20724 (java) S 20704 20704 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198439156576 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20725] ppid=20704 vsize=26645092 memory=-8707038579349950309 CPUtime=0.01 cores=0-7 /proc/20706/task/20725/stat : 20725 (java) S 20704 20704 19550 0 -1 1077944384 2099 0 0 0 0 1 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198438103856 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20742] ppid=20704 vsize=26645092 memory=0 CPUtime=3.62 cores=0-7 /proc/20706/task/20742/stat : 20742 (java) R 20704 20704 19550 0 -1 4202560 213 0 0 0 362 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198426168352 140199362245143 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20743] ppid=20704 vsize=26645092 memory=7235709436565679465 CPUtime=3.57 cores=0-7 /proc/20706/task/20743/stat : 20743 (java) R 20704 20704 19550 0 -1 4202560 183 0 0 0 357 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198427222984 140199368314709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20744] ppid=20704 vsize=26645092 memory=303430223234596890 CPUtime=3.57 cores=0-7 /proc/20706/task/20744/stat : 20744 (java) R 20704 20704 19550 0 -1 4202560 268 0 0 0 357 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198419853640 140199362245159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20745] ppid=20704 vsize=26645092 memory=303711706885128505 CPUtime=3.43 cores=0-7 /proc/20706/task/20745/stat : 20745 (java) R 20704 20704 19550 0 -1 4202560 1408 0 0 0 343 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198421958520 140199362028107 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20746] ppid=20704 vsize=26645092 memory=15539617717815893 CPUtime=3.6 cores=0-7 /proc/20706/task/20746/stat : 20746 (java) R 20704 20704 19550 0 -1 4202560 1018 0 0 0 360 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198423011272 140199367647791 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20747] ppid=20704 vsize=26645092 memory=2092 CPUtime=3.57 cores=0-7 /proc/20706/task/20747/stat : 20747 (java) R 20704 20704 19550 0 -1 4202560 411 0 0 0 355 2 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198420906296 140199362245143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20748] ppid=20704 vsize=26645092 memory=6791534058613427641 CPUtime=3.54 cores=0-7 /proc/20706/task/20748/stat : 20748 (java) R 20704 20704 19550 0 -1 4202560 310 0 0 0 354 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198425116872 140199362245051 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20749] ppid=20704 vsize=26645092 memory=836 CPUtime=3.59 cores=0-7 /proc/20706/task/20749/stat : 20749 (java) R 20704 20704 19550 0 -1 4202560 1442 0 0 0 359 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198424063640 140199362245051 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 Current children cumulated CPU time: 279.11 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 3056508 KiB [startup+37.8016 s] /proc/loadavg: 5.84 2.49 1.99 9/207 20749 /proc/meminfo: memFree=19326248/32770624 swapFree=67108796/67108860 [pid=20704] ppid=20701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20704/stat : 20704 (xcsp3-exec) S 20701 20704 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89210759 115843072 363 33554432000 4194304 5098028 140724647280560 140724647278664 140168741155452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35504128 140724647285813 140724647286016 140724647286016 140724647288778 0 /proc/20704/statm: 28282 363 305 221 0 87 0 [pid=20706] ppid=20704 vsize=26645092 memory=3055056 CPUtime=285.48 cores=0-7 /proc/20706/stat : 20706 (java) S 20704 20704 19550 0 -1 1077944320 153982 0 0 0 27967 581 0 0 20 0 28 0 89210759 27284574208 763764 33554432000 4194304 4196468 140736629008256 140736628990800 140199772700407 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 /proc/20706/statm: 6661273 763764 3467 1 0 6622467 0 [pid=20706/tid=20707] ppid=20704 vsize=26645092 memory=2088 CPUtime=1.49 cores=0-7 /proc/20706/task/20707/stat : 20707 (java) S 20704 20704 19550 0 -1 1077944384 8642 0 0 0 145 4 0 0 20 0 28 0 89210759 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199776941184 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20708] ppid=20704 vsize=26645092 memory=6791534058613427641 CPUtime=3.22 cores=0-7 /proc/20706/task/20708/stat : 20708 (java) S 20704 20704 19550 0 -1 1077944384 5523 0 0 0 262 60 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199680261008 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20709] ppid=20704 vsize=26645092 memory=3055056 CPUtime=3.22 cores=0-7 /proc/20706/task/20709/stat : 20709 (java) S 20704 20704 19550 0 -1 1077944384 5484 0 0 0 262 60 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199679208208 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20710] ppid=20704 vsize=26645092 memory=1408 CPUtime=3.25 cores=0-7 /proc/20706/task/20710/stat : 20710 (java) S 20704 20704 19550 0 -1 1077944384 5766 0 0 0 267 58 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199329107088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20711] ppid=20704 vsize=26645092 memory=3160 CPUtime=3.23 cores=0-7 /proc/20706/task/20711/stat : 20711 (java) S 20704 20704 19550 0 -1 1077944384 5708 0 0 0 260 63 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199328054288 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20712] ppid=20704 vsize=26645092 memory=1452 CPUtime=3.23 cores=0-7 /proc/20706/task/20712/stat : 20712 (java) S 20704 20704 19550 0 -1 1077944384 5595 0 0 0 265 58 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199327000976 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20713] ppid=20704 vsize=26645092 memory=2934068 CPUtime=3.24 cores=0-7 /proc/20706/task/20713/stat : 20713 (java) S 20704 20704 19550 0 -1 1077944384 6437 0 0 0 262 62 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199325948176 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20714] ppid=20704 vsize=26645092 memory=6791534058613427641 CPUtime=3.28 cores=0-7 /proc/20706/task/20714/stat : 20714 (java) S 20704 20704 19550 0 -1 1077944384 6344 0 0 0 264 64 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199324895888 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20715] ppid=20704 vsize=26645092 memory=-7003737579269690708 CPUtime=3.25 cores=0-7 /proc/20706/task/20715/stat : 20715 (java) S 20704 20704 19550 0 -1 1077944384 5363 0 0 0 264 61 0 0 20 0 28 0 89210760 27284574208 763764 33554432000 4194304 4196468 140736629008256 140199323843088 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20716] ppid=20704 vsize=26645092 memory=-7101718590825193370 CPUtime=1.13 cores=0-7 /proc/20706/task/20716/stat : 20716 (java) S 20704 20704 19550 0 -1 1077944384 4819 0 0 0 112 1 0 0 20 0 28 0 89210762 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198447577712 140199772711554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20717] ppid=20704 vsize=26645092 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/20706/task/20717/stat : 20717 (java) S 20704 20704 19550 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 89210762 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198446523744 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20718] ppid=20704 vsize=26645092 memory=8589934624 CPUtime=0 cores=0-7 /proc/20706/task/20718/stat : 20718 (java) S 20704 20704 19550 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 89210762 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198445471360 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20719] ppid=20704 vsize=26645092 memory=140479790318151 CPUtime=0 cores=0-7 /proc/20706/task/20719/stat : 20719 (java) S 20704 20704 19550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198444419664 140199772719003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20720] ppid=20704 vsize=26645092 memory=140479790318155 CPUtime=2.7 cores=0-7 /proc/20706/task/20720/stat : 20720 (java) S 20704 20704 19550 0 -1 1077944384 14474 0 0 0 266 4 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198443366512 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20721] ppid=20704 vsize=26645092 memory=140479790318157 CPUtime=2.57 cores=0-7 /proc/20706/task/20721/stat : 20721 (java) S 20704 20704 19550 0 -1 1077944384 15906 0 0 0 253 4 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198442313712 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20722] ppid=20704 vsize=26645092 memory=140479790318160 CPUtime=2.59 cores=0-7 /proc/20706/task/20722/stat : 20722 (java) S 20704 20704 19550 0 -1 1077944384 13814 0 0 0 257 2 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198441261424 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20723] ppid=20704 vsize=26645092 memory=59428 CPUtime=0.94 cores=0-7 /proc/20706/task/20723/stat : 20723 (java) S 20704 20704 19550 0 -1 1077944384 10037 0 0 0 91 3 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198440208624 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20724] ppid=20704 vsize=26645092 memory=140479790318531 CPUtime=0 cores=0-7 /proc/20706/task/20724/stat : 20724 (java) S 20704 20704 19550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198439156576 140199772710613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20725] ppid=20704 vsize=26645092 memory=140479790318568 CPUtime=0.01 cores=0-7 /proc/20706/task/20725/stat : 20725 (java) S 20704 20704 19550 0 -1 1077944384 2116 0 0 0 0 1 0 0 20 0 28 0 89210765 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198438103856 140199772711554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20742] ppid=20704 vsize=26645092 memory=140479790318640 CPUtime=4.42 cores=0-7 /proc/20706/task/20742/stat : 20742 (java) R 20704 20704 19550 0 -1 4202560 276 0 0 0 442 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198426168352 140199367003396 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20743] ppid=20704 vsize=26645092 memory=140479790318884 CPUtime=4.37 cores=0-7 /proc/20706/task/20743/stat : 20743 (java) R 20704 20704 19550 0 -1 4202560 267 0 0 0 437 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198427222984 140199369060625 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20744] ppid=20704 vsize=26645092 memory=140479790319635 CPUtime=4.36 cores=0-7 /proc/20706/task/20744/stat : 20744 (java) R 20704 20704 19550 0 -1 4202560 381 0 0 0 436 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198419853640 140199362244966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20745] ppid=20704 vsize=26645092 memory=149353192753171 CPUtime=4.21 cores=0-7 /proc/20706/task/20745/stat : 20745 (java) R 20704 20704 19550 0 -1 4202560 2325 0 0 0 421 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198421958152 140199362245046 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20746] ppid=20704 vsize=26645092 memory=2092 CPUtime=4.4 cores=0-7 /proc/20706/task/20746/stat : 20746 (java) R 20704 20704 19550 0 -1 4202560 1292 0 0 0 440 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198423011272 140199362245237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20747] ppid=20704 vsize=26645092 memory=7524 CPUtime=4.37 cores=0-7 /proc/20706/task/20747/stat : 20747 (java) R 20704 20704 19550 0 -1 4202560 618 0 0 0 435 2 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198420906296 140199362245135 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20748] ppid=20704 vsize=26645092 memory=836 CPUtime=4.34 cores=0-7 /proc/20706/task/20748/stat : 20748 (java) R 20704 20704 19550 0 -1 4202560 399 0 0 0 434 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198425116872 140199364080504 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 [pid=20706/tid=20749] ppid=20704 vsize=26645092 memory=4100 CPUtime=4.38 cores=0-7 /proc/20706/task/20749/stat : 20749 (java) R 20704 20704 19550 0 -1 4202560 2009 0 0 0 438 0 0 0 20 0 28 0 89214094 27284574208 763764 33554432000 4194304 4196468 140736629008256 140198424063640 140199362245007 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10821632 140736629011585 140736629011757 140736629011757 140736629014479 0 Current children cumulated CPU time: 285.48 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 3056508 KiB [startup+38.0009 s] /proc/loadavg: 5.84 2.49 1.99 9/207 20749 /proc/meminfo: memFree=19326248/32770624 swapFree=67108796/67108860 [pid=20704] ppid=20701 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20704/stat : 20704 (xcsp3-exec) S 20701 20704 19550 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89210759 115843072 363 33554432000 4194304 5098028 140724647280560 140724647278664 140168741155452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35504128 140724647285813 140724647286016 140724647286016 140724647288778 0 /proc/20704/statm: 28282 363 305 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): 38.0179 CPU time (s): 286.758 CPU user time (s): 280.903 CPU system time (s): 5.85508 CPU usage (%): 754.271 Max. virtual memory (cumulated for all children) (KiB): 26758252 Max. memory (cumulated for all children) (KiB): 3056508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 280.903 system time used= 5.85508 maximum resident set size= 3055056 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157542 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8051 involuntary context switches= 4546 # summary of solver processes directly reported to runsolver: # pid: 20704 # total CPU time (s): 286.758 # total CPU user time (s): 280.903 # total CPU system time (s): 5.85508 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.464755 second user time and 0.334927 second system time The end
Begin job on node138 at 2018-07-27 20:34:36 IDJOB=4297573 IDBENCH=141363 IDSOLVER=2760 FILE ID=node138/4297573-1532716476 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-m1s-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-4297573-1532716476/watcher-4297573-1532716476 -o /tmp/evaluation-result-4297573-1532716476/solver-4297573-1532716476 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532713877-19577 --watchdog 2580 HOME/xcsp3-exec -seed 2128459068 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297573-1532716476.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f93f81431bc4a45d4c2655bc4c8b27b0 RANDOM SEED=2128459068 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: 22372816 kB MemAvailable: 31919752 kB Buffers: 191332 kB Cached: 9566600 kB SwapCached: 44 kB Active: 2476932 kB Inactive: 7341952 kB Active(anon): 3284 kB Inactive(anon): 85528 kB Active(file): 2473648 kB Inactive(file): 7256424 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 22040 kB Writeback: 0 kB AnonPages: 134336 kB Mapped: 36368 kB Shmem: 25164 kB Slab: 273208 kB SReclaimable: 245324 kB SUnreclaim: 27884 kB KernelStack: 3680 kB PageTables: 4988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324800 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 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:35:14