Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 4 | 278.322 | 35.9651 |
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-4393961-1568427224.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393961-1568427224.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.92/1.40 c solve instance... 6.33/1.64 o 13 6.33/1.66 o 12 7.07/1.74 o 11 8.16/1.91 o 10 8.16/1.94 o 9 8.97/2.06 o 8 10.44/2.25 o 7 114.02/15.35 o 6 194.40/25.50 o 5 199.98/26.13 o 4 277.97/35.94 s OPTIMUM FOUND 277.97/35.94 v <instantiation> 277.97/35.94 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> 277.97/35.94 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> 277.97/35.94 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 (14581 MiB free) memory of node 1: 16384 MiB (15647 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393961-1568427224/watcher-4393961-1568427224 -o /tmp/evaluation-result-4393961-1568427224/solver-4393961-1568427224 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 743244194 HOME/instance-4393961-1568427224.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16088, runsolver pid=16085 Current StackSize limit: 8192 KiB [startup+0.100169 s]* /proc/loadavg: 6.06 6.64 6.79 3/212 16109 /proc/meminfo: memFree=30936992/32770624 swapFree=66947516/67108860 [pid=16088] ppid=16085 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16088/stat : 16088 (xcsp3-exec) S 16085 16088 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418664349 115843072 364 33554432000 4194304 5098028 140729077041776 140729077039880 140555865993852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40439808 140729077044086 140729077044329 140729077044329 140729077047242 0 /proc/16088/statm: 28282 364 305 221 0 87 0 [pid=16090] ppid=16088 vsize=28227388 memory=30384 CPUtime=0.12 cores=0-7 /proc/16090/stat : 16090 (java) S 16088 16088 15751 0 -1 1077944320 5483 0 0 0 11 1 0 0 20 0 20 0 418664349 28904845312 7596 33554432000 4194304 4196468 140736212344128 140736212326672 140169389960951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 /proc/16090/statm: 7056847 7596 3160 1 0 7019032 0 [pid=16090/tid=16091] ppid=16088 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/16090/task/16091/stat : 16091 (java) R 16088 16088 15751 0 -1 4202560 3404 0 0 0 8 1 0 0 20 0 20 0 418664350 28904845312 7596 33554432000 4194304 4196468 140736212344128 140169394181848 140169389972886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16092] ppid=16088 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16090/task/16092/stat : 16092 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 7596 33554432000 4194304 4196468 140736212344128 140169346513808 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16093] ppid=16088 vsize=28227388 memory=140025712735872 CPUtime=0 cores=0-7 /proc/16090/task/16093/stat : 16093 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168940083984 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16094] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16094/stat : 16094 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168939031696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16095] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16095/stat : 16095 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168937978896 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16096] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16096/stat : 16096 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168936925584 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16097] ppid=16088 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16090/task/16097/stat : 16097 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168935872784 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16098] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16098/stat : 16098 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168934820496 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16099] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16099/stat : 16099 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168933767696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16100] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16100/stat : 16100 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664352 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168506395248 140169389972098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16101] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16101/stat : 16101 (java) S 16088 16088 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418664353 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168505341216 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16102] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16102/stat : 16102 (java) S 16088 16088 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418664353 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168504288880 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16103] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16103/stat : 16103 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664355 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168503237200 140169389979547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16104] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16104/stat : 16104 (java) S 16088 16088 15751 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 20 0 418664355 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168502184048 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16105] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16105/stat : 16105 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418664355 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168501131248 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16106] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16106/stat : 16106 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418664355 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168500078960 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16107] ppid=16088 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16090/task/16107/stat : 16107 (java) R 16088 16088 15751 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 20 0 418664355 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168499026160 140169389982298 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16108] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16108/stat : 16108 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418664356 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168497974112 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16109] ppid=16088 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16090/task/16109/stat : 16109 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664356 28904845312 7596 33554432000 4194304 4196468 140736212344128 140168496921392 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31840 KiB [startup+0.210814 s]* /proc/loadavg: 6.06 6.64 6.79 3/212 16109 /proc/meminfo: memFree=30925900/32770624 swapFree=66947516/67108860 [pid=16088] ppid=16085 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16088/stat : 16088 (xcsp3-exec) S 16085 16088 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418664349 115843072 364 33554432000 4194304 5098028 140729077041776 140729077039880 140555865993852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40439808 140729077044086 140729077044329 140729077044329 140729077047242 0 /proc/16088/statm: 28282 364 305 221 0 87 0 [pid=16090] ppid=16088 vsize=28227388 memory=40820 CPUtime=0.34 cores=0-7 /proc/16090/stat : 16090 (java) S 16088 16088 15751 0 -1 1077944320 8973 0 0 0 31 3 0 0 20 0 20 0 418664349 28904845312 10205 33554432000 4194304 4196468 140736212344128 140736212326672 140169389960951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 /proc/16090/statm: 7056847 10205 3229 1 0 7019032 0 [pid=16090/tid=16091] ppid=16088 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/16090/task/16091/stat : 16091 (java) R 16088 16088 15751 0 -1 4202560 6183 0 0 0 18 2 0 0 20 0 20 0 418664350 28904845312 10205 33554432000 4194304 4196468 140736212344128 140169394192480 140169389972886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16092] ppid=16088 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/16090/task/16092/stat : 16092 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 10205 33554432000 4194304 4196468 140736212344128 140169346513808 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16093] ppid=16088 vsize=28227388 memory=140025715827019 CPUtime=0 cores=0-7 /proc/16090/task/16093/stat : 16093 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168940083984 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16094] ppid=16088 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16090/task/16094/stat : 16094 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168939031696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16095] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16095/stat : 16095 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168937978896 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16096] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16096/stat : 16096 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168936925584 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16097] ppid=16088 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16090/task/16097/stat : 16097 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168935872784 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16098] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16098/stat : 16098 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168934820496 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16099] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16099/stat : 16099 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168933767696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16100] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16100/stat : 16100 (java) S 16088 16088 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418664352 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168506395248 140169389972098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16101] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16101/stat : 16101 (java) S 16088 16088 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418664353 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168505341216 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16102] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16102/stat : 16102 (java) S 16088 16088 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418664353 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168504288880 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16103] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16103/stat : 16103 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664355 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168503237200 140169389979547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16104] ppid=16088 vsize=28227388 memory=0 CPUtime=0.03 cores=0-7 /proc/16090/task/16104/stat : 16104 (java) S 16088 16088 15751 0 -1 1077944384 656 0 0 0 3 0 0 0 20 0 20 0 418664355 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168502184048 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16105] ppid=16088 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16090/task/16105/stat : 16105 (java) S 16088 16088 15751 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 418664355 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168501131248 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16106] ppid=16088 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16090/task/16106/stat : 16106 (java) S 16088 16088 15751 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 418664355 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168500078960 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16107] ppid=16088 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/16090/task/16107/stat : 16107 (java) R 16088 16088 15751 0 -1 4202560 751 0 0 0 7 0 0 0 20 0 20 0 418664355 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168499025968 140169369248449 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16108] ppid=16088 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16108/stat : 16108 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418664356 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168497974112 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16109] ppid=16088 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16090/task/16109/stat : 16109 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664356 28904845312 10205 33554432000 4194304 4196468 140736212344128 140168496921392 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42276 KiB [startup+0.311428 s]* /proc/loadavg: 6.06 6.64 6.79 3/212 16109 /proc/meminfo: memFree=30918832/32770624 swapFree=66947516/67108860 [pid=16088] ppid=16085 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16088/stat : 16088 (xcsp3-exec) S 16085 16088 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418664349 115843072 364 33554432000 4194304 5098028 140729077041776 140729077039880 140555865993852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40439808 140729077044086 140729077044329 140729077044329 140729077047242 0 /proc/16088/statm: 28282 364 305 221 0 87 0 [pid=16090] ppid=16088 vsize=28231644 memory=49952 CPUtime=0.52 cores=0-7 /proc/16090/stat : 16090 (java) S 16088 16088 15751 0 -1 1077944320 10380 0 0 0 48 4 0 0 20 0 20 0 418664349 28909203456 12488 33554432000 4194304 4196468 140736212344128 140736212326672 140169389960951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 /proc/16090/statm: 7057911 12488 3358 1 0 7019032 0 [pid=16090/tid=16091] ppid=16088 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/16090/task/16091/stat : 16091 (java) R 16088 16088 15751 0 -1 4202560 7327 0 0 0 27 2 0 0 20 0 20 0 418664350 28909203456 12558 33554432000 4194304 4196468 140736212344128 140169394192064 140169374041438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16092] ppid=16088 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16092/stat : 16092 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28909203456 12558 33554432000 4194304 4196468 140736212344128 140169346513808 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16093] ppid=16088 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16093/stat : 16093 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168940083984 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16094] ppid=16088 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16094/stat : 16094 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664351 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168939031696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16095] ppid=16088 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16095/stat : 16095 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418664351 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168937978896 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16096] ppid=16088 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16096/stat : 16096 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168936925584 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16097] ppid=16088 vsize=28231644 memory=140025597618863 CPUtime=0 cores=0-7 /proc/16090/task/16097/stat : 16097 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168935872784 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16098] ppid=16088 vsize=28231644 memory=140025597621168 CPUtime=0 cores=0-7 /proc/16090/task/16098/stat : 16098 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664351 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168934820496 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16099] ppid=16088 vsize=28231644 memory=140025597623472 CPUtime=0 cores=0-7 /proc/16090/task/16099/stat : 16099 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168933767696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16100] ppid=16088 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16100/stat : 16100 (java) S 16088 16088 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418664352 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168506395248 140169389972098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16101] ppid=16088 vsize=28231644 memory=280051195260816 CPUtime=0 cores=0-7 /proc/16090/task/16101/stat : 16101 (java) S 16088 16088 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418664353 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168505341216 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16102] ppid=16088 vsize=28231644 memory=280051195258512 CPUtime=0 cores=0-7 /proc/16090/task/16102/stat : 16102 (java) S 16088 16088 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418664353 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168504288880 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16103] ppid=16088 vsize=28231644 memory=280051195265424 CPUtime=0 cores=0-7 /proc/16090/task/16103/stat : 16103 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664355 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168503237200 140169389979547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16104] ppid=16088 vsize=28231644 memory=280051195206704 CPUtime=0.05 cores=0-7 /proc/16090/task/16104/stat : 16104 (java) R 16088 16088 15751 0 -1 4202560 768 0 0 0 5 0 0 0 20 0 20 0 418664355 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168502174432 140169371505135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16105] ppid=16088 vsize=28231644 memory=280051195279248 CPUtime=0.02 cores=0-7 /proc/16090/task/16105/stat : 16105 (java) S 16088 16088 15751 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 20 0 418664355 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168501131248 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16106] ppid=16088 vsize=28231644 memory=280051195286160 CPUtime=0.01 cores=0-7 /proc/16090/task/16106/stat : 16106 (java) S 16088 16088 15751 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 418664355 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168500078960 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16107] ppid=16088 vsize=28231644 memory=280051195283856 CPUtime=0.12 cores=0-7 /proc/16090/task/16107/stat : 16107 (java) S 16088 16088 15751 0 -1 1077944384 857 0 0 0 12 0 0 0 20 0 20 0 418664355 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168499026160 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16108] ppid=16088 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16108/stat : 16108 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418664356 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168497974112 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16109] ppid=16088 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/16090/task/16109/stat : 16109 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664356 28909203456 12558 33554432000 4194304 4196468 140736212344128 140168496921392 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51408 KiB [startup+0.700954 s] /proc/loadavg: 6.06 6.64 6.79 6/212 16109 /proc/meminfo: memFree=30894268/32770624 swapFree=66947516/67108860 [pid=16088] ppid=16085 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16088/stat : 16088 (xcsp3-exec) S 16085 16088 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418664349 115843072 364 33554432000 4194304 5098028 140729077041776 140729077039880 140555865993852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40439808 140729077044086 140729077044329 140729077044329 140729077047242 0 /proc/16088/statm: 28282 364 305 221 0 87 0 [pid=16090] ppid=16088 vsize=28233768 memory=97336 CPUtime=1.97 cores=0-7 /proc/16090/stat : 16090 (java) S 16088 16088 15751 0 -1 1077944320 15977 0 0 0 190 7 0 0 20 0 20 0 418664349 28911378432 24334 33554432000 4194304 4196468 140736212344128 140736212326672 140169389960951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 /proc/16090/statm: 7058442 24334 3460 1 0 7019544 0 [pid=16090/tid=16091] ppid=16088 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/16090/task/16091/stat : 16091 (java) R 16088 16088 15751 0 -1 4202560 8812 0 0 0 64 4 0 0 20 0 20 0 418664350 28911378432 24334 33554432000 4194304 4196468 140736212344128 140169394196272 140169389972886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16092] ppid=16088 vsize=28233768 memory=140025597830000 CPUtime=0 cores=0-7 /proc/16090/task/16092/stat : 16092 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28911378432 24334 33554432000 4194304 4196468 140736212344128 140169346513808 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16093] ppid=16088 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16090/task/16093/stat : 16093 (java) S 16088 16088 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418664351 28911378432 24334 33554432000 4194304 4196468 140736212344128 140168940083984 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16094] ppid=16088 vsize=28233768 memory=1200 CPUtime=0 cores=0-7 /proc/16090/task/16094/stat : 16094 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418664351 28911378432 24334 33554432000 4194304 4196468 140736212344128 140168939031696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 ################ # More data... # ################ [pid=16090/tid=16107] ppid=16088 vsize=28768328 memory=924 CPUtime=1.51 cores=0-7 /proc/16090/task/16107/stat : 16107 (java) S 16088 16088 15751 0 -1 1077944384 13672 0 0 0 146 5 0 0 20 0 28 0 418664355 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168499026160 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16108] ppid=16088 vsize=28768328 memory=4140 CPUtime=0 cores=0-7 /proc/16090/task/16108/stat : 16108 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418664356 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168497974112 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16109] ppid=16088 vsize=28768328 memory=1412 CPUtime=0.01 cores=0-7 /proc/16090/task/16109/stat : 16109 (java) S 16088 16088 15751 0 -1 1077944384 1819 0 0 0 0 1 0 0 20 0 28 0 418664356 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168496921392 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16192] ppid=16088 vsize=28768328 memory=3164 CPUtime=9.29 cores=0-7 /proc/16090/task/16192/stat : 16192 (java) R 16088 16088 15751 0 -1 4202560 488 0 0 0 929 0 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168485612936 140169034263442 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16193] ppid=16088 vsize=28768328 memory=1456 CPUtime=9.35 cores=0-7 /proc/16090/task/16193/stat : 16193 (java) R 16088 16088 15751 0 -1 4202560 277 0 0 0 935 0 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168481403128 140169036855427 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16194] ppid=16088 vsize=28768328 memory=1227660 CPUtime=9.41 cores=0-7 /proc/16090/task/16194/stat : 16194 (java) R 16088 16088 15751 0 -1 4202560 3416 0 0 0 924 17 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168478245240 140169036528425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16195] ppid=16088 vsize=28768328 memory=1732 CPUtime=9.23 cores=0-7 /proc/16090/task/16195/stat : 16195 (java) R 16088 16088 15751 0 -1 4202560 676 0 0 0 922 1 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168479296880 140169041654437 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16196] ppid=16088 vsize=28768328 memory=8317482817917895235 CPUtime=9.34 cores=0-7 /proc/16090/task/16196/stat : 16196 (java) R 16088 16088 15751 0 -1 4202560 950 0 0 0 933 1 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168484563448 140169034263532 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16197] ppid=16088 vsize=28768328 memory=4872558044660077418 CPUtime=9.41 cores=0-7 /proc/16090/task/16197/stat : 16197 (java) R 16088 16088 15751 0 -1 4202560 211 0 0 0 941 0 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168483508040 140169034580721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16198] ppid=16088 vsize=28768328 memory=8751464017575753784 CPUtime=9.27 cores=0-7 /proc/16090/task/16198/stat : 16198 (java) R 16088 16088 15751 0 -1 4202560 575 0 0 0 927 0 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168482455816 140169038072541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16199] ppid=16088 vsize=28768328 memory=7959395632135288888 CPUtime=9.29 cores=0-7 /proc/16090/task/16199/stat : 16199 (java) R 16088 16088 15751 0 -1 4202560 243 0 0 0 929 0 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168480350216 140169034263237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 Current children cumulated CPU time: 275.57 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1229116 KiB [startup+35.8017 s] /proc/loadavg: 7.25 6.87 6.86 9/220 16199 /proc/meminfo: memFree=29739136/32770624 swapFree=66947516/67108860 [pid=16088] ppid=16085 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16088/stat : 16088 (xcsp3-exec) S 16085 16088 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418664349 115843072 364 33554432000 4194304 5098028 140729077041776 140729077039880 140555865993852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40439808 140729077044086 140729077044329 140729077044329 140729077047242 0 /proc/16088/statm: 28282 364 305 221 0 87 0 [pid=16090] ppid=16088 vsize=28768328 memory=1227660 CPUtime=277.17 cores=0-7 /proc/16090/stat : 16090 (java) S 16088 16088 15751 0 -1 1077944320 97603 0 0 0 27605 112 0 0 20 0 28 0 418664349 29458767872 306915 33554432000 4194304 4196468 140736212344128 140736212326672 140169389960951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 /proc/16090/statm: 7192082 306915 3543 1 0 7153184 0 [pid=16090/tid=16091] ppid=16088 vsize=28768328 memory=12024 CPUtime=1.4 cores=0-7 /proc/16090/task/16091/stat : 16091 (java) S 16088 16088 15751 0 -1 1077944384 11563 0 0 0 135 5 0 0 20 0 28 0 418664350 29458767872 306915 33554432000 4194304 4196468 140736212344128 140169394201728 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16092] ppid=16088 vsize=28768328 memory=1456 CPUtime=0.12 cores=0-7 /proc/16090/task/16092/stat : 16092 (java) S 16088 16088 15751 0 -1 1077944384 345 0 0 0 7 5 0 0 20 0 28 0 418664351 29458767872 306915 33554432000 4194304 4196468 140736212344128 140169346513808 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16093] ppid=16088 vsize=28768328 memory=1456 CPUtime=0.11 cores=0-7 /proc/16090/task/16093/stat : 16093 (java) S 16088 16088 15751 0 -1 1077944384 505 0 0 0 7 4 0 0 20 0 28 0 418664351 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168940083984 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16094] ppid=16088 vsize=28768328 memory=1227660 CPUtime=0.12 cores=0-7 /proc/16090/task/16094/stat : 16094 (java) S 16088 16088 15751 0 -1 1077944384 465 0 0 0 8 4 0 0 20 0 28 0 418664351 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168939031696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16095] ppid=16088 vsize=28768328 memory=924 CPUtime=0.12 cores=0-7 /proc/16090/task/16095/stat : 16095 (java) S 16088 16088 15751 0 -1 1077944384 324 0 0 0 8 4 0 0 20 0 28 0 418664351 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168937978896 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16096] ppid=16088 vsize=28768328 memory=1672 CPUtime=0.14 cores=0-7 /proc/16090/task/16096/stat : 16096 (java) S 16088 16088 15751 0 -1 1077944384 572 0 0 0 9 5 0 0 20 0 28 0 418664351 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168936925584 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16097] ppid=16088 vsize=28768328 memory=796 CPUtime=0.12 cores=0-7 /proc/16090/task/16097/stat : 16097 (java) S 16088 16088 15751 0 -1 1077944384 1556 0 0 0 8 4 0 0 20 0 28 0 418664351 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168935872784 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16098] ppid=16088 vsize=28768328 memory=1436 CPUtime=0.13 cores=0-7 /proc/16090/task/16098/stat : 16098 (java) S 16088 16088 15751 0 -1 1077944384 449 0 0 0 9 4 0 0 20 0 28 0 418664351 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168934820496 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16099] ppid=16088 vsize=28768328 memory=1984 CPUtime=0.11 cores=0-7 /proc/16090/task/16099/stat : 16099 (java) S 16088 16088 15751 0 -1 1077944384 1314 0 0 0 7 4 0 0 20 0 28 0 418664351 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168933767696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16100] ppid=16088 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/16090/task/16100/stat : 16100 (java) S 16088 16088 15751 0 -1 1077944384 2190 0 0 0 3 0 0 0 20 0 28 0 418664352 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168506395248 140169389972098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16101] ppid=16088 vsize=28768328 memory=7822038051842261661 CPUtime=0 cores=0-7 /proc/16090/task/16101/stat : 16101 (java) S 16088 16088 15751 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418664353 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168505341280 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16102] ppid=16088 vsize=28768328 memory=-8412656567318647667 CPUtime=0 cores=0-7 /proc/16090/task/16102/stat : 16102 (java) S 16088 16088 15751 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 418664353 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168504288896 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16103] ppid=16088 vsize=28768328 memory=-8341965534556230502 CPUtime=0 cores=0-7 /proc/16090/task/16103/stat : 16103 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418664355 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168503237200 140169389979547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16104] ppid=16088 vsize=28768328 memory=-8707038579349950309 CPUtime=4.58 cores=0-7 /proc/16090/task/16104/stat : 16104 (java) S 16088 16088 15751 0 -1 1077944384 14828 0 0 0 454 4 0 0 20 0 28 0 418664355 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168502184048 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16105] ppid=16088 vsize=28768328 memory=9047017150487036571 CPUtime=4.69 cores=0-7 /proc/16090/task/16105/stat : 16105 (java) S 16088 16088 15751 0 -1 1077944384 12552 0 0 0 466 3 0 0 20 0 28 0 418664355 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168501131248 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16106] ppid=16088 vsize=28768328 memory=-6520471753822164382 CPUtime=4.8 cores=0-7 /proc/16090/task/16106/stat : 16106 (java) S 16088 16088 15751 0 -1 1077944384 15289 0 0 0 476 4 0 0 20 0 28 0 418664355 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168500078960 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16107] ppid=16088 vsize=28768328 memory=-8253362762722141311 CPUtime=1.51 cores=0-7 /proc/16090/task/16107/stat : 16107 (java) S 16088 16088 15751 0 -1 1077944384 13672 0 0 0 146 5 0 0 20 0 28 0 418664355 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168499026160 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16108] ppid=16088 vsize=28768328 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16090/task/16108/stat : 16108 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418664356 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168497974112 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16109] ppid=16088 vsize=28768328 memory=914496 CPUtime=0.01 cores=0-7 /proc/16090/task/16109/stat : 16109 (java) S 16088 16088 15751 0 -1 1077944384 1841 0 0 0 0 1 0 0 20 0 28 0 418664356 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168496921392 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16192] ppid=16088 vsize=28768328 memory=288230617509003574 CPUtime=9.49 cores=0-7 /proc/16090/task/16192/stat : 16192 (java) R 16088 16088 15751 0 -1 4202560 488 0 0 0 949 0 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168485612936 140169034263481 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16193] ppid=16088 vsize=28768328 memory=15534115864709562 CPUtime=9.54 cores=0-7 /proc/16090/task/16193/stat : 16193 (java) R 16088 16088 15751 0 -1 4202560 277 0 0 0 954 0 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168481403128 140169037355371 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16194] ppid=16088 vsize=28768328 memory=6791534058613427641 CPUtime=9.61 cores=0-7 /proc/16090/task/16194/stat : 16194 (java) R 16088 16088 15751 0 -1 4202560 3473 0 0 0 944 17 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168478245240 140169036854654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16195] ppid=16088 vsize=28768328 memory=713316 CPUtime=9.43 cores=0-7 /proc/16090/task/16195/stat : 16195 (java) R 16088 16088 15751 0 -1 4202560 678 0 0 0 942 1 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168479296880 140169034172640 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16196] ppid=16088 vsize=28768328 memory=280051196470528 CPUtime=9.54 cores=0-7 /proc/16090/task/16196/stat : 16196 (java) R 16088 16088 15751 0 -1 4202560 950 0 0 0 953 1 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168484563448 140169034263508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16197] ppid=16088 vsize=28768328 memory=6791534058613427641 CPUtime=9.61 cores=0-7 /proc/16090/task/16197/stat : 16197 (java) R 16088 16088 15751 0 -1 4202560 211 0 0 0 961 0 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168483508040 140169034263237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16198] ppid=16088 vsize=28768328 memory=6791534058613427641 CPUtime=9.47 cores=0-7 /proc/16090/task/16198/stat : 16198 (java) R 16088 16088 15751 0 -1 4202560 578 0 0 0 947 0 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168482455816 140169034263212 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16199] ppid=16088 vsize=28768328 memory=5795117241467496816 CPUtime=9.49 cores=0-7 /proc/16090/task/16199/stat : 16199 (java) R 16088 16088 15751 0 -1 4202560 243 0 0 0 949 0 0 0 20 0 28 0 418666963 29458767872 306915 33554432000 4194304 4196468 140736212344128 140168480350216 140169034262784 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 Current children cumulated CPU time: 277.17 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1229116 KiB [startup+35.9017 s] /proc/loadavg: 7.25 6.87 6.86 9/220 16199 /proc/meminfo: memFree=29739136/32770624 swapFree=66947516/67108860 [pid=16088] ppid=16085 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16088/stat : 16088 (xcsp3-exec) S 16085 16088 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418664349 115843072 364 33554432000 4194304 5098028 140729077041776 140729077039880 140555865993852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40439808 140729077044086 140729077044329 140729077044329 140729077047242 0 /proc/16088/statm: 28282 364 305 221 0 87 0 [pid=16090] ppid=16088 vsize=28768328 memory=1227664 CPUtime=277.97 cores=0-7 /proc/16090/stat : 16090 (java) S 16088 16088 15751 0 -1 1077944320 98592 0 0 0 27685 112 0 0 20 0 28 0 418664349 29458767872 306916 33554432000 4194304 4196468 140736212344128 140736212326672 140169389960951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 /proc/16090/statm: 7192082 306916 3543 1 0 7153184 0 [pid=16090/tid=16091] ppid=16088 vsize=28768328 memory=1227660 CPUtime=1.4 cores=0-7 /proc/16090/task/16091/stat : 16091 (java) S 16088 16088 15751 0 -1 1077944384 11563 0 0 0 135 5 0 0 20 0 28 0 418664350 29458767872 306916 33554432000 4194304 4196468 140736212344128 140169394201728 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16092] ppid=16088 vsize=28768328 memory=1456 CPUtime=0.12 cores=0-7 /proc/16090/task/16092/stat : 16092 (java) S 16088 16088 15751 0 -1 1077944384 345 0 0 0 7 5 0 0 20 0 28 0 418664351 29458767872 306916 33554432000 4194304 4196468 140736212344128 140169346513808 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16093] ppid=16088 vsize=28768328 memory=1049664 CPUtime=0.11 cores=0-7 /proc/16090/task/16093/stat : 16093 (java) S 16088 16088 15751 0 -1 1077944384 505 0 0 0 7 4 0 0 20 0 28 0 418664351 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168940083984 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16094] ppid=16088 vsize=28768328 memory=1456 CPUtime=0.12 cores=0-7 /proc/16090/task/16094/stat : 16094 (java) S 16088 16088 15751 0 -1 1077944384 465 0 0 0 8 4 0 0 20 0 28 0 418664351 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168939031696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16095] ppid=16088 vsize=28768328 memory=2424 CPUtime=0.12 cores=0-7 /proc/16090/task/16095/stat : 16095 (java) S 16088 16088 15751 0 -1 1077944384 324 0 0 0 8 4 0 0 20 0 28 0 418664351 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168937978896 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16096] ppid=16088 vsize=28768328 memory=1764 CPUtime=0.14 cores=0-7 /proc/16090/task/16096/stat : 16096 (java) S 16088 16088 15751 0 -1 1077944384 572 0 0 0 9 5 0 0 20 0 28 0 418664351 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168936925584 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16097] ppid=16088 vsize=28768328 memory=0 CPUtime=0.12 cores=0-7 /proc/16090/task/16097/stat : 16097 (java) S 16088 16088 15751 0 -1 1077944384 1556 0 0 0 8 4 0 0 20 0 28 0 418664351 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168935872784 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16098] ppid=16088 vsize=28768328 memory=7018393166483056728 CPUtime=0.13 cores=0-7 /proc/16090/task/16098/stat : 16098 (java) S 16088 16088 15751 0 -1 1077944384 449 0 0 0 9 4 0 0 20 0 28 0 418664351 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168934820496 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16099] ppid=16088 vsize=28768328 memory=1227660 CPUtime=0.11 cores=0-7 /proc/16090/task/16099/stat : 16099 (java) S 16088 16088 15751 0 -1 1077944384 1314 0 0 0 7 4 0 0 20 0 28 0 418664351 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168933767696 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16100] ppid=16088 vsize=28768328 memory=1456 CPUtime=0.03 cores=0-7 /proc/16090/task/16100/stat : 16100 (java) S 16088 16088 15751 0 -1 1077944384 2190 0 0 0 3 0 0 0 20 0 28 0 418664352 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168506395248 140169389972098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16101] ppid=16088 vsize=28768328 memory=1227660 CPUtime=0 cores=0-7 /proc/16090/task/16101/stat : 16101 (java) S 16088 16088 15751 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418664353 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168505341280 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16102] ppid=16088 vsize=28768328 memory=453 CPUtime=0 cores=0-7 /proc/16090/task/16102/stat : 16102 (java) S 16088 16088 15751 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 418664353 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168504288896 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16103] ppid=16088 vsize=28768328 memory=469 CPUtime=0 cores=0-7 /proc/16090/task/16103/stat : 16103 (java) S 16088 16088 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418664355 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168503237200 140169389979547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16104] ppid=16088 vsize=28768328 memory=477 CPUtime=4.58 cores=0-7 /proc/16090/task/16104/stat : 16104 (java) S 16088 16088 15751 0 -1 1077944384 14831 0 0 0 454 4 0 0 20 0 28 0 418664355 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168502184048 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16105] ppid=16088 vsize=28768328 memory=1456 CPUtime=4.69 cores=0-7 /proc/16090/task/16105/stat : 16105 (java) S 16088 16088 15751 0 -1 1077944384 12555 0 0 0 466 3 0 0 20 0 28 0 418664355 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168501131248 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16106] ppid=16088 vsize=28768328 memory=1456 CPUtime=4.8 cores=0-7 /proc/16090/task/16106/stat : 16106 (java) S 16088 16088 15751 0 -1 1077944384 15292 0 0 0 476 4 0 0 20 0 28 0 418664355 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168500078960 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16107] ppid=16088 vsize=28768328 memory=3612 CPUtime=1.52 cores=0-7 /proc/16090/task/16107/stat : 16107 (java) S 16088 16088 15751 0 -1 1077944384 14467 0 0 0 147 5 0 0 20 0 28 0 418664355 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168499026160 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16108] ppid=16088 vsize=28768328 memory=280051195320384 CPUtime=0 cores=0-7 /proc/16090/task/16108/stat : 16108 (java) S 16088 16088 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418664356 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168497974112 140169389971157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16109] ppid=16088 vsize=28768328 memory=280051195493072 CPUtime=0.01 cores=0-7 /proc/16090/task/16109/stat : 16109 (java) S 16088 16088 15751 0 -1 1077944384 1841 0 0 0 0 1 0 0 20 0 28 0 418664356 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168496921392 140169389972098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16192] ppid=16088 vsize=28768328 memory=280051195668416 CPUtime=9.59 cores=0-7 /proc/16090/task/16192/stat : 16192 (java) R 16088 16088 15751 0 -1 4202560 488 0 0 0 959 0 0 0 20 0 28 0 418666963 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168485612936 140169034308992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16193] ppid=16088 vsize=28768328 memory=992 CPUtime=9.64 cores=0-7 /proc/16090/task/16193/stat : 16193 (java) R 16088 16088 15751 0 -1 4202560 277 0 0 0 964 0 0 0 20 0 28 0 418666963 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168481403128 140169034325197 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16194] ppid=16088 vsize=28768328 memory=2044 CPUtime=9.71 cores=0-7 /proc/16090/task/16194/stat : 16194 (java) R 16088 16088 15751 0 -1 4202560 3491 0 0 0 954 17 0 0 20 0 28 0 418666963 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168478245240 140169035261671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16195] ppid=16088 vsize=28768328 memory=1428 CPUtime=9.53 cores=0-7 /proc/16090/task/16195/stat : 16195 (java) R 16088 16088 15751 0 -1 4202560 679 0 0 0 952 1 0 0 20 0 28 0 418666963 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168479296880 140169039210083 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16196] ppid=16088 vsize=28768328 memory=0 CPUtime=9.64 cores=0-7 /proc/16090/task/16196/stat : 16196 (java) R 16088 16088 15751 0 -1 4202560 1116 0 0 0 963 1 0 0 20 0 28 0 418666963 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168484563096 140169031925005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16197] ppid=16088 vsize=28768328 memory=140025598194624 CPUtime=9.71 cores=0-7 /proc/16090/task/16197/stat : 16197 (java) R 16088 16088 15751 0 -1 4202560 211 0 0 0 971 0 0 0 20 0 28 0 418666963 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168483508040 140169034263271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16198] ppid=16088 vsize=28768328 memory=0 CPUtime=9.57 cores=0-7 /proc/16090/task/16198/stat : 16198 (java) R 16088 16088 15751 0 -1 4202560 578 0 0 0 957 0 0 0 20 0 28 0 418666963 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168482455816 140169034263310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 [pid=16090/tid=16199] ppid=16088 vsize=28768328 memory=1456 CPUtime=9.59 cores=0-7 /proc/16090/task/16199/stat : 16199 (java) R 16088 16088 15751 0 -1 4202560 243 0 0 0 959 0 0 0 20 0 28 0 418666963 29458767872 306916 33554432000 4194304 4196468 140736212344128 140168480350216 140169037358526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19484672 140736212349930 140736212350102 140736212350102 140736212352975 0 Current children cumulated CPU time: 277.97 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1229120 KiB Child status: 0 Real time (s): 35.9651 CPU time (s): 278.322 CPU user time (s): 277.182 CPU system time (s): 1.14004 CPU usage (%): 773.866 Max. virtual memory (cumulated for all children) (KiB): 28883140 Max. memory (cumulated for all children) (KiB): 1229120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 277.182 system time used= 1.14004 maximum resident set size= 1227828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100312 page faults= 0 swaps= 0 block input operations= 0 block output operations= 200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7236 involuntary context switches= 4701 # summary of solver processes directly reported to runsolver: # pid: 16088 # total CPU time (s): 278.322 # total CPU user time (s): 277.182 # total CPU system time (s): 1.14004 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.316974 second user time and 0.479354 second system time The end
Begin job on node117 at 2019-09-14 04:13:02 IDJOB=4393961 IDBENCH=126778 IDSOLVER=2841 FILE ID=node117/4393961-1568427224 RUNJOBID= node117-1568427144-15778 PBS_JOBID= 21702295 Free space on /tmp= 61184 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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-4393961-1568427224/watcher-4393961-1568427224 -o /tmp/evaluation-result-4393961-1568427224/solver-4393961-1568427224 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 743244194 HOME/instance-4393961-1568427224.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 274e3e67607724bfcca0861611bdfa28 RANDOM SEED=743244194 node117.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.75 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.75 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.75 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.75 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: 30955380 kB MemAvailable: 31867892 kB Buffers: 138088 kB Cached: 1042876 kB SwapCached: 51464 kB Active: 768820 kB Inactive: 466088 kB Active(anon): 18912 kB Inactive(anon): 58832 kB Active(file): 749908 kB Inactive(file): 407256 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66947516 kB Dirty: 26156 kB Writeback: 0 kB AnonPages: 61336 kB Mapped: 33960 kB Shmem: 15436 kB Slab: 170840 kB SReclaimable: 142364 kB SUnreclaim: 28476 kB KernelStack: 3728 kB PageTables: 5148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497700 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61160 MiB End job on node117 at 2019-09-14 04:13:38