Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 4 | 671.289 | 85.178 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-15-30-1.xml |
MD5SUM | 274e3e67607724bfcca0861611bdfa28 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 78.1598 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1410 |
Number of constraints | 1381 |
Number of domains | 9 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":30},{"size":4,"count":150},{"size":5,"count":150},{"size":6,"count":60},{"size":7,"count":30},{"size":8,"count":30},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":885},{"degree":16,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":465},{"arity":3,"count":885},{"arity":16,"count":30},{"arity":30,"count":1}] |
Number of extensional constraints | 450 |
Number of intensional constraints | 450 |
Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":450}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405021-1569004225.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4405021-1569004225.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.79/1.42 c solve instance... 6.24/1.64 o 13 6.93/1.74 o 12 7.50/1.89 o 11 8.05/1.96 o 10 8.05/2.01 o 9 8.84/2.04 o 8 10.28/2.21 o 7 113.00/15.17 o 6 603.33/76.61 o 5 604.85/76.88 o 4 670.89/85.16 s OPTIMUM FOUND 670.89/85.16 v <instantiation> 670.89/85.16 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] </list> 670.89/85.16 v <values>0 5 29 6 26 16 9 23 27 11 17 8 15 19 21 24 18 22 1 2 4 7 3 10 12 14 13 20 25 28 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 1 2 3 3 3 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 4 5 5 6 6 6 6 6 0 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 1 1 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 1 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 1 1 2 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 1 1 1 1 2 3 3 3 3 3 3 3 3 4 5 6 6 7 7 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 4 4 4 4 4 4 4 4 4 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 2 2 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 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 2 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 3 4 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 3 3 3 3 3 3 3 3 3 3 4 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 2 </values> 670.89/85.16 v </instantiation>
OK 4
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 (12377 MiB free) memory of node 1: 16384 MiB (12782 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405021-1569004225/watcher-4405021-1569004225 -o /var/tmp/evaluation-result-4405021-1569004225/solver-4405021-1569004225 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 187214390 HOME/instance-4405021-1569004225.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=31153, runsolver pid=31150 Current StackSize limit: 8192 KiB [startup+0.100141 s]* /proc/loadavg: 7.45 7.91 8.08 4/211 31174 /proc/meminfo: memFree=25747508/32770624 swapFree=66966844/67108860 [pid=31153] ppid=31150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31153/stat : 31153 (xcsp3-exec) S 31150 31153 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476358963 115843072 363 33554432000 4194304 5098028 140726100762832 140726100760936 140032904843900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140726100771672 140726100771930 140726100771930 140726100774854 0 /proc/31153/statm: 28282 363 304 221 0 87 0 [pid=31155] ppid=31153 vsize=28227396 memory=29392 CPUtime=0.12 cores=0-7 /proc/31155/stat : 31155 (java) S 31153 31153 23748 0 -1 1077944320 5826 0 0 0 11 1 0 0 20 0 20 0 476358963 28904853504 7348 33554432000 4194304 4196468 140730974175424 140730974157968 139819652706039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 /proc/31155/statm: 7056849 7348 3116 1 0 7019032 0 [pid=31155/tid=31156] ppid=31153 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/31155/task/31156/stat : 31156 (java) R 31153 31153 23748 0 -1 4202560 3733 0 0 0 8 0 0 0 20 0 20 0 476358964 28904853504 7348 33554432000 4194304 4196468 140730974175424 139819656939312 139819634112280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31157] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31157/stat : 31157 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 7348 33554432000 4194304 4196468 140730974175424 139819605326608 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31158] ppid=31153 vsize=28227396 memory=139798611154560 CPUtime=0 cores=0-7 /proc/31155/task/31158/stat : 31158 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 7348 33554432000 4194304 4196468 140730974175424 139819604274064 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31159] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31159/stat : 31159 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 7348 33554432000 4194304 4196468 140730974175424 139819603221520 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31160] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31160/stat : 31160 (java) S 31153 31153 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 7348 33554432000 4194304 4196468 140730974175424 139819602168976 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31161] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31161/stat : 31161 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 7348 33554432000 4194304 4196468 140730974175424 139819601115408 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31162] ppid=31153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31155/task/31162/stat : 31162 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 7348 33554432000 4194304 4196468 140730974175424 139819600062864 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31163] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31163/stat : 31163 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 7348 33554432000 4194304 4196468 140730974175424 139819599010320 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31164] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31164/stat : 31164 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 7348 33554432000 4194304 4196468 140730974175424 139819597957776 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31165] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31165/stat : 31165 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358966 28904853504 7348 33554432000 4194304 4196468 140730974175424 139818367343088 139819652717186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31166] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31166/stat : 31166 (java) S 31153 31153 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476358966 28904853504 7348 33554432000 4194304 4196468 140730974175424 139818249086368 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31167] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31167/stat : 31167 (java) S 31153 31153 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476358967 28904853504 7348 33554432000 4194304 4196468 140730974175424 139818248033776 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31168] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31168/stat : 31168 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358969 28904853504 7348 33554432000 4194304 4196468 140730974175424 139818246982352 139819652724635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31169] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31169/stat : 31169 (java) S 31153 31153 23748 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 476358969 28904853504 7348 33554432000 4194304 4196468 140730974175424 139818245928944 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31170] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31170/stat : 31170 (java) S 31153 31153 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476358969 28904853504 7348 33554432000 4194304 4196468 140730974175424 139818244876400 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31171] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31171/stat : 31171 (java) S 31153 31153 23748 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476358969 28904853504 7348 33554432000 4194304 4196468 140730974175424 139818243823856 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31172] ppid=31153 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/31155/task/31172/stat : 31172 (java) R 31153 31153 23748 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 476358969 28904853504 7348 33554432000 4194304 4196468 140730974175424 139818242771312 139819652717974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31173] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31173/stat : 31173 (java) S 31153 31153 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476358969 28904853504 7348 33554432000 4194304 4196468 140730974175424 139818241719008 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31174] ppid=31153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31155/task/31174/stat : 31174 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358969 28904853504 7348 33554432000 4194304 4196468 140730974175424 139818240666544 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30844 KiB [startup+0.210681 s]* /proc/loadavg: 7.45 7.91 8.08 2/211 31174 /proc/meminfo: memFree=25735032/32770624 swapFree=66966844/67108860 [pid=31153] ppid=31150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31153/stat : 31153 (xcsp3-exec) S 31150 31153 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476358963 115843072 363 33554432000 4194304 5098028 140726100762832 140726100760936 140032904843900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140726100771672 140726100771930 140726100771930 140726100774854 0 /proc/31153/statm: 28282 363 304 221 0 87 0 [pid=31155] ppid=31153 vsize=28227396 memory=41252 CPUtime=0.34 cores=0-7 /proc/31155/stat : 31155 (java) S 31153 31153 23748 0 -1 1077944320 9558 0 0 0 31 3 0 0 20 0 20 0 476358963 28904853504 10313 33554432000 4194304 4196468 140730974175424 140730974157968 139819652706039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 /proc/31155/statm: 7056849 10313 3274 1 0 7019032 0 [pid=31155/tid=31156] ppid=31153 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/31155/task/31156/stat : 31156 (java) R 31153 31153 23748 0 -1 4202560 6668 0 0 0 18 2 0 0 20 0 20 0 476358964 28904853504 10313 33554432000 4194304 4196468 140730974175424 139819656937952 139819652717974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31157] ppid=31153 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/31155/task/31157/stat : 31157 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 10313 33554432000 4194304 4196468 140730974175424 139819605326608 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31158] ppid=31153 vsize=28227396 memory=288370174762866304 CPUtime=0 cores=0-7 /proc/31155/task/31158/stat : 31158 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 10313 33554432000 4194304 4196468 140730974175424 139819604274064 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31159] ppid=31153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31155/task/31159/stat : 31159 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 10313 33554432000 4194304 4196468 140730974175424 139819603221520 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31160] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31160/stat : 31160 (java) S 31153 31153 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 10313 33554432000 4194304 4196468 140730974175424 139819602168976 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31161] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31161/stat : 31161 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 10313 33554432000 4194304 4196468 140730974175424 139819601115408 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31162] ppid=31153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31155/task/31162/stat : 31162 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 10313 33554432000 4194304 4196468 140730974175424 139819600062864 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31163] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31163/stat : 31163 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 10313 33554432000 4194304 4196468 140730974175424 139819599010320 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31164] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31164/stat : 31164 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28904853504 10313 33554432000 4194304 4196468 140730974175424 139819597957776 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31165] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31165/stat : 31165 (java) S 31153 31153 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476358966 28904853504 10313 33554432000 4194304 4196468 140730974175424 139818367343088 139819652717186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31166] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31166/stat : 31166 (java) S 31153 31153 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476358966 28904853504 10313 33554432000 4194304 4196468 140730974175424 139818249086368 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31167] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31167/stat : 31167 (java) S 31153 31153 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476358967 28904853504 10313 33554432000 4194304 4196468 140730974175424 139818248033776 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31168] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31168/stat : 31168 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358969 28904853504 10313 33554432000 4194304 4196468 140730974175424 139818246982352 139819652724635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31169] ppid=31153 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31155/task/31169/stat : 31169 (java) S 31153 31153 23748 0 -1 1077944384 544 0 0 0 1 0 0 0 20 0 20 0 476358969 28904853504 10313 33554432000 4194304 4196468 140730974175424 139818245928944 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31170] ppid=31153 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31155/task/31170/stat : 31170 (java) S 31153 31153 23748 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 476358969 28904853504 10313 33554432000 4194304 4196468 140730974175424 139818244876400 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31171] ppid=31153 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/31155/task/31171/stat : 31171 (java) S 31153 31153 23748 0 -1 1077944384 196 0 0 0 2 0 0 0 20 0 20 0 476358969 28904853504 10313 33554432000 4194304 4196468 140730974175424 139818243823856 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31172] ppid=31153 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/31155/task/31172/stat : 31172 (java) R 31153 31153 23748 0 -1 4202560 737 0 0 0 8 0 0 0 20 0 20 0 476358969 28904853504 10313 33554432000 4194304 4196468 140730974175424 139818242771312 139819636786526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31173] ppid=31153 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31173/stat : 31173 (java) S 31153 31153 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476358969 28904853504 10313 33554432000 4194304 4196468 140730974175424 139818241719008 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31174] ppid=31153 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31155/task/31174/stat : 31174 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358969 28904853504 10313 33554432000 4194304 4196468 140730974175424 139818240666544 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42704 KiB [startup+0.310575 s]* /proc/loadavg: 7.45 7.91 8.08 4/211 31174 /proc/meminfo: memFree=25728372/32770624 swapFree=66966844/67108860 [pid=31153] ppid=31150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31153/stat : 31153 (xcsp3-exec) S 31150 31153 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476358963 115843072 363 33554432000 4194304 5098028 140726100762832 140726100760936 140032904843900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140726100771672 140726100771930 140726100771930 140726100774854 0 /proc/31153/statm: 28282 363 304 221 0 87 0 [pid=31155] ppid=31153 vsize=28231652 memory=50220 CPUtime=0.52 cores=0-7 /proc/31155/stat : 31155 (java) S 31153 31153 23748 0 -1 1077944320 10879 0 0 0 49 3 0 0 20 0 20 0 476358963 28909211648 12555 33554432000 4194304 4196468 140730974175424 140730974157968 139819652706039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 /proc/31155/statm: 7057913 12555 3358 1 0 7019032 0 [pid=31155/tid=31156] ppid=31153 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/31155/task/31156/stat : 31156 (java) R 31153 31153 23748 0 -1 4202560 7813 0 0 0 27 2 0 0 20 0 20 0 476358964 28909211648 12555 33554432000 4194304 4196468 140730974175424 139819656937152 139819636786526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31157] ppid=31153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31157/stat : 31157 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28909211648 12555 33554432000 4194304 4196468 140730974175424 139819605326608 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31158] ppid=31153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31158/stat : 31158 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28909211648 12555 33554432000 4194304 4196468 140730974175424 139819604274064 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31159] ppid=31153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31159/stat : 31159 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28909211648 12555 33554432000 4194304 4196468 140730974175424 139819603221520 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31160] ppid=31153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31160/stat : 31160 (java) S 31153 31153 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476358964 28909211648 12555 33554432000 4194304 4196468 140730974175424 139819602168976 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31161] ppid=31153 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/31155/task/31161/stat : 31161 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28909211648 12555 33554432000 4194304 4196468 140730974175424 139819601115408 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31162] ppid=31153 vsize=28231652 memory=139798501225391 CPUtime=0 cores=0-7 /proc/31155/task/31162/stat : 31162 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28909211648 12555 33554432000 4194304 4196468 140730974175424 139819600062864 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31163] ppid=31153 vsize=28231652 memory=139798501227696 CPUtime=0 cores=0-7 /proc/31155/task/31163/stat : 31163 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28909211648 12555 33554432000 4194304 4196468 140730974175424 139819599010320 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31164] ppid=31153 vsize=28231652 memory=3472463696682399200 CPUtime=0 cores=0-7 /proc/31155/task/31164/stat : 31164 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28909211648 12555 33554432000 4194304 4196468 140730974175424 139819597957776 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31165] ppid=31153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31165/stat : 31165 (java) S 31153 31153 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476358966 28909211648 12555 33554432000 4194304 4196468 140730974175424 139818367343088 139819652717186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31166] ppid=31153 vsize=28231652 memory=279597002466960 CPUtime=0 cores=0-7 /proc/31155/task/31166/stat : 31166 (java) S 31153 31153 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476358966 28909211648 12555 33554432000 4194304 4196468 140730974175424 139818249086368 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31167] ppid=31153 vsize=28231652 memory=279597002473872 CPUtime=0 cores=0-7 /proc/31155/task/31167/stat : 31167 (java) S 31153 31153 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476358967 28909211648 12555 33554432000 4194304 4196468 140730974175424 139818248033776 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31168] ppid=31153 vsize=28231652 memory=279597002415120 CPUtime=0 cores=0-7 /proc/31155/task/31168/stat : 31168 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358969 28909211648 12555 33554432000 4194304 4196468 140730974175424 139818246982352 139819652724635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31169] ppid=31153 vsize=28231652 memory=279597002487696 CPUtime=0.03 cores=0-7 /proc/31155/task/31169/stat : 31169 (java) R 31153 31153 23748 0 -1 4202560 627 0 0 0 3 0 0 0 20 0 20 0 476358969 28909211648 12555 33554432000 4194304 4196468 140730974175424 139818245909960 139819637813663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31170] ppid=31153 vsize=28231652 memory=279597002494608 CPUtime=0.03 cores=0-7 /proc/31155/task/31170/stat : 31170 (java) S 31153 31153 23748 0 -1 1077944384 116 0 0 0 3 0 0 0 20 0 20 0 476358969 28909211648 12555 33554432000 4194304 4196468 140730974175424 139818244876400 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31171] ppid=31153 vsize=28231652 memory=279597002492304 CPUtime=0.02 cores=0-7 /proc/31155/task/31171/stat : 31171 (java) S 31153 31153 23748 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 20 0 476358969 28909211648 12555 33554432000 4194304 4196468 140730974175424 139818243823856 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31172] ppid=31153 vsize=28231652 memory=279597002508464 CPUtime=0.12 cores=0-7 /proc/31155/task/31172/stat : 31172 (java) S 31153 31153 23748 0 -1 1077944384 806 0 0 0 12 0 0 0 20 0 20 0 476358969 28909211648 12555 33554432000 4194304 4196468 140730974175424 139818242771312 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31173] ppid=31153 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31173/stat : 31173 (java) S 31153 31153 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476358969 28909211648 12555 33554432000 4194304 4196468 140730974175424 139818241719008 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31174] ppid=31153 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/31155/task/31174/stat : 31174 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358969 28909211648 12555 33554432000 4194304 4196468 140730974175424 139818240666544 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51672 KiB [startup+0.700958 s] /proc/loadavg: 7.45 7.91 8.08 6/211 31174 /proc/meminfo: memFree=25707220/32770624 swapFree=66966844/67108860 [pid=31153] ppid=31150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31153/stat : 31153 (xcsp3-exec) S 31150 31153 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476358963 115843072 363 33554432000 4194304 5098028 140726100762832 140726100760936 140032904843900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140726100771672 140726100771930 140726100771930 140726100774854 0 /proc/31153/statm: 28282 363 304 221 0 87 0 [pid=31155] ppid=31153 vsize=28233776 memory=94456 CPUtime=1.85 cores=0-7 /proc/31155/stat : 31155 (java) S 31153 31153 23748 0 -1 1077944320 15794 0 0 0 179 6 0 0 20 0 20 0 476358963 28911386624 23614 33554432000 4194304 4196468 140730974175424 140730974157968 139819652706039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 /proc/31155/statm: 7058444 23614 3463 1 0 7019544 0 [pid=31155/tid=31156] ppid=31153 vsize=28233776 memory=279597002866352 CPUtime=0.67 cores=0-7 /proc/31155/task/31156/stat : 31156 (java) R 31153 31153 23748 0 -1 4202560 9294 0 0 0 64 3 0 0 20 0 20 0 476358964 28911386624 23614 33554432000 4194304 4196468 140730974175424 139819656941040 139819652717974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31157] ppid=31153 vsize=28233776 memory=139798501434224 CPUtime=0 cores=0-7 /proc/31155/task/31157/stat : 31157 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28911386624 23614 33554432000 4194304 4196468 140730974175424 139819605326608 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31158] ppid=31153 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/31155/task/31158/stat : 31158 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476358964 28911386624 23614 33554432000 4194304 4196468 140730974175424 139819604274064 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31159] ppid=31153 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/31155/task/31159/stat : 31159 (java) S 31153 31153 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476358964 28911386624 23614 33554432000 4194304 4196468 140730974175424 139819603221520 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 ################ # More data... # ################ [pid=31155/tid=31172] ppid=31153 vsize=28768336 memory=4104 CPUtime=1.18 cores=0-7 /proc/31155/task/31172/stat : 31172 (java) S 31153 31153 23748 0 -1 1077944384 12401 0 0 0 115 3 0 0 20 0 28 0 476358969 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818242771312 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31173] ppid=31153 vsize=28768336 memory=3608 CPUtime=0 cores=0-7 /proc/31155/task/31173/stat : 31173 (java) S 31153 31153 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476358969 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818241719008 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31174] ppid=31153 vsize=28768336 memory=55148 CPUtime=0.02 cores=0-7 /proc/31155/task/31174/stat : 31174 (java) S 31153 31153 23748 0 -1 1077944384 1413 0 0 0 0 2 0 0 20 0 28 0 476358969 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818240666544 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31267] ppid=31153 vsize=28768336 memory=988 CPUtime=7.77 cores=0-7 /proc/31155/task/31267/stat : 31267 (java) R 31153 31153 23748 0 -1 4202560 242 0 0 0 777 0 0 0 20 0 28 0 476366651 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818161917176 139819265110616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31268] ppid=31153 vsize=28768336 memory=2020 CPUtime=7.82 cores=0-7 /proc/31155/task/31268/stat : 31268 (java) R 31153 31153 23748 0 -1 4202560 225 0 0 0 782 0 0 0 20 0 28 0 476366651 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818160865248 139819265285088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31269] ppid=31153 vsize=28768336 memory=1432 CPUtime=7.9 cores=0-7 /proc/31155/task/31269/stat : 31269 (java) R 31153 31153 23748 0 -1 4202560 192 0 0 0 790 0 0 0 20 0 28 0 476366652 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818154548872 139819265284816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31270] ppid=31153 vsize=28768336 memory=776 CPUtime=7.86 cores=0-7 /proc/31155/task/31270/stat : 31270 (java) R 31153 31153 23748 0 -1 4202560 1132 0 0 0 783 3 0 0 20 0 28 0 476366652 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818157706872 139819265285070 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31271] ppid=31153 vsize=28768336 memory=1056 CPUtime=7.85 cores=0-7 /proc/31155/task/31271/stat : 31271 (java) R 31153 31153 23748 0 -1 4202560 384 0 0 0 784 1 0 0 20 0 28 0 476366652 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818159812520 139819265111809 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31272] ppid=31153 vsize=28768336 memory=3616 CPUtime=7.9 cores=0-7 /proc/31155/task/31272/stat : 31272 (java) R 31153 31153 23748 0 -1 4202560 291 0 0 0 790 0 0 0 20 0 28 0 476366652 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818156654584 139819264513341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31273] ppid=31153 vsize=28768336 memory=1552 CPUtime=7.9 cores=0-7 /proc/31155/task/31273/stat : 31273 (java) R 31153 31153 23748 0 -1 4202560 896 0 0 0 789 1 0 0 20 0 28 0 476366652 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818155602088 139819265285127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31274] ppid=31153 vsize=28768336 memory=1708 CPUtime=7.74 cores=0-7 /proc/31155/task/31274/stat : 31274 (java) R 31153 31153 23748 0 -1 4202560 289 0 0 0 773 1 0 0 20 0 28 0 476366652 29458776064 283082 33554432000 4194304 4196468 140730974175424 139818158760152 139819264011729 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 Current children cumulated CPU time: 668.42 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1133780 KiB [startup+85.0017 s]* /proc/loadavg: 8.30 8.06 8.12 9/220 31274 /proc/meminfo: memFree=24642100/32770624 swapFree=66966844/67108860 [pid=31153] ppid=31150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31153/stat : 31153 (xcsp3-exec) S 31150 31153 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476358963 115843072 363 33554432000 4194304 5098028 140726100762832 140726100760936 140032904843900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140726100771672 140726100771930 140726100771930 140726100774854 0 /proc/31153/statm: 28282 363 304 221 0 87 0 [pid=31155] ppid=31153 vsize=28768336 memory=1134376 CPUtime=670.09 cores=0-7 /proc/31155/stat : 31155 (java) S 31153 31153 23748 0 -1 1077944320 87940 0 0 0 66926 83 0 0 20 0 28 0 476358963 29458776064 283594 33554432000 4194304 4196468 140730974175424 140730974157968 139819652706039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 /proc/31155/statm: 7192084 283594 3545 1 0 7153184 0 [pid=31155/tid=31156] ppid=31153 vsize=28768336 memory=13996 CPUtime=1.38 cores=0-7 /proc/31155/task/31156/stat : 31156 (java) S 31153 31153 23748 0 -1 1077944384 10609 0 0 0 133 5 0 0 20 0 28 0 476358964 29458776064 283594 33554432000 4194304 4196468 140730974175424 139819656946816 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31157] ppid=31153 vsize=28768336 memory=14080 CPUtime=0.07 cores=0-7 /proc/31155/task/31157/stat : 31157 (java) S 31153 31153 23748 0 -1 1077944384 632 0 0 0 4 3 0 0 20 0 28 0 476358964 29458776064 283594 33554432000 4194304 4196468 140730974175424 139819605326608 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31158] ppid=31153 vsize=28768336 memory=1452 CPUtime=0.08 cores=0-7 /proc/31155/task/31158/stat : 31158 (java) S 31153 31153 23748 0 -1 1077944384 278 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 283594 33554432000 4194304 4196468 140730974175424 139819604274064 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31159] ppid=31153 vsize=28768336 memory=4126316290023845779 CPUtime=0.08 cores=0-7 /proc/31155/task/31159/stat : 31159 (java) S 31153 31153 23748 0 -1 1077944384 239 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 283594 33554432000 4194304 4196468 140730974175424 139819603221520 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31160] ppid=31153 vsize=28768336 memory=3689749201743977689 CPUtime=0.08 cores=0-7 /proc/31155/task/31160/stat : 31160 (java) S 31153 31153 23748 0 -1 1077944384 1561 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 283594 33554432000 4194304 4196468 140730974175424 139819602168976 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31161] ppid=31153 vsize=28768336 memory=3474729790230502640 CPUtime=0.08 cores=0-7 /proc/31155/task/31161/stat : 31161 (java) S 31153 31153 23748 0 -1 1077944384 1317 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 283594 33554432000 4194304 4196468 140730974175424 139819601115408 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31162] ppid=31153 vsize=28768336 memory=4121272245374425362 CPUtime=0.1 cores=0-7 /proc/31155/task/31162/stat : 31162 (java) S 31153 31153 23748 0 -1 1077944384 1800 0 0 0 6 4 0 0 20 0 28 0 476358964 29458776064 283594 33554432000 4194304 4196468 140730974175424 139819600062864 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31163] ppid=31153 vsize=28768336 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/31155/task/31163/stat : 31163 (java) S 31153 31153 23748 0 -1 1077944384 589 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 283594 33554432000 4194304 4196468 140730974175424 139819599010320 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31164] ppid=31153 vsize=28768336 memory=1058600 CPUtime=0.08 cores=0-7 /proc/31155/task/31164/stat : 31164 (java) S 31153 31153 23748 0 -1 1077944384 326 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 283594 33554432000 4194304 4196468 140730974175424 139819597957776 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31165] ppid=31153 vsize=28768336 memory=3545634013668121977 CPUtime=0.02 cores=0-7 /proc/31155/task/31165/stat : 31165 (java) S 31153 31153 23748 0 -1 1077944384 2056 0 0 0 2 0 0 0 20 0 28 0 476358966 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818367343088 139819652717186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31166] ppid=31153 vsize=28768336 memory=139798502515221 CPUtime=0 cores=0-7 /proc/31155/task/31166/stat : 31166 (java) S 31153 31153 23748 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476358966 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818249086432 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31167] ppid=31153 vsize=28768336 memory=139798501723429 CPUtime=0 cores=0-7 /proc/31155/task/31167/stat : 31167 (java) S 31153 31153 23748 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476358967 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818248033792 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31168] ppid=31153 vsize=28768336 memory=139798501735836 CPUtime=0 cores=0-7 /proc/31155/task/31168/stat : 31168 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476358969 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818246982352 139819652724635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31169] ppid=31153 vsize=28768336 memory=3756199269350843393 CPUtime=2.96 cores=0-7 /proc/31155/task/31169/stat : 31169 (java) S 31153 31153 23748 0 -1 1077944384 10862 0 0 0 294 2 0 0 20 0 28 0 476358969 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818245928944 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31170] ppid=31153 vsize=28768336 memory=3545634013668187945 CPUtime=2.7 cores=0-7 /proc/31155/task/31170/stat : 31170 (java) S 31153 31153 23748 0 -1 1077944384 8939 0 0 0 268 2 0 0 20 0 28 0 476358969 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818244876400 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31171] ppid=31153 vsize=28768336 memory=3545634013668187977 CPUtime=3.14 cores=0-7 /proc/31155/task/31171/stat : 31171 (java) S 31153 31153 23748 0 -1 1077944384 11954 0 0 0 313 1 0 0 20 0 28 0 476358969 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818243823856 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31172] ppid=31153 vsize=28768336 memory=3756199269350843489 CPUtime=1.18 cores=0-7 /proc/31155/task/31172/stat : 31172 (java) S 31153 31153 23748 0 -1 1077944384 12401 0 0 0 115 3 0 0 20 0 28 0 476358969 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818242771312 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31173] ppid=31153 vsize=28768336 memory=4121272245441601156 CPUtime=0 cores=0-7 /proc/31155/task/31173/stat : 31173 (java) S 31153 31153 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476358969 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818241719008 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31174] ppid=31153 vsize=28768336 memory=4121272245441601188 CPUtime=0.02 cores=0-7 /proc/31155/task/31174/stat : 31174 (java) S 31153 31153 23748 0 -1 1077944384 1413 0 0 0 0 2 0 0 20 0 28 0 476358969 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818240666544 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31267] ppid=31153 vsize=28768336 memory=288230574492221466 CPUtime=7.98 cores=0-7 /proc/31155/task/31267/stat : 31267 (java) R 31153 31153 23748 0 -1 4202560 242 0 0 0 798 0 0 0 20 0 28 0 476366651 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818161917176 139819265330462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31268] ppid=31153 vsize=28768336 memory=301741416391115062 CPUtime=8.03 cores=0-7 /proc/31155/task/31268/stat : 31268 (java) R 31153 31153 23748 0 -1 4202560 225 0 0 0 803 0 0 0 20 0 28 0 476366651 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818160865248 139819265284704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31269] ppid=31153 vsize=28768336 memory=14408211662899591 CPUtime=8.11 cores=0-7 /proc/31155/task/31269/stat : 31269 (java) R 31153 31153 23748 0 -1 4202560 192 0 0 0 811 0 0 0 20 0 28 0 476366652 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818154548872 139819263566682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31270] ppid=31153 vsize=28768336 memory=0 CPUtime=8.07 cores=0-7 /proc/31155/task/31270/stat : 31270 (java) R 31153 31153 23748 0 -1 4202560 1147 0 0 0 804 3 0 0 20 0 28 0 476366652 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818157706872 139819264513114 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31271] ppid=31153 vsize=28768336 memory=0 CPUtime=8.06 cores=0-7 /proc/31155/task/31271/stat : 31271 (java) R 31153 31153 23748 0 -1 4202560 398 0 0 0 805 1 0 0 20 0 28 0 476366652 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818159812520 139819264654160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31272] ppid=31153 vsize=28768336 memory=0 CPUtime=8.11 cores=0-7 /proc/31155/task/31272/stat : 31272 (java) R 31153 31153 23748 0 -1 4202560 291 0 0 0 811 0 0 0 20 0 28 0 476366652 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818156654584 139819265285013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31273] ppid=31153 vsize=28768336 memory=0 CPUtime=8.11 cores=0-7 /proc/31155/task/31273/stat : 31273 (java) R 31153 31153 23748 0 -1 4202560 896 0 0 0 810 1 0 0 20 0 28 0 476366652 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818155602088 139819265284720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31274] ppid=31153 vsize=28768336 memory=0 CPUtime=7.94 cores=0-7 /proc/31155/task/31274/stat : 31274 (java) R 31153 31153 23748 0 -1 4202560 289 0 0 0 793 1 0 0 20 0 28 0 476366652 29458776064 283594 33554432000 4194304 4196468 140730974175424 139818158760152 139819264012863 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 Current children cumulated CPU time: 670.09 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1135828 KiB [startup+85.1117 s] /proc/loadavg: 8.30 8.06 8.12 9/220 31274 /proc/meminfo: memFree=24642100/32770624 swapFree=66966844/67108860 [pid=31153] ppid=31150 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31153/stat : 31153 (xcsp3-exec) S 31150 31153 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476358963 115843072 363 33554432000 4194304 5098028 140726100762832 140726100760936 140032904843900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15814656 140726100771672 140726100771930 140726100771930 140726100774854 0 /proc/31153/statm: 28282 363 304 221 0 87 0 [pid=31155] ppid=31153 vsize=28768336 memory=1138472 CPUtime=670.89 cores=0-7 /proc/31155/stat : 31155 (java) S 31153 31153 23748 0 -1 1077944320 87948 0 0 0 67006 83 0 0 20 0 28 0 476358963 29458776064 284618 33554432000 4194304 4196468 140730974175424 140730974157968 139819652706039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 /proc/31155/statm: 7192084 284618 3545 1 0 7153184 0 [pid=31155/tid=31156] ppid=31153 vsize=28768336 memory=1126184 CPUtime=1.38 cores=0-7 /proc/31155/task/31156/stat : 31156 (java) S 31153 31153 23748 0 -1 1077944384 10609 0 0 0 133 5 0 0 20 0 28 0 476358964 29458776064 284618 33554432000 4194304 4196468 140730974175424 139819656946816 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31157] ppid=31153 vsize=28768336 memory=1132328 CPUtime=0.07 cores=0-7 /proc/31155/task/31157/stat : 31157 (java) S 31153 31153 23748 0 -1 1077944384 632 0 0 0 4 3 0 0 20 0 28 0 476358964 29458776064 284618 33554432000 4194304 4196468 140730974175424 139819605326608 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31158] ppid=31153 vsize=28768336 memory=1452 CPUtime=0.08 cores=0-7 /proc/31155/task/31158/stat : 31158 (java) S 31153 31153 23748 0 -1 1077944384 278 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 284618 33554432000 4194304 4196468 140730974175424 139819604274064 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31159] ppid=31153 vsize=28768336 memory=682704 CPUtime=0.08 cores=0-7 /proc/31155/task/31159/stat : 31159 (java) S 31153 31153 23748 0 -1 1077944384 239 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 284618 33554432000 4194304 4196468 140730974175424 139819603221520 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31160] ppid=31153 vsize=28768336 memory=1412 CPUtime=0.08 cores=0-7 /proc/31155/task/31160/stat : 31160 (java) S 31153 31153 23748 0 -1 1077944384 1561 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 284618 33554432000 4194304 4196468 140730974175424 139819602168976 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31161] ppid=31153 vsize=28768336 memory=3264 CPUtime=0.08 cores=0-7 /proc/31155/task/31161/stat : 31161 (java) S 31153 31153 23748 0 -1 1077944384 1317 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 284618 33554432000 4194304 4196468 140730974175424 139819601115408 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31162] ppid=31153 vsize=28768336 memory=1452 CPUtime=0.1 cores=0-7 /proc/31155/task/31162/stat : 31162 (java) S 31153 31153 23748 0 -1 1077944384 1800 0 0 0 6 4 0 0 20 0 28 0 476358964 29458776064 284618 33554432000 4194304 4196468 140730974175424 139819600062864 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31163] ppid=31153 vsize=28768336 memory=1023692 CPUtime=0.08 cores=0-7 /proc/31155/task/31163/stat : 31163 (java) S 31153 31153 23748 0 -1 1077944384 589 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 284618 33554432000 4194304 4196468 140730974175424 139819599010320 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31164] ppid=31153 vsize=28768336 memory=1196 CPUtime=0.08 cores=0-7 /proc/31155/task/31164/stat : 31164 (java) S 31153 31153 23748 0 -1 1077944384 326 0 0 0 5 3 0 0 20 0 28 0 476358964 29458776064 284618 33554432000 4194304 4196468 140730974175424 139819597957776 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31165] ppid=31153 vsize=28768336 memory=1044 CPUtime=0.02 cores=0-7 /proc/31155/task/31165/stat : 31165 (java) S 31153 31153 23748 0 -1 1077944384 2056 0 0 0 2 0 0 0 20 0 28 0 476358966 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818367343088 139819652717186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31166] ppid=31153 vsize=28768336 memory=1019596 CPUtime=0 cores=0-7 /proc/31155/task/31166/stat : 31166 (java) S 31153 31153 23748 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476358966 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818249086432 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31167] ppid=31153 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/31155/task/31167/stat : 31167 (java) S 31153 31153 23748 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476358967 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818248033792 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31168] ppid=31153 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/31155/task/31168/stat : 31168 (java) S 31153 31153 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476358969 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818246982352 139819652724635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31169] ppid=31153 vsize=28768336 memory=1552 CPUtime=2.96 cores=0-7 /proc/31155/task/31169/stat : 31169 (java) S 31153 31153 23748 0 -1 1077944384 10862 0 0 0 294 2 0 0 20 0 28 0 476358969 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818245928944 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31170] ppid=31153 vsize=28768336 memory=1708 CPUtime=2.7 cores=0-7 /proc/31155/task/31170/stat : 31170 (java) S 31153 31153 23748 0 -1 1077944384 8939 0 0 0 268 2 0 0 20 0 28 0 476358969 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818244876400 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31171] ppid=31153 vsize=28768336 memory=988 CPUtime=3.14 cores=0-7 /proc/31155/task/31171/stat : 31171 (java) S 31153 31153 23748 0 -1 1077944384 11954 0 0 0 313 1 0 0 20 0 28 0 476358969 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818243823856 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31172] ppid=31153 vsize=28768336 memory=2020 CPUtime=1.18 cores=0-7 /proc/31155/task/31172/stat : 31172 (java) S 31153 31153 23748 0 -1 1077944384 12401 0 0 0 115 3 0 0 20 0 28 0 476358969 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818242771312 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31173] ppid=31153 vsize=28768336 memory=1432 CPUtime=0 cores=0-7 /proc/31155/task/31173/stat : 31173 (java) S 31153 31153 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476358969 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818241719008 139819652716245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31174] ppid=31153 vsize=28768336 memory=1452 CPUtime=0.02 cores=0-7 /proc/31155/task/31174/stat : 31174 (java) S 31153 31153 23748 0 -1 1077944384 1413 0 0 0 0 2 0 0 20 0 28 0 476358969 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818240666544 139819652717186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31267] ppid=31153 vsize=28768336 memory=843496 CPUtime=8.08 cores=0-7 /proc/31155/task/31267/stat : 31267 (java) R 31153 31153 23748 0 -1 4202560 242 0 0 0 808 0 0 0 20 0 28 0 476366651 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818161917176 139819265110858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31268] ppid=31153 vsize=28768336 memory=988 CPUtime=8.13 cores=0-7 /proc/31155/task/31268/stat : 31268 (java) R 31153 31153 23748 0 -1 4202560 225 0 0 0 813 0 0 0 20 0 28 0 476366651 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818160865248 139819265284749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31269] ppid=31153 vsize=28768336 memory=2496 CPUtime=8.21 cores=0-7 /proc/31155/task/31269/stat : 31269 (java) R 31153 31153 23748 0 -1 4202560 192 0 0 0 821 0 0 0 20 0 28 0 476366652 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818154548872 139819263145649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31270] ppid=31153 vsize=28768336 memory=1760 CPUtime=8.17 cores=0-7 /proc/31155/task/31270/stat : 31270 (java) R 31153 31153 23748 0 -1 4202560 1148 0 0 0 814 3 0 0 20 0 28 0 476366652 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818157706872 139819262817744 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31271] ppid=31153 vsize=28768336 memory=111636 CPUtime=8.16 cores=0-7 /proc/31155/task/31271/stat : 31271 (java) R 31153 31153 23748 0 -1 4202560 401 0 0 0 815 1 0 0 20 0 28 0 476366652 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818159812520 139819263347688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31272] ppid=31153 vsize=28768336 memory=2020 CPUtime=8.21 cores=0-7 /proc/31155/task/31272/stat : 31272 (java) R 31153 31153 23748 0 -1 4202560 291 0 0 0 821 0 0 0 20 0 28 0 476366652 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818156654584 139819265284982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31273] ppid=31153 vsize=28768336 memory=1432 CPUtime=8.21 cores=0-7 /proc/31155/task/31273/stat : 31273 (java) R 31153 31153 23748 0 -1 4202560 900 0 0 0 820 1 0 0 20 0 28 0 476366652 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818155602088 139819255701174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 [pid=31155/tid=31274] ppid=31153 vsize=28768336 memory=1452 CPUtime=8.04 cores=0-7 /proc/31155/task/31274/stat : 31274 (java) R 31153 31153 23748 0 -1 4202560 289 0 0 0 803 1 0 0 20 0 28 0 476366652 29458776064 284618 33554432000 4194304 4196468 140730974175424 139818158760152 139819265284977 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140730974184412 140730974184587 140730974184587 140730974187471 0 Current children cumulated CPU time: 670.89 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1139924 KiB Child status: 0 Real time (s): 85.178 CPU time (s): 671.289 CPU user time (s): 670.44 CPU system time (s): 0.848791 CPU usage (%): 788.102 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 1139924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 670.44 system time used= 0.848791 maximum resident set size= 1140240 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 90314 page faults= 0 swaps= 0 block input operations= 0 block output operations= 248 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8285 involuntary context switches= 8590 # summary of solver processes directly reported to runsolver: # pid: 31153 # total CPU time (s): 671.289 # total CPU user time (s): 670.44 # total CPU system time (s): 0.848791 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.932472 second user time and 0.854491 second system time The end
Begin job on node145 at 2019-09-20 20:29:43 IDJOB=4405021 IDBENCH=126778 IDSOLVER=2866 FILE ID=node145/4405021-1569004225 RUNJOBID= node145-1568994215-23775 PBS_JOBID= 21704717 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-15-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405021-1569004225/watcher-4405021-1569004225 -o /var/tmp/evaluation-result-4405021-1569004225/solver-4405021-1569004225 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 187214390 HOME/instance-4405021-1569004225.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 274e3e67607724bfcca0861611bdfa28 RANDOM SEED=187214390 node145.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.59 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.59 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.59 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.59 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: 25764460 kB MemAvailable: 31819152 kB Buffers: 97016 kB Cached: 6119492 kB SwapCached: 32484 kB Active: 3019180 kB Inactive: 3232936 kB Active(anon): 5096 kB Inactive(anon): 79836 kB Active(file): 3014084 kB Inactive(file): 3153100 kB Unevictable: 110664 kB Mlocked: 110664 kB SwapTotal: 67108860 kB SwapFree: 66966844 kB Dirty: 26308 kB Writeback: 0 kB AnonPages: 115612 kB Mapped: 50888 kB Shmem: 40640 kB Slab: 344872 kB SReclaimable: 315968 kB SUnreclaim: 28904 kB KernelStack: 3648 kB PageTables: 6280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506808 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13488 MiB End job on node145 at 2019-09-20 20:31:08