Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-09) | SAT (TO) | 295 | 2520.1101 | 2507.4199 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
| MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 373 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1712 |
| Number of constraints | 1007 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1683 |
| Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 30 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
| Number of extensional constraints | 837 |
| Number of intensional constraints | 136 |
| Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.07 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269332-1502698321.xml" -tl '2520s' -p 1 -x 0 0.07/0.28 c [HOME/instance-4269332-1502698321.xml, -tl, 2520s, -p, 1, -x, 0] 0.25/0.34 c simple solver 0.25/0.41 c parse instance... 2.14/1.10 c solve instance... 13.71/9.75 o 277 13.95/9.83 o 279 21.34/16.08 o 287 21.85/16.56 o 289 1417.68/1409.28 o 295 2520.08/2507.40 s SATISFIABLE 2520.08/2507.40 v <instantiation> 2520.08/2507.40 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] z </list> 2520.08/2507.40 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 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 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 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 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 2 2 2 2 2 2 1 0 0 0 1 0 0 1 1 1 1 0 1 1 1 0 0 1 0 1 0 1 1 2 2 2 2 1 2 1 1 0 0 0 0 1 0 1 2 0 0 1 1 0 0 0 0 0 0 1 0 1 2 2 2 0 1 0 2 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 0 0 0 0 0 2 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 2 2 1 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 1 0 0 0 0 0 1 2 1 1 0 0 0 0 0 0 1 0 0 1 1 2 2 1 1 2 1 1 2 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 2 2 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 0 1 0 0 0 1 0 1 0 0 0 2 2 1 0 0 0 0 0 1 0 0 1 1 2 1 0 1 0 0 0 0 0 2 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 2 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 2 1 2 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 2 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 2 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 2 2 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 2 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 2 0 0 1 0 0 0 0 2 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 0 2 2 1 1 1 0 1 2 1 0 0 0 2 2 1 2 0 1 0 2 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 0 0 0 16 41 62 82 94 106 118 130 151 169 181 194 202 207 213 223 233 243 252 261 272 283 295 310 319 328 343 368 386 295 </values> 2520.08/2507.40 v </instantiation> 2520.08/2507.40 c Unexpected resolution interruption!
OK 295
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 (15125 MiB free)
memory of node 1: 16384 MiB (15615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269332-1502698321/watcher-4269332-1502698321 -o /tmp/evaluation-result-4269332-1502698321/solver-4269332-1502698321 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1873145222 HOME/instance-4269332-1502698321.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17944, runsolver pid=17941
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 1.60 1.69 1.72 3/202 17951
/proc/meminfo: memFree=31472532/32770624 swapFree=67108860/67108860
[pid=17944] ppid=17941 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17944/stat : 17944 (xcsp3-exec) S 17941 17944 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 58172699 9740288 344 18446744073709551615 4194304 5098028 140735092370256 140735092368360 140197989622396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39620608 140735092371832 140735092372037 140735092372037 140735092375531 0
/proc/17944/statm: 2378 344 289 221 0 87 0
[pid=17946] ppid=17944 vsize=13574484 memory=16408 CPUtime=0.01 cores=1,3,5,7
/proc/17946/stat : 17946 (java) S 17944 17944 11586 0 -1 1077944320 3935 0 0 0 1 0 0 0 20 0 9 0 58172707 13900271616 4102 18446744073709551615 4194304 4196468 140721099949680 140721099932224 140085634146039 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
/proc/17946/statm: 3393621 4102 2064 1 0 3383118 0
[pid=17946/tid=17947] ppid=17944 vsize=13574484 memory=4206989191851631162 CPUtime=0.01 cores=1,3,5,7
/proc/17946/task/17947/stat : 17947 (java) R 17944 17944 11586 0 -1 4202560 2649 0 0 0 1 0 0 0 20 0 9 0 58172707 13900271616 4102 18446744073709551615 4194304 4196468 140721099949680 140085638382184 140085634167965 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17948] ppid=17944 vsize=13574484 memory=3461490351638472329 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17948/stat : 17948 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 58172708 13900271616 4102 18446744073709551615 4194304 4196468 140721099949680 140085595044752 140085634156245 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17949] ppid=17944 vsize=13574484 memory=139747008788096 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17949/stat : 17949 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 58172708 13900271616 4102 18446744073709551615 4194304 4196468 140721099949680 140085593991952 140085634156245 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17950] ppid=17944 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17950/stat : 17950 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 58172708 13900271616 4102 18446744073709551615 4194304 4196468 140721099949680 140085232594064 140085634156245 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17951] ppid=17944 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17951/stat : 17951 (java) S 17944 17944 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 58172708 13900271616 4102 18446744073709551615 4194304 4196468 140721099949680 140085231541264 140085634156245 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17952] ppid=17944 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17952/stat : 17952 (java) S 17944 17944 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 58172709 13900271616 4102 18446744073709551615 4194304 4196468 140721099949680 140085112555632 140085634157186 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17953] ppid=17944 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17953/stat : 17953 (java) S 17944 17944 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 58172710 13900271616 4102 18446744073709551615 4194304 4196468 140721099949680 140085111501600 140085634156245 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17954] ppid=17944 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17954/stat : 17954 (java) S 17944 17944 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 58172710 13900271616 4102 18446744073709551615 4194304 4196468 140721099949680 140085110449328 140085634156245 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 17784 KiB
[startup+0.209926 s]*
/proc/loadavg: 1.60 1.69 1.72 3/211 17960
/proc/meminfo: memFree=31467664/32770624 swapFree=67108860/67108860
[pid=17944] ppid=17941 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17944/stat : 17944 (xcsp3-exec) S 17941 17944 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 58172699 9740288 344 18446744073709551615 4194304 5098028 140735092370256 140735092368360 140197989622396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39620608 140735092371832 140735092372037 140735092372037 140735092375531 0
/proc/17944/statm: 2378 344 289 221 0 87 0
[pid=17946] ppid=17944 vsize=13974352 memory=24568 CPUtime=0.07 cores=1,3,5,7
/proc/17946/stat : 17946 (java) S 17944 17944 11586 0 -1 1077944320 5099 0 0 0 6 1 0 0 20 0 15 0 58172707 14309736448 6142 18446744073709551615 4194304 4196468 140721099949680 140721099932224 140085634146039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
/proc/17946/statm: 3493588 6142 2712 1 0 3482964 0
[pid=17946/tid=17947] ppid=17944 vsize=13974352 memory=-6440540463164395875 CPUtime=0.05 cores=1,3,5,7
/proc/17946/task/17947/stat : 17947 (java) R 17944 17944 11586 0 -1 4202560 3259 0 0 0 5 0 0 0 20 0 15 0 58172707 14309736448 6142 18446744073709551615 4194304 4196468 140721099949680 140085638371728 140085634167965 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17948] ppid=17944 vsize=13974352 memory=3461490351638472329 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17948/stat : 17948 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14309736448 6142 18446744073709551615 4194304 4196468 140721099949680 140085595044752 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17949] ppid=17944 vsize=13974352 memory=139747008788096 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17949/stat : 17949 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085593991952 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17950] ppid=17944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17950/stat : 17950 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085232594064 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17951] ppid=17944 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17951/stat : 17951 (java) S 17944 17944 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58172708 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085231541264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17952] ppid=17944 vsize=13974352 memory=139747008788096 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17952/stat : 17952 (java) S 17944 17944 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58172709 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085112555632 140085634157186 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17953] ppid=17944 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17953/stat : 17953 (java) S 17944 17944 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 58172710 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085111501600 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17954] ppid=17944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17954/stat : 17954 (java) S 17944 17944 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 58172710 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085110449264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17955] ppid=17944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17955/stat : 17955 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172712 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085109397584 140085634164635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17956] ppid=17944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17956/stat : 17956 (java) S 17944 17944 11586 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 58172712 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085108345456 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17957] ppid=17944 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17957/stat : 17957 (java) R 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172712 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085107292656 140085634157186 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17958] ppid=17944 vsize=13974352 memory=139747008788096 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17958/stat : 17958 (java) R 17944 17944 11586 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 58172712 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085106240368 140085634157186 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17959] ppid=17944 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17959/stat : 17959 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172713 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085105187808 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17960] ppid=17944 vsize=13974352 memory=139747008788096 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17960/stat : 17960 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172719 14309736448 6208 18446744073709551615 4194304 4196468 140721099949680 140085104134576 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25944 KiB
[startup+0.310131 s]*
/proc/loadavg: 1.60 1.69 1.72 3/211 17960
/proc/meminfo: memFree=31451632/32770624 swapFree=67108860/67108860
[pid=17944] ppid=17941 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17944/stat : 17944 (xcsp3-exec) S 17941 17944 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 58172699 9740288 344 18446744073709551615 4194304 5098028 140735092370256 140735092368360 140197989622396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39620608 140735092371832 140735092372037 140735092372037 140735092375531 0
/proc/17944/statm: 2378 344 289 221 0 87 0
[pid=17946] ppid=17944 vsize=13974352 memory=36848 CPUtime=0.25 cores=1,3,5,7
/proc/17946/stat : 17946 (java) S 17944 17944 11586 0 -1 1077944320 8816 0 0 0 23 2 0 0 20 0 15 0 58172707 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140721099932224 140085634146039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
/proc/17946/statm: 3493588 9212 2972 1 0 3482964 0
[pid=17946/tid=17947] ppid=17944 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/17946/task/17947/stat : 17947 (java) R 17944 17944 11586 0 -1 4202560 6036 0 0 0 14 1 0 0 20 0 15 0 58172707 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085638368416 140085615710566 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17948] ppid=17944 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17948/stat : 17948 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085595044752 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17949] ppid=17944 vsize=13974352 memory=-8180882570214743413 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17949/stat : 17949 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085593991952 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17950] ppid=17944 vsize=13974352 memory=4132769004644038186 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17950/stat : 17950 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085232594064 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17951] ppid=17944 vsize=13974352 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17951/stat : 17951 (java) S 17944 17944 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58172708 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085231541264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17952] ppid=17944 vsize=13974352 memory=139747008798689 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17952/stat : 17952 (java) S 17944 17944 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58172709 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085112555632 140085634157186 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17953] ppid=17944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17953/stat : 17953 (java) S 17944 17944 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 58172710 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085111501600 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17954] ppid=17944 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17954/stat : 17954 (java) S 17944 17944 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 58172710 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085110449264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17955] ppid=17944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17955/stat : 17955 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172712 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085109397584 140085634164635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17956] ppid=17944 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17946/task/17956/stat : 17956 (java) R 17944 17944 11586 0 -1 4202560 373 0 0 0 1 0 0 0 20 0 15 0 58172712 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085108345456 140085617640619 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17957] ppid=17944 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17946/task/17957/stat : 17957 (java) R 17944 17944 11586 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 15 0 58172712 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085107292656 140085634157186 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17958] ppid=17944 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/17946/task/17958/stat : 17958 (java) R 17944 17944 11586 0 -1 4202560 732 0 0 0 5 0 0 0 20 0 15 0 58172712 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085106240368 140085618391196 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17959] ppid=17944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17959/stat : 17959 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172713 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085105187808 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17960] ppid=17944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17960/stat : 17960 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172719 14309736448 9212 18446744073709551615 4194304 4196468 140721099949680 140085104134576 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38224 KiB
[startup+0.701579 s]
/proc/loadavg: 1.60 1.69 1.72 5/211 17960
/proc/meminfo: memFree=31440804/32770624 swapFree=67108860/67108860
[pid=17944] ppid=17941 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17944/stat : 17944 (xcsp3-exec) S 17941 17944 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 58172699 9740288 344 18446744073709551615 4194304 5098028 140735092370256 140735092368360 140197989622396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39620608 140735092371832 140735092372037 140735092372037 140735092375531 0
/proc/17944/statm: 2378 344 289 221 0 87 0
[pid=17946] ppid=17944 vsize=13978684 memory=70728 CPUtime=1.28 cores=1,3,5,7
/proc/17946/stat : 17946 (java) S 17944 17944 11586 0 -1 1077944320 12903 0 0 0 123 5 0 0 20 0 15 0 58172707 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140721099932224 140085634146039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
/proc/17946/statm: 3494671 17682 3168 1 0 3482964 0
[pid=17946/tid=17947] ppid=17944 vsize=13978684 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/17946/task/17947/stat : 17947 (java) R 17944 17944 11586 0 -1 4202560 7926 0 0 0 51 3 0 0 20 0 15 0 58172707 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085638383968 140085616553053 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17948] ppid=17944 vsize=13978684 memory=6077703699677200448 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17948/stat : 17948 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085595044752 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17949] ppid=17944 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17949/stat : 17949 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085593991952 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17950] ppid=17944 vsize=13978684 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17950/stat : 17950 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085232594064 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17951] ppid=17944 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17951/stat : 17951 (java) S 17944 17944 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58172708 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085231541264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17952] ppid=17944 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17952/stat : 17952 (java) S 17944 17944 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 58172709 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085112555632 140085634157186 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17953] ppid=17944 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17953/stat : 17953 (java) S 17944 17944 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 58172710 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085111501600 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17954] ppid=17944 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17954/stat : 17954 (java) S 17944 17944 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 58172710 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085110449264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17955] ppid=17944 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17955/stat : 17955 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172712 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085109397584 140085634164635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17956] ppid=17944 vsize=13978684 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/17946/task/17956/stat : 17956 (java) R 17944 17944 11586 0 -1 4202560 1029 0 0 0 20 0 0 0 20 0 15 0 58172712 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085108329944 140085612339814 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17957] ppid=17944 vsize=13978684 memory=13 CPUtime=0.2 cores=1,3,5,7
/proc/17946/task/17957/stat : 17957 (java) R 17944 17944 11586 0 -1 4202560 1027 0 0 0 20 0 0 0 20 0 15 0 58172712 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085107273672 140085617642819 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17958] ppid=17944 vsize=13978684 memory=3 CPUtime=0.31 cores=1,3,5,7
/proc/17946/task/17958/stat : 17958 (java) S 17944 17944 11586 0 -1 1077944384 1614 0 0 0 31 0 0 0 20 0 15 0 58172712 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085106240368 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17959] ppid=17944 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17959/stat : 17959 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172713 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085105187808 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17960] ppid=17944 vsize=13978684 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17960/stat : 17960 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172719 14314172416 17682 18446744073709551615 4194304 4196468 140721099949680 140085104134576 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 72104 KiB
[startup+1.50075 s]
/proc/loadavg: 1.60 1.69 1.72 6/211 17960
/proc/meminfo: memFree=31398564/32770624 swapFree=67108860/67108860
[pid=17944] ppid=17941 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17944/stat : 17944 (xcsp3-exec) S 17941 17944 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 58172699 9740288 344 18446744073709551615 4194304 5098028 140735092370256 140735092368360 140197989622396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39620608 140735092371832 140735092372037 140735092372037 140735092375531 0
/proc/17944/statm: 2378 344 289 221 0 87 0
[pid=17946] ppid=17944 vsize=13980732 memory=114468 CPUtime=3.55 cores=1,3,5,7
/proc/17946/stat : 17946 (java) S 17944 17944 11586 0 -1 1077944320 22477 0 0 0 348 7 0 0 20 0 15 0 58172707 14316269568 28617 18446744073709551615 4194304 4196468 140721099949680 140721099932224 140085634146039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
/proc/17946/statm: 3495183 28617 3191 1 0 3483476 0
[pid=17946/tid=17947] ppid=17944 vsize=13980732 memory=33084 CPUtime=1.33 cores=1,3,5,7
/proc/17946/task/17947/stat : 17947 (java) R 17944 17944 11586 0 -1 4202560 10050 0 0 0 129 4 0 0 20 0 15 0 58172707 14316269568 28617 18446744073709551615 4194304 4196468 140721099949680 140085638385056 140085279447073 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17948] ppid=17944 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17948/stat : 17948 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14316269568 28617 18446744073709551615 4194304 4196468 140721099949680 140085595044752 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17949] ppid=17944 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17949/stat : 17949 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14316269568 28617 18446744073709551615 4194304 4196468 140721099949680 140085593991952 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17950] ppid=17944 vsize=13980732 memory=84336 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17950/stat : 17950 (java) S 17944 17944 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58172708 14316269568 28617 18446744073709551615 4194304 4196468 140721099949680 140085232594064 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17951] ppid=17944 vsize=13980732 memory=70728 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/17946/task/17954/stat : 17954 (java) S 17944 17944 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 58172710 14316269568 344708 18446744073709551615 4194304 4196468 140721099949680 140085110449264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17955] ppid=17944 vsize=13980732 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17955/stat : 17955 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172712 14316269568 344708 18446744073709551615 4194304 4196468 140721099949680 140085109397584 140085634164635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17956] ppid=17944 vsize=13980732 memory=7284 CPUtime=3.16 cores=1,3,5,7
/proc/17946/task/17956/stat : 17956 (java) S 17944 17944 11586 0 -1 1077944384 20507 0 0 0 314 2 0 0 20 0 15 0 58172712 14316269568 344708 18446744073709551615 4194304 4196468 140721099949680 140085108345456 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17957] ppid=17944 vsize=13980732 memory=4120 CPUtime=2.63 cores=1,3,5,7
/proc/17946/task/17957/stat : 17957 (java) S 17944 17944 11586 0 -1 1077944384 19921 0 0 0 261 2 0 0 20 0 15 0 58172712 14316269568 344708 18446744073709551615 4194304 4196468 140721099949680 140085107292656 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17958] ppid=17944 vsize=13980732 memory=33192 CPUtime=0.74 cores=1,3,5,7
/proc/17946/task/17958/stat : 17958 (java) S 17944 17944 11586 0 -1 1077944384 10575 0 0 0 73 1 0 0 20 0 15 0 58172712 14316269568 344708 18446744073709551615 4194304 4196468 140721099949680 140085106240368 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17959] ppid=17944 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17959/stat : 17959 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172713 14316269568 344708 18446744073709551615 4194304 4196468 140721099949680 140085105187808 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17960] ppid=17944 vsize=13980732 memory=33192 CPUtime=0.66 cores=1,3,5,7
/proc/17946/task/17960/stat : 17960 (java) S 17944 17944 11586 0 -1 1077944384 1022 0 0 0 30 36 0 0 20 0 15 0 58172719 14316269568 344708 18446744073709551615 4194304 4196468 140721099949680 140085104134576 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
Current children cumulated CPU time: 2394.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1380208 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.53 1.56 3/211 18308
/proc/meminfo: memFree=30042704/32770624 swapFree=67108860/67108860
[pid=17944] ppid=17941 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17944/stat : 17944 (xcsp3-exec) S 17941 17944 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 58172699 9740288 344 18446744073709551615 4194304 5098028 140735092370256 140735092368360 140197989622396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39620608 140735092371832 140735092372037 140735092372037 140735092375531 0
/proc/17944/statm: 2378 344 289 221 0 87 0
[pid=17946] ppid=17944 vsize=13980732 memory=1407272 CPUtime=2454.6 cores=1,3,5,7
/proc/17946/stat : 17946 (java) S 17944 17944 11586 0 -1 1077944320 135538 0 0 0 245315 145 0 0 20 0 15 0 58172707 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140721099932224 140085634146039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
/proc/17946/statm: 3495183 351818 3249 1 0 3483476 0
[pid=17946/tid=17947] ppid=17944 vsize=13980732 memory=1407272 CPUtime=2438.89 cores=1,3,5,7
/proc/17946/task/17947/stat : 17947 (java) R 17944 17944 11586 0 -1 4202560 55782 0 0 0 243834 55 0 0 20 0 15 0 58172707 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085638385712 140085283036027 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17948] ppid=17944 vsize=13980732 memory=1407272 CPUtime=1.88 cores=1,3,5,7
/proc/17946/task/17948/stat : 17948 (java) S 17944 17944 11586 0 -1 1077944384 4559 0 0 0 176 12 0 0 20 0 15 0 58172708 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085595044752 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17949] ppid=17944 vsize=13980732 memory=1405348 CPUtime=1.87 cores=1,3,5,7
/proc/17946/task/17949/stat : 17949 (java) S 17944 17944 11586 0 -1 1077944384 3714 0 0 0 176 11 0 0 20 0 15 0 58172708 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085593991952 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17950] ppid=17944 vsize=13980732 memory=1405424 CPUtime=1.86 cores=1,3,5,7
/proc/17946/task/17950/stat : 17950 (java) S 17944 17944 11586 0 -1 1077944384 6595 0 0 0 173 13 0 0 20 0 15 0 58172708 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085232594064 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17951] ppid=17944 vsize=13980732 memory=1406832 CPUtime=1.88 cores=1,3,5,7
/proc/17946/task/17951/stat : 17951 (java) S 17944 17944 11586 0 -1 1077944384 6740 0 0 0 174 14 0 0 20 0 15 0 58172708 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085231541264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17952] ppid=17944 vsize=13980732 memory=1406832 CPUtime=0.91 cores=1,3,5,7
/proc/17946/task/17952/stat : 17952 (java) S 17944 17944 11586 0 -1 1077944384 4761 0 0 0 82 9 0 0 20 0 15 0 58172709 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085112555632 140085634157186 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17953] ppid=17944 vsize=13980732 memory=1406832 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17953/stat : 17953 (java) S 17944 17944 11586 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 58172710 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085111501600 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17954] ppid=17944 vsize=13980732 memory=1407272 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17954/stat : 17954 (java) S 17944 17944 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 58172710 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085110449264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17955] ppid=17944 vsize=13980732 memory=1407272 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17955/stat : 17955 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172712 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085109397584 140085634164635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17956] ppid=17944 vsize=13980732 memory=1407272 CPUtime=3.16 cores=1,3,5,7
/proc/17946/task/17956/stat : 17956 (java) S 17944 17944 11586 0 -1 1077944384 20509 0 0 0 314 2 0 0 20 0 15 0 58172712 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085108345456 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17957] ppid=17944 vsize=13980732 memory=1407272 CPUtime=2.63 cores=1,3,5,7
/proc/17946/task/17957/stat : 17957 (java) S 17944 17944 11586 0 -1 1077944384 19923 0 0 0 261 2 0 0 20 0 15 0 58172712 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085107292656 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17958] ppid=17944 vsize=13980732 memory=1376 CPUtime=0.74 cores=1,3,5,7
/proc/17946/task/17958/stat : 17958 (java) S 17944 17944 11586 0 -1 1077944384 10577 0 0 0 73 1 0 0 20 0 15 0 58172712 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085106240368 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17959] ppid=17944 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17959/stat : 17959 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172713 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085105187808 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17960] ppid=17944 vsize=13980732 memory=1376 CPUtime=0.68 cores=1,3,5,7
/proc/17946/task/17960/stat : 17960 (java) S 17944 17944 11586 0 -1 1077944384 1028 0 0 0 31 37 0 0 20 0 15 0 58172719 14316269568 351818 18446744073709551615 4194304 4196468 140721099949680 140085104134576 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
Current children cumulated CPU time: 2454.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1408648 KiB
[startup+2502.3 s]
/proc/loadavg: 1.68 1.57 1.58 3/211 18310
/proc/meminfo: memFree=29977560/32770624 swapFree=67108860/67108860
[pid=17944] ppid=17941 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17944/stat : 17944 (xcsp3-exec) S 17941 17944 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 58172699 9740288 344 18446744073709551615 4194304 5098028 140735092370256 140735092368360 140197989622396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39620608 140735092371832 140735092372037 140735092372037 140735092375531 0
/proc/17944/statm: 2378 344 289 221 0 87 0
[pid=17946] ppid=17944 vsize=13980732 memory=1471912 CPUtime=2514.97 cores=1,3,5,7
/proc/17946/stat : 17946 (java) S 17944 17944 11586 0 -1 1077944320 140217 0 0 0 251346 151 0 0 20 0 15 0 58172707 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140721099932224 140085634146039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
/proc/17946/statm: 3495183 367978 3249 1 0 3483476 0
[pid=17946/tid=17947] ppid=17944 vsize=13980732 memory=1376 CPUtime=2498.73 cores=1,3,5,7
/proc/17946/task/17947/stat : 17947 (java) R 17944 17944 11586 0 -1 4202560 59115 0 0 0 249817 56 0 0 20 0 15 0 58172707 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085638385376 140085282976078 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17948] ppid=17944 vsize=13980732 memory=1376 CPUtime=2 cores=1,3,5,7
/proc/17946/task/17948/stat : 17948 (java) S 17944 17944 11586 0 -1 1077944384 4972 0 0 0 187 13 0 0 20 0 15 0 58172708 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085595044752 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17949] ppid=17944 vsize=13980732 memory=1376 CPUtime=1.99 cores=1,3,5,7
/proc/17946/task/17949/stat : 17949 (java) S 17944 17944 11586 0 -1 1077944384 4007 0 0 0 187 12 0 0 20 0 15 0 58172708 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085593991952 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17950] ppid=17944 vsize=13980732 memory=1376 CPUtime=1.98 cores=1,3,5,7
/proc/17946/task/17950/stat : 17950 (java) S 17944 17944 11586 0 -1 1077944384 6885 0 0 0 184 14 0 0 20 0 15 0 58172708 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085232594064 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17951] ppid=17944 vsize=13980732 memory=1473252 CPUtime=2 cores=1,3,5,7
/proc/17946/task/17951/stat : 17951 (java) S 17944 17944 11586 0 -1 1077944384 6985 0 0 0 186 14 0 0 20 0 15 0 58172708 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085231541264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17952] ppid=17944 vsize=13980732 memory=1471912 CPUtime=0.93 cores=1,3,5,7
/proc/17946/task/17952/stat : 17952 (java) S 17944 17944 11586 0 -1 1077944384 4848 0 0 0 83 10 0 0 20 0 15 0 58172709 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085112555632 140085634157186 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17953] ppid=17944 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17953/stat : 17953 (java) S 17944 17944 11586 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 58172710 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085111501600 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17954] ppid=17944 vsize=13980732 memory=1472224 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17954/stat : 17954 (java) S 17944 17944 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 58172710 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085110449264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17955] ppid=17944 vsize=13980732 memory=1471712 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17955/stat : 17955 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172712 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085109397584 140085634164635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17956] ppid=17944 vsize=13980732 memory=4120 CPUtime=3.16 cores=1,3,5,7
/proc/17946/task/17956/stat : 17956 (java) S 17944 17944 11586 0 -1 1077944384 20509 0 0 0 314 2 0 0 20 0 15 0 58172712 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085108345456 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17957] ppid=17944 vsize=13980732 memory=1376 CPUtime=2.63 cores=1,3,5,7
/proc/17946/task/17957/stat : 17957 (java) S 17944 17944 11586 0 -1 1077944384 19923 0 0 0 261 2 0 0 20 0 15 0 58172712 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085107292656 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17958] ppid=17944 vsize=13980732 memory=1376 CPUtime=0.74 cores=1,3,5,7
/proc/17946/task/17958/stat : 17958 (java) S 17944 17944 11586 0 -1 1077944384 10578 0 0 0 73 1 0 0 20 0 15 0 58172712 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085106240368 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17959] ppid=17944 vsize=13980732 memory=1471204 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17959/stat : 17959 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172713 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085105187808 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17960] ppid=17944 vsize=13980732 memory=1296 CPUtime=0.7 cores=1,3,5,7
/proc/17946/task/17960/stat : 17960 (java) S 17944 17944 11586 0 -1 1077944384 1045 0 0 0 32 38 0 0 20 0 15 0 58172719 14316269568 367978 18446744073709551615 4194304 4196468 140721099949680 140085104134576 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
Current children cumulated CPU time: 2514.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1473288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.4 s]
/proc/loadavg: 1.71 1.58 1.58 3/211 18310
/proc/meminfo: memFree=29978056/32770624 swapFree=67108860/67108860
[pid=17944] ppid=17941 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/17944/stat : 17944 (xcsp3-exec) S 17941 17944 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 58172699 9740288 344 18446744073709551615 4194304 5098028 140735092370256 140735092368360 140197989622396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39620608 140735092371832 140735092372037 140735092372037 140735092375531 0
/proc/17944/statm: 2378 344 289 221 0 87 0
[pid=17946] ppid=17944 vsize=13980732 memory=1471400 CPUtime=2520.08 cores=1,3,5,7
/proc/17946/stat : 17946 (java) S 17944 17944 11586 0 -1 1077944320 140227 0 0 0 251857 151 0 0 20 0 15 0 58172707 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140721099932224 140085634146039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
/proc/17946/statm: 3495183 367850 3249 1 0 3483476 0
[pid=17946/tid=17947] ppid=17944 vsize=13980732 memory=1152 CPUtime=2503.82 cores=1,3,5,7
/proc/17946/task/17947/stat : 17947 (java) R 17944 17944 11586 0 -1 4202560 59116 0 0 0 250326 56 0 0 20 0 15 0 58172707 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085638385600 140085282315106 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17948] ppid=17944 vsize=13980732 memory=3172 CPUtime=2 cores=1,3,5,7
/proc/17946/task/17948/stat : 17948 (java) S 17944 17944 11586 0 -1 1077944384 4973 0 0 0 187 13 0 0 20 0 15 0 58172708 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085595044752 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17949] ppid=17944 vsize=13980732 memory=1376 CPUtime=2 cores=1,3,5,7
/proc/17946/task/17949/stat : 17949 (java) S 17944 17944 11586 0 -1 1077944384 4007 0 0 0 188 12 0 0 20 0 15 0 58172708 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085593991952 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17950] ppid=17944 vsize=13980732 memory=1473252 CPUtime=1.99 cores=1,3,5,7
/proc/17946/task/17950/stat : 17950 (java) S 17944 17944 11586 0 -1 1077944384 6887 0 0 0 185 14 0 0 20 0 15 0 58172708 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085232594064 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17951] ppid=17944 vsize=13980732 memory=1156 CPUtime=2 cores=1,3,5,7
/proc/17946/task/17951/stat : 17951 (java) S 17944 17944 11586 0 -1 1077944384 6991 0 0 0 186 14 0 0 20 0 15 0 58172708 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085231541264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17952] ppid=17944 vsize=13980732 memory=1376 CPUtime=0.93 cores=1,3,5,7
/proc/17946/task/17952/stat : 17952 (java) S 17944 17944 11586 0 -1 1077944384 4848 0 0 0 83 10 0 0 20 0 15 0 58172709 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085112555632 140085634157186 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17953] ppid=17944 vsize=13980732 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17953/stat : 17953 (java) S 17944 17944 11586 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 58172710 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085111501600 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17954] ppid=17944 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17954/stat : 17954 (java) S 17944 17944 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 58172710 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085110449264 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17955] ppid=17944 vsize=13980732 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17955/stat : 17955 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172712 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085109397584 140085634164635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17956] ppid=17944 vsize=13980732 memory=1716 CPUtime=3.16 cores=1,3,5,7
/proc/17946/task/17956/stat : 17956 (java) S 17944 17944 11586 0 -1 1077944384 20509 0 0 0 314 2 0 0 20 0 15 0 58172712 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085108345456 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17957] ppid=17944 vsize=13980732 memory=1008 CPUtime=2.63 cores=1,3,5,7
/proc/17946/task/17957/stat : 17957 (java) S 17944 17944 11586 0 -1 1077944384 19923 0 0 0 261 2 0 0 20 0 15 0 58172712 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085107292656 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17958] ppid=17944 vsize=13980732 memory=1232 CPUtime=0.74 cores=1,3,5,7
/proc/17946/task/17958/stat : 17958 (java) S 17944 17944 11586 0 -1 1077944384 10578 0 0 0 73 1 0 0 20 0 15 0 58172712 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085106240368 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17959] ppid=17944 vsize=13980732 memory=8952 CPUtime=0 cores=1,3,5,7
/proc/17946/task/17959/stat : 17959 (java) S 17944 17944 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58172713 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085105187808 140085634156245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
[pid=17946/tid=17960] ppid=17944 vsize=13980732 memory=4616 CPUtime=0.7 cores=1,3,5,7
/proc/17946/task/17960/stat : 17960 (java) S 17944 17944 11586 0 -1 1077944384 1045 0 0 0 32 38 0 0 20 0 15 0 58172719 14316269568 367850 18446744073709551615 4194304 4196468 140721099949680 140085104134576 140085634157186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25149440 140721099956657 140721099956833 140721099956833 140721099960271 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1472776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.41 s]
# the end of solver process 17944 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001871 s, system=0 s
[startup+2507.42 s]
# the end of solver process 17946 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.59 s, system=1.52365 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2507.42
CPU time (s): 2520.11
CPU user time (s): 2518.59
CPU system time (s): 1.52365
CPU usage (%): 100.506
Max. virtual memory (cumulated for all children) (KiB): 13992184
Max. memory (cumulated for all children) (KiB): 1982080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.59
system time used= 1.52365
maximum resident set size= 2029856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79486
involuntary context switches= 2278
# summary of solver processes directly reported to runsolver:
# pid: 17944,17946
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.59
# total CPU system time (s): 1.52365
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1658 second user time and 24.0431 second system time
The end
Begin job on node124 at 2017-08-14 09:57:44 IDJOB=4269332 IDBENCH=115900 IDSOLVER=2660 FILE ID=node124/4269332-1502698321 RUNJOBID= node124-1502673801-14690 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269332-1502698321/watcher-4269332-1502698321 -o /tmp/evaluation-result-4269332-1502698321/solver-4269332-1502698321 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1873145222 HOME/instance-4269332-1502698321.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=1873145222 node124.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.51 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.51 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.51 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.51 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: 31479000 kB MemAvailable: 31823944 kB Buffers: 205972 kB Cached: 418892 kB SwapCached: 0 kB Active: 611716 kB Inactive: 233828 kB Active(anon): 172196 kB Inactive(anon): 73772 kB Active(file): 439520 kB Inactive(file): 160056 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7792 kB Writeback: 0 kB AnonPages: 220688 kB Mapped: 56784 kB Shmem: 25320 kB Slab: 148756 kB SReclaimable: 122404 kB SUnreclaim: 26352 kB KernelStack: 3408 kB PageTables: 5348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1147020 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 159744 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62016 MiB End job on node124 at 2017-08-14 10:39:32