Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 4 | 208.035 | 27.0507 |
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 | 69.7539 |
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-4399921-1568704960.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399921-1568704960.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.92/1.47 c solve instance... 6.16/1.66 o 13 6.16/1.68 o 12 6.93/1.71 o 11 6.93/1.74 o 10 7.69/1.83 o 9 8.42/1.95 o 8 10.63/2.22 o 7 58.98/8.40 o 6 148.12/19.55 o 5 151.30/19.96 o 4 207.74/27.03 s OPTIMUM FOUND 207.74/27.03 v <instantiation> 207.74/27.03 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> 207.74/27.03 v <values>0 29 5 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 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 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 1 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 1 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 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 0 1 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 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 0 0 0 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 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 4 3 3 2 </values> 207.74/27.03 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 (14843 MiB free) memory of node 1: 16384 MiB (15404 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399921-1568704960/watcher-4399921-1568704960 -o /tmp/evaluation-result-4399921-1568704960/solver-4399921-1568704960 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568700731-21591 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1108845275 HOME/instance-4399921-1568704960.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=22678, runsolver pid=22675 [startup+0.100112 s]* /proc/loadavg: 7.73 7.41 7.53 2/212 22699 /proc/meminfo: memFree=30957560/32770624 swapFree=67004312/67108860 [pid=22678] ppid=22675 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22678/stat : 22678 (xcsp3-exec) S 22675 22678 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446657636 115843072 363 33554432000 4194304 5098028 140735613330064 140735613328168 140616487142012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39153664 140735613334389 140735613334633 140735613334633 140735613337546 0 /proc/22678/statm: 28282 363 304 221 0 87 0 [pid=22680] ppid=22678 vsize=28227396 memory=30184 CPUtime=0.12 cores=0-7 /proc/22680/stat : 22680 (java) S 22678 22678 21564 0 -1 1077944320 5954 0 0 0 11 1 0 0 20 0 20 0 446657636 28904853504 7546 33554432000 4194304 4196468 140725418442480 140725418425024 139961156759287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 /proc/22680/statm: 7056849 7546 3147 1 0 7019032 0 [pid=22680/tid=22681] ppid=22678 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/22680/task/22681/stat : 22681 (java) R 22678 22678 21564 0 -1 4202560 3864 0 0 0 8 0 0 0 20 0 20 0 446657636 28904853504 7546 33554432000 4194304 4196468 140725418442480 139961160992560 139961156771222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22682] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22682/stat : 22682 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 7546 33554432000 4194304 4196468 140725418442480 139961109380240 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22683] ppid=22678 vsize=28227396 memory=288370762887034496 CPUtime=0 cores=0-7 /proc/22680/task/22683/stat : 22683 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 7546 33554432000 4194304 4196468 140725418442480 139961108327440 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22684] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22684/stat : 22684 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 7546 33554432000 4194304 4196468 140725418442480 139961107274640 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22685] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22685/stat : 22685 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960705211152 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22686] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22686/stat : 22686 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960704158352 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22687] ppid=22678 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22680/task/22687/stat : 22687 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960703105552 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22688] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22688/stat : 22688 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960702052752 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22689] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22689/stat : 22689 (java) S 22678 22678 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960700999952 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22690] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22690/stat : 22690 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657638 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960138873712 139961156770434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22691] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22691/stat : 22691 (java) S 22678 22678 21564 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446657639 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960137819680 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22692] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22692/stat : 22692 (java) S 22678 22678 21564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446657639 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960136766832 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22693] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22693/stat : 22693 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657642 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960135715152 139961156777883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22694] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22694/stat : 22694 (java) R 22678 22678 21564 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 446657642 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960134662512 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22695] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22695/stat : 22695 (java) R 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657642 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960133609712 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22696] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22696/stat : 22696 (java) S 22678 22678 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446657642 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960132556912 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22697] ppid=22678 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/22680/task/22697/stat : 22697 (java) R 22678 22678 21564 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 446657642 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960131504112 139961156771222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22698] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22698/stat : 22698 (java) S 22678 22678 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446657642 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960130452576 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22699] ppid=22678 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22680/task/22699/stat : 22699 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657642 28904853504 7546 33554432000 4194304 4196468 140725418442480 139960129399856 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31636 KiB [startup+0.210311 s]* /proc/loadavg: 7.73 7.41 7.53 2/212 22699 /proc/meminfo: memFree=30946000/32770624 swapFree=67004312/67108860 [pid=22678] ppid=22675 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22678/stat : 22678 (xcsp3-exec) S 22675 22678 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446657636 115843072 363 33554432000 4194304 5098028 140735613330064 140735613328168 140616487142012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39153664 140735613334389 140735613334633 140735613334633 140735613337546 0 /proc/22678/statm: 28282 363 304 221 0 87 0 [pid=22680] ppid=22678 vsize=28227396 memory=40280 CPUtime=0.34 cores=0-7 /proc/22680/stat : 22680 (java) S 22678 22678 21564 0 -1 1077944320 9349 0 0 0 31 3 0 0 20 0 20 0 446657636 28904853504 10070 33554432000 4194304 4196468 140725418442480 140725418425024 139961156759287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 /proc/22680/statm: 7056849 10070 3262 1 0 7019032 0 [pid=22680/tid=22681] ppid=22678 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/22680/task/22681/stat : 22681 (java) R 22678 22678 21564 0 -1 4202560 6625 0 0 0 18 1 0 0 20 0 20 0 446657636 28904853504 10070 33554432000 4194304 4196468 140725418442480 139961160992016 139961140839774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22682] ppid=22678 vsize=28227396 memory=14967 CPUtime=0 cores=0-7 /proc/22680/task/22682/stat : 22682 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 10070 33554432000 4194304 4196468 140725418442480 139961109380240 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22683] ppid=22678 vsize=28227396 memory=140386735342855 CPUtime=0 cores=0-7 /proc/22680/task/22683/stat : 22683 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 10070 33554432000 4194304 4196468 140725418442480 139961108327440 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22684] ppid=22678 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22680/task/22684/stat : 22684 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 10070 33554432000 4194304 4196468 140725418442480 139961107274640 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22685] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22685/stat : 22685 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960705211152 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22686] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22686/stat : 22686 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960704158352 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22687] ppid=22678 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22680/task/22687/stat : 22687 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960703105552 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22688] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22688/stat : 22688 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960702052752 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22689] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22689/stat : 22689 (java) S 22678 22678 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446657637 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960700999952 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22690] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22690/stat : 22690 (java) S 22678 22678 21564 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446657638 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960138873712 139961156770434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22691] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22691/stat : 22691 (java) S 22678 22678 21564 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446657639 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960137819680 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22692] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22692/stat : 22692 (java) S 22678 22678 21564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446657639 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960136766832 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22693] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22693/stat : 22693 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657642 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960135715152 139961156777883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22694] ppid=22678 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/22680/task/22694/stat : 22694 (java) S 22678 22678 21564 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 20 0 446657642 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960134662512 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22695] ppid=22678 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/22680/task/22695/stat : 22695 (java) S 22678 22678 21564 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 446657642 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960133609712 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22696] ppid=22678 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/22680/task/22696/stat : 22696 (java) S 22678 22678 21564 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 446657642 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960132556912 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22697] ppid=22678 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/22680/task/22697/stat : 22697 (java) S 22678 22678 21564 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 20 0 446657642 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960131504112 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22698] ppid=22678 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22698/stat : 22698 (java) S 22678 22678 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446657642 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960130452576 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22699] ppid=22678 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22680/task/22699/stat : 22699 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657642 28904853504 10070 33554432000 4194304 4196468 140725418442480 139960129399856 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41732 KiB [startup+0.309522 s]* /proc/loadavg: 7.73 7.41 7.53 5/212 22699 /proc/meminfo: memFree=30937860/32770624 swapFree=67004312/67108860 [pid=22678] ppid=22675 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22678/stat : 22678 (xcsp3-exec) S 22675 22678 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446657636 115843072 363 33554432000 4194304 5098028 140735613330064 140735613328168 140616487142012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39153664 140735613334389 140735613334633 140735613334633 140735613337546 0 /proc/22678/statm: 28282 363 304 221 0 87 0 [pid=22680] ppid=22678 vsize=28231652 memory=50012 CPUtime=0.53 cores=0-7 /proc/22680/stat : 22680 (java) S 22678 22678 21564 0 -1 1077944320 10824 0 0 0 49 4 0 0 20 0 20 0 446657636 28909211648 12503 33554432000 4194304 4196468 140725418442480 140725418425024 139961156759287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 /proc/22680/statm: 7057913 12503 3370 1 0 7019032 0 [pid=22680/tid=22681] ppid=22678 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/22680/task/22681/stat : 22681 (java) R 22678 22678 21564 0 -1 4202560 7728 0 0 0 27 2 0 0 20 0 20 0 446657636 28909211648 12503 33554432000 4194304 4196468 140725418442480 139961160990400 139961140839774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22682] ppid=22678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22682/stat : 22682 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28909211648 12503 33554432000 4194304 4196468 140725418442480 139961109380240 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22683] ppid=22678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22683/stat : 22683 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28909211648 12503 33554432000 4194304 4196468 140725418442480 139961108327440 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22684] ppid=22678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22684/stat : 22684 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657637 28909211648 12503 33554432000 4194304 4196468 140725418442480 139961107274640 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22685] ppid=22678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22685/stat : 22685 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960705211152 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22686] ppid=22678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22686/stat : 22686 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657637 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960704158352 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22687] ppid=22678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22687/stat : 22687 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657637 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960703105552 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22688] ppid=22678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22688/stat : 22688 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960702052752 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22689] ppid=22678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22689/stat : 22689 (java) S 22678 22678 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446657637 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960700999952 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22690] ppid=22678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22690/stat : 22690 (java) S 22678 22678 21564 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446657638 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960138873712 139961156770434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22691] ppid=22678 vsize=28231652 memory=280773152415104 CPUtime=0 cores=0-7 /proc/22680/task/22691/stat : 22691 (java) S 22678 22678 21564 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446657639 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960137819680 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22692] ppid=22678 vsize=28231652 memory=280773152419712 CPUtime=0 cores=0-7 /proc/22680/task/22692/stat : 22692 (java) S 22678 22678 21564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446657639 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960136766832 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22693] ppid=22678 vsize=28231652 memory=280773152424320 CPUtime=0 cores=0-7 /proc/22680/task/22693/stat : 22693 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657642 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960135715152 139961156777883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22694] ppid=22678 vsize=28231652 memory=280773152428928 CPUtime=0.02 cores=0-7 /proc/22680/task/22694/stat : 22694 (java) S 22678 22678 21564 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 20 0 446657642 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960134662512 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22695] ppid=22678 vsize=28231652 memory=280773152433536 CPUtime=0.04 cores=0-7 /proc/22680/task/22695/stat : 22695 (java) R 22678 22678 21564 0 -1 4202560 242 0 0 0 4 0 0 0 20 0 20 0 446657642 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960133600096 139961141149104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22696] ppid=22678 vsize=28231652 memory=280773152438144 CPUtime=0.02 cores=0-7 /proc/22680/task/22696/stat : 22696 (java) S 22678 22678 21564 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 20 0 446657642 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960132556912 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22697] ppid=22678 vsize=28231652 memory=280773152442752 CPUtime=0.12 cores=0-7 /proc/22680/task/22697/stat : 22697 (java) S 22678 22678 21564 0 -1 1077944384 940 0 0 0 12 0 0 0 20 0 20 0 446657642 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960131504112 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22698] ppid=22678 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22698/stat : 22698 (java) S 22678 22678 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446657642 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960130452576 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22699] ppid=22678 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/22680/task/22699/stat : 22699 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657642 28909211648 12503 33554432000 4194304 4196468 140725418442480 139960129399856 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51464 KiB [startup+0.700906 s] /proc/loadavg: 7.73 7.41 7.53 5/212 22699 /proc/meminfo: memFree=30913312/32770624 swapFree=67004312/67108860 [pid=22678] ppid=22675 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22678/stat : 22678 (xcsp3-exec) S 22675 22678 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446657636 115843072 363 33554432000 4194304 5098028 140735613330064 140735613328168 140616487142012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39153664 140735613334389 140735613334633 140735613334633 140735613337546 0 /proc/22678/statm: 28282 363 304 221 0 87 0 [pid=22680] ppid=22678 vsize=28233776 memory=100416 CPUtime=1.97 cores=0-7 /proc/22680/stat : 22680 (java) S 22678 22678 21564 0 -1 1077944320 16427 0 0 0 192 5 0 0 20 0 20 0 446657636 28911386624 25104 33554432000 4194304 4196468 140725418442480 140725418425024 139961156759287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 /proc/22680/statm: 7058444 25104 3454 1 0 7019544 0 [pid=22680/tid=22681] ppid=22678 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/22680/task/22681/stat : 22681 (java) R 22678 22678 21564 0 -1 4202560 8901 0 0 0 65 3 0 0 20 0 20 0 446657636 28911386624 25104 33554432000 4194304 4196468 140725418442480 139961160994320 139960787217641 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22682] ppid=22678 vsize=28233776 memory=140386576409472 CPUtime=0 cores=0-7 /proc/22680/task/22682/stat : 22682 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28911386624 25104 33554432000 4194304 4196468 140725418442480 139961109380240 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22683] ppid=22678 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22683/stat : 22683 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446657637 28911386624 25104 33554432000 4194304 4196468 140725418442480 139961108327440 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22684] ppid=22678 vsize=28233776 memory=1052 CPUtime=0 cores=0-7 /proc/22680/task/22684/stat : 22684 (java) S 22678 22678 21564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446657637 28911386624 25104 33554432000 4194304 4196468 140725418442480 139961107274640 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 ################ # More data... # ################ [pid=22680/tid=22697] ppid=22678 vsize=28768336 memory=0 CPUtime=1.18 cores=0-7 /proc/22680/task/22697/stat : 22697 (java) S 22678 22678 21564 0 -1 1077944384 10802 0 0 0 115 3 0 0 20 0 28 0 446657642 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960131504112 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22698] ppid=22678 vsize=28768336 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/22680/task/22698/stat : 22698 (java) S 22678 22678 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446657642 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960130452576 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22699] ppid=22678 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22699/stat : 22699 (java) S 22678 22678 21564 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 28 0 446657642 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960129399856 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22780] ppid=22678 vsize=28768336 memory=0 CPUtime=6.65 cores=0-7 /proc/22680/task/22780/stat : 22780 (java) R 22678 22678 21564 0 -1 4202560 303 0 0 0 665 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960112819432 139960795557536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22781] ppid=22678 vsize=28768336 memory=0 CPUtime=6.71 cores=0-7 /proc/22680/task/22781/stat : 22781 (java) R 22678 22678 21564 0 -1 4202560 111 0 0 0 671 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960113872984 139960797353690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22782] ppid=22678 vsize=28768336 memory=0 CPUtime=6.7 cores=0-7 /proc/22680/task/22782/stat : 22782 (java) R 22678 22678 21564 0 -1 4202560 187 0 0 0 670 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960114925608 139960797353905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22783] ppid=22678 vsize=28768336 memory=1452 CPUtime=6.65 cores=0-7 /proc/22680/task/22783/stat : 22783 (java) R 22678 22678 21564 0 -1 4202560 989 0 0 0 662 3 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960115978264 139960796169083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22784] ppid=22678 vsize=28768336 memory=519600 CPUtime=6.55 cores=0-7 /proc/22680/task/22784/stat : 22784 (java) R 22678 22678 21564 0 -1 4202560 1035 0 0 0 655 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960111767336 139960795485608 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22785] ppid=22678 vsize=28768336 memory=6944656592455097440 CPUtime=6.59 cores=0-7 /proc/22680/task/22785/stat : 22785 (java) R 22678 22678 21564 0 -1 4202560 921 0 0 0 659 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960110714488 139960797762911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22786] ppid=22678 vsize=28768336 memory=6944652177228980320 CPUtime=6.56 cores=0-7 /proc/22680/task/22786/stat : 22786 (java) R 22678 22678 21564 0 -1 4202560 684 0 0 0 656 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960117031464 139960798056643 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22787] ppid=22678 vsize=28768336 memory=6943526294502006880 CPUtime=6.67 cores=0-7 /proc/22680/task/22787/stat : 22787 (java) R 22678 22678 21564 0 -1 4202560 249 0 0 0 667 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960118083832 139960797762803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 Current children cumulated CPU time: 205.35 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 596964 KiB [startup+26.9102 s] /proc/loadavg: 7.99 7.51 7.56 9/220 22787 /proc/meminfo: memFree=30403068/32770624 swapFree=67004312/67108860 [pid=22678] ppid=22675 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22678/stat : 22678 (xcsp3-exec) S 22675 22678 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446657636 115843072 363 33554432000 4194304 5098028 140735613330064 140735613328168 140616487142012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39153664 140735613334389 140735613334633 140735613334633 140735613337546 0 /proc/22678/statm: 28282 363 304 221 0 87 0 [pid=22680] ppid=22678 vsize=28768336 memory=595512 CPUtime=207.02 cores=0-7 /proc/22680/stat : 22680 (java) S 22678 22678 21564 0 -1 1077944320 73115 0 0 0 20652 50 0 0 20 0 28 0 446657636 29458776064 148878 33554432000 4194304 4196468 140725418442480 140725418425024 139961156759287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 /proc/22680/statm: 7192084 148878 3544 1 0 7153184 0 [pid=22680/tid=22681] ppid=22678 vsize=28768336 memory=16106965717748364 CPUtime=1.45 cores=0-7 /proc/22680/task/22681/stat : 22681 (java) S 22678 22678 21564 0 -1 1077944384 11579 0 0 0 140 5 0 0 20 0 28 0 446657636 29458776064 148878 33554432000 4194304 4196468 140725418442480 139961161000064 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22682] ppid=22678 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7 /proc/22680/task/22682/stat : 22682 (java) S 22678 22678 21564 0 -1 1077944384 990 0 0 0 2 1 0 0 20 0 28 0 446657637 29458776064 148878 33554432000 4194304 4196468 140725418442480 139961109380240 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22683] ppid=22678 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7 /proc/22680/task/22683/stat : 22683 (java) S 22678 22678 21564 0 -1 1077944384 233 0 0 0 2 1 0 0 20 0 28 0 446657637 29458776064 148878 33554432000 4194304 4196468 140725418442480 139961108327440 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22684] ppid=22678 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/22680/task/22684/stat : 22684 (java) S 22678 22678 21564 0 -1 1077944384 422 0 0 0 3 2 0 0 20 0 28 0 446657637 29458776064 148878 33554432000 4194304 4196468 140725418442480 139961107274640 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22685] ppid=22678 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/22680/task/22685/stat : 22685 (java) S 22678 22678 21564 0 -1 1077944384 148 0 0 0 3 2 0 0 20 0 28 0 446657637 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960705211152 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22686] ppid=22678 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/22680/task/22686/stat : 22686 (java) S 22678 22678 21564 0 -1 1077944384 136 0 0 0 3 2 0 0 20 0 28 0 446657637 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960704158352 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22687] ppid=22678 vsize=28768336 memory=-6582100316878584662 CPUtime=0.04 cores=0-7 /proc/22680/task/22687/stat : 22687 (java) S 22678 22678 21564 0 -1 1077944384 208 0 0 0 2 2 0 0 20 0 28 0 446657637 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960703105552 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22688] ppid=22678 vsize=28768336 memory=6944652177228980320 CPUtime=0.05 cores=0-7 /proc/22680/task/22688/stat : 22688 (java) S 22678 22678 21564 0 -1 1077944384 221 0 0 0 3 2 0 0 20 0 28 0 446657637 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960702052752 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22689] ppid=22678 vsize=28768336 memory=6944652177228980320 CPUtime=0.04 cores=0-7 /proc/22680/task/22689/stat : 22689 (java) S 22678 22678 21564 0 -1 1077944384 154 0 0 0 3 1 0 0 20 0 28 0 446657637 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960700999952 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22690] ppid=22678 vsize=28768336 memory=6944656592455360604 CPUtime=0.02 cores=0-7 /proc/22680/task/22690/stat : 22690 (java) S 22678 22678 21564 0 -1 1077944384 933 0 0 0 1 1 0 0 20 0 28 0 446657638 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960138873712 139961156770434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22691] ppid=22678 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22691/stat : 22691 (java) S 22678 22678 21564 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 446657639 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960137819744 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22692] ppid=22678 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/22680/task/22692/stat : 22692 (java) S 22678 22678 21564 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 446657639 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960136766848 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22693] ppid=22678 vsize=28768336 memory=665105671459981219 CPUtime=0 cores=0-7 /proc/22680/task/22693/stat : 22693 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446657642 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960135715152 139961156777883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22694] ppid=22678 vsize=28768336 memory=6791534058613427641 CPUtime=3.35 cores=0-7 /proc/22680/task/22694/stat : 22694 (java) S 22678 22678 21564 0 -1 1077944384 13068 0 0 0 332 3 0 0 20 0 28 0 446657642 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960134662512 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22695] ppid=22678 vsize=28768336 memory=1412 CPUtime=3.33 cores=0-7 /proc/22680/task/22695/stat : 22695 (java) S 22678 22678 21564 0 -1 1077944384 8967 0 0 0 332 1 0 0 20 0 28 0 446657642 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960133609712 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22696] ppid=22678 vsize=28768336 memory=2992 CPUtime=3.22 cores=0-7 /proc/22680/task/22696/stat : 22696 (java) S 22678 22678 21564 0 -1 1077944384 8609 0 0 0 320 2 0 0 20 0 28 0 446657642 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960132556912 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22697] ppid=22678 vsize=28768336 memory=1452 CPUtime=1.18 cores=0-7 /proc/22680/task/22697/stat : 22697 (java) S 22678 22678 21564 0 -1 1077944384 10802 0 0 0 115 3 0 0 20 0 28 0 446657642 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960131504112 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22698] ppid=22678 vsize=28768336 memory=428580 CPUtime=0 cores=0-7 /proc/22680/task/22698/stat : 22698 (java) S 22678 22678 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446657642 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960130452576 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22699] ppid=22678 vsize=28768336 memory=1764 CPUtime=0 cores=0-7 /proc/22680/task/22699/stat : 22699 (java) S 22678 22678 21564 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 28 0 446657642 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960129399856 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22780] ppid=22678 vsize=28768336 memory=1398722017469774279 CPUtime=6.86 cores=0-7 /proc/22680/task/22780/stat : 22780 (java) R 22678 22678 21564 0 -1 4202560 304 0 0 0 686 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960112819432 139960797353815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22781] ppid=22678 vsize=28768336 memory=7548 CPUtime=6.92 cores=0-7 /proc/22680/task/22781/stat : 22781 (java) R 22678 22678 21564 0 -1 4202560 112 0 0 0 692 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960113872984 139960797353815 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22782] ppid=22678 vsize=28768336 memory=4004 CPUtime=6.91 cores=0-7 /proc/22680/task/22782/stat : 22782 (java) R 22678 22678 21564 0 -1 4202560 188 0 0 0 691 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960114925608 139960797960404 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22783] ppid=22678 vsize=28768336 memory=2832 CPUtime=6.86 cores=0-7 /proc/22680/task/22783/stat : 22783 (java) R 22678 22678 21564 0 -1 4202560 1001 0 0 0 683 3 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960115978264 139960796448528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22784] ppid=22678 vsize=28768336 memory=0 CPUtime=6.76 cores=0-7 /proc/22680/task/22784/stat : 22784 (java) R 22678 22678 21564 0 -1 4202560 1036 0 0 0 676 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960111767336 139960795485051 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22785] ppid=22678 vsize=28768336 memory=237786569421184 CPUtime=6.8 cores=0-7 /proc/22680/task/22785/stat : 22785 (java) R 22678 22678 21564 0 -1 4202560 923 0 0 0 680 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960110714488 139960797353899 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22786] ppid=22678 vsize=28768336 memory=237786569421185 CPUtime=6.77 cores=0-7 /proc/22680/task/22786/stat : 22786 (java) R 22678 22678 21564 0 -1 4202560 685 0 0 0 677 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960117031464 139960797745026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22787] ppid=22678 vsize=28768336 memory=0 CPUtime=6.88 cores=0-7 /proc/22680/task/22787/stat : 22787 (java) R 22678 22678 21564 0 -1 4202560 250 0 0 0 688 0 0 0 20 0 28 0 446659632 29458776064 148878 33554432000 4194304 4196468 140725418442480 139960118083832 139960796169161 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 Current children cumulated CPU time: 207.02 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 596964 KiB [startup+27.0012 s] /proc/loadavg: 7.99 7.51 7.56 9/220 22787 /proc/meminfo: memFree=30403068/32770624 swapFree=67004312/67108860 [pid=22678] ppid=22675 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22678/stat : 22678 (xcsp3-exec) S 22675 22678 21564 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446657636 115843072 363 33554432000 4194304 5098028 140735613330064 140735613328168 140616487142012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39153664 140735613334389 140735613334633 140735613334633 140735613337546 0 /proc/22678/statm: 28282 363 304 221 0 87 0 [pid=22680] ppid=22678 vsize=28768336 memory=601656 CPUtime=207.74 cores=0-7 /proc/22680/stat : 22680 (java) S 22678 22678 21564 0 -1 1077944320 73127 0 0 0 20724 50 0 0 20 0 28 0 446657636 29458776064 150414 33554432000 4194304 4196468 140725418442480 140725418425024 139961156759287 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 /proc/22680/statm: 7192084 150414 3544 1 0 7153184 0 [pid=22680/tid=22681] ppid=22678 vsize=28768336 memory=1452 CPUtime=1.45 cores=0-7 /proc/22680/task/22681/stat : 22681 (java) S 22678 22678 21564 0 -1 1077944384 11579 0 0 0 140 5 0 0 20 0 28 0 446657636 29458776064 150414 33554432000 4194304 4196468 140725418442480 139961161000064 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22682] ppid=22678 vsize=28768336 memory=595512 CPUtime=0.03 cores=0-7 /proc/22680/task/22682/stat : 22682 (java) S 22678 22678 21564 0 -1 1077944384 990 0 0 0 2 1 0 0 20 0 28 0 446657637 29458776064 150414 33554432000 4194304 4196468 140725418442480 139961109380240 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22683] ppid=22678 vsize=28768336 memory=1452 CPUtime=0.03 cores=0-7 /proc/22680/task/22683/stat : 22683 (java) S 22678 22678 21564 0 -1 1077944384 233 0 0 0 2 1 0 0 20 0 28 0 446657637 29458776064 150414 33554432000 4194304 4196468 140725418442480 139961108327440 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22684] ppid=22678 vsize=28768336 memory=1452 CPUtime=0.05 cores=0-7 /proc/22680/task/22684/stat : 22684 (java) S 22678 22678 21564 0 -1 1077944384 422 0 0 0 3 2 0 0 20 0 28 0 446657637 29458776064 150414 33554432000 4194304 4196468 140725418442480 139961107274640 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22685] ppid=22678 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/22680/task/22685/stat : 22685 (java) S 22678 22678 21564 0 -1 1077944384 148 0 0 0 3 2 0 0 20 0 28 0 446657637 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960705211152 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22686] ppid=22678 vsize=28768336 memory=7380953827528501568 CPUtime=0.05 cores=0-7 /proc/22680/task/22686/stat : 22686 (java) S 22678 22678 21564 0 -1 1077944384 136 0 0 0 3 2 0 0 20 0 28 0 446657637 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960704158352 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22687] ppid=22678 vsize=28768336 memory=1560 CPUtime=0.04 cores=0-7 /proc/22680/task/22687/stat : 22687 (java) S 22678 22678 21564 0 -1 1077944384 208 0 0 0 2 2 0 0 20 0 28 0 446657637 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960703105552 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22688] ppid=22678 vsize=28768336 memory=924 CPUtime=0.05 cores=0-7 /proc/22680/task/22688/stat : 22688 (java) S 22678 22678 21564 0 -1 1077944384 221 0 0 0 3 2 0 0 20 0 28 0 446657637 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960702052752 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22689] ppid=22678 vsize=28768336 memory=1692 CPUtime=0.04 cores=0-7 /proc/22680/task/22689/stat : 22689 (java) S 22678 22678 21564 0 -1 1077944384 154 0 0 0 3 1 0 0 20 0 28 0 446657637 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960700999952 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22690] ppid=22678 vsize=28768336 memory=428508 CPUtime=0.02 cores=0-7 /proc/22680/task/22690/stat : 22690 (java) S 22678 22678 21564 0 -1 1077944384 936 0 0 0 1 1 0 0 20 0 28 0 446657638 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960138873712 139961156770434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22691] ppid=22678 vsize=28768336 memory=305716 CPUtime=0 cores=0-7 /proc/22680/task/22691/stat : 22691 (java) S 22678 22678 21564 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 446657639 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960137819744 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22692] ppid=22678 vsize=28768336 memory=213448 CPUtime=0 cores=0-7 /proc/22680/task/22692/stat : 22692 (java) S 22678 22678 21564 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 446657639 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960136766848 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22693] ppid=22678 vsize=28768336 memory=5 CPUtime=0 cores=0-7 /proc/22680/task/22693/stat : 22693 (java) S 22678 22678 21564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446657642 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960135715152 139961156777883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22694] ppid=22678 vsize=28768336 memory=5 CPUtime=3.35 cores=0-7 /proc/22680/task/22694/stat : 22694 (java) S 22678 22678 21564 0 -1 1077944384 13068 0 0 0 332 3 0 0 20 0 28 0 446657642 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960134662512 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22695] ppid=22678 vsize=28768336 memory=4 CPUtime=3.33 cores=0-7 /proc/22680/task/22695/stat : 22695 (java) S 22678 22678 21564 0 -1 1077944384 8967 0 0 0 332 1 0 0 20 0 28 0 446657642 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960133609712 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22696] ppid=22678 vsize=28768336 memory=476252 CPUtime=3.22 cores=0-7 /proc/22680/task/22696/stat : 22696 (java) S 22678 22678 21564 0 -1 1077944384 8609 0 0 0 320 2 0 0 20 0 28 0 446657642 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960132556912 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22697] ppid=22678 vsize=28768336 memory=3588 CPUtime=1.18 cores=0-7 /proc/22680/task/22697/stat : 22697 (java) S 22678 22678 21564 0 -1 1077944384 10802 0 0 0 115 3 0 0 20 0 28 0 446657642 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960131504112 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22698] ppid=22678 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/22680/task/22698/stat : 22698 (java) S 22678 22678 21564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446657642 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960130452576 139961156769493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22699] ppid=22678 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/22680/task/22699/stat : 22699 (java) S 22678 22678 21564 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 28 0 446657642 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960129399856 139961156770434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22780] ppid=22678 vsize=28768336 memory=6791534058613427641 CPUtime=6.95 cores=0-7 /proc/22680/task/22780/stat : 22780 (java) R 22678 22678 21564 0 -1 4202560 304 0 0 0 695 0 0 0 20 0 28 0 446659632 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960112819432 139960796168148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22781] ppid=22678 vsize=28768336 memory=432956 CPUtime=7.01 cores=0-7 /proc/22680/task/22781/stat : 22781 (java) R 22678 22678 21564 0 -1 4202560 112 0 0 0 701 0 0 0 20 0 28 0 446659632 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960113872984 139960797353924 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22782] ppid=22678 vsize=28768336 memory=280773152551392 CPUtime=7 cores=0-7 /proc/22680/task/22782/stat : 22782 (java) R 22678 22678 21564 0 -1 4202560 188 0 0 0 700 0 0 0 20 0 28 0 446659632 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960114925608 139960797353649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22783] ppid=22678 vsize=28768336 memory=28829630602021044 CPUtime=6.95 cores=0-7 /proc/22680/task/22783/stat : 22783 (java) R 22678 22678 21564 0 -1 4202560 1006 0 0 0 692 3 0 0 20 0 28 0 446659632 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960115978264 139960797353757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22784] ppid=22678 vsize=28768336 memory=504 CPUtime=6.86 cores=0-7 /proc/22680/task/22784/stat : 22784 (java) R 22678 22678 21564 0 -1 4202560 1040 0 0 0 685 1 0 0 20 0 28 0 446659632 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960111767336 139960796039000 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22785] ppid=22678 vsize=28768336 memory=1560 CPUtime=6.89 cores=0-7 /proc/22680/task/22785/stat : 22785 (java) R 22678 22678 21564 0 -1 4202560 923 0 0 0 689 0 0 0 20 0 28 0 446659632 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960110714488 139960797353924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22786] ppid=22678 vsize=28768336 memory=1452 CPUtime=6.86 cores=0-7 /proc/22680/task/22786/stat : 22786 (java) R 22678 22678 21564 0 -1 4202560 685 0 0 0 686 0 0 0 20 0 28 0 446659632 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960117031464 139960797762887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 [pid=22680/tid=22787] ppid=22678 vsize=28768336 memory=581176 CPUtime=6.96 cores=0-7 /proc/22680/task/22787/stat : 22787 (java) R 22678 22678 21564 0 -1 4202560 250 0 0 0 696 0 0 0 20 0 28 0 446659632 29458776064 150414 33554432000 4194304 4196468 140725418442480 139960118083832 139960797353649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33828864 140725418447850 140725418448022 140725418448022 140725418450895 0 Current children cumulated CPU time: 207.74 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 603108 KiB Child status: 0 Real time (s): 27.0507 CPU time (s): 208.035 CPU user time (s): 207.518 CPU system time (s): 0.51693 CPU usage (%): 769.056 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 603108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 207.518 system time used= 0.51693 maximum resident set size= 601848 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75150 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6562 involuntary context switches= 3332 # summary of solver processes directly reported to runsolver: # pid: 22678 # total CPU time (s): 208.035 # total CPU user time (s): 207.518 # total CPU system time (s): 0.51693 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.279708 second user time and 0.309558 second system time The end
Begin job on node148 at 2019-09-17 09:22:04 IDJOB=4399921 IDBENCH=126778 IDSOLVER=2854 FILE ID=node148/4399921-1568704960 RUNJOBID= node148-1568700731-21591 PBS_JOBID= 21703904 Free space on /tmp= 61308 MiB SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4399921-1568704960/watcher-4399921-1568704960 -o /tmp/evaluation-result-4399921-1568704960/solver-4399921-1568704960 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568700731-21591 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1108845275 HOME/instance-4399921-1568704960.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 274e3e67607724bfcca0861611bdfa28 RANDOM SEED=1108845275 node148.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.13 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.13 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.13 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.13 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: 30973972 kB MemAvailable: 31897416 kB Buffers: 161052 kB Cached: 1064788 kB SwapCached: 3732 kB Active: 522172 kB Inactive: 712672 kB Active(anon): 5480 kB Inactive(anon): 52636 kB Active(file): 516692 kB Inactive(file): 660036 kB Unevictable: 108200 kB Mlocked: 108200 kB SwapTotal: 67108860 kB SwapFree: 67004312 kB Dirty: 26236 kB Writeback: 0 kB AnonPages: 271772 kB Mapped: 48364 kB Shmem: 40624 kB Slab: 154124 kB SReclaimable: 125104 kB SUnreclaim: 29020 kB KernelStack: 3728 kB PageTables: 5908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506640 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 225280 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61284 MiB End job on node148 at 2019-09-17 09:22:31